Abstract.A postprocessing technique for mixed finite-element methods for the incompressible Navier-Stokes equations is analyzed. The postprocess, which amounts to solving a (linear) Stokes problem, is shown to increase the order of convergence of the method to which it is applied by one unit (times the logarithm of the mesh diameter). In proving the error bounds, some superconvergence results are also obtained. Contrary to previous analysis of the postprocessing technique, in the present paper we take into account the loss of regularity suffered by the solutions of the NavierStokes equations at the initial time in the absence of nonlocal compatibility conditions of the data. As in [H. G. Heywood and R. Rannacher, SIAM J. Numer. Anal., 25 (1988), pp. 489-512], where the same hypothesis is assumed, no better than fifth-order convergence is achieved.Key words. Navier-Stokes equations, mixed finite-element methods, optimal regularity, error estimates AMS subject classifications. 65M60, 65M20, 65M15, 65M12 DOI. 10.1137/06064458 1. Introduction. It is well known that, no matter how regular the data are, solutions of the Navier-Stokes equations cannot be assumed to have more than secondorder spatial derivatives bounded in L 2 up to initial time t = 0, since this requires the data to satisfy nonlocal compatibility conditions unlikely to be fulfilled in practical situations [36], [37]. Therefore, error analysis of numerical methods for the NavierStokes equations is more meaningful if this fact is taken into account. This is the case of the present paper, where we analyze a postprocessing technique that improves the errors of mixed finite-element (MFE) methods for the Navier-Stokes equations from More recently, the postprocessing technique has also been developed for MFE methods for the Navier-Stokes equations in [4], [6], but for solutions more regular up to t = 0 than what can be realistically assumed in practice, and this allows the