Über lineare Differentialgleichungen, bei denen die unabhängig Variable reell ist. (Q1476791)

In der ersten Arbeit untersucht Verf. unter anderem die Differentialgleichung mit variablen Koeffizienten \[ \text{(B)}\qquad \frac{d^ny}{dx^n}+f_1(x)\;\frac{d^{n-1}y}{dx^{n-1}}+\cdots+f_n(x)y=0, \] worin \(\lim_{x=0} f_\lambda(x) =a_\lambda\) \((\lambda = 1, 2,\dots,n)\) ist. Bekanntlich hat \textit{H. Poincaré} (Am. J. 7, 203-264; F. d. M. 17, 290 (JFM 17.0290.*), 1885) bewiesen, daß für das allgemeine Integral \(\lim_{x=\infty}\frac{y'}{y}=\varrho_1\) ist, und daß es für jede Wurzel \(\varrho_\lambda\) der ``charakteristischen'' Gleichung \[ \varrho^n + a_1\varrho^{n-1} +\cdots+ a_n = 0\quad ({\mathfrak R}(\varrho_1)>{\mathfrak R}(\varrho_2) >\cdots>{\mathfrak R}(\varrho_n)) \] Partikularintegrale gibt, für welche \(\lim_{x=0}\frac{y'}{y} =\varrho_\lambda\) ist. Der \textit{Poincaré}sche Beweis ist sehr kompliziert und außerdem an die wesentliche Voraussetzung geknüpft, daß die Koeffizienten \(f_\lambda(x)\) rationale Funktionen sind. Verf. gibt einen von dieser Voraussetzung freien und dabei viel einfacheren und naturgemäßeren Beweis des folgenden, die Ergebnisse von Poincaré enthaltenden Satzes: Es gibt ein Fundamentalsystem von Integralen \(y_1,y_2,\dots,y_n\) der Differentialgleichung (B), für welche die Beziehungen \(\lim_{x=\infty}\, \frac{y_\lambda'}{y_\lambda}=\varrho_\lambda\) \(\lambda = 1,2,\dots,n)\) statthaben, und allgemeiner für \(\varrho_\lambda\neq 0\): \[ \lim_{x=\infty}(y_\lambda:y_\lambda':y_\lambda^{\prime\prime}: \dots:y_\lambda^{(n)})=1:\varrho_\lambda:\varrho^2_\lambda:\dots: \varrho^n_\lambda. \] Ähnliche Fragen werden auch für etwas allgemeinere Systeme von Differentialgleichungen erörtert. Während Verf. in der ersten Arbeit voraussetzt, daß die reellen Teile der Wurzeln der charakteristischen Gleichung alle voneinander verschieden sind, und nur an einem Beispiel zeigt, daß ohne diese Voraussetzung die erlangten Resultate nicht mehr durchweg Geltung behalten, unterzieht er in der zweiten Arbeit den allgemeinen Fall einer weiteren Untersuchung; dabei stützt er sich wie in der ersten Arbeit auf das ``Existenztheorem'' und das ``Eindeutigkeitstheorem'' (vgl. z.B. \textit{Goursat}, Cours d'analyse 2, ch. 19). Die Koeffizienten des Systems von \(n\) Differentialgleichungen \[ (1)\qquad y_la'=\sum^n_{\mu+1} f_{\lambda,\mu}(x)y_\mu\quad (\lambda=1,2,\dots, n) \] mögen für \(x\geqq x_0\) stetig sein; ferner mögen die endlichen Grenzwerte \(\lim_{x=\infty}f_{\lambda,\mu}(x) = a_{\lambda,\mu}\) existieren. Die Wurzeln der charakteristischen Gleichung \[ \left| \begin{matrix} \l\quad & \l\\ a_{11}-\varrho & a_{12}\dots a_{1n}\\ \hdotsfor2\\ a_{n1} & a_{n2}\dots a_{nn}-\varrho\end{matrix}\right|=0 \] seien \(\varrho_1,\varrho_2,\dots,\varrho_n\); sie brauchen nicht alle voneinander verschieden zu sein. Dann gilt der Satz: ``Sind \(r, s\) irgend zwei reelle Zahlen, die den Ungleichungen \(r > {\mathfrak R}(\varrho_\lambda)>s\) genügen, so gelten für jedes nicht identisch verschwindende Integralsystem von (1) die Beziehungen: \[ \lim_{x=\infty}\;\frac{y_\lambda}{e^{rx}}=0,\;\lim_{x=\infty}\;\frac{| y_1|+| y_2|+\cdots+| y_n|}{e^{\varepsilon x}}=\infty.\text{''} \] Für das besondere System \(z_\lambda'\varrho_\lambda z_\lambda +\sum^n_{\mu=\lambda+1}c_{\lambda,\mu}z_\mu+\sum^n_{\mu=1}\varphi_{\lambda,\mu}(x)z_\mu\), wo die Funktionen \(\varphi_{\lambda,\mu}(x)\) für \(x\geqq x_0\) stetig sind und für \(\lim x =\infty\) dem Grenzwert Null zustreben, gilt der Satz: ``Falls \({\mathfrak R}(\varrho_1) >{\mathfrak R}(\varrho_\lambda)\) ist für \(\lambda = 2,3,\dots, n\), so hat dieses System \(n\) linear unabhängige Integralsysteme, für welche \(\lim_{x=\infty}\,\frac{z_\lambda}{z_1} = 0\) ist.'' Dieser Satz kann verallgemeinert werden. Die Anwendung dieser Sätze auf \textit{eine} Gleichung \(n\)-ter Ordnung liefert schließlich folgenden Satz: ``Sind \(r_1, r_2,\dots, r_\sigma\) die voneinander verschiedenen reellen Teile der Wurzeln der charakteristischen Gleichung, und ist \(e_\lambda\) die Anzahl der Wurzeln mit dem reellen Teil \(r_\lambda\), wobei mehrfache Wurzeln ihrer Vielfachheit entsprechend gezählt sind, so hat die Differentialgleichung (B) ein Fundamentalsystem von Integralen, die derart in \(\sigma\) Klassen zerfallen, daß für die Integrale der \(\lambda^{\text{ten}}\) Klasse und ihre linearen Verbindungen die Beziehungen statthaben: \[ \lim_{x=\infty}\;\frac{| y|+| y'|+\cdots+y^{(n)}|}{e^(r_\lambda+\varepsilon)x}=0,\quad \lim_{x=\infty}\;\frac{| y|+| y'| +\cdots+y^{(n)}|}{e^(r_\lambda+\varepsilon)x}=\infty, \] wie klein auch die positive Zahl \(\varepsilon\) sei. Die Anzahl der Integrale der \(\lambda\)-ten Klasse ist dabei \(e_{\lambda}\).