Sopra il comportamento asintotico delle soluzioni di un' equazione differenziale della dinamica. (Q2609562)

Sei \(m(t)\) für \(t \geqq t_0\) eine positive, stetige und monoton wachsende Funktion, die für \(t\to\infty\) ebenfalls gegen \(\infty\) strebt. Dann handelt es sich um die Frage, unter welchen weiteren Bedingungen über \(m(t)\) das allgemeine Integral der Differentialgleichung \(x''+ m(t)x = 0\) für \(t\to\infty\) nach null strebt. Nach einem Bericht über die Literatur dieses Problems liefert Verf. zunächst neue Beweise für einige bereits bekannte Kriterien und ergänzt dabei eine Lücke im Beweis des von \textit{Armellini} gefundenen Kriteriums (Atti Accad. naz. Lincei, Rend., Cl. Sci. fis. mat. nat. (6) 21 (1935), 111-116; JFM 61.0488.*). Sodann gibt er ein neues Kriterium, indem er die folgende Bedingung als hinreichend erweist \(m(t)\) hat eine stetige Ableitung \(m'(t)\) und für jede Folge positiver Zahlen \(t_1, t_2,\ldots,\) für die \[ 0<t_{n+1} - t_n\leqq t_n - t_{n-1},\;\lim\limits_{n\to\infty}(t_{n+1} - t_n) = 0,\;\lim\limits_{n\to\infty} t_n = \infty, \tag{A} \] \[ \varlimsup\limits_{n\to\infty}\dfrac{t_{n+1}-t_n}{t_n-t_{n-1}} = 1 \tag{B} \] ist, divergiert die Reihe \(\sum(t_{n+1} - t_n)\mu_n\), wobei \(\mu_n\) das Minimum von \(\dfrac{m'(t)}{m(t)}\) im Intervall \(t_n\leqq t\leqq t_{n+1}\) bedeutet. Übrigens könnte die Bedingung (B) weggelassen werden, da sie augenscheinlich eine Folge von (A) ist. Aus dem allgemeinen Kriterium werden dann noch einige speziellere gefolgert, z. B.: \(m(t)\) ist ein Polynom mindestens ersten Grades, dessen höchster Koeffizient positiv ist.