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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Research output: Contribution to journalConference article

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
DOIs
Publication statusPublished - Jan 1 1999
EventProceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1 - Campos de Jordao, Brazil
Duration: Jul 31 1997Aug 4 1997

Fingerprint

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

All Science Journal Classification (ASJC) codes

  • Software
  • Computational Mathematics
  • Applied Mathematics

Cite this

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, 01.01.1999, p. 347-357.

Research output: Contribution to journalConference article

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{f53d3ffe6fcd4f75aba6028bd0d56774,
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 = "1",
day = "1",
doi = "10.1023/A:1009976505460",
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/1/1

Y1 - 1999/1/1

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

U2 - 10.1023/A:1009976505460

DO - 10.1023/A:1009976505460

M3 - Conference article

AN - SCOPUS:0003782142

VL - 5

SP - 347

EP - 357

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

IS - 3

ER -