[论文解读] Global Well-Posedness of Classical Solutions with Large Oscillations and Vacuum to the Three-Dimensional Isentropic Compressible Navier-Stokes Equations

Xiangdi Huang, Jing Li+1 more|arXiv (Cornell University)|Apr 27, 2010

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

一句话总结

本文建立了三维等熵可压缩N-S方程在初始数据能量较小但可能存在大振荡和真空情况下的经典解的全局存在性与唯一性。通过引入一种新型能量框架并利用压强项与黏性项的结构，作者证明了即使初始密度为零或具有紧支集，解仍能保持光滑且为经典解，从而扩展了以往要求初始密度严格正的结论。

ABSTRACT

We establish the global existence and uniqueness of classical solutions to the Cauchy problem for the isentropic compressible Navier-Stokes equations in three spatial dimensions with smooth initial data which are of small energy but possibly large oscillations with constant state as far field which could be either vacuum or non-vacuum. The initial density is allowed to vanish and the spatial measure of the set of vacuum can be arbitrarily large, in particular, the initial density can even have compact support. These results generalize previous results on classical solutions for initial densities being strictly away from vacuum, and are the first for global classical solutions which may have large oscillations and can contain vacuum states.

研究动机与目标

• 将经典解理论推广至初始密度严格为正的限制之外。
• 解决在真空与大初始振荡存在下经典解全局适定性的开放问题。
• 在初始密度可能为零或具有紧支集的情况下，建立经典解的存在性与唯一性，即使能量较小亦成立。
• 推广以往要求从非真空状态出发且初始密度小振荡或严格为正的结论。
• 为真空态存在下的经典解提供严谨框架，该问题在该领域长期未解。

提出的方法

• 构建一种新型能量估计框架，即使在初始振荡较大的情况下，也能控制解的高阶导数的增长。
• 利用连续性方程与动量方程的弱形式，推导出密度与速度梯度的先验估计。
• 应用Gagliardo-Nirenberg与Sobolev型不等式，以能量与耗散量控制密度与速度的$L^\rho$-范数。
• 对初始数据施加小能量条件，以防止解的爆破，即使初始密度在任意测度集合上为零亦成立。
• 采用归纳法论证，通过反证法将局部经典解延拓为全局解，假设存在有限最大存在时间。
• 利用压强项$P = a\rho^\gamma$与黏性项的结构，推导出当$t \to \infty$时$\|\nabla u\|_{L^2}$与$\|P - P(\tilde{\rho})\|_{L^4}$的衰减估计。

实验结果

研究问题

• RQ1 当初始密度允许为零或具有紧支集时，三维等熵可压缩N-S方程的经典解是否能全局存在？
• RQ2 若初始能量较小，是否可在初始密度存在真空且初始振荡较大的情况下建立经典解的全局适定性？
• RQ3 初始数据需满足何种条件，才能确保解在真空存在下仍能保持光滑且为经典解，且对所有时间$t$成立？
• RQ4 此类解中速度梯度与压强偏差的衰减行为如何随时间演变？
• RQ5 能否将经典解框架扩展至以往结果受限于非真空区域的情形？

主要发现

• 本文证明了对于初始能量较小、即使初始密度为零或具有紧支集的初始数据，三维等熵可压缩N-S方程存在全局经典解且解唯一。
• 只要初始能量足够小，即使初始密度存在大振荡，解在所有时间$t \in (0, \infty)$内仍保持经典性。
• $P - P(\tilde{\rho})$的$L^4$-范数随$t \to \infty$趋于零，意味着密度在$L^q$-范数下收敛至远场状态$\tilde{\rho}$，对所有满足$1 \leq q < \infty$的$q$成立。
• $\nabla u$在$L^2$-范数下随$t \to \infty$趋于零，表明动能被耗散。
• 解满足$\|\nabla u\|_{L^2} \to 0$当$t \to \infty$，这对解的衰减与正则性至关重要。
• 作者证明：若初始密度具有紧支集且解保持经典性，则密度不可能一致收敛至$\tilde{\rho} > 0$，除非$\tilde{\rho} = 0$，从而导出矛盾；因此，若$\tilde{\rho} > 0$且初始密度具有紧支集，则解不可能保持经典性——这是关键的一致性检验。