Quantitative bounds for bounded solutions to the Navier-Stokes equations in endpoint critical Besov spaces

技术摘要：端点临界 Besov 空间中 3 维 Navier–Stokes 方程有界解的定量界限

问题陈述
本文研究了三维不可压缩 Navier–Stokes 方程 (1.1) 的经典解 $(u, P)$ 的定量正则性和爆破准则。研究重点在于受控于端点临界 Besov 空间 $\dot{B}^{-1+3/p}_{p,\infty}$ ($3 < p < \infty$) 的解。虽然这些空间中的定性爆破准则已通过紧性论证可知（例如通过紧性论证），但作者旨在建立空间导数的显式定量界限，并推导出定量的爆破速率。特定的挑战在于 $\dot{B}^{-1+3/p}_{p,\infty}$ 空间的“端点”性质：该范数控制了每个对数频率块的大小，但缺乏对频率指数的可求和性，从而无法直接应用源自 $L^3$ 界限的物理空间估计。

方法论与策略
作者改进并大幅提升了由 Tao [30] 开创的定量正则性策略，该策略依赖于“集中–传播”（concentration–propagation）机制。其核心思想是证明：如果一个解在特定时间和频率处发生集中，这种集中必须传播到广泛分离的空间尺度，从而在解保持有界的情况下导致矛盾。

关键的方法论创新包括：

1. 有限迭代分解：
   为了处理 $\dot{B}^{-1+3/p}_{p,\infty}$ 的低正则性，作者通过迭代将解 $u$ 分解为有限个线性分量之和及一个余项：
   $$u = u_{1L} + u_{2L} + \dots + u_{mL} + v$$
   其中 $m = [p] + 3$。这些分量 $u_{kL}$ 通过迭代定义，旨在逐步提高空间可积性（从 $p$ 到大约 $p/k$）。最终的余项 $v$ 具有足够的基于 $L^2$ 的正则性（能量类），从而可以恢复标准的估计，如总速度有界、正则性时期以及回传（back-propagation）。这种分解将非可求和的 Besov 信息转化为有限个受控部分的集合加上一个能量类的余项。

2. 符号向量场分析：
   不同于以往通常假设绝对值 $|D|^{-1+3/p}|u|$ 有界的文献，本文对符号量 $|D|^{-1+3/p}u$ 施加限制（假设 1.7）。由于 Riesz 势核是正值的，标准论证依赖于来自分离尺度的非负贡献。然而，对于符号向量场，来自不同空间区域和向量分量的贡献可能会相互抵消。
   为了克服这一点，作者采用了局部零均值向量测试。他们构造了源自局部旋度（具有零均值）的测试函数 $\Psi_i$，并利用算子 $|D|^{-\sigma}$ 的自伴随性。通过选择几何分离的集中尺度，相关的测试函数在 $L^{p'}$ 中趋于几乎正交。这种“对偶几乎正交性”论证取代了 Tao 原作中使用的正向求和法，从而允许作者控制可能的集中尺度数量。

3. 传播与正则性估计：
   证明过程建立了分解分量的传播序列（正则性时期、回传、迭代回传以及正则性环）。这些结果依赖于精细的非线性能量估计以及线性分量 $u_{kL}$ 在临界 Kato 空间中的特定衰减性质。

主要结果

• 定理 1.1（定量正则性）：
  在同时控制临界 Besov 范数 $\|u\|_{L^\infty_T(\dot{B}^{-1+3/p}_{p,\infty})} \le M$ 和符号量 $\||D|^{-1+3/p}u\|_{L^\infty_T(L^p)} \le A$ 的条件下，作者推导出了 $u$ 的所有空间导数的显式定量估计。具体而言，对于任何多指标 $\alpha$：
  $$t^{1+|\alpha|/2} \|\nabla^\alpha u(t)\|_{L^\infty} \lesssim |\alpha| \exp\left(2^{|\alpha|} A \exp(\exp(M^{c_p}))\right)$$
  该界限表明，导数的增长受控于临界 Besov 范数的双指数以及非局部量 $L^p$ 范数单指数。

• 定理 1.2（定量爆破准则）：
  作为定理 1.1 的推论，本文推导出了一个混合爆破准则。如果解在有限时间 $T^*$ 发生爆破，则至少有两个临界量之一必须表现出特定的增长。具体而言：
  $$\limsup_{t \nearrow T^*} \left[ \frac{\exp(\exp(\|u(t)\|_{\dot{B}^{-1+3/p}_{p,\infty}}^{c_p}))}{|\ln(T^*-t)|^b} \||D|^{-1+3/p}u(t)\|_{L^p} \right] = +\infty$$
  这意味着在接近爆破时间时，临界 Besov 范数相对于对数时间尺度至少以双指数速率增长，并伴随非局部 $L^p$ 范数的增长。

意义与主张
本文声称提供了 3 维 Navier–Stokes 方程在端点临界 Besov 空间 $\dot{B}^{-1+3/p}_{p,\infty}$ 中的首个定量正则性和爆破准则。作者强调，以往在这些空间中的定性结果依赖于无法提取显式界限的紧性论证。

这项工作的意义在于：

1. 处理端点空间： 通过一种新颖的有限迭代分解，成功应对了 $\dot{B}^{-1+3/p}_{p,\infty}$ 中缺乏对数频率求和性的问题。
2. 符号假设： 通过几乎正交性和零均值测试，引入了一种处理符号非局部量 $|D|^{-1+3/p}u$ 的新机制，避免了对场绝对值更强假设的需求。
3. 定量精确性： 提供了显式的（尽管是双指数级的）导数界限，这强制要求在任何潜在奇异性附近，临界范数必须具有量化的增长率。

这些结果将由 Tao [30] 发起的定量理论从 $L^3$ 和非端点 Lorentz/Besov 空间扩展到了更具挑战性的端点 Besov 环境，为理解这些临界机制下潜在的爆破机制提供了更深的理解。