[論文レビュー] Invariant measures for a stochastic Kuramoto-Sivashinky equation

Benedetta Ferrario|ArXiv.org|May 23, 2007

Nonlinear Dynamics and Pattern Formation参考文献 12被引用数 3

ひとこと要約

本稿では、経路的一意性、再起性、強Feller性を用いて、加法的ノイズを伴う確率的 Kuramoto-Sivashinsky 方程式に対して、不変測度の存在と一意性を確立する。弱いノイズ仮定のもとで、解が生成するマルコフ半群が、正則性空間上で再起的かつ強Feller的であることを証明し、これによりエルゴード性および $ D(A^\alpha) $ 上に集中する唯一の不変測度が得られる。ここで $ \alpha $ はノイズの正則性パラメータ $ \gamma $ に依存する特定の条件を満たす。さらに、エネルギー型不等式に対するグローバルの補題を用いた事前推定とグローバル型の議論により、高階正則性空間への結果の拡張がなされる。

ABSTRACT

For the 1-dimensional Kuramoto-Sivashinsky equation with random forcing term, existence and uniqueness of solutions is proved. Then, the Markovian semigroup is well defined; its properties are analyzed, in order to provide sufficient conditions for existence and uniqueness of invariant measures for this stochastic equation. Finally, regularity results are presented.

研究の動機と目的

• 加法的ノイズを伴う確率的 Kuramoto-Sivashinsky 方程式に対して、不変測度の存在と一意性を確立すること。
• 混沌とした経路的ダイナミクスにもかかわらず、解の長期的統計的挙動を分析すること。
• 先行研究と比較して、ノイズに関する仮定を弱めるようにすることにより、より一般なノイズ構造を許容すること。
• 基本空間 $ H $ から高階正則性空間 $ D(A^\alpha) $ への正則性結果の拡張を図ることで、より強いエルゴード性特性を可能にすること。
• 解の関連するマルコフ半群 $ \{P_t\} $ が、$ D(A^\alpha) $ 上で再起的かつ強Feller的であることを証明し、不変測度の一意性とエルゴード性を保証すること。

提案手法

• 演算子 $ A $、$ D(A) $、$ D(A^\alpha) $ を用いて、ヒルベルト空間におけるイto型確率微分方程式として、確率的 Kuramoto-Sivashinsky 方程式を定式化する。ここで $ A = -\partial_{xx} $ である。
• 経路的一意性と事前推定を適用し、$ C([0,T];H) \cap L^2(0,T;D(A)) $ 内での解の存在と一意性を証明する。
• エネルギー型不等式に $ |A^\alpha v_a|^2 $ を含むものに対してグローバルの補題を適用し、$ \alpha = 1 $ からより高い $ \alpha $ への正則性の伝播を示し、$ v_a \in C([0,T];D(A^\alpha)) \cap L^2(0,T;D(A^{1+\alpha})) $ を確立する。
• 成長の制御と $ D(A^\alpha) $ 上での強Feller性の証明のため、切断関数 $ \theta_R(|A^\alpha u|^2) $ を導入する。
• ヒルベルト空間 $ H $ 上での再起性を引き継ぐことで、$ D(A^\alpha) $ 上でも再起性を確立する。これは、$ H $ 上の開集合が $ D(A^\alpha) $ 上でも開集合を誘導するという事実に依拠する。
• 演算子 $ G = LA^\gamma $ が $ D(A^{1+\alpha}) $ を含む範囲を持つようにするための $ \gamma $ の条件を導出し、これにより (6.9) を満たす $ \alpha $ に対して強Feller性が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 加法的ノイズを伴う確率的 Kuramoto-Sivashinsky 方程式は、先行研究と比較してより弱いノイズ仮定のもとで、唯一の不変測度を有するか？
• RQ2 解に関連するマルコフ半群が、高階正則性空間 $ D(A^\alpha) $ 上で再起的かつ強Feller的であることを示せるか？
• RQ3 ノイズの正則性パラメータ $ \gamma $ に応じて、強Feller性および再起性が成立する最適な正則性 $ \alpha $ は何か？
• RQ4 解の正則性は時間経過とともに高階ノルムを介してどのように伝播するか？また、$ \alpha > 1 $ に対して $ |A^\alpha u(t)| $ が有界であるための条件は何か？
• RQ5 不変測度がエルゴード的であるための条件は何か？また、解の長期的挙動は、法則の意味で不変測度にどのように収束するか？

主な発見

• 加法的ノイズを伴う確率的 Kuramoto-Sivashinsky 方程式は、ノイズ作用素 $ G = LA^\gamma $ が $ \gamma < \frac{3}{4} $ を満たし、$ L $ が $ H $ 上で同型写像である限り、唯一の不変測度 $ \mu $ を持つ。
• 不変測度 $ \mu $ は、$ \gamma < -1 $ のとき $ E = D(A^\alpha) $ 上に集中し、$ \gamma \geq -1 $ のとき $ H $ 上に集中する。ここで $ \alpha $ は (6.9) に示される条件を満たす。
• マルコフ半群 $ \{P_t\} $ は、すべての $ t > 0 $ に対して $ D(A^\alpha) $ 上で再起的かつ強Feller的である。ここで $ \alpha $ は (6.9) に示される $ \gamma $ に依存する境界条件を満たす。
• 解 $ u $ は、(6.9) で定義される閾値まで、すべての $ \alpha $ に対して $ u \in C([0,T];D(A^\alpha)) \cap L^2(0,T;D(A^{1+\alpha})) $ を満たす。これは、帰納法とエネルギー推定に対するグローバルの補題を用いて確立される。
• すべての $ y \in E $ に対して、遷移確率 $ P(t,y,\cdot) $ は不変測度 $ \mu $ と同等であり、系はエルゴード的である。すなわち、時間平均はほとんど確実に空間平均 $ \int \phi \, d\mu $ に収束する。
• 本研究の結果は、[4] や [5] よりも弱いノイズ仮定のもとで得られており、奇関数に制限しないという点で、イオンスパッタリングなどの物理的モデルへの適用範囲を拡張している。