[论文解读] On Classical Solutions to the Cauchy Problem of the Two-Dimensional Barotropic Compressible Navier-Stokes Equations with Vacuum

Jing Li, Zhilei Liang|arXiv (Cornell University)|Jun 20, 2013

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

一句话总结

该论文在初始密度在无穷远处衰减足够快、粘性系数为常数与密度的幂函数的条件下，建立了二维可压缩N-S方程在远场密度为真空时局部经典解的存在性与唯一性。关键贡献在于证明了即使初始密度具有紧支集，局部经典解依然存在，从而解决了柯西问题设定下一桩长期悬而未决的开放问题。

ABSTRACT

This paper concerns the Cauchy problem of the barotropic compressible Navier-Stokes equations on the whole two-dimensional space with vacuum as far field density. In particular, the initial density can have compact support. When the shear and the bulk viscosities are a positive constant and a power function of the density respectively, it is proved that the two-dimensional Cauchy problem of the compressible Navier-Stokes equations admits a unique local strong solution provided the initial density decays not too slow at infinity. Moreover, if the initial data satisfy some additional regularity and compatibility conditions, the strong solution becomes a classical one.

研究动机与目标

• 解决二维可压缩N-S方程在远场密度为真空且初始密度具有紧支集时局部经典解存在性的开放问题。
• 建立强解与经典解在二维柯西问题中全局时间存在性的条件。
• 将先前在有界区域上的结果推广至无界全空间设定（R²）并允许真空存在。
• 在保持经典解存在性的前提下，放宽对初始数据的相容性与衰减条件。
• 为处理可压缩流体动力学中由真空态引发的奇异性提供严谨的理论框架。

提出的方法

• 引入加权函数 $\bar{x} = (e + |x|^2)^{1/2} \log^{1+\eta_0}(e + |x|^2)$ 以控制初始数据在无穷远处的衰减。
• 在加权 $L^p$ 空间与Sobolev空间中对初始密度 $\rho_0$、速度 $u_0$ 及其导数施加衰减与正则性条件。
• 通过截断函数 $\varphi_R$ 使用局部化技巧，在有界球 $B_R$ 上构造近似解。
• 应用能量估计与椭圆正则性理论，控制速度及其导数的 $L^p$ 与 $H^1$ 范数。
• 采用紧致性论证与子列弱收敛方法，令 $R \to \infty$ 时取极限。
• 证明近似解的收敛性，其极限为满足所有所需正则性与可积性条件的强解。

实验结果

研究问题

• RQ1 当初始密度具有紧支集且在无穷远处趋于零时，二维可压缩N-S方程的古典解是否存在？
• RQ2 为确保在全空间 $\mathbb{R}^2$ 中真空条件下局部经典解的存在性，初始密度需要满足何种衰减率？
• RQ3 粘性系数 $\mu = \text{const}$，$\lambda(\rho) = b\rho^\beta$ 如何影响解的存在性与正则性？
• RQ4 是否可在不破坏古典解存在性的前提下，放宽对初始数据的相容性条件？
• RQ5 当初始密度不远离零时，是否可能在柯西问题设定下构造出局部古典解？

主要发现

• 在初始数据满足指定衰减与正则性条件时，二维可压缩N-S方程在 $\mathbb{R}^2 \times (0, T_0]$ 上存在唯一局部强解。
• 若初始数据满足额外的正则性与相容性条件，则强解即为经典解。
• 初始密度 $\rho_0$ 允许具有紧支集，且当 $\bar{x}^a\rho_0 \in L^1 \cap H^1 \cap W^{1,q}$ 且 $a \in (1,2)$ 时，可保证解的存在性。
• 当 $\beta \in (0,1)$ 时，为使解为经典解，需满足 $\bar{x}^{\theta_0}\nabla\lambda(\rho_0) \in L^2 \cap L^q$，其中 $\theta_0 < \min\{\beta, 1\}$。
• 解满足完整的一组正则性与可积性估计，包括 $\sqrt{\rho}u, \nabla u, \sqrt{t}\sqrt{\rho}u_t \in L^\infty(0,T_0; L^2)$ 与 $\nabla u \in L^2(0,T_0; H^1)$。
• 在有界区域上构造的近似解的极限收敛于 $\mathbb{R}^2$ 上的古典解，从而证实了在全空间真空条件下解的存在性。