Local Existence and Uniqueness of Heat Conductive Compressible Navier–Stokes Equations in the Presence of Vacuum Without Initial Compatibility Conditions
Li Jinkai,Zheng Yasi
DOI: https://doi.org/10.1007/s00021-022-00761-9
IF: 1.907
2023-01-01
Journal of Mathematical Fluid Mechanics
Abstract:In this paper, we investigate the initial-boundary value problem to the heat conductive compressible Navier–Stokes equations. Local existence and uniqueness of strong solutions is established with any such initial data that the initial density $$\rho _0$$ , velocity $$u_0$$ , and temperature $$\theta _0$$ satisfy $$\rho _0\in W^{1,q}$$ , with $$q\in (3,6)$$ , $$u_0\in H^1_0$$ , and $$\sqrt{\rho _0}\theta _0\in L^2$$ . The initial density is assumed to be only nonnegative and thus the initial vacuum is allowed. In addition to the necessary regularity assumptions, we do not require any initial compatibility conditions such as those proposed in Cho and Kim (J Differ Equ 228(2):377–411, 2006), which although are widely used in many previous works, put some inconvenient constrains on the initial data. Due to the weaker regularities of the initial data and the absence of the initial compatibility conditions, leading to weaker regularities of the solutions compared with those in the previous works, the uniqueness of solutions obtained in the current paper does not follow from the arguments used in the existing literatures. Our proof of the uniqueness of solutions is based on the following new idea of two-stages argument: (1) showing that the difference of two solutions (or part of their components) with the same initial data is controlled by some power functions of the time variable; (2) carrying out some singular-in-time weighted energy differential inequalities fulfilling the structure of the Grönwall inequality. The existence is established in the Euler coordinates, while the uniqueness is proved in the Lagrangian coordinates first and then transformed back to the Euler coordinates.