Neue Integraldarstellungen aus der Theorie der Whittakerschen und Hankelschen Funktionen. (Q2607731)

Verf. setzt seine früheren Untersuchungen (Nieuw Arch. Wiskunde (2) 18\(_{\text{II}}\) (1934), 35-57; Proc. London math. Soc. (2) 40 (1935), 1-22; Quart. J. Math. (Oxford Ser.) 6 (1935), 241-248; Nieuw Arch. Wiskunde (2) 18\(_{\text{IV}}\) (1936), 10-39; JFM 60.0304.*-305; 61\(_{\text{I}}\), 396, 404; 62\(_{\text{I}}\), 421-422) fort und leitet für die \textit{Whittaker}schen Funktionen \(W_{k,m}(z)\) und Produkte aus ihnen sowie für Produkte aus den \textit{Hankel}schen Funktionen \(H_\nu ^{(1)}(z)\), \(H_\nu ^{(2)}(z)\) und den Funktionen \(K_\nu \,(z)=\frac {1}{2}\,\pi \,ie^{\frac {1}{2}\nu \pi i}\,H_\nu ^{(1)}(z)\, (ze^{\frac {1}{2}\pi i})\) eine große Anzahl meistens neuer Integralformeln ab, indem er den folgenden Satz spezialisiert: Es ist \[ \varPhi _n (a_1,\ldots,a_{n+1};\,r_1,\ldots,r_{n-2};\,z) = \sum _{h=1}^{n+1}\,\frac { \prod _{ \underset { j\neq h}{j=1}}^{n+1}\,\varGamma \,(a_j-a_h)} {\varGamma \,(1-a_h)\, \prod _{j=1}^{n-2}\varGamma \,(r_j-a_h)}\,z^{2a_h} \] \[ \begin{multlined} \times _{n-1}F_n (a_h,\,1+c_h-r_1,\ldots,1+a_h-r_{n-2};\;1+a_h-a_1,\ldots,\;\;\\ 1+a_h-a_{h-1},\;1+a_h-a_{h+1},\ldots,\;1+a_h-a_{n+1};\,z^2) \end{multlined} \] \[ =-\frac {2z^{\alpha +\beta }\, \prod _{j=1}^{n+1}\varGamma \,(a_j)} {\pi i\varGamma (\alpha )\,\varGamma (\beta )\, \prod _{j=1}^{n-2}\varGamma \,(r_j)}; \] dabei ist angenommen: \(n=2,3,4,\ldots ;\) \ \(z\neq 0\), \(-\dfrac {\pi }{2} <\) arg \(z<\dfrac {\pi }{2}\); \(r_j\neq 0,-1,-2,\ldots \) \ \((j=1,2,\ldots,n-2)\), \(a_j\neq 0,-1,-2,\ldots \) \ \((j=1,2,\ldots,n+1)\); \(a_j-a_h\) \ nicht ganz \ \((j=1,2,\ldots,n+1;\;h=1,2,\ldots,n+1;\;j\neq h)\); \(\alpha, \beta \neq 0,-1,-2,\cdots \). \noindent Die Richtigkeit des Satzes folgt aus dem Zusammenhang, der zwischen den rechts und links stehenden Funktionen und der vom Verf. früher durch eine Integraldarstellung eingeführten Funktion \(\varPsi (z)\) (Proc. London math. Soc. 40 (1935), 1-22; JFM 61.0396.*) besteht; sowohl die rechte wie die linke Seite ist gleich \(\varPsi \,(ze^{\frac {1}{2}i\pi })-\varPsi \,(ze^{-\frac {1}{2}i\pi })\). Die Funktionen \(W_{k,m}\,(z)\), \(W_{k,m}\,(z)\cdot W_{-k,m}\,(z)\), \(K_\nu (z)\), \(K_\mu (z)\) lassen sich durch die Funktion \(\varPhi _3\) bei bestimmter Wahl der \(a_j\), \(a_k\) ausdrücken; so ergeben sich sechs Integraldarstellungen, die im Satz 2 angeführt sind, wie z. B. \[ \begin{aligned} &\;K_\nu (z)\,K_\mu (z) =\dfrac {\pi i\,z^{\alpha +\beta -1}} {\varGamma (\alpha )\,\varGamma (\beta )\cos\,\Bigl(\dfrac {\nu +\mu }{2}\pi \Bigr) \cos\,\Bigl(\dfrac {\nu -\mu }{2}\pi \Bigr)}\, \int\limits _\infty ^{(1+)} v^{\alpha +\beta -1}\,K_{\alpha -\beta }\,(2zv)\\ &\times\,_{4}\,F_3\,\Biggl(\dfrac {1+\nu +\mu }{2},\;\dfrac {1+\nu -\mu }{2},\;\dfrac {1-\nu +\mu }{2},\;\dfrac {1-\nu -\mu }{2};\;\dfrac {1}{2}, \alpha, \beta ;\,v^2\Biggr)\,dv, \end{aligned} \] \[ \nu +\mu \neq \pm 1,\,\pm 3,\,\pm 5,\cdots . \] Die weiteren Integralausdrücke hängen zusammen mit den Funktionen \(P_n^m(v)\) und \(S_n^m(v)=e^{\pm\frac {1}{2}m\pi i}\) \(P_n^m(v)\); es sei z. B. erwähnt: \[ W_{k,m}(z)=\sqrt {\dfrac {2}{\pi }}\,z^{\frac {1}{2}}\,e^{\frac {z}{2}}\, \int\limits _1^\infty v^{k-\frac {1}{2}}\,K_m(zv)\,(v^2-1)^{-\frac {k}{2}-\frac {1}{2}}\, I_{m-\frac {1}{2}}^{k+1}\,(v)\,dv,\;\mathfrak R(k)<0, \] \[ K_\nu (z)\,K_\mu (z)=\sqrt {\dfrac {\pi }{2}}\,\frac {iz^{-\mu }} {2^mu \cos\,(\nu\pi )}\,\int\limits _\infty ^{(1+)} v^{-\mu }\,K_\nu \,(2zv)\;(1-v^2)^{-\frac {\mu }{2}-\frac {1}{4}}\, S_{\nu -\frac {1}{2}} ^{\mu +\frac {1}{2}}(-v)\,dv \] \[ \Bigl( \nu -\frac {1}{2} \text{ \;nicht ganz \;} -\frac {\pi }{2} < \text{arg\,}z < \frac {\pi }{2}\Bigr), \] \[ H_\nu ^{(1)}(z)\,H_\nu ^{(2)}(z)= \frac {8z}{\pi }\, \int\limits _0^{\infty e^{i\sigma }} K_{2\lambda } (2zv)\, P_{\nu -\frac {1}{2}}^{-\lambda }\,(\sqrt {1+v^2})\, P_{\nu -\frac {1}{2}}^\lambda \,(\sqrt {1+v^2})\,v\,dv,\;|\mathfrak R (\lambda )|<1. \]