[論文レビュー] Stochastic Partial Differential Equations on Evolving Surfaces and Evolving Riemannian Manifolds

Charles M. Elliott, Martin Hairer+1 more|arXiv (Cornell University)|Aug 29, 2012

Nonlinear Partial Differential Equations参考文献 15被引用数 3

ひとこと要約

本稿は、変分的アプローチを用いて、時間的に変化するリーマン多様体上の確率的偏微分方程式（SPDE）の存在および一意性を定式化し、確立する。これは、確率的計量を伴う移動表面や多様体へのSPDE理論の拡張を実現する。コンパクトで向き付け可能かつ時間的に変化する超曲面および一般の時間的に変化するリーマン多様体上におけるSPDEの厳密なフレームワークを提供し、p-ラプラシアン＝ベルトラミ作用素のような非線形作用素を含む。幾何的進化の下での確率的熱方程式への応用が含まれる。

ABSTRACT

We formulate stochastic partial differential equations on Riemannian manifolds, moving surfaces, general evolving Riemannian manifolds (with appropriate assumptions) and Riemannian manifolds with random metrics, in the variational setting of the analysis to stochastic partial differential equations. Considering mainly linear stochastic partial differential equations, we establish various existence and uniqueness theorems.

研究の動機と目的

• 数学文献において不足している点を補うために、リーマン多様体上におけるSPDEの変分的枠組みを構築すること。
• 計量が時間的に変化するか確率的である移動表面や時間的に変化するリーマン多様体へのSPDE理論を拡張すること。
• 線形および非線形SPDE、特に確率的熱方程式およびp-ラプラシアン＝ベルトラミ方程式の、幾何的に変化する定義域上での存在および一意性を確立すること。
• 進化を時間依存計量として再解釈することにより、移動多様体上での自然なノイズ構造の使用を可能にすること。これは、技術的仮定の下で表面ベースの定式化と同等である。
• 将来の研究の基盤を築くこと。特に、多様体値解を伴うSPDEおよびトポロジー的・計量的進化下での長期的挙動に関する研究の基盤を提供すること。

提案手法

• PrévôtとRöckner（2007）に従い、時間的に変化する多様体上の関数のヒルベルト空間における解を定義するため、SPDEの変分的アプローチを採用する。
• コンパクトなリーマン多様体上でのソボレフ空間を定義し、コーエルシビティおよびコンパクトネスを保証するためのピカールの不等式を証明する。
• 幾何的保存則を用いて、時間的に変化する超曲面上でのSPDEを定式化し、法線速度による進化を伴う確率的熱方程式を導出する。
• 時間的変化する計量を持つ単一の多様体として時間的に変化する多様体を再解釈することで、より自然なノイズの選択が可能となり、技術的仮定の下で表面ベースの定式化と同等であることを示す。
• 計量テンソル $ g_{ij} $ を用いて局所座標におけるラプラシアン＝ベルトラミ作用素およびp-ラプラシアン＝ベルトラミ作用素を定式化し、ヒルベルト＝シュミット作用素がウィーナー過程に作用する形で確率的項を記述する。
• 解に依存する空間における循環的依存性を回避するため、等方的計量進化を仮定し、代替の解空間または粘性解のような代替の解の概念を検討する。

実験結果

リサーチクエスチョン

• RQ1 変分的アプローチを、時間的に変化するリーマン多様体、特に多様体自体が時間的に変化する場合にどのように拡張できるか。
• RQ2 法線速度に従って進化する移動超曲面上でのSPDEの解の存在および一意性を保証する条件は何か。
• RQ3 進化が表面の族ではなく時間的変化する計量によって記述される場合、SPDEの定式化はどのように変化するか。
• RQ4 p-ラプラシアン＝ベルトラミ作用素のような非線形微分作用素を含むSPDE理論は、時間的に変化する定義域に拡張可能か。
• RQ5 計量または表面が確率的に進化する場合、多様体のトポロジー的変化を伴う長期的挙動にどのような影響が生じるか。

主な発見

• 標準的な変分的仮定（H1–H4）の下で、コンパクトで向き付け可能かつ時間的に変化するリーマン多様体上における線形SPDEの存在および一意性が確立された。
• 法線速度に従って進化する移動表面における確率的熱方程式について、点が法線方向にのみ移動し、表面がコンパクトかつ境界を持たないという仮定の下で、存在および一意性が証明された。
• p-ラプラシアン＝ベルトラミ作用素を含む非線形確率的熱方程式は、一般の移動表面上で一意に解を有することが示された。非線形性は微分項ではなく、拡散項にのみ存在する。
• 技術的仮定の下で、時間的変化する計量を用いたSPDEの定式化が、表面ベースの定式化と同等であることが示され、より自然なノイズ構造の選択が可能となった。
• 解空間を定義する際に計量が解に依存するという循環的依存性が同定され、粘性解のような代替の解の概念の必要性が示唆された。
• このフレームワークは、多様体値解を伴うSPDEや、確率的計量的・トポロジカルな進化下での長期的挙動に関する今後の研究への道筋を提供する。