Myths about nonlocal equations and De Giorgi-Nash-Moser theorem: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Luis
(Created page with "The following myths are usually heard in the corridors of some math departments and conference coffee breaks. === There are no new difficulties in nonlocal equations and everyt...")
 
imported>Luis
 
Line 1: Line 1:
The following myths are usually heard in the corridors of some math departments and conference coffee breaks.
The De Giorgi-Nash-Moser theorem provides Holder estimates and the Harnack inequality for uniformly elliptic or parabolic equations with rough coefficients in divergence form.


The equation is
\[ \mathrm{div} A(x) \nabla u(x) = \partial_i a_{ij}(x) \partial_j u(x) = 0, \]
in the elliptic case, or
\[ u_t = \mathrm{div} A(x,t) \nabla u(x). \]
Here $A = \{a_{ij}\}$ is a matrix valued function in $L^\infty$ satisfying the uniform ellipticity condition for some $\lambda>0$,
\[ \langle A v,v \rangle \geq \lambda |v|^2,\]
for every $v \in \R^n$, uniformly in space and time.


=== There are no new difficulties in nonlocal equations and everything is proved analogously as in the classical case ===
The corresponding result in non divergence form is [[Krylov-Safonov theorem]].


Nonlocal equations is a much richer class than the usual PDE. Predictably, there are some intrinsic difficulties. A common difficulty comes from the fact that fractional order operators have different scaling properties and therefore interact differently with other terms. Moreover, in certain cases there are some surprising results which do not match what one would expect from local PDE intuition. We have a [[list of results that are fundamentally different to the local case]].
For nonlocal equations, there are analogous results both for [[Holder estimates]] and the [[Harnack inequality]].


=== Nonlocal equations is a field in which one replaces the Laplacian by the fractional Laplacian in whatever equation and writes a paper ===
== Elliptic version ==
For the result in the elliptic case, we assume that the equation
\[ \mathrm{div} A(x) \nabla u(x) = 0 \]
is satisfied in the unit ball $B_1$ of $\R^n$.
===Holder estimate===
The Holder estimate says that if $u$ is an $L^2$ solution to a uniformly elliptic divergence form equation as above, then $u$ is Holder continuous in $B_{1/2}$ and
\[ ||u||_{C^\alpha(B_{1/2})} \leq C ||u||_{L^2(B_1)}.\]
The constants $C$ and $\alpha>0$ depend on $n$ (dimension), $\lambda$ and $||A||_{L^\infty}$.


One can certainly do this. In some cases the classical methods would work after a simple adaptation. In other cases there is a significant difference either in the methods or in the results. Naturally, the good papers are the ones that fit into the second category. This wiki should help people learn to differentiate one from the other.
The result can be scaled to balls of arbitrary radius $r>0$ to obtain
\[ [u]_{C^\alpha(B_{r/2})} \leq C \frac{||u||_{L^2(B_r)}}{r^\alpha}.\]


=== Nonlocal equations are bizarre and unnatural objects ===
Moreover, by covering an arbitrary domain $\Omega$ with balls, one can show that a solution to the equation in $\Omega$ is $C^\alpha$ in the interior of $\Omega$.


The [[Starting page]] of this wiki should clarify the importance of nonlocal equations.
===Harnack inequality===
The [[Harnack inequality]] says that if $u$ is a non negative solution of the equation in $B_1$, then its minimum controls its maximum in $B_{1/2}$:
\[ \max_{B_{1/2}} u \leq C \min_{B_{1/2}} u.\]
The constant $C$ depends on $n$, $\lambda$ and $||A||_{L^\infty}$ only.


=== Most equations in nature are local ===
===Minimizers of convex functionals===
The theorem of De Giorgi, Nash and Moser was used originally to solve one of the famous Hilbert problems. The question was whether the minimizers of Dirichlet integrals
\[ J(u) := \int_{\Omega} F(\nabla u) \mathrm{d} x,\]
are always smooth if $F$ is smooth and strictly convex. The theorem of De Giorgi-Nash-Moser in its elliptic form can be applied to the differential quotients of the minimizer of $J$ to show that the solution is $C^{1,\alpha}$. Once that initial regularity is obtained, further regularity follows by [[bootstrapping]] with the [[Schauder estimates]] and the smoothness of $F$.


In fact the opposite is true. In many cases local PDEs are a good simplification though.
Note that in order to apply the theorem to these nonlinear equations, it is very important that no smoothness assumption on the coefficients $A(x)$ is made.


=== All statements and proofs in nonlocal equations involve gigantic formulas ===
== Parabolic version ==
For the result in the parabolic case, we assume that the equation
\[ u_t - \mathrm{div} A(x) \nabla u(x) = 0 \]
is satisfied in the unit cylinder $(0,1] \times B_1$ of $\R \times \R^n$.
===Holder estimate===
The Holder estimate says that if $u$ is an $L^2$ solution to a uniformly elliptic divergence form equation as above, then $u$ is Holder continuous in $[1/2,1] \times B_{1/2}$ and
\[ ||u||_{C^\alpha([1/2,1] \times B_{1/2})} \leq C ||u||_{L^2([0,1] \times B_1)}.\]
The constants $C$ and $\alpha>0$ depend on $n$ (dimension), $\lambda$ and $||A||_{L^\infty}$.


Nonlocal equations usually involve integral quantities that are larger to write than usual derivatives. This is a notation problem to a large extent. Many proofs in nonlocal equations deal with long integral quantities that come from the nonlocal character of the equation. These features are there, but are rarely at the essence of the arguments. Most statements and proofs are just as conceptual as in usual PDEs.
===Harnack inequality===
The [[Harnack inequality]] says that if $u$ is a non negative solution of the equation in $[0,1] \times B_1$, then its minimum controls its maximum in a previous time:
\[ \sup_{[1/4,1/2] \times B_{1/2}} u \leq \inf_{[3/4,0] \times B_{1/2}} u. \]
 
===Gradient flows===
The parabolic version of the theory can be used to show that the solutions to gradient flow equations with strictly convex energies are smooth.
\[ u_t + \partial_u J[u] = u_t - \mathrm{div} \left( (\partial_i F)(\nabla u) \partial_i u \right) = 0.\]
The idea of the proof is that the derivatives of $u$ (or its differential quotients) satisfy an equation with rough but uniformly elliptic coefficients.

Revision as of 15:14, 14 March 2012

The De Giorgi-Nash-Moser theorem provides Holder estimates and the Harnack inequality for uniformly elliptic or parabolic equations with rough coefficients in divergence form.

The equation is \[ \mathrm{div} A(x) \nabla u(x) = \partial_i a_{ij}(x) \partial_j u(x) = 0, \] in the elliptic case, or \[ u_t = \mathrm{div} A(x,t) \nabla u(x). \] Here $A = \{a_{ij}\}$ is a matrix valued function in $L^\infty$ satisfying the uniform ellipticity condition for some $\lambda>0$, \[ \langle A v,v \rangle \geq \lambda |v|^2,\] for every $v \in \R^n$, uniformly in space and time.

The corresponding result in non divergence form is Krylov-Safonov theorem.

For nonlocal equations, there are analogous results both for Holder estimates and the Harnack inequality.

Elliptic version

For the result in the elliptic case, we assume that the equation \[ \mathrm{div} A(x) \nabla u(x) = 0 \] is satisfied in the unit ball $B_1$ of $\R^n$.

Holder estimate

The Holder estimate says that if $u$ is an $L^2$ solution to a uniformly elliptic divergence form equation as above, then $u$ is Holder continuous in $B_{1/2}$ and \[ ||u||_{C^\alpha(B_{1/2})} \leq C ||u||_{L^2(B_1)}.\] The constants $C$ and $\alpha>0$ depend on $n$ (dimension), $\lambda$ and $||A||_{L^\infty}$.

The result can be scaled to balls of arbitrary radius $r>0$ to obtain \[ [u]_{C^\alpha(B_{r/2})} \leq C \frac{||u||_{L^2(B_r)}}{r^\alpha}.\]

Moreover, by covering an arbitrary domain $\Omega$ with balls, one can show that a solution to the equation in $\Omega$ is $C^\alpha$ in the interior of $\Omega$.

Harnack inequality

The Harnack inequality says that if $u$ is a non negative solution of the equation in $B_1$, then its minimum controls its maximum in $B_{1/2}$: \[ \max_{B_{1/2}} u \leq C \min_{B_{1/2}} u.\] The constant $C$ depends on $n$, $\lambda$ and $||A||_{L^\infty}$ only.

Minimizers of convex functionals

The theorem of De Giorgi, Nash and Moser was used originally to solve one of the famous Hilbert problems. The question was whether the minimizers of Dirichlet integrals \[ J(u) := \int_{\Omega} F(\nabla u) \mathrm{d} x,\] are always smooth if $F$ is smooth and strictly convex. The theorem of De Giorgi-Nash-Moser in its elliptic form can be applied to the differential quotients of the minimizer of $J$ to show that the solution is $C^{1,\alpha}$. Once that initial regularity is obtained, further regularity follows by bootstrapping with the Schauder estimates and the smoothness of $F$.

Note that in order to apply the theorem to these nonlinear equations, it is very important that no smoothness assumption on the coefficients $A(x)$ is made.

Parabolic version

For the result in the parabolic case, we assume that the equation \[ u_t - \mathrm{div} A(x) \nabla u(x) = 0 \] is satisfied in the unit cylinder $(0,1] \times B_1$ of $\R \times \R^n$.

Holder estimate

The Holder estimate says that if $u$ is an $L^2$ solution to a uniformly elliptic divergence form equation as above, then $u$ is Holder continuous in $[1/2,1] \times B_{1/2}$ and \[ ||u||_{C^\alpha([1/2,1] \times B_{1/2})} \leq C ||u||_{L^2([0,1] \times B_1)}.\] The constants $C$ and $\alpha>0$ depend on $n$ (dimension), $\lambda$ and $||A||_{L^\infty}$.

Harnack inequality

The Harnack inequality says that if $u$ is a non negative solution of the equation in $[0,1] \times B_1$, then its minimum controls its maximum in a previous time: \[ \sup_{[1/4,1/2] \times B_{1/2}} u \leq \inf_{[3/4,0] \times B_{1/2}} u. \]

Gradient flows

The parabolic version of the theory can be used to show that the solutions to gradient flow equations with strictly convex energies are smooth. \[ u_t + \partial_u J[u] = u_t - \mathrm{div} \left( (\partial_i F)(\nabla u) \partial_i u \right) = 0.\] The idea of the proof is that the derivatives of $u$ (or its differential quotients) satisfy an equation with rough but uniformly elliptic coefficients.