On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem (Q1841970)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem
scientific article

    Statements

    On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem (English)
    0 references
    0 references
    6 November 2001
    0 references
    A class of self-adjoint Sturm-Liouville eigenvalue problems on \([0,\infty)\) defined by \(-y''+qy=\lambda y\), \(y(0)=0\), where \(q\) is subject to certain assumptions, is considered. In an earlier paper [Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 455, No.~1986, 2229-2234 (1999; Zbl 0934.34073)] the authors have presented a new method for proving the existence of eigenvalues below the essential spectrum. This method combines operator theory and numerical analysis including interval analysis. In this paper, the authors develop further the method to cover a greater class of problems. For various values of the positive constant \(c\), eigenvalues below the essential spectrum are calculated for \(q(x)=-c \text{ exp}(-x/4)\cos(x)\), \(q(x) = -c \text{exp}(- x^2)\), and \(q(x) = c \sin(x + 1/(1 + x^2))\).
    0 references
    self-adjoint Sturm-Liouville eigenvalue problems
    0 references
    existence of eigenvalues below the essential spectrum
    0 references
    interval analysis
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references