Fortsetzungsrelationen bei den Lösungen gewöhnlicher linearer Differentialgleichungen. (Q2612469)

Behandelt werden spezielle lineare Differentialgleichungen zweiter Ordnung mit rationalen Koeffizienten, bei denen, gegebenenfalls nach Transformation der Veränderlichen, alle Lösungen ganze Funktionen sind, während dann zwei formal erfüllende Reihen der Gestalt \(\mathfrak{R}_{1\atop 2} \equiv e^{\pm \alpha x^{\beta}} \, x^{\gamma} \mathfrak{B}_{1\atop 2} \left( \frac{1}{x} \right)\) existieren (\(\alpha \neq 0, \, \mathfrak{B}_{1\atop 2}\) gewöhnliche, formale Potenzreihen); die Gleichungsformen sind: \[ \text{(I)} \,y^{\prime \prime} + x^n \, y = 0, \; \; \text{(II)} \; y^{\prime \prime} + \left( \frac{a}{b} + b x^{n+1} \right) \, y^{\prime} + \left( \frac{c}{x^2} + g x^n \right) \, y = 0, \;\; \text{(II)} \; y^{\prime \prime} - (x^2 - k^2) \, y = 0 \] (mit geeigneten Einschränkungen für \(a\), \(b\), \(c\)). Auf festem Halbstrahl vom Ursprung aus gibt es nun zu jeder Reihe \(\mathfrak{R}_{1\atop 2}\) eine durch sie asymptotisch dargestellte Lösung; aber bekanntlich braucht die gleiche Reihe auf verschiedenen Halbstrahlen nicht die nämliche Lösung asymptotisch darzustellen. Es handelt sich um die Frage, durch welche Linearkombination \(B_1 \mathfrak{R}_1 + B_2 \mathfrak{R}_2\) eine bestimmte Lösung \(y = f(x)\) in verschiedenen Teilen der Umgebung von \(\infty\) asymptotisch dargestellt wird; dabei kann \(f(x)\) durch seine asymptotische Darstellung längs eines bestimmten Halbstrahls oder auch durch Anfangswerte an einer endlichen Stelle (etwa \(x = 0\)) festgelegt sein. Die Konstanten \(B_j\) werden von Winkelraum zu Winkelraum verschieden ausfallen; zu ihrer Bestimmung werden die Relationen \[ \frac{1}{2 \pi i} \oint_{0^{+}} \frac{f(x)}{x^{\lambda + 1}} \, dx = \left\{ \begin{aligned} 0 \qquad \; \, & \quad (\lambda < 0), \\ \frac{f^{(\lambda)}(0)}{\lambda !} & \quad (\lambda \geqq 0) \end{aligned} \right. \] herangezogen. Indem man links den Integrationsweg in die Umgebung von \(\infty\) legt und dort die asymptotischen Reihen mit den vorerst noch unbekannten Faktoren \(B_j\) heranzieht, erhält man lineare Beziehungen zwischen diesen und gegebenenfalls den Anfangskonstanten von \(f(x)\), aus denen sich die \(B_j\) unter Umständen ermitteln lassen. Die Überlegungen sind vielfach mehr heuristischer Natur, die eigentlichen Beweise mehr angedeutet als durchgeführt. Besonderes Gewicht liegt auf der numerischen Durchrechnung der Methode für spezielle Beispiele, wobei auch verschiedene mögliehe Rechenproben sowie Vergleiche mit bekannten Tatsachen durchgeführt werden Physikalische Anwendungen werden angekündigt. -- Betreffend die speziellen \textit{Ergebnisse} (nicht die \textit{Methode}) mag, da keine Literatur angegeben ist, darauf hingewiesen werden daß auf Grund klassischer Transformationsmethoden (vgl. z. B. \textit{Riemann-Weber} Partielle Differentialgleichungen der Physik, 3. Aufl., Bd. II, S. 9 ff.) die Gleichung (I) \((n \neq -2)\) sich auf die \textit{Bessel}sche Differentialgleichung vom Parameter \(\dfrac{-1}{n+2}\), die Gleichung (II) sich auf die \textit{Bessel}sche oder \textit{Kummer}sche Gleichung zurückführen läßt; für diese Gleichungen liegen die Fortsetzungsrelationen fertig vor (vgl. z. B. \textit{Kienast}, Untersuchungen über die Lösungen der Differentialgleichung \[ x y^{\prime \prime} + (\gamma - x) \, y^{\prime} - \beta y = 0, \] Denkschriften der Schweizerischen Naturforschenden Gesellschaft 57 (1921), 247-325, insbes. S. 251-263). Ferner geht (III) durch einfache Bezeichnungsänderung in die \textit{Weber}sche Gleichung über, für die die asymptotischen Reihen (bei \(k\) fest, \(x \to \infty\)) nebst den Zusammenhangsformeln aus \textit{Whittaker-Watson}, Modern analysis, 4. Aufl., S. 347 ff., entnommen werden können. (IV 6 B.)