On a theorem of Cattabriga related to Stokes equations

We study the ''generalized Stokes boundary value problem'', which is a (generalization of a) linearized version of Navier-Stokes equations and we show the existence and unicity of the weak solution. It is known that these results can be used to prove the existence of weak (local) solutions to the Navier-Stokes equations. However, we are mainly interested in the method of proving it will be seen how easy the result follows from some general theorems about differential forms on a Riemannian manifold. (author)