[论文解读] Nonlocal $s$-minimal surfaces and Lawson cones

Juan Dávila, Manuel del Pino+1 more|arXiv (Cornell University)|Feb 17, 2014

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

一句话总结

该论文首次构造了非平面的非局部 s-极小曲面的非平凡例子，引入了在 s 接近 1 时渐近于锥面的非局部 catenoid 和双曲面，且证明了在七维空间中当 s 较小时 s-极小 Lawson 锥面的存在性与稳定性，挑战了非局部设定下经典的正则性预期。

ABSTRACT

The nonlocal $s$-fractional minimal surface equation for $Σ= \partial E$ where $E$ is an open set in $R^N$ is given by $$ H_Σ^ s (p) := \int_{R^N} \frac {χ_E(x) - χ_{E^c}(x)} {|x-p|^{N+s}}\, dx \ =\ 0 \quad ext{for all } p\in Σ. $$ Here $0

研究动机与目标

• 通过构造平面以外的显式例子，将极小曲面理论扩展至非局部分数阶设定。
• 研究当 s 接近 1 时 R^3 中 s-极小曲面的渐近行为与几何结构。
• 在高维空间中建立 s-极小 Lawson 锥面的存在性与稳定性，特别是针对小 s 的情形。
• 通过表明即使 s 很小，s-极小曲面在七维空间中也可能不光滑，挑战经典正则性理论。
• 为分数阶平均曲率与 s-面积提供严谨框架，将其与变分原理和 Γ-极限联系起来。

提出的方法

• 通过主值积分形式化非局部 s-分数阶平均曲率：H^s_Σ(p) = P.V. ∫_{R^N} (χ_E(x) - χ_{E^c}(x)) / |x - p|^{N+s} dx。
• 通过求解具有渐近锥 |x_3| = r√(1-s) 的非局部 PDE，构造 R^3 中旋转对称的 s-极小曲面一维族，其中 s 接近 1。
• 证明对任意 0 < s < 1 及 n, m ≥ 1，R^n × R^m 中定义为 |v| = α|u| 的 s-极小 Lawson 锥面存在。
• 通过分数阶 Jacobi 算子 J^s_Σ[h] 分析稳定性，计算 s-面积的二阶变分。
• 使用 Hölder 空间中的扰动技术与不动点方法，建立解的 C^{2,α} 正则性。
• 证明非局部 Allen-Cahn 泛函的 Γ-收敛性至 s-面积，将相变模型与非局部极小曲面联系起来。

实验结果

研究问题

• RQ1 当 s 接近 1 时，能否在 R^3 中显式构造出非平凡、嵌入且非平面的 s-极小曲面？
• RQ2 非局部极小曲面在 R^3 中的渐近几何结构如何？与经典 catenoid 有何不同？
• RQ3 对所有 0 < s < 1，s-极小 Lawson 锥面是否存在？其在高维空间中的稳定性行为如何？
• RQ4 经典极小曲面正则性理论在七维空间中失效，这一现象在非局部 s-设定下是否同样成立？
• RQ5 非局部 s-面积如何与经典面积及相变模型相关联？

主要发现

• 非局部 catenoid 被构造为 R^3 中连通、嵌入且旋转对称的 s-极小曲面，当 s 接近 1 时渐近于锥面 |x_3| = r√(1-s)。
• 发现了一种双曲面、嵌入的 s-极小曲面，渐近于同一锥面，类似于两片平行平面。
• 对任意 0 < s < 1 及 n, m ≥ 1，证明了 R^n × R^m 中定义为 |v| = α|u| 的 s-极小 Lawson 锥面存在。
• 当 s 较小且 n + m = 7 时，s-极小 Lawson 锥面被证明是稳定的，与经典预期相矛盾。
• 显式计算了分数阶 Jacobi 算子 J^s_Σ[h]，使得可通过 s-面积的二阶变分进行稳定性分析。
• 证明当 s → 1 时，s-面积 Is(E) 的 Γ-收敛性至经典面积，且 (1−s)Is(E,Ω) → c_N H^{N−1}(Σ ∩ Ω)。