A numerical method to verify the elliptic eigenvalue problems including a uniqueness property

DOI10.1007/s006070050054zbMath0941.65108MaRDI QIDQ1818413

Kaori Nagatou

Publication date: 1 February 2000

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s006070050054

zbMATH Keywords

numerical results; finite element; verification method; elliptic eigenvalue problems; inclusion sets

Mathematics Subject Classification ID

35P15: Estimates of eigenvalues in context of PDEs

65N30: Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs

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

65G20: Algorithms with automatic result verification

Related Items

VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS, An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems, Verified numerical computations for an inverse elliptic eigenvalue problem with finite data, Numerical verification method for infinite dimensional eigenvalue problems, A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid, A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

Uses Software

• PROFIL/BIAS