抄録
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.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 1-20 |
| ページ数 | 20 |
| ジャーナル | Journal of Mathematical Fluid Mechanics |
| 巻 | 6 |
| 号 | 1 |
| DOI | |
| 出版ステータス | Published - 2004 |
| 外部発表 | はい |
ASJC Scopus subject areas
- 数理物理学
- 凝縮系物理学
- 計算数学
- 応用数学