Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges

技术摘要：在 $L^1_t L^2_x$ 强迫下纯旋流（Pure-Swirl）有界性的丧失

问题陈述
本文研究了三维圆柱体 $D = B_2(0, 1) \times (0, 1)$ 中受强迫不可压缩纳维-斯托克斯方程（Navier–Stokes equations）解的正则性与有界性性质。具体而言，本文探讨了在外部强迫 $f$ 处于特定混合范数空间（特别是能量类空间 $L^1(0, T; L^2(D))$）的情况下，经典解是否会在有限时间 $T$ 发生 $L^\infty$ 有界性丧失（爆破）。该构造旨在隔离外部强迫对爆破机制的影响，而不依赖于非线性放大，因为在所使用的特定摄动（ansatz）中，对流项被压力抵消了。

方法论
作者构造了一个显式的“纯旋流”解，其速度场是纯方位角的：$v(x, t) = W(r, t)e_\theta$。在这种配置下，非线性对流项 $(v \cdot \nabla)v$ 没有方位角分量，且其径向分量被压力梯度精确抵消。因此，方位角分量 $W(r, t)$ 满足一个由方位角分量强迫 $F(r, t)$ 驱动的标量抛物方程：
$$\partial_t W - \left(\partial_r^2 + \frac{1}{r}\partial_r - \frac{1}{r^2}\right)W = F.$$
该构造通过引入**环形抵消（annular cancellation）**改进了 Zhang [23] 先前的剖面。作者定义了一个基于环形区域 $(a, b)$ 上光滑紧支撑函数 $A(\rho)$ 的剖面 $\phi_0(\rho)$。这种特定的选择确保了剖面在对称轴（$r=0$）附近消失，并且在支撑集的边缘表现得像 $1/r$。这种抵消对于在解乘以非整数幂 $r^\alpha$ 时保持对称轴处的光滑性至关重要。

解被定义为 $W(r, t) = r^\alpha \phi(r, t) + \beta r$，其中 $\phi(r, t)$ 是随时间变化的尺度 $R(t) = \sqrt{2(T-t)}$ 下的 $\phi_0$ 的自相似缩放。强迫 $f$ 直接由该摄动导出。

核心贡献与结果

1. 精确的混合范数范围：
   本文确定了强迫 $f$ 和速度 $v$ 的精确混合范数条件。

   • 强迫： 当且仅当 $\alpha > 3 - \frac{2}{p} - \frac{2}{q}$ 时，强迫属于 $L^q(0, T; L^p(D))$。
   • 速度： 当且仅当 $\alpha > 1 - \frac{2}{m} - \frac{2}{\sigma}$ 时，速度属于 $L^\sigma(0, T; L^m(D))$。
   • 端点实现： 通过选择参数使得 $1/p + 1/q > 1$，该构造得到了属于 $L^1(0, T; L^2(D))$ 的强迫。这是对先前结果的重要改进，因为它达到了能量类强迫阈值。

2. 爆破率：
   当 $t \uparrow T$ 时，解表现出以下渐近行为：

   • 速度上确界： $\|v(t)\|_{L^\infty(D)} \asymp (T-t)^{-(1+\alpha)/2} \to \infty$。
   • 恩斯特罗菲（Enstrophy）： $\|\nabla v(t)\|_{L^2(D)}^2 \asymp (T-t)^{\alpha-1}$。
   • 强迫范数： $\|f(t)\|_{L^p(D)} \asymp (T-t)^{-(3-\alpha)/2 + 1/p}$。

3. 正则性与唯一性：

   • 解在 $[0, T)$ 上是经典的，且在 $t < T$ 时是光滑的。
   • 该解在时间 $T$ 处向唯一的 Leray–Hopf 解强收敛于 $L^2(D)$。
   • 该解在 $[0, T]$ 上满足能量等式。
   • 有界性的丧失严格发生在 $t=T$，而强迫仅在这一终止时刻变得无界。

4. Stokes 系统的适用性：
   由于对流项被压力抵消，同样的例子也适用于受强迫的 Stokes 系统，这证明了爆破机制完全是由强迫项而非非线性相互作用驱动的。

意义与主张
本文声称提供了一个“直接、自洽的精化”，针对作者此前加权构造 [2] 中的 $k=1$ 情况。其主要意义在于：

• 精化端点： 它修正了 $k=1$ 情况下的混合范数条件，成功达到了 $L^1_t L^2_x$ 强迫机制，这在之前的通用层级论证中未能完全捕捉。
• 隔离强迫效应： 通过使用纯旋流摄动，本文将有界性丧失的机制隔离到外部强迫上，证明了即使在具有能量类强迫（$L^1_t L^2_x$）且解满足 Leray–Hopf 类中的能量等式与唯一性的情况下，$L^\infty$ 有界性仍可能失效。
• 轴向光滑性： 引入环形抵消允许使用非整数指数 $\alpha$，同时保持对称轴处的光滑性，这解决了先前剖面构造中的技术障碍。

作者明确指出，由于爆破是由奇异强迫项驱动的，这一结果并不涉及关于无强迫光滑数据下纳维-斯托克斯方程全局正则性的千禧年大奖问题。然而，它为“能量类强迫保证解有界”这一直觉提供了严谨的反例。