Krylov-Safonov theorem and Monge Ampere equation: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Luis
 
imported>Luis
No edit summary
 
Line 1: Line 1:
Krylov-Safonov theorem provides Holder estimates and a Harnack inequality for uniformly elliptic or parabolic equations of second order. It is one of the major components of regularity theory for fully nonlinear elliptic equations of second order. What makes the estimates important is that they do not require any regularity assumption on the coefficients of the equation. It just requires them to be bounded above and below. This makes it possible to apply to the linearization of fully nonlinear equations before knowing any a priori regularity estimate for the solution.
The Monge-Ampere equation refers to
\[ \det D^2 u = f(x). \]
The right hand side $f$ is always nonnegative. The unknown function $u$ should be convex.


== Elliptic case ==
The equation is uniformly elliptic when restricted to a subset of functions which are uniformly $C^{1,1}$ and strictly convex. Moreover, the operator
=== Holder continuity ===
\[ MA(D^2 u) := \left( \det (D^2 u) \right)^{1/n} = \inf \{ a_{ij} \partial_{ij} u : \det \{a_{ij}\} = 1 \},\]
Given a bounded solution of the following elliptic PDE
is concave.
\[ a_{ij}(x) \partial_{ij} u (x) + b(x) \cdot \nabla u(x) = f(x) \qquad \text{in } B_1,\]
where repeated indices denotes summation and we assume
\begin{align*}
\lambda I &\leq \{a_{ij}(x)\} \leq \Lambda I \text{ for all $x$. (This is the uniform ellipticity condition)}\\
b &\in L^n(B_1), \\
f &\in L^n(B_1).
\end{align*}
Then the function $u$ is Holder continuous and for some small $\alpha>0$ it satisfies the estimate
\[ ||u||_{C^\alpha(B_{1/2})} \leq C (||u||_{L^\infty(B_1)}+||f||_{L^n(B_1)}).\]
The constant $C$ depends on $\lambda$, $\Lambda$, $n$ (dimension) and $||b||_{L^n}$.


=== Harnack inequality ===
{{stub}}
Given a nonnegative solution of the following elliptic PDE
\[ a_{ij}(x) \partial_{ij} u (x) + b(x) \cdot \nabla u(x) = f(x) \qquad \text{in } B_1,\]
Under the same assumptions as for the Holder estimates, the following Harnack inequality holds
\[ \sup_{B_{1/2}} u \leq C (\inf_{B_{1/2}} u+||f||_{L^n(B_1)}).\]
The constant $C$ depends on $\lambda$, $\Lambda$, $n$ (dimension) and $||b||_{L^n}$.
 
=== Viscosity solutions ===
Both the Holder estimates and the Harnack inequality can be applied to [[viscosity solutions]] of nonlinear equations. Formally, one can replace the equation (at least when $b=0$) by
\begin{align*}
M^+(D^2 u) &\geq f \text{ in } B_1,\\
M^-(D^2 u) &\leq f \text{ in } B_1.
\end{align*}
When $f$ is continuous, both inequalities above are well defined in the viscosity sense.
 
 
== Parabolic case ==
The elliptic case is implied by the results in the parabolic setting.
 
=== Holder estimates ===
The Holder estimate are similar in the parabolic case as in the elliptic case. Let us define the parabolic cylinder
\[ Q_r(x_0,t_0) = \{(x,t) : |x-x_0|<r \text{ and } 0 \leq t_0 - t < t^2 \}.\]
 
Given a bounded solution of the parabolic PDE
\[ u_t(x,t) - a_{ij}(x,t) \partial_{ij} u (x,t) + b(x,t) \cdot \nabla u(x,t) = f(x,t) \qquad \text{in } Q_1(0,0),\]
where repeated indices denotes summation and we assume
\begin{align*}
\lambda I &\leq \{a_{ij}(x,t)\} \leq \Lambda I \text{ for all $x$ and $t$. (This is the uniform ellipticity condition)}\\
b &\in L^n(Q_1), \\
f &\in L^n(Q_1).
\end{align*}
Then the function $u$ is Holder continuous and satisfies the estimate
\[ ||u||_{Q^\alpha(C_{1/2})} \leq C (||u||_{L^\infty(Q_1)}+||f||_{L^n(Q_1)}).\]
The constant $C$ depends on $\lambda$, $\Lambda$, $n$ (dimension) and $||b||_{L^n}$.
 
===Harnack inequality ===
In the parabolic Harnack inequality, the infimum and the maximum must be taken in cylinders which are shifted in time.
 
Given a nonnegative solution of the parabolic PDE
\[ u_t(x,t) - a_{ij}(x,t) \partial_{ij} u (x,t) + b(x,t) \cdot \nabla u(x,t) = f(x,t) \qquad \text{in } Q_1(0,0),\]
under the same assumptions as for the Holder estimates, the function $u$ satisfies the inequality
\[ \sup_{Q_{1/2}(0,-1/2)} u \leq C \left(\inf_{Q_{1/2}(0,0)} u+||f||_{L^n(Q_1)} \right).\]
The constant $C$ depends on $\lambda$, $\Lambda$, $n$ (dimension) and $||b||_{L^n}$.
 
== $C^{1,\alpha}$ estimates for fully nonlinear equations ==
 
The Holder estimates described above can be used to obtain $C^{1,\alpha}$ regularity estimates for solutions to fully nonlinear uniformly elliptic equations $F(D^2 u)=0$. Formally we can derive the equation to obtain.
\[ \frac{\partial F(D^2u)} {\partial X_{ij}} \partial_{ij} u_e = \partial_e F(D^2 u)=0. \]
The uniform ellipticity assumption on $F$ means that $a_{ij}(x) := \frac{\partial F(D^2u)} {\partial X_{ij}}$ satisfies the hypothesis of the Holder estimates, and therefore the directional derivative $u_e$ must be $C^\alpha$ for any vector $e$.
 
Exploiting the idea above, one can prove the following result. If $u$ is a bounded viscosity solution of $F(D^2 u)=0$ in $B_1$, then there exist an $\alpha>0$ such that $u \in C^{1,\alpha}$ in the interior of $B_1$ and
\[ ||u||_{C^{1,\alpha}} \leq C (||u||_{L^\infty(B_1)} + F(0)).\]
The constants $C$ and $\alpha$ depend only on $\lambda$, $\Lambda$ and $n$ (dimension), but not on any other characteristic of the function $F$.

Latest revision as of 16:47, 8 April 2015

The Monge-Ampere equation refers to \[ \det D^2 u = f(x). \] The right hand side $f$ is always nonnegative. The unknown function $u$ should be convex.

The equation is uniformly elliptic when restricted to a subset of functions which are uniformly $C^{1,1}$ and strictly convex. Moreover, the operator \[ MA(D^2 u) := \left( \det (D^2 u) \right)^{1/n} = \inf \{ a_{ij} \partial_{ij} u : \det \{a_{ij}\} = 1 \},\] is concave.

This article is a stub. You can help this nonlocal wiki by expanding it.