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

Membrane exampleA

Image via Wikipedia

There is a tedious, simple but hopefully fruitful exercise I always wanted to do. It is to review all the different proofs of the Harnack inequality and regularity of solutions to elliptic equations that I know, but only for the Laplace equation. First, because it is a good way to really get your hands on some of the ideas of several deep theorems (like those of De Giorgi-Nash-Moser and Krylov-Safonov) in the simplest possible setting. Second, because looking at all the different proofs it is possible to trace the evolution of analysis and PDEs through the last century (and a bit before that) and appreciate the level maturity reached in several fields: potential theory, singular integrals, calculus of variations, fully non linear elliptic PDE and free boundary problems. The `simple’ and `elementary’ Laplace equation lies at the intersection of all these fields, so every new breakthrough reflected on our understanding of this equation, each new proof emphasizing a different approach or point of view. Each of the proofs that I will discuss are based on one of the following:

  • The mean value property (the proof you learn in your typical complex variables or introductory PDE course).
  • The Poisson Kernel for the ball (the proof from potential theory).
  • The Calderón-Zygmund theorem (ok not exactly a `Harnack inequality’, but it should be on this list anyway) which uses the machinery of singular integrals.
  • The De Giorgi-Nash-Moser theorem, which follows the variational point of view and it is best suited for quasilinear equations or equations in divergence form.
  • The Aleksandrov-Bakelman-Pucci estimate and the Krylov-Safonov’s `Harnack’s inequality’, which follows the comparison principle point of view and it is best suited for fully non linear equations or equations in non-divergence form.

So I am going to review each theorem and its proof but only for Laplace’s equation: {\Delta u = 0}. To start off easy, I am going to do first the proof via the mean value property.

First proof: mean value property

The mean value property says basically this

Let {u} be a {C^2} function in the unit ball {B_1} of {\mathbb{R}^n}. If {\Delta u = 0} and {S} is a sphere contained in {B_1} and centered at {x_0}, then {u(x_0)} equals the average of {u} on {S}

It is not hard to prove with some calculus, one basically looks at the function `Average of {u} on the sphere of radius {r} centered at {x_0}‘={f(r)} and shows that {f'(r)=0}, and since by continuity {f(0)=u(x_0)}, the theorem follows. To show {f'(r)=0} one sees (by say, a change of variables) that {\frac{d}{dr} \frac{1}{|S|}\int_{S_r}u(x)d\sigma =\frac{1}{|S}\int_{S_r}u_nd\sigma} and this last integral is zero thanks to Stokes’ theorem and the fact that {\Delta u = 0}. Moreove, integrating the result with respect to the radius of the sphere one gets the same statement where instead of average over a sphere we have an average over a ball.

With this, one may prove easily Harnack’s inequality for harmonic functions, which I will state formally for the first time

Theorem 1 For any nonnegative harmonic function {u} in {B_1} we have the inequality

\displaystyle  u(x) \leq 2^nu(0) \;\;\; \mbox{ for all } x \in B_{1/2}

 

Proof. Let {x \in B_{1/2}}, then the ball of radius {1/4} centered at {x} (call it {B}) is completely contained in {B_1}, thus by the mean value property

u(x)=\int_B u(y)dy

but B is also contained in B_{1/2} and since u is nonnegative we have \frac{1}{|B|}\int_B u(y)dy \leq \frac{2^n}{|B_{1/2}|} \int_{B_{1/2}}u(y)dy=2^nu(0), again by the mean value property. This finishes the proof.

That is for today, in the next post I will explain some of the consequences of this theorem and maybe move on to the proof with potential theory methods.

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 25, 2011, in education and tagged , , , , , , , . Bookmark the permalink. 1 Comment.

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: