[論文レビュー] 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$ 表面が面積的停留的かつ安定的であるならば、垂直平面に限ることを確立している。著者らは、部分リーマン面積の2次変分公式を導出し、非平面な表面ではある種の曲率項が消えない限り安定性が破られるということを示すことによってこの結論に至っている。これにより、$C^1$ 関数の内在的グラフに関するベルンシュタイン型の結果が得られる。

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$ 関数の内在的グラフが、垂直平面に限ることを証明する。

提案手法

• 1パラメータ族の変分とフラックス公式を用いて、部分リーマン面積の2次変分公式を導出する。
• 2次変分をシュレーディンガー型作用素の形に変換するために、関数 $v_{ ho}(s) = |p_{ ho}(s)|^{1/2}$ を導入する。
• フビニの定理およびファトウの補題を用いて、テスト関数 $u_k(\varepsilon,s) = \phi(\varepsilon)\phi(s/k)$ の列における2次変分の挙動を分析する。
• 表面で $q > 0$ であると仮定することで背理法を用い、負の2次変分と不安定性が生じることを示す。
• 条件 $q \equiv 0$ を用いて、補題4.6により表面が垂直平面でなければならないと結論づける。
• ハイゼンベルク群の水平分布の構造および単位法線ベクトル $N$ 及びその水平射影 $N_h$ の挙動に依存する。

実験結果

リサーチクエスチョン

• RQ1 ℍ¹ における $C^1$ 面積的停留的表面の正則部の構造は何か？
• RQ2 ℍ¹ における $C^1$ 表面が面積的停留的かつ安定的であるための条件は何か？
• RQ3 完全で向き付けられた、ℍ¹ 内の $C^1$ 内在的グラフが垂直平面でない限り、面積最小化を達成できるか？
• RQ4 ℍ¹ における完全で安定かつ面積的停留的な $C^1$ 表面として、垂直平面以外に存在するか？
• RQ5 2次変分公式における曲率項 $q$ が安定性に果たす役割は何か？

主な発見

• ℍ¹ における任意の $C^1$ 面積的停留的表面の正則部は、水平直線によってファイブレーションされる。
• 完全で向き付けられた ℍ¹ 内の $C^1$ 表面が安定的かつ特異点をもたないならば、それは垂直平面でなければならない。
• ℍ¹ における完全で局所的面積最小化を達成する $C^1$ 関数の内在的グラフとして唯一存在するのは垂直平面である。
• 2次変分が非負であるのは、表面全体で曲率項 $q$ が恒等的に消える場合に限る。
• $q > 0$ であると仮定すると安定性と矛盾が生じ、$q \equiv 0$ であることが示され、結果として表面は垂直平面でなければならない。
• 本結果は、古典的ベルンシュタイン問題を、部分リーマン多様体としてのハイゼンベルク群 ℍ¹ における $C^1$ 設定へと拡張する。