A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid

    研究成果: Contribution to journalArticle査読

    9 被引用数 (Scopus)

    抄録

    A computer-assisted proof of non-trivial steady-state solutions for the Kolmogorov flows is described. The method is based on the infinite-dimensional fixed-point theorem using Newton-like operator. This paper also proposes a numerical verification algorithm which generates automatically on a computer a set including the exact non-trivial solution with local uniqueness. All discussed numerical results take into account the effects of rounding errors in the floating point computations.

    本文言語英語
    ページ(範囲)953-966
    ページ数14
    ジャーナルJournal of Computational and Applied Mathematics
    223
    2
    DOI
    出版ステータス出版済み - 1 15 2009

    All Science Journal Classification (ASJC) codes

    • Computational Mathematics
    • Applied Mathematics

    フィンガープリント 「A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル