Existence of weak solutions up to collision for viscous fluid-solid systems with slip (Q6486796)

This paper is a step forward related with a previous result of the authors [ESAIM, Math. Model. Numer. Anal. 46, No. 5, 1201--1224 (2012; Zbl 1267.76020)] where the collision paradox was solved for a Stokes fluid, by using the Navier boundary conditions (instead of no-slip boundary conditions) on the fluid-solid interface. In the present paper the analysis is extended to a Navier-Stokes fluid. The main purpose is to define and obtain the existence for a weak solution in the case of Navier boundary conditions. The test functions are discontinuous on the fluid-solid interface. Moreover, the notion of weak solution is restricted to configurations up to collision, to avoid possible cuspoidal fluid configurations. The corresponding approximate solutions are considered, whose resolution is carried out through a Galerkin scheme. The main result is the existence of a weak Leray-type solution, up to collision, in the 3-D case.