1: \begin{abstract}

2: 

3: This article focusses on the analysis of a conforming finite element method for the time-dependent incompressible Navier--Stokes equations. For divergence-free approximations, in a semi-discrete formulation, we prove error estimates for the velocity that hold independently of both pressure and Reynolds number. Here, a key aspect is the use of the discrete Stokes projection for the error splitting. Optionally, edge-stabilisation can be included in the case of dominant convection. Emphasising the importance of conservation properties, the theoretical results are complemented with numerical simulations of vortex dynamics and laminar boundary layer flows.

4: 

5: \vspace{0.25cm}

6: \noindent

7: \emph{Mathematics Subject Classification:} 

8: 65M12 $\cdot$ 	% Stability and convergence of numerical methods

9: 65M15 $\cdot$ 	% Error bounds

10: 65M60 $\cdot$ 	% Finite elements, Rayleigh-Ritz and Galerkin methods, finite methods

11: 76D05 $\cdot$ 	% Navier-Stokes equations

12: 76D10 $\cdot$ 	% Boundary-layer theory, separation and reattachment, higher-order effects

13: 76D17 		 	% Viscous vortex flows

14:  

15: \end{abstract}

16: