The topic for the next few weeks will be Riemann surfaces. First, however, I need to briefly review harmonic functions because I will be talking about harmonic forms. I will have more to say about them later, and I actually won’t use most of today’s post even until then. But it’s fun.
Some of this material has also been covered by hilbertthm90 at A Mind for Madness.
A function on an open subset of , , is called harmonic if it satisfies the Laplace equation For now, we are primarily interested in the case , and we will identify with . In this case, as is well-known, harmonic functions are locally the real parts of holomorphic functions.
The Poisson Integral
The following fact is well-known: given a continuous function on the circle , there is a unique continuous function on the closed unit disk which is harmonic in the interior and coincides with on the boundary.The idea of the proof is that can be represented as a Fourier series,
where the are obtained through the orthogonality relations
where the inner product is the product taken with respect to the Haar measure on the circle group. This convergence holds in , because the exponentials form an orthonormal basis for that space. Indeed, orthonormality can be checked by integration, and the Stone-Weierstrass theorem implies their linear combinations are dense in the space of continuous functions on the circle. It is even the case that convergence holds uniformly if is well-behaved (say, ). But this is only for motivational purposes, and I refer anyone interested to, say, Zygmund’s book on trigonometric series for a whole lot fo such results.
Now, it is clear that the functions
are harmonic (where ) as the real parts of .
It thus makes sense to define the extended function as
Thus, writing , we find
Theorem 1 The function is continuous in , harmonic in the interior , and equal to on the boundary.
I’m not going to actually fully prove the theorem; the basic idea is that the are all of norm (because they are nonnegative and of integral 1), so we have . Consequently the result follows from its counterpart on trigonometric polynomials, which is evident since the Fourier series is finite! The approximation result proves useful again.
The Poisson integral shows that it is possible to solve the Dirichlet problem for the disk: that is, one can extend a continuous function on the boundary to a harmonic function. This does not work if is the deleted disk, because there is no harmonic function vanishing on with . (Cf. the maximum principle below.)
It is in fact the case that is the only such harmonic function, satisfying the conclusions of the theorem. This follows from the maximum principle—a nonconstant harmonic function has no local maxima, which in turn follows from the Laplace equation and the second derivative test as follows. If is harmonic and has a local maximum at , so does for small; however, , a contradiction.
In particular, in view of the expression for the Poisson kernel, a harmonic function is necessarily smooth on its domain; apparently this is more generally true for solutions to elliptic PDEs, but I haven”t learned about them yet. This is probably one of the most important facts for us in the next few posts.
The mean value property
A harmonic function must satisfy on any disk in its domain
This is in fact a corollary of the Poisson formula and uniqueness above. The mean value property is actually a sufficient condition for harmonicity (together with, say, continuity), but that is not necessary for us, and I refer anyone interested to Rudin’s Real and Complex Analysis.
The Harnack principle
Positive harmonic functions take comparable values on compact subsets of their domains, according to the next result:
Theorem 2 (Harnack)Let be a compact subset of the open region . Then there is a positive constant such that for any positive harmonic function on and
If is sufficiently small, there is a positive constant such that This is evident, e.g., from the power series expression. (We actually could have said somewhat more.)
So let be the unit disk and a small proper subdisk. If is a positive harmonic function on , the above observation implies that the values of on satisfy for some . In particular, we get Harnack’s theorem locally. By covering with a finite number of overlapping disks, we get the theorem globally.