On regularity estimates for axially symmetric Navier-Stokes equations in a cylinder and the critical-wedge occurrence problem

技术摘要：圆柱体内轴对称 Navier–Stokes 方程的正规性估计

问题陈述
本文研究了在有限圆柱区域 $\Omega \subset \mathbb{R}^3$ 内，具有轴对称约束的三维不可压缩 Navier–Stokes 方程的全域适定性问题。作者关注速度场 $v$ 与涡度 $\omega = \text{curl } v$ 满足特定边界条件的正则性情况：在侧边界 $S_1$ 上，径向速度 $v_r$、方位角速度 $v_\phi$ 以及方位角涡度 $\omega_\phi$ 均为零；在顶面和底面 $S_2$ 上，$z$ 方向速度 $v_z$、$\omega_\phi$ 以及对 $z$ 的偏导数 $\partial_z v_\phi$ 均为零。

建立轴对称解正则性的核心难点在于控制涉及旋转分量 $v_\phi$ 的非线性相互作用项。具体而言，作者分析了量 $\Phi = \omega_r/r$ 和 $\Gamma = \omega_\phi/r$，这些量对于控制解至关重要。能量估计无法闭合的主要障碍来自于积分项 $\int_{\Omega_t} \frac{v_\phi}{r} \Phi \Gamma \, dx \, dt'$，其控制取决于角速度分量 $v_\phi$ 的分布。

方法论
作者采用了一种条件先验估计策略，该策略根据 $v_\phi$ 的 $L^s$ 范数与 $L^\infty$ 范数的行为对时间区间进行划分。

1. 关键楔形区域识别： 作者在时间相空间中定义了一个“关键楔形区域” $W_{A,c_0}$。该状态特征为：在这些时刻，$v_\phi$ 的 $L^s$ 范数较大（$> A$），但其 $L^s$ 范数与 $L^\infty$ 范数的比值较小（$< c_0$）。在楔形区域之外，标准的闭合机制适用。而在楔形区域内部，标准估计无法闭合。
2. 残差测量： 本文并未断言无条件的全局正则性，而是引入了一个“关键楔形残差” $E_{W,s}(t)$。该项用于衡量当轨迹进入关键楔形区域时，特定的非线性相互作用中无法闭合的部分。
3. 分析工具：
   • 修正流函数： 分析利用了修正流函数 $\psi_1 = \psi/r$，它满足以 $\Gamma$ 为源项的椭圆方程。作者推导了 $\psi_1$ 的 $H^2$ 和 $H^3$ 椭圆估计。
   • Liu-Wang 展开式： 为了处理对称轴（$r=0$）附近的奇异性，作者依赖于 Liu 和 Wang 建立的 $v_r, v_\phi, \psi$ 以及 $\psi_1$ 在轴附近的正则性展开式。这些展开式对于估计边界项以及涉及 $r$ 的分部积分至关重要。
   • 阶数降低估计： 一个关键的技术步骤是推导“阶数降低”不等式，通过高阶范数（如 $\|\Phi\|_{L^2}$）由低阶范数和数据来界定，从而降低非线性项的复杂度。
   • Sobolev 空间与 Besov 空间： 高阶正则性（定理 1.4）的证明依赖于混合范数下 Stokes 系统的可解性结果以及 Besov 空间的迹定理。

主要贡献与结果

• 条件先验估计（定理 1.2）： 主要结果是关于量 $X_s(t) = \|\Phi\|_{V(\Omega_t)} + \|\Gamma\|_{V(\Omega_t)}$ 的条件估计。作者证明了：
  $$X_s(t) \leq \Psi_{s,A,c_0}\left(\text{data}, \int_0^t E_{W,s}(\tau) \, d\tau\right)$$
  其中 $\Psi$ 是一个递增正函数。如果关键楔形残差为零（即轨迹未进入关键楔形区域），该估计将恢复原始的依赖于数据的界限。
• 消除先前限制： 本文表明，先前工作中（由第二作者提出）所要求的限制条件 $\psi_1|_{r=0} = 0$ 对于这些估计并非必要。然而，关于 $L^s$ 与 $L^\infty$ 范数关系的条件从全局假设放宽为了条件性要求：只要“楔形残差”有限，估计即可成立。
• 高阶正则性（定理 1.4）： 在对强迫项和初始数据施加附加假设的情况下，作者建立了速度 $v$ 和压力梯度 $\nabla p$ 的高阶 Sobolev 正则性，且具有相同的对关键楔形残差的条件依赖性。
• 小数据全局存在性（第 8 节）： 本文包含了一个关于小数据全局正则解存在的独立结果。该结果独立于关键楔形障碍，依赖于对角分量的直接控制。

意义与主张
本文并未声称解决了 Navier–Stokes 方程无条件的全局正则性问题。相反，它识别出了标准能量方法失效的特定“集中机制”（即关键楔形区域）。这项工作的意义在于：

1. 精确刻画障碍： 它孤立了阻止估计闭合的精确机制（即 $v_\phi$ 的 $L^s$ 范数与 $L^\infty$ 范数的比值）。
2. 条件控制： 它证明了只要相关的楔形残差有限，通常的先验控制即可恢复。这意味着，如果解发生奇异性，其必须通过进入这个特定的关键楔形区域并伴随非零残差来实现。
3. 方法论改进： 通过利用 Liu-Wang 展开式和针对修正流函数的精细椭圆估计，作者在保持对对称轴附近解的行为进行严格控制的同时，改进了前人的工作，消除了人为的边界条件 $\psi_1|_{r=0}=0$。

总而言之，本文提供了一个严谨的框架，通过量化作为函数相对于相空间中定义的关键楔形区域的解的轨迹，来理解轴对称 Navier–Stokes 解的正规性。