[論文レビュー] H-minimal graphs of low regularity in the Heisenberg group

Scott D. Pauls|ArXiv.org|May 13, 2005

Geometric Analysis and Curvature Flows参考文献 11被引用数 5

ひとこと要約

本稿は、Heisenberg群 ℍ¹における低正則性のH最小グラフを調査し、水平ガウス写像のW¹¹成分をもつC¹ H最小グラフが、C²の種線をもつ旗張り面であることを確立している。さらに、特定の条件下でC¹ H最小表面を貼り合わせられることを示し、Dirichlet問題の滑らかな解が存在するための必要条件を同定している。また、滑らかな境界データですらC²解をもたらさないことがあることを示しており、正則性の伝播が失敗することを示している。

ABSTRACT

In this paper we investigate H-minimal graphs of lower regularity. We show that noncharactersitic C^1 H-minimal graphs whose components of the unit horizontal Gauss map are in W^{1,1} are ruled surfaces with C^2 seed curves. In a different direction, we investigate ways in which patches of C^1 H-minimal graphs can be glued together to form continuous piecewise C^1 H-minimal surfaces. We apply these description of H-minimal graphs to the question of the existence of smooth solutions to the Dirichlet problem with smooth data. We find a necessary condition for the existence of smooth solutions and produce examples where the conditions are satisfied and where they fail. In particular we illustrate the failure of the smoothness of the data to force smoothness of the solution to the Dirichlet problem by producing a class of smooth curves whoses H-minimal spanning graphs cannot be C^2.

研究の動機と目的

• Heisenberg群におけるC² H最小表面とC¹ H最小表面の間のギャップを埋めること。
• 水平ガウス写像の成分がW¹¹であるC¹ H最小グラフを特徴付けること。
• C¹ H最小表面のパッチを、連続的で区分的C¹のH最小表面に貼り合わせる方法を調査すること。
• Heisenberg群におけるDirichlet問題の滑らかな解が存在するための必要条件を特定すること。
• 滑らかな境界データがC²解をもたらさない例を構成し、正則性の伝播が失敗することを示すこと。

提案手法

• 先行研究（Pauls & Garofalo, 2005）で得られた、C² H最小表面がC²の種線をもつ旗張り面として特徴付けられることを用いる。
• Franchi, Serra Cassano, および Serapioni（2001）によるX-Caccioppoli集合および減少境界の理論を適用し、C¹ H最小グラフを分析する。
• 幾何的結論を得るための十分な正則性を保証するために、単位水平ガウス写像の成分にW¹¹条件を課す。
• 積分曲線法とArzela-Ascoli定理による一様収束を用いて、水平ベクトル場およびその極限を分析する。
• 水平ベクトル場の反復近似スキームを用い、Lipschitzバウンドおよびネストされた誤差推定を用いて収束を証明する。
• 極限過程を適用し、k → ∞ で Xₖ(φᵏ(t)) → X(φ⁰(t)) が成り立つことを示し、水平構造の一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 水平ガウス写像の正則性条件が何であるとき、ℍ¹におけるC¹ H最小グラフは旗張り面となるか？
• RQ2 C¹ H最小表面のパッチを、連続的で区分的C¹のH最小表面に貼り合わせることは可能か？
• RQ3 Heisenberg群におけるDirichlet問題の滑らかな解が存在するための条件は何か？
• RQ4 Dirichlet問題における滑らかな境界データが、C² H最小解をもたらさないことはあり得るか？
• RQ5 W¹¹の水平ガウス写像成分をもつC¹ H最小グラフの背後にある幾何的構造は何か？

主な発見

• 単位水平ガウス写像のW¹¹成分をもつC¹ H最小グラフは、C²の種線をもつ旗張り面である。
• 水平ガウス写像の直交ベクトル場の積分曲線は直線である。これは旗張り構造を確認する。
• 適切な一致条件のもとで、C¹ H最小表面のパッチを貼り合わせて、連続的で区分的C¹のH最小表面を構成できる。
• 滑らかなDirichlet問題の解が存在するための必要条件が導出され、境界データの幾何的性質に基づく。
• 滑らかな境界曲線がC² H最小埋め込みグラフをもたらさない例が構成され、正則性の伝播が失敗することを示している。
• 水平ベクトル場の近似の極限過程により、積分曲線の収束が確認され、表面の幾何的構造を支持する。