[论文解读] Ergodicity of the 2D Navier-Stokes Equations with Degenerate Stochastic Forcing

Martin Hairer, Jonathan C. Mattingly|arXiv (Cornell University)|Jun 4, 2004

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

一句话总结

本文通过引入渐近强Feller性质和近似分部积分公式，建立了在退化随机扰动下二维Navier-Stokes方程的遍历性。证明了遍历性在与粘性系数和噪声强度无关的Hörmander型条件下成立，提供了噪声支撑的几何表征，即使噪声仅作用于四个傅里叶模态，也能确保唯一不变测度。

ABSTRACT

The stochastic 2D Navier-Stokes equations on the torus driven by degenerate noise are studied. We characterize the smallest closed invariant subspace for this model and show that the dynamics restricted to that subspace is ergodic. In particular, our results yield a purely geometric characterization of a class of noises for which the equation is ergodic in $Ł^2_0(\TT^2)$. Unlike previous works, this class is independent of the viscosity and the strength of the noise. The two main tools of our analysis are the extit{asymptotic strong Feller} property, introduced in this work, and an approximate integration by parts formula. The first, when combined with a weak type of irreducibility, is shown to ensure that the dynamics is ergodic. The second is used to show that the first holds under a H{ö}rmander-type condition. This requires some interesting nonadapted stochastic analysis.

研究动机与目标

• 在仅作用于有限个傅里叶模态的退化随机扰动下，建立二维Navier-Stokes方程的遍历性。
• 刻画动力系统在其中为遍历的最小闭不变子空间，且该刻画与粘性系数和噪声强度无关。
• 通过用非自适应设定下的新分析框架替代Girsanov定理，为随机场椭圆SPDEs建立新分析工具。
• 证明渐近强Feller性质与弱不可约性结合，可推出无限维随机系统中的遍历性。
• 提供关于噪声支撑的精确几何条件（通过Hörmander型条件），确保即使在不稳定模态上无非退化噪声时，系统仍具遍历性。

提出的方法

• 在退化、超椭圆SPDEs中，将渐近强Feller性质引入作为强Feller性质的替代。
• 利用近似分部积分公式，证明在噪声支撑满足Hörmander型条件时，渐近强Feller性质成立。
• 采用高/低模态分解，将动力系统分离为慢（低）模态和快（高）模态，以控制非线性相互作用。
• 采用非自适应随机分析方法，处理无限维设定下的Malliavin微积分，这对推导分部积分公式至关重要。
• 利用Jacobian的先验界和插值不等式，控制高频模态中解的增长。
• 借助[MP06]中关于Malliavin矩阵正则性的结果，支持在非自适应背景下的分部积分论证。

实验结果

研究问题

• RQ1 当噪声支撑满足何种几何条件时，即使噪声退化且仅作用于有限个傅里叶模态，二维Navier-Stokes方程仍具遍历性？
• RQ2 能否在退化噪声的无限维SPDEs中建立并应用渐近强Feller性质以证明遍历性？
• RQ3 是否可能在无限维、非自适应设定下，通过新型分部积分公式替代Girsanov定理？
• RQ4 当噪声满足Hörmander型条件时，二维Navier-Stokes方程的遍历性是否依赖于粘性系数或噪声强度？
• RQ5 动力系统在其中为遍历的最小闭不变子空间是什么？其几何特征如何刻画？

主要发现

• 若噪声满足Hörmander型条件，则限制在最小闭不变子空间上的动力系统具遍历性，且与粘性系数和噪声强度无关。
• 即使噪声仅作用于四个傅里叶模态，系统仍具遍历性，提供了噪声支撑的精确几何条件。
• 渐近强Feller性质与弱不可约性结合，可确保无限维系统的遍历性。
• 构造并使用了近似分部积分公式，以在Hörmander型条件下验证渐近强Feller性质。
• 不变测度唯一且具有平移不变性，这是由系统的遍历性以及方程本身的平移不变性所决定。
• 在给定框架下，噪声支撑的几何条件是遍历性的必要条件，因此结果是精确的。