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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

研究成果: Article査読

11 被引用数 (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
外部発表はい

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

フィンガープリント 「A Numerical Verification Method of Solutions for the Navier-Stokes Equations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル