We are now able to define special pairs of functions $u$ and $v$ for which $f = u + iv$ is analytic on some open subset $A$ of $\mathbb{C}$.

Definition: Let $A \subseteq \mathbb{C}$ be open and let $u, v : A \to \mathbb{R}$. If $f = u + iv$ is analytic on $A$ then $u$ and $v$ are called Harmonic Conjugates on $A$.

For example, suppose that we want to find a harmonic conjugate of $u(x, y) = x^2 - y^2$, call it $v = v(x, y)$. If $f = u + iv$ is to be analytic on $A$ then we know by the Cauchy-Riemann theorem that the Cauchy-Riemann equations are to be satisfied, that is:

Here, $h$ is a function of the variable $x$ which appears since differentiating the lefthand side with respect to $y$ eliminates $h(x)$. Now we take the derivative of both sides with respect to $x$ to get:

By the second Cauchy-Riemann equation we have that $-\frac{\partial u}{\partial y} = \frac{\partial v}{\partial x}$, that is, $2y = \frac{\partial v}{\partial x}$. This implies that $h'(x) = 0$ and so $h(x) = C$ for some constant $C$. Since $v(x, y) = 2xy + h(x)$ we have that the harmonic conjugates $v$ of $u$ are:

(6)

\begin{align} \quad v(x, y) = 2xy + C \end{align}

It is important to note that the harmonic conjugate of a function $u$ is not unique and may differ up to a constant $C$. In the example above if we choose $C = 0$, then $v(x, y) = 0$ and $f$ is given by:

(7)

\begin{align} \quad f(z) = f(x, y) = [x^2 - y^2] + 2xyi \end{align}

Notice that this simply means that $f(z) = z^2$ for each $z = x + yi \in \mathbb{C}$ which we know to be analytic on all of $\mathbb{C}$.