Exact mean-covariance dynamics of the Weber field in the stochastic Lagrangian representation of the 3D Navier-Stokes equations

技术摘要：在三维纳维-斯托克斯方程的随机拉格朗日表示中，Weber场的精确均值-协方差动力学

问题陈述
本文研究了三维环面 $\mathbb{T}^3$ 上的不可压缩纳维-斯托克斯方程：
$$\partial_t u + (u \cdot \nabla)u - \nu\Delta u + \nabla p = 0, \quad \text{div } u = 0.$$
分析基于 Constantin–Iyer 随机拉格朗日表示，该表示将速度场 $u$ 表达为随机 Weber 场的投影期望：
$$u(t) = \mathcal{P} \mathbb{E}\left[ (\nabla A_t)^\top (u_0 \circ A_t) \right],$$
其中 $A_t = X_t^{-1}$ 是由驱动所有拉格朗日标签的单一布朗运动 $W$ 驱动的随机流 $X_t$ 的逆。本文探讨的核心问题是：仅靠变形梯度（deformation gradient）的期望 $\mathbb{E}[\nabla A_t]$ 是否足以控制解的正则性，或者变形与沿轨迹采样的初始数据之间的相关性是否至关重要。本文旨在推导出控制这些统计矩的精确、封闭的确定性方程，以理解正则性的机制及潜在的障碍。

方法论
作者采用了严谨的随机微积分方法，具体利用了 Itô–Wentzell 公式和作用于随机流 $A_t$ 及其变形梯度 $J_t = \nabla A_t$ 的 Itô 乘积法则。

1. 分解： Weber 场的期望被分解为均值乘积与中心协方差之和：
   $$\mathbb{E}[J_t^\top V_t] = M^\top N + R,$$
   其中 $M = \mathbb{E}[J_t]$，$N = \mathbb{E}[V_t]$，$R = \mathbb{E}[(J_t - M)^\top (V_t - N)]$。
2. 闭合： 通过对这些分量应用算子 $D_u = \partial_t + u \cdot \nabla - \nu\Delta$，作者推导出了一个确定的平流-扩散方程组。一个关键的结构性观察是，由于每个拉格朗日标签都受相同的布朗路径驱动，二次协方差项会坍缩为一个拉普拉斯项，从而防止了无限阶矩层级的出现。
3. 两点分析： 分析被扩展到两点统计，以研究分离变量 $r = x - y$ 中的协方差行为。
4. 反例与刚性： 作者构造了显式的反例（使用剪切流和振荡积分）来测试各种正则性假设的极限，并利用古代解（ancient solutions）的 Liouville 型论证来建立刚性结果。

主要贡献与结果

1. 协方差的封闭确定性方程
主要的理论贡献是推导出了协方差场的封闭方程（定理 3.1）：
$$D_u R + G^\top R = 2\nu \sum_{k=1}^3 (\partial_k M)^\top (\partial_k N), \quad R(0) = 0.$$
该方程在变量 $(u, M, N, R)$ 中是封闭的；不需要更高阶的矩。类似地，作者还推导出了变形-方差张量 $Q = \mathbb{E}[(J_t - M)^\top (J_t - M)]$ 的封闭方程（定理 3.3）。这些方程表明，布朗强迫在产生协方差的同时（通过源项涉及均值的梯度），也通过拉普拉斯项耗散协方差。

2. 能量与正则性界限

• 能量平衡： 建立了协方差的精确能量/产生平衡关系（命题 3.4），表明应变项（strain term）没有确定的符号，这使得简单的能量估计变得复杂。
• 均值位移： 均值位移 $\ell = \mathbb{E}[A_t] - x$ 满足一个受迫热方程。文中证明了 $\ell$ 具有无条件的 $L^2$ 界（定理 5.1），该界仅受初始能量控制。
• Hölder 界： 虽然存在无条件的 $L^2$ 界，但论文证明了均值变形 $M$ 的无条件 Hölder 界在 $t \to 0$ 时并不一致成立。具体而言，对于精确的剪切解，$M$ 的 Hölder 范数在 $t \to 0$ 时会发生爆炸（命题 5.2）。

3. 对“仅靠均值控制”的阻碍
论文系统地排除了几种潜在的全局正则性证明策略：

• 范数分离： 即使对于光滑散度自由漂移，期望变形梯度的范数也不控制梯度期望的范数（命题 6.1, 6.3）。
• 仅靠能量的界限： 存在全局光滑的纳维-斯托克斯剪切解，其初始能量固定，但当初始数据的长度尺度缩小时，均值变形的 Hölder 范数可以变得任意大（命题 6.4）。这反驳了任何形式为 $\sup_t \|M(t)\|_{C^\alpha} \leq F(\|u_0\|_{L^2})$ 的估计。
• 空间与时间正则性： 均值的空间 Hölder 界并不意味着抛物型 Campanato 衰减（命题 6.5），因为时间振荡可以独立于空间光滑性而持续存在。

4. 临界判据与刚性

• Serrin–Weber 商： 作者定义了一个对于 Weber 场的规范不变商范数 $\|[\bar{F}]\|_{L^q/\nabla W^{1,q}}$，并证明它等价于速度的 Serrin 范数（定理 7.1）。该商在临界 Serrin 范围内有限意味着全局正则性。
• 仿射刚性： 对于均值坐标 $\Theta$ 为秩 $\geq 1$ 的仿射形式的古代适定解（ancient suitable solutions），证明了一个 Liouville 型定理：此类解必须是平凡的（即 $u \equiv 0$）（定理 7.2）。

意义与主张
本文明确声明其不对纳维-斯托克斯方程的全局正则性问题作出任何断言。其意义在于：

1. 结构清晰性： 为随机拉格朗日表示提供了一个精确、封闭的确定性框架，隔离了协方差 $R$ 和方差张量 $Q$ 的特定作用。
2. 界定障碍： 明确识别并证明了某些直觉性的方法（例如，仅通过均值变形或仅利用能量界限来控制解）是不充分的。
3. 开放问题： 论文最后隔离了将这些结构性结果转化为正则性证明所需的具体缺失步骤。这些步骤包括：建立正时间内的均值界限；实现一个能够利用纳维-斯托克斯解的具体结构而非通用界限的自洽协方差闭合；以及解决秩为零的刚性情况。

总而言之，这项工作为均值-协方差动力学提供了一张严谨的“地图”，证明了虽然随机表示产生了精确的封闭方程，但通往全局正则性的路径需要克服与均值变形与协方差结构之间相互作用相关的特定、非平凡的障碍，而这些障碍无法仅靠无条件界限来解决。