On contour integrals for the product of two Bessel functions. (Q2612239)

Durch Multiplikation der aus der erzeugenden Funktion \[ \exp\left(t-\frac{z^2}{4t}\right)=\sum\limits_{m=-\infty}^{+\infty} \left(\frac z2\right)^{-m}J_m(z)\,t^m \] hervorgehenden Integraldarstellungen ergibt sich zunächst die Formel \[ \begin{gathered} I_m(a)I_n(b)=\frac{a^mb^n}{2\pi i}\int\limits^{(0^+)} \frac{dt}{t^{m+1}(1-t)^{n+1}}\frac{J_{m+n}(T)}{T^{m+n}}\\ T=\sqrt{\left(\frac{a^2}t+\frac{b^2}{1-t}\right)}\qquad(m,n\text{ ganz}). \end{gathered} \] Diese läßt sich mit geeigneten Modifikationen (insbesondere Übergang zu Doppelschleifenwegen) auf beliebige Indices \(\mu\), \(\nu\), schließlich auch auf beliebige Zylinderfunktionen vom Index \(\mu\) bzw. \(\nu\) übertragen. Anwendungen: Explizite Berechnung der Koeffizienten in der Entwicklung von Integralen über Produkte \textit{Bessel}scher Funktionen nach Potenzen von Parametern, wie z. B. \[ \begin{gathered} \int\limits^{(0+)}J_\mu(-au)J_{\nu}(-bu)J_\varrho(-u)(-u)^{-\lambda}du= \mathfrak P(a,b),\\ \mathfrak R(\lambda)>1,\quad\mathfrak R(\mu+\nu)>0,\quad\mathfrak R(\mu+\nu+\varrho)>0, \quad a>0,\;b>0,\quad a+b<1; \end{gathered} \] Entwicklung des Produkts \(J_\mu(u)J_\nu(v)\;[u = zx,v = z(1 - x)]\) in eine Bilinearreihe mittels \textit{Bessel}scher Funktionen von \(z\) mit dem Index \(\equiv\mu+\nu\pmod1\) und gewisser hypergeometrischer Polynome in \(x\). -- Endlich wird noch der Fall der erzeugenden Funktion \(\exp (t-z^2t^{\lambda})\) (\(\lambda\) beliebig ganz) kurz behandelt, wodurch man insbesondere auf eine Integraldarstellung des Produkts zweier \textit{Hermite}scher Polynome \(H_m (a)\, H_n (b)\) geführt wird.