A numerical verification of nontrivial solutions for the heat convection problem

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao, Takaaki Nishida

    Research output: Contribution to journalArticlepeer-review

    17 Citations (Scopus)

    Abstract

    A computer assisted proof of the existence of nontrivial steady-state solutions for the two-dimensional Rayleigh-Bénard convection is described. The method is based on an infinite dimensional fixed-point theorem using a Newton-like operator. This paper also proposes a numerical verification algorithm which generates automatically on a computer a set. including the exact nontrivial solution. All discussed numerical examples take into account of the effects of rounding errors in the floating point computations.

    Original languageEnglish
    Pages (from-to)1-20
    Number of pages20
    JournalJournal of Mathematical Fluid Mechanics
    Volume6
    Issue number1
    DOIs
    Publication statusPublished - Dec 1 2004

    All Science Journal Classification (ASJC) codes

    • Mathematical Physics
    • Condensed Matter Physics
    • Computational Mathematics
    • Applied Mathematics

    Fingerprint

    Dive into the research topics of 'A numerical verification of nontrivial solutions for the heat convection problem'. Together they form a unique fingerprint.

    Cite this