[論文レビュー] Entire spacelike hypersurfaces of prescribed Gauss curvature in Minkowski space

Bo Guan, Huaiyu Jian+1 more|ArXiv.org|Nov 29, 2006

Geometric Analysis and Curvature Flows参考文献 7被引用数 3

ひとこと要約

本稿は、変分的アプローチを用いて、弱いスパタイムリー条件を満たす適切な最大解を構成することで、ミンコフスキー空間における所定のガウス曲率を有する全スパタイムリー超曲面の存在と正則性を確立する。2次元におけるリプシッツ境界データに対して、モンジュ＝アンペール方程式に対して一意の滑らかで厳密に凸な解が存在し、その解は与えられた曲率関数を有する完全で滑らかなスパタイムリー超曲面を定める。

ABSTRACT

We are concerned with spacelike convex hypersurfaces of positive constant (K-hypersurfaces) or prescribed Gauss curvature in Minkowski space. Our main purpose is to study entire solutions as well as the Dirichlet problem in bounded domains of the related Monge-Ampere equation.

研究の動機と目的

• 双曲的空間の等長埋め込みの非一意性に関する先行結果を拡張し、ミンコフスキー空間における回転対称性を有する全スパタイムリーK超曲面を分類すること。
• 主曲率が有界でないスパタイムリー超曲面の漸近的挙動を、その無限遠における接錐を特徴付けることで解明すること。
• 特に $ \Omega = \mathbb{H}^n_+ $ に対して、ミンコフスキー空間における単位球面の部分集合上でのガウス曲率に関するミンコフスキー型問題を、境界データを所定に与えることで解くこと。
• リーのミンコフスキー問題に関する結果を、滑らかさよりも自然な幾何的仮定であるリプシッツ境界データを許容するように拡張すること。
• 弱スパタイムリー条件 $ |Du| \leq 1 $ の下で、適切な最大解を用いた変分的枠組みを用いて、モンジュ＝アンペール方程式の弱解の存在と正則性を確立すること。

提案手法

• 常微分方程式を用いて $ \mathbb{R}^{n,1} $ 内の回転対称なスパタイムリー超曲面を構成し、その完全性および無限遠における漸近的挙動を解析する。
• 弱スパタイムリー条件 $ |Du| \leq 1 $ の下で、モンジュ＝アンペール方程式 $ \det D^2 u = \psi(x,u)(1 - |Du|^2)^{\frac{n+2}{2}} $ を解くための変分的アプローチを導入し、適切な最大解を定義する。
• レゲンドル変換を用いて、ミンコフスキー型問題を $ \mathbb{R}^n $ 内の単位球 $ B_1(0) \subset \mathbb{R}^n $ 上で定義された曲率関数の言語に再定式化し、ガウス写像と解の法線ベクトルを結びつける。
• カファレリの可視解理論およびエヴァンズ＝クライロフ正則性理論を適用し、凸な可視解が内部で滑らかで厳密に凸であることを証明する。
• 補助平面およびバリア関数を用いた境界推定を確立し、解が境界点で $ \lim_{t \to 0^+} \frac{v(\hat{y} + t\mathbf{e}) - v(\hat{y})}{t} = -\infty $ を満たすことを示し、線形成長を排除し厳密な凸性を保証する。
• 近似法および最大原理の推定を用いて、境界に沿った連続性および内部における正則性を証明する。特に2次元におけるリプシッツ境界データに対して有効である。

実験結果

リサーチクエスチョン

• RQ1 主曲率が有界でないという仮定なしに、ミンコフスキー空間における所定のガウス曲率を有する全スパタイムリー超曲面を構成することは可能か？
• RQ2 このような超曲面の無限遠における漸近的挙動は何か？ その接錐を用いてどのように特徴付けられるか？
• RQ3 境界データに最小限の正則性仮定を課す場合、例えば $ \mathbb{H}^n_+ $ のような単位球面の適切な部分集合上でのガウス曲率に関するミンコフスキー型問題を解くことは可能か？
• RQ4 2次元におけるリプシッツ境界データに対して、滑らかで完全なスパタイムリー超曲面の存在を示すことは可能か？ これは、従来の滑らかさを要請する結果を拡張するものである。
• RQ5 弱スパタイムリー条件 $ |Du| \leq 1 $ を満たす適切な最大解は、スパタイムリー領域におけるモンジュ＝アンペール方程式の古典解とどのように関係しているか？

主な発見

• 回転対称な全スパタイムリーK超曲面 $ \mathbb{R}^{n,1} $ は、誘導されたリーマン計量に関して完全である。
• 2次元の場合、リプシッツ境界データを有するモンジュ＝アンペール方程式に対して、一意の滑らかで厳密に凸な解 $ v \in C^\infty(\Omega) \cap C^0(\overline{\Omega}) $ が存在し、境界点で $ \lim_{t \to 0^+} \frac{v(\hat{y} + t\mathbf{e}) - v(\hat{y})}{t} = -\infty $ を満たす。
• 得られる超曲面 $ M = \text{graph}(v^*) $ は滑らかで完全かつ厳密に凸であり、任意の $ y \in B_1(0) $ に対してガウス曲率 $ K_M(\mathbf{n}^{-1}(y)) = \eta(y) $ を満たす。
• 解 $ v $ は漸近的条件 $ x \cdot Dv(x) - v(x) \to -\infty $ を満たし、主曲率が無限大に発散することを示唆する。
• 2次元の場合、境界条件 $ \varphi \in C^{0,1}(\partial\Omega) $ は解の存在に必要かつ十分であり、$ \varphi $ が厳密に凸である点では解が $ C^{0,1} $ でないことが示される。
• $ \Omega = \mathbb{H}^n_+ $ 上のミンコフスキー型問題は、与えられた仮定の下で解が存在し、解のクラスには主曲率が無限大に発散する超曲面が含まれる。