[论文解读] Finite time blowup for an averaged three-dimensional Navier-Stokes equation

Terence Tao|arXiv (Cornell University)|Feb 3, 2014

Navier-Stokes equation solutions参考文献 27被引用 33

一句话总结

本文通过修改非线性双线性算子以包含旋转、膨胀和傅里叶乘子平均，同时保持能量抵消性质，为3D纳维尔-斯托克斯方程的一个平均版本构造了一个有限时间爆破解。关键结果是，此类平均模型允许光滑初值导致有限时间奇点，表明任何对真实纳维尔-斯托克斯方程全局正则性的证明都必须利用超出调和分析和能量守恒的更精细非线性结构。

ABSTRACT

The Navier-Stokes equation on the Euclidean space $\mathbf{R}^3$ can be expressed in the form $\partial_t u = Δu + B(u,u)$, where $B$ is a certain bilinear operator on divergence-free vector fields $u$ obeying the cancellation property $\langle B(u,u), u angle=0$ (which is equivalent to the energy identity for the Navier-Stokes equation). In this paper, we consider a modification $\partial_t u = Δu + ilde B(u,u)$ of this equation, where $ ilde B$ is an averaged version of the bilinear operator $B$ (where the average involves rotations and Fourier multipliers of order zero), and which also obeys the cancellation condition $\langle ilde B(u,u), u angle = 0$ (so that it obeys the usual energy identity). By analysing a system of ODE related to (but more complicated than) a dyadic Navier-Stokes model of Katz and Pavlovic, we construct an example of a smooth solution to such a averaged Navier-Stokes equation which blows up in finite time. This demonstrates that any attempt to positively resolve the Navier-Stokes global regularity problem in three dimensions has to use finer structure on the nonlinear portion $B(u,u)$ of the equation than is provided by harmonic analysis estimates and the energy identity. We also propose a program for adapting these blowup results to the true Navier-Stokes equations.

研究动机与目标

• 正式化3D纳维尔-斯托克斯方程全局正则性问题中的'超临界性障碍'。
• 证明仅靠能量守恒和调和分析估计不足以排除3D纳维尔-斯托克斯方程中的爆破。
• 在保持能量恒等式的平均纳维尔-斯托克斯方程模型中，构造一个光滑的、有限时间爆破解。
• 提出将此类爆破结果推广到真实纳维尔-斯托克斯方程的程序。

提出的方法

• 定义一个平均化的双线性算子 $\tilde{B}$，使其保持抵消性质 $\langle \tilde{B}(u,u), u \rangle = 0$，以模仿能量恒等式。
• 构建一个受凯茨-帕夫洛维奇模型启发的二元ODE系统，以模拟平均方程中的非线性相互作用。
• 使用一种改进的能量泛函 $E_*$，其中包含模式 $a_0, d_0, c_0, a_1$ 之间的耦合项，以追踪能量传递与衰减。
• 应用格朗沃尔不等式来控制关键变量的演化，并推导出低频模态中能量的指数衰减估计。
• 建立矛盾论证，证明高频模态 $a_1$ 必须增长至一个正的下界，从而触发爆破。
• 利用 ODE 系统的结构和能量均分性质，表明能量从 $a_0, d_0$ 汇集至 $a_1$，从而实现有限时间奇点。

实验结果

研究问题

• RQ1 在保持能量恒等式的平均3D纳维尔-斯托克斯方程中，是否存在一个光滑解在有限时间内爆破？
• RQ2 若能量和调和分析估计无法阻止爆破，是否意味着存在一个根本性障碍，阻碍全局正则性的证明？
• RQ3 即使具有次临界正则性，一个修改后的非线性算子 $\tilde{B}$，若仍保持抵消定律，是否仍可能导致有限时间爆破？
• RQ4 爆破机制是否足够稳健，足以提示通往真实纳维尔-斯托克斯方程中构造爆破的路径？
• RQ5 非线性项的更精细结构在阻止或允许有限时间奇点中起什么作用？

主要发现

• 在使用 $\tilde{B}$ 和能量抵消的平均3D纳维尔-斯托克斯方程中，光滑解在有限时间内爆破。
• 爆破源于能量从低频向高频的传递，由一种非线性耦合驱动，使 $a_1$ 超过一个正阈值。
• 改进的能量 $E_*$ 指数衰减，满足 $\tilde{E}_0(t) \lesssim \exp\left(-K\int_{t_c+K^{-9}}^t a(t') dt'\right) + O(K^{-28})$，表明能量迅速损失。
• 高频模态 $a_1(t)$ 满足 $a_1(t) \geq 0.05$ 对于 $t \in [t_c + K^{-1}, \tau_1]$，确认了持续增长。
• 不等式 $\tilde{E}_0(\tau_1) \lesssim K^{-28}$ 确认了低频能量被抑制，从而促成爆破。
• 矛盾论证证明 $a_1(t_c + 1/K) \geq 0.1$ 必须成立，这对爆破机制的启动至关重要。