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

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

    Research output: Contribution to journalConference articlepeer-review

    13 Citations (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.

    Original languageEnglish
    Pages (from-to)347-357
    Number of pages11
    JournalReliable Computing
    Issue number3
    Publication statusPublished - Aug 1999
    EventProceedings of the 1997 Symposium on Defect Dependent Processes in Insulators and Semiconductors. Part 1 - Campos de Jordao, Brazil
    Duration: Jul 31 1997Aug 4 1997

    All Science Journal Classification (ASJC) codes

    • Software
    • Computational Mathematics
    • Applied Mathematics


    Dive into the research topics of 'A Numerical Verification Method of Solutions for the Navier-Stokes Equations'. Together they form a unique fingerprint.

    Cite this