# Suppose that $f$ is analytic on a close curve γ. Prove or disprove $\int_\gamma \overline{f(z)}f'(z)dz$ is purely imagine.

Suppose that $f$ is analytic on a close curve γ. Prove or disprove

$$\int_\gamma \overline{f(z)}f'(z)dz$$

is purely imagine.

I know that $f$ is analytic on a close curve, then

$$\int_\gamma f(z) dz=0$$

I tried an example with $\gamma =e^{it}$ with $0\leq t\leq 2\pi$, I often get the real part of the integral equal zero.

I tried let $f=u+iv$ so $f’=u_x+iv_x$. Since $f=u+iv$, $\overline{f}=u-iv$

$$\overline{f(z)}f'(z)=uu_x+vv_x+i(uv_x-vu_x)$$

But this doesn’t get me anywhere. Any help would be greatly appreciated.

#### Solutions Collecting From Web of "Suppose that $f$ is analytic on a close curve γ. Prove or disprove $\int_\gamma \overline{f(z)}f'(z)dz$ is purely imagine."

If $f = u + iv$, then

\begin{align}\text{Re}(\overline{f(z)}f'(z)\, dz) &= \text{Re}([(uu_x + vv_x) + i(uv_x – vu_x)](dx + i\, dy))\\
& = (uu_x + vv_x)\, dx + (-uv_x + vu_x)\, dy .
\end{align}

Since $u_x = v_y$ and $u_y = -v_x$,

$$(uu_x + vv_x)\, dx + (-uv_x + vu_x)\, dy = (uu_x + vv_x)\, dx + (uu_y + vv_y)\, dy = d\frac{u^2 + v^2}{2}.$$

Thus $\text{Re}(\overline{f(z)}f'(z)\, dz)$ is an exact differential, which implies

$$\int_{\gamma} \text{Re}(\overline{f(z)}f'(z)\, dz) = 0.$$

Therefore, $\int_\gamma \overline{f(z)}f'(z)\, dz$ is purely imaginary.

$$0 = \int_{\gamma} d\, |f|^2 = \int_{\gamma} \left(\overline{f} \cdot f’ dz + f\cdot \overline{f’} d\overline{z}\right) = 2 \textrm{Re} \int_{\gamma}\overline{f} \cdot f’ dz.$$