[论文解读] Nonlocal minimal surfaces: Interior regularity, quantitative estimates and boundary stickiness

Serena Dipierro, Enrico Valdinoci|arXiv (Cornell University)|Jan 1, 2016

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

一句话总结

本文建立了通过涉及长程相互作用的分数阶周长泛函定义的非局部极小曲面的内部正则性与定量估计。证明了在特定条件下，此类曲面表现出边界黏附性——即它们会紧贴区域边界——从而解决了非局部几何分析中一个令人惊讶的刚性现象。

ABSTRACT

We consider surfaces which minimize a nonlocal perimeter functional and we discuss their interior regularity and rigidity properties, in a quantitative and qualitative way, and their (perhaps rather surprising) boundary behavior. We present at least a sketch of the proofs of these results, in a way that aims to be as elementary and self contained as possible, referring to the papers [CRS10, SV13, CV13, BFV14, FV, DSV15, CSV16] for full details.

研究动机与目标

• 建立由涉及长程相互作用的分数阶周长泛函定义的非局部极小曲面的存在性与正则性。
• 研究非局部极小曲面的边界行为，特别是边界黏附现象。
• 推导非局部极小集在区域内部的正则性的定量估计。
• 证明非局部极小图不可能具有水平法向量，从而对其形状施加严格的几何约束。
• 以自包含、初等的方式处理关键结果，同时在文献中引用更深层次的技术证明。

提出的方法

• 通过形如 $ I(E, E^c) = \iint_{E \times E^c} \frac{dx\,dy}{|x-y|^{n+2s}} $ 的加权积分定义非局部周长，其中 $ s \in (0, 1/2) $，以模拟长程相互作用。
• 利用散度定理与向量场论证，将非局部周长表示为边界上法向量变化的函数：$ \text{Per}_s(E, \mathbb{R}^n) = \frac{1}{4s(n+2s-2)} \iint_{\partial E \times \partial E} \frac{2 - |\nu(x) - \nu(y)|^2}{|x-y|^{n+2s-2}} \, dH^{n-1}(x)\,dH^{n-1}(y) $。
• 应用法向变形论证，比较法向与竖直平移下的非局部平均曲率，表明大小为 $ \varepsilon \nu_n $ 的法向变形对应于竖直平移，误差不超过 $ O(\varepsilon^2) $。
• 通过爆破论证与边界附近的渐近分析，计算非局部平均曲率差商的极限，从而导出涉及法向量的积分表示。
• 通过反证法证明边界黏附性：若某点处法向为水平，则非局部平均曲率将恒为零，与图的假设矛盾。
• 利用非局部平均曲率公式与平移不变性，证明 $ H^s_E(\bar{x}) = 0 $ 蕴含 $ \nu_n(y) \equiv 0 $，而这对非平坦图而言是不可能的。

实验结果

研究问题

• RQ1 在何种条件下非局部极小曲面表现出内部正则性，且该正则性如何依赖于分数阶参数 $ s $？
• RQ2 为何非局部极小曲面倾向于黏附于区域边界，其背后的几何机制是什么？
• RQ3 非局部极小图是否可能在边界上某点具有水平法向量？
• RQ4 当 $ s \to 1/2 $ 时，非局部平均曲率如何与经典平均曲率关联？
• RQ5 可为非局部极小集在区域内部的正则性推导出哪些定量估计？

主要发现

• 对于任意 $ s \in (0,1/2) $，非局部极小曲面在区域内部具有 $ C^{2,\alpha} $ 正则性，且随着 $ s \to 1/2 $，正则性提高。
• 边界黏附现象已得证明：若 $ E $ 为非局部极小集且在某边界点满足 $ \nu_n = 0 $，则必有 $ \nu_n \equiv 0 $，意味着 $ E $ 为竖直半空间，除非平坦，否则与图的假设矛盾。
• 非局部极小图不可能具有水平法向量：若 $ \nu_n(\bar{x}) = 0 $，则 $ \nu_n \equiv 0 $，故图必为竖直超平面，违反图的条件。
• 在点 $ \bar{x} \in \partial E $ 处，非局部平均曲率满足 $ \lim_{\varepsilon \to 0} \frac{1}{2\varepsilon} \left( H^s_E(\bar{x}) - H^s_{E^*_\varepsilon}(\bar{x}) \right) = \int_{\Sigma} \frac{\eta(y) - \kappa \cdot \nu(y)}{|\bar{x} - y|^{n+2s}} \, dH^{n-1}(y) $，其中 $ \eta $ 为形变向量场。
• 通过附录 A 中的尺度变换与渐近分析可知，当 $ s \to 1/2 $ 时，非局部周长泛函恢复为经典周长。
• 非局部平均曲率在某点为零当且仅当曲面为半空间，这是由非局部相互作用与法向量约束所诱导的刚性性质所致。