[論文レビュー] On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation

Nathan Glatt-Holtz, Vincent R. Martinez+1 more|arXiv (Cornell University)|Mar 24, 2021

Advanced Mathematical Physics Problems被引用数 5

ひとこと要約

この論文は、弱く減衰する、確率的に駆動されるKorteweg-de Vries（KdV）方程式に対して、すべてのソボレフ正則性において、保存量を用いてリャプノフ構造を構築することにより、トーラス上での不変測度の存在、一意性、滑らかさを確立する。また、期待値における新しい弱いFoias-Prodi推定式とスペクトルギャップ解析を用いて、大減衰領域における指数的混合と一意的エルゴドリシティを証明する。

ABSTRACT

This paper considers the damped periodic Korteweg-de Vries (KdV) equation in the presence of a white-in-time and spatially smooth stochastic source term and studies the long-time behavior of solutions. We show that the integrals of motion for KdV can be exploited to prove regularity and ergodic properties of invariant measures for damped stochastic KdV. First, by considering non-trivial modifications of the integrals of motion, we establish Lyapunov structure by proving that moments of Sobolev norms of solutions at all orders of regularity are bounded globally-in-time; existence of invariant measures follows as an immediate consequence. Next, we prove a weak Foias-Prodi type estimate for damped stochastic KdV, for which the synchronization occurs in expected value. This estimate plays a crucial role throughout our subsequent analysis. As a first novel application, we combine the Foias-Prodi estimate with the Lyapunov structure to establish that invariant measures are supported on smooth functions provided that the external driving forces are smooth. We then establish ergodic properties of invariant measures, treating the regimes of arbitrary damping and large damping separately. For arbitrary damping, we demonstrate that the framework of `asymptotic coupling' can be implemented for a compact proof of uniqueness of the invariant measure provided that sufficiently many directions in phase space are stochastically forced. Our proof is paradigmatic for SPDEs for which a weak Foias-Prodi type property holds. Lastly, for large damping, we establish the existence of a spectral gap with respect to a Wasserstein-like distance, and exponential mixing and uniqueness of the invariant measure follows.

研究の動機と目的

• 弱く減衰し、確率的に駆動されるKdV方程式の滑らかな解の長期的統計的挙動を理解すること。
• 保存量から導かれるリャプノフ構造を用いて、不変測度の存在を確立すること。
• 外力が滑らかであるとき、不変測度が$C^{ u}$関数上に台を持つことを証明すること。
• 十分に多くのモードが確率的に駆動される場合、任意の減衰係数に対して一意的エルゴドリシティを示すこと。
• 大減衰領域における指数的混合性とスペクトルギャップを確立すること。

提案手法

• すべてのソボレフノルムを時間に一様に押さえ込むように、保存量を変更してリャプノフ構造を構築すること。
• 線形化された保存量から導かれる、期待値において成り立つ弱いFoias-Prodi型推定式を導入すること。
• リャプノフ構造と弱いFoias-Prodi推定式を用いて、外力とノイズが滑らかな場合に不変測度が$C^{ u}$関数上に台を持つことを証明すること。
• 十分に多くの確率的駆動モードを有する任意の減衰係数に対して、不変測度の一意性を証明するための漸近的カップリングフレームワークを適用すること。
• 指数的混合性と大減衰領域におけるスペクトルギャップを証明するため、1力1解型の議論を展開すること。
• グローバルモーメントバウンズから不変測度の存在を導くために、Krylov-Bogolyubovの議論を適用すること。

実験結果

リサーチクエスチョン

• RQ1 KdV方程式の保存量は、確率的で弱く減衰する設定において、すべてのソボレフ正則性に対してリャプノフ関数を構築するために用いることができるか？
• RQ2 期待値における弱いFoias-Prodi推定式は、不変測度の高正則性の証明を簡略化できるか？
• RQ3 任意の減衰係数を持つ減衰する確率的KdV方程式に対して、一意的エルゴドリシティが成立するためのノイズ駆動の条件は何か？
• RQ4 スペクトルギャップの議論を用いて、大減衰領域における指数的混合性を確立できるか？
• RQ5 不変測度の正則性は、外部駆動力およびノイズの滑らかさにどのように依存するか？

主な発見

• 解のすべてのソボレフノルムのモーメントは、時間にわたってグローバルに有界であり、Krylov-Bogolyubovの議論により不変測度の存在が保証される。
• 外力とノイズが滑らかな場合、リャプノフ構造と弱いFoias-Prodi推定式のおかげで、不変測度は常に$C^{ u}$関数上に台を持つ。
• 十分に多くのモードが確率的に駆動される場合、任意の減衰係数に対して漸近的カップリングフレームワークを用いて一意的エルゴドリシティが確立される。
• 大減衰領域では、1力1解型の議論を用いて指数的混合性とスペクトルギャップが証明される。
• 期待値における弱いFoias-Prodi推定式は、確率的正則性と一意性の議論を可能にする主要な技術的道具である。
• 結果は、弱い減衰と完全可積分性が、強く減衰する系とは異なる強力なエルゴドリシティおよび混合性をもたらすことを示している。