[論文レビュー] ODE Maximum Principle at Infinity and Non-Compact Solutions of IMCF in Hyperbolic Space

Brian Allen|arXiv (Cornell University)|Oct 4, 2016

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

ひとこと要約

本稿では、非コンパクトな超曲面に対して、双曲空間におけるハミルトンのODE最大原理を、無限遠におけるオマリ＝ヤウ最大原理を用いて拡張し、水平面上への有界な非コンパクトグラフにおける逆平均曲率流れ（IMCF）の解析を可能にした。長期間にわたる存在と、最良の $ L^\infty $ 減衰率 $ |A_{ij} - g_{ij}| \leq Ce^{-2t/n} $ における水平面への漸近的収束を確立し、非コンパクトIMCF理論における重要な空白を解消した。

ABSTRACT

In this work we extend the ODE Maximum principle of Hamilton to non-compact hypersurfaces using the Omari-Yau maximum principle at infinity. As an application of this result, we investigate Inverse Mean Curvature Flow (IMCF) of non-compact hypersurfaces in hyperbolic space. Specifically, we look at bounded graphs over horospheres in $\mathbb{H}^{n+1}$ and show long time existence of the flow as well as asymptotic convergence to horospheres.

研究の動機と目的

• 無限遠におけるオマリ＝ヤウ最大原理を用いて、ハミルトンのODE最大原理を、曲率と計量成長が制御された非コンパクトリーマン多様体に拡張すること。
• 双曲空間 $ \mathbb{H}^{n+1} $ における水平面上への有界な非コンパクトグラフの逆平均曲率流れ（IMCF）について、長期間存在と漸近的収束を確立すること。
• IMCF下での第二基本形式に対して最良の $ L^\infty $ 減衰率 $ |A_{ij} - g_{ij}| \leq Ce^{-2t/n} $ を証明すること。
• グローバルな制御が困難であるが、極値点における局所幾何が利用可能な非コンパクトな幾何的発展方程式を分析するための枠組みを提供すること。

提案手法

• 曲率と計量成長が制御された非コンパクトリーマン多様体に対して、無限遠におけるオマリ＝ヤウ最大原理を適応し、ハミルトンのODE最大原理を拡張する。
• 拡張されたODE最大原理を、$ \mathbb{H}^{n+1} $ におけるIMCF下の第二基本形式の発展方程式に適用する。
• Lyapunov型関数 $ G = |A_{ij} - g_{ij}|^2 $ を用いて、第二基本形式と計量の差に対する発展不等式を導出する。
• 発展不等式 $ \partial_t G - \frac{1}{H^2}\Delta G \leq -\frac{4n}{H^2}G + \text{指数的減衰項} $ に対して積分因子法を適用し、減衰推定を得る。
• 標準的PDE理論による短時間存在と、拡張された最大原理を用いた長期間存在および漸近的解析を組み合わせる。
• 減衰推定の反復的改善：初期の $ e^{-(\gamma + 1/n)t} $ 減衰が、より厳密な境界を用いた発展不等式の再適用により $ e^{-2t/n} $ に改善される。

実験結果

リサーチクエスチョン

• RQ1 ハミルトンのODE最大原理は、無限遠におけるオマリ＝ヤウ最大原理を用いて、双曲空間内の非コンパクト領域に拡張可能か？
• RQ2 双曲空間 $ \mathbb{H}^{n+1} $ における水平面上の有界で非コンパクトなグラフの逆平均曲率流れ（IMCF）は、常に存在するか？
• RQ3 このような解は漸近的に水平面に収束するか？ また、第二基本形式の収束の最良の速度は何か？
• RQ4 グローバルなドメイン制御が不適切な場合、無限遠におけるODE最大原理は発展方程式を制御するために利用可能か？

主な発見

• 拡張された無限遠におけるODE最大原理により、極値点に注目することで、グローバルな境界が得にくい非コンパクト領域における発展方程式の制御が可能になった。
• 平均曲率と第二基本形式が一様に有界な水平面上の有界な非コンパクトグラフに対して、IMCFの長期間存在が確立された。
• 解は漸近的に水平面に収束し、第二基本形式は $ |A_{ij} - g_{ij}| \leq Ce^{-2t/n} $ を満たし、最良の減衰率に達した。
• 減衰率 $ e^{-2t/n} $ は、積分因子法と $ G = |A_{ij} - g_{ij}|^2 $ の改善された境界を用いた発展不等式の反復的適用により、証明された。
• 非一様な減衰項を効果的に扱い、初期の非最適な減衰率にもかかわらず、鋭い漸近的推定を達成した。
• 標準的最大原理がグローバル制御の欠如により失敗する非コンパクトな幾何的流れを分析するための強固なツールを提供した。