A rigorous verification of a numerically computed eigenvalue

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

Amin Boumenir

Publication date: 5 December 2000

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

zbMATH Keywords

eigenfunction; lowest eigenvalue; computer assistance; periodic Sturm-Liouville eigenvalue problem

Mathematics Subject Classification ID

34B24: Sturm-Liouville theory

65G20: Algorithms with automatic result verification

65L15: Numerical solution of eigenvalue problems involving ordinary differential equations

34L15: Eigenvalues, estimation of eigenvalues, upper and lower bounds of ordinary differential operators

Related Items

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