A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

M. T. Nakao; K. Hashimoto; Y. Watanabe

doi:10.1007/s00607-004-0111-1

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

M. T. Nakao, K. Hashimoto, Y. Watanabe

Research output: Contribution to journal › Article

28 Citations (Scopus)

Abstract

In this paper, we propose a numerical method to verify the invertibility of second-order linear elliptic operators. By using the projection and the constructive a priori error estimates, the invertibility condition is formulated as a numerical inequality based upon the existing verification method originally developed by one of the authors. As a useful application of the result, we present a new verification method of solutions for nonlinear elliptic problems, which enables us to simplify the verification process. Several numerical examples that confirm the actual effectiveness of the method are presented.

Original language	English
Pages (from-to)	1-14
Number of pages	14
Journal	Computing (Vienna/New York)
Volume	75
Issue number	1 SPEC. ISS.
DOIs	https://doi.org/10.1007/s00607-004-0111-1
Publication status	Published - 2005 Jul
Externally published	Yes

Fingerprint

Keywords

Finite element method
Numerical verification
Unique solvability of linear elliptic problem

ASJC Scopus subject areas

Theoretical Computer Science
Computational Theory and Mathematics

Cite this

Nakao, M. T., Hashimoto, K., & Watanabe, Y. (2005). A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems. Computing (Vienna/New York), 75(1 SPEC. ISS.), 1-14. https://doi.org/10.1007/s00607-004-0111-1

@article{de51a3ade5e944d9aa2b74e6dc50bd8d,

title = "A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems",

abstract = "In this paper, we propose a numerical method to verify the invertibility of second-order linear elliptic operators. By using the projection and the constructive a priori error estimates, the invertibility condition is formulated as a numerical inequality based upon the existing verification method originally developed by one of the authors. As a useful application of the result, we present a new verification method of solutions for nonlinear elliptic problems, which enables us to simplify the verification process. Several numerical examples that confirm the actual effectiveness of the method are presented.",

keywords = "Finite element method, Numerical verification, Unique solvability of linear elliptic problem",

author = "Nakao, {M. T.} and K. Hashimoto and Y. Watanabe",

year = "2005",

month = jul

doi = "10.1007/s00607-004-0111-1",

language = "English",

volume = "75",

pages = "1--14",

journal = "Computing",

issn = "0010-485X",

publisher = "Springer Wien",

number = "1 SPEC. ISS.",

}

TY - JOUR

T1 - A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

AU - Nakao, M. T.

AU - Hashimoto, K.

AU - Watanabe, Y.

PY - 2005/7

Y1 - 2005/7

N2 - In this paper, we propose a numerical method to verify the invertibility of second-order linear elliptic operators. By using the projection and the constructive a priori error estimates, the invertibility condition is formulated as a numerical inequality based upon the existing verification method originally developed by one of the authors. As a useful application of the result, we present a new verification method of solutions for nonlinear elliptic problems, which enables us to simplify the verification process. Several numerical examples that confirm the actual effectiveness of the method are presented.

AB - In this paper, we propose a numerical method to verify the invertibility of second-order linear elliptic operators. By using the projection and the constructive a priori error estimates, the invertibility condition is formulated as a numerical inequality based upon the existing verification method originally developed by one of the authors. As a useful application of the result, we present a new verification method of solutions for nonlinear elliptic problems, which enables us to simplify the verification process. Several numerical examples that confirm the actual effectiveness of the method are presented.

KW - Finite element method

KW - Numerical verification

KW - Unique solvability of linear elliptic problem

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

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

U2 - 10.1007/s00607-004-0111-1

DO - 10.1007/s00607-004-0111-1

M3 - Article

AN - SCOPUS:23744514537

VL - 75

SP - 1

EP - 14

JO - Computing

JF - Computing

SN - 0010-485X

IS - 1 SPEC. ISS.

ER -

Access to Document

10.1007/s00607-004-0111-1