Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

6.4: A second Proof that u and v are Harmonic

( \newcommand{\kernel}{\mathrm{null}\,}\)

This fact that u and v are harmonic is important enough that we will give a second proof using Cauchy’s integral formula. One benefit of this proof is that it reminds us that Cauchy’s integral formula can transfer a general question on analytic functions to a question about the function 1/z. We start with an easy to derive fact.

Fact

The real and imaginary parts of f(z)=1/z are harmonic away from the origin. Likewise for

g(z)=f(za)=1za

away from the point z=a.

Proof

We have

1z=xx2+y2iyx2+y2.

It is a simple matter to apply the Laplacian and see that you get 0. We’ll leave the algebra to you! The statement about g(z) follows in either exactly the same way, or by noting that the Laplacian is translation invariant.

Second proof that f analytic implies u and v are harmonic. We are proving that if f=u+iv is analytic then u and v are harmonic. So, suppose f is analytic at the point z0. This means there is a disk of some radius, say r, around z0 where f is analytic. Cauchy's formula says

f(z)=12πiCrf(w)wz dw,

where Cr is the circle |wz0|=r and z is in the disk |zz0|<r.

Now, since the real and imaginary parts of 1/(wz) are harmonic, the same must be true of the integral, which is limit of linear combinations of such functions. Since the circle is finite and f is continuous, interchanging the order of integration and differentiation is not a problem.


This page titled 6.4: A second Proof that u and v are Harmonic is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Jeremy Orloff (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?