渡部 善隆, 中尾 充宏:
非線形楕円型境界値問題の解に対する精度保証付き数値的検証法,
計算機科学研究報告 10, 九州大学大型計算機センター (1993) pp.1-6.
数理科学上，様々な形で現われる微分方程式について， その解を計算機を用いて数値的に捉えようという試みは従来からなされている． 特に近年は，精度保証付き数値計算法と呼ばれるアルゴリズムが提案されている． これは，微分方程式の解の存在，一意性をある領域内で保証するというものであり， 計算機の演算速度の高速化，記憶容量の増大にともない， 新しい数値計算法として注目されている．
本稿では，非線形楕円型境界値問題に対し，その解をある領域内で精度保証した上で包み込むための定式化及び区間演算を用いた計算機内でのアルゴリズムの作成手順について述べ，いくつかの数値例を示す．6ページ．
〔ひとつ戻る〕 〔メインメニューに戻る〕