Theory of Navier-Stokes equations: moving bodies at the presence of contacts and collisions

In this talk, we consider Navier-Stokes equations with Navier's slip boundary conditions. We show their weak solvability. A remarkable observation says that Navier's boundary conditions enable us to accept a class of possible collisions, in contrast with the no-slip Dirichlet boundary conditions.