Reviewing the regularity theory of elliptics PDEs via the Laplace equation [Part II]

1 over x harmonic

Image via Wikipedia

This is the second of a series of posts dealing with the regularity theory of elliptic equations. My motivation in writing these is outlined in the first post.

Some consequences of Harnack’s inequality the Mean value property

The mean value property is characteristic of harmonic functions, but the fact that harmonic functions control their pointwise values by their local average is a general fact that is characteristic of elliptic equations (as we will see later, less sharp but more general theorems for nonlinear elliptic equations still have this flavor and are at the very heart of the regularity theory of fully nonlinear elliptic PDEs). Let me mention a few of its consequences, I already talked last time about Harnack’s inequality, as it follows from the mean value theorem, the mean value theorem (at least for harmonic functions) is more fundamental.

First, and perhaps the most important consequence, is the pointwise a priori estimate for the derivatives of a harmonic function in terms of its supremum:

Theorem 1 (A priori gradient estimate for harmonic functions)

Let {u} be a harmonic function in a ball {B_r(y)}, then

\displaystyle |\nabla u(y)| \leq \frac{C_n}{r} \sup \limits_{B_r(y)}u(x)

Proof: Let {u} be a harmonic function in {B_r(y)}, by the mean value property, {u(y+h)= (w_nr^n)^{-1}\int_{B_{r/2}(y+h)}u(x)dx} as long as <img title=”{|h|<\frac{r}{2}}” src=”http://s0.wp.com/latex.php?latex=%7B%7Ch%7C%3C%5Cfrac%7Br%7D%7B2%7D%7D&bg=ffffff&fg=000000&s=0&#8243; alt=”{|h|, therefore

\displaystyle |u(y+h)-u(y)| \leq C_nr^{-n} \int_{B_{r/2}(y+h) \Delta B_{r/2}(y)}|u(x)|dx

(Recall {A \Delta B = A \setminus B \cup B \setminus A} is called the symmetric difference of sets), now the set {B_{r/2}(y+h) \Delta B_{r/2}(y)} lies in the union of two annuli with radii {r} and {r+h}, thus its volume is not larger than {C_nr^{n-1}|h|} for a dimensional constant {C_n}. We then have

\displaystyle  \int_{B_{r/2}(y+h) \Delta B_{r/2}(y)}|u(x)|dx \leq C_nr^{n-1}|h| \sup \limits_{B_r(y)}u(x)

\displaystyle |u(y+h)-u(x)|\leq \frac{C_n}{r}|h| \sup \limits_{B_r(y)}u(x)

since the direction of {h} is arbitrary and {u} is {C^1}, dividing both sides by {|h|} and taking {h \rightarrow 0} we obtain the a priori estimate. \Box

One may iterate this to estimate higher derivatives (thanks to the fact that the derivatives of a harmonic function are themselves harmonic). To obtain the estimate

\displaystyle |D^{(k)}u(y)| \leq \frac{C_{n,k}}{r^k} \sup \limits_{B_r(y)}u(x)

I emphasize that these are a priori estimates, one needs to know {u} is already smooth to prove them, what they say is that the derivatives of all orders {u} are all controlled by the supremum of {u}!. In particular, a family of uniformly bounded harmonic functions is compact in every {C^k}. Usually, the first time you learn about this phenomenon is when studying Montel’s theorem in a complex analysis.

The a priori estimates and Harnack’s inequality also give a quick proof (which I will omit) of another classical result, but in potential theory, which I mentioned because it was due to Harnack himself:

Theorem 2 (Harnack’s convergence theorem) Let {u_n:\Omega \rightarrow \mathbb{R}} be a decreasing sequence of functions which are continuous in {\bar{\Omega}} and harmonic in the interior. Then they converge uniformly in compact sets of {\Omega} to a smooth function {u:\Omega \rightarrow \mathbb{R}} which is harmonic.

Since I just mentioned a priori estimates, I should recall the (one of many ) proofs of the fact that being harmonic even in some weak sense forces a function to be smooth and harmonic in the classical sense. Let’s say for instance, harmonic in the sense of distributions (we will revisit this theorem for other weak notions of harmonicity):

Theorem 3 (Weak harmonic implies harmonic) Let {u} be a bounded measurable function in {\Omega} such that

\displaystyle \int_\Omega u(x) \Delta \phi (x) dx = 0

for any smooth function {\phi} with compact support in {\Omega}. Then {u} (after modifying it in at most a set of measure zero) is smooth in the interior of {\Omega} and harmonic.

Proof: Let {\psi_\epsilon} be an approximation to the identity given by a {C^\infty_c} kernel {\psi_1} which is radially symmetric and supported in {B_1(0)}. Let {u_\epsilon = u \star \psi_\epsilon}, then for each 0}” src=”http://s0.wp.com/latex.php?latex=%7B%5Cepsilon%3E0%7D&bg=ffffff&fg=000000&s=0&#8243; alt=”{\epsilon>0}” /> and any compact {K \subset \Omega} the functions {u_\epsilon} ({\epsilon} small enough depending on the distance between {K} and {\partial \Omega}) are smooth with bounded derivatives of any orders, moreover, they are all uniformly bounded in {L^\infty} by the boundedness assumption on {u}. Now, using the symmetry of the kernel and Fubini’s theorem, one can see that for any {\phi \in C^\infty_c(\Omega)}

\displaystyle \int_\Omega u_\epsilon(x) \Delta \phi (x) dx = \int_\Omega u(x) \Delta \phi_\epsilon(x)dx=0

and since each {u_\epsilon} is smooth we have {\Delta u_\epsilon = 0}. Furthermore, by the a priori estimates the functions {u_\epsilon} are also uniformly bounded {C^k(K)}, for any {k \geq 0}. Then we know (by Arzela-Ascoli) that a suitable subsequence of {u_\epsilon} with {\epsilon} converges uniformly in {K} to a function which lies in {C^k} (for any {k}), since they also must converge to {u(x)} a.e.(by Lebesgue’s differentiation theorem) we conclude that {u} agrees a.e. with a smooth harmonic function, as we wanted to prove.

\Box

I think that I will stop here for now. Tomorrow: I will review the Poisson kernel to give the potential theoretic proof of the Mean value property, Harnack’s inequality and the (a priori) gradient estimates for harmonic functions, and after that, it will be the Calderón-Zygmund estimates.

About NICO MATEMATIKA

Welcome to my blog. My name is Nico. Admin of this blog. I am a student majoring in mathematics who dreams of becoming a professor of mathematics. I live in Kwadungan, Ngawi, East Java. Hopefully in all the posts I can make a good learning material to the intellectual life of the nation. After the read, leave a comment. I always accept criticism suggestion to build a better me again .. Thanks for visiting .. : mrgreen:

Posted on August 26, 2011, in education and tagged , , , , , , , . Bookmark the permalink. 3 Comments.

  1. Mas Nico memang bener-bener hebat
    selain pinter matematic juga jago bahasa Inggrisnya, jadi pengen bisa kayak panjenengan mas, apa sih resepnya…?

  1. Pingback: daftar isi « matematika blog for education

LEAVE A COMMENT IN HERE. COMMENTING IN HERE IS ALWAYS AUTO APPROVE. PLEASE NO SPAM!!! BECAUSE I HATE SPAM... THANKS A LOT..... :mrgreen:

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: