Interior regularity results (local) and Conformally invariant operators: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Luis
 
imported>Tianling
No edit summary
 
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).
On a general compact Riemannian manifold $M$ with metric $g$, a metrically defined operator $A$ is said to be conformally invariant if under the conformal change in the metric $g_w=e^{2w}g$, the pair of the corresponding operators $A_w$ and $A$ are related by
\[
A_w(\varphi)=e^{-bw} A(e^{aw}\varphi)\quad\mbox{for all }\varphi \in C^{\infty}(M),
\]
where $a, b$ are constant.


Examples of conformally invariant operators include:


== Linear equations ==
* The conformal Laplacian:
\[
L_g=-\Delta_g + \frac{n-2}{4(n-1)}R_g,
\]
where $n$ is the dimension of the manifold, $-\Delta_g$ is the Laplace–Beltrami operator of $g$, and $R_g$ is the scalar curvature of $g$. This is a second order differential operator. One can check that in this case, $a=\frac{n-2}{2}$ and $b=\frac{n+2}{2}$.


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.
* The Paneitz operator <ref name="paneitz1983quartic"/> <ref name="paneitz2008quartic"/>:
\[
P=(-\Delta_g)^2-\mbox{div}_g (a_n R_g g+b_n Ric_g)d+\frac{n-4}{2}Q,
\]
where $\mbox{div}_g$ is the divergence operator, $d$ is the differential operator, $Ric_g$ is the Ricci tensor,
\[
Q=c_n|Ric_g|^2+d_nR_g^2-\frac{1}{2(n-2)}\Delta_gR
\]
and
\[
a_n=\frac{(n-2)^2+4}{2(n-1)(n-2)}, b_n=-\frac{4}{n-2}, c_n=-\frac{2}{(n-2)^2}, d_n=\frac{n^3-4n^2+16n-16}{8(n-1)^2(n-2)^2}.
\]
This is a fourth order operator with leading term $(-\Delta_g)^2$.


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]].
* GJMS operators <ref name="GJMS"/>: this is a family of conformally invariant differential operators with leading term $(-\Delta_g)^k$ for all integers $k$ if $n$ is odd, and for $k\in \{1,2,\cdots,\frac{n}{2}\}$ if $n$ is even. A nonexistence result can be found in <ref name="gover2004conformally"/> for $k>\frac n2$ and $n\ge 4$ even. An explicit formula and a recursive formula each for GJMS operators and Q-curvatures have been found by Juhl <ref name="Juhl1"/><ref name="Juhl2"/> (see also Fefferman-Graham<ref name="FG13"/> ). The formula are more explicit when they are on the standard spheres.  


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.
*Scattering operators <ref name="graham2003scattering"/>, or the conformally invariant fractional powers of the Laplacian <ref name="chang2011fractional"/>: This is a family of conformally invariant pseudo-differential operators $P_\sigma$ defined on the conformal infinity of asymptotically hyperbolic manifolds with leading term $(-\Delta_g)^\sigma$ for all real numbers $\sigma\in (0,\frac n2)$ except at most finite values. The authors <ref name="chang2011fractional"/> reconciled the way of defining $P_\sigma$ in <ref name="graham2003scattering"/> and the localization method of Caffarelli-Silvestre  <ref name="CSextension"/> for the fractional Laplacian $(-\Delta)^\sigma$ in the Euclidean space $\mathbb{R}^n$.


* [[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>
Special cases:
is in <math>L^n</math> (or <math>BMO^{-1}</math> if <math>{\rm div \,} b=0</math>).


* [[Krylov-Safonov theorem]]
* On the Euclidean space $\mathbb{R}^n$: the operators mentioned above are just the fractional Laplacians.
<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
* On the standard sphere $(\mathbb{S}^n, g_{\mathbb{S}^n})$ (which is the conformal infinity of the standar Poincare disk): they are the following intertwining operator <ref name="branson1987group"/> of explicit formula:
solution is <math>C^\alpha</math>
\[
P_\sigma=\frac{\Gamma(B+\frac{1}{2}+\sigma)}{\Gamma(B+\frac{1}{2}-\sigma)},\quad B=\sqrt{-\Delta_{g_{\mathbb{S}^n}}+\left(\frac{n-1}{2}\right)^2},
\]
where $\Gamma$ is the Gamma function and $\Delta_{g_{\mathbb{S}^n}}$ is the Laplace-Beltrami operator on $(\mathbb{S}^n, g_{\mathbb{S}^n})$. Moreover, the operator $P_{\sigma}$
* is the pull back of $(-\Delta)^{\sigma}$ under stereographic projections,


* [[Calderon-zygmund estimate]]
* has the eigenfunctions of spherical harmonics, and
<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>.
* is the inverse of a spherical Riesz potential.


* [[Cordes-Nirenberg estimate]]
<math>a_{ij}(x) u_{ij} = f</math>


with <math>a_{ij}</math> close enough to the identity uniformly and $f \in L^\infty$,
== References ==
then $u$ is in $C^{1,\alpha}$
{{reflist|refs=


* [[Cordes-Nirenberg estimate improved]] (corollary of work of Caffarelli for nonlinear equations)
<ref name="branson1987group">{{Citation | last1=Branson | first1= Thomas P | title=Group representations arising from Lorentz conformal geometry | journal=Journal of functional analysis | year=1987 | volume=74 | pages=199--291}}</ref>
<math>a_{ij}(x) u_{ij} = f</math>


with $a_{ij}$ close enough to the identity in a scale invariant Morrey
<ref name="CSextension">{{Citation | last1=Caffarelli | first1= Luis | last2=Silvestre | first2= Luis | title=An extension problem related to the fractional Laplacian | journal=Communications in Partial Differential Equations | year=2007 | volume=32 | pages=1245--1260}}</ref>
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)
<ref name="chang2011fractional">{{Citation | last1=Chang | first1= Sun-Yung Alice | last2=González | first2= Maria del Mar | title=Fractional Laplacian in conformal geometry | journal=Advances in Mathematics | year=2011 | volume=226 | pages=1410--1432}}</ref>


*[[Schauder estimate]]
<ref name="FG13">{{Citation | last1=Fefferman | first1= Charles | last2=Graham | first2= C | title=Juhl’s formulae for GJMS operators and 𝑄-curvatures | journal=Journal of the American Mathematical Society|year=2013 | volume=26 | pages=1191--1207}}</ref>
<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}$
<ref name="gover2004conformally">{{Citation | last1=Gover | first1= A | last2=Hirachi | first2= Kengo | title=Conformally invariant powers of the Laplacian—a complete nonexistence theorem | journal=Journal of the American Mathematical Society |year=2004 |volume=17 | pages=389--405}}</ref>


== Non linear equations ==
<ref name="GJMS">{{Citation | last1=Graham | first1= C Robin | last2=Jenne | first2= Ralph | last3=Mason | first3= Lionel J | last4=Sparling | first4= George AJ | title=Conformally invariant powers of the Laplacian, I: Existence | journal=Journal of the London Mathematical Society | year=1992 | volume=2 | pages=557--565}}</ref>


* [[De Giorgi-Nash-Moser]]
<ref name="graham2003scattering">{{Citation | last1=Graham | first1= C Robin | last2=Zworski | first2= Maciej | title=Scattering matrix in conformal geometry | journal=Inventiones mathematicae | year=2003 | volume=152 | pages=89--118}}</ref>
For any smooth strictly convex Lagrangian $L$, minimizers of functionals


$ \int_D L(\nabla u) \ dx $
<ref name="Juhl1">{{Citation | last1=Juhl | first1= Andreas | title=On the recursive structure of Branson’s Q-curvature | journal=arXiv preprint arXiv:1004.1784}}</ref>


are smooth (analytic if $L$ is analytic).
<ref name="Juhl2">{{Citation | last1=Juhl | first1= Andreas | title=Explicit formulas for GJMS-operators and Q-curvatures | journal=Geometric and Functional Analysis | year=2013|volume=23 | pages=1278--1370}}</ref>


* [[Krylov-Safonov|Krylov-Safonov]]
<ref name="paneitz1983quartic">{{Citation | last1=Paneitz | first1= S | title=A quartic conformally covariant differential operator for arbitrary pseudo-Riemannian manifolds |year=1983 | journal=preprint}}</ref>


Any continuous function $u$ such that
<ref name="paneitz2008quartic">{{Citation | last1=Paneitz | first1= S | title=A quartic conformally covariant differential operator for arbitrary pseudo-Riemannian manifolds (summary) | url=http://dx.doi.org/10.3842/SIGMA.2008.036 | doi:10.3842/SIGMA.2008.036 | year=2008 | journal=SIGMA Symmetry Integrability Geom. Methods Appl. | issue=4 | Paper=036}}</ref>


$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 Lipschitz estimate]]
 
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 theorem]]
 
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 theorem]]
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}$.

Revision as of 22:05, 23 September 2013

On a general compact Riemannian manifold $M$ with metric $g$, a metrically defined operator $A$ is said to be conformally invariant if under the conformal change in the metric $g_w=e^{2w}g$, the pair of the corresponding operators $A_w$ and $A$ are related by \[ A_w(\varphi)=e^{-bw} A(e^{aw}\varphi)\quad\mbox{for all }\varphi \in C^{\infty}(M), \] where $a, b$ are constant.

Examples of conformally invariant operators include:

  • The conformal Laplacian:

\[ L_g=-\Delta_g + \frac{n-2}{4(n-1)}R_g, \] where $n$ is the dimension of the manifold, $-\Delta_g$ is the Laplace–Beltrami operator of $g$, and $R_g$ is the scalar curvature of $g$. This is a second order differential operator. One can check that in this case, $a=\frac{n-2}{2}$ and $b=\frac{n+2}{2}$.

\[ P=(-\Delta_g)^2-\mbox{div}_g (a_n R_g g+b_n Ric_g)d+\frac{n-4}{2}Q, \] where $\mbox{div}_g$ is the divergence operator, $d$ is the differential operator, $Ric_g$ is the Ricci tensor, \[ Q=c_n|Ric_g|^2+d_nR_g^2-\frac{1}{2(n-2)}\Delta_gR \] and \[ a_n=\frac{(n-2)^2+4}{2(n-1)(n-2)}, b_n=-\frac{4}{n-2}, c_n=-\frac{2}{(n-2)^2}, d_n=\frac{n^3-4n^2+16n-16}{8(n-1)^2(n-2)^2}. \] This is a fourth order operator with leading term $(-\Delta_g)^2$.

  • GJMS operators [3]: this is a family of conformally invariant differential operators with leading term $(-\Delta_g)^k$ for all integers $k$ if $n$ is odd, and for $k\in \{1,2,\cdots,\frac{n}{2}\}$ if $n$ is even. A nonexistence result can be found in [4] for $k>\frac n2$ and $n\ge 4$ even. An explicit formula and a recursive formula each for GJMS operators and Q-curvatures have been found by Juhl [5][6] (see also Fefferman-Graham[7] ). The formula are more explicit when they are on the standard spheres.
  • Scattering operators [8], or the conformally invariant fractional powers of the Laplacian [9]: This is a family of conformally invariant pseudo-differential operators $P_\sigma$ defined on the conformal infinity of asymptotically hyperbolic manifolds with leading term $(-\Delta_g)^\sigma$ for all real numbers $\sigma\in (0,\frac n2)$ except at most finite values. The authors [9] reconciled the way of defining $P_\sigma$ in [8] and the localization method of Caffarelli-Silvestre [10] for the fractional Laplacian $(-\Delta)^\sigma$ in the Euclidean space $\mathbb{R}^n$.


Special cases:

  • On the Euclidean space $\mathbb{R}^n$: the operators mentioned above are just the fractional Laplacians.
  • On the standard sphere $(\mathbb{S}^n, g_{\mathbb{S}^n})$ (which is the conformal infinity of the standar Poincare disk): they are the following intertwining operator [11] of explicit formula:

\[ P_\sigma=\frac{\Gamma(B+\frac{1}{2}+\sigma)}{\Gamma(B+\frac{1}{2}-\sigma)},\quad B=\sqrt{-\Delta_{g_{\mathbb{S}^n}}+\left(\frac{n-1}{2}\right)^2}, \] where $\Gamma$ is the Gamma function and $\Delta_{g_{\mathbb{S}^n}}$ is the Laplace-Beltrami operator on $(\mathbb{S}^n, g_{\mathbb{S}^n})$. Moreover, the operator $P_{\sigma}$

  • is the pull back of $(-\Delta)^{\sigma}$ under stereographic projections,
  • has the eigenfunctions of spherical harmonics, and
  • is the inverse of a spherical Riesz potential.


References

  1. Paneitz, S (1983), "A quartic conformally covariant differential operator for arbitrary pseudo-Riemannian manifolds", preprint 
  2. Paneitz, S (2008), "A quartic conformally covariant differential operator for arbitrary pseudo-Riemannian manifolds (summary)", SIGMA Symmetry Integrability Geom. Methods Appl. (4), http://dx.doi.org/10.3842/SIGMA.2008.036 
  3. Graham, C Robin; Jenne, Ralph; Mason, Lionel J; Sparling, George AJ (1992), "Conformally invariant powers of the Laplacian, I: Existence", Journal of the London Mathematical Society 2: 557--565 
  4. Gover, A; Hirachi, Kengo (2004), "Conformally invariant powers of the Laplacian—a complete nonexistence theorem", Journal of the American Mathematical Society 17: 389--405 
  5. Juhl, Andreas, "On the recursive structure of Branson’s Q-curvature", arXiv preprint arXiv:1004.1784 
  6. Juhl, Andreas (2013), "Explicit formulas for GJMS-operators and Q-curvatures", Geometric and Functional Analysis 23: 1278--1370 
  7. Fefferman, Charles; Graham, C (2013), "Juhl’s formulae for GJMS operators and 𝑄-curvatures", Journal of the American Mathematical Society 26: 1191--1207 
  8. 8.0 8.1 Graham, C Robin; Zworski, Maciej (2003), "Scattering matrix in conformal geometry", Inventiones mathematicae 152: 89--118 
  9. 9.0 9.1 Chang, Sun-Yung Alice; González, Maria del Mar (2011), "Fractional Laplacian in conformal geometry", Advances in Mathematics 226: 1410--1432 
  10. Caffarelli, Luis; Silvestre, Luis (2007), "An extension problem related to the fractional Laplacian", Communications in Partial Differential Equations 32: 1245--1260 
  11. Branson, Thomas P (1987), "Group representations arising from Lorentz conformal geometry", Journal of functional analysis 74: 199--291