|
imported>Luis |
| Line 1: |
Line 1: |
| Let <math>\Omega</math> be an open domain and <math> u </math> a solution of an elliptic equation in <math> \Omega </math>. The following theorems say that <math> u </math> satisfies some regularity estimates in the interior of <math> \Omega </math> (but not necessarily up the the boundary).
| | I am trying to apply to some make up to the starting page. The more polished the wiki looks, the more people will feel its worth their time to write on it, however, I am still learning the format-fu for wikis so it might take a while before it looks good. ([[User:Nestor|Nestor]] 15:09, 5 February 2012 (CST)) |
|
| |
|
| | Also, there is some discussion at the end of this article which is probably better placed in the [[Introduction to non-local equations]] page, I am going to move it there. ([[User:Nestor|Nestor]] 22:06, 6 February 2012 (CST)) |
|
| |
|
| == Linear equations ==
| | When I originally wrote the link to the non existent page ''Intro to nonlocal equations'' I was envisioning a page explaining mostly what a non local equation is and some general intuition. Since such page is hard to write, the link stayed red forever. ([[User:Luis|Luis]] 22:17, 6 February 2012 (CST)) |
| | |
| Regularity results for linear equations are applicable to nonlinear equations as well through the linearization of the equation. However, this process requires some initial regularity knowledge on the solution (since the coefficients of the linearization depend on the solution itself). Therefore, the less regularity required for the coefficients, the more useful the theorem is.
| |
| | |
| All regularity results that require some modulus of continuity or smallness condition for the coefficients rely on the idea that the solution is locally close to a solution to an equation with constant coefficients. The proof is based on an estimate on how far these two solutions are at small scales. These type of arguments are often called [[perturbation methods]].
| |
| | |
| From the results below for linear equations, [[De Giorgi-Nash-Moser]] and [[Krylov-Safonov]] are the only non perturbative results. Their assumptions are scale invariant in the sense that a rescaling of the solution ($u_r(x) = u(rx)$) would solve an elliptic equation with the same bounds as the original.
| |
| | |
| * [[De Giorgi-Nash-Moser]]
| |
| <math> {\rm div \,} A(x) Du + b(x) \cdot \nabla u = 0 </math>
| |
| | |
| then <math>u</math> is Holder continuous if <math>A</math> is just uniformly elliptic and <math>b</math>
| |
| is in <math>L^n</math> (or <math>BMO^{-1}</math> if <math>{\rm div \,} b=0</math>).
| |
| | |
| * [[Krylov-Safonov]]
| |
| <math>a_{ij}(x) u_{ij} + b \cdot \nabla u = f </math>
| |
| | |
| with <math>a_{ij}</math> unif elliptic, <math>b \in L^n</math> and <math>f \in L^n</math>, then the
| |
| solution is <math>C^\alpha</math>
| |
| | |
| * [[Calderon-zygmund]]
| |
| <math>a_{ij}(x) u_{ij} = f</math>
| |
| | |
| with <math>a_{ij}</math> close enough to the identity (or continuous) and <math>f \in L^p</math>, then <math>u</math> is in <math>W^{2,p}</math>.
| |
| | |
| * [[Cordes-Nirenberg]]
| |
| <math>a_{ij}(x) u_{ij} = f</math>
| |
| | |
| with <math>a_{ij}</math> close enough to the identity uniformly and $f \in L^\infty$,
| |
| then $u$ is in $C^{1,\alpha}$
| |
| | |
| * [[Cordes-Nirenberg improved]] (corollary of work of Caffarelli for nonlinear equations)
| |
| <math>a_{ij}(x) u_{ij} = f</math>
| |
| | |
| with $a_{ij}$ close enough to the identity in a scale invariant Morrey
| |
| norm in terms of $L^n$ and $f \in L^n$, then $u$ is in $C^{1,\alpha}$.
| |
| | |
| ($a_{ij} \in VMO$ is a particular case of this)
| |
| | |
| *[[Schauder]]
| |
| <math>a_{ij}(x) u_{ij} = f</math>
| |
| | |
| with $a_{ij}$ in $C^\alpha$ and $f \in C^\alpha$, then $u$ is in $C^{2,\alpha}$
| |
| | |
| == Non linear equations ==
| |
| | |
| * [[De Giorgi-Nash-Moser]]
| |
| For any smooth strictly convex Lagrangian $L$, minimizers of functionals
| |
| | |
| $ \int_D L(\nabla u) \ dx $
| |
| | |
| are smooth (analytic if $L$ is analytic).
| |
| | |
| * [[Krylov-Safonov|Krylov-Safonov-Caffarelli]]
| |
| | |
| Any continuous function $u$ such that
| |
| | |
| $M^+(D^2 u) \geq 0 \geq M^-(D^2 u)$
| |
| | |
| in the viscosity sense (where $M^+$ and $M^-$ are the Pucci operators), is Holder continuous.
| |
| | |
| (Note that any solution to a fully nonlinear uniformly elliptic equation satisfies this, even with rough coefficients)
| |
| | |
| * [[Ishii-Lions]]
| |
| | |
| If $u$ solves a fully nonlinear equation
| |
| | |
| $F(D^2 u, Du, u, x) = 0$
| |
| | |
| which is degenerate elliptic but satisfies some structure conditions and some smoothness assumptions respect to $x$, then $u$ is Lipschitz.
| |
| | |
| (The proof of this is based on the uniqueness technique for viscosity solutions)
| |
| | |
| * [[Lin]]
| |
| | |
| Any continuous function $u$ such that
| |
| | |
| $0 \geq M^-(D^2 u)$
| |
| | |
| in the viscosity sense, is twice differentiable almost everywhere and $D^2 u \in L^\varepsilon$.
| |
| | |
| (Note that any solution to a fully nonlinear uniformly elliptic equation satisfies this, even with rough coefficients) | |
| | |
| * [[Krylov-Safonov|Krylov-Safonov-Caffarelli]]
| |
| If $u$ solves a fully nonlinear equation
| |
| | |
| $F(D^2 u, x) = 0$
| |
| | |
| which is uniformly elliptic and continuous respect to $x$ ($VMO$ is actually enough), then $u \in C^{1,\alpha}$.
| |
| | |
| * [[Evans-Krylov]]
| |
| If $u$ solves a convex (or concave) fully nonlinear equation
| |
| | |
| $F(D^2 u, x) = 0$
| |
| | |
| which is uniformly elliptic and $C^\alpha$ respect to $x$, then $u \in C^{2,\alpha}$.
| |
I am trying to apply to some make up to the starting page. The more polished the wiki looks, the more people will feel its worth their time to write on it, however, I am still learning the format-fu for wikis so it might take a while before it looks good. (Nestor 15:09, 5 February 2012 (CST))
Also, there is some discussion at the end of this article which is probably better placed in the Introduction to non-local equations page, I am going to move it there. (Nestor 22:06, 6 February 2012 (CST))
When I originally wrote the link to the non existent page Intro to nonlocal equations I was envisioning a page explaining mostly what a non local equation is and some general intuition. Since such page is hard to write, the link stayed red forever. (Luis 22:17, 6 February 2012 (CST))