[論文レビュー] Entire Graphs Evolving by Powers of the Mean Curvature

Martin Franzen|arXiv (Cornell University)|Dec 19, 2011

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

ひとこと要約

本稿では、平均曲率の正のべき $\rho > 0$ に比例する法線速度を有する幾何学的フロー下で、厳密に凸な全グラフの長期間にわたる存在を確立する。初期グラフに $\nu$-条件を課したもとで、バリア法、ハルナック不等式、および局所的 $C^2$-推定を用いて、解 $u \in C^{2,1}_{\text{loc}}(\mathbb{R}^n \times (0,\infty)) \cap C^0_{\text{loc}}(\mathbb{R}^n \times [0,\infty))$ がすべての時間で厳密に平均凸のままであることを証明し、$\rho=1$ の場合の結果を一般のべきに拡張する。

ABSTRACT

We study convex entire graphs evolving with normal velocity equal to a positive power of the mean curvature. Under mild assumptions we prove longtime existence.

研究の動機と目的

• 幾何的フロー $\partial_t X = -H^\rho \nu$ に対して、厳密に凸な全解の存在を確立すること。
• 既知の結果（$\rho=1$ の平均曲率フロー）および $\rho$-乗数の平均曲率への一般化を、全で非コンパクトな凸グラフに拡張すること。
• 初期データにやや弱い正則性および漸近的法線挙動の仮定を課したもとで、長期間存在を証明すること。
• グラフの変化を記述する放物型偏微分方程式に対して、ハルナック不等式を用いて局所的 $C^2$-推定および下界を確立すること。

提案手法

• 著者らは、フローのグラフィカルな定式化を用い、超曲面を $u: \mathbb{R}^n \to \mathbb{R}$ として表現し、誘導計量および第二基本形式を用いて $u$ の放物型偏微分方程式を導出する。
• 適切に選んだテスト関数に対して最大原理を適用し、ヘッセ行列 $D^2u$ の局所的 $C^2$-推定を導出する。
• 初期データに $\nu$-条件を課す：無限遠における法線ベクトルが連続的変化することにより、グラフの漸近的挙動に対する一様な制御が保証される。
• 解 $\psi(t) = u(\varphi(t),t)$ にハルナック不等式を適用し、ここで $\varphi(t)$ は勾配が最小となる点である。これにより、速度 $\dot{u}$ の正の下界が得られる。
• 解の存在は、コンパクトな凸超曲面 $M^k$ の系列による近似を用いて確立され、同じフロー下で発展させ、滑らかに全解に収束することを示す。
• Schauder理論およびKrylov-Safonov推定を用いて正則性を向上させ、Arzelà-Ascoliの定理により部分列の収束を保証し、全解を得る。

実験結果

リサーチクエスチョン

• RQ1 厳密に凸な全グラフが $\partial_t X = -H^\rho \nu$ ($\rho > 0$) に従って変化するとき、有限時間に特異点を発生させることなく進展するための条件は何か？
• RQ2 $\rho=1$（平均曲率フロー）の長期間存在結果を、全で凸なグラフに対して一般のべき $\rho > 0$ に拡張できるか？
• RQ3 法線ベクトルの漸近的挙動に関する $\nu$-条件が、一様な $C^1$-推定および長期間存在を保証するために果たす役割は何か？
• RQ4 新規のテスト関数を用いた最大原理を用いて、非コンパクトなグラフに対してどのように局所的 $C^2$-推定を確立できるか？
• RQ5 ハルナック型推定を用いて、正の下界を法線速度 $\dot{u}$ に導出し、偏微分方程式の厳密な放物型性を保証できるか？

主な発見

• フロー $\partial_t X = -H^\rho \nu$ に対して、厳密に凸な全解 $u$ がすべての時間 $t \in [0,\infty)$ で存在し、$u \in C^{2,1}_{\text{loc}}(\mathbb{R}^n \times (0,\infty)) \cap C^0_{\text{loc}}(\mathbb{R}^n \times [0,\infty))$ を満たす。
• 解はすべての $t > 0$ で厳密に平均凸のままであり、フローの退化を防ぐ。
• $\nu$-条件（無限遠における法線ベクトルの一様連続性）により、局所的に一様な $C^1$-推定が保証され、構成において不可欠である。
• ヘッセ行列と速度を含むテスト関数に最大原理を適用することで、局所的 $C^2$-推定が得られ、2階微分係数の制御が可能になる。
• ハルナック不等式を用いて、法線速度 $\dot{u}$ の正の下界を導出し、偏微分方程式の厳密な放物型性を示し、Schauder理論の適用を可能にする。
• 解はコンパクト領域上の近似解の滑らかな極限として得られ、Arzelà-Ascoliの定理および正則性推定により収束が保証される。