[論文レビュー] Allen-Cahn Approximation of Mean Curvature Flow in Riemannian manifolds I, uniform estimates

Adriano Pisante, Fabio Punzo|arXiv (Cornell University)|Aug 2, 2013

Nonlinear Partial Differential Equations参考文献 19被引用数 6

ひとこと要約

本稿では、リッチ曲率が下から有界なリーマン多様体上におけるアレン＝キャーン方程式について、一様なエネルギー推定を確立し、極限エネルギー不一致の非正性を証明するとともに、弱いホイスキエン型単調性公式を導出する。これらの結果により、小スケールにおけるエネルギー密度の局所的一様制御が可能となり、空間形式における平均曲率流への収束を示す基盤が築かれる。これは、既存のユークリッド空間における結果の拡張である。

ABSTRACT

We are concerned with solutions to the parabolic Allen-Cahn equation in Riemannian manifolds. For a general class of initial condition we show non positivity of the limiting energy discrepancy. This in turn allows to prove almost monotonicity formula (a weak counterpart of Huisken's monotonicity formula) which gives a local uniform control of the energy densities at small scales. Such results will be used in [40] to extend previous important results from [31] in Euclidean space, showing convergence of solutions to the parabolic Allen-Cahn equations to Brakke's motion by mean curvature in space forms.

研究の動機と目的

• ユークリッド空間からリッチ曲率が有界なリーマン多様体へ、アレン＝キャーン解の平均曲率流への収束を拡張すること。
• 弱い単調性公式を通じて、小スケールにおけるエネルギー密度の均一制御を確立すること。
• 極限エネルギー不一致の非正性を証明し、これは、ブレーケの公式およびホイスキエンの公式を曲がった多様体へ拡張するための鍵となるステップである。
• 空間形式におけるブレーケの平均曲率運動への収束を示すための解析的基盤を提供すること、後続の研究[40]で詳細に示される。
• 均一推定とコンパクトネスを用いて、一般のリーマン多様体上における平均曲率流の古典的アレン＝キャーン近似を一般化すること。

提案手法

• 極限エネルギー不一致の非正性を証明することで、弱いホイスキエン型単調性公式を導出する。これは、主要な技術的進歩である。
• 初期データの構成と界面構造の解析に、1次元の静止波解 $ q^\varepsilon $ をモデルプロファイルとして用いる。
• 局所 $ L^1 $ および $ BV_{\text{loc}} $ 空間における一様エネルギー境界とコンパクトネスの議論を用いて、収束する部分列を抽出する。
• 位相変数の制御と極限における正則性を保証するために、変換 $ \mathcal{F}(u) = \int_0^u \sqrt{F(\tau)}\,d\tau $ を用いる。
• 部分積分およびヤングの不等式を用いて、エネルギー密度および時間微分に関する一様境界を確立する。
• 符号付き距離関数と性質 $ |\nabla r^\varepsilon| \leq 1 $ を用いて、重要なエネルギー不一致推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率が有界なリーマン多様体上におけるアレン＝キャーン方程式は、既知のユークリッド空間における結果を拡張して、平均曲率流を近似できるか。
• RQ2 曲がった幾何における小スケールにおけるエネルギー密度を制御するために必要な均一推定は何か。
• RQ3 古典的公式が成立しないリーマン多様体上において、ホイスキエンの単調性公式の弱い版をどのように確立できるか。
• RQ4 極限エネルギー不一致が非正であることを保証する条件は何か。これにより単調性制御が可能になる。
• RQ5 多様体上における平均曲率流の文脈で、アレン＝キャーン方程式の解のコンパクトネスおよび収束をどのように確立できるか。

主な発見

• すべての $ t \geq 0 $、$ \varepsilon > 0 $ に対して、極限エネルギー不一致 $ d\xi^\varepsilon_t \leq 0 $ が証明され、これは弱い単調性公式を導出する上で不可欠である。
• 弱いホイスキエン型単調性公式を通じて、小スケールにおけるエネルギー密度の局所的均一制御が達成される。
• エネルギー密度 $ d\mu^\varepsilon_t $ は、制御された不一致項を含むブレーケ型不等式を満たす。
• コンパクト集合 $ K $ および $ t \in [0,T] $ に対して、$ \varepsilon \int_K E^\varepsilon(x,t)\,d\mathcal{V} \leq C(K,T) $ という一様境界が確立される。
• $ \mathcal{F}(u^\varepsilon) $ が $ C^{0,\alpha}_{\text{loc}}([0,\infty); L^1_{\text{loc}}(M)) $ でコンパクトであることが示され、$ \alpha < 1/2 $ のとき、極限関数 $ v $ への収束が可能になる。
• 極限位相関数 $ u^* = \mathcal{F}^{-1}(v) $ は a.e. で $ |u^*| = 1 $ を満たし、ほとんどすべての $ t > 0 $ に対して局所的 $ (N-1) $-可縮なジャンプ集合を持つ。これは平均曲率流と整合的である。