A posteriori error analysis of space-time finite element discretizations of the time-dependent Stokes equations

We present a novel a posteriori error analysis of space-time finite element discretizations of the time-dependent Stokes equations. Our analysis is based on the equivalence of error and residual and a suitable decomposition of the residual into spatial and temporal contributions. In contrast to existing results we directly bound the error of the full space-time discretization and do not resort to auxiliary semi-discretizations. We thus obtain sharper bounds. Moreover the present analysis covers a wider range of discretizations both with respect to time and to space.