抄録
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