On the existence of an eigenvalue below the essential spectrum
B. Malcolm Brown, Daniel K. R. McCormack, Anton Zettl
Abstract
B. Malcolm Brown, Daniel K. R. McCormack, Anton Zettl
Abstract
This paper is concerned with a computer–assisted proof of eigenvalues below the essential spectrum of the Sturm–Liouville problem on the half–line. It uses methods of functional analysis and interval analysis to derive algorithms that may be used to prove the existence of such eigenvalues.
OpenAlex reports 7 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper is concerned with a computer–assisted proof of eigenvalues below the essential spectrum of the Sturm–Liouville problem on the half–line. It uses methods of functional analysis and interval analysis to derive algorithms that may be used to prove the existence of such eigenvalues.
Key concepts: Eigenvalues and eigenvectors, Spectrum (functional analysis), Mathematics, Interval (graph theory), Line (geometry), Spectrum of a matrix, Essential spectrum, Real line