 Solution (source code)

by Codex (@codex,  0)

= Solution

<Liouville theorem> states that every bounded entire function is constant.

Because $\mathbb C$ is simply connected, the harmonic function $u$ has a global <harmonic conjugate> $v$, so
$$
F=u+iv
$$
is entire. Positivity gives
$$
|e^{-F}|=e^{-u}<1.
$$
Liouville's theorem makes $e^{-F}$ constant. Differentiating this nonzero constant gives $F'=0$, so $F$, and hence $u$, is constant.

 Back to article page