On a series of Bessel functions (Q1503100)

Für die Reihe \[ J_1(\alpha)J_1(x) + 3J_3(\alpha)J_3(x) + 5J_5(\alpha)J_5(x) +\cdots= \sum_{1,3,\dots}^\infty nJ_n(\alpha)J_n(x) \] gelten die Formeln: \[ \begin{multlined} \sum_{1,3,\dots}^\infty nJ_n(\alpha)J_n(x) = \frac{\alpha}4[J_1(x-\alpha) + J_1(x+\alpha)]\\ + \frac{\alpha}4 \int_0^\alpha \frac{J_1(\beta)}{\beta}d\beta[J_0(x-\alpha+\beta) - J_0(x+\alpha-\beta)],\end{multlined} \] \[ \sum_{1,3,\dots}^\infty J_{n+1}(\alpha)J_n(x) = \frac14 \int_0^\alpha \frac{J_1(\beta)}{\beta}d\beta[J_0(x-\alpha+\beta) - J_0(x+\alpha-\beta)], \] \[ J_{n+1}(\alpha) = \int_0^\alpha J_n(\alpha-\beta) \frac{J_1(\beta)}{\beta}d\beta, \] \[ \sum_{1,3,\dots}^\infty nJ_n(\alpha)J_n(x) = \frac{\alpha}4 \int_0^x J_0(x-\gamma)\left[\frac{J_1(\alpha-\gamma)}{\alpha-\gamma} + \frac{J_1(\alpha+\gamma)}{\alpha+\gamma}\right]d\gamma. \] Weiter ergibt sich unter andern: \[ \begin{aligned} \int_0^\alpha \frac{J_1(\beta)}{\beta}\sin\beta d\beta &= 1 - \cos\alpha J_0(\alpha) - \sin\alpha J_1(\alpha),\\ \int_0^\alpha \frac{J_1(\beta)}{\beta}\cos\beta d\beta &= \sin\alpha J_0(\alpha) - \cos\alpha J_1(\alpha).\end{aligned} \]