Global existence of weak solutions for compresssible Navier-Stokes-Fourier equations with the truncated virial pressure law (Q6111714)

The present paper deals with the existence of weak solutions for compressible Navier-Stokes-Fourier system in the torus \(\mathbb{T}^d\), \(d> 2\), with the pressure given by the truncated viral equation \(P(\rho,\theta) = \rho^\gamma+ \widetilde{P}(\rho,\theta)\), where \(\gamma> \max\{4,2N,d\}\), \[ \widetilde{P}(\rho,\theta) = \theta \left(B_0(\theta) + C_1\rho+ \sum_{n=2}^N B_n(\theta)\rho^n\right), \] \(C_1\in\mathbb{R}\), \(B_0\) is a some twice differentiable function \((\gamma_\theta-1)\)-growth properties for \(2\leq \gamma_\theta\leq\alpha\), and \(B_2,\cdots, B_N\) are some thrice differentiable functions with boundedness properties involving some \(\bar\alpha<\min\{\alpha,2\gamma_\theta\}\). Here, \(\alpha\geq 4\) stands for the order of the growth bounds of the thermal conductivity \(k(\theta)\), as a temperature-dependent function. The isotropic stress tensor \(\mathcal{S}\) is assumed to have constant viscosity coefficients. Under some assumptions on the initial data, the authors prove the existence of a solution in the sense \(\mathbf{u}\in L^2(0,T;H^1(\mathbb{T}^d))\), \(\rho\mathbf{u}\in C_w([0,T]; L^{2\gamma/(\gamma+2)} (\mathbb{T}^d))\), \(|\mathbf{m}|^2/(2\rho) \in L^\infty (0,T; L^1(\mathbb{T}^d))\), \(\rho\in C_w([0,T]; L^\gamma(\mathbb{T}^d))\cap L^{\gamma+a}(\mathbb{T}^d\times ]0,T[)\), where \(0<a<1/d\), \(\theta \in L^\alpha(0,T;L^{\alpha/(1-2/d)}(\mathbb{T}^d))\) and \(\log\theta \in L^2(0,T; H^1(\mathbb{T}^d))\). The proof relies on the fixed point argument of freezing the temperature on the pressure to solve the compressible Navier-Stokes system and to find \((\mathbf{u},\rho)\). Next, the authors prove the solvability of the approximate parabolic equation \begin{align*} \partial_t g+ \mbox{div}(g\mathbf{u}) +\left(-\varepsilon\theta_\varepsilon \log\theta_\varepsilon +\widetilde{P}(\rho,\theta_\varepsilon) \right)\mbox{div} \mathbf{u}= \mathcal{S}:\nabla\mathbf{u} \\ + \mbox{div}\left(k(\theta_\varepsilon) \frac{\partial\theta_\varepsilon}{\partial \rho} \nabla \rho+ k(\theta_\varepsilon) \frac{\partial\theta_\varepsilon}{\partial g} \nabla g\right) \end{align*} in \(\mathbb{T}^d\times ]0,T[\), for any fixed \(\varepsilon>0\). Here, \(\theta_\varepsilon =\theta_\varepsilon(\rho,g)\), by the relation \[ g=\varepsilon \theta_\varepsilon + \theta_\varepsilon^2 B'_0(\theta_\varepsilon) - \theta_\varepsilon^2 \sum_{n=2}^N B'_n(\theta_\varepsilon) \frac{\rho^{n}}{n-1} . \] Then, passing to the limit, as \(\varepsilon\) tends to zero, the authors obtain the specific entropy \(s\) verifying the entropy inequality in the sense of distributions. Finally, the authors prove that the Leray-Schauder fixed point theorem may be applied in a ball with radius depending on the initial energy, if provided by the data restriction \(\gamma_\theta<\bar\alpha<\min\{\alpha,2\gamma_\theta\}\).