[论文解读] Stochastic 3D Navier-Stokes equations with nonlinear damping: martingale solution, strong solution and small time large deviation principles

Hui Liu, Hui Gao|arXiv (Cornell University)|Aug 29, 2016

Navier-Stokes equation solutions参考文献 22被引用 3

一句话总结

本文建立了带非线性阻尼的随机3D纳维-斯托克斯方程的鞅解和强解的存在性，证明了当 β > 3 且 α ≥ 1/2 时（当 β = 3 时），全局存在唯一解。此外，通过随机分析和紧致性方法，推导出该系统的小时间大偏差原理（LDP）。

ABSTRACT

In this paper, by using classical Faedo-Galerkin approximation and compactness method, the existence of martingale solutions for the stochastic 3D Navier-Stokes equations with nonlinear damping is obtained. The existence and uniqueness of strong solution are proved for $β> 3$ with any $α>0$ and $α\geq \frac12$ as $β= 3$. Meanwhile, a small time large deviation principle for the stochastic 3D Navier-Stokes equation with damping is proved for $β> 3$ with any $α>0$ and $α\geq \frac12$ as $β= 3$.

研究动机与目标

• 通过Faedo-Galerkin逼近方法与紧致性方法，建立带非线性阻尼的随机3D纳维-斯托克斯方程的鞅解存在性。
• 在 β > 3 时对任意 α > 0，以及当 β = 3 时 α ≥ 1/2 的条件下，证明强解的存在性与唯一性。
• 推导带阻尼的随机3D纳维-斯托克斯方程的小时间大偏差原理（LDP），将Freidlin-Wentzell理论推广至阻尼的随机3D情形。
• 通过非线性阻尼效应的精细分析，放宽了先前确定性结果中对 β ≥ 3 时 α ≥ 1/2 的条件限制。
• 通过LDP与遍历性估计，为研究阻尼随机流体动力学中的罕见事件与渐近行为提供严谨框架。

提出的方法

• 采用Faedo-Galerkin逼近方法，在有限维子空间中构造近似解。
• 应用紧致性论证与先验估计，通过极限过程获得弱意义下的鞅解。
• 利用能量估计与伊tô公式控制非线性项，特别是通过阻尼项 |u|^{β−1}u 控制 ∫₀ᵗ∫_D |u·∇u|² dx ds。
• 应用弱收敛方法与Skorokhod嵌入定理，建立LDP分析中概率测度族的紧致性。
• 采用Freidlin-Wentzell的弱收敛方法推导小时间LDP，依赖于指数估计与大偏差界。
• 使用停时 τ_ε,M^n 与指数矩估计，控制解与其逼近解之间的样本路径差异。

实验结果

研究问题

• RQ1 在何种条件下，带非线性阻尼的随机3D纳维-斯托克斯方程存在鞅解？
• RQ2 当 β 与 α 取何值时，强解在全局时间范围内存在且唯一？
• RQ3 能否为带非线性阻尼的随机3D纳维-斯托克斯方程建立小时间大偏差原理？
• RQ4 非线性阻尼项 |u|^{β−1}u 如何提升正则性，并促成比标准情形更强的存在性与唯一性结果？
• RQ5 α ≥ 1/2 条件在强解存在性中的作用是什么？在精细分析下是否可被放宽？

主要发现

• 对于任意 β > 1，带非线性阻尼的随机3D纳维-斯托克斯方程存在鞅解。
• 当 β > 3 且任意 α > 0 时，或当 β = 3 且 α ≥ 1/2 时，强解存在且唯一。
• 当 β > 3 且任意 α > 0 时，或当 β = 3 且 α ≥ 1/2 时，建立了小时间大偏差原理。
• LDP证明中的指数估计表明：对任意 R > 0，有 P(supₜ|u^ε(t)−v^ε(t)|² > δ) ≤ 3e^{−R/ε}，这意味着 lim_{ε→0} ε log P(...) = −∞。
• 通过更深入地利用阻尼结构，该分析在 β ≥ 3 时放宽了先前确定性结果中对 α ≥ 1/2 的条件限制。
• 结合紧致性与紧致性论证，以及停时控制，确保了逼近序列的收敛性与LDP的有效性。