Motion of a rigid body in a compressible Fluid with Navier-slip boundary condition

In this work, we study the motion of a rigid body in a bounded domain which is filled with a compressible isentropic fluid. We consider the Navier-slip boundary condition at the interface as well as at the boundary of the domain. This is the first mathematical analysis of a compressible fluid-rigid body system where Navier-slip boundary conditions are considered. We prove existence of a weak solution of the fluid-structure system up to collision.