Download PDF - Three-level discrete time Galerkin approximations for the non-stationary Navier-Stokes equation