[論文レビュー] Ergodicity of Stochastic Curve Shortening Flow in the Plane

Abdelhadi Es–Sarhir, M.-K. von Renesse|arXiv (Cornell University)|Mar 10, 2010

Stochastic processes and financial applications参考文献 11被引用数 7

ひとこと要約

本稿では、加法的ノイズによって駆動される平面内における確率的曲線短縮フローの適切な定式化とエルゴード性を、退化した非線形確率偏微分方程式（SPDE）に対して変分的枠組みを用い、強制性の代わりにライアプノフ型条件を導入することで確立する。主な貢献は、e-性質とコンパクトな下位集合を有するライアプノフ関数を用いてエルゴード性を証明し、加法的ノイズを伴う非強制的平均曲率型SPDEへの理論の拡張である。

ABSTRACT

We study a model of the motion by mean curvature of an (1+1) dimensional interface in a 2D Brownian velocity field. For the well-posedness of the model we prove existence and uniqueness for certain degenerate nonlinear stochastic evolution equations in the variational framework of Krylov Rozovskii, replacing the standard coercivity assumption by a Lyapunov type condition. Ergodicity is established for the case of additive noise, using the lower bound technique for Markov semigroups by Komorowski, Peszat and Szarek

研究の動機と目的

• 標準的な強制性が欠如する状況下でも、平面内における退化した確率的曲線短縮フローの適切な定式化を確立すること。
• 強制性の代わりにライアプノフ型条件を用いる非線形SPDEのための変分的枠組みを構築すること。
• 加法的ノイズ下での一般化解のエルゴード性を、e-性質とライアプノフ関数のコンパクトな下位集合を用いて証明すること。
• 確率的PDE理論の適用範囲を、退化したドリフト作用素を有する幾何学的フローへ拡張すること。

提案手法

• Gelfandの三重体 $ H_0^1([0,1]) \subset L^2([0,1]) \subset H^{-1}([0,1]) $ 内で、確率的曲線短縮フローを非線形SPDEとして定式化する。
• Krylov-Rozovskiïの枠組みを用い、強制性の代わりにライアプノフ型条件を仮定することで、存在性と一意性を証明する。
• 近似を用いて、初期データが $ L^2 $ に属する場合でも、一般化解を $ L^2([0,1]) $ 上のマルコフ過程として確立する。
• コンパクトな下位集合を有するライアプノフ関数を用いて、関連するFeller半群のe-性質を検証する。
• Komorowski, Peszat, and Szarek [6, Theorem 1] の抽象的エルゴード性基準を適用し、加法的ノイズ下でのエルゴード性を証明する。
• 確率的推定とPoincaré不等式を用いて解の差を制御し、エルゴード性に必要な下界条件を保証する。

実験結果

リサーチクエスチョン

• RQ1 標準的な強制性が成立しない状況下で、退化したドリフトと加法的ノイズを有する確率的曲線短縮フローの適切な定式化は可能か？
• RQ2 Krylov-Rozovskiïの変分的枠組みは、ライアプノフ型条件を用いることで非強制的SPDEへ一般化可能か？
• RQ3 加法的ノイズ下での確率的曲線短縮フローの一般化解はエルゴード的か？
• RQ4 コンパクトな下位集合を有するライアプノフ関数を用いて、このSPDEに関連するマルコフ半群のe-性質を検証可能か？
• RQ5 解過程 $ L^2([0,1]) $ における長期的挙動は何か？ また、一意な不変測度へ収束するか？

主な発見

• 条件 $ \sum_{i=1}^\infty (\text{Lip}(\phi_i))^2 \leq \Lambda^2 $ の下で、SPDE (1.2) は初期データが $ L^2 $ に属する場合でも、$ L^2([0,1]) $ 上のマルコフ過程として一意な一般化解を有する。
• 初期データが $ H_0^1([0,1]) $ に属する場合、解は強い意味で一意に定義され、変分法によって得られる。
• 一般化解はe-性質を満たし、Komorowski, Peszat, and Szarek の下界技術により加法的ノイズ下でエルゴード的であることが示された。
• コンパクトな下位集合を有するライアプノフ関数の存在が、エルゴード性に必要な下界条件の検証を可能にした。
• 遷移確率は、すべての $ \delta > 0 $ と $ x \in L^2([0,1]) $ に対して $ \liminf_{T\to\infty} Q^T(x, B_\delta(0)) > 0 $ を満たし、ゼロ近傍への一様な再帰性が確認された。
• 決定的フローが局所的に均衡へ収束しないにもかかわらず、エルゴード性の結果は成立しており、[6, Theorem 3] に依存する代替基準は不成立である。