Numerical verification method for infinite dimensional eigenvalue problems
From MaRDI portal
Recommendations
- Computer assisted proofs for spectral problems
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- scientific article; zbMATH DE number 4199548
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
Cites work
- scientific article; zbMATH DE number 4138299 (Why is no real title available?)
- scientific article; zbMATH DE number 3818979 (Why is no real title available?)
- scientific article; zbMATH DE number 46782 (Why is no real title available?)
- scientific article; zbMATH DE number 714520 (Why is no real title available?)
- A Procedure for Estimating Eigenvalues
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- A numerical approach to the proof of existence of solutions for elliptic problems
- A numerical approach to the proof of existence of solutions for elliptic problems II
- A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
- Computational error bounds for multiple or nearly multiple eigenvalues
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Methods for computing lower bounds to eigenvalues of self-adjoint operators
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verifications for eigenvalues of second-order elliptic operators
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
Cited in
(12)- Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
- Computer assisted proofs for spectral problems
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Some considerations of the invertibility verifications for linear elliptic operators
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- scientific article; zbMATH DE number 4076556 (Why is no real title available?)
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
- A numerical verification method for a system of FitzHugh-Nagumo type
- Some improvements of invertibility verifications for second-order linear elliptic operators
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
This page was built for publication: Numerical verification method for infinite dimensional eigenvalue problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849194)
