Complex Analysis: Theory and Applications · Problem 3.2.15

Sequences, Series, and Fractals — Howell & Matthews

Mathematics — Complex Analysis · conjugate-not-analytic

Problem

Let ff be a nonconstant analytic function in the domain DD. Show that the function g(z)=f(z)‾g(z) = \overline{f(z)} is not analytic in DD.
Intuitive explanation

The key insight is to use the Cauchy–Riemann equations, which are the necessary condition for analyticity. If f=u+ivf = u + iv is analytic, then uu and vv satisfy specific partial derivative relationships. When you take the complex conjugate to form g=f‾=u−ivg = \overline{f} = u - iv, those relationships flip sign—and since ff is nonconstant, you can show that gg cannot simultaneously satisfy the Cauchy–Riemann equations. This contradiction reveals that conjugation destroys analyticity.

Intuitive explanation

The key insight is to use the Cauchy–Riemann equations, which are the necessary condition for analyticity. If f=u+ivf = u + iv is analytic, then uu and vv satisfy specific partial derivative relationships. When you take the complex conjugate to form g=f‾=u−ivg = \overline{f} = u - iv, those relationships flip sign—and since ff is nonconstant, you can show that gg cannot simultaneously satisfy the Cauchy–Riemann equations. This contradiction reveals that conjugation destroys analyticity.

Browse the problem library