A Kalman condition for the controllability of a coupled system of Stokes equations

We consider the controllability of a class of systems of n Stokes equations, coupled through terms of order zero and controlled by m distributed controls. Our main result states that such a system is null-controllable if and only if a Kalman type condition is satisfied. This generalizes the case of finite-dimensional systems and the case of systems of coupled linear heat equations. The proof of the main result relies on the use of the Kalman operator introduced in [1] and on a Carleman estimate for a cascade type system of Stokes equations. Using a fixed-point argument, we also obtain that if the Kalman condition is verified, then the corresponding system of Navier-Stokes equations is locally null-controllable