Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces

DOI10.1137/120894683zbMath1294.35047OpenAlexW2034747997MaRDI QIDQ5495219

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

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 operatorscomputer-assisted proofeigenvalue exclosure

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Spectrum, resolvent (47A10) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Algorithms with automatic result verification (65G20) Eigenvalues, estimation of eigenvalues, upper and lower bounds of ordinary differential operators (34L15)

Related Items (11)

Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Computer-assisted bifurcation diagram validation and applications in materials science ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ A computer‐assisted method for the diblock copolymer model ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ Finite element approximation of invariant manifolds by the parameterization method ⋮ A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem

Uses Software

• INTLAB

This page was built for publication: Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces