Compressible Navier–Stokes system with the hard sphere pressure law in an exterior domain

We consider the motion of compressible Navier–Stokes fluids with the hard sphere pressure law around a rigid obstacle when the velocity and the density at infinity are nonzero. This kind of pressure model is largely employed in various physical and industrial applications. We prove the existence of weak solution to the system in the exterior domain.