Some series of squares of Bessel functions. (Q1833702)

Verf. gibt (rein formal) einige weitere Beispiele für die Darstellung von Funktionen durch die Quadrate der \textit{Bessel}funktionen, die nach \textit{C. Neumann} allgemein aus \[ \begin{gathered} \frac 1{y^2-x^2}=\sum_{\nu=0}^\infty \varepsilon_\nu I_\nu^2(x)\varOmega_\nu(y),\quad |x|<|y|, \\ \varepsilon_0=1, \;\varepsilon_1=\varepsilon_2= \cdots =2;\quad \varOmega_\nu(y)\quad \text{Polynom von}\quad \frac 1y, \end{gathered} \] folgt. Die Entwicklungen beziehen sich zuerst auf Funktionen von der Form \(z^{-\lambda}I_\nu(2z)\) für spezielle Werte von \(\lambda\), wie z. B. \[ z^{-\frac 12}I_{2\nu+1}(2z)=-\frac{\varGamma(\nu+1)}{\varGamma(\nu+\frac 12)} \sum_{n=0}^\infty(\nu+n)\frac{\varGamma(2\nu+n)\varGamma(n-\frac 12)} {n!\varGamma(2\nu+n+\frac 32)}I_{\nu+n}^2(z), \] woraus für \(\nu \to 0\) \[ \frac{\sin 2z}{2z}=I_0^2(0)-2\sum_{n=1}^\infty \frac {I_0^2(z)}{4n^2-1} \] kommt. Hieraus ergeben sich für reelle positive \(z\) Ungleichungen wie z. B. \[ I_0^2(z)\geqq\frac{\sin 2z}{2z}. \] Hernach wird allgemeiner die Entwicklung \[ \frac{I_\lambda(2z\sin \frac 12\varPhi)}{(2z\sin \frac 12\varPhi)^\lambda}= 2^{2\nu-\lambda}\varGamma(\nu)\varGamma(\nu+1)\sum_{n=0}^\infty (\nu+n) \left\{\frac{I_{\nu+n}(z)}{z^\nu}\right\}^2C_n^\nu(\cos\varPhi,\lambda) \] abgeleitet, wo \(C_n^\nu(\cos \varPhi,\lambda)\) für \(\lambda =\nu\) in die \textit{Gegenbauer}sche Funktion \(C_n^\nu(\cos\varPhi)\) übergeht.