[论文解读] On the global wellposedness of the 3-D Navier-Stokes equations with large initial data

Jean-Yves Chemin, Isabelle Gallagher|arXiv (Cornell University)|Aug 19, 2005

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

一句话总结

本文通过引入基于非线性结构的初始数据小性条件（而非基于范数的小性条件），建立了在尺度不变空间 $B^{-1}_{∞,∞}$ 中初始数据任意大的三维不可压缩纳维-斯托克斯方程的全局适定性。关键结果表明，即使初始速度在 $B^{-1}_{∞,∞}$ 中很大，只要其水平与垂直分量表现出特定的非线性结构，该结构在临界Besov空间中满足小性准则，解仍可全局存在且光滑。

ABSTRACT

We give a condition for the periodic, three dimensional, incompressible Navier-Stokes equations to be globally wellposed. This condition is not a smallness condition on the initial data, as the data is allowed to be arbitrarily large in the scale invariant space $ B^{-1}\_{\infty,\infty}$, which contains all the known spaces in which there is a global solution for small data. The smallness condition is rather a nonlinear type condition on the initial data; an explicit example of such initial data is constructed, which is arbitrarily large and yet gives rise to a global, smooth solution.

研究动机与目标

• 在尺度不变空间 $B^{-1}_{∞,∞}$ 中建立三维不可压缩纳维-斯托克斯方程的全局适定性，该空间是适定性可设想的最大空间，且初始数据可任意大。
• 通过引入初始数据的非线性小性条件，克服经典小性条件（如在 $\partial BMO$ 或 $B^{-1}_{∞,\u221e}$ 中）的局限性。
• 构造一个初始数据的显式例子，其在 $B^{-1}_{∞,\u221e}$ 中可任意大，但仍能产生全局光滑解。
• 证明临界正则性空间 $H^{1/2}$ 允许在满足非线性结构条件时，即使初始数据较大，也能得到全局解。

提出的方法

• 将初始速度分解为水平与垂直分量：$u_0 = u_0^h + u_0^3$，其中 $u_0^h$ 支持于低频水平平面，$u_0^3$ 为高频振荡分量。
• 利用热流与Littlewood-Paley分解，定义Besov空间范数 $\|u\|_{B^{-1}_{p,q}} = \left\| t^{1/2} \|S(t)u\|_{L^p} \right\|_{L^q(\mathbb{R}^+; dt/t)}$，该范数刻画了尺度不变正则性。
• 应用Leray投影 $\mathbf{P}$ 消去压力，转而研究等价系统 $\partial_t u - \Delta u + \mathbf{P}(u \cdot \nabla u) = 0$。
• 通过算子 $Q(a,b) = \mathbf{P} \, \text{div}(a \otimes b + b \otimes a)$ 引入非线性小性条件，并在临界Besov空间 $B^{-1+3/p}_{p,2}$ 中控制其贡献。
• 使用水平平均投影算子 $\mathbf{M}$ 与余项 $\mathbf{Id} - \mathbf{M}$ 分离低频与高频动力学，尤其关注二维类水平流与三维垂直振荡之间的相互作用。
• 通过热核估计与插值建立先验估计，表明当初始水平数据在 $L^2$ 中较小时，且垂直分量具有高度振荡性时，非线性项 $Q(u_{2D}, u_F)$ 及其余项在 $L^1(\mathbb{R}^+; B^{-1+3/p}_{p,2})$ 中是小的。

实验结果

研究问题

• RQ1 能否在尺度不变空间 $B^{-1}_{\infty,\infty}$ 中，对任意大的初始数据，建立三维纳维-斯托克斯方程的全局适定性？
• RQ2 是否存在一种对初始数据的非线性条件，可确保即使在标准 $L^p$ 或Besov范数较大的情况下，仍能保证全局存在性与光滑性？
• RQ3 若初始数据在 $B^{-1}_{\infty,\infty}$ 中较大，但具有特定结构（如垂直方向的高频振荡），是否仍可存在全局解？
• RQ4 在 $\partial BMO$ 或 $B^{-1}_{\infty,\infty}$ 范数不小时，使全局适定性成立的初始数据的最小结构假设是什么？
• RQ5 二维水平流与三维垂直振荡之间的相互作用如何影响纳维-斯托克斯系统的长期行为？

主要发现

• 本文构造了一个显式初始数据 $u_0$，其在 $B^{-1}_{\infty,\infty}$ 中可任意大，满足 $\|u_0^h\|_{B^{-1}_{\infty,\infty}} \geq \frac{1}{4\pi\sqrt{e}} \|v_0^h\|_{L^2(\mathbb{T}^2)}$，但依然产生全局光滑解。
• 对于满足 $B^{-1+3/p}_{p,2}$ 中非线性小性条件的初始数据，解在 $C(\mathbb{R}^+; H^{1/2}(\mathbb{T}^3))$ 中全局适定，即使 $\|u_0\|_{B^{-1}_{\infty,\infty}}$ 任意大。
• 非线性项 $Q(u_{2D}, u_F)$ 在 $L^1(\mathbb{R}^+; B^{-1+3/p}_{p,2})$ 中被证明是小的，其上界为 $C_{N_0} N^{3/p - 2} \|v_0^h\|_{L^2}^3 e^{C_{N_0} \|v_0^h\|_{L^2}^4}$，该上界通过高频振荡得以控制。
• 当 $p \geq 6$ 时，总非线性贡献被控制在 $N^{-1/4}$ 以内，从而对大 $N$ 确保了小性条件 (1.1) 成立，这对不动点论证至关重要。
• 当 $A = C_{N_0} (\log N)^{2/9}$ 且 $B = N^{-1/4}$ 时，小性假设 (1.1) 成立，且指数因子 $\exp(C_0 A^2 (1 + A \log A)^2)$ 被控制在 $N^{1/8}$ 以内，这与 $B = N^{-1/4}$ 对大 $N$ 兼容。
• 通过 $\|u_0^h\|_{B^{-1}_{\infty,\infty}} \geq \frac{1}{4\pi\sqrt{e}} \|v_0^h\|_{L^2(\mathbb{T}^2)}$ 建立了 $B^{-1}_{\infty,\infty}$ 范数的下界，表明初始数据可在该范数中被任意放大，同时仍能产生全局解。