A rigorous verification of a numerically computed eigenvalue

DOI10.1016/S0898-1221(99)00236-9zbMath0949.65081OpenAlexW2028738984MaRDI QIDQ1972493

Amin Boumenir

Publication date: 5 December 2000

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0898-1221(99)00236-9

zbMATH Keywords

eigenfunctionlowest eigenvaluecomputer assistanceperiodic Sturm-Liouville eigenvalue problem

Mathematics Subject Classification ID

Sturm-Liouville theory (34B24) Algorithms with automatic result verification (65G20) Numerical solution of eigenvalue problems involving ordinary differential equations (65L15) Eigenvalues, estimation of eigenvalues, upper and lower bounds of ordinary differential operators (34L15)

Related Items (2)

Transmutation Operators and Their Applications ⋮ The index problem for eigenvalues for coupled boundary conditions and Fulton's conjecture

Cites Work

• Eigenvalues of periodic Sturm-Liouville problems by the Shannon-Whittaker sampling theorem
• Unnamed Item
• Unnamed Item

This page was built for publication: A rigorous verification of a numerically computed eigenvalue