[论文解读] Fractional Perimeter and Nonlocal Minimal Surfaces

Luca Lombardini|arXiv (Cornell University)|Aug 25, 2015

Nonlinear Partial Differential Equations参考文献 24被引用 5

一句话总结

本论文建立了分数阶 s-周长与非局部极小曲面的基础理论，通过分数阶平均曲率方程的粘性解方法，证明了 s-极小集的存在性与正则性。研究表明，s-极小集满足一种以粘性形式表述的欧拉-拉格朗日方程，并在平坦性条件下表现出 Hölder 正则性（C^{1,α}），通过一致密度估计与扰动技术，将经典的 De Giorgi 型正则性结果推广至非局部设定。

ABSTRACT

This Master's thesis presents a study of the basic properties of the s-fractional perimeter and of the regularity theory of the corresponding s-minimal sets. In particular, we give full detailed proofs for all the Theorems contained in the article "Nonlocal Minimal Surfaces" by Caffarelli, Roquejoffre and Savin, where these s-minimal sets were introduced and studied for the first time.

研究动机与目标

• 发展分数阶 s-周长的理论，作为经典周长在非局部设定下的推广。
• 通过变分法的直接法，建立 s-极小集的存在性。
• 证明 s-极小集满足涉及 s-分数阶平均曲率的粘性形式欧拉-拉格朗日方程。
• 研究 s-极小集边界在平坦性假设下的正则性。
• 通过一致密度估计与平坦性改进技术，将经典的 De Giorgi 型正则性结果推广至非局部设定。

提出的方法

• 使用 Gagliardo 半范数定义分数阶 s-周长：$ P_s(E, \Omega) = \frac{1}{2} \left( [\chi_E]_{W^{s,1}(\mathbb{R}^n)} - [\chi_E]_{W^{s,1}(C\Omega)} \right) $。
• 利用分数阶 Sobolev 紧致性与 Fatou 引理，通过变分法的直接法，证明在给定外部数据下 s-极小集的存在性。
• 为 s-极小集建立一致密度估计，以确保极小化序列的局部一致收敛性与清晰的球条件。
• 证明在粘性意义下的欧拉-拉格朗日方程：在存在内切球的点处，$ \limsup_{\delta \to 0} I^s_\delta[E](x) \leq 0 $。
• 采用受 De Giorgi 启发的平坦性改进技术，表明若 $ \partial E \cap B_1 \subset \{ |x_n| \leq \epsilon_0 \} $，则 $ \partial E \cap B_{1/2} $ 为 $ C^{1,\alpha} $，其中 $ \alpha < s $。
• 利用带符号距离函数与管状邻域理论，将 $ \bar{d}_E $ 的正则性与边界光滑性关联，借助常秩定理与 Dini 的隐函数定理。

实验结果

研究问题

• RQ1 在非局部设定下，分数阶 s-周长如何推广经典周长？
• RQ2 在何种条件下，对于给定的外部数据，s-极小集存在？
• RQ3 s-极小集的欧拉-拉格朗日方程的正确表述是什么？它在何种意义下成立？
• RQ4 在平坦性假设下，能否证明 s-极小集边界的正则性？
• RQ5 经典正则性技术（如平坦性改进）在分数阶 s-周长框架下在多大程度上可被推广？

主要发现

• 即使 $ \partial E $ 的 Hausdorff 维数超过 $ n-1 $，分数阶 s-周长仍为良好定义且有限，表明其为周长的非局部推广。
• 对于任意开集 $ \Omega $ 与固定的外部数据 $ E_0 \setminus \Omega $，在 $ \Omega $ 中存在一个 s-极小集 $ E $，其在所有满足 $ F \setminus \Omega = E_0 \setminus \Omega $ 的集合 $ F $ 中最小化 $ P_s(F, \Omega) $。
• s-极小集在存在内切球的点处，满足粘性意义下的欧拉-拉格朗日方程 $ \limsup_{\delta \to 0} I^s_\delta[E](x) \leq 0 $。
• 在任意点附近，若集合足够平坦，即当 $ \partial E \cap B_1 \subset \{ |x_n| \leq \epsilon_0 \} $ 且 $ \epsilon_0 = \epsilon_0(n,s,\alpha) $ 足够小时，s-极小集的边界为 $ C^{1,\alpha} $。
• 对于 $ C^2 $-正则集合，分数阶平均曲率 $ I_s[E](x) $ 是分数阶周长的一阶变分，确认其与经典变分法的一致性。
• 在 $ \partial E $ 的管状邻域内，带符号距离函数 $ \bar{d}_E $ 的正则性等价于 $ \partial E $ 的 $ C^k $ 光滑性，且 $ \bar{d}_E \in C^k $ 意味着 $ \partial E $ 是 $ C^k $ 超曲面。