Développements asymptotiques des solutions d'une classe d'équations différentielles linéaires. (Q1462962)

Der übliche Begriff von asymptotischen Reihen wird hier wesentlich verallgemeinert. In der formalen Reihe \[ a_0(x)+\frac{a_1(x)}x+\frac{a_2(x)}{x^2}+\cdots \] seien die Koeffizienten \(a_{\nu}(x)\) periodische Funktionen mit der Periode \(T\). Eine Funktion \(f(x)\) soll dann durch die Reihe asymptotisch dargestellt heißen, wenn für jedes \(n\) \[ f(x)=a_0(x)+\frac{a_1(x)}x+\cdots+\frac{a_n(x)}{x^n}+o\left(\frac1{x^n}\right) \quad\text{für} \quad x\to\infty. \] In der Differentialgleichung \[ \frac{d^nu}{dx^n}+P_1(x)\frac{d^{n-1}u}{dx^{n-1}}+\cdots+P_n(x)u=0 \tag{1} \] mögen nun die Koeffizienten \(P_k(x)\) solche asymptotische Darstellungen zulassen: \[ P_k(x)\sim a_{k0}(x)+\frac{a_{k1}(x)}x+\frac{a_{k2}(x)}{x^2}+\cdots. \] Wenn dann die \(n\) charakteristischen Exponenten der Differentialgleichung mit periodischen Koeffizienten \[ \frac{d^nu}{dx^n}+a_{10}\frac{d^{n-1}u}{dx^{n-1}}+\cdots+a_{n0}(x)u=0 \tag{2} \] zu je zweien inkongruent nach dem Modul \(\dfrac{2\pi i}T\) sind, so wird die Gleichung (1) formal durch Reihen der Form \[ u\equiv e^{\alpha x}x^{-\lambda}\left(c_0(x)+\frac{c_1(x)}x+\frac{c_2(x)}{x^2} +\cdots\right) \tag{3} \] befriedigt. Dabei kann \(\alpha\) jeden der \(n\) charakteristischen Exponenten bedeuten, worauf die Zahl \(\lambda\) und die periodischen Funktionen \(c_0(x), c_1(x),\ldots\) sich der Reihe nach berechnen lassen. Allerdings ist diese Berechnung wesentlich komplizierter als in dem bekannten Fall konstanter \(a_{\nu}(x)\). Denn zur Bestimmung der periodischen Funktionen \(c_0(x), c_1(x),\ldots\) ergeben sich inhomogene lineare Differentialgleichungen, und es muß erst gezeigt werden, daß diese bei richtiger (eindeutig bestimmter) Wahl von \(\lambda\) periodische Integrale haben, die ebenfalls eindeutig bestimmt sind. Nachdem die Existenz der formalen Reihen nachgewiesen ist, muß noch gezeigt werden, daß die Differentialgleichung (1) auch wirklich Integrale hat, die durch diese Reihen asymptotisch dargestellt werden. Das geschieht in der Weise, daß zunächst die Existenz eines (nicht eindeutig bestimmten) Integrals nachgewiesen wird, welches für \(x\to\infty\) von der Form \[ e^{\alpha x}\left[\frac{c_0(x)}{x^{\lambda}}+o\left(\frac1{x^\lambda}\right) \right] \] ist. Von jedem solchen Integral läßt sich dann zeigen, daß es durch die Reihe (3) asymptotisch dargestellt wird. Die drei letzten Seiten der Arbeit sind ohne Zusammenhang mit dem Vorausgehenden, aber ebenfalls sehr bemerkenswert. Es werden beständig konvergente Reihen der Form \[ \sum_{n=0}^\infty \varphi_n(x)x^n \tag{4} \] betrachtet, wo die \(\varphi_n(x)\) periodische Funktionen sind (Periode \(= 2\pi\)). Nachdem durch das Beispiel \[ \sin x-x+\frac{x^3}{3!}-\frac{x^5}{5!}+\cdots=0 \] gezeigt ist, daß durch solche Reihen auch die Null dargestellt werden kann, ohne daß alle Koeffizienten verschwinden, wird noch folgender Satz bewiesen: Bezeichnet man mit \(M_n\) die obere Grenze von \(|\varphi_n(x)|\) und ist die Wachstumsordnung (ordre apparent) der ganzen Funktion \[ \sum_{n=0}^{\infty}M_nz^n \] kleiner als 1, so kann die Reihe (4) nicht identisch verschwinden, ohne daß alle Koeffizienten \(\varphi_n(x)\) identisch verschwinden. (IV 4.)