[论文解读] Further results on the fractional Yamabe problem: the umbilic case

Mar ́ õa del Mar Gonzalez, Meng Wang|arXiv (Cornell University)|Mar 10, 2015

Nonlinear Partial Differential Equations参考文献 18被引用 13

一句话总结

该论文通过分析渐近双曲流形中共形分数阶拉普拉斯算子及其相关延拓问题的行为，建立了在脐点边界流形上分数阶 Yamabe 问题的存在性结果。证明了若边界上存在一点在法向方向上具有负的三阶 Ricci 曲率，则极小化器存在，从而将先前仅限于非脐点情形的结果推广至更一般的情形。

ABSTRACT

We prove some existence results for the fractional Yamabe problem in the case that the boundary manifold is umbilic, thus covering some of the cases not considered by Gonzalez and Qing. These are inspired by the work of Coda-Marques on the boundary Yamabe problem but, in addition, a careful understanding of the behavior at infinity for asymptotically hyperbolic metrics is required.

研究动机与目标

• 将分数阶 Yamabe 问题推广至边界流形为脐点的情形，这一情形在以往工作中尚未被充分覆盖。
• 在边界为脐点且满足曲率条件时，研究共形几何中 γ-Yamabe 泛函极小化器的存在性。
• 分析共形分数阶拉普拉斯算子在渐近双曲度量背景下的渐近行为。
• 建立通过延拓问题涉及的极小化方法实现 γ-Yamabe 常数的条件。
• 证明边界上存在一点满足 $\overline{Ric}_{yy,y} < 0$ 可确保分数阶 Yamabe 问题的可解性。

提出的方法

• 将共形分数阶拉普拉斯算子 $P_{\rho}^{\hat{h}}$ 用作渐近双曲流形上散射问题的 Dirichlet-to-Neumann 算子。
• 应用 Caffarelli-Silvestre 类型延拓，将非局部分数阶问题转化为上半空间中的退化椭圆边值问题。
• 采用基于球面上标准解在边界点 $p$ 附近爆破并经截断函数缩放的测试函数试探解 $V_{\mu}$。
• 利用边界附近度量 $\bar{g}$ 的曲率展开与渐近展开，分析能量泛函 $\bar{I}_{\gamma}[V_{\mu}, \hat{h}]$。
• 计算能量展开中至 $\mu^4$ 阶的主导项，识别出三阶 Ricci 曲率项 $\overline{Ric}_{yy,y}$ 的作用。
• 利用傅里叶分析与贝塞尔函数恒等式，推导出标准解的傅里叶变换显式形式，从而实现精确的渐近估计。

实验结果

研究问题

• RQ1 当边界流形为脐点时，分数阶 Yamabe 问题在何种条件下存在解？
• RQ2 三阶法向 Ricci 曲率 $\overline{Ric}_{yy,y}$ 如何影响 γ-Yamabe 泛函极小化器的存在性？
• RQ3 在以往方法失效的脐点情形下，延拓方法是否可用于证明解的存在性？
• RQ4 在法向方向曲率非零的边界点附近，能量泛函的精确渐近行为如何？
• RQ5 共形分数阶拉普拉斯算子在边界附近度量展开中如何与曲率项相互作用？

主要发现

• 当存在一点 $p \in M$ 满足 $\overline{Ric}_{yy,y}(p) < 0$ 时，γ-Yamabe 常数严格小于标准球面上的取值，意味着极小化器存在。
• 当 $\theta(n,a) > 0$ 且 $n \geq 6$ 时，对足够小的 $\mu > 0$，测试函数 $V_{\mu}$ 的能量满足 $\bar{I}_{\gamma}[V_{\mu}, \hat{h}] < \Lambda_{\gamma}(\mathbb{S}^n, [g_c])$。
• 能量展开中 $\mu^4$ 项的系数与 $-\theta(n,a)\cdot |W|^2(p)$ 成正比，当 $\overline{Ric}_{yy,y}(p) < 0$ 时为负值。
• 当 $n > 5 + 2\gamma$ 时，积分 $\int_{\mathbb{R}^{n+1}_+} y^{a+1} U_1^2 \, dx\,dy$ 有限，从而保证曲率修正项的收敛性。
• 若在某点 $p \in M$ 满足 $\overline{Ric}_{yy,y}(p) < 0$，则能量泛函严格减小，从而保证极小化器的存在。
• 在假设 $\lambda_1(-\Delta_{g^+}) > \frac{n^2}{4} - \gamma^2$ 下结论成立，该条件可排除来自 $L^2$-特征值的谱障碍。