[论文解读] A notable family of entire intrinsic minimal graphs in the Heisenberg group which are not perimeter minimizing

Donatella Danielli, Nicola Garofalo+1 more|ArXiv.org|Jan 11, 2006

Geometric Analysis and Curvature Flows参考文献 26被引用 6

一句话总结

本文证明，在Heisenberg群 ℍ¹ 中，某些整体内在极小图，特别是形如 x = y(αt + β) 且 α > 0 的图，是水平测度的临界点，但并非局部极小化器，其不稳定性通过二阶变分分析得以揭示。关键贡献在于证明这些非平面的 H-极小曲面是不稳定的，这意味着若能恰当地考虑稳定性，子黎曼Bernstein问题仍可能成立。

ABSTRACT

We prove that a family of entire intrinsic minimal graphs in the Heisenberg group are not perimeter minimizing.

研究动机与目标

• 研究Heisenberg群 ℍ¹ 中整体内在极小图作为最小化水平测度候选者的稳定性。
• 通过构造临界但非极小化的反例，挑战所有具有空特征点集的 H-极小图必为平面的猜想。
• 确立水平测度泛函的二阶变分不稳定性意味着此类图不能是局部或全局极小化器。
• 证明经典欧氏几何直觉——面积泛函的临界点自动稳定——在子黎曼几何中，特别是在 ℍ¹ 中，不成立。
• 基于稳定性分析而非单纯极小性，为子黎曼Bernstein问题建立新方法的基础。

提出的方法

• 作者分析了沿左不变向量场 X₁ 的紧支集形变下水平测度泛函的二阶变分。
• 利用从 ℍ¹ 的内在几何导出的水平测度的一阶和二阶变分公式，计算面积泛函的二阶变分。
• 一个关键技术步骤是构造一族测试函数 fₖ(y) = χₖ(y)/√(1 + (α/2)y²)，其中 χₖ 为光滑截断函数，以检验曲面的稳定性。
• 通过应用Fubini定理并估计涉及二阶变分的积分，他们证明当 k 足够大时，二阶变分为负。
• 证明依赖于涉及 χₖ 及其导数的积分的渐近分析，利用控制收敛定理计算 k → ∞ 时的极限。
• 他们将沿 X₁ 的不稳定性结果推广至沿水平法向 ν_H 的形变，确认了全局非极小性。

实验结果

研究问题

• RQ1 在 ℍ¹ 中，非平面的整体内在极小图是否必为水平测度的全局极小化器？
• RQ2 在 ℍ¹ 中，水平测度泛函的临界点是否可能因二阶变分的不稳定性而无法成为局部极小化器？
• RQ3 子黎曼几何中，水平测度的二阶变分与欧氏情形有何不同？
• RQ4 H-极小图中稳定性的失效在多大程度上影响子黎曼Bernstein问题的有效性？
• RQ5 H-极小曲面的稳定性能否作为表征子黎曼Bernstein问题解的新标准？

主要发现

• 由 x = y(αt + β) 定义的非平面整体内在图，其中 α > 0，是 ℍ¹ 中水平测度的临界点。
• 这些曲面是 H-极小的且具有空特征点集，与欧氏Bernstein猜想的直观推广相矛盾。
• 沿 X₁ 的水平测度二阶变分为负，对紧支集形变成立，证明了不稳定性。
• 通过测试函数 fₖ(y) = χₖ(y)/√(1 + (α/2)y²，当 k 足够大时导致二阶变分为负，从而证明了不稳定性。
• 该结果意味着此类曲面不能是水平测度的局部或全局极小化器。
• 本文确立了稳定性分析在子黎曼Bernstein问题中的关键作用，因为临界点可能并非极小化器。