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

Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao

doi:10.1023/A:1009976505460

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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Research output: Contribution to journal › Conference article › peer-review

13 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 language	English
Pages (from-to)	347-357
Number of pages	11
Journal	Reliable Computing
Volume	5
Issue number	3
DOIs	https://doi.org/10.1023/A:1009976505460
Publication status	Published - Aug 1999
Event	Proceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1 - Campos de Jordao, Brazil Duration: Jul 31 1997 → Aug 4 1997

All Science Journal Classification (ASJC) codes

Software
Computational Mathematics
Applied Mathematics

Access to Document

10.1023/A:1009976505460

Cite this

@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.}",

note = "Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; Proceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1 ; Conference date: 31-07-1997 Through 04-08-1997",

year = "1999",

month = aug,

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/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

U2 - 10.1023/A:1009976505460

DO - 10.1023/A:1009976505460

M3 - Conference article

AN - SCOPUS:0003782142

SN - 1385-3139

VL - 5

SP - 347

EP - 357

JO - Reliable Computing

JF - Reliable Computing

IS - 3

T2 - Proceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1

Y2 - 31 July 1997 through 4 August 1997

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this