Convergence of a finite element/ALE method for the Stokes equations in a domain depending on time

We consider the approximation of the unsteady Stokes equations in a time dependent domain when the motion of the domain is given. More precisely, we apply the finite element method to an Arbitrary Lagrangian Eulerian (ALE) formulation of the system. Our main results state the convergence of the solutions of the semi-discretized (with respect to the space variable) and of the fully-discrete problems towards the solutions of the Stokes system.