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 - Aug 1999|
|Event||Proceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1 - Campos de Jordao, Brazil|
Duration: Jul 31 1997 → Aug 4 1997
All Science Journal Classification (ASJC) codes
- Computational Mathematics
- Applied Mathematics