Integrals for the product of two Bessel functions. I, II. (Q2621633)

I. Die Verf, stellen Produkte zweier \textit{Bessel}schen Funktionen mit verschiedenen Werten \(Z\neq z\) der Unabhängigen durch Integrale dar; von diesen seien genannt: \[ \begin{gathered} K_{\mu }(Z)K_{\nu }(z)=\int \limits _{-\infty }^{+\infty } e^{-(\mu -\nu )t}\left ( \frac {Ze^t+ze^{-t}}{Ze^{-t}+ze^t}\right ) ^ {\tfrac 12(\mu +\nu )} K_{\mu +\nu }[(Z^2+z^2+2Zz\text{ch}2t)^{\tfrac 12}]dt,\tag{1}\\ 2\pi J_{\mu }(X)J_{\nu }(x) \tag{2}\\ =\int \limits _{-\pi }^{+\pi }e^{\nu i\varphi }\left ( \frac {X-xe^{-i\varphi }}{X-xe^{i\varphi }}\right ) ^{\tfrac 12(\mu +\nu )} [\cos \nu \pi J_{\mu +\nu }(\omega )- \sin \nu \pi Y_{\mu +\nu }(\omega )]d\varphi \\ -2\sin \nu \pi \int \limits _{0}^{\infty }e^{-\nu u} \left (\frac {X+xe^{u}}{X+xe^{-u}}\right ) ^{\tfrac 12(\mu +\nu )} [\cos \nu \pi J_{\mu +\nu }(\varOmega )- \sin \nu \pi Y_{\mu +\nu }(\varOmega )]du. \end{gathered} \] Dabei werden außer den üblichen Zeichen die Abkürzungen \[ \omega =(X^2+x^2-2Xx\cos \varphi )^{\tfrac 12}, \quad \varOmega =(X^2+x^2+2Xx\text{ch}u)^{\tfrac 12} \] benutzt. (1) gilt, wenn \(\mathfrak R(Z)>0\) und \(\mathfrak R(z)>0\), und bei gewissen Einschränkungen auch, wenn \(\mathfrak R(Z)\) und \(\mathfrak R(z)\) verschwinden. (2) ist in Kraft, wenn \(X,x\) beide reell sind, \(X>x\) und \(\mathfrak R(\mu -\nu )<\dfrac 12\) ist. Die Verf. gewinnen (1) z. B. in dem Falle, daß\ \(Z,z\) beide reell, indem sie die Integraldarstellung \[ K_{\nu }(z)=\frac 12\int \limits _{-\infty }^{+\infty } e^{-z\text{ch}t-\nu t}dt \qquad (| \arg z| <\frac 12 \pi ) \] mit der entsprechenden der Größe \(K_{\mu }(Z)\) vervielfachen. Um (2) zu beweisen, benutzen sie die in (1) enthaltenen Integraldarstellungen von \(K_{\mu }(iX)K_{\nu }(ix)\), \newline \(K_{\mu }(iX)K_{\nu }(-ix)\), deren zweite sie durch ``Vermehrung des Arguments um \(\dfrac 12\pi \)'' (vgl. F. d. M. \(56_{\text{I}}\) (1930), 314-315) umformen; ferner ziehen sie dazu die Formeln heran: \[ J_{\nu }(x)\pm iY_{\nu }(x)=\frac {2}{\pm \pi i} e^{\mp \tfrac 12\nu \pi i}K_{\nu }(\mp ix). \] II. Den ersten Teil der Arbeit ergänzend, drücken die Verf. z. B. folgende Produkte \textit{Bessel}scher Funktionen durch Integrale aus: \[ \begin{gathered} K_{\mu }(X)J_{\nu }(x)=\int \limits _{\alpha }^{\infty } e^{-\omega _2}J_{\mu +\nu }(\varLambda _2)du,\\ J_{\mu }(X)K_{\nu }(x)=2\int \limits _{0}^{\alpha } \text{ch}\omega _1J_{\mu +\nu }(\varLambda _1)du+ \int \limits _{\alpha }^{\infty }e^{\omega _2}J_{\mu +\nu }(\varLambda _2)du. \end{gathered} \] Dabei ist der Sinn der Zeichen: \[ \alpha =\frac 12\log \frac {X}{x} \] ist \(X>x\) und \(1\leqq e^{2u}\leqq Xx^{-1}\), so setzt man \[ \varLambda _1=(X^2+x^2-2Xx\text{ch}2u)^{\tfrac 12}, \quad e^{\omega _1}=e^{2\nu u}\left ( \frac {X-xe^{-2u}}{X-xe^{2u}}\right ) ^{\tfrac 12(\mu +\nu )}; \] ist \(X>x\) und \(e^{2u}\geqq Xx^{-1}\), so setzt man \[ \varLambda _2=(2Xx\text{ch}2u-X^2-x^2)^{\tfrac 12}, \quad e^{\omega _2}=e^{2\nu u}\left ( \frac {X-xe^{-2u}}{xe^{2u}-X}\right ) ^{\tfrac 12(\mu +\nu )}. \]