[论文解读] On global solutions to the Navier-Stokes system with large $L^{3,\infty}$ initial data

Tobias Barker, G. Serëgin|arXiv (Cornell University)|Mar 10, 2016

Navier-Stokes equation solutions参考文献 18被引用 4

一句话总结

本文在临界 Lorentz 空间 $L^{3,\infty}(\mathbb{R}^3)$ 中建立了三维 Navier-Stokes 方程全局弱解的存在性，该空间超出能量类。通过扩展 Kato 的不动点方法并结合插值与衰减估计，作者证明了在初始数据正部满足小量条件时，解可全局存在，确保了初始数据弱-* 收敛下的稳定性与收敛性。

ABSTRACT

This paper addresses a question concerning the behaviour of a sequence of global solutions to the Navier-Stokes equations, with the corresponding sequence of smooth initial data being bounded in the (non-energy class) weak Lebesgue space $L^{3,\infty}$. It is closely related to the question of what would be a reasonable definition of global weak solutions with a non-energy class of initial data, including the aforementioned Lorentz space. This paper can be regarded as an extension of a similar problem regarding the Lebesgue space $L_3$ to the weak Lebesgue space $L^{3,\infty}$, whose norms are both scale invariant with the respect to the Navier-Stokes scaling.

研究动机与目标

• 为初始数据属于非能量类 $L^{3,\nu}(\mathbb{R}^3)$ 的 Navier-Stokes 方程定义一个稳健的全局弱解概念。
• 确保解在 $L^{3,\nu}$ 中初始数据弱-* 收敛下的稳定性，这是爆破分析的关键要求。
• 将全局弱 $L^3$-解的框架扩展至更大的、尺度不变的 Lorentz 空间 $L^{3,\nu}$，该空间包含能量无界的函数。
• 建立解在依赖于初始数据范数的时间区间上的存在性与正则性，确保在该区间内解的唯一性。

提出的方法

• 将 Kato 的不动点论证适配至 Lorentz 空间 $L^{3,\nu}$，使用热半群 $S(t)u_0$ 作为线性部分。
• 将初始数据分解为正负部分，$u_0 = (u_0)_+^N + (u_0)_-^N$，以控制非线性项。
• 应用插值不等式，如 $t^{1/8}\|g(\cdot,t)\|_{L^4} \leq C\|g(\cdot,t)\|_{L^{3,\infty}}^{3/8}(t^{1/5}\|g(\cdot,t)\|_{L^5})^{5/8}$，以控制 $L^4$ 范数。
• 通过方程 $\|u^{(k)} - u^{(m)}\|_{2,\infty,Q_T}^2 + \|\nabla(u^{(k)} - u^{(m)})\|_{2,Q_T}^2 + \|q^{(k)} - q^{(m)}\|_{2,Q_T}^2 \leq c\int_0^T\!\!\!\int_{\mathbb{R}^3} |v^{(k)}\otimes v^{(k)} - v^{(m)}\otimes v^{(m)}|^2 dxdt$ 进行能量与压力估计，以证明收敛性。
• 在 $L^4(Q_T)$、$W^{1,0}_2(Q_T)$ 与 $C([0,T];L_2)$ 中建立收敛性，确保极限在分布意义下满足 Navier-Stokes 方程。
• 应用光滑化与衰减估计以验证局部能量等式，确认解满足能量不等式。

实验结果

研究问题

• RQ1 能否为初始数据属于 $L^{3,\infty}(\mathbb{R}^3)$ 的三维 Navier-Stokes 方程构造全局弱解，该空间超出能量类？
• RQ2 该解框架在 $L^{3,\infty}$ 中初始数据弱-* 收敛下是否保持稳定，这是爆破分析的必要条件？
• RQ3 能否将全局解的存在性从 $L^3$ 扩展至更大的 Lorentz 空间 $L^{3,\infty}$，该空间包含 $L^2$-范数无界的函数？
• RQ4 此类解的存在时间为何？其如何依赖于初始数据范数与分解方式？
• RQ5 所构造的解是否满足局部能量等式，以确保物理一致性？

主要发现

• 当正部 $\|(u_0)_+^N\|_{L^{3,\infty}}$ 足够小时，初始数据属于 $L^{3,\infty}(\mathbb{R}^3)$ 的全局弱解存在。
• 解满足局部能量等式，确认其为具有物理意义的弱解。
• 迭代格式在 $L^4(Q_T)$、$W^{1,0}_2(Q_T)$ 与 $C([0,T];L_2)$ 中收敛，确保极限在这些拓扑中为强极限。
• 解 $v$ 满足 $\|v - S(t)u_0\|_{L^{\infty}(0,T;L^{3,\infty})} \leq \varepsilon_0$，其中 $\varepsilon_0$ 足够小，确保稳定性。
• 建立了存在时间的下界：$T \geq \min(\varepsilon^5, \varepsilon_0^5)/(C N^2 \|u_0\|_{L^{3,\infty}}^3)$，其中 $\varepsilon, \varepsilon_0$ 来自先前定理。
• 在时间区间 $[0,T]$ 上解唯一，因为正则性与收敛性结果表明在所构造类中解唯一。