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

Gespeichert in:
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!
Beschreibung
Zusammenfassung: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