1

Let $f=u+iv$ be analytic in an open domain $D$.
If $|f|$ is constant in $D$, show, with the maximum principle, that $f$ is constant on $D$.

The proof through Cauchy-Riemann is here.
There it is mentioned that the result can be shown with the maximum principle.
I don't see how the proof goes.
From the maximum principle, I can write $$ k = u^2+v^2 \le \left| f\left( z \right) \right|, $$ for $z$ in the boundary, and $k=|f|$ on $D$.

Community
  • 1
  • 1
    It seems to follow directly from the theorem presented on wikipedia

    http://en.wikipedia.org/wiki/Maximum_modulus_principle

    Note the $\geq$ sign

     – Atticus Christensen Feb 09 '13 at 02:00
  • @user45150 Very true, thanks. –  Feb 09 '13 at 02:03
  • 1
    You can see this more directly with the open (or local) mapping theorem. Assuming $f$ is nonconstant, it takes a neighborhood to a neighborhood. But $|w| = C$ for a constant $C$ is a circle and isn't open in $\mathbb{C}$, hence $f$ must be constant. Of course, the maximum modulus principle follows as well from this line of reasoning. – A Blumenthal Feb 09 '13 at 05:34

0 Answers0