A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Yoshitaka Watanabe (), Nobito Yamamoto and Mitsuhiro T. Nakao
Additional contact information
Yoshitaka Watanabe: Kyushu University 33, Computer Center
Nobito Yamamoto: Kyushu University 33, Graduate School of Mathematics
Mitsuhiro T. Nakao: Kyushu University 33, Graduate School of Mathematics

A chapter in Developments in Reliable Computing, 1999, pp 347-357 from Springer

Abstract: Abstract 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.

Keywords: Stokes Problem; Finite Element Approximation; Finite Element Solution; Verification Condition; Fixed Point Problem (search for similar items in EconPapers)
Date: 1999
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-94-017-1247-7_27

Ordering information: This item can be ordered from
http://www.springer.com/9789401712477

DOI: 10.1007/978-94-017-1247-7_27

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().