Sur les points singuliers des équations différentielles linéaires. II. (Q2599245)

Verf. verwertet die von ihm in verschiedenen Zusammenhängen benützte Transformation von Differentialgleichungen auf elementar integrierbare Normalformen hier für die asymptotische Untersuchung singulärer Punkte bei linearen Differentialsystemen (Annäherung an Unendlich längs Kurven oder in Gebieten). Der Gedankengang nimmt hier folgende Gestalt an: Das (etwa homogene) System (1) \(Y' = AY\) möge durch (2) \(Y = PZ\) übergehen in (3) \(Z' = BZ\), wobei (4) \(P' = AP - PB\). Für \(A\) sei nun eine asymptotische Reihendarstellung gegeben; man trage diese formal in (4) ein und bestimme dann eine Matrix formaler Reihen derart, daß sie, für \(P\) in (4) eingetragen, ein aus endlich vielen Termen bestehendes \(B\) ergibt, für das sich (3) elementar lösen läßt. Das \textit{analytische} Problem wird hierdurch auf die Gleichung (4) verschoben, aufgefaßt als Differentialsystem für \(n^2\) Unbekannte; für diese muß bei gegebenem \(A\) und \(B\) die Existenz einer Lösung (im Sinn der Analysis) \(P\) gezeigt werden, die durch die vorher berechneten Reihen asymptotisch dargestellt wird. Hierzu dienen Hilfssätze über Existenz und eindeutige Bestimmtheit von Lösungen linearer Differentialsysteme, die in geeignet vorgeschriebener Weise klein werden, wenn die Koeffizienten in gegebener Weise gegen Null gehen; hierzu finden sich die Grundlagen in der vorangehenden Arbeit gleichen Titels (nämliche Zeitschrift, 2 (1934), 13-88; JFM 60.0377.*), wozu noch verschiedene Ergänzungen gegeben werden. -- Die schließlich behandelten Fälle sind nun: 1) ``Regulärer'' singulärer Punkt: die Elemente von \(A\) sind durch Reihen nach nicht negativen, ganzen Potenzen von \(e^x\) darstellbar (\textit{formal} also die Verhältnisse wie im klassischen Fall einfacher Pole, sobald man \(x\) durch \(e^x\) ersetzt). Die Normalform schließt an die Jordansche für die Matrix der Anfangsglieder von \(A\) an, enthält aber, wofern unter den Eigenwerten solche nicht verschwindender ganzzahliger Differenz auftreten, auch nichtkonstante (Exponential-)Glieder. 2) Irregulärer singulärer Punkt: \[ A\sim \sum\limits_{r=-\alpha}^\infty A^{(r)} x^{-r/\varrho}; \;\varrho \text{ ganz} > 0; \;A^{(-\alpha)}\neq 0. \] \(B\) besteht aus längs der Hauptdiagonale aufgereihten Kästchen der Form \[ \lambda_j(x)E + B_j(x); \;\lambda_j(x) = \lambda_j^{(0)}x^{m_j}+\cdots \text{ Polynom}, \;B_j(x)\sim \dfrac{B_j^{(0)}}{x} + \cdots. \] Gilt die gegebene Darstellung etwa in einem Winkelraum, so die Darstellungen für die Lösungen in Gebieten, die höchstens eine ``singuläre Richtung'' enthalten; eine Richtung heißt dabei singulär (bezüglich 0), wenn auf dem Halbstrahl dieser Richtung von 0 aus \(\mathfrak{R}(x\lambda_j(x)) = o\left(|x|^{m_j+1}\right)\) wird, so daß also auf beiden Seiten eines beliebig schmalen Winkelraums um ihn für hinreichend großes \(|x|\) \(\mathfrak{R}\left(x\lambda_j(x)\right)\) entgegengesetztes Zeichen hat \((\lambda_j^{(0)}\neq 0)\). -- Die Methoden erscheinen, wie Verf. einleitend kurz hervorhebt, einfacher als diejenigen von \textit{Trjitzinski}, der in Acta Math., Uppsala, 62 (1934), 167-226 (JFM 60.1109.*) die Hauptprobleme in ähnlicher Allgemeinheit behandelt hat; eine genauere Gegenüberstellung der Ergebnisse erschiene wünschenswert.