A real harmonic function on a planar open set is a twice continuously differentiable function satisfying . The ordered pair consists of harmonic conjugates when is holomorphic; the corresponding Cauchy-Riemann equations are and .
To prove composition of harmonic conjugate pairs, denote and , and assume the inner pair's image lies in the outer pair's domain. Their equations are , , and . The chain rule gives
Thus the composite satisfies the Cauchy-Riemann equations. Its components are , and differentiating gives and similarly . The composite pair is harmonic conjugate, including when the inner map has a critical point.

Articles by others on the same topic (0)

There are currently no matching articles.