[论文解读] Solutions of the Allen-Cahn equation on closed manifolds in the presence of symmetry

Rayssa Caju, Pedro Dinis Gaspar|arXiv (Cornell University)|Jun 13, 2019

Nonlinear Partial Differential Equations被引用 5

一句话总结

该论文在紧致黎曼流形上建立了小参数 ε > 0 时 Allen-Cahn 方程解的存在性，其零点集收敛于一个极小超曲面 Γ，前提是 Γ 的所有 Jacobi 场均由环境等距变换生成。该结果通过使用考虑 Killing-Jacobi 场的 Lyapunov-Schmidt 降维方法，将 Pacard 与 Ritoré 的工作推广至对称且非退化的设定，确保能量收敛至 Γ 面积的一半，且解的 Morse 指数与零度与 Γ 的 Jacobi 算子完全匹配。

ABSTRACT

We prove that given a minimal hypersurface $Γ$ in a compact Riemannian manifold $M$ without boundary, if all the Jacobi fields of $Γ$ are generated by ambient isometries, then we can find solutions of the Allen-Cahn equation $-\varepsilon^2Δu +W'(u)=0$ on $M$, for sufficiently small $\varepsilon>0$, whose nodal sets converge to $Γ$. This extends the results of Pacard-Ritoré (in the case of closed manifolds and zero mean curvature).

研究动机与目标

• 将 Allen-Cahn 解的构造从非退化情形推广至零点集收敛于极小超曲面 Γ 的情形。
• 处理 Jacobi 算子 JΓ 的核非平凡的情形，特别是当其由来自环境等距变换的 Killing-Jacobi 场张成时。
• 建立解的能量、Morse 指数与零度收敛于 Γ 的几何不变量。
• 证明结果在 Γ 附近解析度量及其 C^{1,α} 逼近下成立，且满足对称性假设。

提出的方法

• 在对称性约束下，采用 Lyapunov-Schmidt 降维框架求解 Allen-Cahn 方程。
• 将 Jacobi 算子 JΓ 的核表征为 Killing 向量场的法向分量，即 Killing-Jacobi 场。
• 在 Γ 附近使用 Fermi 坐标系参数化解，并将问题约化为有限维分岔分析。
• 在加权 Hölder 空间中应用不动点方法求解约化问题，利用对称性控制线性化算子。
• 确保 ε₀ 的充分小性仅依赖于 Γ 外度量及其扰动的几何控制。
• 利用 Nomizu 定理将局部 Killing 场延拓为单连通解析流形上的全局场，保持核结构不变。

实验结果

研究问题

• RQ1 当极小超曲面 Γ 具有非平凡的 Jacobi 场且非来自环境等距变换时，能否构造 Allen-Cahn 方程的解？
• RQ2 在紧致流形中，Allen-Cahn 方程解的零点集在何种条件下收敛于极小超曲面 Γ？
• RQ3 当 Γ 具有对称性时，解的 Morse 指数与零度如何与 Jacobi 算子 JΓ 的谱性质相关联？
• RQ4 该构造能否推广至解析度量的扰动，特别是接近 S^{n+1} 上标准度量的扰动？
• RQ5 在对称性假设下，能量 Eε(uε) 在 ε → 0 时的渐近行为如何？

主要发现

• 对任意 ε ∈ (0, ε₀)，存在 Allen-Cahn 方程的解 uε，其零点集收敛于极小超曲面 Γ。
• 当 ε → 0 时，能量 Eε(uε) 收敛于 (1/(2σ)) · Area(Γ)，其中 σ > 0 仅依赖于双阱势 W。
• 解 uε 的 Morse 指数 m(uε) 等于 Jacobi 算子 JΓ 的指标 ind(JΓ)，零度 n(uε) 等于 null(JΓ)。
• 对于在 Γ 的邻域外有紧支集的 C^{1,α} 度量扰动，解存在。
• 在单连通实解析流形上，若度量 g̃ 在 Γ 附近与 g 一致，则解存在，这是由于局部 Killing 场可延拓为全局场。
• 通过将非退化性条件替换为 ker(JΓ) 由 Killing-Jacobi 场张成的条件，该构造将 Pacard-Ritoré 的结果推广至对称且退化的设定。