[论文解读] 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）方程不变测度的存在性、唯一性与光滑性。通过一种新颖的期望形式的弱福阿斯-普罗迪估计及大阻尼 regime 下的谱间隙分析，本文证明了指数混合性与唯一遍历性。

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}$ 函数上支撑。
• 在任意阻尼下，当噪声扰动足够多模态时，证明唯一遍历性。
• 在大阻尼 regime 下，通过一力一解型论证建立指数混合性与谱间隙。

提出的方法

• 通过修改运动积分，构造一个能统一控制所有时间尺度下索伯列夫范数的李雅普诺夫结构。
• 引入一种在期望意义下成立的弱福阿斯-普罗迪型估计，该估计源自运动积分的线性化。
• 利用李雅普诺夫结构与弱福阿斯-普罗迪估计，证明当外部扰动光滑时，不变测度在 $C^{ u}$ 函数上支撑。
• 在任意阻尼下，通过渐近耦合框架，证明当足够多模态被随机驱动时，不变测度的唯一性。
• 采用一力一解型论证，在大阻尼 regime 下证明指数混合性与谱间隙。
• 应用克里洛夫-博戈柳博夫论证，从全局矩有界性推导不变测度的存在性。

实验结果

研究问题

• RQ1 能否利用KdV方程的运动积分，在随机、弱阻尼设定下，为所有索伯列夫正则性构造李雅普诺夫函数？
• RQ2 期望形式的弱福阿斯-普罗迪估计是否能为不变测度的更高正则性提供简明证明？
• RQ3 在何种噪声扰动条件下，任意阻尼下的阻尼随机KdV方程具有唯一遍历性？
• RQ4 能否通过谱间隙论证，在大阻尼 regime 下建立指数混合性？
• RQ5 不变测度的正则性如何依赖于外部扰动与噪声的光滑性？

主要发现

• 所有索伯列夫范数的矩在时间上全局有界，从而通过克里洛夫-博戈柳博夫论证保证了不变测度的存在性。
• 当外部扰动与噪声光滑时，由于李雅普诺夫结构与弱福阿斯-普罗迪估计，不变测度在 $C^{ u}$ 函数上支撑。
• 当足够多模态被随机驱动时，通过渐近耦合框架，证明了任意阻尼下的唯一遍历性。
• 在大阻尼 regime 下，通过一力一解型论证，证明了指数混合性与谱间隙。
• 期望形式的弱福阿斯-普罗迪估计是关键的技术工具，使概率正则性与唯一性论证成为可能。
• 结果表明，弱阻尼结合完全可积性可导致强遍历性与混合性，其性质与强阻尼系统显著不同。