A rigorous verification of a numerically computed eigenvalue

DOI10.1016/S0898-1221(99)00236-9MaRDI QIDQ1972493zbMATH OpenOpenAlexFDO

Authors 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

computer assistanceeigenfunctionlowest eigenvalueperiodic Sturm-Liouville eigenvalue problem

Mathematics Subject Classification ID

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

Review text

The author considers the periodic Sturm-Liouville eigenvalue problem \[ \begin{aligned} & -y+ (k^2\sin^2(x)- 3\cos(x)) y(x)= \lambda y(x),\quad 0\leq x\leq 2\pi,\\ & y(0)= y(2\pi),\;y'(0)= y'(2\pi).\end{aligned} \] By construction \(\phi(x):= \sin(x)\exp(k\cos(x))\) is an eigenfunction corresponding to \(\lambda= 1\), which has two zeros in \([0,2\pi)\). By computer assistance, \textit{C. T. Fulton} [Lect. Notes Pure Appl. Math. 191, 285-299 (1996; Zbl 0880.34026)] conjectured that \(\lambda= 1\) is the lowest eigenvalue. This is proven by the author for \(k\) small enough.

Recommendations

• scientific article; zbMATH DE number 852356
• Accurate Approximation of Eigenvalues and Zeros of Selected Eigenfunctions of Regular Sturm-Liouville Problems
• On the existence of an eigenvalue below the essential spectrum
• On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem

Cites work

• Eigenvalues of periodic Sturm-Liouville problems by the Shannon-Whittaker sampling theorem
• scientific article; zbMATH DE number 1055001 (Why is no real title available?)
• scientific article; zbMATH DE number 3450627 (Why is no real title available?)

Cited in

(5)

• The index problem for eigenvalues for coupled boundary conditions and Fulton's conjecture
• Transmutation operators and their applications
• On the existence of an eigenvalue below the essential spectrum
• Iterative Validation of Eigensolvers: A Scheme for Improving the Reliability of Hermitian Eigenvalue Solvers
• Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1972493)