Numerical verifications of solutions for nonlinear elliptic equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

25 Citations (Scopus)

Abstract

A numerical technique which enables us to verify the existence of weak solutions for nonlinear elliptic boundary value problems is proposed. It is based on the infinite dimensional fixed point theorems using the Newton-like operator and the error estimates for finite element approximations. We also present an effective verification procedure which automatically generates the set including the exact solution in a computer. Some numerical examples are illustrated.

Original languageEnglish
Pages (from-to)165-178
Number of pages14
JournalJapan Journal of Industrial and Applied Mathematics
Volume10
Issue number1
DOIs
Publication statusPublished - 1993 Feb
Externally publishedYes

Keywords

  • finite element method
  • nonlinear boundary value problems
  • numerical verification

ASJC Scopus subject areas

  • Engineering(all)
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Numerical verifications of solutions for nonlinear elliptic equations'. Together they form a unique fingerprint.

  • Cite this