[论文解读] Area-stationary and stable surfaces of class $C^1$ in the sub-Riemannian Heisenberg group ${\mathbb H}^1$

Matteo Galli, Manuel Ritoré|arXiv (Cornell University)|Oct 14, 2014

Geometric Analysis and Curvature Flows参考文献 33被引用 5

一句话总结

本文证明，在次黎曼海森堡群 ℍ¹ 中，任何完备、定向、$C^1$ 的曲面，若同时为面积平稳且稳定，则必为铅垂平面。作者通过推导次黎曼面积的二阶变分公式，表明除非某一曲率项消失，否则非平面曲面将违反稳定性条件，从而得出结论：唯有铅垂平面满足这些条件。该结果为 $C^1$ 函数的内在图提供了类似伯恩斯坦（Bernstein）型的结果。

ABSTRACT

We consider surfaces of class $C^1$ in the $3$-dimensional sub-Riemannian Heisenberg group ${\mathbb H}^1$. Assuming the surface is area-stationary, i.e., a critical point of the sub-Riemannian perimeter under compactly supported variations, we show that its regular part is foliated by horizontal straight lines. In case the surface is complete and oriented, without singular points, and stable, i.e., a second order minimum of perimeter, we prove that the surface must be a vertical plane. This implies the following Bernstein type result: a complete locally area-minimizing intrinsic graph of a $C^1$ function in ${\mathbb H}^1$ is a vertical plane.

研究动机与目标

• 刻画次黎曼海森堡群 ℍ¹ 中 $C^1$ 面积平稳且稳定的曲面。
• 解决 ℍ¹ 中 $C^1$ 函数的内在图的正则性与稳定性性质。
• 将已知的 $C^2$ 曲面结果推广至 $C^1$ 曲面，特别是在类似伯恩斯坦问题的背景下。
• 证明在 ℍ¹ 中，唯一完备、局部面积最小化的 $C^1$ 内在图为铅垂平面。

提出的方法

• 通过单参数变分族与通量公式，推导次黎曼面积的二阶变分公式。
• 引入函数 $v_{ ho}(s) = |p_{ ho}(s)|^{1/2}$，将二阶变分转化为类似薛定谔算子的形式。
• 应用富比尼定理与法图引理，分析在测试函数序列 $u_k(\varepsilon,s) = \phi(\varepsilon)\phi(s/k)$ 下二阶变分的行为。
• 通过反证法假设曲面上 $q > 0$，导出二阶变分为负，从而导致不稳定。
• 利用条件 $q \equiv 0$，通过引理 4.6 推出曲面必为铅垂平面。
• 依赖海森堡群的水平分布结构，以及单位法向量 $N$ 及其水平投影 $N_h$ 的性质。

实验结果

研究问题

• RQ1 在 ℍ¹ 中，$C^1$ 面积平稳曲面的正则部分具有何种结构？
• RQ2 在何种条件下，ℍ¹ 中的 $C^1$ 曲面既是面积平稳又是稳定的？
• RQ3 在 ℍ¹ 中，一个完备、定向的 $C^1$ 内在图是否可能面积最小化但不是铅垂平面？
• RQ4 在 ℍ¹ 中，唯一完备、稳定且面积平稳的 $C^1$ 曲面是否为铅垂平面？
• RQ5 在二阶变分公式中，曲率项 $q$ 对稳定性有何作用？

主要发现

• 任何 ℍ¹ 中 $C^1$ 面积平稳曲面的正则部分，均由水平直线构成叶状结构。
• 若 ℍ¹ 中一个完备、定向的 $C^1$ 曲面稳定且无奇点，则其必为铅垂平面。
• 在 ℍ¹ 中，唯一完备、局部面积最小化的 $C^1$ 函数的内在图为铅垂平面。
• 仅当曲率项 $q$ 在曲面上恒为零时，面积的二阶变分才非负。
• 假设 $q > 0$ 将导致与稳定性的矛盾，从而证明 $q \equiv 0$，故曲面必为铅垂平面。
• 该结果将经典伯恩斯坦问题推广至次黎曼海森堡群 ℍ¹ 中的 $C^1$ 情形。