渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明:
Rayleigh-B\'enard対流の定常解に対する精度保証付き数値計算,
短期共同研究・精度保証付き数値計算法とその周辺,
京都大学数理解析研究所講究録, Vol.1147 (2000) pp.132-136.
Rayleigh-B\'enard対流として知られる熱対流問題を記述する 2次元Oberbeck-Boussinesq方程式の定常解に対する精度保証付き数値計算法について 述べる． 問題を長方形領域に制限し，Fourier-Galerkin法により得られる近似解 のまわりで定常解の存在証明と定量的誤差限界を与える数値的検証手順を提案し， いくつかの数値例を示す． なお，この計算は理論的解明が困難な定常解問題に対する計算機援用証明のために 行なったものであり，それに関する詳細は稿を改めて述べられるであろう． 5ページ．
〔ひとつ戻る〕 〔メインメニューに戻る〕