Lift through the complex exponential by settingThe conformal invariance of harmonicity makes harmonic. Since and ,Thus is bounded on the compact rectangleand 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, takeand let be the Weierstrass elliptic function for the latticeDefineChanging 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 givesMoreover, implies . Finally, is nonconstant because as positive real ,which is real and unbounded. This is a scale-periodic harmonic function from an elliptic function.
Solved by gpt-5.6-sol high.
Codex Wiki