Forced self-similar solutions to the stationary Navier--Stokes equations in a half-space

技术摘要：半空间内定常 Navier–Stokes 方程的强制自相似解

问题陈述
本文研究了三维上半空间 $\mathbb{R}^3_+ = \{x \in \mathbb{R}^3 : x_3 > 0\}$ 中，在无滑移边界条件下，具有轴对称、自相似性质的定常不可压缩 Navier–Stokes 方程解的存在性与唯一性。该系统由一个关于度数为 $-3$的轴对称外部力$F$所驱动。速度场$u$、压力$p$以及力$F$ 满足缩放不变性：
$$u(\lambda x) = \lambda^{-1}u(x), \quad p(\lambda x) = \lambda^{-2}p(x), \quad F(\lambda x) = \lambda^{-3}F(x).$$
本研究重点在于确定对于给定的力，此类解是否存在，并特别分析了力的大小以及“旋度”（方位角速度分量）的存在对解的影响。

方法论
作者通过利用自相似和轴对称结构，将偏微分方程（PDE）简化为常微分方程（ODE）。

1. 坐标变换： 将速度在球坐标 $(\rho, \theta, \phi)$ 下表示为 $u = \rho^{-1}(f(\phi)e_\rho + g(\phi)e_\phi + h(\phi)e_\theta)$。散度为零的条件使得径向分量 $f$ 可以通过子午向分量 $g$ 来表达。
2. 无旋简化： 在不存在旋度（$h \equiv 0$）的情况下，通过变量代换 $t = \cos \phi$ 和 $L(t) = g(\phi)\sin \phi$ 对系统进行积分。这使得问题简化为一个二阶标量方程，并进一步归一化为一个 Riccati 初值问题：
   $$M'(t) + \frac{1}{2}M(t)^2 = \lambda N(t), \quad M(0) = 0,$$
   其中 $N(t)$ 是由外部力决定的泛函，$\lambda$ 是力强度的缩放参数。
3. 有旋情况： 当存在旋度（$Z \neq 0$）时，通过 $g$ 和力来求解方位角方程中的 $h$。这定义了一个从子午向剖面 $g$ 到 Riccati 源项的非线性映射。作者在有界角向剖面空间上利用收缩映射原理，建立了小力情况下的存在性。
4. 向圆锥扩展： 通过调整边界条件和积分区间，将分析推广到实心圆锥 $K_{\phi_0}$。

主要贡献与结果

• 小切向旋度下的存在性（定理 1.1）：
  作者证明，如果外部力的切向旋度 $(\text{curl } F)_{\text{tan}}$ 在单位球面上的 $C^0$ 范数足够小，则存在唯一的微小轴对称自相似解。

  • 关键区别： 小度条件仅适用于切向旋度。外部力的全旋度可能任意大。论文提供了一个示例，其中当某一参数趋于零时，切向旋度消失，而径向旋度却趋于无穷大，尽管如此，唯一的解仍然存在。
  • 无旋情况下的唯一性： 如果外部力是无旋的，那么任何轴对称自相似解必然是无旋的且是唯一的。

• 无旋力下的全局存在区间（定理 1.2）：
  对于一个固定的无旋力 $F$，作者引入缩放参数 $\lambda$，并分析由力 $\lambda F$ 驱动的系统。他们证明，解仅在包含零的开区间 $(\underline{\lambda}, \overline{\lambda})$ 内存在。

  • $\underline{\lambda}$ 和 $\overline{\lambda}$ 这两个有限端点的有限性是由一个显式判别式 $N(\phi)$ 决定的，该判别式是力分量的积分泛函。
  • 如果 $N(\phi)$ 不改变符号，则其中一个端点是有限的（对应于解在对称轴处的爆破），而另一个是无穷大的。如果 $N(\phi)$ 改变符号，则两个端点都是有限的。若 $N \equiv 0$，则区间为 $(-\infty, +\infty)$，对应于平凡解。

• 向实心圆锥的扩展（定理 5.1 & 5.2）：
  研究结果被推广到开角为 $\phi_0$ 的实心圆锥。

  • 关于切向旋度小度的存在性阈值 $\varepsilon(\phi_0)$ 取决于 $\phi_0$。
  • 当圆锥变得更窄（$\phi_0 \to 0$）时，允许的外部力的大小显著增加（对于无旋力，阈值 $\varepsilon(\phi_0)$ 大约按 $\phi_0^{-5}$ 比例缩放；对于有旋力，则按 $\phi_0^{-1}$ 比例缩放）。这意味着更窄的圆锥可以在保持唯一自相似解的同时，承受更大的外部力。

• 爆破特征描述：
  论文描述了存在区间边界处的解爆破情况。有限端点对应于在北极点（$\phi = 0$）处发生爆破的解，这意味着解无法连续延伸至对称轴。

意义
本文填补了带有边界的区域内定常 Navier–Stokes 方程理论的一个基本空白。虽然全空间中的齐次解（Landau 解）已得到充分理解，但在存在边界（如半空间）的情况下，轴对称解通常除非受到非势力驱动，否则必须消失。
这项工作确立了：

1. 在半空间中，只要切向旋度足够小，由特定的齐次力驱动的自相似解便存在。
2. 存在性条件与全空间情况不同；在半空间中不需要对力进行全局相容性条件约束。
3. 通过 Riccati 简化推导出的判别式，精确量化了力的大小与解的存在性之间的关系，从而对无旋力的存在区间进行了完整的分类。
4. 区域的几何形状（特别是圆锥的开口角）在放宽外部力的小度约束方面起着至关重要的作用，使得在窄几何结构下可以实现更大的外部力驱动。

作者将这些结果框架化，旨在为靠近奇异点或在远距离处的流体运动的正则性理论和渐近行为提供关键见解，从而扩展了对经典 Landau 型解在受迫有界域中的理解。