[论文解读] Stable $s$-minimal cones in $\mathbb{R}^3$ are flat for $s\sim 1$

Xavier Cabré, Eleonora Cinti+1 more|arXiv (Cornell University)|Oct 24, 2017

Nonlinear Partial Differential Equations参考文献 11被引用 3

一句话总结

本文证明了在 $ℝ^3$ 中，当 $s$ 充分接近 1 时，唯一稳定的 $s$-极小锥面是半空间，首次在高于二维的维度中实现了对稳定非局部极小锥面的分类。证明依赖于一个涉及非局部第二基本形式的几何第二变分公式以及精确的 BV 估计，通过提供 $s$ 接近 1 时的显式定量界限，避免了从 $s=1$ 借用紧致性论证。

ABSTRACT

We prove that half spaces are the only stable nonlocal $s$-minimal cones in $\mathbb{R}^3$, for $s\in(0,1)$ sufficiently close to $1$. This is the first classification result of stable $s$-minimal cones in dimension higher than two. Its proof can not rely on a compactness argument perturbing from $s=1$. In fact, our proof gives a quantifiable value for the required closeness of $s$ to $1$. We use the geometric formula for the second variation of the fractional $s$-perimeter, which involves a squared nonlocal second fundamental form, as well as the recent BV estimates for stable nonlocal minimal sets.

研究动机与目标

• 对 $ℝ^3$ 中 $s$ 接近 1 的稳定 $s$-极小锥面进行分类，将已知的 $s=1$ 和 $n=2$ 情况的结果推广至更高维度。
• 克服非局部设定下紧致性论证的失效问题：当 $s_k \uparrow 1$ 时，稳定锥面序列可能因 $S^2$ 上周长无界增长而无法收敛。
• 建立 $s$ 接近 1 时的定量阈值，使得仅半空间是稳定的，提供一种不依赖经典情形的非微扰性证明。
• 应用最近关于稳定非局部极小集的精确 BV 与能量估计，以控制 $s$-极小锥面边界几何结构。

提出的方法

• 使用涉及平方非局部第二基本形式的分数阶 $s$-周长几何第二变分公式，分析 $s$-极小锥面的稳定性。
• 应用稳定非局部极小集的精确 $BV$ 与能量估计，以控制 $\Sigma$ 边界的总变差与正则性。
• 分析 $\partial\Sigma$ 在单位球面 $S^2$ 上的迹，将其分解为有限条 $C^1$ 曲线 $\gamma_i$，长度为 $L_i$，并利用第二变分公式推导出一个关键不等式，涉及法向量差与核 $k_s(\hat{x},\hat{y}) = |\hat{x}-\hat{y}|^{-2-s}$。
• 通过反证法假设迹中存在多于一条曲线：若 $J>1$，则对不同曲线对上加权积分 $|\nu_\Sigma(\hat{x}) - \nu_\Sigma(\hat{y})|^2 k_s(\hat{x},\hat{y})$ 的总和将导致一个下界，该下界与 $s$ 接近 1 时的 $C^1$ 正则性及与大圆的 $C^{1/4}$ 接近性矛盾。
• 采用叶状结构论证与粘性解理论，证明若边界为利普希茨图，则其必为光滑曲面，从而为平面，意味着 $\Sigma$ 为半空间。
• 通过改进的 $L^2$-型估计与非局部核，在存在多条曲线时导出矛盾，尤其在曲线彼此接近且具有相反或相同方向时更为显著。

实验结果

研究问题

• RQ1 当 $s$ 充分接近 1 时，$\mathbb{R}^3$ 中的半空间是否是唯一稳定的 $s$-极小锥面，超越经典 $s=1$ 的情形？
• RQ2 能否在不依赖 $s=1$ 极限下紧致性论证的前提下，实现 $\mathbb{R}^3$ 中稳定 $s$-极小锥面的分类？
• RQ3 在 $s$ 接近 1 时，确保 $\mathbb{R}^3$ 中稳定 $s$-极小锥面为平面的定量阈值是什么？
• RQ4 涉及非局部第二基本形式的非局部第二变分公式，如何约束 $s$-极小锥面的几何结构？
• RQ5 能否利用稳定非局部极小集的精确 $BV$ 估计，排除 $\mathbb{R}^3$ 中非平面构型的存在？

主要发现

• 当 $s$ 充分接近 1 时，$\mathbb{R}^3$ 中唯一稳定的 $s$-极小锥面是半空间，首次在维度 $n > 2$ 中实现分类。
• 对 $s$ 接近 1 的程度有明确量化要求：证明给出了一个通用常数 $C$，使得若 $s > 1 - \delta$，其中 $\delta > 0$ 依赖于 $C$，则仅半空间是稳定的。
• 该证明不依赖于从 $s=1$ 借用的紧致性论证，因为当 $s_k \uparrow 1$ 时，稳定锥面序列可能因 $S^2$ 上周长无界增长而无法预紧。
• 对 $s$-周长的第二变分公式涉及平方非局部第二基本形式，这是分析的核心，当球面迹中存在多条曲线时将导致矛盾。
• 若锥面边界的图形为利普希茨函数，则其为 $C^\infty$，因而为超平面，意味着锥面为半空间。
• 假设球面迹中存在多条曲线时将导致矛盾：无论曲线方向相反，或存在第三条曲线夹在中间，都会导致第二变分的下界违反 $s$ 接近 1 时的稳定性不等式。