Zur asymptotischen Integration von Differentialgleichungen. (Q2580763)

Es handelt sich um die Untersuchung der Lösungen einer linearen Differentialgleichung 2. Ordnung der Gestalt \[ y^{\prime \prime}+p(x)\,y^{\prime}-(\varrho^2 \,q(x)+r(x))\,y=0 \] mit in einem einfach zusammenhängenden Gebiet \(\mathfrak{G}\) regulären analytischen Koeffizienten für große Werte des reellen positiven Parameters \(\varrho\) (\(q(x) \neq 0\) in \(\mathfrak{G}\)). Zunächst wird eine formale Lösung durch den üblichen Ansatz \[ \mathfrak{y}(x,\,\varrho) \equiv e^{\varrho g(x)} \sum_{0}^{\infty} h_{\nu}(x)\,\varrho^{-\nu} \] gewonnen \((g(x)=\int q(x)\,dx)\); anschließend wird mittels der Liouvilleschen Methode (Übergang zu einer Integralgleichung Volterraschen Typs durch Variation der Konstanten) gezeigt: Jede Lösung, deren Anfangswerte \(y(x_0,\,\varrho)\), \(y'(x_0,\,\varrho)\) durch eine feste, \(m\)-te Näherungssumme \(\mathfrak{y}_m(x_0,\,\varrho)\) von \(\mathfrak{y}(x_0,\,\varrho)\) bzw. deren Ableitung in \(m\)-ter bzw. \((m - 1)\)-ter Ordnung asymptotisch dargestellt werden (was sich ohne weiteres verwirklichen läßt), gestattet die gleiche Darstellung in jedem Punkte von \(\mathfrak{G}\), der von \(x_0\) aus durch eine Kurve erreichbar ist, längs deren \(\mathfrak{R}\) \(g(x)\) niemals abnimmt. (Unter Hinzunahme des von Borel, Perron und anderen in verschiedenem Grade der Allgemeinheit bewiesenen Satzes, daß zu einer vorgegebenen formalen Potenzreihe stets eine durch sie asymptotisch dargestellte Funktion gehört, würde sich sofort auch die Existenz von Lösungen erschließen lassen, die die \textit{unendliche} Reihe \(\mathfrak{y}(x,\,\varrho)\) zur asymptotischen Entwicklung haben. Anm. des Ref.) Weiterhin wird der Fall betrachtet, daß die Koeffizienten längs eines Stücks der reellen Achse analytisch und reellwertig sind, und hier insbesondere das Problem des Zusammenhangs zwischen den nach dem vorhergehenden existierenden asymptotischen Darstellungen beiderseits einer Nullstelle von \(q(x)\) in bemerkenswerter Weise gefördert. Es sei etwa \(q(0) = 0\), \(q'(0) > 0\), \(g(x) > 0\) für \(x > 0\), und es seien mit \(\mathfrak{y}^{+}\) bzw. \(\mathfrak{y}^{-}\) die mit \(e^{\varrho g(x)}\) bzw. \(e^{-\varrho g(x)}\) beginnenden Entwicklungen bezeichnet. Dann hat z. B. jede rechts von 0 durch \(\mathfrak{y}_m^{-}\) asymptotisch dargestellte Lösung (aperiodisch, und \(\to 0\) strebend für \(\varrho \to \infty\)) links von 0 die (oszillierende) Darstellung \(2\mathfrak{R}(\mathfrak{y}_m^{-})\). Der Beweis dieses Satzes und verwandter Ergebnisse gründet sich auf die Betrachtung der Kurven \(\mathfrak{R}g(x) =\) const. Ein kleiner Halbkreis \(\mathfrak{H}\) um 0 berührt eine solche in einem Punkte \(x_0\), von dem aus auf \(\mathfrak{H}\) nach beiden Seiten hin \(\mathfrak{R}g(x)\) wächst; eine dort durch Anfangswerte asymptotisch charakterisierte Lösung ist sowohl rechts wie links von 0 auf der reellen Achse asymptotisch bekannt und dient zur Vermittlung zwischen der positiven und negativen reellen Achse für andere Lösungen.