RESUMEN

This paper provides an error analysis for the Crank–Nicolson method of time discretization applied to spatially discrete Galerkin approximations of the nonstationary Navier–Stokes equations. Second-order error estimates are proven locally in time under realistic assumptions about the regularity of the solution. For approximations of an exponentially stable solution, these local error estimates are extended uniformly in time as t → ∞.