Aleksandrov-Bakelman-Pucci estimates and Conformally invariant operators: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Russell
mNo edit summary
 
imported>Tianling
No edit summary
 
Line 1: Line 1:
The celebrated "Alexandroff-Bakelman-Pucci Maximum Principle" (often abbreviated as "ABP Estimate") is a pointwise estimate for weak solutions of elliptic equations. It is not only the backbone of the regularity theory of fully nonlinear second order elliptic equations <ref name="CC"/> and more recently for [[Fully nonlinear integro-differential equations]] <ref name="CS"/>, but it also is essential in stochastic homogenization of uniformly elliptic equations in both the second order and integro-differential setting.  
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.


== The classical Alexsandroff-Bakelman-Pucci Theorem ==
Examples of conformally invariant operators include:


Let $u$ be a viscosity supersolution of the linear equation:
* 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}$.


\[ Lu \leq f(x) \;\; x \in B_1\]
* The Paneitz operator <ref name="paneitz1983quartic"/> <ref name="paneitz2008quartic"/>:
\[ u \geq 0 \;\; x \in \partial B_1\]  
\[
\[ Lu:=a_{ij}(x) u_{ij}(x)\]
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$.


The coefficients $a_{ij}(x)$ are only assumed to be measurable functions such that for positive constants $\lambda<\Lambda$ we have
* 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.


\[ \lambda |\xi|^2 \leq a_{ij}(x) \xi_i\xi_j \leq \Lambda |\xi|^2 \;\;\forall \; \xi \in \mathbb{R}^n \]
*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$.


Moreover, the function $f$ is assumed to be continuous. Then, the ABP Theorem says that


\[ \sup \limits_{B_1}\; |u_-|^n \leq C_{n,\lambda,\Lambda} \int_{\{ u=\Gamma_u \} } f_+^n dx \]
Special cases:


Where $\Gamma_u$ is the "convex envelope" of $u$: it is the largest non-positive convex function in $B_2$ that lies above $u$ in $B_1$. The fact that the integration on the right hand side takes place only on the set where $u$ agrees with its convex envelope is an important feature of the estimate and it is not to be overlooked <ref name="CC"/>.
* On the Euclidean space $\mathbb{R}^n$: the operators mentioned above are just the fractional Laplacians.


== ABP-type estimates for integro-differential equations ==
* 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:
\[
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,


The setting for integro-differential equations is similar, what changes are the operators: let $u$ be a viscosity supersolution of the equation
* has the eigenfunctions of spherical harmonics, and


\[ Lu \leq f(x) \;\; x \in B_1\]
  * is the inverse of a spherical Riesz potential.
\[ u \geq 0 \;\; x \in B_1^c\]
\[ Lu:= (2-\sigma)\int_{\R^n} \delta u(x,y)\frac{a(x,y)}{|y|^{n+\sigma}} dy\]


Here $\delta u(x,y):= u(x+y)+u(x-y)-2u(x)$ and $\sigma \in (0,2)$. The function $a(x,y)$ is only assumed to be measurable and such that for some $\Lambda\geq\lambda>0$ we have


\[ \lambda \leq  a(x,y) \leq  \Lambda \;\;\forall\;x,y\in \R^n\]
== References ==
{{reflist|refs=
 
<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>
 
<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>
 
<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>
 
<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>
 
<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>
 
<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>


As in the second order ABP, the function $f$ is assumed to be continuous. Then, Caffarelli and Silvestre proved <ref name="CS"/> there is an estimate
<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>


\[ \inf \limits_{B_1} \; |u_-|^n \leq  C_{n,\lambda,\Lambda,\sigma}\sum \limits_{i=1}^m  ( \sup \limits_{Q_i^*} |f|^n) |Q^*_i|  \]
<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>


For some finite collection of non-overlapping cubes $\{Q_i \}_{i=1}^m$ that cover the set $\{ u=\Gamma_u\}$, each cube having non-zero intersection with this set.  Moreover, all the cubes have diameters $d_i \lesssim 2^{-\frac{1}{2-\sigma}}$. As before, $\Gamma_u$ denotes the "convex envelope" of $u$ in $B_2$.
<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>


Furthermore,  although the sharp constant may depend on $\sigma$, it is uniformly bounded for all $\sigma$ bounded away from zero. In particular, as $\sigma \to 2^-$ the above constant does not blow up, and since the diameter of the cubes goes to zero as $\sigma$ approaches $2$, one can check that this last estimate implies the second order ABP in the limit.
<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>


== References ==  
<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>


{{reflist|refs=
<ref name="CC">{{Citation | last1=Caffarelli | first1=Luis A. | last2=Cabré | first2=Xavier | title=Fully nonlinear elliptic equations | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=American Mathematical Society Colloquium Publications | isbn=978-0-8218-0437-7 | year=1995 | volume=43}}</ref>
<ref name="CS">{{Citation | last1=Caffarelli | first1=Luis | last2=Silvestre | first2=Luis | title=Regularity theory for fully nonlinear integro-differential equations | url=http://dx.doi.org/10.1002/cpa.20274 | doi=10.1002/cpa.20274 | year=2009 | journal=[[Communications on Pure and Applied Mathematics]] | issn=0010-3640 | volume=62 | issue=5 | pages=597–638}}</ref>
}}
}}

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 
Retrieved from "https://web.ma.utexas.edu/mediawiki/index.php?title=Aleksandrov-Bakelman-Pucci_estimates&oldid=1324"