Sur les fonctions cylindriques de première espèce. (Q1494093)

Eine große Reihe teils bekannter, meist aber neuer Formeln wird hier mittels folgender Methode hergeleitet. Die \textit{Cauchy}sche Formel für die Multiplikation zweier unendlichen Reihen kann man symbolisch so schreiben: \[ (1) \quad \quad \quad \sum_{n=0}^{\infty}\sum_{m=0}^{\infty}\varphi(n,m)=\sum_{s=0}^{\infty}\sum_{p=0}^{s}\varphi(p,s-p). \] Umgekehrt kann man eine Doppelsumme von der Form der rechten Seite von (1) durch die linke Seite ersetzen und, falls \(\sum_{m=0}^{\infty}\varphi(n,m)=\psi(n)\) eine bekannte Funktion darstellt, durch eine einfache Reihe. So kann man z. B., wenn \(\cos(x\sin\varphi)\) und \(\sin(x\sin\varphi)\) nach Kosinus, resp. Sinus der Vielfachen von \(\varphi\) zu entwickeln sind (Entwicklungen, bei denen \textit{Bessel}sche Funktionen als Koeffizienten auftreten), so verfahren: Man entwickle \(\cos(x\sin\varphi)\) nach Potenzen von \(x\sin\varphi\), ersetze die Potenzen von \(\sin\varphi\) durch die endliche nach Kosinus der Vielfachen von \(\varphi\) fortschreitenden Reihen, so erhält man zunächst eine Doppelreihe von der Form der rechten Seite von (1). Auf diese kann man die Methode anwenden und hat damit eine neue Ableitung einer bekannten Formel. Von den Resultaten, zu deren Herleitung bekannte Formeln über \textit{Euler}sche Integrale, über die hypergeometrische Reihe sowie über \textit{Bessel}sche Funktionen benutzt werden, seien folgende erwähnt: \[ (10) \quad \quad \int_{0}^{1}J_{2p+1}(x\sqrt{\alpha})\cos\left [\tfrac{x}{2}(1- \alpha)\right ]\alpha^{p}\sqrt{\alpha}d\alpha \] \[ =\int_{0}^{1}J_{2p}(x\sqrt{\alpha})\sin\left [\tfrac{x}{2}(1- \alpha)\right ]\alpha^{p}d\alpha=\frac{(- 1)^{p}}{x}\left\{\sum_{n=0}^{p}\varepsilon_{2n}(-1)^{n}J_{2n}(x)-\cos x\right\}, \] wo \(\varepsilon_{0}=1\), \(\varepsilon_{2n}=2\) für \(n>0\) ist. \[ (21) \quad \quad \int_{0}^{1}J_{\nu}(x\alpha)J_{\varrho}(ix\sqrt{\alpha(1-\alpha)}\alpha^{\nu-\frac{1}{2}\varrho}(1-\alpha)^{\frac{1}{2}\varrho}d\alpha \] \[ =\frac{i^{\varrho}}{\varGamma(\nu+1)}\sum_{s=0}^{\infty}(-1)^{s}\;\frac{\varGamma(s+2\nu+1)}{s!\varGamma(2s+2\nu+\varrho+2)}\left (\frac{x}{2}\right )^{2s+\nu+\varrho}, \] \[ {\mathfrak R}(\nu)>-\tfrac{1}{2}, \quad {\mathfrak R}(\varrho)>-1. \] \[ (33) \quad \quad \int_{0}^{1}J_{\nu}(x- \beta)J_{\varrho}(\beta)(x-\beta)^{\nu}\beta^{\varrho}d\beta=\frac{2^{\nu+\varrho}\varGamma(\nu+\frac{1}{2})\varGamma(\varrho+\frac{1}{2})}{\sqrt{\pi}\varGamma(\nu+\varrho+1)}\left (\frac{x}{2}\right )^{\nu+\varrho+\frac{1}{2}}J_{\nu+\varrho+\frac{1}{2}}(x), \] \[ {\mathfrak R}(\nu)>-\tfrac{1}{2}, \quad {\mathfrak R}(\varrho)>-\tfrac{1}{2}. \] \[ (38) \quad \quad \quad \frac{J_{\nu+\varrho+1}(x)}{\varrho+1}=\int_{0}^{x}J_{\nu}(x- \beta)J_{\varrho+1}(\beta)\;\frac{d\beta}{\beta}, \] \[ {\mathfrak R}(\nu)>-1, \quad {\mathfrak R}(\varrho)>-1. \] Aus allen diesen Formeln folgt durch Spezialisierung eine große Reihe weiterer, zum kleineren Teil schon bekannter.