[论文解读] Quantitative bounds for critically bounded solutions to the Navier-Stokes equations

Terence Tao|arXiv (Cornell University)|Aug 14, 2019

Navier-Stokes equation solutions参考文献 17被引用 16

一句话总结

本文首次在临界 $ L^3_x $ 范数有界条件下，为三维纳维-斯托克斯方程的经典解提供了定量的界限，以定量的卡莱曼不等式和二元频率分解取代了定性的紧致性论证。研究证明，当解在有限时间内发生爆破时，$ L^3 $ 范数的爆破速率至少为 $ (/\log\log\log \frac{1}{T_*-t})^c $，确认了正则性估计中存在三重指数依赖关系。

ABSTRACT

We revisit the regularity theory of Escauriaza, Seregin, and Šverák for solutions to the three-dimensional Navier-Stokes equations which are uniformly bounded in the critical $L^3_x(\mathbf{R}^3)$ norm. By replacing all invocations of compactness methods in these arguments with quantitative substitutes, and similarly replacing unique continuation and backwards uniqueness estimates by their corresponding Carleman inequalities, we obtain quantitative bounds for higher regularity norms of these solutions in terms of the critical $L^3_x$ bound (with a dependence that is triple exponential in nature). In particular, we show that as one approaches a finite blowup time $T_*$, the critical $L^3_x$ norm must blow up at a rate $(\log\log\log \frac{1}{T_*-t})^c$ or faster for an infinite sequence of times approaching $T_*$ and some absolute constant $c>0$.

研究动机与目标

• 在统一的 $ L^3_x $ 有界条件下，为三维纳维-斯托克斯方程的经典解提供定量的正则性估计。
• 将埃斯考里亚萨-塞雷金-什韦尔克正则性理论中基于紧致性的论证，替换为完全定量的替代方法。
• 以临界 $ L^3 $ 范数为基准，推导出高阶导数的显式三重指数上界。
• 在有限时间奇点附近，建立 $ L^3 $ 范数爆破速率的精确定量下界。

提出的方法

• 以定量卡莱曼不等式替代基于紧致性的剖分方法，用于唯一延拓和反向唯一性。
• 利用二元利特尔伍德-帕莱分解控制涡度方程中的非线性项。
• 对从涡度演化方程导出的能量型估计应用格朗沃尔不等式。
• 通过频率局部化的 $ L^\rho $ 估计和插值控制高频分量。
• 通过尺度变换将问题重标至 $ T_* = 1 $，以简化爆破附近的渐近分析。
• 通过反证法假设爆破速率慢于允许的速率，利用 $ L^2_t L^\rho_x $ 有界性导出矛盾。

实验结果

研究问题

• RQ1 埃斯考里亚萨、塞雷金与什韦尔克的定性正则性准则能否以 $ L^3_x $ 范数有界性为基准实现量化？
• RQ2 对于在 $ L^\rho_t L^3_x $ 中有界的解，其高阶导数增长的最优定量上界是什么？
• RQ3 是否可以对 $ L^3 $ 范数的爆破速率进行量化？在有限时间爆破的前提下，最慢可能的爆破速率是什么？
• RQ4 卡莱曼不等式如何用于在纳维-斯托克斯方程正则性理论中替代紧致性论证？
• RQ5 正则性范数对临界 $ L^3 $ 有界性的依赖关系是什么？能否使其显式化？

主要发现

• 对于满足 $ \|u\|_{L^\infty_t L^3_x} \leq A $ 的经典解，$ u $、$ \nabla u $、$ \omega $ 和 $ \nabla \omega $ 的 $ L^\infty_x $ 范数被控制在 $ \exp(\exp(\exp(A^{O(1)}))) t^{-(j+1)/2} $ 之内，其中 $ j=0,1 $。
• 能量 $ E(t) = \|\omega^{\text{nlin}}\|_{L^2_x}^2 $ 在区间 $ [3/4,1] $ 上满足 $ E(t) \lesssim N_*^{O(1)} $，其中 $ N_* $ 是与 $ L^3 $ 有界性相关的频率阈值。
• 当 $ t \to T_*^- $ 时，$ L^3_x $ 范数的爆破速率至少为 $ (\log\log\log \frac{1}{T_*-t})^c $，其中 $ c>0 $ 为绝对常数。
• 该爆破速率是精确的：任何更慢的速率都会导致矛盾，因为这将违反已知的爆破准则，即 $ L^2_t L^\infty_x $ 有界性。
• 该方法避免使用剖分方法，转而采用频率局部化估计和格朗沃尔不等式，从而实现了三重指数的定量界限。
• 通过正则性理论，结果可推广至更弱的解（如合适弱解），且对 $ L^3 $ 范数的定量依赖关系保持不变。