Integrals expressing products of Bessel's functions. (Q572955)

Verf. geht aus von einem von \textit{Mellin} (1896; F. d. M. 28, 296 (JFM 28.0296.*)) stammenden Satz, den er in der folgenden Form ausspricht: Sind \(f_1\), \(f_2\), \(g_1\) \(g_2\) Polynome mit konstanten Koeffizienten, \(m\) eine positive ganze Zahl und \(\delta \) der Operator \(z\dfrac{d}{dz}\), so wird die Differentialgleichung \[ \displaylines{\rlap{\qquad\!(1)} \hfill f_1(\delta )\;f_2(\delta )\;y=z^mg_1(\delta ) g_2(\delta )\;y \hfill} \] durch das bestimmte Integral \[ \displaylines{\rlap{\qquad\!(2)} \hfill y=\int\varphi \fracwithdelims(){z}{t}\, \psi (t)\frac{dt}{t} \hfill} \] erfüllt, wenn \(\varphi \) und \(\psi \) Lösungen der Gleichungen \[ \displaylines{\rlap{\qquad\!(3)} \hfill f_1(\delta )\,\varphi =z^m g_1(\delta )\,\varphi,\;\;f_2(\delta )\,\psi =z^m g_2(\delta )\,\psi \hfill} \] sind und die Grenzen des Integrals (2) geeignet gewählt werden. Diesen Satz wendet Verf. auf Integrale für Paare von \textit{Bessel}schen Funktionen an, indem er voraussetzt, daß ihre Ordnungen \(\mu \), \(\nu \) nicht ganzzahlig sind. Die Produkte von Paaren von \textit{Bessel}schen Funktionen genügen nach \textit{Watson} (A treatise on the theory of Bessel's functions (1922; F. d. M. 48, 412 (JFM 48.0412.*)-415), p. 146) den Differentialgleichungen \[ \begin{aligned} \rlap{\quad(4)} \hfill\qquad\qquad&(\delta ^2-(\mu +\nu )^2)\; (\delta ^2-(\mu -\nu )^2) J_{\pm\mu }J_{\pm\nu }=-4z^2\,(\delta +1)\,(\delta +2) J_{\pm\mu }J_{\pm\nu },\hfill\\ \rlap{\quad(5)} \hfill\qquad\qquad&(\delta ^2-(\mu +\nu )^2)\; (\delta ^2-(\mu -\nu )^2) \,I_{\pm\mu }I_{\pm\nu }=+4z^2\,(\delta +1)\,(\delta +2) \,I_{\pm\mu }I_{\pm\nu }. \hfill\\ \end{aligned} \] Verf. erhält eine Reihe von Formeln, unter denen nur die folgenden genannt seien: \[ \displaylines{\rlap{\qquad\!(6)} \hfill \frac{\pi }{2}I_\mu (z)\,I_\nu (z)= \int\limits_{0}^{\tfrac{\pi }{2}}I_{\mu +\nu }(2z\,\cos\,u)\, \cos\,(\mu -\nu )\,u\,du \hfill} \] für \(\mathfrak R(\mu +\nu +1)>0\), und genau so für \(J\) statt \(I\). \[ \displaylines{\rlap{\qquad\!(7)} \hfill I_\nu ^2(z)=\frac{2z^\nu }{\sqrt{\pi }\varGamma (\nu +\frac{1}{2})}\int\limits_{0}^{\tfrac{\pi }{2}} I_\nu (2z\,\sin\,u)\,\sin^{\,\nu} u\,\cos^{\,2\nu }u\,du \hfill} \] für \(\mathfrak R(\nu )>\tfrac{1}{2}\), und genau so für \(J\) statt \(I\). (IV 9.)