[Math] complex conjugates of holomorphic functions

analysiscomplex-analysis

I came across this question whilst doing some research into complex analysis, and I just can't see what to do!

Let $f(z)$ be a holomorphic function on $\mathbb{C}$. Show that $\overline{f(\overline{z})}$ is holomorphic, whilst $f(\overline{z})$ is holomorphic if and only if $f(z)$ is constant.

I know that holomorphic means that the function is differentiable everywhere, and I need to apply the Cauchy-Riemann equations somehow, but I'm not sure how to approach this.

Best Answer

So you want to show that if $f(z)$ is holomorphic, then $\overline{f(\bar z)}$ is holomorphic too.

I think it will be easiest not to split into real and imaginary parts -- so no Cauchy-Riemann -- but instead work directly from the definition of differentiability.

A natural guess would be that $\frac{d}{dz} \overline{f(\bar z)}$ would be $\overline{f'(\bar z)}$. Can you show that this is in fact the case?


For the second part, perhaps show that if $g(z)$ and $\overline{g(z)}$ are both holomorphic, then $g$ is constant. (Here, using Cauchy-Riemann feels more promising).

Related Question