Der Existenzbeweis für Lösungen linearer gewöhnlicher Differentialgleichungen, insbesondere an einer \textit{Fuchs}schen singulären Stelle. (Q1483364)

Durch die Untersuchungen von \textit{Riemann} und \textit{Fuchs} sind für die Theorie der linearen Differentialgleichungen vornehmlich solche singulären Stellen \(a\) von Wichtigkeit geworden, wo die Lösungen sämtlich sich bestimmt verhalten, d. h. nach Multiplikation mit geeigneten Potenzen von \(x-a\) nicht mehr unendlich wachsen. \textit{Fuchs} (J. für Math. 66, 1866) hat gezeigt, daß einer singulären Stelle \(a\), wo die Koeffizienten der Differentialgleichung \[ (1)\quad \frac{d^ny}{dx^n}+p_1(x)\frac{d^{n-1}y}{dx^{n1}}+\cdots+p_{n-1}(x) \frac{dy}{dx}+p_n(x)y=0 \] eindeutige analytische Funktionen von \(x\) sind, dann und allein dann in der Umgebung von \(a\) nur bestimmt sich verhaltende Lösungen zukommen, wenn \(a\) für jeden der Koeffizienten \(p_k(x)\) höchstens ein Pol der Ordnung \(k\) ist. Während aber der Beweis, daß diese Form für die Differentialgleichung eine notwenige Bedingung darstellt, äußerst einfach ist, sind die bisherigen Beweise für das Hinreichen dieser Form weit komplizierter. Ja, man führt den Existenzbeweis eigentlich zweimal, erstens für die Umgebung einer regulären Stelle \(x_0\) und dann noch einmal für die Umgebung einer singulären Stelle vom oben angegebenen Typus. Verf. gibt nun einen Existenzbeweis, der die bisherigen an Einfachheit übertrifft: er ersetzt zunächst die Gleichung (1) durch ein lineares System erster Ordnung, dessen Koeffizienten an einer \textit{Fuchs}schen singulären Stelle \(a\) höchstens einfach polar unendlich werden, und führt dann mittels Majoranten den Existenzbeweis in der Weise, daß aus den Lösungen für die Umgebung einer regulären Stelle unmittelbar klar wird, daß dieselben bei Annäherung der Variable \(x\) an eine singuläre Stelle \(a\) vom \textit{Fuchs}schen Charakter nicht stärker wachsen können als eine Potenz \(|x-a|^{-M}\) von \(|x-a|\), wobei \(M\) eine geeignete positive Größe ist. Ein zweiter sehr einfacher Beweis ergibt sich, wenn man das lineare System nach \textit{Liouvilles} Verfahren (\textit{Liouville} J. 2) in der Form von Integralgleichungen schreibt.