On decay of solutions to the anisotropic Boussinesq equations near the hydrostatic balance in half space $\mathbb{R}_+^3$

技术摘要：半空间内趋于静力平衡的各向异性 Boussinesq 方程解的衰减

问题陈述
本文研究了三维不可压缩各向异性 Boussinesq 系统在半空间 $\mathbb{R}^3_+$ 中的初边值问题。该系统模拟地球物理流体，并包含了水平耗散（粘性和热扩散仅作用于水平方向，\Delta_h = \partial_{x_1}^2 + \partial_{x_2}^2}），同时缺乏垂直耗散。研究重点是围绕特定的静力平衡态（定义为 $u^{(0)} = (0,0,0)$, $\Theta^{(0)} = x_3$, $P^{(0)} = \frac{1}{2}x_3^2$）的扰动的稳定性及其大尺度时间行为。系统在边界 $x_3=0$ 处受到速度的 Navier 滑移边界条件（$u_3=0, \partial_3 u_1 = \partial_3 u_2 = 0$）和温度的 Dirichlet 边界条件（$\Theta=0$）的约束。

方法论
作者结合了能量方法、引导论证（bootstrapping arguments）以及通过傅里叶分析进行的积分表示法，来解决全局稳定性及衰减率问题。

1. 非线性稳定性（能量方法）： 为了证明在 Sobolev 空间 $H^3(\mathbb{R}^3_+)$ 中的全局存在性和稳定性，作者利用了引导论证。他们定义了涉及 $H^3$ 范数和水平耗散项的能量泛函。证明的一个关键组成部分是处理分部积分产生的边界项。具体而言，作者建立并证明，在给定边界条件和初始数据约束（特别是当 $x_3=0$ 时 $\partial_3^2 \theta_0 = 0$）下，压力的三阶垂直导数在边界处消失（$\partial_3^3 p = 0$），从而使他们能够在不损失正则性的情况下闭合能量估计。他们依赖于 Sobolev 空间中的微积分不等式以及各向异性插值不等式（类似于引理 2.2 中的不等式）来控制非线性项。

2. 衰减率（傅里叶分析与积分表示）： 为了推导非线性系统的衰减率，作者超越了直接的能量估计，因为他们指出后者不足以捕捉最优衰减。相反，他们：

   • 将系统在静力平衡附近线性化。
   • 对线性化方程在水平变量（$x_h = (x_1, x_2)$）上应用傅里叶变换，并在垂直变量（$x_3$）上应用傅里叶余弦/正弦变换。
   • 推导出线性问题的一个显式解公式，该公式涉及频率空间中的七个核函数。这些核函数表现出退化性和各向异性。
   • 利用 Duhamel 原理，将非线性系统的解表示为线性演化项与涉及非线性项的积分项之和。
   • 通过结合线性核的衰减性质与解的假设衰减率（对衰减进行引导论证/bootstrapping），来估计这些积分项。

核心贡献与结果

• 全局稳定性（定理 1.1）： 本文证明了对于足够小的初始数据，解在 $H^3(\mathbb{R}^3_+)$ 中具有全局存在性和唯一性。解满足 $H^3$ 的一致界限，并在水平梯度（$\nabla_h u, \nabla_h \theta$）方面表现出耗散特性。这一结果确认了在给定的各向异性耗散和边界条件下，静力平衡的稳定性。

• 衰减率（定理 1.2）： 作者推导出了全局解及其导数的显式代数衰减率。假设初始数据具有 Certain 低频正则性（由算子 $\Lambda_h^{-\sigma}$ 衡量，其中 $9/10 < \sigma < 1$），解在大尺度时间 $t$ 下的衰减如下：

  • 速度和温度的 $L^2$ 范数按 $(1+t)^{-\sigma/2 + \delta}$ 衰减。
  • 垂直导数（$\partial_3 u, \partial_3 \theta$）按 $(1+t)^{-\sigma/2 + 3\delta}$ 衰减。
  • 水平梯度（$\nabla_h u, \nabla_h \theta$）以及垂直速度分量的垂直导数（$\partial_3 u_3$）按 $(1+t)^{-\sigma + 1/2 + \delta}$ 衰减。
    这里，$\delta$ 是受初始数据正则性约束的一个微小正参数。

意义与主张
本文声称，虽然线性化方程的衰减率与之前 Cauchy 问题研究中发现的速率相匹配（特别引用了 Ji, Yan, 和 Wu [10]），但非线性初边值问题的长期行为是不同的。作者强调，在存在边界和各向异性耗散的情况下，衰减率高度依赖于解的高正则性（$H^3$）以及系统内部特定的耦合关系。

这项工作凸显了在有界区域内处理各向异性耗散的挑战，在这些区域中，标准的能量方法不足以捕捉精确的衰减率。通过构建一个具有退化和各向异性核的积分表示，作者展示了速度与温度之间的耦合提供了额外的平滑作用，从而影响了衰减结构。这些结果将对 Boussinesq 系统的理解从全空间 Cauchy 问题扩展到了具有部分耗散的半空间边界值问题，这一设定在垂直混合通常比水平混合微弱的地球物理流体动力学领域具有相关性。