[Math] a problem of maximum modulus principle

complex-analysis

Let's consider $h(z)$ analytic in $ B(0,1)$ and continuous in $\overline{B(0,1)}$ , such that $ Re(h(z))=0 $ in $\partial D(0,1)$. Prove that $h(z)$ is constant.

Well… Since $h$ is continuous on a compact set, then attains it's maximum and it's minimum on it. That points are in $\partial D(0,1)$ since otherwise , the function is constant ( maximum modulus principle).
More than that I don't know what can I do )=

Best Answer

Since $h$ and in particular $\textrm{Re}(h)$ is continuous on the closed unit disc it follows that $\lim_{r \uparrow 1} \max_{|z|=r} |\textrm{Re}\;h(z)| = 0$. Now the maximum of $|\textrm{Re}\;h(z)|$ for $|z| \leq r$ is attained on the circle $|z|=r$. This follows from the maximum/minimum principle for $e^h$. This implies that this maximum is non-decreasing in $r$. Since its limit is $0$ it must be identically zero. Therefore $\textrm{Re}\;h=0$ on the open unit disc. Then again it follows from the maximum/minimum principle for $e^h$ that $h$ must be constant.