[论文解读] A proof by calibration of an isoperimetric inequality in the Heisenberg group H^n

Manuel Ritoré|arXiv (Cornell University)|Mar 9, 2008

Geometric Analysis and Curvature Flows参考文献 9被引用 10

一句话总结

本文证明，在海森伯群 ℍⁿ 中，任意位于水平圆盘 D 及其竖直柱面 C 之间的有限变差集 E，其周长至少不小于等体积的旋转对称球面的周长，且仅当 E 为该类球面时取等。通过在半球面叶状结构上使用标定技术，证明在这些几何约束下满足等周不等式，从而在一类受限集合中证实了庞苏的猜想。

ABSTRACT

Let $D$ be a closed disk centered at the origin in the horizontal hyperplane $\{t=0\}$ of the sub-Riemannian Heisenberg group $\hh^n$, and $C$ the vertical cylinder over $D$. We prove that any finite perimeter set $E$ such that $D\subset E\subset C$ has perimeter larger than or equal to the one of the rotationally symmetric sphere with constant mean curvature of the same volume, and that equality holds only for the spheres using a recent result by Monti and Vittone [12].

研究动机与目标

• 证明在海森伯群 ℍⁿ 中，满足 D ⊂ E ⊂ C 的集合 E 满足一个精确的等周不等式。
• 确立唯一使等号成立的集合为常平均曲率的旋转对称球面。
• 通过标定方法而非对称化，推广此前关于 ℍⁿ 中等周区域的结果。
• 对满足 D ⊂ E ⊂ C 的有限变差集类中，给出等周区域的刻画。
• 利用近期关于 ℍⁿ 中有限变差集边界正则性的结果，得出最小化集的唯一性。

提出的方法

• 通过 ℍⁿ 中球面 Sλ 的上半球面和下半球面的竖直平移，构造柱面 C 的两个叶状结构。
• 在 C∖L 上定义水平向量场 X 和 Y，作为叶状结构叶面的单位法向量，其中 L 为球面的奇点集。
• 应用标定技术，通过在 ∂*E ∩ {t > 0} 和 ∂*E ∩ {t < 0} 上对向量场进行积分，推导出 E 周长的下界。
• 利用恒等式 ∫_∂*E ν_H · X d|∂E| ≥ ∫_∂B_λ X · ν_H d|∂B_λ| 比较 E 与球体 B_λ，等号成立当且仅当在 ∂E ∩ {t > 0} 几乎处处有 ν_H = X。
• 结合双侧估计，得到 |∂E| ≥ |∂B_λ| + nλ(|E| − |B_λ|)，利用泛函 f(ρ) = |∂B_ρ| − nρ|B_ρ| + nρ|E| 的严格凸性。
• 利用 f(ρ) 的最小化集唯一性及蒙蒂与维通的正则性结果，得出等号成立意味着 E = B_μ 且 |B_μ| = |E|。

实验结果

研究问题

• RQ1 在 ℍⁿ 中，对于满足 D ⊂ E ⊂ C 的有限变差集 E（其中 D 是水平面 t=0 上的圆盘，C 是其竖直柱面），等周不等式是否成立？
• RQ2 能否通过标定方法而非对称化，证明 ℍⁿ 中常平均曲率的旋转对称球面的最小性？
• RQ3 E 的边界需满足何种条件，才能使等周不等式中的等号成立蕴含 E 是由球面 Sλ 所界定的球体？
• RQ4 水平单位法向量 ν_H 与叶状结构导出的向量场 X、Y 如何相互作用，从而通过标定法获得周长估计？
• RQ5 球面 Sλ 的奇点集 L 在不等式等号成立情形中起何种作用？

主要发现

• 在 ℍⁿ 中，任意满足 D ⊂ E ⊂ C 的有限变差集 E，其周长下界不小于等体积球体 B_λ 的周长。
• 等周不等式中等号成立当且仅当 E 是由球面 S_μ 所界定的球体 B_μ，且满足 |B_μ| = |E|。
• 标定方法成功建立了 ℍⁿ 中的等周不等式，且无需依赖对称化，后者因子黎曼结构中缺乏反射对称性而受阻。
• 证明利用泛函 f(ρ) = |∂B_ρ| − nρ|B_ρ| + nρ|E| 的严格凸性，表明等号仅在 λ = μ 时成立，其中 |B_μ| = |E|。
• 蒙蒂与维通的正则性结果确保 ∂E ∖ L 为 H-正则，这对得出 ∂E 包含整个球面 S_μ 至关重要。
• 该论证表明，若等号成立，则 E 必须包含整个球体 B_μ，又因体积相等，故 E = B_μ。