Norm bound computation for inverses of linear operators in Hilbert spaces

DOI10.1016/j.jde.2015.12.041zbMath1398.65094MaRDI QIDQ2634224

Michael Plum, Yoshitaka Watanabe, Mitsuhiro T. Nakao, Kaori Nagatou

Publication date: 8 February 2016

Published in: Journal of Differential Equations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jde.2015.12.041

zbMATH Keywords

differential operators; numerical verification; solvability of linear problem

Mathematics Subject Classification ID

35P15: Estimates of eigenvalues in context of PDEs

47F05: General theory of partial differential operators

65G20: Algorithms with automatic result verification

Uses Software

• INTLAB