Sur l'équation différentielle \(x''+A(t)x=0\). (Q2624848)

Verf. untersucht das Verhalten der Integrale der im Titel genannten Differentialgleichung für große Werte von \(t\) unter der Voraussetzung, daß\ \(A(t)>0\) für \(t>t_0\). Es seien \(t_1<t_2<\cdots \) die Nullstellen irgend eines Integrals \(x(t)\) oberhalb \(t_0\). Jedes Intervall \((t_n, t_{n+1})\) enthält genau eine Nullstelle \(z_n\) von \(x'(t)\); es werde \[ u_n=\left ( z_n+\frac {t_n+t_{n+1}}{2}\right ) :(t_{n+1}-t_n) \] gesetzt. Wenn \(A(t)\) differenzierbar ist für \(t>t_0\), so ergeben sich folgende Sätze: {\parindent=8mm \begin{itemize}\item[I.]Ist \(A'(t)>0\) für \(t>t_0\), so ist \(u_n<0\); die Folgen \(\{\sqrt {A(z_n)}| x(z_n)| \}\) und \(\{ | x'(t_n)| \}\) fallen, die Folge \(\{ | x(z_n)| \}\) steigt. Ist \(A'(t)<0\) für \(t>t_0\), so ist \(u_n>0\); die Folgen \(\{\sqrt {A(z_n)}| x(z_n)| \}\) und \(\{ | x'(t_n)| \}\) steigen, die Folge \(\{ | x(z_n)| \}\) fällt; \(x(t)\) ist also beschränkt. \item[II.]Ist \(A'(t)>0\) für \(t>t_0\), so ist \(\lim \limits _{n\to \infty } A(t_{n+1}):A(t_n)=1\), sofern nicht \(n\) eine Ausnahmefolge \(n_i\) von natürlichen Zahlen durchläuft, für welche \(\sum \limits _{i=1}^{\infty }(t_{n_{i+1}}-t_{n_i})\) konvergiert. \item[III.]Ist \(A'(t)>0\) für \(t>t_0\), so ist \[ \frac {t_{n+1}-t_{n}}{t_{n}-t_{n-1}}<1 \quad \text{und} \quad \varlimsup \limits _{n\to \infty }\frac {t_{n+1}-t_{n}}{t_{n}-t_{n-1}}=1. \] \item[IV.]Ist \(A'(t)>0\) für \(t>t_0\), so ist \(\lim \limits _{n\to \infty }u_n=0\), sofern \(n\) nicht eine der in II genannten Ausnahmenfolgen durchläuft. \item[V.]Wenn \(A'(t)\) für \(t>t_0\) positiv ist und nicht wächst, ferner \(\lim \limits _{t\to +\infty }A(t)=+\infty \) st, so strebt \(x(t)\) gegen Null für \(t\to +\infty \), und \(\varlimsup \limits _{t\to +\infty }| x(t)| \sqrt {A(t)}\) ist positiv. \item[VI.]Wenn \(A'(t)\) für \(t>t_0\) positiv ist und nicht fällt, ferner \[ \lim \limits _{t\to +\infty }\frac {A\left ( t+\dfrac {1}{\sqrt {A(t)}}\right ) } {A(t)}=1 \] ist, so ist \[ \lim \limits _{t\to +\infty }x(t)=0, \quad \varlimsup \limits _{t\to +\infty }| x(t)| \sqrt {A(t)}>0. \] \end{itemize}} Der Beweis der Satze II bis VI stützt sich außer auf den \textit{Sturm}schen Satz, daß, falls in \(a\leqq t\leqq b\) die Ungleichung \(m\leqq A(t)\leqq M\) gilt, \[ \frac {\pi }{\sqrt M}\leqq t_{n+1}-t_n\leqq \frac {\pi }{\sqrt n} \] ist, auf einen Satz von \textit{Borel} und \textit{R. Nevanlinna} (1931; F. d. M. \(57_{\text{I}}\), 359) und ein Ergebnis von \textit{M. Petrovitsch} (Intégration qualitative des équations différentielles, Mémorial Sc. math. 48 (1931; F. d. M. 57), p. 49).