Sul comportamento asintotico e sulla valutazione approssimata degli integrali delle equazioni differenziali del primo ordine. (Q2609524)

I. Die Variable \(x\) sei reell, die Variable \(y\) reell oder komplex, das Variablenpaar \((x, y)\) auf den Bereich \[ x\geqq a,\quad |y| \leqq b \tag{"}\(\mathfrak B:\)" \] beschränkt. Die Funktion \(f(x,y)\) sei in \(\mathfrak B\) reell oder komplex definiert und stetig; \(g(x)\) sei reell oder komplex und für \(x\geqq a\) stetig. Ferner sei \[ g_1(x) =\mathfrak R g(x) > 0,\qquad \beta)\qquad \lim\limits_{x\to\infty}\dfrac{f(x,0)}{g_1(x)}= 0, \tag{"}\(\alpha)\)" \] \[ |f(x, y_1) - f(x, y_2)| \leqq \theta g_1(x)|y_1 - y_2|, \quad 0 \leqq \theta<1. \tag{"}\(\gamma)\)" \] Dann hat die Gleichung \[ y' = g(x)y + f(x,y) \tag{1} \] genau ein Integral \(y(x)\), das für \(x \geqq a' (\geqq a)\) existiert und gegen 0 strebt, wenn \(x\) gegen \(\infty\) wandert. Wird \[ \varPhi(x) = \underset{t\geqq x}{\max}\dfrac{|f(t,0)|}{g_1(t)} \] gesetzt, so genügt es, \(a'\) oberhalb \(a\) so zu bestimmen, daß \[ \varPhi(a')\leqq (1 - \theta)b; \] ferner ist \[ |y(x)|\leqq \dfrac{\varPhi(x)}{1-\theta}. \tag{2} \] Ist das Integral \[ \int\limits_a^\infty g_1(t)dt \tag{3} \] divergent, so gibt es kein weiteres Integral, das für alle hinreichend großen \(x\) existiert und dessen Betrag dort nicht größer als \(b\) ist. Wenn dagegen das Integral (3) konvergiert, gibt es ein \(a''\geqq a\) und ein \(b''\) zwischen 0 und \(b\), so daß das von einem Punkt \((x_0,y_0)\) des Bereiches \(x_0\geqq a''\), \(|y_0|\leqq b''\) ausgehende Integral \(Y(x)\) der Gleichung (1) für \(x_0\leqq x < \infty\) existiert, dort der Ungleichung \(|Y(x)|\leqq b\) genügt und das asymptotische Verhalten \[ \lim\limits_{x\to\infty} \big(Y(x) - ce^{G(x)}\big)=0,\quad G(x) = \int\limits_a^x g(t)dt \] zeigt, wo \(c\) eine geeignete Konstante ist. Zu jedem \(c\), für welches \[ |c| < b \exp\bigg(-\int\limits_a^\infty g_1(t)dt\bigg), \] gibt es auch umgekehrt eine und nur eine solche Integralkurve \(y= Y(x)\). Ergebnisse von \textit{I. Bendixson} (Öfvers. Svenska Vetensk.-Akad. Förhandl. 55 (1898), 139-151; Acta math., Stockholm, 24 (1900), 1-88; F. d. M. 29, 275 (JFM 29.0275.*); 31, 328) und \textit{J. Horn} (Math. Ann. 51 (1898), 346-359; F. d. M. 29, 277 (JFM 29.0277.*)) werden hier eingeordnet. An Beispielen wird gezeigt, wie die Abschätzung (2) verschärft werden kann. II. \(F(x, y)\) sei in \(\mathfrak B\) stetig und besitze dort Ableitungen erster und zweiter Ordnung nach \(y\). Ist ferner \[ \mathfrak R F(x,0)>0,\quad \lim\limits_{x\to\infty}\dfrac{F(x,0)}{\mathfrak R F_y(x,0)}=0,\quad \dfrac{F_{yy}(x,y)}{\mathfrak R F_y(x,0)},\quad \text{in}\;\mathfrak B\;\text{beschränkt}, \] so hat die Gleichung \(y' = F(x, y)\) genau ein Integral, das für alle hinreichend großen \(x\) existiert und gegen 0 strebt, wenn \(x\to\infty\) wandert. -- Der Beweis wird unter Benutzung der unter I genannten Ergebnisse geführt; eine Bemerkung über die asymptotische Darstellung des Integrales wird angefügt. III. Der in I erwähnte Satz über die Existenz und Einzigkeit eines Integrales der Gleichung (1), das gegen 0 strebt, wenn \(x\to\infty\) wandert, wird verallgemeinert auf den Fall, daß \(x\) auch komplexe Werte annehmen darf und in einem Sektor \[ |x|\geqq a, \quad \omega_1\leqq \arg x\leqq\omega_2 \tag{"}\(\mathfrak G:\)" \] gegen \(\infty\) wandert. Dabei wird u. a. vorausgesetzt, daß \(g(x)\) in \(\mathfrak G\) und \(f(x,y)\) im Bereich \[ |x|\geqq a,\quad \omega_1\leqq \arg x\leqq\omega_2, \quad |y|\leqq b \] holomorph ist. Für die spezielle Gleichung \[ y' = x^\lambda\big(Ay + \varphi(x, y)\big), \] mit der sich auch \textit{J. Horn} beschäftigte (Math. Ann. 51 (1898), 360-368; F. d. M. 29, 277 (JFM 29.0277.*)), wird das Ergebnis besonders formuliert. IV. Wenn die Voraussetzungen von I gelten, gibt es ein \(a'\geqq a\) und ein \(b'\) zwischen 0 und \(b\), so daß das von einem Punkt \((x_0, y_0)\) des Bereiches \(x_0\geqq a'\), \(|y_0|\leqq b'\) ausgehende Integral \(y(x)\) der Differentialgleichung \[ y' = -g(x)y + f(x,y) \tag{4} \] für \(x_0 \leqq x < \infty\) existiert und dort \(|y(x)| \leqq b\) ist. Wenn das Integral (3) divergiert, streben alle diese Integrale gegen 0, wenn \(x\to\infty\) wandert. Wenn dagegen das Integral (3) konvergiert, so gibt es zu jedem solchen Integral eine Konstante c, so daß \[ \lim\limits_{x\to\infty} \big(y(x) - ce^{-G(x)}\big) = 0. \tag{5} \] Umgekehrt gibt es zu jedem \(c\), das der Ungleichung \[ |c| < b \exp\bigg(-\int\limits_a^\infty g_1(t) dt\bigg) \] genügt, genau ein Integral der Gleichung (4), für das (5) gilt. Auf Übertragungen und Verallgemeinerungen dieses Satzes ähnlich den unter II und III besprochenen wird hingewiesen. Eine einschlägige Untersuchung von \textit{O. Perron} (Beweis für die Existenz von Integralen einer gewöhnlichen Differentialgleichung in der Umgebung einer Unstetigkeitsstelle, Math. Ann. 75 (1914), 256-273) scheint dem Verf. entgangen zu sein.