On the general theory of exact controllability for skew symmetric operators

We introduce a general formalism for linear evolution equations with skew adjoint operators. We make explicit the controllability operator as an expansion with respect to eigenfunctions. Using the fact that the eigenvalues are purely imaginary, we give sufficient controllability conditions. This approach is convenient for studying the asymptotic behaviour of the optimal control.