On the existence of weak solutions to the steady compressible Navier-Stokes equations when the density is not square integrable. (Q1411710): Difference between revisions

The authors consider the steady, compressible and isentropic Navier-Stokes equations in a bounded domain \(\Omega\subset \mathbb{R}^3\), i.e. \[ \begin{alignedat}{2} -\mu_1\Delta u- (\mu_1+ \mu_2)\nabla\text{\,div\,}u+ \text{div}(\rho u\otimes u)+ \nabla\rho^\gamma &= \rho f+g\quad &&\text{in }\Omega,\\ \text{div}(\rho u) &= 0\quad &&\text{in }\Omega,\\ u &= 0\quad &&\text{on }\partial\Omega.\end{alignedat} \] Concerning the data of the problem, they assume that \(f,g\in L^\infty(\Omega)^3\), \(\mu_1> 0\), \({2\over 3}\mu_1+ \mu_2\geq 0\) and that \[ \gamma> \tfrac32 \text{ if curl\,}f=0,\quad\text{or }\gamma> \tfrac53\text{ if curl\,}f\neq 0. \] Under the above conditions they prove the existence of a renormalized weak solution \((\rho,u)\in L^{s(\gamma)}(\Omega)\times W^{1,2}_0(\Omega)^3\) satisfying \(\int_\Omega\rho dx= M\), where \(M\) is given and \[ s(t)= \begin{cases} 3(t- 1)\quad &\text{if }t< 3,\\ 2t\quad &\text{if }t\geq 3.\end{cases} \]