They suggested a numerical scheme based on this approach, but no error analysis was provided. In this paper, we provide a convergence analysis of an edge finite element scheme for the method.

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.