[论文解读] Stable complete embedded minimal surfaces in $\mathbb H^1$ with empty characteristic locus are vertical planes

Donatella Danielli, Nicola Garofalo+2 more|ArXiv.org|Mar 25, 2009

Geometric Analysis and Curvature Flows参考文献 20被引用 4

一句话总结

该论文证明，在第一海森堡群 $ℂ^1$ 中，任何具有空特征点集的 $C^2$ 完整个面极小曲面，若其为完整嵌入曲面，则必为垂直平面。证明依赖于从非平面极小曲面构造内在图带，并应用第二变分公式以证明其不稳定性，从而排除非平面情形。关键贡献在于建立了稳定极小曲面的子黎曼版经典伯恩斯坦定理。

ABSTRACT

In the recent paper \cite{DGNP} we have proved that the only stable $C^2$ minimal surfaces in the first Heisenberg group $\Hn$ which are graphs over some plane and have empty characteristic locus must be vertical planes. This result represents a sub-Riemannian version of the celebrated theorem of Bernstein. In this paper we extend the result in \cite{DGNP} to $C^2$ complete embedded minimal surfaces in $\mathbb H^1$ with empty characteristic locus. We prove that every such a surface without boundary must be a vertical plane.

研究动机与目标

• 将子黎曼伯恩斯坦定理扩展至 $ℂ^1$ 中完整嵌入极小曲面，超越对 $xy$-平面的图表示。
• 证明在 $ℂ^1$ 中，唯一稳定、完整、嵌入的 $H$-极小曲面且特征点集为空的曲面为垂直平面。
• 建立非平面、稳定、完整、嵌入的 $H$-极小曲面在非特征条件下的不存在性。
• 通过第二变分分析证明，任何非平面、完整、嵌入的 $H$-极小曲面在 $ℂ^1$ 中必为不稳定。

提出的方法

• 基于曲面的内在几何，通过映射 $π$ 将 $ℝ \times J$ 映射到 $ℂ^1$，构造曲面上某点邻域的参数化。
• 通过映射 $ψ(u,v) = F(s) + uG(s)$ 定义内在图带，其中 $s = s(u,v)$ 由微分同胚 $Ψ$ 的逆导出，确保曲面在局部可表示为对垂直平面的图。
• 在子黎曼设定下应用面积泛函的第二变分公式，以分析曲面的稳定性。
• 利用 $v(u,s)$ 关于 $s$ 的单调性及映射 $Ψ$ 的可逆性，确保图表示的正则性与良定义性。
• 证明任何非垂直平面的曲面必包含一个区域可表示为内在图，从而可应用稳定性判据。
• 通过显示此类非平面曲面将违反稳定性（基于第二变分公式及函数 $F, G, \sigma, \Psi$ 的结构）导出矛盾。

实验结果

研究问题

• RQ1 在 $ℂ^1$ 中，是否存在具有空特征点集的非平面、完整、嵌入的 $H$-极小曲面？
• RQ2 在子黎曼设定下，稳定性条件是否足以迫使此类曲面为平面？
• RQ3 特征点集在 $ℂ^1$ 中非平面极小图的存在性中起何种结构性作用？
• RQ4 在 $ℂ^1$ 中，非平面内在图上的面积泛函第二变分行为如何？
• RQ5 是否每个非平面、完整、嵌入的 $H$-极小曲面在 $ℂ^1$ 中都可局部表示为对垂直平面的内在图？

主要发现

• 在 $ℂ^1$ 中，任何 $C^2$ 完整个面 $H$-极小曲面，若其特征点集为空且非垂直平面，则必包含一个对垂直平面的内在图带。
• 此类图带的存在意味着不稳定性，如第二变分公式所示，与稳定性假设矛盾。
• 若曲面为非平面且非特征，则其无法稳定，原因在于符号条件 $F'(s)^2 - 2\sigma'(s)G'(s) < 0$ 及由此导致的非极小化行为。
• 映射 $\Psi: \mathbb{R} \times J \to \mathbb{R}^2$ 是其像上的微分同胚，确保图表示的正则性与可逆性。
• 内在图参数化 $\Phi(u,v)$ 将曲面恢复为海森堡群中某条曲线的左左平移，确认其几何结构。
• 在 $ℂ^1$ 中，唯一具有空特征点集的稳定、完整、嵌入 $H$-极小曲面为垂直平面，从而确立了经典伯恩斯坦定理的子黎曼类比。