[論文レビュー] Large deviations for slow-fast stochastic partial differential equations

Wei WangA, J. Roberts+1 more|arXiv (Cornell University)|Jan 26, 2010

Stochastic processes and financial applications参考文献 45被引用数 3

ひとこと要約

本稿は、結合された成分を有する遅い-速い確率偏微分方程式（SPDE）に対して、大偏差原理（LDP）を確立する。この研究では、遅い成分のレート関数が、平均化された方程式に小さなガウスノイズ項を加えたものと等価であることを証明し、小ノイズおよび高速スケール分離の下で、平均化されたダイナミクスに確率的ずれを加えた近似が有効であることを確認する。

ABSTRACT

A large deviation principle is derived for stochastic partial differential equations with slow-fast components. The result shows that the rate function is exactly that of the averaged equation plus the fluctuating deviation which is a stochastic partial differential equation with small Gaussian perturbation. This also confirms the effectiveness of the approximation of the averaged equation plus the fluctuating deviation to the slow-fast stochastic partial differential equations.

研究の動機と目的

• 遅い-速いSPDEに大偏差原理（LDP）を導出すること。ここには、確率的および決定論的成分が結合されたものも含む。
• 遅い成分を平均化された方程式に加えて小さなガウスノイズ項を加えた近似の妥当性を検証すること。
• 小ノイズを伴うマルチスケールSPDEにおける準安定状態およびレアイベント確率の解析。
• フリードリン＝ウェントツェル理論を、2つの時間スケールを持つ無限次元で結合されたSPDE系へと拡張すること。
• 複雑な確率的システムのモデリングにおいて、平均化されたSPDEにずれ項を加えたものの使用に対する厳密な正当化を提供すること。

提案手法

• 遅い成分 $ u^\epsilon $ と速い成分 $ v^\epsilon $ を有する結合SPDEのクラスに対してLDPを導出する。ここで $ \epsilon \to 0 $ である。
• 補助系と縮約原理を用いて、元の系のLDPを、小さなガウスノイズを有する摂動された平均化SPDEのLDPに結びつける。
• 指数的タイトネスの推定を用いて、SPDEの無限次元性に対処し、LDPの収束を保証する。
• マーチングレートに基づく近似法を用いて、ずれ $ u^\epsilon - u $ が漸近的に $ \sqrt{\epsilon} z(t) $ に近似されることを示す。ここで $ z(t) $ はガウス過程である。
• 多重スケール法と確率的平均化を用いて、遅い成分および速い成分の明示的近似を構築し、高次の補正項も含む。
• ピッチフォーク分岐点付近の確率的反応拡散SPDEの詳細な例を通じて、LDP近似の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 遅い-速いSPDEにおける大偏差原理は、平均化された方程式に小さなガウス摂動を加えた形に帰着するか？
• RQ2 小ノイズおよび高速スケール分離の下で、遅い成分の平均化ダイナミクスに確率的ずれを加えた近似はどの程度正確か？
• RQ3 非自励的変換が存在する場合でも、補助系と縮約原理を用いて元の系のLDPを導出できるか？
• RQ4 速い成分のエルゴード性とノイズ強度が、遅い成分のレート関数に果たす役割は何か？
• RQ5 振幅ダイナミクスにおける高次の補正項は、元の系と平均化系との対応関係にどのように影響するか？

主な発見

• 遅い成分 $ u^\epsilon $ のレート関数は、小さなガウスノイズ項を加えた平均化SPDEのものと正確に同一であり、LDP構造が裏付けられた。
• ずれ $ u^\epsilon(t) - u(t) $ は漸近的に $ \sqrt{\epsilon} z(t) $ に近似され、ここで $ z(t) $ はガウス過程である。これにより、ずれ項の妥当性が裏付けられた。
• 指数的タイトネスと補助系への縮約原理を適用することで、非自励的速いダイナミクスに起因する問題を克服し、元の系のLDPが導出された。
• LDP-平均化SPDEから導かれる超遅い多様体ダイナミクスは、元の系と $ \mathcal{O}(\epsilon) $ の誤差の範囲で一致し、構造的一致性が確認された。
• ピッチフォーク分岐点付近の例では、LDP-平均化系が $ \mathcal{O}(\epsilon) $ の精度で畳み込み項とノイズ項を正しく再現した。
• 元の系と平均化系との間の対応関係は弱収束よりも強く、振幅方程式における畳み込み構造が同一であることに起因する。