[論文レビュー] Area-stationary surfaces in the Heisenberg group H^1

Manuel Ritoré, César Rosales|ArXiv.org|Dec 23, 2005

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

ひとこと要約

本稿は、ヘイゼンベルク群 ℍ¹ における面積最小化表面の変分的枠組みを確立し、面積の第一変分を用いて平均曲率を定義する。$C^2$ で体積を保存する面積最小化表面が非空な特異集合を持つ場合、それらは二つの極点を結ぶ一定曲率の測地線によって形成される回転対称球面に合同であることが示され、$C^2$ の正則性仮定の下で等周問題が解かれる。

ABSTRACT

We use variational arguments to introduce a notion of mean curvature for surfaces in the Heisenberg group H^1 endowed with its Carnot-Carathéodory distance. By analyzing the first variation of area, we characterize C^2 stationary surfaces for the area as those with mean curvature zero (or constant if a volume-preserving condition is assumed) and such that the characteristic curves meet orthogonally the singular curves. Moreover, a Minkowski type formula relating the area, the mean curvature, and the volume is obtained for volume-preserving area-stationary surfaces enclosing a given region. As a consequence of the characterization of area-stationary surfaces, we refine previous Bernstein type theorems in order to describe entire area-stationary graphs over the xy-plane in H^1. A calibration argument shows that these graphs are globally area-minimizing. Finally, by using the known description of the singular set, the characterization of area-stationary surfaces, and the ruling property of constant mean curvature surfaces, we prove our main results where we classify volume-preserving area-stationary surfaces in H^1 with non-empty singular set. In particular, we deduce the following counterpart to Alexandrov uniqueness theorem in Euclidean space: any compact, connected, C^2 surface in H^1 area-stationary under a volume constraint must be congruent with a rotationally symmetric sphere obtained as the union of all the geodesics of the same curvature joining two points. As a consequence, we solve the isoperimetric problem in H^1 assuming C^2 smoothness of the solutions.

研究の動機と目的

• sub-Riemannian ヘイゼンベルク群 ℍ¹ における表面の平均曲率を変分的手法を用いて定義・分析すること。
• $C^2$ で体積を保存する面積最小化表面は、平均曲率がゼロ（または体積制約下で一定）であり、特異曲線と特徴的曲線が直交することを特徴づけること。
• 非空な特異集合を持つ ℍ¹ における体積を保存する面積最小化表面を分類し、$C^2$ 正則性仮定の下で等周問題を解くこと。
• 全平面 $xy$-平面上の面積最小化グラフが、キャリブレーションを用いて大域的面積最小化であることを示す Bernstein 型定理を拡張すること。
• 体積を保存する面積最小化表面に対して、面積、平均曲率、体積を関連付けるミンコフスキー型の公式を確立すること。

提案手法

• 表面における平均曲率を、表面上の水平単位法ベクトル場 $\nu_H$ のリーマン多様体的発散度として定義する。
• 面積の第一変分公式（補題 4.3）を導出し、面積最小化表面が平均曲率がゼロ（または体積制約下で一定）であることを示す。
• キャリブレーションの議論を用いて、$xy$-平面上の全領域にわたる面積最小化グラフが大域的面積最小化であることを証明する。
• [CHMY] の特異集合の特徴づけと、一定平均曲率表面の直母線性質を用いて、非空な特異集合を持つ面積最小化表面を分類する。
• 体積を保存する変分のためのミンコフスキー型積分公式（式 4.10）を用い、面積、平均曲率、包囲された体積を関連付ける。
• アレクサンドロフ型の一意性議論を用いて、体積制約下でコンパクトかつ連結な $C^2$ 面積最小化表面が、回転対称球面 $\mathbb{S}_\lambda$ に合同であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群 ℍ¹ における $C^2$ 面積最小化表面が体積を保存する変分のもとでどのように特徴づけられるか。
• RQ2 変分的原理を用いて、sub-Riemannian 構造を持つ ℍ¹ における平均曲率の定義を一貫的に可能にする方法は何か。
• RQ3 非空な特異集合を持つ体積を保存する面積最小化表面の構造はどのようなものか。
• RQ4 $xy$-平面上の全領域にわたる面積最小化グラフは、ℍ¹ において大域的面積最小化であるか。
• RQ5 $C^2$ 正則性の仮定の下で、ℍ¹ における等周問題は解けるか。

主な発見

• 非空な特異集合を持つ体積を保存する $C^2$ 面積最小化表面は、二つの固定点を結ぶすべての曲率 $\lambda$ の測地線によって形成される回転対称球面 $\mathbb{S}_\lambda$ に合同である。
• 球面 $\mathbb{S}_\lambda$ の面積は $A(\mathbb{S}_\lambda) = \pi^2 / \lambda^3$、包囲された体積は $V(\Omega_\lambda) = 3\pi^2 / (8\lambda^4)$ である。
• ミンコフスキー型の公式（式 4.10）は、体積を保存する面積最小化表面に対して、面積、平均曲率、体積を関連付ける重要な積分恒等式を提供する。
• $xy$-平面上の全領域にわたる面積最小化グラフは、キャリブレーションの議論により、大域的面積最小化である。
• $C^2$ 正則性の下で、ℍ¹ における等周問題は解かれる：唯一の解は、球面 $\mathbb{S}_\lambda$ で囲まれた集合であり、最適な等周比は $\alpha = (8/3)^3 \pi^2$ である。
• この結果は、コンパクトかつ連結で $C^2$ の面積最小化表面が体積制約のもとで回転対称球面であるという、ユークリッド空間におけるアレクサンドロフの一意性定理の、sub-Riemannian 版を提供する。