[論文レビュー] Inverse mean curvature flow inside a cone in warped products

Li Chen, Jing Mao+2 more|arXiv (Cornell University)|May 13, 2017

Geometric Analysis and Curvature Flows参考文献 10被引用数 4

ひとこと要約

本稿は、ワーペッド積多様体内の凸錐内に存在する星型超曲面の逆平均曲率流れ（IMCF）を研究する。錐の凸性と幾何的推定を活用することで、流れの長時間存在を証明し、時間無限大に伴いスケーリングされた超曲面が滑らかに測地的球面に収束することを示した。これは、非ユークリッド的ワーペッド積設定への古典的IMCF結果の拡張である。

ABSTRACT

Given a convex cone in the \emph{prescribed} warped product, we consider hypersurfaces with boundary which are star-shaped with respect to the center of the cone and which meet the cone perpendicularly. If those hypersurfaces inside the cone evolve along the inverse mean curvature flow, then, by using the convexity of the cone, we can prove that this evolution exists for all the time and the evolving hypersurfaces converge smoothly to a piece of round sphere as time tends to infinity.

研究の動機と目的

• 星型超曲面が凸錐内に境界を持つワーペッド積多様体において、逆平均曲率流れ（IMCF）の長時間存在と収束を確立すること。
• 元来ユークリッド空間で証明された古典的IMCF結果を、平坦でない幾何的背景へと非ユークリッド的ワーペッド積構造へと一般化すること。
• IMCF下での変形超曲面の漸近的挙動を分析し、適切なスケーリングの後、滑らかに測地的球面に収束することを証明すること。
• 球対称多様体および非定数のワーピング関数を持つワーペッド積構造へ、IMCF技法の適用範囲を拡張すること。
• 錐の凸性が一様推定を保証し、流れ中に特異点を防ぐ幾何的枠組みを提供すること。

提案手法

• ベースが$\bbS^{n-1}$でワーピング関数が$\rho(r)$である、$[0,\rho) \times_{\rho} \bbS^{n-1}$という形のワーペッド積として、環境空間をモデル化する。これは$\bbR^n$、$\bbH^n(-k)$、$\bbS^n(k)$の特別な場合を含む。
• 逆平均曲率流れ（IMCF）を、超曲面がその平均曲率の逆数に比例する法線速度で進化する幾何的発展として定義する。
• 境界条件を課す：超曲面は錐に対して垂直に交わり、錐の頂点に関して星型である。
• 径方向表現を用いて幾何的流れをスカラー放物型PDEに変換し、ホルダー推定とシューディンガー推定の適用を可能にする。
• 放物型正則性理論（例：[10, 第四章, 定理5.3] および [12, 第四章]）を適用し、変化する支持関数における一様な$C^{k+\beta, k+\beta/2}$推定を導出する。
• アーヴェラ・アスコリの定理と数学的帰納法を用いて、スケーリングされた支持関数が定数関数に$C^\nu$収束することを証明し、超曲面が測地的球面に滑らかに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 ワーペッド積多様体内の凸錐に制限された場合、逆平均曲率流れがすべての時間にわたって存在するか？
• RQ2 時間無限大に伴い、スケーリングされた変形超曲面が滑らかに測地的球面に収束するか？
• RQ3 ワーペッド積の幾何と錐の凸性が、流れの長期的挙動にどのように影響するか？
• RQ4 錐の頂点に関して星型であるという条件が、一様推定の確保と特異点の回避に果たす役割は何か？
• RQ5 ユークリッド空間における古典的IMCF結果が、非定数曲率を持つワーペッド積背景へどの程度まで拡張可能か？

主な発見

• 特異点が発生しない一様ホルダー推定と放物型推定のため、与えられた幾何的設定において逆平均曲率流れはすべての時間にわたって存在する（$T^* = \tau$）。
• スケーリングされた流れ$\tilde{F}(\theta,t) = F(\theta,t)e^{-t/n}$は、$t \to \tau$の極限で滑らかに測地的球面に収束する。
• ホルダーノルムに関する帰納法とアーヴェラ・アスコリの定理を用いて、すべての$\nu \to \nu$に対して$C^\nu$収束が確立された。
• 第二基本形式の円形計量への収束速度は指数的である：$\big|\tilde{h}^i_j - \tilde{\rho}^i_j\big| \to 0$は$C_5 e^{-\nu t}$のようになる、ある$\nu > 0$に対して。
• 推定はワーピング関数$\rho(r)$、その微分、初期の星型性といった初期データと幾何的パrameterにのみ依存し、ワーペッド積構造全体にわたり強固であることが保証された。
• 結果として、古典的IMCF収束（$\bbR^n$内）が、双曲的および球面的空間形式を含む、より広いリーマン多様体のクラスへ、ワーペッド積フレームワークによって一般化された。