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

Mitsuhiro T. Nakao

研究成果: Article査読

12 被引用数 (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

  • Applied Mathematics
  • Computational Mathematics
  • Numerical Analysis

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

引用スタイル