Second-order convergence of a projection scheme for the incompressible Navier-Stokes equations with boundaries

A rigorous convergence result is given for a projection scheme for the Navies–Stokes equations in the presence of boundaries. The numerical scheme is based on a finite-difference approximation, and the pressure is chosen so that the computed velocity satisfies a discrete divergence-free condition. This choice for the pressure and the particular way that the discrete divergence is calculated near the boundary permit the error in the pressure to be controlled and the second-order convergence in the velocity and the pressure to the exact solution to be shown. Some simplifications in the calculation of the pressure in the case without boundaries are also discussed.