[论文解读] Invariance measures of stochastic 2D Navier-Stokes equations driven by $\alpha$-stable processes

Zhao Dong, Lihu Xu+1 more|arXiv (Cornell University)|Mar 27, 2011

Stochastic processes and financial applications参考文献 8被引用 15

一句话总结

该论文在 Lévy 测度满足矩条件 (Hθ) 的前提下，建立了由一般柱状 Lévy 过程（包括 α-稳定过程）驱动的二维随机 Navier-Stokes 方程的适定性。通过能量估计与 Bogoliubov-Krylov 方法，证明了不变测度的存在性，将经典结果推广至具有无限维 Lévy 白噪声的非高斯、跳跃驱动的湍流模型。

ABSTRACT

In this note we prove the well-posedness for stochastic 2D Navier-Stokes equation driven by general L\'evy processes (in particular, $\alpha$-stable processes), and obtain the existence of invariant measures.

研究动机与目标

• 将二维随机 Navier-Stokes 方程的适定性理论推广至一般 Lévy 噪声，特别是缺乏二阶矩的 α-稳定过程。
• 建立由此产生的不连续、跳跃驱动的随机 PDE 系统的不变测度存在性。
• 通过引入一种新型 θ 阶矩估计，克服 α-稳定噪声导致的无限方差所引发的经典能量估计失效问题。
• 为二维 Navier-Stokes 方程在无散向量场的希尔伯特空间中，基于柱状 Lévy 过程，提供严格的路径上解理论。

提出的方法

• 针对 Lévy 测度与系数引入 θ ∈ (0,1] 的广义矩条件 (Hθ)，确保噪声在 H₀ 中的可积性。
• 在 H₋₁ 中的右连左极路径的 Skorokhod 拓扑下处理逼近序列的弱收敛与紧性。
• 应用 Aldous 的紧性准则，并结合改进的 Bogoliubov-Krylov 方法，证明不变测度的存在性。
• 利用 Lévy-Itô 分解，将柱状 Lévy 过程表示为补偿泊松积分与大跳跃之和。
• 通过能量方法与 H"older 不等式，在 H₀ 与 H¹ 范数下建立先验估计，利用 (Hθ) 条件。
• 通过 Skorokhod 嵌入与 Fatou 引理，实现逼近序列的极限传递，验证解在分布意义下满足 SPDE。

实验结果

研究问题

• RQ1 当驱动噪声为缺乏二阶矩的 α-稳定 Lévy 噪声时，二维随机 Navier-Stokes 方程是否仍适定？
• RQ2 在一般 Lévy 噪声下，即使噪声为纯不连续且非高斯时，解过程是否仍存在不变测度？
• RQ3 经典能量估计方法能否被调整以处理 α-稳定噪声导致的有限方差缺失问题？
• RQ4 对 Lévy 测度的何种矩条件可确保解在 H₀ 中存在右连左极版本？
• RQ5 在给定的噪声假设下，不变测度是否唯一，或系统是否表现出遍历性？

主要发现

• 在 (Hθ) 条件下，由一般柱状 Lévy 过程驱动的随机二维 Navier-Stokes 方程在 H₀ 中存在唯一的强解，且路径为右连左极。
• 解满足先验估计：E[sup_{s∈[0,t]} ||u_s||_θ^θ] + E[∫₀ᵗ ||∇u_s||₀² (||u_s||₀² + 1)^{1−θ/2} ds] ≤ C(1 + ||ϕ||₀^θ + t)，其中 C 依赖于 Hθ 与 θ。
• 通过经典 Bogoliubov-Krylov 方法，在 (H₀, B(H₀)) 上建立了不变测度 µ 的存在性，其依赖于先验估计。
• 不变测度满足不变性性质：∫ H₀ E[Φ(u_t(ϕ))] µ(dϕ) = ∫ H₀ Φ(ϕ) µ(dϕ)，对所有有界可测 Φ 成立。
• (Hθ) 条件确保 E||L_t||₀^θ < ∞，并保证 H₀ 中 Lévy 过程的右连左极版本存在。
• 证明依赖于 D(R₊; H₋₁) 中的紧性、弱收敛，以及通过 Skorokhod 嵌入与 Fatou 引理实现的极限传递，以保持 SPDE 结构。