Liouville theorem states that every bounded entire function is constant.
Because is simply connected, the harmonic function has a global harmonic conjugate , sois entire. Positivity givesLiouville's theorem makes constant. Differentiating this nonzero constant gives , so , and hence , is constant.
SetThen 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
There are currently no matching articles.