Eine Eigenwertabschätzung bei gewissen Differentialglei\-chungen zweiter Ordnung. (Q2582100)

Wie in der vorstehend besprochenen Arbeit betrachtet Verf. die Differentialgleichung \(y'' + \lambda\varrho (x)\,y = 0\) (1) \ mit den Randbedingungen \(y (a)=y(b) = 0\) (2) \ bzw. \ \(y'(a) = y'(b) = 0\) (3). Ist im Intervall \((a, b)\) \(\varrho (x)\) positiv und \(\varrho \varrho ''-\varrho ^{\prime 2}\) dauernd negativ \((\alpha )\) oder dauernd positiv \((\beta )\), und sind \(\lambda _n\), \(\lambda _n'\), die Eigenwerte der Aufgabe (2) bzw. (3), so gelten im Falle \((\alpha )\) \[ \lambda _n < \Biggl[\pi n\Biggl/\,\int\limits _a^b \sqrt {\varrho (x)}\,dx\Biggr]^2,\;\;\;\lambda _n' < \Biggl[\pi (n+1)\Biggl/\,\int\limits _a^b \sqrt {\varrho (x)}\,dx\Biggr]^2 \] und im Falle \((\beta )\) dieselben Ungleichungen unter Vertauschung von \(\lambda _n\), \(\lambda _n'\); die vordere Ungleichung ist dabei nicht verbesserungsfähig. Beweis durch Zurückführung auf das bekannte Variationsproblem. Weiter untersucht Verf. die allgemeine Sturm-Liouvillesche Gleichung \ \(\dfrac {d}{dx}\,\Bigl(p(x)\,\dfrac {dy}{dx}\Bigr) +\lambda q(x)\,y=0\) (4) unter den Randbedingun\-gen (2) bzw. (3), wenn in \((a, b)\) \(p(x) >0\), \(q (x) > 0\) gilt. Ist dann in \((a, b)\) die Größe \(q(x)\,[p(x)\,q(x)]'' - q'(x)\,[p (x)\, q (x)]'\) dauernd negativ \((\alpha )\) oder dauernd positiv \((\beta )\), so gelten genau die gleichen Eigenwertabschätzungen wie oben, in denen nur \(\varrho (x)\) durch \(q(x)/p(x)\) zu ersetzen ist. Anwendung auf die Hermiteschen Polynome \(H_n(x)\), da exp \(\Bigl(-\dfrac {x^2}{2}\Bigr) \cdot H_n(x)\) die Gleichung \(y'' + (2n+ 1 - x^2)\,y = 0\) befriedigen. Sind \(x_{n,m}\) \((m= 1,\ldots, n)\) die Nullstellen von \(H_n(x)\), in monoton abnehmender Folge geordnet, so gilt für die positiven \(x_{n,m}\) die Abschätzung \[ \Bigl(m-\frac {1}{4}\Bigr)\,\pi < \Bigl(n+\frac {1}{2}\Bigr)\, \Bigl(\text{arc cos}\, \frac {x_{n,m}}{\sqrt {2n+1}} - \frac {x_{n,m}}{\sqrt {2n+1}} \,\sqrt {1-\dfrac {x_{n,m}^2}{\sqrt {2n+1}}}\Bigr) < m\pi, \] worin der Hauptwert des arc cos zu nehmen ist; die linke Seite mit \(=\) statt \(<\) entspricht der Plancherel-Rotachschen asymptotischen Formel für \(H_n(x)\).