On the Cauchy problem to the axially-symmetric solutions to the Navier-Stokes equations

技术摘要：轴对称 Navier-Stokes 方程的全局正则解

问题陈述
本文研究了 $\mathbb{R}^3$ 中轴对称 Navier-Stokes 方程的 Cauchy 问题。主要目标是证明对于任意初始数据，只要解具有足够的正则性以满足在对称轴附近的特定展开式，则存在全局正则解。作者专注于推导正则解的全局先验估计（a priori estimate），该估计一旦结合局部解的存在性，即可意味着全局存在性。

方程在柱坐标系 $(r, \phi, z)$ 中进行表述，其中速度场 $v$ 和涡度 $\omega$ 被分解为径向、角向和轴向分量。轴对称情况的一个关键特征是“旋流”（swirl）分量 $v_\phi$ 以及相关的涡度项在对称轴（$r=0$）附近的行为，此处方程可能产生奇异性。

方法论
作者采用了一种将分析局部化为两个不同区域的策略：对称轴邻域和远离轴的区域。这种分离通过分配函数（partition of unity）$\{\zeta(r), \vartheta(r)\}$ 实现，其中 $\zeta$ 在 $r=0$ 附近支撑，而 $\vartheta$ 在远离轴的区域支撑。

1. 修正流函数与涡度公式化：
   分析利用了修正流函数 $\psi_1 = \psi/r$ 以及归一化涡度分量 $\Phi = \omega_r/r$ 和 $\Gamma = \omega_\phi/r$。作者推导了 $\psi_1$ 在 $H^2$ 和 $H^3$ 空间中的椭圆估计，这对于控制轴附近的速度梯度至关重要。

2. Liu-Wang 展开式：
   一个核心的方法论要求是假设解满足 Liu 和 Wang 在对称轴附近推导出的展开式。具体而言，假设径向和角向速度分量以及流函数满足如下形式：
   $$v_r \sim a_1(z,t)r + a_2(z,t)r^3 + \dots$$
   $$v_\phi \sim b_1(z,t)r + b_2(z,t)r^3 + \dots$$
   $$\psi \sim d_1(z,t)r + d_2(z,t)r^3 + \dots$$
   这些展开式确保了涉及除以 $r$ 的项保持有界且正则。

3. 能量估计与旋流控制：
   作者为 $\Phi$ 和 $\Gamma$ 的量导出了能量型估计。工作的一个重要部分是对非线性耦合项 $I = \int (v_\phi/r) \tilde{\Phi} \tilde{\Gamma} \, dx dt'$ 进行估计。为了在不引入关于旋流强度的限制性假设的情况下处理该项，作者根据比例 $L(s) = \|\tilde{v}'_\phi\|_{s, \infty} / \|\tilde{v}'_\phi\|_{\infty}$ 将分析分为两个互补的机制（regimes）：

   • 机制 1 ($L(s) \geq c_0$)： 对应于非集中旋流剖面。使用插值不等式和 Liu-Wang 展开式进行估计。
   • 机制 2 ($L(s) \leq c_0$)： 对应于集中旋流剖面。使用 $L^s$ 界和插值进行估计。
     通过覆盖这两个机制，作者避免了以往研究中要求的限制性条件（例如，要求旋流强度具有特定的下界）。

4. 正则性提升（Bootstrapping）：
   一旦建立了 $\Phi$ 和 $\Gamma$ 的能量范数的全局先验估计，作者利用混合范数 Sobolev 空间中的非定常 Stokes 系统求解理论（参考 [MS]），迭代提高速度 $v$ 和压力梯度 $\nabla p$ 的正则性。这一过程将解从初始正则性提升到 $W^{3, 3/2}_3$ 类。

主要贡献与结果

• 全局先验估计： 主要结果是定理 1.1，它确立了全局先验估计：
  $$\|\omega_r/r\|_{V(\Omega_t)} + \|\omega_\phi/r\|_{V(\Omega_t)} \leq \phi(\text{data})$$
  其中 $V(\Omega_t)$ 是能量范数，$\phi$ 是关于初始数据和外力的递增正函数。该估计对任何有限时间 $t < \infty$ 均成立。

• 移除限制性条件： 与要求旋流强度特定条件或轴处消失条件的先前工作（如 [Z1, Z2, OZ]）不同，本文在不假设引言中条件 $(*)$ 或 $(* *)$ 的情况下推导出了全局估计。这是通过独立处理近轴和远轴区域并利用旋流项的两机制分析实现的。

• 全局正则解的存在性： 定理 1.2 表明，如果初始数据和外力具有足够的正则性（$v(0) \in W^{3-2/3}_3$ 且 $f \in W^{1, 1/2}_3$），并且如果局部解存在，则全局先验估计意味着全局正则解 $v \in W^{3, 3/2}_3(\mathbb{R}^3_t)$ 与 $\nabla p \in W^{1, 1/2}_3(\mathbb{R}^3_t)$ 的存在性。

• 小数据情形： 第 8 节提供了关于小初始数据的补充结果，通过逐次逼近证明其存在性。作者指出，小数据机制对应于小旋流，这与本文主体分析的大旋流机制是互补的。

意义与主张
本文声称，在假设解在轴附近具有足够正则性以满足 Liu-Wang 展开式的条件下，为轴对称 Navier-Stokes 方程全局正则解的存在性提供了严格证明。作者强调，这些展开式对于其证明是“绝对必要”的。

这项工作的意义在于：

1. 完成全局估计： 提供了一个不依赖于早期文献中限制性旋流条件的全局先验界。
2. 技术创新： 使用分配函数将奇异轴与其余定义域分离，从而允许在每个区域使用独立的估计技术。
3. 正则性传播： 展示了如何利用归一化涡度分量的能量范数的有界性，将解提升到更高的 Sobolev 正则性。

作者谦虚地承认，假设足够的正则性（特别是 Liu-Wang 展开式的有效性）是其主要定理的前提条件。他们引用了 Caffarelli, Kohn, 和 Nirenberg 的部分正则性理论，指出轴对称解的任何潜在奇异性都必须发生在轴上。因此，他们的结果适用于那些不会产生此类奇异性的解。是否可以在不假设这些展开式的情况下导出全局界限仍然是一个开放问题。