[論文レビュー] Killing graphs with prescribed mean curvature and Riemannian submersions

Marcos Dajczer, Jorge H. de Lira|ArXiv.org|Oct 9, 2007

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

ひとこと要約

本稿は、n次元の基底上へのリーマン的準射影において、垂直キリングベクトル場の流れ線をファイバーとするキリンググラフが、所定の平均曲率を持つ場合の存在および一意性を確立する。連続法とキリングシリンダーをバリアとして用いた事前推定を用い、$ C^{2,\bar{\alpha}} $境界を持つコンパクト領域に対して、所定の平均曲率 $ H $ が境界上でのキリングシリンダーの内向き平均曲率以下である限り、解が存在することを示している。リッチ曲率および幾何的制約のもとで成立する。

ABSTRACT

It is proved the existence and uniqueness of graphs with prescribed mean curvature in Riemannian submersions fibered by flow lines of a vertical Killing vector field.

研究の動機と目的

• 対称的またはワーパード積空間を超えて、定数および所定の平均曲率（CMC）超曲面の理論を一般化するため、垂直キリング場を有するリーマン的準射影への一般化を試みる。
• CMC超曲面理論における例の不足を補うため、法分布が可積分でない環境空間におけるキリンググラフのディリクレ問題を定式化する。
• ヘイゼンベルク空間および複素射影空間への埋め込みにおける奇数次元球面の既知の結果を統合・一般化し、広範なリーマン多様体クラスに適用可能なフレームワークを導入する。
• 初期最小グラフの存在を出発点として、連続法を用いた構成的証明を提供する。この際、事前推定と初期最小グラフの存在に依存する。

提案手法

• ファイバーが非特異キリングベクトル場 $ Y $ の積分曲線であるリーマン的準射影 $ \pi: \bar{M}^{n+1} \to M^n $ におけるキリンググラフのディリクレ問題を定式化する。グラフは垂直ファイバーと横断的である。
• 局所座標における平均曲率方程式を導出するために、適応的および基本的基底フレームを導入し、これらの座標系において環境計量が定常的であることを保証する。
• キリングシリンダー $ K = \pi^{-1}(\Gamma) $ および $ M_0 = \pi^{-1}(\bar{\Omega}) $ をバリアとして用い、解の高さおよび境界勾配の事前推定を導出する。
• 一パラメータ族の方程式 $ \mathcal{Q}_\sigma[u] = n\sigma H $ に連続法を適用し、$ \sigma = 0 $ で最小グラフ解を出発点とし、$ \sigma \in [0,1] $ を範囲とする。
• 直接的変分法を用いて、初期最小グラフを構成する。これは汎関数 $ \mathcal{I}(u) = \int_\Omega W(x, \nabla u) \sqrt{\sigma} \, dx $ の最小化に依存し、初期埋め込み $ \iota $ の存在に依存する。
• フラックス型の議論と境界最大値原理を用いて一意性を確立し、同じ平均曲率および境界データを持つ二つのグラフが一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 垂直キリング場を有するリーマン的準射影におけるキリンググラフが、所定の平均曲率を持つ場合に、どのような幾何的および解析的条件下で存在するか？
• RQ2 標準的なバリア法が失敗する可積分でない法分布において、所定の平均曲率方程式の解に対する事前推定をどのように構成できるか？
• RQ3 初期最小グラフが事前に保証されない場合でも、一般のリーマン的準射影におけるキリンググラフのディリクレ問題に連続法を適用できるか？
• RQ4 可積分でない分布の下で、高さおよび勾配推定のための効果的バリアとしてキリングシリンダーが果たす役割は何か？
• RQ5 ヘイゼンベルク空間や複素射影空間への奇数次元球面のファイブレーションといった、どのような環境多様体において理論が適用可能か？また、必要な幾何的仮定は何か？

主な発見

• 所定の平均曲率 $ H \in C^\alpha(\bar{\Omega}) $ に対して、ディリクレ問題の解 $ u \in C^{2,\alpha}(\bar{\Omega}) $ が一意に存在する。条件は $ \sup_\Omega |H| \leq \inf_\Gamma H_{\rm cyl} $ であり、$ H_{\rm cyl} $ はキリングシリンダー $ K = \pi^{-1}(\Gamma) $ の内向き平均曲率である。
• 埋め込み $ \iota: \bar{\Omega} \to \bar{M} $ が存在し、ファイバーと横断的であるか、または $ M_0 $ が測地的完全で、$ K $ を頂点とする滑らかにした測地的円錐をバリアとして用いる場合、初期最小グラフの存在が保証される。
• $ M_0 $ が測地的完全で $ K $ が平均凸である場合、$ \iota $ の存在を仮定せずとも、$ M_0 $ 内の頂点を持つ滑らかにした測地的円錐を用いて初期最小グラフを構成可能である。
• キリングシリンダーをバリアとして用いることで、$ |\nabla u| $ の事前推定 $ C^1 $ が導出され、境界データに依存する勾配の一様有界性が保証される。
• フラックス公式と境界最大値原理を用いて一意性が確立され、同じ平均曲率および境界値を持つ二つのグラフが一致することを示している。
• 理論は、高次元ヘイゼンベルク空間や複素射影空間への奇数次元球面のファイブレーションを含む広範な環境多様体クラスに適用可能であり、提示された曲率および幾何的制約のもとで成立する。