Ricerche asintotiche per una particolare equazione differenziale non lineare. (Q2580785)

Bezüglich der Differentialgleichung \[ y''+y+\varphi(y')=f(x) \tag{1} \] wird folgendes bewiesen: I. Ist \(f(x)\) stetig und beschränkt (für \(x \geqq a\)) und gibt es zu der (stetig differenzierbaren) Funktion \(\varphi(y')\) zwei positive Zahlen \(A\), \(k\) derart, daß \(\varphi(y')>2ky'\) bzw. \(\varphi(y')<2ky'\) für \(y'>A\) bzw. für \(y'<-A\), so sind alle Lösungen von (1) [unbeschränkt fortsetzbar (d. h. definiert) für \(x \to \infty\) und] stabil. Dabei heiße eine (unbeschränkt fortsetzbare) Lösung \(y\) von (1) \textit{stabil}, wenn \(y\) und \(y'\) beschränkt sind für \(x \to \infty\). II. \textit{Vor}. \(\alpha\)): Es sei \(\varphi(y')\) stetig differenzierbar und nicht abnehmend für alle \(y'\) mit \(-\infty < y' < +\infty\); ferner sei \(f(x)\) stetig und periodisch mit der Periode \(\omega\). \textit{Beh}. Damit (1) genau eine periodische Lösung \(y_p(x)\) mit der Periode \(\omega\) besitze, ist hinreichend, daß (mindestens) eine stabile Lösung vorhanden sei; übrigens sind dann sämtliche Lösungen (unbeschränkt fortsetzbar und) stabil und asymptotisch gleich \(y_p(x)\). Dabei heißen zwei Lösungen \(y_1(x)\), \(y_2(x)\) von (1) \textit{asymptotisch gleich} wenn \(\lim\limits_{x \to \infty}(y_1(x) - y_2(x)) = \lim\limits_{x \to \infty}(y_1^{\prime}(x) - y_2^{\prime}(x)) = 0\). -- Daß es unter der Vor. \(\alpha\)) Differentialgleichungen (1) ohne stabile Lösungen gibt, wird durch das Beispiel \(f(x) = \,\sin\, x\) und \(\varphi(y')\) mit \(\overline{\text{Grenze}}\) \(|\, \varphi(y') \,| < 4^{-1}\pi\) bewiesen. Ist aber neben Vor. \(\alpha\)) noch \(\varliminf\limits_{|\,y' \,| \to \infty} (y')^{-1}\varphi(y')>0\), so sind (gemäß I.) alle Lösungen stabil. III. Schließlich wird speziell für den Fall \(\varphi(y') = y'|\, y' \,|\), \(f(x)=\varepsilon \, \sin \, x\) noch folgendes gezeigt: Für \(x \geqq 0\) gilt \(|\, y(x) \,|<\mu = \text{ Max } (\frac{1}{2} +|\, \varepsilon \,|\), \((y'(0))^2+y(0)\), sign \(y'(0)\), \(|\, y(0) \,|)\), \(|\, y'(x) \,| < \text{ Max } (\sqrt{\varepsilon+\mu}\), \(|\, y'(0) \,|)\) für \textit{jede} Lösung \(y(x)\) von (1). Weiter ist \(y_p(x)=-y_p(x+\pi)\) und \(|\, y_p(x) \,|<4 \cdot 3^{-1} \cdot\sqrt{|\, \varepsilon \,|} \). -- Der Beweis von II.) wird sehr einfach mit Hilfe des folgenden Satzes geführt: Ist die stetig differenzierbare Abbildung \(\varPhi(P)=(u_1=\alpha(u,v)\), \(v_1=\beta(u,v))\) lokal kontraktiv, d. h. ist \(((du_1)^2+(dv_1)^2):((du)^2+(dv)^2)<1\) überall mit Ausnahme in höchstens einem Punkt, dann ist die Folge der iterierten Bildpunkte \(\varPhi^n(P)=P^n\) entweder beschränkt für alle \(P\) oder für kein \(P\). Im ersten Falle konvergieren die \(P^n\) iür jeden Punkt \(P\), und zwar gegen den gleichen Punkt.