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

Mitsuhiro T. Nakao

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)101-120
Number of pages20
JournalNorth-Holland Mathematics Studies
Volume160
Issue numberC
DOIs
Publication statusPublished - 1989 Jan 1
Externally publishedYes

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'A Computational Verification Method of Existence of Solutions for Nonlinear Elliptic Equations'. Together they form a unique fingerprint.

Cite this