On the asymptotic solutions of differential equations, with an application to the Bessel functions of large complex order. (Q568783)

Es handelt sich um eine wichtige und weittragende Methode zur Gewinnung von asymptotischen Formeln für die Lösungen der Differentialgleichung \[ u''(z)+(\varrho ^2\varphi ^2(z)-\chi (z))u(z)=0 \tag{1} \] (\(\varrho \) ist ein Parameter) bei großem \(|\varrho |\) in dem Fall, daß \(\varphi ^2\) im Punkt \(z=0\) wie eine Potenz \(z^\nu \) verschwindet. In einer früheren Arbeit (1931; JFM 57.0519.*) hatte Verf. den Fall reeller Veränderlicher behandelt. Hier dehnt er die Ergebnisse auf komplexe Veränderliche aus. Ein wesentliches Hilfsmittel ist das Heranziehen der \textit{Bessel}schen Funktionen als Vergleichsfunktionen (wie im Fall \(\varphi \neq 0\) die trigonometrischen Funktionen herangezogen werden). In dem ersten Teil wird vorausgesetzt: I. In dem einfach zusammenhängenden Gebiet \(R_z\) der komplexen \(z\)-Ebene, das den Punkt \(z=0\) enthalten soll, ist \(\varphi (z)=z^{\frac 12\nu }\varphi _1(z)\), wo \(\varphi _1\) in \(R_z\) eindeutig, regulär, \(\neq 0\), \(\text{arc}\,\varphi _1(0)=0\), \(\nu \) reel \(\geqq 0\) und für reelle \(c\) \[ f^c=|f|^ce^{ic\text{arc}\, f} \] sein soll II. \(\chi (z)\) regulär in \(R_z\). Wegen des Faktors \(z^{\frac 12\nu }\) ist \(\varphi \) im allgemeinen nicht eindeutig, wird aber eindeutig auf der zugehörigen \textit{Riemann}schen Fläche \(R_z\). Auf dieser Fläche ist das Integral \[ \Phi (z)=\int _0^z\varphi (z) dz \tag{2} \] unabhängig vom Wege und von der Gestalt \[ \Phi (z) = z^{1+\frac 12\nu }\phi _1(z), \] wo \(\Phi _1(z)\) eine in dem Gebiet \(R_z\) eindeutige Funktion und \(\Phi _1(0)\neq 0\) ist. III. \(|\Phi _1|\) hat in \(R_z\) eine positive untere Schranke. Für \(\mu =\frac 1{\nu +2}\) wird gesetzt \[ \Psi (z)=\frac {\Phi ^{\frac 12-\mu }}{\varphi ^{\frac 12}}. \] Dann ist \(\Psi (z)\) in \(R_z\) eindeutig, regulär, und hat eine positive untere Schranke. Wird für eine Zylinderfunktion \(C_\mu \) der Ordnung \(\mu \) auf der \textit{Riemann}schen Fläche \(R_z\) \[ \xi =\varrho \Phi (z) \tag{3} \] gesetzt, so erfüllt \[ y(z)=\Psi (z)\xi ^\mu C_\mu (\xi ) \tag{4} \] die ``zu (1) gehörige'' Differentialgleichung \[ y''(z)+(\varrho ^2\varphi ^2(z)-\omega (z))y(z)=0 \tag{5} \] mit \[ \omega (z)=\frac {\Psi ''(z)}{\Psi (z)}. \] Man hat nun verschiedene \textit{Riemann}sche Flächen \(R_z,R_\Phi,R_\xi \), die aufeinander abgebildet sind. Werden in der \(\xi \)-Ebene die Gebiete \[ \Xi _{k,1}: (k-\tfrac 12)\pi \leqq \text{arc}\,\xi \leqq k\pi, \quad \Xi _{k,2}:k\pi \leqq \text{arc}\,\xi \leqq (k+\tfrac 12)\pi \] betrachtet und als Zylinderfunktionen \(C_\mu \) insbesondere die \textit{Bessel}schen Funktionen dritter Art gewählt, so bekommt man als Lösungen von (5) \[ y_{k,j}=\left \{\begin{matrix} \frac {\Psi (z)}{i^kA_j}\xi ^\mu H_\mu ^{(j)}(\xi e^{-k\pi i}) \text{ für gerades } k, \\ \frac {\Psi (z)}{i^kA_{3-j}}\xi ^\mu H_\mu ^{(3-j)}(\xi e^{-k\pi i}) \text{ für ungerades } k \end{matrix} \right. \] mit \(j=1,2\) und \[ A_j=\sqrt {\frac 2\pi }e^{\mp \frac 12(\mu +\frac 12)\pi i}, \] wo das obere oder untere Vorzeichen gilt, je nachdem \(j=1\) oder 2 ist. Wird \[ \vartheta (z)=\chi (z)-\omega (z) \] gesetzt, so läßt sich (1) in der Gestalt \[ u''+(\varrho ^2\varphi ^2-\omega )u=\vartheta u \tag{6} \] schreiben. Da die verkürzte Gleichung mit (5) übereinstimmt, kann man (6) in bekannter Weise durch eine \textit{Volterra}sche Integralgleichung ersetzen. Von hier aus gelangt Verf. u. a. zu Darstellungen der Lösungen \(u_{k,j}\) in \(\Xi _k,j\) von der Gestalt \[ u_{k,j}(z)=y_{k,j}(z)+\sum _{n=1}^\infty \frac {E_n(z,\varrho )}{\varrho ^{4n\mu }} = \Psi (z)\xi ^\mu (\gamma _{1,j}^{(k)}J_{-\mu }(\xi )+\gamma _{2,j}^{(k)}J_{\mu }(\xi )) +\sum _{n=1}^\infty \frac {E_n(z,\varrho )}{\varrho ^{4n\mu }}, \] wo die \(E_n\) beschränkte Funktionen bedeuten und für die \(\gamma \) explizite Formeln angegeben werden. In dem zweiten Teil werden die allgemeinen Ergebnisse zu einer eingehenden Diskussion des asymptotischen Verhaltens der \textit{Bessel}schen Funktionen benutzt. U. a. wird das Verhältnis der Resultate zu den Formeln von \textit{Debye} eingehend erörtert. Für die Erweiterung auf Differentialgleichungen \(n\)-ter Ordnung s. \textit{H. Scheffé}, 1936; JFM 62.0525.*-529.