[论文解读] Some constructions for the fractional Laplacian on noncompact manifolds

Valeria Banica, María del Mar González+1 more|arXiv (Cornell University)|Dec 13, 2012

Nonlinear Partial Differential Equations参考文献 52被引用 9

一句话总结

本文通过Caffarelli-Silvestre扩展问题，在非紧黎曼流形上建立了分数阶拉普拉斯算子的严格定义，利用热核估计和在无穷远处的几何控制。研究证明了在双曲空间及更广泛的非紧流形上，扩展问题解的存在性与唯一性，从而可通过加权法向导数恢复分数阶拉普拉斯算子，并为双曲空间推导出显式核公式与迹Sobolev不等式。

ABSTRACT

We give a definition of the fractional Laplacian on some noncompact manifolds, through an extension problem introduced by Caffarelli-Silvestre. While this definition in the compact case is straightforward, in the noncompact setting one needs to have a precise control of the behavior of the metric at infinity and geometry plays a crucial role. First we give explicit calculations in the hyperbolic space, including a formula for the kernel and a trace Sobolev inequality. Then we consider more general noncompact manifolds, where the problem reduces to obtain suitable upper bounds for the heat kernel.

研究动机与目标

• 在标准泛函分析或奇异积分方法失效的非紧黎曼流形上定义分数阶拉普拉斯算子 $(-\Delta_M)^\gamma$。
• 通过控制度量在无穷远处的行为与几何结构，将Caffarelli-Silvestre扩展方法推广至非紧情形。
• 为流形（如对称空间、几何有限双曲空间、旋转对称流形、具有端点的流形等）建立扩展问题适定性的充分条件。
• 在双曲空间情况下，推导分数阶拉普拉斯算子核的显式公式，并证明最优迹Sobolev不等式。
• 将扩展方法推广至非紧流形，从而能够研究半线性问题，并在几何分析中实现潜在应用。

提出的方法

• 采用Caffarelli-Silvestre扩展问题：在 $M \times \mathbb{R}_+$ 上求解 $\text{div}_g(y^a \nabla_g u) = 0$，其中 $u(x,0) = f(x)$，且 $a = 1 - 2\gamma$。
• 通过 $(-\Delta_M)^\gamma f = -d_\gamma \lim_{y \to 0} y^a \partial_y u$ 恢复分数阶拉普拉斯算子，其中 $d_\gamma = 2^{2\gamma-1} \Gamma(\gamma)/\Gamma(1-\gamma)$。
• 在双曲空间中，利用其对称空间结构，结合傅里叶分析与调和分析工具，显式计算泊松核。
• 推导 $(-\Delta_{\mathbb{H}^n})^\gamma$ 的奇异积分表示，作为与行为良好的核的卷积，从而实现点态估计。
• 利用基流形上的热核估计控制扩展解的行为，尤其在具有几何控制的非紧情形下。
• 通过热核估计建立可接受的流形类（如对称空间、几何有限双曲空间、旋转对称流形、具有端点的流形等），确保扩展问题适定。

实验结果

研究问题

• RQ1 Caffarelli-Silvestre扩展方法能否推广至度量在无穷远处增长或退化的非紧流形？
• RQ2 何种几何与分析条件可确保非紧流形上分数阶拉普拉斯算子扩展问题解的存在性与唯一性？
• RQ3 在双曲空间上，分数阶拉普拉斯算子是否存在显式公式或核表示？
• RQ4 如何在非紧情形（如双曲空间）中建立最优迹Sobolev不等式？
• RQ5 扩展方法能否应用于具有多个端点或扭曲积结构的流形？所需热核估计为何种形式？

主要发现

• 在满足命题3.3中可接受条件的非紧流形（包括 $\mathbb{H}^n$）上，扩展问题 $\text{div}_g(y^a \nabla_g u) = 0$ 在 $M \times \mathbb{R}_+$ 上，且 $u(x,0) = f(x)$，对任意 $f \in H^\gamma(M)$ 存在唯一解。
• 在双曲空间 $\mathbb{H}^n$ 上，分数阶拉普拉斯算子 $(-\Delta_{\mathbb{H}^n})^\gamma$ 通过由泊松核导出的卷积核被显式表示为奇异积分算子。
• 为双曲空间建立了最优迹Sobolev不等式，为研究涉及分数阶拉普拉斯算子的半线性问题提供了关键工具。
• 对于满足 $c^{-1}r^{-2} \leq \gamma(x,r) \leq c r^{-2}$ 且 $|\partial_r \gamma| \leq c r^{-3}$ 的具有端点的流形，热核满足允许扩展问题适定的估计。
• 在具有多个端点的流形（如 $\mathcal{R}^n \# \mathcal{R}^m$）情况下，热核估计 $p_t(x,x') \lesssim \left( \frac{1}{t^{m/2}|x|^{n-2}} + \frac{1}{t^{n/2}|x'|^{m-2}} \right) e^{-c d^2/t}$ 足够确保扩展问题定义良好。
• 该方法可推广至更广泛的框架（如度量图与Kähler流形），前提是存在适当的热核估计。