A continuous data assimilation method for a variant of Oberbeck-Boussinesq system with randomly perturbed data

技术摘要：随机 Oberbeck–Boussinesq 系统的连续数据同化

问题阐述
本文研究了针对变体 Oberbeck–Boussinesq (OB) 系统进行连续数据同化的问题，该系统模拟了在有界区域 $Q \subset \mathbb{R}^d$（$d=2,3$）中速度 $u$ 和温度涨落 $\theta$ 的时间演化。该系统是从弱分层 Navier–Stokes–Fourier 系统作为奇异极限推导而来的。作者考虑了一种场景，即“观测”解（参考态）的数据受到随机扰动的影响，因此需要一个随机框架。

主要的数学挑战在于，如何利用在采样周期 $(0, T)$ 内的近似测量值（插值数据），使一个“同步”解（预测模型）与观测解实现同步。其目标是在随后的预测期 $(T, T^+)$ 内，恢复观测系统的精确状态，即使在三维（$d=3$）情况下观测系统的适定性仍是一个开放性问题。作者在参考解在 $L^\infty$ 中有界的假设下开展工作，这一条件在 $d=2$ 中由全局弱解满足，并在 $d=3$ 的物理相关情形中被假定成立。

方法论
该方法依赖于针对随机偏微分方程 (PDE) 改进的相对能量不等式技术。该方法通过以下步骤进行：

1. 重构： 将具有非局部边界条件的原始 OB 系统重构为具有齐次 Dirichlet 边界条件的修正 Oberbeck–Boussinesq (MOB) 系统。这涉及引入一个新的温度变量 $\Theta$ 和一个有界的自伴算子 $M$。
2. 随机同步系统： 通过在动量方程和热方程中添加“驱动”（nudging）项来构建同步系统。这些项迫使同步解 $(\tilde{u}, \tilde{\Theta})$ 向观测数据靠拢。至关重要的是，测量过程被建模为包含确定性误差和由柱状维纳过程 ($W_u, W_\Theta$) 表示的随机误差。
3. 弱鞅解： 由于同步系统的强解在 $d=3$ 时无法保证，作者定义并利用了弱鞅解的概念。这使得在不需要路径唯一性所需的高正则性条件下，能够在概率意义上定义解的存在性。
4. 相对能量分析： 核心分析工具是推导相对能量不等式。通过将光滑且有界的观测解作为同步系统弱鞅解的测试函数，作者推导出了一个控制两个解之间距离（在 $L^infty$ 范数下）演化的不等式。
5. 插值与驱动： 分析结合了插值算子 $I_\delta$ 来模拟测量的离散特性。作者证明，对于足够大的驱动参数 ($\Lambda$) 和足够精细的插值 ($\delta$)，误差项是可以得到控制的。

主要贡献与结果
主要结果在定理 4.1 中给出，确立了连续数据同化方法的收敛性。具体而言，本文证明了观测解 $(u, \Theta)$ 与同步解 $(\tilde{u}, \tilde{\Theta})$ 之间的平方 $L^2$ 距离的期望值随时间呈指数衰减，且受限于观测误差的大小。

误差界限由下式给出：
$$\mathbb{E}[\|u - \tilde{u}\|^2 + \|\Theta - \tilde{\Theta}\|^2] \lesssim e^{-\gamma T} (\text{初始误差}) + \Lambda^2 (\text{确定性误差}) + \Lambda^2 (\text{随机噪声方差})$$

关键技术发现包括：

• 维度无关性： 该方法被证明对 $d=2$ 和 $d=3$ 均有效。这一点非常重要，因为 3D OB 系统的适定性是一个悬而未决的开放问题；数据同化方法提供了一种即使在参考解的唯一性尚未完全确立时也能实现解同步的方法。
• 处理随机性： 本文成功地将相对能量法扩展到随机设置中，考虑了强制项中的柱状维纳过程。
• 误差依赖性： 收敛速率取决于驱动参数 $\Lambda$ 和插值分辨率 $\delta$。虽然增加 $\Lambda$ 可以加速收敛，但它也会放大测量误差（包括确定性和随机性）的影响，因此需要在参数选择中进行权衡。

意义与主张
本文声称其主要意义在于为流体力学模型中可能存在完全适定性问题（特别是 3D 情况）的数据同化提供了严谨的数学框架。通过依赖于参考解的有界性而非其唯一性或全正则性，该方法适用于在气象学中将有界性视为合理假设的物理相关场景。

作者强调，这项工作受到 Azouani, Olson, 和 Titi 开创性数据同化方法的启发，并将其扩展到了随机 Oberbeck–Boussinesq 系统。结果表明，只要系统的能量保持有界，连续数据同化可以有效地从稀疏、多噪且受随机扰动的观测数据中恢复复杂流体系统的状态。本文并未提出新的实验装置或超出数学收敛性证明之外的未来应用，而是将该结果定位为随机 PDE 在流体力学领域的一项理论进展。