Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
From MaRDI portal
Eigenvalues, estimation of eigenvalues, upper and lower bounds of ordinary differential operators (34L15) Estimates of eigenvalues in context of PDEs (35P15) Spectrum, resolvent (47A10) Algorithms with automatic result verification (65G20) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25)
Recommendations
- Numerical verification method for infinite dimensional eigenvalue problems
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
- scientific article; zbMATH DE number 852356
- scientific article; zbMATH DE number 852357
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
Cited in
(19)- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- 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 functional analytic approach to validated numerics for eigenvalues of delay equations
- Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
- Norm bound computation for inverses of linear operators in Hilbert spaces
- scientific article; zbMATH DE number 440784 (Why is no real title available?)
- Computer-assisted bifurcation diagram validation and applications in materials science
- scientific article; zbMATH DE number 804635 (Why is no real title available?)
- scientific article; zbMATH DE number 852357 (Why is no real title available?)
- Computer-assisted equilibrium validation for the diblock copolymer model
- Iterative Validation of Eigensolvers: A Scheme for Improving the Reliability of Hermitian Eigenvalue Solvers
- Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
- A computer‐assisted method for the diblock copolymer model
- Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term
- Numerical verification method for infinite dimensional eigenvalue problems
This page was built for publication: Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5495219)
