An infinite integral involving Bessel functions. (Q2620488)

Es wird gezeigt, daß sich das uneigentliche Itegral \[ \int _0^{\infty } J_{\mu } (at) J_{\nu }(bt) e^{-ct} dt, \] wo \(\mathfrak {R} (\mu + \nu +1)>0\) und \(\mathfrak {R} (c \pm ia \pm ib)>0\) für alle vier Zeichenkombinationen, als eigentliches Integral über eine elementare Funktion von freilich verwickeltem Bau schreiben läßt. Der beweisgang ist dieser: Nach Multiplikation der Potenzreihen für die auftretenden \textit{Bessel}funktionen wird für den reziproken Wert der \(B\)-Funktion in den Koeffizienten eine Integraldarstellung eingeführt (Integrationsveränderliche \(\vartheta \).) Alsdann liefert die Summation unter dem Integralzeichen im wesentlichen \(J_{\mu + \nu } (\beta t)\) \((\beta = \beta (\vartheta ))\), und nach Vertauschung der Integrationsreihenfolge wird das jetzt innere (uneigentliche) Integral vermöge einer \textit{Pincher}schen Formel für \(\int _0^{\infty } J_{\mu + \nu } (\beta t)e^{-ct}dt\) auswertbar. Das Ergebnis wird dann noch durch Einführung einer neuen Integrationsveränderlichen und Deformation des entstehenden (im Komplexen verlaufenden) Integrationswegs umgestaltet und schließlich zur Gewinnung eines entsprechenden Ausdrucks für \(\int _0^{\infty } J_{\mu } (at) J_{\nu } (bt) \begin{matrix} \cos \\ \sin \end{matrix} ktdt\) benutzt \((a>0, b>0, k>a+b, \mathfrak {R} (\mu + \nu +1) >0)\). Druckfehler: S. 18 ist unter dem von oben zweiten, S. 20 unter dem ersten Wurzelzeichen \(\beta ^2 + c^2\) statt \(\beta ^2\) zu schreiben.)