Rayleigh-B\'enard対流の定常解に対する精度保証付き数値計算 II
渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明
Rayleigh-B\'enard対流として知られる熱対流問題を記述する2次元Oberbeck-Boussinesq 方程式の定常解に対する精度保証付き数値計算法について考える． 問題を矩形領域に制限し，Fourier-Galerkin法により得られる近似解のまわりで定常解 の存在証明と定量的誤差限界を与える数値的検証手順を述べる．本稿では，これまでに 得られた計算機援用証明とは別の非自明解からの分岐解と思われる解の存在検証例を紹介する．9ページ．
|
