Single exponential $H^1$-upper bounds for the primitive equations

技术摘要：原始方程的单指数 $H^1$ 上界

问题陈述
本文研究了在水平周期性区域 $\Omega = G \times (-h, 0)$ 内，控制大规模地球物理流体（大气和海洋）的三维原始方程。该系统包含完整的粘性项，并受限于上边界和下边界的齐次 Neumann 条件或 Dirichlet 条件，同时在侧向边界满足周期性条件。主要目标是为强解 $v$ 在空间 $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$ 中建立先验估计。

具体而言，这项工作探讨了这些估计量相对于初始数据 $a$ 和时间 $t$ 的增长率。现有的文献，特别是 Cao 和 Titi [3] 关于全局适定性的结果，提供的上界随初始数据和时间呈双指数增长。随后的研究 [9, 10, 7] 改进了时间依赖性或处理了特定的边界条件，但通常仍保留了对初始数据或时间至少双指数的依赖，或者依赖于对数索伯列夫不等式或特定的微小性假设。

方法论
作者采用一系列能量估计和插值不等式来推导界限，并根据边界条件区分了不同的处理方法：

1. Neumann 边界条件（命题 1）：

   • 证明过程利用了水平速度 $v$ 的 $L^q$ 估计（具体为 $q=4, 8$）以及垂直导数 $v_z$ 的 $L^r$ 估计（具体为 $r=2, 4$）。
   • 该方法依赖于对流项的抵消性质以及处理压力项的 Calderón–Zygmund 不等式。
   • 在这种设定下的一个关键难点在于 $v$ 缺乏 Poincaré 不等式（因为 $v$ 的均值不一定为零）。因此，最初的推导产生了一个依赖于时间的界限（$e^{C\sqrt{t}}$）。

2. Dirichlet 边界条件（定理 1）：

   • 为了实现与时间无关的界限，作者将估计策略转向 $v$ 的 $L^6$ 估计和 $v_z$ 的 $L^3$ 估计。
   • Dirichlet 情况下的一个关键技术挑战是压力项 $\pi$ 与边界值之间的耦合。水平压力梯度 $\nabla_H \pi$ 被分解为 $\nabla_H \pi_1$（取决于体部非线性项）和 $\nabla_H \pi_2$（取决于 $v_z$ 的边界迹）。
   • 证明通过仔细选择 $(q, r) = (6, 3)$ 这一对参数，解决了 $v$ 的 $L^q$ 估计与 $v_z$ 的 $L^r$ 估计之间的相互依赖关系。这使得在一项估计中产生的边界项能够被另一项中的耗散项所控制。

3. Neumann 情况的改进（定理 1）：

   • 为了消除命题 1 中发现的时间依赖性，作者引入了波动变量 $\tilde{v} = v - \bar{v}$（其中 $\bar{v}$ 是垂直平均值）。
   • 由于 $\tilde{v}$ 满足一种 Poincaré 型不等式 ($\|\tilde{v}\|_{L^q} \leq C \|v_z\|_{L^q}$)，分析重点转向了 $\tilde{v}$ 的 $L^6$ 估计和 $v_z$ 的 $L^3$ 估计。
   • 这种方法有效地处理了此前导致时间增长的“低阶项”，利用了垂直导数的均值为零这一事实。

主要结果
本文针对 Neumann 和 Dirichlet 边界条件建立了以下主要定理：

对于满足相容条件的初始数据 $a \in H^1(\Omega)$ 且 $a_z \in L^3(\Omega)$，强解 $v$ 满足：
$$\|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \leq B(a) e^{C\|a\|_{L^2(\Omega)}^2}$$
对于所有 $t \in [0, T]$，其中 $B(a)$ 是初始数据范数的多项式函数，$C$ 是仅依赖于定义域 $\Omega$ 的常数。

至关重要的是，指数因子仅取决于初始数据的 $L^2$ 范数的平方，即 $\|a\|_{L^2(\Omega)}^2$，并且与时间 $t$ 无关。

意义与主张
本文声称有两个主要贡献：

1. 降低指数增长： 所得的上界相对于初始数据是单指数的 ($e^{C\|a\|_{L^2}^2}$)，这与以往文献（如 [3, 9, 10, 7]）中的双指数界限 ($e^{e^{C\|a\|^2}}$) 形成了鲜明对比。这代表了在理解原始方程稳定性方面的定量化显著进步。
2. Neumann 情况下的一致时间估计： 本文提供了作者所称的第一个针对 Neumann 边界条件的一致时间 $H^1$ 上界。在这种设定下，标准 Poincaré 不等式对速度场 $v$ 是不可用的，这使得推导与时间无关的界限变得极具挑战性，且在以往文献中尚未实现。

作者指出，虽然 Dirichlet 情况如果利用 Poincaré 不等式可以实现随时间 $t \to \infty$ 的指数衰减，但这种特定的衰减行为并不是当前工作的重点。结果是以强解的存在性为前提给出的先验估计，而其存在性已由先前的局部存在性结果所支持。