For distinct in the convex disc, integrate along the segment:
The second term has modulus strictly below , so the sum cannot vanish. Thus is one-to-one.
Harmonic means twice continuously differentiable with . On the simply connected plane, choose an entire harmonic conjugate so is entire. If , then is bounded; Liouville's theorem makes it, and hence , constant.
Choose an entire with real part . The bound implies that has at most polynomial growth, so Cauchy's estimates make it a polynomial. It has no zeros, hence that polynomial is constant. Therefore , and in particular , is constant.

Articles by others on the same topic (0)

There are currently no matching articles.