Over reeksen van \textit{Bessel}sche functies en daarmede samenhangende bepaalde integralen, waarin \textit{Bessel}sche functies voorkomen. (Q1497340)

\textit{Nielsen} hat in seinem Handbuch der Zylinderfunktionen (S. 262) gezeigt, daß man eine nach Zylinderfunktionen fortschreitende Reihe durch ein Integral darstellen kann. Diese Darstellung verallgemeinert \textit{Rutgers}, unter Benutzung zweier früher von ihm aufgestellten Formeln (F. d. M. 36, 370, 1905, JFM 36.0370.02), folgendermaßen. Es ist \[ (\text{I})\quad \sum_{n=0}^{\infty} a_nJ_{n+\nu +1}(x)=\left(\frac x2\right)^{\nu -\sigma +1}\int_0^1J_{\sigma}(x\sqrt c)f(x-cx)(1-c)^{\nu -\sigma}c^{\frac 12\sigma }dc+E. \] Darin bezeichnet \(f(x)\) folgende Potenzreihe: \[ f(x)=\sum_{n=0}^{\infty} \frac {a_n}{\varGamma (\nu -\sigma +n+1)}\left(\frac x2\right)^n; \] \(\nu\) ist ganz willkürlich, während die Bedingungen für \(\sigma\) sind: 1) entweder \(-1<\Re (\sigma )<\Re (\nu +1)\), und in diesem Falle ist \(E=0\); 2) oder \(\sigma\) gleich einer negativen ganzen Zahl \(<\Re (\nu +1)\), und in diesem Falle ist \[ E=\frac 1{2^{\nu +1}}\sum_{m=0}^{-\sigma -1}\frac {(-1)^mx^m}{2^{2m}.m!} \frac {d^{-\sigma -m-1}}{dx^{-\sigma -m-1}}(x^{\nu -\sigma}f(x)). \] Für \(\sigma =\nu\) und \(\Re (\nu )>-1\) geht (I) in die \textit{Nielsen}sche Gleichung über (daß \textit{Nielsen} \(\Re (\nu )>-2\) als Bedingung für die Gültigkeit angibt, beruht wohl auf einem Druckfehler). Die Gleichung (I) wird nun benutzt, um mittels solcher nach Zylinderfunktinen fortschreitenden Reihen, deren Summe bekannt ist, die Werte gewisser bestimmter Integrale zu finden, und zwar kann man aus jeder bekannten Entwicklung nach Zylinderfunktionen, je nach Verfügung über \(\nu ,\sigma\) verschiedene bestimmte Integrale ableiten. Auf diese Weise leitet der Verf. eine große Reihe von Einzelformeln (25) her, von denen zur Kennzeichnung der Ergebnisse folgende hier Platz finden mögen, die sich aus den nach Zylinderfunktionen fortschreitenden Reihen für \(\sin x\) und \(\cos x\) ergeben: \[ \int_0^1 J_0(x\sqrt c)\cos\left(\frac {x-cx}2\right) dc =\frac 1x\sin x, \] \[ \int_0^1J_1(x\sqrt c)\sin\frac {cx}2\frac {dc}{\sqrt c}=\frac 1x\sin\frac x2\{ 1+\cos x-J_0(x)\} . \] Endlich wird die Relation (I) noch dahin ausgedehnt, daß auch Reihen der Form \[ \sum_{n=0}^{\infty} b_n\left(\frac x2\right)^nJ_{\nu +n+1}(x)\text{ und }\sum_{n=0}^{\infty}c_n\left(\frac 2x\right)^nJ_{\nu +n+1}(x) \] durch ein bestimmtes Integral (eventuell mit Ergänzungsglied \(E\)) dargestellt werden; und auch aus diesen Formeln werden verschiedene bestimmte Integrale hergeleitet, z. B.: \[ \int_0^1J_0(xy)y\lg (1+\sqrt {1-y^2})\,dy=\frac 2{x^2}[J_0(x)-\cos^2(\frac 12x)]. \]