[论文解读] Global well-posedness of the 1D compressible Navier-Stokes equations with constant heat conductivity and nonnegative density

Jinkai Li|arXiv (Cornell University)|Jan 29, 2018

Navier-Stokes equation solutions参考文献 26被引用 7

一句话总结

本文建立了常粘性与常热导率下一维可压缩N-S方程强解的全局适定性，即使初始密度可能为零（即允许真空存在）。通过采用拉格朗日坐标系，并提出一个关于密度与初始密度之比和粒子轨迹上温度上界时间积分之间反比关系的创新性观察，作者克服了由于密度缺乏正下界所带来的挑战，证明了在非负密度的$H^2$初值条件下，解的存在性、唯一性与正则性。

ABSTRACT

In this paper we consider the initial-boundary value problem to the one-dimensional compressible Navier-Stokes equations for idea gases. Both the viscous and heat conductive coefficients are assumed to be positive constants, and the initial density is allowed to have vacuum. Global existence and uniqueness of strong solutions is established for any $H^2$ initial data, which generalizes the well-known result of Kazhikhov--Shelukhin (Kazhikhov, A. V.; Shelukhin, V. V.: \emph{Unique global solution with respect to time of initial boundary value problems for one-dimensional equations of a viscous gas, J. Appl. Math. Mech., 41 (1977), 273--282.) to the case that with nonnegative initial density.

研究动机与目标

• 建立一维可压缩N-S方程在常粘性与常热导率下强解的全局存在性与唯一性，即使初始密度可能为零（即允许真空存在）。
• 将经典Kazhikhov–Shelukhin结果——该结果要求密度具有正下界——推广至非负初始密度的情形。
• 克服在真空存在时由于密度缺乏正下界而引发的数学困难。
• 基于拉格朗日坐标系与粒子轨迹上密度-温度比的行为，发展一种新的分析技术。
• 证明在$H^2$初值条件下，强解即使在初始状态为真空时也能全局存在。

提出的方法

• 通过流映射$x = \tilde{\rho}(y,t)$将欧拉系统转化为拉格朗日坐标系，从而通过固定空间区域简化分析。
• 提出关键观察：沿粒子轨迹，比值$\varrho / \varrho_0$与温度上界的时间积分成反比。
• 在拉格朗日框架中，利用包含$\sqrt{\varrho_0}$、$J = \partial_y \eta$以及速度与温度梯度的加权$L^2$范数，推导能量估计。
• 运用Sobolev嵌入、Hölder、Young及Poincaré型不等式控制非线性项并建立一致有界性。
• 对能量-耗散估计应用Gronwall不等式，证明两组解之间的差异恒为零，从而证明唯一性。
• 利用$H^2$初值的正则性与方程结构，闭合能量估计，确保全局存在性。

实验结果

研究问题

• RQ1 能否在一维可压缩N-S方程中，对于常热导率与非负初始密度（包括真空）建立全局强解？
• RQ2 在全可压缩N-S系统分析中，如何克服由于密度缺乏正下界而带来的困难？
• RQ3 当存在真空时，温度上界在控制密度演化中起何作用？
• RQ4 能否将经典Kazhikhov–Shelukhin结果推广至非负初始密度情形，而无需要求密度有正下界？
• RQ5 当粘性与热导率均为常数时，是否可能在真空存在下证明唯一性与全局存在性？

主要发现

• 在一维可压缩N-S方程中，即使初始密度为非负且可能为零，也建立了常粘性与常热导率下强解的全局存在性与唯一性。
• 关键分析创新在于观察到$\varrho / \varrho_0$与沿粒子轨迹温度上界的时间积分成反比，从而控制了真空引起的退化行为。
• 解类为$H^2$初值，解在所有时间保持正则性，且所有相关范数一致有界。
• 通过拉格朗日框架中的能量估计，采用反证法证明唯一性，表明两组解之间的差异必须恒为零。
• 该方法适用于完整的可压缩N-S系统（包括能量方程），且对热导率系数仅要求为常数，无需其他假设。
• 本结果通过去除初始密度远离零的要求，推广了经典的Kazhikhov–Shelukhin结果。