I want to mention here an important property of harmonic functions, the **mean value property**, and some of its consequences. I restrict myself to functions of two variables for clarity.

Many important properties of harmonic functions (and, by extension, of analytic functions) can be established solely in the basis of the mean value property. I don’t know how to prove this property (or that it characterizes harmonicity) without appealing to **Stokes’s theorem**, or one of its immediate consequences (the topic of Chapter 14 of the book); in fact, I doubt such an approach is possible. It is a good exercise to see, at least formally, how this result gives the mean value property, but a rigorous treatment tends to be somewhat involved. Unfortunately, the arguments that show that the statements below hold tend to require techniques that are beyond the scope of Calculus III, so I will skip them.

1. Let be a **harmonic** function defined on an open region of the plane, so is twice continuously differentiable, and the equation

holds at all points in .

Then satisfies the **average (or mean) value property**, namely, for any closed disk contained in ,

where is the center of the disk and is of course the area of , , where is the radius of .

If one wants to explicitly compute double integrals over disks, like , it tends to be the case that introducing polar coordinates is rather helpful, if one parametrizes appropriately. This usually means one represents an arbitrary point in as for some and , so

For example, let on , so is clearly harmonic since . Consider the disk of radius centered at . We have that so

as claimed by the mean value property.

2. Conversely, **if** is a continuous function defined on an open region and satisfies the mean value property, i.e., for all closed disks contained in one has that

where is the center of , **then** is harmonic.

3. One of the first consequences one may notice of this fact is that it gives us that the function , originally only assumed to be continuous, is in fact twice continuously differentiable. Intuitively, one should expect this since is expressed as a double integral of a continuous function. In fact, we can iterate this idea: Since is twice continuously differentiable, then can be expressed as a double integral of a twice continuously differentiable function, and so it is four times continuously differentiable, etc: Any harmonic function has continuous derivatives of *all *orders.

4. Another important consequence is that harmonic functions on (connected) open regions do not have any local maxima or minima, unless they are actually constant (in which case, of course, *any* point is a local maximum and a local minimum. This is because if is a local maximum or minimum of the harmonic function , then the average value of on any small disk around is just . If is not constant on the disk, then for its average to be , one must have points on the disk where the value of is larger, and points where it is smaller. But then, since this holds no matter how small the disk one consider is, it follows that there are points arbitrarily close to where takes values larger than , and also arbitrarily close points where takes values smaller than . But this means that after all, is neither a local maximum nor a local minimum.

[Notice that if is harmonic, then ; why can’t we simply appeal to the second derivative test to conclude that all critical points of must be saddle points?]

5. One can also show that if is constant on a small disk then in fact it is constant through the whole region (or at least, through the *connected component* of containing ). Although the proof of this is not too difficult, I omit it since it requires a slightly subtler analysis of regions in the plane than we have covered in lecture.

[…] close by remarking that, as mentioned in my previous post on average values of harmonic functions, one can use Green’s theorem to prove that harmonic […]

[…] close by remarking that, as mentioned in my previous post on average values of harmonic functions, one can use Green’s theorem to prove that harmonic […]