[論文レビュー] Entropy and a convergence theorem for Gauss curvature flow in high dimension

Pengfei Guan, Lei Ni|arXiv (Cornell University)|Jun 4, 2013

Geometric Analysis and Curvature Flows参考文献 6被引用数 12

ひとこと要約

本稿では、ブラシュケ＝サントラロ不等式から導かれる新しいエントロピー関数を導入することにより、高次元における正規化ガウス曲率流れの均一な $C^2$-正則性推定を確立する。著者らは、解が $C^\infty$-位相で滑らかで強い凸性を持つソリトンに収束することを証明し、正規化下での球面収束およびソリトンの一意性に関する長年の予想を確認した。

ABSTRACT

In this paper we prove uniform regularity estimates for the normalized Gauss curvature flow in higher dimensions. The convergence of solutions in $C^\infty$-topology to a smooth strictly convex soliton as $t$ approaches to infinity is obtained as a consequence of these estimates together with an earlier result of Andrews. The estimates are established via the study of a new entropy functional for the flow.

研究の動機と目的

• 高次元 $\mathbb{R}^{n+1}$ における $n \geq 2$ の正規化ガウス曲率流れの均一な正則性推定を確立すること。
• 正規化流れが $t \to \infty$ の際に滑らかで強い凸性を持つソリトンに $C^\infty$ 収束することを証明すること。
• 幾何的量（例えば、支持関数やガウス曲率）を制御するため、凸体に対する新しいエントロピー関数を導入・分析すること。
• 中央対称でない場合のチャウのエントロピーおよびファイリーのエントロピーの非負性を確立し、これまで未知であった事項を解消すること。
• 特に球面を含む、適切な変動の下でのソリトンの安定性および一意性を調査すること。

提案手法

• 発展する超曲面 $M_t$ が囲む凸体 $\Omega_t$ に対して、ブラシュケ＝サントラロ不等式に基づく新しいエントロピー関数 $\mathcal{E}(\Omega_t)$ を定義する。
• 流れのダイナミクスにおける関数の単調性を用いて、正規化ガウス曲率流れに沿ってエントロピーが非負でありかつ厳密に増加することを証明する。
• エントロピーに基づく幾何的推定を用いて、支持関数 $u(x,t)$ およびガウス曲率 $K(x,t)$ に対する均一な下界を導出する。
• 支持関数 $u(x,t)$ およびガウス曲率 $K(x,t)$ の下界と正規化流れ方程式 $\partial_t X = (-K + u)\nu$ を組み合わせることで、均一な $C^2$-推定を確立する。
• 均一正則性が達成された後、アンドリュースの一般的 $C^\infty$-収束結果 [2] をソリトン正則性の仮定のもとで適用する。
• 第一および第二変分を計算することで、関数 $\mathcal{J}_1(u)$ の変分 $v_\eta = u + \eta\rho$ における単位球面の安定性を分析し、対称的変動の下で局所最小であることを示す。

実験結果

リサーチクエスチョン

• RQ1 高次元（$n+1 \geq 4$）における正規化ガウス曲率流れは、滑らかで強い凸性を持つソリトンに収束するか？
• RQ2 中心対称性を仮定しない場合に、正規化流れに対して均一な $C^2$-正則性推定を確立できるか？
• RQ3 極限点を原点に置く正規化の下で、初期データが中心対称でない場合にファイリーのエントロピーが非負であるか？
• RQ4 正のガウス曲率を持つすべての正規化凸体の中で、球面は一意なコンパクトなソリトンか？
• RQ5 適切な支持関数の下で、$C^2$-小変動の下で単位球面は安定か？

主な発見

• 正規化ガウス曲率流れは、$C^\infty$-位相で滑らかで強い凸性を持つソリトン $M_\infty$ に収束し、$M_\infty$ 上のすべての $x$ に対して $K(x) = u(x)$ を満たす。
• 新しいエントロピー関数を用いて、均一な $C^2$-推定が確立され、すべての $t \geq 0$ に対して $B_{1/\Lambda}(0) \subset \Omega_t \subset B_\Lambda(0)$ が成り立つ。ここで $\Lambda \geq 1$ は $n$ および $M_0$ のみに依存する。
• 支持関数 $u(x,t)$ は正の定数から一様に下から抑えられ、正則性推定を導出する上で重要な段階である。
• エントロピー関数 $\mathcal{E}(\Omega_t)$ は非負であり、流れに沿って厳密に増加する。これはブラシュケ＝サントラロ不等式の結果である。
• チャウのエントロピーおよびファイリーのエントロピーが、中央対称でない場合でも非負であることが示され、これまで未解決であった問題が解決された。
• 関数 $\mathcal{J}_1(u)$ の第二変分解析により、$\eta \perp \operatorname{span}\{1, x_1, \dots, x_{n+1}\}$ である変動 $v_\eta = u + \eta\rho$ の下で、単位球面が安定であることが示された。