Infinite integrals of Bessel functions. (Q2612237)

Es handelt sich um die Auswertung von Integralen der Form \[ \int\limits_{0}^{\infty}\lambda_0(a\sqrt t)f(t)\,dt, \] wo \[ \lambda_0(z)=-Y_0(z)+\frac2\pi K_0(z), \] nach verschiedenen Methoden. Die erste Methode geht aus von der Integraldarstellung \[ \lambda_0(z)=\frac1{2\pi i}\int\limits_{c-i\infty}^{c+i\infty} \left(\frac z4\right)^{4s-2} \left(\frac{\varGamma\left(\dfrac12-s\right)}{\varGamma(s)}\right)^2ds\qquad(z>0) \] bei geeignetem \(c\) und passendem Integrationswege; die Vertauschung der Integrationsfolge und die Anwendung einer Formel von \textit{Mellin} ermöglichen die Auswertung des Integrals. Auf diese Weise ergeben sich Formeln wie z. B. \medskip \hfill \( \begin{aligned} &\int\limits_{0}^{\infty}\lambda_0(a\sqrt t)\cos(2t)\,dt=\frac12\cos\frac{a^2}8,\\ &\int\limits_{0}^{\infty}\lambda_0(a\sqrt t)K_0(bt)\,dt=\frac1bK_0 \left(\frac{a^2}{4b}\right)\qquad(a>0,\,b>0),\\ &\int\limits_{0}^{\infty}\lambda_0(a\sqrt t)K_{-\frac12}(bt)\,dt= -\frac1{b\sqrt\pi}e^{-\tfrac{a^2}{4b}}. \end{aligned}\qquad \)\medskip \noindent Die zweite Methode schließt an bekannte Integrale wie z. B. \[ \int\limits_{0}^{\infty}\frac{I_\mu(bt)K_\nu(a\sqrt{t^2+z^2})}{(t^2+z^2)^{\tfrac\nu2}} t^{\mu+1}\,dt=\frac{b^\mu}{a^\nu}\left(\frac{\sqrt{a^2+b^2}}z\right)^{\nu-\mu-1} K_{\nu-\mu}(z\sqrt{a^2+b^2}) \] an; die dritte Methode kombiniert das Integral \[ \int\limits_{0}^{\infty}\big(K_0(at)+K_0(-ati)\big)\,(z^2-t^2)^\mu dt \] und das aus ihm folgende, wenn man \(\arg t\) um \(\dfrac\pi2\) zunehmen läßt, sowie das Ergebnis für \(a\) und \(ai\) und liefert Formeln, die noch verallgemeinert werden. (Vgl. \textit{G. N. Watson}, A treatise on the theory of \textit{Bessel} functions (Cambridge, 1922; F. d. M. 48, 412 (JFM 48.0412.*)), p. 434 ff.)