A Computational Verification Method of Existence of Solutions for Nonlinear Elliptic Equations

Mitsuhiro T. Nakao*

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

研究成果: Article査読

3 被引用数 (Scopus)

抄録

This chapter discusses a computational verification method of existence of solutions for nonlinear elliptic equations. It proposes a numerical method for automatic proof of the existence of weak solutions for certain linear elliptic boundary value problems by computer. And its extension to the more general linear case is described. The main techniques in these works consist of the verification method by computer for the existential condition of solutions based on the infinite dimensional fixed point theorems. This chapter uses the properties of the solution for Poisson's equation and the results of error estimates for the finite element approximation as well as the method of interval arithmetic. This chapter formulates a numerical verification method which can be applicable to nonlinear elliptic boundary value problems.

本文言語English
ページ(範囲)101-120
ページ数20
ジャーナルNorth-Holland Mathematics Studies
160
C
DOI
出版ステータスPublished - 1989 1 1
外部発表はい

ASJC Scopus subject areas

  • 数学 (全般)

フィンガープリント

「A Computational Verification Method of Existence of Solutions for Nonlinear Elliptic Equations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル