Definition
Navier–Stokes momentum residual
The defect obtained by evaluating the momentum equation on a trial velocity and pressure.
For sufficiently differentiable trial fields , fixed viscosity , and prescribed force , the momentum residual is
It vanishes precisely when the momentum equation in Navier–Stokes holds. The additional condition , initial data, and boundary conditions are separate constraints.
Exact correction identity
For increments ,
The last term is the quadratic error after a linear correction. This sign convention includes ; defining an effective force instead requires stating the corresponding sign explicitly.