Sur quelques intégrales définies se rattachant aux fonctions de Bessel. I, II, III. (Q572952)

Verf. knüpft an an die von ihm in einer früheren Arbeit (1907; F. d. M. 38, 488-489) hergeleitete Formel \[ \displaylines{\rlap{\qquad\!(1)} \hfill \qquad\quad \int\limits_{0}^{x}I_\nu (x-\beta )I_\varrho (\beta )(x-\beta )^\nu \beta ^\varrho\,d\beta = \frac{\varGamma (\nu +\frac{1}{2})\varGamma (\varrho +\frac{1}{2})} {\varGamma (\nu +\varrho +1)} \frac{x^{\nu+ \varrho+\frac{1}{2}}}{\sqrt{2\pi }} I_{\nu +\varrho +\frac{1}{2}}(x), \hfill} \] die für beliebige, nur den Bedingungen \[ \mathfrak R(\nu )>\tfrac{1}{2},\;\; \mathfrak R(\varrho )>\tfrac{1}{2} \] genügende komplexe Zahlen \(\nu \), \(\varrho \) gültig ist. Durch Potenzreihenentwicklung der in (1) auftretenden \textit{Bessel}schen Funktionen leitet Verf. zunächst aus (l) weitere Formeln (2), (3), \dots, (9) her, die von (1) nur wenig verschieden sind. Unter Benutzung der Relationen \[ I_{-\frac{1}{2}}(y)=\sqrt{\frac{2}{\pi y}}\cos y,\;\; I_{\frac{1}{2}}(y)=\sqrt{\frac{2}{\pi y}}\sin\,y \] werden dann, indem \(\varrho =+\frac{1}{2}\) oder \(=-\frac{1}{2}\) gesetzt wird, aus (1), (2),\dots, (9) weitere Formeln (10), (11), \dots, (20) gewonnen; eine dieser Formeln lautet: \[ \displaylines{\rlap{\qquad\!(10)} \hfill \int\limits_{0}^{x}I_\nu (x-\beta )\sin\beta (x-\beta )^\nu \,d\beta =\frac{x_{\nu +1}}{2\nu +1}I_{\nu +1}(x),\quad \mathfrak R(\nu )>-\tfrac{1}{2}. \hfill} \] In der zweiten und dritten Arbeit beweist Verf. die Gültigkeit weiterer Integralformeln \((10')\),\dots, \((20')\), (21),\dots, (35) dieser Art.