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

DOI10.1007/s006070050054zbMath0941.65108OpenAlexW2063697047MaRDI 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 resultsfinite elementverification methodelliptic eigenvalue problemsinclusion sets

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Algorithms with automatic result verification (65G20)

Related Items (8)

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

Uses Software

• PROFIL/BIAS

This page was built for publication: A numerical method to verify the elliptic eigenvalue problems including a uniqueness property