On the global null controllability of a Navier-Stokes system with Navier slip boundary conditions

In this paper, we deal with a two-dimensional Navier-Stokes system in a rectangle with Navier slip boundary conditions on the horizontal sides. We establish the global null controllability of the system by controlling the normal component and the vorticity of the velocity on the vertical sides. The linearized control system around zero is controllable but one does not know how to deduce global controllability results for the nonlinear system. Our proof uses the return method together with a local exact controllability result by Fursikov and Imanuvilov.