Norm bound computation for inverses of linear operators in Hilbert spaces

This paper presents a computer-assisted procedure to prove the invertibility of a linear operator which is the sum of an unbounded bijective and a bounded operator in a Hilbert space, and to compute a bound for the norm of its inverse. By using some projection and constructive a priori error estimat...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of Differential Equations Ročník 260; číslo 7; s. 6363 - 6374
Hlavní autori: Watanabe, Yoshitaka, Nagatou, Kaori, Plum, Michael, Nakao, Mitsuhiro T.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Inc 05.04.2016
Predmet:
Differential operators
Numerical verification
Solvability of linear problem
Solvability of linear problem
Differential operators
65G20
35P15
Numerical verification
47F05
ISSN:0022-0396, 1090-2732
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This paper presents a computer-assisted procedure to prove the invertibility of a linear operator which is the sum of an unbounded bijective and a bounded operator in a Hilbert space, and to compute a bound for the norm of its inverse. By using some projection and constructive a priori error estimates, the invertibility condition together with the norm computation is formulated as an inequality based upon a method originally developed by the authors for obtaining existence and enclosure results for nonlinear partial differential equations. Several examples which confirm the actual effectiveness of the procedure are reported.
ISSN:0022-0396
1090-2732
DOI:10.1016/j.jde.2015.12.041