[论文解读] Localisation and compactness properties of the Navier-Stokes global regularity problem

Terence Tao|arXiv (Cornell University)|Aug 4, 2011

Navier-Stokes equation solutions参考文献 46被引用 11

一句话总结

本文建立了不同函数空间（周期性、Sobolev空间 $H^1$、有限能量、Sobolev 空间 $H^1$）中纳维尔-斯托克斯方程全局正则性问题各种表述之间的蕴含关系层级，表明在 $H^1$ 空间中带有外力项的全局适定性可推出所有其他标准表述的全局正则性，包括与克雷数学研究所千禧年大奖难题相关的表述。其核心贡献在于提出了一类新型的局域化能量与涡度估计，可控制大初值和长时间行为，从而实现不同类别间正则性的传递。

ABSTRACT

In this paper we establish a number of implications between various qualitative and quantitative versions of the global regularity problem for the Navier-Stokes equations, in the periodic, smooth finite energy, smooth $H^1$, Schwartz, or mild $H^1$ categories, and with or without a forcing term. In particular, we show that if one has global well-posedness in $H^1$ for the periodic Navier-Stokes problem with a forcing term, then one can obtain global regularity both for periodic and for Schwartz initial data (thus yielding a positive answer to both official formulations of the problem for the Clay Millennium Prize), and can also obtain global smooth solutions from smooth $H^1$ data, and global almost smooth solutions from smooth finite energy data. Our main new tools are localised energy and enstrophy estimates to the Navier-Stokes equation that are applicable for large data or long times, and which may be of independent interest.

研究动机与目标

• 厘清不同函数空间中纳维尔-斯托克斯方程全局正则性问题各种表述之间的逻辑关系。
• 识别出一个单一且最小的条件——在带有外力项的 $H^1$ 空间中全局适定性——该条件可推出所有其他标准表述，包括克雷数学研究所千禧年大奖难题中的表述。
• 发展适用于大初值和长时间行为的新型局域化能量与涡度估计，这些估计是主要蕴含关系的核心。
• 表明即使从光滑的 $H^1$ 或有限能量初值出发，完全光滑的解也不总是可能，尽管存在全局几乎光滑解。
• 证明周期性和 Schwartz 类解可由带有外力项的 $H^1$ 适定性推出。

提出的方法

• 本文定义了四类解：周期性、有限能量、$H^1$ 和 Schwartz 类，包括有外力项与无外力项的情形，并建立了它们之间的蕴含关系层级。
• 提出一种局域化能量与涡度估计方法，可在二进制空间与时间区域中控制纳维尔-斯托克斯方程，从而实现对大初值和长时间行为的控制。
• 分析依赖于 Littlewood-Paley 分解与拟积估计，将非线性项分解并利用局域化范数进行控制。
• 一个关键技术工具是使用光滑且紧支集的截断函数 $\chi$ 对解进行局域化，从而推导出对 $\Delta u_{1}^{(n)}$ 与 $\nabla\Delta^{-1}\psi$ 的估计。
• 证明通过构造一组紧支集在球外的无散向量场 $u_1^{(n)}$，满足 $\|u_1^{(n)}\|_{H^1} \to 0$ 但 $\|u_1^{(n)}\|_{H^2} \to \infty$，来检验一致有界性的失效。
• 通过分析双线性型 $\int (\partial_i\partial_j \nabla\Delta^{-1}\psi) \Delta u_{1,i} \Delta u_{1,j}$，证明该量随 $n$ 增长，从而表明压力估计在 $H^1$ 范数下不具备一致有界性。

实验结果

研究问题

• RQ1 在 $H^1$ 类中带有外力项的全局适定性是否蕴含所有其他标准纳维尔-斯托克斯问题表述的全局正则性？
• RQ2 能否构造出可控制大初值与长时间解的局域化能量与涡度估计？
• RQ3 是否可能在光滑 $H^1$ 或有限能量初值下实现全局正则性，但无法获得完全光滑解？
• RQ4 周期性与 Schwartz 类解能否由带有外力项的 $H^1$ 适定性推出？
• RQ5 在 $H^1$ 设置下，压力梯度在导致一致有界性失效中起什么作用？

主要发现

• 在 $H^1$ 类中带有外力项的全局适定性可推出周期性与 Schwartz 初值的全局正则性，从而解决了克雷数学研究所千禧年大奖难题中的两个表述。
• 本文证明，即使从光滑的 $H^1$ 或有限能量初值出发，完全光滑的解也不总是可能，尽管存在全局几乎光滑解。
• 提出了一类新型局域化能量与涡度估计，适用于大初值与长时间行为，且其本身具有独立研究价值。
• 通过构造序列 $u_1^{(n)}$ 满足 $\|u_1^{(n)}\|_{H^1} \to 0$ 但 $\|u_1^{(n)}\|_{H^2} \to \infty$，表明 $H^1$ 范数无法一致控制 $H^2$ 范数。
• 双线性型 $\int (\partial_i\partial_j \nabla\Delta^{-1}\psi) \Delta u_{1,i} \Delta u_{1,j}$ 随 $n$ 增长，表明压力梯度项在 $H^1$ 范数下无法一致有界。
• 该结果表明，带有外力项的 $H^1$ 表述是所有标准纳维尔-斯托克斯正则性问题的普遍蕴含点。