Sur le quotient de deux fonctions \textit{Bessel}iennes successives. (Q1497342)

Aus der bekannten Kettenbruchentwicklung für den Quotienten zweier aufeinander folgenden \textit{Bessel}schen Funktionen erster Art, \(J_{\nu +1}(z)\) und \(J_{\nu}(z)\), läßt sich für denselben Quotienten eine Reihe ableiten: \[ (1)\quad\frac {J_{\nu +}(z)}{J_{\nu }(z)}=f_1z+f_2z^3+f_3z^5+\dotsm , \] die konvergiert, so lange \(|z|\) kleiner als die erste Wurzel von \(J_{\nu}(z)=0\) ist. Der allgemeinere Koeffizient \(f_{n+1}\) dieser Reihen wird hier zum ersten Male explizit dargestellt in Form einer Determinante \(D_n\) mit \((n-1)^2\) Elementen, von denen einige verschwinden; und zwar ergibt sich diese Darstellung mittels der Näherungsbrüche jenes Kettenbruches. Weiter wird bemerkt, daß \[ u=-z\frac {J_{\nu +1}(z)}{J_{\nu}(z)} \] der \textit{Riccati}schen Differentialgleichung \[ (2)\quad z\cdot\frac {du}{dz}+u^2+2\nu u+z^2=0 \] genügt, und die Einsetzung der Reihe (1) in (2) gibt die Relationen: \[ 2(\nu +1)f_1=1, \] \[ 2(\nu +n+1)f_{n+1}=f_1f_n+f_2f_{n-1}+\dotsm +f_nf_1. \] Nebenbei wird aus der Differentialgleichung (2) die bekannte Kettenbruchentwicklung für \(u\) abgeleitet. Setzt man nämlich \[ u=\frac {-z^2}{2(\nu +1)+u_1}, \] so genügt \(u_1\) derjenigen \textit{Riccati}schen Gleichung, in die (2) übergeht, wenn man \(\nu\) durch \((\nu +1)\) ersetzt. Aus der Determinantendarstellung von \(f_{n+1}\) wird ferner folgende Relation abgeleitet: \[ (\text{II})\quad f_{n+1}=\sum_{p=0}^{\leq\frac {n-1}2}\frac {(-1)^p(n-p)\dots (n-2p)}{(p+1)!}\frac {f_{n-p}}{2^{2(p+1)}b_1\dots b_{p+1}.b^{n-p+1}\dots b_{n+1}}, \] worin \(b_p=\nu +p\) ist. Endlich wird dieselbe Determinantendarstellung dazu benutzt, zu beweisen, daß der Konvergenzradius der Reihe (1) der Gleichung \(J_{\nu}(z)=0\) genügt.