[论文解读] On global weak solutions to the Cauchy problem for the Navier-Stokes equations with large $L_3$-initial data

G. Serëgin, Vladimír Šverák|arXiv (Cornell University)|Jan 12, 2016

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

一句话总结

本文证明了在初始数据属于 $L^3(\mathbb{R}^3)$ 的情况下，三维纳维-斯托克斯方程存在全局弱解，该空间为临界空间，经典方法在此失效。通过将解分解为 $v = v^1 + v^2$，其中 $v^1$ 满足线性热方程，$v^2$ 满足非线性校正方程，作者在 $L^5$ 空间中通过不动点论证证明了解的存在性，并表明该解满足能量不等式，因此可被认定为弱 $L^3$-解。

ABSTRACT

The aim of the note is to discuss different definitions of solutions to the Cauchy problem for the Navier-Stokes equations with the initial data belonging to the Lebesgue space $L_3(\mathbb R^3)$

研究动机与目标

• 解决三维纳维-斯托克斯方程在初始数据属于临界空间 $L^3(\mathbb{R}^3)$ 时构造全局弱解的开放问题，该空间超出了经典基于 $L^2$ 的能量方法的适用范围。
• 通过引入一种新颖的分解方法，将线性与非线性贡献分离，将弱解理论从 $L^2$ 初始数据推广至更广范围。
• 在小时间区间内，借助线性部分的局部小性和在临界函数空间中的压缩映射，证明 $L^5(Q_T)$ 中的温和解的存在性。
• 证明所构造的温和解满足局部能量不等式，从而在全球时间内被确认为弱 $L^3$-解。

提出的方法

• 将解分解为 $v = v^1 + v^2$，其中 $v^1$ 是初始数据为 $v_0$ 的线性热方程的解，$v^2$ 是满足非线性扰动方程的校正项。
• 利用热核 $\Gamma$ 和导出的核 $K$，通过包含非线性项 $v \otimes v$ 的积分表达式表示温和解。
• 在空间 $L^5(Q_T) \cap L^{\infty}(0,T; L^3(\mathbb{R}^3))$ 中应用不动点论证，构造小时间 $T$ 下的温和解，依赖于线性部分 $v^1$ 的小性。
• 通过压缩估计，证明迭代格式 $v^{(k+1)} = \mathcal{G}(v^{(k)} \otimes v^{(k)})$ 在 $L^5(Q_T)$ 和 $C([0,T]; L^3(\mathbb{R}^3))$ 中的收敛性。
• 通过截断函数和 $L^p$-范数估计涉及 $w = v - v^1$ 的所有项（包括压强项与梯度项），证明极限解满足局部能量不等式。
• 通过 $v_0$ 的光滑化控制 $\kappa(T)$ 的小性，确保小时间 $T$ 下满足压缩条件 $\kappa(T) \leq 1/(16c)$。

实验结果

研究问题

• RQ1 能否为初始数据属于 $L^3(\mathbb{R}^3)$ 的三维纳维-斯托克斯方程构造全局弱解？该空间为临界空间，经典基于 $L^2$ 的能量方法无法适用。
• RQ2 分解 $v = v^1 + v^2$（其中 $v^1$ 满足线性热方程，$v^2$ 校正非线性项）是否可作为临界空间中构造解的可行方法？
• RQ3 能否通过不动点迭代在 $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 中构造出温和解？该解是否满足能量不等式？
• RQ4 所构造的温和解是否为全局时间下的弱 $L^3$-解？该类解的唯一性是否可被确立？

主要发现

• 对于任意散度为零的初始数据 $v_0 \in L^3(\mathbb{R}^3)$，全局弱解存在，将经典理论扩展至超出 $L^2$ 的范围。
• 解被构造为 $v = v^1 + v^2$，其中 $v^1$ 为线性解，$v^2$ 为在每个有界时间区间上属于能量类的校正项。
• 在满足 $\kappa(T) \leq 1/(16c)$ 的条件下，通过压缩映射论证，可在 $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 中局部构造出温和解。
• 所构造的温和解满足局部能量不等式，确认其为 $Q_T$ 上的弱 $L^3$-解。
• 在 $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 的温和解类中，解是唯一的，且任意弱 $L^3$-解在局部时间上与该温和解一致。
• 该方法具有鲁棒性，可推广至带边界的无界区域，相较于 Lerner-Rieusset (2016) 等更复杂的方法更具优势。