[论文解读] Second order perturbation theory of two-scale systems in fluid dynamics

Arnaud Debussche, Umberto Pappalettera|arXiv (Cornell University)|Jun 15, 2022

Navier-Stokes equation solutions被引用 8

一句话总结

本文通过二阶摄动理论，严格推导了在流体动力学双尺度系统中具有输运噪声和伊藤-斯托克斯漂移的随机流体模型。通过应用广义摄动测试函数方法，证明了慢分量在极限下依分布收敛于一个具有输运噪声和由快分量不变测度导出的漂移项的随机PDE，该结果适用于二维和三维的纳维-斯托克斯方程、表面准地转方程和原始方程。

ABSTRACT

In the present paper we study slow-fast systems of coupled equations from fluid dynamics, where the fast component is perturbed by additive noise. We prove that, under a suitable limit of infinite separation of scales, the slow component of the system converges in law to a solution of the initial equation perturbed with transport noise, and subject to the influence of an additional Itō-Stokes drift. The obtained limit equation is very similar to turbulent models derived heuristically. Our results apply to the Navier-Stokes equations in dimension $d=2,3$; the Surface Quasi-Geostrophic equations in dimension $d=2$; and the Primitive equations in dimension $d=2,3$.

研究动机与目标

• 在无限时间尺度分离条件下，严格证明慢-快流体系统中输运噪声和伊藤-斯托克斯漂移的出现。
• 将摄动测试函数方法推广至流体动力学模型的偏微分方程。
• 建立慢分量依分布收敛于具有输运噪声和由快动力学不变测度导出的漂移项的随机PDE的结论。
• 通过数学上严谨的框架，验证如Mémin等人提出的启发式随机流体模型。

提出的方法

• 作者使用二阶摄动理论分析带有加性噪声的抽象希尔伯特空间中的耦合慢-快系统。
• 应用专为SPDE设计的摄动测试函数方法的广义版本，将经典均摊化技术推广至PDE。
• 该方法可同时处理输运噪声（来自扩散近似）和伊藤-斯托克斯漂移（来自对快动力学的平均）。。
• 通过概率测度的弱收敛推导极限方程，其紧性在适当的函数空间中得以建立。
• 伊藤-斯托克斯漂移显式计算为快线性化方程不变测度上的积分：$ r = \int (-C)^{-1} b(w,w) \, d\mu(w) $。
• 该分析适用于一大类流体模型，包括二维和三维的纳维-斯托克斯方程、表面准地转方程和原始方程。

实验结果

研究问题

• RQ1 在无限尺度分离条件下，双尺度流体系统的慢分量是否收敛于具有输运噪声和伊藤-斯托克斯漂移的随机PDE？
• RQ2 摄动测试函数方法能否推广至具有快-慢分离的SPDE，以推导二阶修正项？
• RQ3 从具有加性噪声的快-慢系统导出的流体模型中，伊藤-斯托克斯漂移的精确数学表达式是什么？
• RQ4 输运噪声和漂移如何从快分量不变测度的统计特性中产生？
• RQ5 该框架能否应用于复杂流体模型，如原始方程或表面准地转方程？

主要发现

• 当 $ \epsilon \to 0 $ 时，慢分量 $ u^\epsilon $ 依分布收敛于具有输运噪声和伊藤-斯托克斯漂移速度 $ r $ 的随机PDE的解。
• 伊藤-斯托克斯漂移被严格推导为 $ r = \int (-C)^{-1} b(w,w) \, d\mu(w) $，其中 $ \mu $ 为快线性化方程的不变测度。
• 极限方程与Mémin等人提出的启发式模型一致，为其在随机流体动力学中的应用提供了严格的数学基础。
• 该方法适用于二维和三维的纳维-斯托克斯方程、表面准地转方程和原始方程，展现出广泛适用性。
• 在路径唯一性条件下，收敛性成立，确保整个序列 $ u^\epsilon $ 依概率收敛于极限。
• 该分析建立了紧性与弱拓扑下的强收敛性，确认了在 $ C([0,T]; H_w) \cap L^2([0,T]; H^1) $ 中存在一个定义良好的极限过程。