[论文解读] Global minimizers of the Allen-Cahn equation in dimension $n\geq 8$

Yong Liu, Kelei Wang+1 more|arXiv (Cornell University)|Jun 16, 2016

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

一句话总结

本文在维度 $ n \geq 8 $ 时建立了 Allen-Cahn 方程非平凡全局极小解的存在性，具体针对 $ n = i+j $ 且满足 $ i+j \geq 9 $ 或 $ i+j=8 $ 且 $ |i-j| \leq 4 $ 的情形，通过 $ O(i)\times O(j) $ 对称解实现，这些解渐近趋近于 Lawson 的锥。其主要贡献在于证明了此类极小解的存在性，从而解决了长期存在的、将极小曲面理论与相变模型相联系的猜想。

ABSTRACT

We prove the existence of global minimizers of Allen-Cahn equation in dimensions $8$ and above. More precisely, given any strictly area-minimizing Lawson's cones, there are global minimizers whose nodal sets are asymptotic to the cones. As a consequence of Jerison-Monneau's program we establish the existence of many counter-examples to the De Giorgi's conjecture different from the Bombierie-De Giorgi-Giusti minimal graph.

研究动机与目标

• 解决长期存在的猜想：即 Allen-Cahn 方程在维度 $ n=8 $ 及以上存在全局极小解，且不局限于一维解。
• 在 $ \mathbb{R}^{i+j} $ 中建立 $ O(i)\times O(j) $ 对称全局极小解的存在性，其中 $ i+j \geq 9 $ 或 $ i+j=8 $ 且 $ |i-j| \leq 4 $。
• 证明这些极小解的节点集渐近收敛于 Lawson 锥 $ C_{i,j} $，从而扩展了与极小曲面理论的类比。
• 通过子解与超解方法以及渐近分析，构建一个构造性框架，以证明此类极小解的存在性，其基础建立在 Simons 锥相关结果之上。

提出的方法

• 构造了一族单参数的子解与超解 $ U_{\lambda}^{\pm} $，在渐近极小曲面附近的 Fermi 坐标系中形成一个层状结构。
• 采用 Lyapunov-Schmidt 降阶框架，分析在曲率与低阶项存在下，异宿解 $ H(x) = \tanh(x/\sqrt{2}) $ 的扰动。
• 使用相对于渐近于 $ C_{i,j} $ 的极小超曲面的 Fermi 坐标 $ (l,t) $，其中 $ t $ 表示到曲面的距离，$ l $ 沿法线方向。
• 在膨胀区域 $ \Omega_d $ 上施加 Dirichlet 边界条件，将极小解夹在 $ U_{\lambda^*}^+ $ 与 $ U_{\lambda^*}^- $ 之间，并取 $ d \to \infty $ 的极限。
• 分析近似解 $ \bar{H}(t-h) $ 的误差，将其投影到核 $ \bar{H}' $ 上，证明 $ J(h^*) = O(l^{-5}) $，从而确保线性化问题的可解性。
• 应用精细的渐近分析，表明节点集的行为为 $ s = \sqrt{2}r + \frac{c_0}{\sqrt{3}}r^{-1} $，其中 $ c_0 $ 由曲率项决定。

实验结果

研究问题

• RQ1 在维度 $ n=8 $ 时，Allen-Cahn 方程是否存在非一维的全局极小解？
• RQ2 当 $ i+j \geq 9 $ 或 $ i+j=8 $ 且 $ |i-j| \leq 4 $ 时，能否在 $ \mathbb{R}^{i+j} $ 中构造出 $ O(i)\times O(j) $ 对称解作为全局极小解？
• RQ3 这些极小解的节点集如何渐近演化？它们是否收敛于 Lawson 锥 $ C_{i,j} $？
• RQ4 能否通过渐近区域中的子解与超解方法证明此类极小解的存在性？
• RQ5 节点集的精确渐近展开是什么？曲率如何影响解的形态？

主要发现

• 本文证明了在 $ \mathbb{R}^{i+j} $ 中，当 $ i+j \geq 9 $ 或 $ i+j=8 $ 且 $ |i-j| \leq 4 $ 时，Allen-Cahn 方程存在非平凡全局极小解，这些解非一维且具有 $ O(i)\times O(j) $ 对称性。
• 这些极小解的节点集在无穷远处收敛于 Lawson 锥 $ C_{i,j} $，其渐近行为为 $ s = \sqrt{2}r + \frac{c_0}{\sqrt{3}}r^{-1} $，其中 $ c_0 $ 为依赖于曲率的常数。
• 该构造依赖于子解与超解 $ U_{\lambda}^{\pm} $ 的层状结构，其间距由 $ \lambda $ 控制，从而通过变分方法确保解的存在性。
• 近似解 $ \bar{H}(t-h) $ 的误差被证明为 $ O(l^{-5}) $，该精度足以求解线性化问题并证明极小解的存在性。
• 解的渐近形态被进一步细化，引入了 $ O(r^{-3}) $ 的修正项，表示为 $ \eta_2(t)A_3 $，其中 $ \eta_2 $ 满足一个涉及异宿轮廓二阶导数的特定常微分方程。
• 结果确认了在 $ \mathbb{R}^8 $ 中非平凡全局极小解的存在性，支持了极小曲面理论与高维相变模型之间猜想的联系。