渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明:
熱対流問題の分岐解に対する精度保証付き数値計算について,
日本応用数理学会1999年度年会講演予稿集 pp.270-271, 愛媛大学, 1999年10月.
本発表ではRayleigh-Benard対流として知られる熱対流問題の定常解に対する精度保証付き数値計算法について述べる． 問題を長方形領域に制限し，Fourier-Galerkin法により得られる近似解のまわりで真の解の存在証明と定量的誤差限界を与える数値的検証手順を提案し，いくつかの数値例を示す．予稿2ページ．
〔ひとつ戻る〕 〔メインメニューに戻る〕