[论文解读] A quantitative formulation of the global regularity problem for the periodic Navier-Stokes equation

Terence Tao|ArXiv.org|Oct 8, 2007

Navier-Stokes equation solutions参考文献 8被引用 3

一句话总结

本文建立了周期性纳维-斯托克斯方程的定性全局正则性猜想与两个定量先验估计之间的等价性：一个是短时间（T ≤ 1）的，另一个是全局时间的。通过在索博列夫空间中的紧致性论证，证明了当且仅当解的H¹范数随时间保持一致有界（该有界性仅依赖于初始H¹范数）时，对所有光滑且散度为零的初值，全局光滑解存在。

ABSTRACT

The global regularity problem for the periodic Navier-Stokes system asks whether to every smooth divergence-free initial datum $u_0: (\R/\Z)^3 o \R^3$ there exists a global smooth solution u. In this note we observe (using a simple compactness argument) that this qualitative question is equivalent to the more quantitative assertion that there exists a non-decreasing function $F: \R^+ o \R^+$ for which one has a local-in-time \emph{a priori} bound $$ \| u(T) \|_{H^1_x((\R/\Z)^3)} \leq F(\|u_0\|_{H^1_x((\R/\Z)^3)})$$ for all $0 < T \leq 1$ and all smooth solutions $u: [0,T] imes (\R/\Z)^3 o \R^3$ to the Navier-Stokes system. We also show that this local-in-time bound is equivalent to the corresponding global-in-time bound.

研究动机与目标

• 通过定量形式重新表述长期悬而未决的周期性纳维-斯托克斯方程全局正则性问题，以期解决该问题。
• 表明全局光滑解的定性猜想等价于解的H¹范数在整个时间上存在一致先验有界性。
• 证明局部时间（T ≤ 1）的先验有界性已足够推出全局正则性，从而将问题简化为有限时间内的估计。
• 强调任何关于全局正则性的证明或反证都必须涉及对亚临界范数（如H¹）的定量控制，从而排除纯粹定性的方法。
• 澄清若全局正则性不成立，其表现将体现为H¹范数的爆炸，从而为潜在的反例提供明确判据。

提出的方法

• 基于H¹中的弱收敛与紧致时间区间上C⁰ₜH¹中的强收敛的紧致性论证，将局部行为与全局行为联系起来。
• 应用H¹中纳维-斯托克斯方程的局部适定性，以确保解在依赖于初值大小的短时间区间内存在。
• 采用反证法，假设存在一列解，其初值H¹范数有界，但后续时刻的H¹范数无界，从而与紧致子区间的弱收敛和强收敛矛盾。
• 利用H¹范数为亚临界范数，且在H¹有界集上解映射连续的性质，当平均值固定时，其在有界子集上为Lipschitz连续。
• 通过证明在T=1内的一致有界性可经迭代推广至所有T>1，从而建立短时间与全局先验有界性之间的等价性。
• 定义函数F(A)为所有初值H¹范数≤A的解在C⁰ₜH¹范数上的essential supremum，并证明全局正则性等价于对所有A都有F(A) < ∞。

实验结果

研究问题

• RQ1 周期性纳维-斯托克斯方程的全局正则性猜想是否等价于解的H¹范数在整个时间上存在一致先验有界性？
• RQ2 全局光滑解的存在性是否可归约为T≤1时间内的H¹范数先验有界性？
• RQ3 若全局正则性不成立，是否必然导致解的H¹范数在初始数据H¹有界时仍出现无界增长？
• RQ4 能否证明从H¹初值到解流的映射在有界集上为全局Lipschitz连续？
• RQ5 是否可利用数值逼近与紧致性，在有限时间内验证先验有界性函数F(A)的有限性？

主要发现

• 周期性纳维-斯托克斯方程的全局正则性猜想等价于存在一个非减函数F，使得对所有T ∈ (0,1]和所有光滑解，有‖u(T)‖_{H¹} ≤ F(‖u₀‖_{H¹})。
• 短时间先验有界性（至T=1）与全局时间先验有界性等价，因此证明其中之一即意味着另一者成立。
• 若全局正则性猜想不成立，则存在一个临界H¹范数水平A_c < ∞，使得F(A_c) = ∞，而对所有A < A_c均有F(A) < ∞。
• 解映射u₀ ↦ u在H¹₀(Ω)上连续，且当u₀的平均值固定时，在有界子集上为Lipschitz连续。
• 函数F(A)在A较小时为有限值且右连续，表明在某一临界点处正则性可能失效。
• 对给定A，F(A)的有限性可通过数值逼近与紧致性在有限时间内验证，但F(A) = ∞无法在有限时间内验证。