Conformally invariant operators and Hele-Shaw: Difference between pages

From nonlocal pde
(Difference between pages)
Jump to navigation Jump to search
imported>Tianling
No edit summary
 
imported>Hector
No edit summary
 
Line 1: Line 1:
On a general compact 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
{{stub}}
 
The Hele-Shaw model describes an incompressible flow lying between two nearby horizontal plates<ref name="MR0097227"/>. The following equations are given for a non-negative pressure $u$, supported in in a time dependent domain,
\begin{align*}
\Delta u &= 0 \text{ in } \Omega^+ = \{u>0\}\cap \Omega\\
\frac{\partial_t u}{|Du|} &= |Du| \text{ on } \partial \{u>0\}\cap \Omega
\end{align*}
The first equation expresses the incompressibility of the fluid. The second equation, also known as the free boundary condition, says that the normal speed of the inter-phase (left-hand side) is the velocity of the fluid (right-hand side).
Particular solutions are given for instance by the planar profiles
\[
\[
A_w(\varphi)=e^{-bw} A(e^{aw}\varphi)\quad\mbox{for all }\varphi \in C^{\infty}(M),
P(x,t) = a(t)(x_n-A(t))_+ \qquad\text{where}\qquad  A(t) = \int_t^0 a(s)ds \qquad\text{and}\qquad a(t)>0
\]
\]
where $a, b$ are constant.


Examples of conformally invariant operators include:
Non-local aspects of the equation can be appreciated by noticing that a given deformation of the domain $\Omega^+$ affects all the values of $|Du|$, at least in the corresponding connected component. To be more precise let us also formally show that the linearization about a planar profile leads to a fractional heat equation of order one.
 
* 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}$.


* The Paneitz operator <ref name="paneitz1983quartic"/> <ref name="paneitz2008quartic"/>:
Let $u = P + \varepsilon v$. Then $u$ and $P$ harmonic in their positivity sets imply $v$ harmonic in the intersection, notice that as $\varepsilon\searrow0$, $v$ becomes harmonic in $\{x_n>A(t)\}$. On the other hand, the free boundary relation over $\{x_n=A(t)\}$ gives
\[
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
\frac{a^2+\varepsilon \partial_t v}{|ae_n+\varepsilon Dv|} = |ae_n+\varepsilon Dv| \qquad\Rightarrow\qquad \partial_t v = 2a\partial_n v+\varepsilon |Dv|^2
\]
\]
and
By taking the reparametrization $w(x,t) = v(x+Ae_n,t)$ and letting $\varepsilon\searrow0$ we get that $w$ satisfies
\begin{align*}
\Delta w &= 0 \text{ in } \{x_n>0\}\\
\partial_t w &= a\partial_n w \text{ on } \{x_n=0\}
\end{align*}
Or in terms of the half-laplacian in $\mathbb R^{n-1} = \{x_n=0\}$,
\[
\[
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}.
\partial_t w = a\Delta_{\mathbb R^{n-1}}^{1/2} w
\]
\]
This is a fourth order operator with leading term $(-\Delta_g)^2$.
* GJMS operators <ref name="GJMS"/>: this is a family of conformally invariant differential operators with leading term $(-\Delta_g)^k$ for all integers $k$ is $n$ is odd, and for $k\in \{1,2,\cdots,\frac{n}{2}\}$ if $n$ is even. The formula are not explicit except they are on the standard sphere. A nonexistence result can be found in <ref name="gover2004conformally"/> for $k>\frac n2$ and $n\ge 4$ even.
*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$.
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 <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,
* has the eigenfunctions of spherical harmonics, and
* is the inverse of a spherical Riesz potential.


== References ==
== References ==
{{reflist|refs=
{{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="MR0097227">{{Citation | last1=Saffman | first1= P. G. | last2=Taylor | first2= Geoffrey | title=The penetration of a fluid into a porous medium or Hele-Shaw cell containing a more viscous liquid | journal=Proc. Roy. Soc. London. Ser. A | issn=0962-8444 | year=1958 | volume=245 | pages=312--329. (2 plates)}}</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="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>
 
<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>
 
<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>
 
<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>


}}
}}

Revision as of 12:20, 29 July 2016

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

The Hele-Shaw model describes an incompressible flow lying between two nearby horizontal plates[1]. The following equations are given for a non-negative pressure $u$, supported in in a time dependent domain, \begin{align*} \Delta u &= 0 \text{ in } \Omega^+ = \{u>0\}\cap \Omega\\ \frac{\partial_t u}{|Du|} &= |Du| \text{ on } \partial \{u>0\}\cap \Omega \end{align*} The first equation expresses the incompressibility of the fluid. The second equation, also known as the free boundary condition, says that the normal speed of the inter-phase (left-hand side) is the velocity of the fluid (right-hand side). Particular solutions are given for instance by the planar profiles \[ P(x,t) = a(t)(x_n-A(t))_+ \qquad\text{where}\qquad A(t) = \int_t^0 a(s)ds \qquad\text{and}\qquad a(t)>0 \]

Non-local aspects of the equation can be appreciated by noticing that a given deformation of the domain $\Omega^+$ affects all the values of $|Du|$, at least in the corresponding connected component. To be more precise let us also formally show that the linearization about a planar profile leads to a fractional heat equation of order one.

Let $u = P + \varepsilon v$. Then $u$ and $P$ harmonic in their positivity sets imply $v$ harmonic in the intersection, notice that as $\varepsilon\searrow0$, $v$ becomes harmonic in $\{x_n>A(t)\}$. On the other hand, the free boundary relation over $\{x_n=A(t)\}$ gives \[ \frac{a^2+\varepsilon \partial_t v}{|ae_n+\varepsilon Dv|} = |ae_n+\varepsilon Dv| \qquad\Rightarrow\qquad \partial_t v = 2a\partial_n v+\varepsilon |Dv|^2 \] By taking the reparametrization $w(x,t) = v(x+Ae_n,t)$ and letting $\varepsilon\searrow0$ we get that $w$ satisfies \begin{align*} \Delta w &= 0 \text{ in } \{x_n>0\}\\ \partial_t w &= a\partial_n w \text{ on } \{x_n=0\} \end{align*} Or in terms of the half-laplacian in $\mathbb R^{n-1} = \{x_n=0\}$, \[ \partial_t w = a\Delta_{\mathbb R^{n-1}}^{1/2} w \]

References

  1. Saffman, P. G.; Taylor, Geoffrey (1958), "The penetration of a fluid into a porous medium or Hele-Shaw cell containing a more viscous liquid", Proc. Roy. Soc. London. Ser. A 245: 312--329. (2 plates), ISSN 0962-8444