A numerical verification method for the existence of weak solutions for nonlinear boundary value problems

Mitsuhiro T. Nakao

Research output: Contribution to journalArticlepeer-review

48 Citations (Scopus)

Abstract

In this paper, we consider a numerical technique which enables us to verify the existence of solutions for nonlinear two point boundary value problems (BVP). We formulate the problem as a fixed point of a Newton-like operator and present a verification algorithm by computer based on Sadovskii's fixed point theorem. In order to compute the Newton type iterative sequences in infinite dimensional space, two concepts, the rounding and the rounding error, are introduced. Also some numerical examples are illustrated. We emphasize that, since the present method uses the weak formulation of BVP and the finite element approximations instead of the existing validation techniques, it is aslo applicable, in principle, to the BVP for partial differential equations as it stands.

Original languageEnglish
Pages (from-to)489-507
Number of pages19
JournalJournal of Mathematical Analysis and Applications
Volume164
Issue number2
DOIs
Publication statusPublished - 1992 Mar 1
Externally publishedYes

ASJC Scopus subject areas

  • Analysis
  • Applied Mathematics

Fingerprint Dive into the research topics of 'A numerical verification method for the existence of weak solutions for nonlinear boundary value problems'. Together they form a unique fingerprint.

Cite this