Suppose that are analytic on
with on . Prove that for all implies
h is continuous on the closure of D[edit | edit source]
Since on , then by the Maximum Modulus Principle, is not zero in .
Hence, since and are analytic on and on , then is analytic on which implies is continuous on
This follows from above
Case 1: h(z) non-constant on D[edit | edit source]
If is not constant on , then by Maximum Modulus Principle, achieves its maximum value on the boundary of .
But since on (by the hypothesis), then
In particular , or equivalently
Case 2: h(z) constant on D[edit | edit source]
Suppose that is constant. Then
Then from hypothesis we have for all ,
Hence, by maximum modulus principle, for all
Since , we also have