Lift through the complex exponential by setting
The conformal invariance of harmonicity makes harmonic. Since and ,
Thus is bounded on the compact rectangle
and its two periods make it bounded on the whole plane. The harmonic Liouville theorem makes constant. Since the exponential map is surjective onto , is constant.
For the requested counterexample after deleting a countable set, take
and let be the Weierstrass elliptic function for the lattice
Define
Changing a branch of the logarithm adds , a period of , so is well defined. Its poles project precisely to , and the conformal invariance of harmonicity makes harmonic away from them. The other period gives
Moreover, implies . Finally, is nonconstant because as positive real ,
which is real and unbounded. This is a scale-periodic harmonic function from an elliptic function.

Articles by others on the same topic (0)

There are currently no matching articles.