Über die Kettenbruchentwicklung des Quotienten zweier \textit{Bessel}schen Funktionen. (Q1494089)

Im ersten Abschnitt des Aufsatzes kritisiert der Verf. ausführlich die in der Literatur sich vorfindenden, meist ganz unzulänglichen Beweise für die Entwicklung von \(J_{h-1}(z):J_{h}(z)\) in einen Kettenbruch. Nur der Beweis von \textit{Graf} [vgl. F. d. M. 26, 526, 1895, JFM 26.0526.01] sei einwandfrei, während selbst neuere Lehrbücher den nicht korrekten \textit{Schlömilch}schen Beweis reproduzierten. Zur Legalisierung des letzgenannten Beweises bedarf es des folgenden Satzes über Kettenbrüche, der im zweiten Abschnitt abgeleitet wird. Aus dem System von unendlich vielen Gleichungen \[ (9) \quad \quad \quad x_{\nu}=b_{\nu}x_{\nu+1}+a_{\nu+1}x_{\nu+2} \quad \quad \quad (\nu=0,1,2,\dots) \] folgt der Kettenbruch \[ (10) \quad \quad \quad \frac{x_{0}}{x_{1}}=b_{0}+\frac{a_{1}|}{| b_{1}}+\frac{a_{2}|}{| b_{2}}+\cdots, \] wenn die Zahlen \(| a_{\nu}|(>0)\) unter einer von \(\nu\) unabhängigen Schranke bleiben, und wenn außerdem \[ \lim_{\nu=s}\;\frac{x_{n+1}}{x_{\nu}}=0 \] ist. Für \(x_{1}=0\) ist der Kettenbruch eigentlich divergent. Bei der Entwicklung von \(J_{h-1}(z):J_{h}(z)\) in einen Kettenbruch sind die genannten Bedingungen erfüllt. Unbedingt konvergiert der letzte Kettenbruch aber nur, wenn man nicht nur die Nullstellen von \(J_{h}(z)\), sondern auch die von \(J_{h+1},J_{h+2},J_{h+3},\dots\) ausschließt. Weiter wird gezeigt, daß, wenn der Index \(h\) rational ist, die Nullstellen von \(J_{h}(z)\), abgesehen von der eventuellen Nullstelle \(z=0\), stets irrational sind. Der Verf. leitet dies aus dem \textit{Legendre}schen Irrationalitätssatze her, den er folgendermaßen formuliert: Wenn in dem unendlichen Kettenbruch (10) die \(a_{\nu}(\neq 0)\), \(b_{\nu}\) ganze rationale Zahlen sind, welche von einer gewissen Stelle \(\nu\geqq N+1\) ab der Ungleichung \[ b_{\nu}\geqq 1+| a_{\nu}| \] genügen, so ist der Kettenbruch konvergent und hat einen irrationalen Wert, es sei denn, daß\ von einem bestimmten \(\nu\) an durchweg \(a_{\nu}<0\), \(b_{\nu}=1+| a_{\nu}|\) ist.