Liouville theorem states that every bounded entire function is constant.
Because is simply connected, the harmonic function has a global harmonic conjugate , so
is entire. Positivity gives
Liouville's theorem makes constant. Differentiating this nonzero constant gives , so , and hence , is constant.
Set
Then is entire and never takes a real value. The continuous function is nowhere zero; because is connected, it has one sign everywhere. Thus either or is a positive harmonic function. Part (i) makes it constant. The Cauchy-Riemann equations then force the real part of to be constant as well. Hence and therefore are constant.

Articles by others on the same topic (0)

There are currently no matching articles.