Harmonic function as the real part of a holomorphic function Created 2026-09-24 Updated 2026-09-24
A real-valued function on a simply connected domain is harmonic exactly when
for some holomorphic function . One construction observes that is holomorphic and takes its holomorphic primitive.
Suppose first that is harmonic. Since
the Cauchy-Riemann equations show that
is holomorphic on . An open disc is a simply connected domain, so has a holomorphic primitive . If , then
Thus has zero gradient and is constant on the connected disc. Subtracting that real constant from gives
Conversely, if for a holomorphic , differentiating the Cauchy-Riemann equations gives
Hence is harmonic. This proves the harmonic function as the real part of a holomorphic function criterion on .
Put
This slit complex plane is a simply connected domain. On there is one branch of that equals at zero, and its reciprocal is holomorphic. The primitive of a holomorphic function on a simply connected domain therefore makes the integral from zero path-independent, so is single-valued.
For unrestricted paths, going once around either branch point changes the sign of the square root. The resulting analytic continuation therefore need not return to the original germ, and the value of can depend on the path.