In this Note, we treat the Navier–Stokes equation with slip Navier’s boundary condition in a time variable domain around a finite system of compact bodies moving in a container. The motion of the bodies is assumed to be a priori known. The bodies may collide at a finite number of time instants. We present the theorem on the global in time existence of a weak solution. It is remarkable that Navier’s boundary condition enables us to consider a larger class of possible collisions of bodies with   front surfaces in comparison with the no-slip Dirichlet condition. To cite this article: J. Neustupa, P. Penel, C. R. Acad. Sci. Paris, Ser. I 347 (2009).

Dans cette Note, nous considérons les équations de Navier–Stokes avec des conditions aux limites de Navier dans un domaine borné temporellement variable contenant un nombre fini de corps compacts en mouvement. Le mouvement de ces corps est supposé connu, ainsi que la simulation de leurs contacts ou collisions éventuels (en nombre fini, entre eux ou avec la frontière du domaine). Nous établissons un résultat d’existence, globale en temps, des solutions faibles. Le choix des conditions aux limites est intéressant à commenter par comparaison avec les conditions standard de Dirichlet. Pour citer cet article : J. Neustupa, P. Penel, C. R. Acad. Sci. Paris, Ser. I 347 (2009).