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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

研究成果: 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.

元の言語English
ページ(範囲)347-357
ページ数11
ジャーナルReliable Computing
5
発行部数3
出版物ステータスPublished - 1999 8
外部発表Yes

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

フィンガープリント A Numerical Verification Method of Solutions for the Navier-Stokes Equations' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    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.