AI 中文总结
本文为三维Navier-Stokes系统强解提出一个极短的新能量恒等式证明，该估计排除了特定L^r空间中的有限时间爆破，从而证明了强解的全局存在性，并推导出Leray-Hopf弱解在更宽初值条件下的全局唯一性与光滑性。
AI 中文摘要
我们证明了在$\mathbb{R}^3$上不可压缩、均匀的Navier-Stokes系统，对于Sobolev空间$H^1_\sigma(\mathbb{R}^3)$中的初值，其强解在时间上是全局的。证明的核心要素是一个新的能量估计，它排除了在$r = 2 + 2 / \sqrt{3}$时$L^r(\mathbb{R}^3)$中的有限时间爆破。该估计关键依赖于物质导数与无散度约束相结合的性质，以及一个精细的估计，该估计利用了新能量泛函的粘性强制性（coercivity）与扰动压力项控制之间的微妙相互作用。值得注意的是，该估计不能推广到仅具有标准能量结构的系统，例如T. Tao的平均Navier-Stokes系统。作为新能量估计的结果，对于齐次Navier-Stokes系统的每个Leray-Hopf弱解$u$，只要初值$u(0, \cdot)$属于$L^2_\sigma(\mathbb{R}^3) \cap L^3(\mathbb{R}^3)$，该解就是全局唯一的。即使对于$u(0, \cdot) \in L^2_\sigma(\mathbb{R}^3)$，在Leray-Hopf弱解类中，唯一可能的非唯一性是初始分支，并且每个这样的解在$\left( 0, \infty \right) \times \mathbb{R}^3$上都是$C^\infty$光滑的。此外，如果$u(0, \cdot)$光滑且所有阶导数在无穷远处迅速衰减，我们证明$u$实际上在$\left[ 0, \infty \right) \times \mathbb{R}^3$上都是$C^\infty$光滑的。
英文摘要
We prove that strong solutions to the incompressible, homogeneous Navier-Stokes system on $\mathbb{R}^3$ are global in time for initial data in the Sobolev space $H^1_σ(\mathbb{R}^3)$. The central ingredient of the proof is a new energy estimate that rules out finite-time blow-up in $L^r(\mathbb{R}^3)$ for $r = 2 + 2 / \sqrt{3}$. This estimate is based crucially on properties of the material derivative in combination with the divergence-free constraint, together with an intricate estimate that harnesses the delicate interplay between the viscous coercivity of the new energy functional and the control of a perturbing pressure term. Notably, the estimate does not carry over to systems that merely share the standard energy structure, such as T. Tao's averaged Navier-Stokes system. As a consequence of the new energy estimate, every Leray-Hopf weak solution $u$ to the homogeneous Navier-Stokes system is globally unique whenever the initial value $u(0, \cdot)$ belongs to $L^2_σ(\mathbb{R}^3) \cap L^3(\mathbb{R}^3)$. Even for $u(0, \cdot) \in L^2_σ(\mathbb{R}^3)$, the only possible non-uniqueness in the class of Leray-Hopf weak solutions is initial branching, and every such solution is $C^\infty$-smooth on $\left( 0, \infty \right) \times \mathbb{R}^3$. Moreover, if $u(0, \cdot)$ is smooth with derivatives of all orders decaying rapidly at infinity, we show that $u$ is in fact $C^\infty$-smooth on all of $\left[ 0, \infty \right) \times \mathbb{R}^3$.
CommentsThere is an error in equation (27) that renders the crucial inequality below equation (29) wrong
