Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus

技术摘要：二维各向异性纳维-斯托克斯方程在环面上的一致大偏差理论与长时间动力学

问题陈述
本文研究了在环面 $\mathbb{T}^2$ 上受仅水平方向耗散和加性噪声影响的二维随机不可压缩纳维-斯托克斯方程。该系统定义为：
$$du^\varepsilon + (u^\varepsilon \cdot \nabla)u^\varepsilon dt + \nabla p^\varepsilon dt - \partial_1^2 u^\varepsilon dt = \sqrt{\varepsilon} Q^{1/2} dW, \quad \nabla \cdot u^\varepsilon = 0,$$
其中耗散算子 $A = -P\partial_1^2$ 仅作用于水平方向。由于缺乏垂直方向的耗散，该系统存在一个由稳态（纯垂直剪切模态）构成的无穷维核。作者针对以下三个主要挑战进行了研究：在能量空间中建立不依赖于指数紧性的一致大偏差原理（LDP）；分析其长时间混合特性；以及在存在这种退化耗散的情况下刻画不变测度的结构。

方法论
分析通过三个不同的方法论支柱展开：

1. 一致大偏差原理 (LDP)：
   作者结合了弱收敛方法与一致收缩原理。

• 线性分析： 他们首先在辅助空间 $G = C([0, T]; H) \cap L^2(0, T; \tilde{H}^{1,1})$ 中建立了线性 Ornstein-Uhlenbeck 过程 $z^\varepsilon$ 的 LDP。这依赖于证明骨架方程（skeleton equation）的先验估计以及有界控制下的解映射的紧性。
• 非线性映射： 一个关键步骤是构造一个非线性映射 $F_x: G \to C([0, T]; H)$，将线性轨道映射为全随机方程的解。作者证明了该映射在有界初始数据上的一致 Lipschitz 估计。该估计利用了各向异性 Gagliardo-Nirenberg 不等式的创新代数处理以及散度自由条件来控制非线性项 $(u \cdot \nabla)u$。
• 收缩原理： 通过应用 Wang 的一致收缩原理，他们推导出了非线性系统的 LDP。这种方法规避了经典 SPDE LDP 证明中通常需要的指数紧性条件，因为 Lipschitz 连续性是在整个辅助空间 $G$ 上建立的。

2. 长时间动力学（指数混合）：
   作者通过识别一个特定的确定性稳态 $u_0 = (\sin x_2, 0)$ 来分析指数混合失效的问题，该稳态位于水平 Stokes 算子的核内。由于该模态具有零水平导数，且对于该特定剖面，耗散项也随之消失，因此该模态的 $L^2$ 范数与零解之间的差异在确定性极限下保持不变。作者使用矛盾法证明，即使在小噪声条件下，这种未阻尼模态也会阻止随机系统满足一致的指数混合估计。

3. 不变测度：
   本文通过对比确定性和随机情况来研究不变测度的存在性与结构：

• 确定性情况： 算子 $A$ 的无穷维核 $N$ 完全由稳态组成。因此，对于 $u \in N$，每一个狄拉克测度 $\delta_u$ 都是不变测度，从而导致无穷多个不同的不变测度。
• 随机情况： 作者构造了一种特定的退化噪声，其噪声协方差范围完全位于核 $N$ 内。他们证明了该系统下的任何不变测度必须与 $N$ 正交（即 $\mu(N) = 0$）。证明表明，如果不变测度对 $N$ 赋测度，则 $N$ 上的动力学行为将表现为在无穷维空间中方差线性增长的高斯过程，而后者不存在不变概率测度。

核心结果

• 一致 LDP： 本文证明了在能量空间 $C([0, T]; H)$ 中关于解路径的一致 Freidlin-Wentzell LDP，该 LDP 在 $\tilde{H}^{0,1}$ 中的有界初始数据集合上是一致的。这是第一个在能量空间中针对各向异性纳维-斯托克斯方程实现此类结果的研究，且无需要求指数紧性或额外的阻尼。
• 指数混合的失效： 文中严格证明了环面上的各向异性纳维-斯托克斯方程不具备指数混合特性。由于周期性边界条件保留了垂直剪切模态的无穷维核，这使得系统无法指数快速地遗忘初始条件。
• 不变测度结构：
  • 在确定性极限下，系统拥有对应于水平拉普拉斯算子核的无穷多个狄拉克不变测度。
  • 在作用于核内的退化加性噪声下，任何存在的不变测度必须与该核正交。论文进一步表明，在这种噪声下，该核本身不支持任何不变测度。

意义与主张
作者将这项工作定位为各向异性方程在环面上与全耗散纳维-斯托克斯方程以及具有无滑移（Dirichlet）边界的各向异性方程之间的显著区别。

• 对比 Dirichlet 边界： 在具有无滑移条件的有界区域上，各向异性 Poincaré 不等式成立，核是平凡的，且已建立了唯一遍历性（指数混合）（引用 Sun, Qiu, and Tang）。而在环面上，周期性边界条件保留了无穷维核，从根本上改变了长时间行为。
• 方法论进步： 在无需指数紧性的情况下推导一致 LDP 被强调为一个重要的技术贡献，这依赖于辅助空间 $G$ 中线性过程的特定正则性以及非线性映射的一致 Lipschitz 连续性。
• 概念框架： 本文提供了一个理解部分耗散系统的框架，将耗散算子的核视为统计稳定性障碍的主要来源。它表明，虽然未阻尼的垂直模态阻止了指数混合，但非线性项仍然是能量传递到耗散水平模态的潜在机制，尽管在一般随机情况下的全局不变测度的存在性仍是一个开放问题，这取决于能量级联的效率。

作者总结道，其结果阐明了边界条件在决定各向异性流体模型定性长时间动力学中的作用，并为研究部分耗散系统（如各向异性 MHD 和原始方程）提供了结构性视角。