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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

研究成果: ジャーナルへの寄稿Conference article

10 引用 (Scopus)

抄録

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.

元の言語英語
ページ(範囲)347-357
ページ数11
ジャーナルReliable Computing
5
発行部数3
DOI
出版物ステータス出版済み - 1 1 1999
イベントProceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1 - Campos de Jordao, Brazil
継続期間: 7 31 19978 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

これを引用

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

:: Reliable Computing, 巻 5, 番号 3, 01.01.1999, p. 347-357.

研究成果: ジャーナルへの寄稿Conference article

Watanabe, Yoshitaka ; Yamamoto, Nobito ; Nakao, Mitsuhiro T. / A Numerical Verification Method of Solutions for the Navier-Stokes Equations. :: Reliable Computing. 1999 ; 巻 5, 番号 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 -