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 .

Articles by others on the same topic (0)

There are currently no matching articles.