Mitsuhiro T. Nakao and Yoshitaka Watanabe:
On Computational Proofs of the Existence of Solutions to Nonlinear
Parabolic Problems,
Journal of Computational and Applied Mathematics 50
(1994) pp.401-410.
( Modern Language Association of America style )
Nakao, M.T. and Y. Watanabe.
"On Computational Proofs of the Existence of Solutions to Nonlinear
Parabolic Problems."
J. Comput. Appl. Math. 50 (1994) 401-410.
これまでになされた1次元放物型問題に対する解の数値的検証方法を2次元および 3次元の非線形放物型問題に拡張した．
問題をある関数空間上のcompact作用素に対する不動点問題に帰着し， さらに連続型有限要素近似とその構成的a priori誤差評価を用いることで， 計算機上で解の存在が自動的に検証可能となるアルゴリズムを提案し， いくつかの数値例を得た． 10ページ．
The publisher holds the copyright on this manuscript.
〔ひとつ戻る〕 〔メインメニューに戻る〕