I have a confession: I have never actually taken a PDE course. I took an ODE and PDE class offered by the Applied Math department my freshman year, but it wasn’t really a mathematics class–most of the students were physics or engineering sciences concentrators. I have learned a fair amount about PDE in various analysis classes and a mini-course at Princeton’s Analysis and Geometry summer session, but with the exception of the latter, these were not devoted to PDE. So while I impose myself on Georgia Tech’s math department this Fall as a non-degree student, I thought would take their graduate PDE course.
Functions which arise as solutions of Laplalce’s equation on some open set , called harmonic functions have a lot of neat properties, many of them analogous to holomorphic functions on . And indeed, harmonic functions on are the real parts of holomorphic functions.
Today, I want to talk about the regularity of harmonic functions that comes as a consequence of their satisfying the mean value property:
for all open balls with closure . (Here, denotes the surface measure and denotes the -dimensional Lebesgue measure.)
Some intuition for why this averaging property might give us regularity can be gained from thinking about time series, say for a stock price. The path of stock price over some time period looks differentiable almost nowhere. It may not even be continuous, as stock prices can gap up or down between market closures and opens. However, if we consider a moving average over some window (e.g. 30 days), we get a path that looks `smoother’.
With little effort, we get that a harmonic function, which is only a priori , is in fact smooth (i.e. ). But as you learned in calculus, smoothness does not imply (real) analyticity (Try to come up with a counterexample). Nevertheless, harmonic functions are analytic. To prove this we will only need three things: any derivative of a harmonic function is harmonic, a local estimate for the order derivative of a harmonic function in terms of its norm, and Taylor’s theorem.
Our plan of attack is to prove smoothness is as follows: 1) prove smoothness, 2) prove the local estimate, and 3) prove analyticity. But first, a brief digression on notation. I will use the multi-index notation , where is integral. We say that is of order if . We define
and for any sufficiently regular function , we define .
In what follows, will denote an open set.
Recall that if is harmonic, then it satisfies the mean value property on . To prove is smooth, it suffices to prove a more general result: if a locally integrable function satisfies the mean value property for each ball , then
Proposition 1 If in satisfies the mean value property, then is .
Proof: We will use the mean value property to show that is equal to smooth function on an open neighborhood of every point . Let be a compactly supported, radial approximate identity (my survey on Fourier analysis has some notes on these; also, Appendix C.5 [Evans]). Define a function on . For ,
where the second line is just the definition of and the third line is Fubini’s theorem. Observe that for and , . Using the mean value property, we obtain
Lemma 2 For any multi-index and harmonic function , is harmonic (note this differentiation is well-defned since is necessarily smooth).
Proof: Fix a multi-index and set . Using the equality of mixed partials, we see that
whence by linearity,
Proposition 3 If is harmonic, then for any multi-index , with ,
for all balls .
Note that without the result that is , it would not make sense to write for an arbitrary multi-index.
Proof: The proof will be by induction on the order . It is clear from the mean value property that satisfies Suppose we have a constant such that
for all balls with , for all multi-indices of order . Suppose . Then for some , we can write , where . As is harmonic, the mean value property gives
for . If , then . So by the induction hypothesis,
Writing , where , the RHS simplifies to
I leave it to the reader to verify that minimizes the RHS, whence
Theorem 4 If is harmonic, then is real analytic.
Proof: As is smooth, it has a Taylor expansion about
where . Actually, one form of Taylor’s theorem gives the remainder
for . Let be such that . From our work above, we have the estimate
Substituting this result into the expression for , we obtain the estimate
If , then as .
In the next installment on harmonic functions, we will prove the Weyl Lemma which states that any weak solution of the Laplace equation is equal a.e. to a harmonic function. We will also extend the Weyl Lemma to distributions which satisfy the Laplace equation.
L.C. Evans, Partial Differential Equations (Second Edition), AMS, 2010.
G.B. Folland, Introduction to Partial Differential Equations (Second Edition), Princeton UP, 1995.
J.K. Hunter, PDE Notes Chapter 2, https://www.math.ucdavis.edu/~hunter/pdes/ch2.pdf, Accessed 9/5/14.