[论文解读] Global Classical and Weak Solutions to the Three-Dimensional Full Compressible Navier-Stokes System with Vacuum and Large Oscillations

Xiangdi Huang, Jing Li|arXiv (Cornell University)|Jul 23, 2011

Navier-Stokes equation solutions参考文献 9被引用 14

一句话总结

本文建立了三维全压缩型纳维-斯托克斯系统在初始能量较小但初始扰动可能较大的条件下经典解的全局存在性与唯一性，允许初始密度为零（即存在真空状态）。此外，本文还证明了可能含有真空的不连续初始数据下弱解的全局存在性，这是首次在存在大扰动与真空条件下获得经典解与弱解的全局结果。

ABSTRACT

We establish the global existence and uniqueness of classical solutions to the three-dimensional full compressible Navier-Stokes system with smooth initial data which are of small energy but possibly large oscillations where the initial density is allowed to vanish. Moreover, for the initial data which may be discontinuous and contain vacuum states, we also obtain the global existence of weak solutions. These results generalize previous ones on classical and weak solutions for initial density being strictly away from vacuum, and are the first for global classical and weak solutions which may have large oscillations and can contain vacuum states.

研究动机与目标

• 建立三维全压缩型纳维-斯托克斯系统在初始数据能量较小但可能具有大扰动条件下的全局经典解的存在性与唯一性。
• 将经典解理论推广至初始密度可能为零或具有紧支集的情形，突破了以往对初始密度严格正的限制。
• 证明初始数据可能不连续且包含真空状态时弱解的全局存在性。
• 推广先前依赖于小扰动或初始密度严格正的结论，特别是将Huang-Li-Xin的工作扩展至全能量-输运系统。
• 解决长期悬而未决的公开问题：在存在真空与大初始扰动条件下，经典解与弱解的全局适定性。

提出的方法

• 利用Sobolev空间中的能量估计与先验界控制解的增长，即使在初始扰动较大的情况下亦能保持控制。
• 采用改进的能量泛函，包含质量、动量与能量的全系统平衡，涵盖热传导与粘性耗散。
• 应用光滑化与逼近方法处理可能不连续的初始数据下的弱解。
• 通过分部积分与插值不等式（特别是Gagliardo-Nirenberg不等式）推导出密度、速度与温度的统一有界性。
• 利用紧致性论证与弱收敛技术，使逼近序列的极限成立，确保弱解的存在性。
• 通过时间积分的$ L^4 $与$ L^2 $梯度与速度有界性，推导出当$ t \to \infty $时密度与速度在$ L^p $范数下的衰减估计。

实验结果

研究问题

• RQ1 当初始数据具有小能量但大扰动时，三维全压缩型纳维-斯托克斯系统是否存在全局经典解？
• RQ2 当初始密度在开集上为零或具有紧支集时，是否可构造全局经典解？
• RQ3 在包含真空状态的不连续初始数据下，何种条件可保证弱解的全局存在性？
• RQ4 解在长时间下如何演化，特别是密度与速度的衰减行为如何？
• RQ5 经典解理论能否超越小扰动区域，推广至包含密度与速度大初始变化的情形？

主要发现

• 在初始能量较小但可能具有大扰动的条件下，三维全压缩型纳维-斯托克斯系统存在全局经典解，即使初始密度为零。
• 初始密度可在开集上为零或具有紧支集，该结果推广了以往要求初始密度严格正的结论。
• 对于不连续且可能包含真空状态的初始数据，建立了全局弱解，显著扩展了解的存在性理论范围。
• 当$ t \to \infty $时，密度在所有$ p \in (2, \infty) $的$ L^p $范数下收敛至远处常数，表明渐近稳定性。
• 当$ t \to \infty $时，速度梯度在$ L^4 $范数下、温度梯度在$ L^2 $范数下均趋于零，证实了解的长期正则性与稳定性。
• 解在极限下满足能量恒等式与弱形式，确认即使在存在真空与不连续性的情况下，弱解概念的合理性。