渡部 善隆, 山本 野人, 中尾 充宏:
微分不能項を持つ楕円型境界値問題の解に対する数値的検証法,
電子情報通信学会技術研究報告, NLP-92-44 (1992).
信学技報(Technical Report of IEICE) NLP92-44(1992-12) pp.17-24.
数理科学上様々な形で現われる微分方程式について，その解を計算機を用いて 数値的に捉えようという試みは従来からなされてきた． 最近では精度保証つき数値計算法と呼ばれる，解の存在あるいは局所一意性までを ある領域内で保証するというアルゴリズムが提案され，新しい数値計算法として 注目されている． 本稿では従来の研究成果である非線形楕円型境界値問題の数値的検証法を， 微分不能項を持つ楕円型方程式に適用させ，解の数値的検証法の定式化を行う． また，数値例としてMHD平衡系を記述する方程式に対して解の検証を行う． 10ページ．
〔ひとつ戻る〕 〔メインメニューに戻る〕