1: \begin{abstract}
2: Common efficient schemes for the incompressible Navier-Stokes equations, such
3: as projection or fractional step methods, have limited temporal accuracy as a
4: result of matrix splitting errors, or introduce errors near the domain
5: boundaries (which destroy uniform convergence to the solution). In this paper we
6: recast the incompressible (constant density) Navier-Stokes equations (with the
7: velocity prescribed at the boundary) as an equivalent system, for the primary
8: variables velocity and pressure. We do this in the usual way away from the
9: boundaries, by replacing the incompressibility condition on the velocity by
10: a Poisson equation for the pressure. The key difference from the usual
11: approaches occurs at the boundaries, where we use boundary conditions that
12: unequivocally allow the pressure to be recovered from knowledge of the
13: velocity at any fixed time. This avoids the common difficulty of an,
14: apparently, over-determined Poisson problem. Since in this alternative
15: formulation the pressure can be accurately and efficiently recovered from the
16: velocity, the recast equations are ideal for numerical marching methods. The
17: new system can be discretized using a variety of methods, in principle to any
18: desired order of accuracy. In this work we illustrate the approach with a 2-D
19: second order finite difference scheme on a Cartesian grid, and devise an
20: algorithm to solve the equations on domains with curved (non-conforming)
21: boundaries, including a case with a non-trivial topology (a circular
22: obstruction inside the domain). This algorithm achieves second order accuracy
23: in the $L^{\infty}\/$ norm, for both the velocity and the pressure. The scheme
24: has a natural extension to 3-D.
25: %
26: \end{abstract}
27: