[論文レビュー] Exponential Mixing for 3D Stochastic Primitive Equations

Zhao Dong, Jianliang Zhai+1 more|arXiv (Cornell University)|Jun 29, 2015

Stochastic processes and financial applications参考文献 18被引用数 4

ひとこと要約

本稿は、粘性が正に保たれ、ノイズが滑らかで非退化であるという緩い条件下で、3次元確率的原始方程式の弱解に対して指数的混合性を確立する。カップリング法と強解の一意性を用いて、ガラーキン近似から得られるすべての弱解が同じ不変測度を持つことを証明し、強解の不変測度の一意性を保証する。これは、確率的気象流体力学分野における未解決問題を解決する。

ABSTRACT

In this paper, we prove that weak solutions of 3D stochastic primitive equations have exponential mixing property if the noise is sufficiently smooth and non-degenerate. With the help of uniqueness of strong solution of 3D stochastic primitive equations, we obtain that all weak solutions which are limitations of Galerkin approximations share the same invariant measure. In particular, the invariant measure of strong solution is unique. The coupling method plays a key role.

研究の動機と目的

• 最小限の粘性およびノイズの正則性条件下で、3次元確率的原始方程式の弱解に対して指数的混合性を確立すること。
• ガラーキン近似の極限として得られるすべての弱解が同じ不変測度を持つことを示すこと。
• 強解の不変確率測度の一意性を証明し、先行研究を拡張すること。
• 3次元ストークス方程式と比較して、原始方程式に由来する高階非線形項に起因する技術的困難を克服すること。

提案手法

• オダッソが提唱したカップリング法を採用し、ガラーキン近似のカップリングを構築する。その際、一致確率に3/4の均一な下界を確保する。
• 非線形項を制御するため、H₃ノルムにおける小さな球条件を課す。これは、3次元確率的ストークス方程式と比較して1階高い。
• 強マルコフ性と小さな球からの抜けるまでの時間の推定を用いて、到達時間の指数的モーメントを確立する。
• 非線形項および確率的項を制御するため、高階ソボレフノルム推定（L⁶、H²、H³）を用いる。
• 強解の一意性に依存して、システム全体の不変測度の一意性を導出する。
• フレイドリン＝ウェンツェル型の大偏差原理およびエルゴード理論の道具を用いて、長期的挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 3次元確率的原始方程式の弱解は、粘性およびノイズの正則性が最小限に抑えられた条件下でも指数的混合性を示すか？
• RQ2 ガラーキン近似の極限として得られるすべての弱解は、同じ不変測度に収束するか？
• RQ3 3次元確率的原始方程式の強解の不変測度は一意的か？
• RQ4 カップリング法は、ストークス方程式と比較して高階非線形性を有する原始方程式に対しても適応可能か？
• RQ5 強解の一意性は、不変測度の一意性を確立するために果たす役割は何か？

主な発見

• ノイズが十分に滑らかで非退化であり、粘性が正に保たれる限り、3次元確率的原始方程式の弱解に対して指数的混合性が成立する。
• ガラーキン近似の極限として得られるすべての弱解は、同じ不変測度を持つ。これは、異なる解の種類においても統計的定常状態が一意に定まることを示唆する。
• 強解の不変測度は一意に定まる。これは、確率的原始方程式の文献における重要な未解決問題を解決する。
• 高階非線形性にもかかわらず、カップリング法により一致確率に3/4の均一な下界を有するカップリングを構築するのに成功した。
• 垂直微分を含む非線形項を制御するため、新規の高階ソボレフノルム推定（L⁶、H²、H³）が必要であった。
• H₃空間における小さな球への到達時間の指数的モーメントの存在が確立された。これは、指数的エルゴード性を証明する上で重要な段階であった。