Fractional Laplacian and Conformally invariant operators: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Xavi
 
imported>Tianling
No edit summary
 
Line 1: Line 1:
The fractional Laplacian $(-\Delta)^s$ is a classical operator which gives the standard Laplacian when $s=1$. One can think of $-(-\Delta)^s$ as the most basic  [[elliptic linear integro-differential operator]] of order $2s$ and can be defined in several equivalent ways (listed below). A range of powers of particular interest is $s \in (0,1)$, in which case for $u \in \mathcal{S}(\mathbb{R}^n)$ we can write the operator as
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.


\[-(-\Delta)^su(x) = c_{n,s} \int_{\mathbb{R}^d}\frac{\delta u (x,y) }{|y|^{d+2s}}dy\]
Examples of conformally invariant operators include:


where $c_{n,s}$ is a universal constant and $\delta u(x,y):= u(x+y)+u(x-y)-2u(x)$. This particular expression shows that in this range of $s$ the operator enjoys the following monotonicity property: if $u$ has a global maximum at $x$, then $(-\Delta)^s u(x) \geq 0$, with equality only if $u$ is constant. From this monotonicity, a [[comparison principle]] can be derived for equations involving the fractional Laplacian.
* 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}$.


== Definitions ==
* 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 the definitions below are equivalent.
* 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.  


=== As a pseudo-differential operator ===
*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$.
The fractional Laplacian is the pseudo-differential operator with symbol $|\xi|^{2s}$. In other words, the following formula holds
\[ \widehat{(-\Delta)^s f}(\xi) = |\xi|^{2s} \hat f(\xi).\]
for any function (or tempered distribution) for which the right hand side makes sense.


This formula is the simplest to understand and it is useful for problems in the whole space. On the other hand, it is hard to obtain local estimates from it.


=== From functional calculus ===
Special cases:
Since the operator $-\Delta$ is a self-adjoint positive definite operator in a dense subset $D$ of $L^2(\R^n)$, one can define $F(-\Delta)$ for any continuous function $F:\R^+ \to \R$. In particular, this serves as a more or less abstract definition of $(-\Delta)^s$.


This definition is not as useful for practical applications, since it does not provide any explicit formula.
* On the Euclidean space $\mathbb{R}^n$: the operators mentioned above are just the fractional Laplacians.


=== As a singular integral ===
* 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:
If $f$ is regular enough and $s \in (0,1)$, $(-\Delta)^s f(x)$ can be computed by the formula
\[
\[ (-\Delta)^s f(x) = c_{n,s} \int_{\R^n} \frac{f(x) - f(y)} {|x-y|^{n+2s}} \mathrm d y .\]
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,


Where $c_{n,s}$ is a constant depending on dimension and $s$.
* has the eigenfunctions of spherical harmonics, and  


This formula is the most useful to study local properties of equations involving the fractional Laplacian and regularity for critical semilinear problems.
* is the inverse of a spherical Riesz potential.


=== As a generator of a [[Levy process]] ===
The operator can be defined as the generator of $\alpha$-stable Lévy processes. More precisely, if $X_t$ is the isotropic $\alpha$-stable Lévy process starting at zero and $f$ is a smooth function, then
\[ (-\Delta)^{\alpha/2} f(x) = \lim_{h \to 0^+} \frac 1 {h} \mathbb E [f(x) - f(x+X_h)]. \]


This definition is important for applications to probability.
== References ==
 
{{reflist|refs=
== Inverse operator ==
The inverse of the $s$ power of the Laplacian is the $-s$ power of the Laplacian $(-\Delta)^{-s}$. For $0<s<n/2$, there is an integral formula which says that $(-\Delta)^{-s}u$ is the convolution of the function $u$ with the ''Riesz potential'':
\[ (-\Delta)^{-s} u(x) = C_{n,s} \int_{\R^n} u(x-y) \frac{1}{|y|^{n-2s}} \mathrm d y,\]
which holds as long as $u$ is regular enough for the right hand side to make sense.
 
== Heat kernel ==
The fractional heat kernel $p(t,x)$ is the fundamental solution to the [[fractional heat equation]]. It is the function which solves the equation
\begin{align*}
p(0,x) &= \delta_0 \\
p_t(t,x) + (-\Delta)^s p &= 0
\end{align*}


The kernel is easy to compute in Fourier side as $\hat p(t,\xi) = e^{-t|\xi|^{2s}}$. There is no explicit formula in physical variables, but the following inequalities are known to hold for some constant $C$
<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>
\[ C^{-1} \left( t^{-\frac n {2s}} \wedge \frac{t}{|x|^{n+2s}} \right) \leq p(t,x) \leq C \left( t^{-\frac n {2s}} \wedge \frac{t}{|x|^{n+2s}} \right). \]


Moreover, the function $p$ is $C^\infty$ in $x$ for $t>0$ and the following identity follows by scaling
<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>
\[ p(t,x) = t^{-\frac n {2s}} p \left( 1 , t^{-\frac 1 {2s}} x \right). \]


== Poisson kernel ==
<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>
Given a function $g : \R^n \setminus B_1 \to \R$, there exists a unique function $u$ which solves the Dirichlet problem
\begin{align*}
u(x) &= g(x) \qquad \text{if } x \notin B_1 \\
(-\Delta)^s u(x) &= 0 \qquad \text{if } x \in B_1.
\end{align*}


The solution can be computed explicitly using the Poisson kernel
<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>
\[ u(x) = \int_{\R^n \setminus B_1} g(y) P(y,x) \mathrm d y,\]
where<ref name="R"/>
\[ P(y,x) = C_{n,s} \left( \frac{1-|x|^2}{|y|^2-1}\right)^s \frac 1 {|x-y|^n}.\]


The justification of this Poisson kernel can be found in the classical book of Landkof (1.6.11')<ref name="L"/>.
<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>


== Green's function for the ball ==
<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>
For a function $g \in L^2(B_1)$, there exists a unique function $u \in H^s(\R^n)$ such that
\begin{align*}
u(x) &= 0 && \text{if } x \notin B_1 \\
(-\Delta)^s u &= g(x) && \text{if } x \in B_1.
\end{align*}


The solution is given explicitly using the Green's function,
<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>
\[ u(x) = \int_{B_1} G_{B_1}(x, y) g(y) \mathrm d y, \]
where<ref name="R"/>
\[ G_{B_1}(x, y) = C_{n,s} |x - y|^{2 s - n} \int_0^{r_0(x, y)} \frac{r^{s-1}}{(r+1)^{n/2}} \, \mathrm d r \]
with
\[ r_0(x, y) = \frac{(1 - |x|^2) (1 - |y|^2)}{|x - y|^2} . \]
The above formula holds for all $s \in (0, 1)$ also for $n = 1$.<ref name="BGR"/>


== Regularity issues ==
<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>
Any function $u$ which satisfies $(-\Delta)^s u=0$ in any open set $\Omega$, then $u \in C^\infty$ inside $\Omega$. This follows from the smoothness of the Poisson kernel for balls.


=== Full space regularization of the Riesz potential ===
<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>
If $(-\Delta)^s u = f$ in $\R^n$, then of course $u = (-\Delta)^{-s}f$. It is simple to see that the operator $(-\Delta)^{-s}$ regularizes the functions ''up to $2s$ derivatives''. In Fourier side, $\hat u(\xi) = |\xi|^{-2s} \hat f(\xi)$, thus $\hat u$ has a stronger decay than $\hat f$. More precisely, if $f \in C^\alpha$, then $u \in C^{2s+\alpha}$ as long as $2s+\alpha$ is not an integer (A proof of this using only the integral representation of $(-\Delta)^{-s}$ was given in the preliminaries section of <ref name="S"/>, but the result is presumably very classical). More generally, if $f$ belongs to the Besov space $B_{p,q}^r$, then $u \in B_{p,q}^{r+2s}$, $s>0$. However, if $f$ belongs to $L^p$ then it does not follow that $u\in W^{2s,p}$; this is true only for $p\geq2$. For $1<p<2$ one only have $u\in B^{2s}_{p,2}\supset W^{2s,p}$ ---see Chapter V in Stein<ref name="Stein"/>.


=== Boundary regularity ===
<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>
From the Poisson formula, one can observe that if the boundary data $g$ of the Dirichlet problem in $B_1$ is bounded and smooth, then $u \in C^s(\overline B_1)$ and in general no better. The singularity of $u$ occurs only on $\partial B_1$, the solution $u$ would be $C^\infty$ in the interior of the unit ball (which is also a consequence of the explicit Poisson kernel).


Related to this, consider the solution $u$ to the Dirichlet problem $(-\Delta)^s u =g$ in $\Omega$, $u=0$ in $\mathbb R^n \setminus \Omega$, with $g$ bounded. In $C^{1,1}$ domains we have $u\in C^s(\overline \Omega)$ and $u/\delta^s\in C^\alpha(\overline\Omega)$, where $\delta(x)= {\rm dist}(x,\partial\Omega)$ <ref name="RS"/>. If $g$ is not bounded but only in $L^p(\Omega)$ then $u\in L^q$ with $q=\frac{np}{n-2ps}$ in case $p<n/(2s)$, while $u\in C^\beta(\overline\Omega)$ with $\beta=\min\{s,2s-\frac{n}{p}\}$ in case $p>n/(2s)$ ---see for example Proposition 1.4 in <ref name="RS2"/>.
<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>


== References ==
{{reflist|refs=
<ref name="BGR">{{Citation | last1=Blumenthal | first1=R. M. | last2=Getoor | first2=R. K. | last3=Ray | first3=D. B. | title=On the distribution of first hits for the symmetric stable processes | url=http://www.jstor.org/stable/1993561 | year=1961 | journal=Trans. Amer. Math. Soc. | issn=0002-9947 | volume=99 | pages=540–554}}</ref>
<ref name="L">{{Citation | last1=Landkof | first1=N. S. | title=Foundations of modern potential theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | year=1972}}</ref>
<ref name="R">{{Citation | last1=Riesz | first1=M. | title=Intégrales de Riemann-Liouville et potentiels | url=http://acta.fyx.hu/acta/showCustomerArticle.action?id=5634&dataObjectType=article | year=1938 | journal=Acta Sci. Math. Szeged | issn=0001-6969 | volume=9 | issue=1 | pages=1–42}}</ref>
<ref name="S">{{Citation | last1=Silvestre | first1=Luis | title=Regularity of the obstacle problem for a fractional power of the Laplace operator | url=http://dx.doi.org/10.1002/cpa.20153 | doi=10.1002/cpa.20153 | year=2007 | journal=[[Communications on Pure and Applied Mathematics]] | issn=0010-3640 | volume=60 | issue=1 | pages=67–112}}</ref>
<ref name="RS">{{Citation  | last1=Ros-Oton | first1=X. | last2=Serra | first2=J. | title=The Dirichlet problem for the fractional Laplacian: regularity up to the boundary | url=http://arxiv.org/abs/1207.5985 | year=2012 | journal=[[J. Math. Pures Appl.]] | pages=to appear }}</ref>
<ref name="Stein">{{Citation | last1=Stein | first1=E. | title=Singular Integrals And Differentiability Properties Of Functions | publisher=[[Princeton Mathematical Series]] | year=1970}}</ref>
<ref name="RS2">{{Citation  | last1=Ros-Oton | first1=X. | last2=Serra | first2=J. | title=The extremal solution for the fractional Laplacian | url=http://arxiv.org/abs/1305.2489 | year=2013 | journal=[[Calc. Var. Partial Differential Equations]] | pages=to appear }}</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=Fractional_Laplacian&oldid=1324"