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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

10 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)347-357
Number of pages11
JournalReliable Computing
Volume5
Issue number3
Publication statusPublished - 1999 Aug
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'A Numerical Verification Method of Solutions for the Navier-Stokes Equations'. Together they form a unique fingerprint.

Cite this