A numerical verification method of the solution for the stationary Navier-Stokes equations is described. This method is based on the infinite dimensional fixed point theorem using the Newton-like operator. We present a verification algorithm which generates automatically on a computer a set including the exact solution. Some numerical examples are also discussed.
|Number of pages||11|
|Publication status||Published - 1999 Aug|
ASJC Scopus subject areas
- Safety, Risk, Reliability and Quality