On the asymptotic property of the differential equation \(y''+H(x)y=f(x,y,y')\). I, II. (Q566258)

I. Verf. vergleicht zuerst die Lösungen der Differentialgleichung \[ y'' +H(x)y=f(x,y,y'), \tag{1} \] in welcher \(H(x)\) und \(f(x,y,y')\) für \(0<a\leq x\) bei beliebigem \(y,y'\) stetig sind, mit denen von \[ y''_0 +y_0=0 \tag{2} \] durch Modifikation einer von \textit{Hille} (1927; F. d. M. 53, 412 (JFM 53.0412.*)) für den Fall \(f\equiv 0\) angewendeten Methode. Unter gewissen Voraussetzungen über \(H\) und \(f\), die im einzelnen hier nicht aufgeführt werden können (sie sind jedenfalls erfüllt, wenn \(1-H\), \(f\), \(\frac {\partial f}{\partial y}\), \(\frac {\partial f}{\partial y'}\), für \(x\to \infty \) genügend stark gegen 0 gehen), beweist Verf., daß die Lösungen von (1) für \(x\to \infty \) asymptotisch gleich denen von (2) sind, genauer gesprochen: Zu vorgegebener Lösung \(y_0\) von (2) gibt es eine Lösung \(y\) von (1), so daß \(|y_0(x) -y(x)|\) und \(|y'_0 (x)-y'(x)|\) kleiner als eine vorgegebene positive Zahl \(\eta \) werden, sobald \(x\) genügend groß ist. Der Beweis wird geführt, indem (1) durch sukzessive Approximationen gelöst wird, wobei \(y_0\) als Ausgangslösung benutzt wird. Dann betrachtet Verf. \[ y'' +H(x,\alpha )y=f(x,y,y',\alpha ), \tag{3} \] wo \(H\) und \(f\) für \(a\leq x\leq b\) bei beliebigem \(y,y'\) und \(\alpha \) stetig sind. Unter gewissen Voraussetzungen, die für \(\alpha \to 0\) die entsprechenden Forderungen stellen wie im ersten Teil für \(x\to \infty \), wird wieder gezeigt, daß die Lösungen von (3) asymptotisch gleich denen von (2) sind, wenn der Parameter \(\alpha \) gegen 0 konvergiert. Als Anwendung wird die asymptotische Lösung der Differentialgleichung \[ y'' +\left ( \frac {G_1(x)}{\alpha } +G_2 (x) \right ) y=0 \] angegeben, welche sich durch eine \textit{Liouville}sche Transformation auf die Form (3) mit \(f\equiv 0\) und einem den Voraussetzungen genügenden \(H\) bringen läßt. Als Anwendung der Betrachtungen des ersten Teils wird im dritten Teil die Differentialgleichung \(n\)-ter Ordnung \[ y^{(n)}(x) +H(x) y^{(n-2)} =\sum _{i=1}^2 P_i(x) y^{(n-2-i)}, \; n\geq 2 \] behandelt, und es wird, unter gewissen Voraussetzungen, gezeigt, daß sich \(y^{(n-2)}\) asymptotisch für \(x\to \infty \) wie eine Lösung von (2) verhält. II. Verf. beweist: Zu jeder Lösung \(y_0(x)\) von \[ y''_0 -y_0=0 \] gibt es eine Lösung \(y(x)\) von \[ y''-(1+H(x))y=f(x,y,y'), \] so daß \(\frac {y(x)}{y_0(x)} -1\) und \(\frac {y'(x)}{y'_0} -1\) für \(x\to \infty \) gegen 0 konvergieren. Dabei werden folgende Voraussetzungen gemacht: 1) \(H\) und \(f\) sind stetig für \(0<c\leq x\) bei beliebigen \(y,y'\); 2) es gibt zwei positive stetige Funktionen \(\varphi, \psi \), so daß a) \[ \int _c^{\infty } \{ |H(s)| +\varphi (s) +\psi (s)\} \,ds \text{ konvergiert}, \] b) für irgend zwei einmal stetig differenzierbare Funktionen \(z_1, z_2\) die folgenden Ungleichungen gelten \[ \begin{gathered} |f(x,z_1(x), z'_1(x))| \leq \varphi (x) \cdot \text{ Max } \{z_1(x), z'_1(x)\}, \\ |f(x,z_1(x), z'_1(x)) - f(x,z_2(x), z'_2(x))| \leq \varphi (x) \text{ Max } \{|z_1(x)-z_2(x)|, |z'_1(x)-z'_2(x)|\}. \end{gathered} \] Ähnlich wie in I wird der Beweis durch Abschätzung der sukzessiven Approximationen geführt.