8
$\begingroup$

I've been thinking how to prove that an analytic function $f$ is a constant if the absolute value of $f$ is a constant, but I haven't figured it out yet.

What I was thinking is to use Cauchy-Riemann equations, but it didn't work well...

If this is not true, I would like to know the counterexample...

Here is what I tried:

$$|f|=|u+iv|=\sqrt {u^2+v^2}$$

Thus $u^2+v^2$ is a constant.

(1) $\displaystyle u\frac {\delta u}{\delta x}+v\frac {\delta v}{\delta x}=0 $

(2) $\displaystyle u\frac {\delta u}{\delta y}+v\frac {\delta v}{\delta y}=0 $

Plug Cauchy Riemann into (2).

$$\displaystyle -u\frac {\delta v}{\delta x}+v\frac {\delta u}{\delta x}=0 $$

and I'm stuck here...

  • 4
    Cauchy-Riemann equations DO work extremely well here... You might wish to expand on your try.2012-11-25
  • 2
    C-R in disguise: if $|f|=1$ then $f(z)^{-1} = \overline{f(z)}$. The left hand side is holomorphic and the right hand side can only be holomorphic if $f' = 0$.2012-11-25
  • 0
    @did I added what I did to my question, so could you point out what's wrong with that or how to proceed from that?2012-11-25
  • 0
    @WimC Thank you for your answer! I finally can prove this :)2012-11-25
  • 0
    @Tengu - You can also combine (1) with the CR plugged in (2) to show that the sum of the squares of the partial derivative with $x$ is 0 on an open set. This would show that $f'$ is zero.2012-11-25
  • 0
    @Braindead Thank you for you answer! I finally understood how it works2012-11-25
  • 2
    Next: post your own complete answer.2012-11-25
  • 0
    I love to solve this using this simple trick: try $e^{f(x)}$ and then use the Maximum principle :)2014-05-08

4 Answers 4