Solving nonlinear parabolic problems with result verification. Part I: one-space dimensional case

Mitsuhiro T. Nakao*

*この研究の対応する著者

研究成果: Article査読

15 被引用数 (Scopus)

抄録

We propose some numerical methods for the automatic proof of existence of weak solutions for parabolic initial boundary value problems with one space dimension. It also means that one can obtain a posteriori error bounds for the approximate solutions of the problems. Based upon Schauder's fixed-point theorem, a verification condition is formulated and, by the use of finite-element approximation and its error estimates for a simple parabolic problem, we present a numerical verification algorithm of exact solutions in a computer. Some numerical examples which are verified by the method are illustrated.

本文言語English
ページ(範囲)323-334
ページ数12
ジャーナルJournal of Computational and Applied Mathematics
38
1-3
DOI
出版ステータスPublished - 1991 12月 23
外部発表はい

ASJC Scopus subject areas

  • 応用数学
  • 計算数学
  • 数値解析

フィンガープリント

「Solving nonlinear parabolic problems with result verification. Part I: one-space dimensional case」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル