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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of Differential Equations Jg. 260; H. 7; S. 6363 - 6374
Hauptverfasser:	Watanabe, Yoshitaka, Nagatou, Kaori, Plum, Michael, Nakao, Mitsuhiro T.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 05.04.2016
Schlagworte:	Differential operators Numerical verification Solvability of linear problem Solvability of linear problem Differential operators 65G20 35P15 Numerical verification 47F05
ISSN:	0022-0396, 1090-2732
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!