A rigorous verification of a numerically computed eigenvalue (Q1972493): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 17:38, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A rigorous verification of a numerically computed eigenvalue |
scientific article |
Statements
A rigorous verification of a numerically computed eigenvalue (English)
0 references
5 December 2000
0 references
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.
0 references
periodic Sturm-Liouville eigenvalue problem
0 references
eigenfunction
0 references
computer assistance
0 references
lowest eigenvalue
0 references