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

Fingerprint

Numerical Verification
Navier Stokes equations
Navier-Stokes Equations
Stationary Navier-Stokes Equations
Fixed point theorem
Mathematical operators
Exact Solution
Numerical Examples
Operator

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Watanabe, Y., Yamamoto, N., & Nakao, M. T. (1999). A Numerical Verification Method of Solutions for the Navier-Stokes Equations. Reliable Computing, 5(3), 347-357.

A Numerical Verification Method of Solutions for the Navier-Stokes Equations. / Watanabe, Yoshitaka; Yamamoto, Nobito; Nakao, Mitsuhiro T.

In: Reliable Computing, Vol. 5, No. 3, 08.1999, p. 347-357.

Research output: Contribution to journalArticle

Watanabe, Y, Yamamoto, N & Nakao, MT 1999, 'A Numerical Verification Method of Solutions for the Navier-Stokes Equations', Reliable Computing, vol. 5, no. 3, pp. 347-357.
Watanabe, Yoshitaka ; Yamamoto, Nobito ; Nakao, Mitsuhiro T. / A Numerical Verification Method of Solutions for the Navier-Stokes Equations. In: Reliable Computing. 1999 ; Vol. 5, No. 3. pp. 347-357.
@article{cd6098244a9347a7b9a2f70ef0624b36,
title = "A Numerical Verification Method of Solutions for the Navier-Stokes Equations",
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.",
author = "Yoshitaka Watanabe and Nobito Yamamoto and Nakao, {Mitsuhiro T.}",
year = "1999",
month = "8",
language = "English",
volume = "5",
pages = "347--357",
journal = "Reliable Computing",
issn = "1385-3139",
publisher = "Springer Netherlands",
number = "3",

}

TY - JOUR

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

AU - Watanabe, Yoshitaka

AU - Yamamoto, Nobito

AU - Nakao, Mitsuhiro T.

PY - 1999/8

Y1 - 1999/8

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0003782142&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0003782142&partnerID=8YFLogxK

M3 - Article

VL - 5

SP - 347

EP - 357

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

IS - 3

ER -