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.
|出版ステータス||Published - 1999 8|
ASJC Scopus subject areas
- Safety, Risk, Reliability and Quality