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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

    研究成果: Contribution to journalConference article査読

    12 被引用数 (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
    出版ステータス出版済み - 8 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

    All Science Journal Classification (ASJC) codes

    • ソフトウェア
    • 計算数学
    • 応用数学

    フィンガープリント

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

    引用スタイル