[论文解读] Entire Solutions of the Allen-Cahn equation and Complete Embedded Minimal Surfaces of Finite Total Curvature in $\R^3$

Manuel del Pino, Michał Kowalczyk+1 more|ArXiv.org|Feb 12, 2009

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

一句话总结

该论文通过将有限总曲率的完备嵌入极小曲面（具有 $ m \geq 2 $ 个端）附近的近似解粘合起来，构造了 $ \mathbb{R}^3 $ 中 Allen-Cahn 方程的有界、整函数解，且其 Morse 指数有限。证明了存在 $ m-1 $ 个非刚性、依赖参数的解，其水平集逼近于缩放后的极小曲面 $ M_\alpha = \alpha^{-1}M $，并表明这些解在 $ L^\infty $ 意义下关于刚性变换是非退化的，且其 Morse 指数等于对应极小曲面的 Morse 指数，从而在极小曲面几何与相变解之间建立了强关联。

ABSTRACT

We consider minimal surfaces $M$ which are complete, embedded and have finite total curvature in $\R^3$, and bounded, entire solutions with finite Morse index of the Allen-Cahn equation $Δu + f(u) = 0 \hbox{in} \R^3 $. Here $f=-W'$ with $W$ bistable and balanced, for instance $W(u) =\frac 14 (1-u^2)^2$. We assume that $M$ has $m\ge 2$ ends, and additionally that $M$ is non-degenerate, in the sense that its bounded Jacobi fields are all originated from rigid motions (this is known for instance for a Catenoid and for the Costa-Hoffman-Meeks surface of any genus). We prove that for any small $α>0$, the Allen-Cahn equation has a family of bounded solutions depending on $m-1$ parameters distinct from rigid motions, whose level sets are embedded surfaces lying close to the blown-up surface $M_α:= α^{-1} M$, with ends possibly diverging logarithmically from $M_\A$. We prove that these solutions are $L^\infty$-{\em non-degenerate} up to rigid motions, and find that their Morse index coincides with the index of the minimal surface. Our construction suggests parallels of De Giorgi conjecture for general bounded solutions of finite Morse index.

研究动机与目标

• 建立 $ \mathbb{R}^3 $ 中有界、整函数的 Allen-Cahn 方程解（有限 Morse 指数）与完备、嵌入、有限总曲率极小曲面之间的对应关系。
• 构造 Allen-Cahn 方程的一族单参数解，使其在小 $ \alpha > 0 $ 时逼近缩放后的极小曲面 $ M_\alpha = \alpha^{-1}M $，且有 $ m-1 $ 个参数独立于刚性运动。
• 证明所构造的解在刚性运动下为 $ L^\infty $-非退化，且其 Morse 指数等于底层极小曲面 $ M $ 的 Morse 指数。
• 探讨 De Giorgi 猜想与高维中 Allen-Cahn 方程有限 Morse 指数解之间的类比关系。

提出的方法

• 使用粘合构造在缩放后的极小曲面 $ M_\alpha = \alpha^{-1}M $ 附近构造 Allen-Cahn 方程的解，利用极小曲面的局部几何与渐近行为。
• 基于极小曲面的 Jacobi 算子进行一阶近似，随后通过迭代方法改进近似精度。
• 通过将非线性问题投影到线性化算子的核上，将其约化为有限维粘合系统，并利用压缩映射法求解投影问题。
• 使用加权 Sobolev 与 $ L^\infty $ 估计控制不同区域（曲面附近、端部区域、远场区域）中的误差项。
• 分析近似解附近的线性化算子，通过压缩映射法证明先验估计与解的存在性。
• 研究极小曲面端部处对数增长的 Jacobi 场，以理解线性化算子的核结构，并确保解的非退化性。

实验结果

研究问题

• RQ1 能否在 $ \mathbb{R}^3 $ 中完备、嵌入、有限总曲率的极小曲面附近构造有界、整函数的 Allen-Cahn 方程解，且其 Morse 指数有限？
• RQ2 此类解的解空间维数是多少？其与极小曲面端点数之间有何关系？
• RQ3 所构造的解在刚性运动下是否为 $ L^\infty $-非退化？其 Morse 指数是否与底层极小曲面一致？
• RQ4 解的水平集在渐近行为上如何表现，特别是与极小曲面端部的关系如何？
• RQ5 端部处 Jacobi 场的对数增长在决定解空间结构中起何作用？

主要发现

• 对任意小的 $ \alpha > 0 $，Allen-Cahn 方程存在一族依赖于 $ m-1 $ 个参数（模刚性运动）的有界、整函数解，其水平集为与 $ M_\alpha = \alpha^{-1}M $ 接近的嵌入曲面，端部可能以对数方式发散。
• 所构造的解在刚性运动下为 $ L^\infty $-非退化，即除由刚性运动产生的非平凡有界 Jacobi 场外，不存在其他非平凡有界 Jacobi 场。
• 所构造解的 Morse 指数恰好等于极小曲面 $ M $ 的 Morse 指数，建立了两者之间的精确对应关系。
• 在远离端部的区域，解在 $ C^2 $ 拓扑下渐近逼近于极小曲面 $ M_\alpha $，且非线性方程中的误差项受控。
• 解的存在性依赖于极小曲面的几何性质：构造依赖于 $ M $ 的非退化性（即有界 Jacobi 场仅来自刚性运动），该性质对如双曲面与 Costa-Hoffman-Meeks 曲面等曲面成立。
• 分析表明，端部处对数增长的 Jacobi 场在线性化算子的核中起关键作用，其存在性对 $ m-1 $ 个参数族解的存在性至关重要。