The growth of the solutions of a differential equation. (Q2582072)

Beweis der folgenden Sätze: Für jede Lösung der Differentialgleichung \(x'' +\varPhi (t)x = 0\) ist, wenn \(a\) eine positive Zahl bedeutet, \[ |x(t)| = O\,\Biggl(\exp \,\Bigl({\frac { 1}{ 2}}\,a^{-\frac {1}{2}}\, \int\limits _0^t |\varPhi (t)-a|\,dt\Bigr)\Biggr), \] \[ \varlimsup _{t\to\infty }\, |x(t)|\,\exp \,\Bigl({\frac { 1}{ 2}}\,a^{-\frac {1}{2}}\, \int\limits _0^t |\varPhi (t)-a|\,dt\Bigr)>0, \;\;\;\text{falls}\;\;\;\int\limits _0^t |\varPhi (t)-a|\,dt = O\,(t). \] Wenn \(\alpha (t)\) eine wachsende Funktion bedeutet und \(\lim _{t\to\infty }\,\alpha '(t) = 0\) ist, dann gibt es Funktionen \(\varPhi (t)\) derart, daß \[ \int\limits _0^t |\varPhi (t)-1|\,dt \leqq \alpha (t), \] und daß die Gleichung \(x'' +\varPhi (t)x = 0\) Lösungen \(x_1(t)\), \(x_2(t)\) hat, für die die Ungleichungen gelten: \[ \varlimsup _{t\to\infty }\,\frac {\log \,|x_1(t)|}{\alpha (t)}\geqq \frac {1}{\pi },\;\;\;\varlimsup _{t\to\infty }\,\frac {\log \,|x_2(t)|}{\alpha (t)}\leqq -\frac {1}{\pi }. \]