Some integrals involving Legendre and Bessel functions. (Q2586650)

Verf. leitet zunächst für die drei Integrale \[ \begin{multlined} \int\limits_0^\infty (\sinh\, u)^{l+m-1}(x^2\cosh^2\, u 1)^{\tfrac{-m}{2}}\begin{cases} Q_n^m & (x\,\cosh\, u)\,du \\ P_n^{-m} & (x\,\cosh\, u)\,du \end{cases} \\ \text{für }\begin{cases} |x|>1, \mathfrak{R}(l + m)>0, \;\mathfrak{R}(n - l + 2)>0, \\ \left|1-\dfrac{1}{x^2}\right|<1, \;\mathfrak{R}(l + m)>0, \;\mathfrak{R}(n - l + 2)>0, \;\mathfrak{R}(1 - l-n)>0, \end{cases} \\ \int\limits_0^\pi (\sin\,\vartheta)^{l+m-1}(1x^2\cos^2\,\vartheta)^{-\tfrac{m}{2}}T_n^{-m} (x\cos\,\vartheta)\, d\vartheta \text{ für } |x|<1, \;\mathfrak{R}(l + m) > 0, \qquad \end{multlined} \] Ausdrücke in hypergeometrischen Funktionen ab. Indem er für \(P_n^{-m}(z)\), \(Q_n^m(z)\) die Darstellungen mittels \(\displaystyle \int\limits_0^\infty e^{-\lambda z}K_{n+\frac{1}{2}}(\lambda)\lambda^{m-\frac{1}{2}}\,d\lambda\), \(\displaystyle \int\limits_0^\infty e^{-\lambda z}J_{n+\frac{1}{2}}(\lambda)\lambda^{m-\frac{1}{2}}\,d\lambda\) anwendet, gewinnt er für die Integrale \(\displaystyle \int\limits_0^\infty K_m(x\lambda)K_n(\lambda)\lambda^{l-1}\,d\lambda\), \(\displaystyle \int\limits_0^\infty K_m(\lambda x)J_n(\lambda)\lambda^{l-1}\,d\lambda\) Ausdrücke mit hypergeometrischen Funktionen. In analoger Weise werden die Integrale \[ \int\limits_1^\infty e^{-x\lambda}(\lambda -1)^{l-1} (\lambda^2 -1)^\tfrac{m}{2}\begin{cases} P_n^{-m}&\!\!\!\!\!(\lambda)\,d\lambda, \\ Q_n^m&\!\!\!\!\!(\lambda)\,d\lambda,\end{cases} \quad \int\limits_0^\infty e^{-\mu}\mu^{m-\frac{1}{2}}(x+\mu)^{-1} \begin{cases} K_{n+\frac{1}{2}}&\!\!\!\!\!(\mu)\,d\mu, \\ J_{n+\frac{1}{2}}&\!\!\!\!\!(\mu)\,d\mu,\end{cases} \] durch \(E\)-Funktionen dargestellt. Aus dem dritten der obigen Integrale wird für \(\displaystyle \int\limits_0^\infty K_n(\lambda)(x-\lambda)^{-m}J_m(x-\lambda)\lambda^{m-1}\,d\lambda\) ein Ausdruck gewonnen, der ebenfalls die \(E\)-Funktion enthält.