Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anLResidual Method

Mitsuhiro T. Nakao, Nobito Yamamoto

Research output: Contribution to journalArticle

23 Citations (Scopus)

Abstract

We consider a numerical enclosure method with guaranteedLerror bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the approximate solution of the problem with a higher orderC0-finite element, it is shown that we can obtain the guaranteedLerror bounds with high accuracy. A particular emphasis is that our method needs no assumption of the existence of the solution of the original nonlinear equation, but it follows as the result of computation itself. A numerical example that confirms the effectiveness of the method is presented.

Original languageEnglish
Pages (from-to)246-262
Number of pages17
JournalJournal of Mathematical Analysis and Applications
Volume217
Issue number1
DOIs
Publication statusPublished - 1998 Jan 1
Externally publishedYes

Fingerprint

Numerical Verification
Nonlinear Elliptic Problems
Enclosures
Nonlinear equations
A Posteriori Error Estimates
Enclosure
High Accuracy
Nonlinear Equations
Approximate Solution
Finite Element
Numerical Examples

ASJC Scopus subject areas

  • Analysis
  • Applied Mathematics

Cite this

Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anLResidual Method. / Nakao, Mitsuhiro T.; Yamamoto, Nobito.

In: Journal of Mathematical Analysis and Applications, Vol. 217, No. 1, 01.01.1998, p. 246-262.

Research output: Contribution to journalArticle

@article{884adc0fd3ca479a903b3dfed885be60,
title = "Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method",
abstract = "We consider a numerical enclosure method with guaranteedL∞error bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the approximate solution of the problem with a higher orderC0-finite element, it is shown that we can obtain the guaranteedL∞error bounds with high accuracy. A particular emphasis is that our method needs no assumption of the existence of the solution of the original nonlinear equation, but it follows as the result of computation itself. A numerical example that confirms the effectiveness of the method is presented.",
author = "Nakao, {Mitsuhiro T.} and Nobito Yamamoto",
year = "1998",
month = "1",
day = "1",
doi = "10.1006/jmaa.1997.5712",
language = "English",
volume = "217",
pages = "246--262",
journal = "Journal of Mathematical Analysis and Applications",
issn = "0022-247X",
publisher = "Academic Press Inc.",
number = "1",

}

TY - JOUR

T1 - Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method

AU - Nakao, Mitsuhiro T.

AU - Yamamoto, Nobito

PY - 1998/1/1

Y1 - 1998/1/1

N2 - We consider a numerical enclosure method with guaranteedL∞error bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the approximate solution of the problem with a higher orderC0-finite element, it is shown that we can obtain the guaranteedL∞error bounds with high accuracy. A particular emphasis is that our method needs no assumption of the existence of the solution of the original nonlinear equation, but it follows as the result of computation itself. A numerical example that confirms the effectiveness of the method is presented.

AB - We consider a numerical enclosure method with guaranteedL∞error bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the approximate solution of the problem with a higher orderC0-finite element, it is shown that we can obtain the guaranteedL∞error bounds with high accuracy. A particular emphasis is that our method needs no assumption of the existence of the solution of the original nonlinear equation, but it follows as the result of computation itself. A numerical example that confirms the effectiveness of the method is presented.

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

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

U2 - 10.1006/jmaa.1997.5712

DO - 10.1006/jmaa.1997.5712

M3 - Article

VL - 217

SP - 246

EP - 262

JO - Journal of Mathematical Analysis and Applications

JF - Journal of Mathematical Analysis and Applications

SN - 0022-247X

IS - 1

ER -