[论文解读] Global Well-Posedness of Classical Solutions to the Cauchy problem of Two-Dimensional Baratropic Compressible Navier-Stokes System with Vacuum and Large Initial Data

Xiangdi Huang, Jing Li|arXiv (Cornell University)|Jul 16, 2012

Navier-Stokes equation solutions参考文献 17被引用 38

一句话总结

本文建立了在全空间上具有无穷远处真空和大初值的二维可压缩Barotropic Navier-Stokes方程经典解的全局存在性与唯一性。通过假设恒定剪切粘性及体积粘性满足 $\lambda = \rho^\beta$ 且 $\beta > 4/3$，作者证明了在不施加初值大小限制的条件下解的长时间存在性与正则性，从而解决了多维粘性气体动力学中长期悬而未决的公开问题。

ABSTRACT

For smooth initial data, we establish the global existence and uniqueness of strong and classical solutions to the Cauchy problem for the barotropic compressible Navier-Stokes equations in two spatial dimensions with vacuum state as far field and with no restrictions on the size of initial data provided the shear viscosity is a positive constant and the bulk one is $λ= ρ^β$ with $β>4/3$.

研究动机与目标

• 解决在 $\mathbb{R}^2$ 上具有无穷远处真空和大初值的二维可压缩Navier-Stokes方程全局经典可解性的公开问题。
• 消除此前仅限于小能量或小振荡区域的初值大小限制，以实现全局存在性。
• 将先前要求 $\beta > 3$ 的结果推广至临界阈值 $\beta > 4/3$，从而改进了可接受粘性律的范围。
• 建立与时间无关的密度和速度的统一有界性，确保长时间正则性与唯一性。
• 为在无界区域中初值可能在开集上消失的Cauchy问题提供严格的理论框架。

提出的方法

• 采用带权Sobolev空间，权重为 $\bar{x}^a = (e + |x|^2)^{1/2} \log^{1+\eta_0}(e + |x|^2)$，其中 $\eta_0 = \frac{3}{8} - \frac{1}{2\beta} > 0$，以控制无穷远处的衰减与可积性。
• 使用光滑化与正则化过程构造满足所需正则性与衰减条件的近似初值 $\rho_0^\delta$，$u_0^\delta$。
• 应用局部存在性理论（引理2.1）获得正则化问题的局部强解，随后建立与 $\delta$ 无关的统一先验估计。
• 推导 $\rho$，$u$ 及其导数的能量与高阶估计，包括 $\|\nabla u\|_{L^2}$，$\|\rho\|_{L^\infty}$，以及 $\|\bar{x}^a \rho\|_{L^1 \cap H^1}$ 的界。
• 利用紧致性论证及Lebesgue与Sobolev空间中的弱/强收敛性，令 $\delta \to 0$ 时取极限，恢复全局解。
• 通过能量估计与类似Li-Liang（2013）的比较论证，适应加权与无界区域设定，建立唯一性。

实验结果

研究问题

• RQ1 在无穷远处具有真空且对初值大小无限制的条件下，二维可压缩Navier-Stokes方程的全局经典解是否可能存在？
• RQ2 为确保在全空间中全局存在性与正则性，体积粘性律 $\lambda(\rho) = \rho^\beta$ 的最小要求是什么？
• RQ3 当初值较大且可能退化（即允许真空存在）时，能否建立密度与速度的与时间无关的有界性？
• RQ4 是否能够将全局可解性理论从有界区域或周期性设定推广至全空间 $\mathbb{R}^2$ 并允许真空存在？
• RQ5 涉及 $\bar{x}^a$ 与对数权重的加权范数如何有助于控制空间无穷远处的行为？

主要发现

• 作者证明了在 $\mathbb{R}^2$ 上具有无穷远处真空和大初值的二维可压缩Navier-Stokes方程经典解的全局存在性与唯一性。
• 该结果在体积粘性 $\lambda = \rho^\beta$ 满足 $\beta > 4/3$ 的条件下成立，优于Vaigant-Kazhikhov（1997）先前得到的阈值 $\beta > 3$。
• 解满足与时间无关的有界性：对所有 $t \geq 0$，有 $\|\rho(t)\|_{L^\infty} \leq C$ 与 $\|\nabla u(t)\|_{L^2} \leq C$，其中 $C$ 与时间无关。
• 初值允许较大，并可在开集上消失，只要 $\bar{x}^a \rho_0 \in L^1 \cap H^1 \cap W^{1,q}$（$q > 2$）且 $a \in (1,2)$。
• 解为强解且经典解，满足 $\rho \in C([0,T]; L^1 \cap H^1 \cap W^{1,q})$ 与 $\bar{x}^a \rho \in L^\infty(0,T; L^1 \cap H^1)$，对任意 $T > 0$ 成立，确保了解的正则性与衰减性。
• 证明依赖于正则化与紧致性论证，从正则化初值出发取极限，且在Sobolev空间的强与弱拓扑中建立了收敛性。