If $f(z)$ is analytic, and $\overline{f(z)}$ is analytic, then is $f$ necessarily a constant function

analytic-functionscomplex-analysissolution-verification

I need help with verifying my following proof. It feels a little fishy to me.

If $f(z)$ is analytic, and $\overline{f(z)}$ is analytic, then is $f$ necessarily a constant function?

We know $f(z)=u(x,y)+iv(x,y)$ and $\overline{f(z)}=u(x,y)+iv'(x,y)$, where $v'=-v$. $f$ satisifies the Cauchy Riemann equations, thus,

For $f$, one has that: $u_x=v_y, v_x=-u_y$.

For $\overline{f}$, one has that:

$u_x=v'_y=-v_y$

$v'_x=-v_x=–u_y$.

One has $u_x=-v_y=v_y$, which forcefully makes $v_y=0$. Also, $u_y=v_x=-v_x$, so $v_x=0$. So for all $z$, $f'(z)=0$ and this shows that $f$ is a constant function.

Does this proof work?

Best Answer

Your proof is correct. My proof: let $g(z):=f(z)\overline{f(z)}.$ Then $g(z)=|f(z)|^2$ is analytic and real(!). Conclusion ?

Related Question