On the existence of the weak solution with local energy inequality to the 3-D inhomogeneous incompressible Navier-Stokes equations (Q387150)

The paper is concerned with the existence of a weak solution, which satisfies the local energy inequality, of the following inhomogeneous incompressible Navier-Stokes equations: \[ \begin{cases} \frac{\partial \rho }{\partial t} + \mathrm{div} (\rho u)=0, (t,x) \in {\mathbb R}^+\times {\mathbb R}^3, \\ \frac{\partial (\rho u)}{\partial t} + \mathrm{div} (\rho u \otimes u)-\nu \Delta u + \nabla \Pi =0,& \\ \mathrm{div}u =0 & \end{cases}\tag{1} \] with the initial condition \[ \rho | _{t=0}=\rho _0, u| _{t=0}= u_0. \eqno{(2)} \] The author get a weak solution of (1)-(2) satisfying the local energy inequality in the following theorem. \textbf{Theorem.} If \(u_0 \in L^2({\mathbb R}^3)\cap W^{2/5,5/4}({\mathbb R}^3)\), \(\mathrm{div} u_0=0, \| \rho _0-1\| _{L^{\infty }}\) is small, then there exists a weak solution \((\rho ,u , \Pi )\) of (1)-(2) such that the following local energy inequality holds in the sense of \[ \int _{{\mathbb R}^3\times \{ T \} }\rho | u | ^2\varphi dx + 2 \int _0^T \int _{{\mathbb R}^3}| \nabla u | ^2 \varphi dxdt \leq \int _{{\mathbb R}^3} \rho | u_0 | ^2 \varphi dx \] \[ \qquad + \int _0^T \int _{{\mathbb R}^3} | u | ^2 (\rho \varphi _t + \Delta \varphi )dxdt + \int _0^T \int _{{\mathbb R}^3} (\rho | u | ^2+ 2 \Pi ) u \nabla \varphi dxdt , \quad T>0 \] for any \(C^{\infty }\) function \(\varphi \geq 0\) with compact support in space. Here \[ W^{2/5,5/4}({\mathbb R}^3)= \biggl\{ u; \| u \| _{W^{2/5, 5/4}}= \| u \| _{L^{5/4}({\mathbb R}^3)} \] \[ \qquad + \int _{{\mathbb R}^3}\biggl( \int _{{\mathbb R}^3}\frac{| u(x)-u(y)| ^{5/4}}{| x-y | ^{7/2}}dy \biggr) ^{4/5} dx < \infty \biggr\}. \]