A theorem of oscillation. (Q1464264)

Es sei \(\varphi(t)\) für \(T \leqq t < \infty\) eine beschränkte, positive, stetige, monoton wachsende Funktion; ferner sei \(f(y)\) für \(-a \leqq y \leqq +a > 0\) eine ungerade, monoton wachsende Funktion, die der Lipschitzbedingung \[ |f(y_1) - f(y_2)| < K|y_1 - y_2|, \quad K > 0 \] genügt. Ist dann \(y\) eine Lösung von \[ \frac{d^2 y}{dt^2} + \varphi(t) f(y) = 0 \tag{1} \] mit den Anfangsbedingungen für \(t = t_1 > T\) \[ |y_1| = |y(t_1)| < a, \quad y_1^\prime = y^\prime(t_1) = 0, \quad f(y_1) \neq 0, \tag{2} \] so oszilliert \(y\) unendlich oft für \(t_1 < t < \infty\) und die Amplituden der Oszillationen nehmen beständig gegen eine von Null verschiedene Größe ab. Der Beweis lehnt sich an eine analoge Untersuchung von Osgood an und geht direkt von jedem Extremum, mit \(t_1\) angefangen, zur nächsten notwendig vorhandenen Nullstelle und von dieser wieder zum nächsten Extremum vor.