Numerical verifications of solutions for nonlinear elliptic equations

Yoshitaka Watanabe; Mitsuhiro T. Nakao

doi:10.1007/BF03167208

Numerical verifications of solutions for nonlinear elliptic equations

Yoshitaka Watanabe, Mitsuhiro T. Nakao

Research output: Contribution to journal › Article › peer-review

26 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 language	English
Pages (from-to)	165-178
Number of pages	14
Journal	Japan Journal of Industrial and Applied Mathematics
Volume	10
Issue number	1
DOIs	https://doi.org/10.1007/BF03167208
Publication status	Published - Feb 1993

All Science Journal Classification (ASJC) codes

Engineering(all)
Applied Mathematics

Access to Document

10.1007/BF03167208

Cite this

@article{042b9a5f99f142888c8ec21223a180f3,

title = "Numerical verifications of solutions for nonlinear elliptic equations",

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.",

author = "Yoshitaka Watanabe and Nakao, {Mitsuhiro T.}",

year = "1993",

month = feb,

doi = "10.1007/BF03167208",

language = "English",

volume = "10",

pages = "165--178",

journal = "Japan Journal of Industrial and Applied Mathematics",

issn = "0916-7005",

publisher = "Springer Japan",

number = "1",

}

TY - JOUR

T1 - Numerical verifications of solutions for nonlinear elliptic equations

AU - Watanabe, Yoshitaka

AU - Nakao, Mitsuhiro T.

PY - 1993/2

Y1 - 1993/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0001410193&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0001410193&partnerID=8YFLogxK

U2 - 10.1007/BF03167208

DO - 10.1007/BF03167208

M3 - Article

AN - SCOPUS:0001410193

SN - 0916-7005

VL - 10

SP - 165

EP - 178

JO - Japan Journal of Industrial and Applied Mathematics

JF - Japan Journal of Industrial and Applied Mathematics

IS - 1

ER -

Numerical verifications of solutions for nonlinear elliptic equations

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this