[論文レビュー] Differential Geometry of Curves and Surfaces in Lorentz-Minkowski space

Rafael López|arXiv (Cornell University)|Oct 18, 2008

Geometric Analysis and Curvature Flows被引用数 15

ひとこと要約

この論文は、3次元のローレンツ＝ミンコフスキー空間における曲線および曲面の微分幾何学について包括的なレビューを提供しており、一定平均曲率（CMC）をもつスパacelike曲面に重点を置いている。古典的なユークリッド微分幾何学をローレンツ的設定に適応し、曲線のフレネ方程式を導出し、曲面の曲率不変量を定義し、楕円型偏微分方程式理論と連続性法を用いてCMCグラフの存在および正則性に関する結果を確立した。主な貢献は、ローレンツ＝ミンコフスキー空間内の任意の有界な凸領域において、CMC曲面のディリクレ問題が解をもつことの証明であり、これはユークリッド空間における場合とは対照的である。その場合、領域のサイズに制約が生じる。

ABSTRACT

We review part of the classical theory of curves and surfaces in $3$-dimensional Lorentz-Minkowski space. We focus in spacelike surfaces with constant mean curvature pointing the differences and similarities with the Euclidean space.

研究の動機と目的

• ユークリッド空間における曲線および曲面の古典的微分幾何学をローレンツ＝ミンコフスキー空間へ拡張すること。
• ユークリッド空間とローレンツ＝ミンコフスキー空間における曲線および曲面の幾何学的性質の違いと類似点を特定し、分析すること。
• ローレンツ＝ミンコフスキー空間におけるスパacelike曲面の一定平均曲率（CMC）を研究すること。
• 楕円型偏微分方程式理論と連続性法を用いて、CMC曲面のディリクレ問題の解の存在および正則性に関する結果を確立すること。
• 本分野における体系的かつアクセス可能な入門を提供し、教科書的取り扱いが不足している分野を埋めること。

提案手法

• ローレンツ計量 ⟨u,v⟩=u1v1+u2v2−u3v3 を用いて、ローレンツ＝ミンコフスキー空間における曲線のフレネ＝セレット方程式を導出する。
• 因果的性質（スパacelike、timelike、光的）に従ってベクトルおよび部分空間を分類し、それらの幾何的性質を研究する。
• 誘導計量および形状作用素を用いて、ローレンツ＝ミンコフスキー空間におけるスパacelike曲面の平均曲率およびガウス曲率を定義する。
• 最大原理を適用して、CMCグラフの事前C1-推定を得る。具体的には、sup|Du| = max∂Ω|Du| が成り立つことを示す。
• 連続性法を用いてCMC方程式のディリクレ問題を解き、解の集合が[0,1]において開かつ閉であることを示すことにより、存在を証明する。
• 双曲型円筒を用いてバリアを構成し、解に依存しない一様なC1-推定を獲得することで、解の集合が閉であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ＝ミンコフスキー空間における曲線および曲面の微分幾何学は、ユークリッド空間におけるものとどのように異なるのか。特に、曲率および因果的構造に関して。
• RQ2 与えられた領域上にスパacelike CMC曲面が存在するための必要十分条件は何か。
• RQ3 ベクトルの因果的性質および部分多様体上の誘導計量が、平均曲率やガウス曲率などの幾何的不変量の挙動にどのように影響を与えるか。
• RQ4 接する原理（tangency principle）は、CMC曲面の一意性および高さ推定を証明する際に果たす役割は何か。
• RQ5 ローレンツ＝ミンコフスキー空間内の任意の有界な凸領域において、CMC曲面のディリクレ問題は解けるのか。また、これはユークリッド空間の場合とどのように異なるのか。

主な発見

• ローレンツ＝ミンコフスキー空間内の任意の有界な凸領域において、一定平均曲率方程式のディリクレ問題は、領域の大きさにかかわらず解をもつ。
• 最大原理を用いてCMCグラフの事前C1-推定を導出し、|Du|の上界が境界上に達することを示した。
• 接する原理により、スパacelike CMC曲面が双曲型円筒から下方に接することは、最大原理に反するため不可能であり、これにより高さ推定が得られる。
• 連続性法によるディリクレ問題の解の集合は開かつ閉であるため、H ≠ 0 の場合に解の存在が保証される。
• ローレンツ＝ミンコフスキー空間における存在結果は、ユークリッド空間における場合とは対照的である。その場合、解が存在するためには領域が半径1/|H|の円板を含んではならない。
• 証明は、平均曲率Hの双曲型円筒を用いたバリアの構成に依存しており、これにより解に依存しない一様なC1-推定が得られる。