On a posteriori error estimates for the stationary Navier-Stokes problem

Abstract

We obtain a computable upper bound for the difference between a solution to the stationary Navier-Stokes problem and any solenoidal vector-valued function satisfying the boundary condition and possessing necessary differentiability properties. For sufficiently small velocities this estimate implies an estimate of the deviation from exact solution in the energy norm and the uniqueness of a weak solution. Bibliography: 3 titles.