Stability and convergence of efficient Navier‐Stokes solvers via a commutator estimate

For strong solutions of the incompressible Navier‐Stokes equations in bounded domains with velocity specified at the boundary, we establish the unconditional stability and convergence of discretization schemes that decouple the updates of pressure and velocity through explicit time stepping for pressure. These schemes require no solution of stationary Stokes systems, nor any compatibility between velocity and pressure spaces to ensure an inf‐sup condition, and are representative of a class of highly efficient computational methods that have recently emerged. The proofs are simple, based upon a new, sharp estimate for the commutator of the Laplacian and Helmholtz projection operators. This allows us to treat an unconstrained formulation of the Navier‐Stokes equations as a perturbed diffusion equation. © 2007 Wiley Periodicals, Inc.