[論文レビュー] 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群 ℍ¹ 内の特定の整値内在的最小グラフ、特に α > 0 である形の x = y(αt + β) のものについて、水平境界長の臨界点ではあるが、第二変分解析による不安定性が明らかになったため、局所的最小値にはならないことを示している。主な貢献は、これらの非平面的 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₁ の方向における compactly な台を持つ変形に沿って、水平境界長関数の第二変分を分析している。
• ℍ¹ の内在的幾何学に基づいて導出された水平境界長の第一および第二変分の公式を用い、面積関数の第二変分を計算している。
• 重要な技術的ステップとして、表面の安定性をテストするための関数族 fₖ(y) = χₖ(y)/√(1 + (α/2)y²) の構成が行われている。ここで χₖ は滑らかなカットオフ関数である。
• Fubini の定理を適用し、第二変分を含む積分を推定することで、十分に大きな k に対して第二変分が負であることを示している。
• k → ∞ の極限において、χₖ 及びその微分を含む積分の漸近的解析に依拠し、支配収束定理を用いて極限を評価している。
• X₁ 沿いの変形からの不安定性結果を、水平法線 ν_H 沿いの変形へと拡張し、大域的非最小性を確認している。

実験結果

リサーチクエスチョン

• RQ1 ℍ¹ 内の非平面的整値内在的最小グラフで、水平境界長を大域的に最小化するものかどうか？
• RQ2 ℍ¹ 内の水平境界長関数の臨界点が、第二変分における不安定性のため、局所的最小値でないことがあるか？
• RQ3 部分リーマン幾何学における水平境界長の第二変分は、ユークリッド的設定とどのように異なるか？
• RQ4 H-最小グラフにおける安定性の失敗が、部分リーマン的 Bernstein 問題の有効性に及ぼす影響はどの程度か？
• RQ5 H-最小曲面の安定性が、部分リーマン的 Bernstein 問題の解を特徴付ける新たな基準として機能できるか？

主な発見

• α > 0 である形の x = y(αt + β) で定義される非平面的大域的内在的グラフは、ℍ¹ 内で水平境界長の臨界点である。
• これらの曲面は H-最小的であり、特徴的特徴が空集合であるため、ユークリッド的 Bernstein 予想の単純な拡張とは矛盾する。
• X₁ 沿いのコンpactly な台を持つ変形に沿った水平境界長の第二変分は負である。これは不安定性を証明する。
• fₖ(y) = χₖ(y)/√(1 + (α/2)y²) というテスト関数を用いることで、大きな k に対して第二変分が負になることが示され、不安定性が裏付けられた。
• この結果は、このような曲面が水平境界長の局所的または大域的最小値にはなり得ないことを示唆する。
• 本稿では、安定性解析が部分リーマン的 Bernstein 問題において不可欠であることを確立しており、臨界点が最小値でない可能性があるためである。