[論文レビュー] $\alpha$-Gauss Curvature flows

Lami Kim, Ki-ahm Lee|arXiv (Cornell University)|Jun 5, 2013

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

ひとこと要約

本稿は、R^{n+1}におけるn次元の厳密な凸超曲面に対するα-Gauss曲率流れを調査し、1/n < α ≤ 1のとき、滑らかで厳密な凸な解が時間全域にわたり存在し、点に収縮することを証明している。スケーリングされた超曲面はC∞ノルムで厳密な凸な極限多様体に一様収束する。また、スケーリングされた支持関数の部分列は、Gauss曲率のα乗を含む非線形偏微分方程式を満たす。

ABSTRACT

In this paper, we study the deformation of the n-dimensional strictly convex hypersurface in $\\mathbb R^{n+1}$ whose speed at a point on the hypersurface is proportional to $\\alpha$-power of positive part of Gauss Curvature. For $\\frac{1}{n}&lt;\\alpha \\leq 1$, we prove that there exist the strictly convex smooth solutions if the initial surface is strictly convex and smooth and the solution hypersurfaces converge to a point. We also show the asymptotic behavior of the rescaled hypersurfaces, in other words, the rescaled manifold converges to a strictly convex smooth manifold. Moreover, there exists a subsequence whose the limit satisfies a certain equation.

研究の動機と目的

• 1/n < α ≤ 1のとき、R^{n+1}における厳密な凸超曲面に対するα-Gauss曲率流れの解の存在と正則性を確立すること。
• 流れの長期的挙動を分析し、特にスケーリングされた超曲面の漸近的収束を調べること。
• スケーリングされた解がC∞ノルムで厳密な凸な極限多様体に一様収束することを証明すること。
• スケーリングされた支持関数の部分列が満たす極限方程式を特定し、ある正の定数˜C∗に対してほとんど everywhere で˜Kα∗ = ˜C∗˜S∗ を満たすことを示すこと。

提案手法

• 超曲面を再パrameter化するための支持関数S(z,t)を用い、スケーリングされた流れに対する一様放物型偏微分方程式を導出する。
• 時間スケーリング変換を適用して体積を正規化し、長期的挙動を分析する。
• 事前推定（第二基本形式の時間発展方程式を用いた主曲率の上界および下界の一様有界性）を用いて、曲率の事前推定を行う。
• ハーナック不等式およびエヴァンズ＝クリロフ定理を用いて、スケーリングされた支持関数のホルダー連続性およびC2,γ正則性を確立する。
• シュアウダー推定およびブートストラップ法を用いて、スケーリングされた解の正則性をC∞にまで高める。
• 積分量˜I(τ)の単調性を分析し、極限が˜Kα∗ = ˜C∗˜S∗ を満たさない場合に矛盾が生じることを示し、極限方程式が成立することを確認する。

実験結果

リサーチクエスチョン

• RQ1 αのどの値に対して、α-Gauss曲率流れは初期超曲面の厳密な凸性と滑らかさを保つのか？
• RQ2 時間tが最大存在時間T∗に近づくにつれて、スケーリングされた超曲面の漸近的挙動はいかなるものか？
• RQ3 スケーリングされた解の部分列は、厳密な凸な極限多様体に収束するのか？ もし収束するならば、その極限が満たすPDEは何か？
• RQ4 積分量˜I(τ)の単調性は、スケーリングされた流れの極限を特徴付ける上で果たす役割は何か？
• RQ5 スケーリングされた支持関数の極限が、ほとんど everywhere で˜Kα∗ = ˜C∗˜S∗ を満たすための条件は何か？

主な発見

• 1/n < α ≤ 1 かつ R^{n+1}における滑らかで厳密な凸な初期超曲面に対して、α-Gauss曲率流れは、[0, T∗)で一意の滑らかな解Σtが存在し、t → T∗のとき点に収縮する。
• スケーリングされた超曲面˜Στの主曲率は一様に有界であり、ある有限なM > 0に対して1/M ≤ ˜λmin ≤ ˜λmax ≤ Mを満たす。
• 任意の列τi → ∞に対して、部分列τikが存在し、スケーリングされた多様体˜ΣτikがC∞ノルムで厳密な凸C∞多様体˜ΣT∗に収束する。
• 極限の支持関数˜S∗は、ある正の定数˜C∗に対してほとんど everywhere で方程式˜Kα∗ = ˜C∗˜S∗ を満たす。
• 積分量˜I(τ)は時間に関して非増加であり、極限が˜Kα∗ = ˜C∗˜S∗ を満たさない限り−∞に収束するが、これは矛盾を引き起こす。よって極限方程式が正当化される。
• スケーリングされた解˜SはC1,1正則であり、一様放物型偏微分方程式を満たすため、シュアウダー理論およびブートストラップ法を適用してC∞正則性が得られる。