抄録
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.
本文言語 | 英語 |
---|---|
ページ(範囲) | 1-20 |
ページ数 | 20 |
ジャーナル | Journal of Mathematical Fluid Mechanics |
巻 | 6 |
号 | 1 |
DOI | |
出版ステータス | 出版済み - 12月 1 2004 |
!!!All Science Journal Classification (ASJC) codes
- 数理物理学
- 凝縮系物理学
- 計算数学
- 応用数学