Global regularity of temperature patches for the 3D non-diffusive Boussinesq system with large Prandtl number

技术摘要：大普朗特数下 3D 非扩散 Boussinesq 系统温度斑块的全局正则性

问题陈述
本文研究了具有大初始数据的 3D 非扩散 Boussinesq 系统 (B) 的强解全局适定性问题，这是一个悬而未决的问题。作者研究了“温度斑块”的演化，其中初始温度 $\theta_0$ 是一个有界区域 $D_0$ 的特征函数（$D_0$ 内部的值可能不恒定）。核心问题包括：

1. 当普朗特数 ($Pr$) 足够大时，该系统是否对于大初始数据存在唯一的全局强解？
2. 温度斑块的边界正则性（特别是 $C^{1,\gamma}$、$W^{2,\infty}$ 和 $C^{2,\gamma}$）是否能在时间内全局保持？
3. 当 $Pr \to \infty$ 时，Boussinesq 系统的解是否收敛于 3D Stokes-transport 系统 (ST) 的解，并且该极限是否保持了斑块的边界正则性？

与 2D 情况或小数据情况下的 3D 情况不同，当 $Pr=1$ 且数据较大时，3D 可视化 Boussinesq 系统的全局适定性尚不明确。作者提出，大普朗特数机制可以作为一种替代手段，在不需要小数据假设的情况下确保全局正则性。

方法论
作者结合了能量方法、奇偶微分微积分（paradifferential calculus）以及在 Besov 空间框架内的条纹（conormal）估计。

1. 大普朗特数估计：

   • 作者建立了速度场 $u$ 在空间 $L^\infty(0, T; H^{1/2})$ 和 $L^2(0, T; H^{3/2})$ 中的先验全局时间估计。
   • 至关重要的是，他们利用 Bootstrap 论证导出了 $u$ 的全局 $L^\infty_T(L^{3,\infty})$ 估计。该估计取决于由初始数据标度不变范数（$\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$）确定的阈值 $Pr^*$。
   • 这使得他们能够在不需要 3D Navier-Stokes 或 Boussinesq 系统通常要求的微小性假设的情况下，闭合能量估计。

2. 条纹正则性与“良定义未知量”：

   • 为了处理斑块边界的输运，作者引入了一个辅助量 $\Gamma = \Omega - R^{-1}\theta$，其中 $\Omega = \nabla \wedge u$，且 $R^{-1}$ 涉及 Riesz 变换。
   • 在 $Pr \to \infty$ 的极限下，Stokes-transport 系统满足 $\Omega = R^{-1}\theta$，这意味着 $\Gamma \equiv 0$。对于有限但较大的 $Pr$，$\Gamma$ 满足一个包含对换子项的输运-扩散方程 (4.5)。
   • 作者证明了 $\Gamma$ 在适当的 Besov 空间中满足关于 $Pr$ 均匀的估计。这个“良定义未知量”以一种能够促进均匀估计的方式，将涡度动力学与温度强迫项解耦。

3. 边界正则性的保持：

   • 斑块边界正则性的保持与一组切于斑块边界的可容许共法向量场 $W = \{W^i\}_{i=1}^5$ 的正则性相关。
   • 作者证明，如果 $\nabla u \in L^1_T(C^\gamma)$，则流映射保持 $C^{1,\gamma}$ 正则性。
   • 对于更高阶的正则性（$W^{2,\infty}$ 和 $C^{2,\gamma}$），他们分析了 $\partial_W \nabla u$（速度梯度的切向导数）的演化。他们利用 Biot-Savart 定律将 $\nabla u$ 分解为涉及 $\Gamma$ 和 $\theta$ 的项。
   • 新的对换子估计和输运-扩散方程的平滑估计（特别是引理 2.8 和引理 2.6）被用于在 $Pr$ 方面一致地控制非线性项。
   • 一项关键创新是提出了一种证明 $W^{2,\infty}$ 保持性的新方法，该方法避免了以往 2D 研究中使用的特定抵消关系，使其能够适应更高阶的 $W^{k,\infty}$ 正则性。

4. 无穷大普朗特数极限：

   • 利用在大 $Pr$ 机制下建立的统一估计，作者应用紧致性论证（Aubin-Lions 引理）证明，当 $Pr \to \infty$ 时，解序列 $(u_{Pr}, \theta_{Pr})$ 收敛于极限 $(u, \theta)$。
   • 他们严格证明了该极限满足 3D Stokes-transport 系统 (ST)。
   • 他们进一步证明，斑块的几何结构及其边界正则性在极限过程中得以保持。

主要贡献与结果

• **定理 1.1 (大 $Pr$下的全局适定性)：** 本文证明了对于初始数据$(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$($s>3$) 的 3D 非扩散 Boussinesq 系统，只要普朗特数满足 $Pr \geq Pr^*$，则存在全局唯一的强解。其中阈值 $Pr^*$ 仅依赖于初始数据的标度不变范数。
• 统一正则性保持： 对于非恒定温度斑块，作者建立了 $C^{1,\gamma}$、$W^{2,\infty}$ 和 $C^{2,\gamma}$ 边界正则性的全局保持性。至关重要的是，这些正则性的估计对于 $Pr \in [Pr^*, \infty)$ 范围内是关于普朗特数一致的。
• 定理 1.4 (无穷大普朗特极限)： 本文严格证明了当 $Pr \to \infty$ 时，3D Boussinesq 系统向 3D Stokes-transport 系统的收敛性。它表明极限系统的唯一全局解保持了斑块结构以及边界的 $C^{1,\gamma}$、$W^{2,\infty}$ 和 $C^{2,\gamma}$ 正则性。
• 2D 结果的 3D 类比： 该 Stokes-transport 系统的结果被呈现为 Grayer II (2023) 关于 2D Stokes-transport 系统主要结果的 3D 类比。

意义与主张
作者声称，其工作解决了在特定的大普朗特数机制下 3D 非扩散 Boussinesq 系统的全局适定性问题，在这种设定下不需要标准的微小数据假设。通过引入“良定义未知量” $\Gamma$ 并开发关于 $Pr$ 均匀的估计，他们架起了 Boussinesq 系统与 Stokes-transport 系统之间的桥梁。

论文强调，$Pr=1$ 时 3D Boussinesq 系统的难度与 $Pr \to \infty$ 时 Stokes-transport 系统的全局适定性之间的对比，表明大普朗特数起到了一种正则化机制的作用。对这一极限过程及其保持高阶斑块边界正则性的严格证明，是本文的主要贡献。

作者谦虚地指出，虽然他们的方法可以推广到更高阶的 $C^{k,\gamma}$ 和 $W^{k,\infty}$ 正则性（备注 1.2），但目前的论文重点关注 $k=1, 2$。他们也承认，由于 3D 中缺乏可用的 Sobolev 嵌入，将收敛结果扩展到 2D 全空间仍然是一个开放问题（备注 1.5）。