Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces

DOI10.1137/120894683zbMath1294.35047MaRDI QIDQ5495219

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

Publication date: 31 July 2014

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/120894683

zbMATH Keywords

differential operators; computer-assisted proof; eigenvalue exclosure

Mathematics Subject Classification ID

35P15: Estimates of eigenvalues in context of PDEs

47A10: Spectrum, resolvent

65N25: Numerical methods for eigenvalue problems for boundary value problems involving PDEs

65G20: Algorithms with automatic result verification

34L15: Eigenvalues, estimation of eigenvalues, upper and lower bounds of ordinary differential operators

Uses Software

• INTLAB