[論文レビュー] 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 について、体積が等しい回転対称球面の境界より小さい境界を持たないことを証明している。等号はそのような球面でのみ成立する。半球のファイブレーションを用いたキャリブレーション技法により、幾何的制約のもとで等周不等式が確立され、Pansuの予想が特定の集合クラスにおいて確認された。

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 とその垂直シリンダー C の間にある集合 E が、鋭い等周不等式を満たすことを証明すること。
• この不等式で等号が成立する唯一の集合が、一定の平均曲率を持つ回転対称球面であることを確立すること。
• 対称化に代えてキャリブレーション法を用いることで、ℋⁿ における等周領域に関する先行研究を拡張すること。
• D ⊂ E ⊂ C を満たす有限境界を持つ集合のクラスにおいて、等周領域を特徴付けること。
• 最近得られた ℍⁿ における有限境界集合の境界に関する正則性結果を活用し、最小化子の一意性を結論づけること。

提案手法

• ヒーゼンベルク群 ℍⁿ 内の球面 Sλ の上半球面と下半球面を垂直方向に平行移動することで、垂直シリンダー C の2つのファイブレーションを構成する。
• L を球面の特異点集合とするとき、C∖L 上に水平ベクトル場 X と Y を、ファイブレーションの葉の単位法ベクトルとして定義する。
• キャリブレーション技法を適用し、∂*E ∩ {t > 0} および ∂*E ∩ {t < 0} 上でのベクトル場の積分により、E の境界の下界を導出する。
• 恒等式 ∫_∂*E ν_H · X d|∂E| ≥ ∫_∂B_λ X · ν_H d|∂B_λ| を用いて、E と球面 B_λ を比較し、等号は ∂E ∩ {t > 0} 上 almost everywhere で ν_H = X が成り立つ場合に限る。
• 両側からの推定を組み合わせることで、|∂E| ≥ |∂B_λ| + nλ(|E| − |B_λ|) を得る。ここで、f(ρ) = |∂B_ρ| − nρ|B_ρ| + nρ|E| の強い凸性を用いる。
• f(ρ) の最小化子の一意性と Monti および Vittone の正則性結果を用いて、等号が成立するならば E = B_μ である（|B_μ| = |E|）と結論づける。

実験結果

リサーチクエスチョン

• RQ1 ディスク D が水平平面 t=0 にあり、C がその垂直シリンダーであるとき、ℋⁿ における有限境界を持つ集合 E について、D ⊂ E ⊂ C を満たす場合、等周不等式が成立するか。
• RQ2 対称化に代えてキャリブレーション法を用いることで、ℋⁿ における一定の平均曲率を持つ回転対称球面の最小性を証明できるか。
• RQ3 等周不等式における等号が成立するための E の境界に課される条件は何か。特に、等号が成立するならば E は球面 Sλ で囲まれた球 B_μ に一致する。
• RQ4 水平単位法ベクトル ν_H とファイブレーションから得られるベクトル場 X, Y がどのように作用し、キャリブレーションによって境界の推定値を得るか。
• RQ5 球面 Sλ の特異点集合 L が不等式の等号成立の場合に果たす役割は何か。

主な発見

• ℋⁿ において、D ⊂ E ⊂ C を満たす任意の有限境界を持つ集合 E の境界は、体積が等しい球 B_λ の境界より小さいことはない。
• 等周不等式における等号が成立するのは、|B_μ| = |E| を満たす球面 S_μ で囲まれた球 B_μ に一致する E のみである。
• 対称化に依存しないキャリブレーション法により、ℋⁿ における等周不等式が正当化された。これは、部分リーマン幾何構造に反射が存在しないため、対称化が困難であることに起因する。
• 関数 f(ρ) = |∂B_ρ| − nρ|B_ρ| + nρ|E| の強い凸性を用いることで、等号が成立するのは λ = μ の場合に限ることを示した（|B_μ| = |E|）。
• Monti と Vittone の正則性結果により、∂E ∖ L が H-正則であることが保証され、これは ∂E が球面 S_μ 全体を含むことを結論づけるために不可欠である。
• 等号が成立するならば、E は球面 B_μ 全体を含む必要があり、体積が等しいことから E = B_μ であると示された。