Umformung gewisser Reihen, deren Glieder Produkte hypergeometrischer Funktionen sind. (Q2580690)

Unter den vom Verf. gefundenen Umformungen der in der Überschrift genannten Reihen treten vor allem drei Formeln \(\mathfrak F\) hervor, deren erste lautet \[ \begin{aligned} &\sum_{n=0}^\infty\binom{k}{n}s^nF(-n, b; c; z)F(-n, \beta; \gamma; \zeta)= (1+s)^k\sum_{n=0}^\infty\binom{k}{n}\biggl[\dfrac{z\zeta s}{(1+s)^2}\biggr]^n\tag{1}\\ &\times \dfrac{(b)_n(\beta)_n}{(c)_n(\gamma)_n}F \biggl(n-k, b+n; c+n; \dfrac{sz}{1+s}\biggr)F\biggr(n-k, \beta+n; \gamma+n; \dfrac{s\zeta}{1+s}\biggr) \end{aligned} \] [mit \((b)_n = \varGamma(b + n)/\varGamma(b)\) usw.]; die Bestimmung des Konvergenzbereiches deutet Verf. nur an. Der Weg, auf dem er zu \(\mathfrak F\) gelangt, ist folgender: Er geht von der Identität \(\mathfrak I\) aus \[ (t-z_2)(z-\zeta_2)+s(t-z_1)(\tau-\zeta_1) \dfrac{(z_3-z_2)(\zeta_3-\zeta_2)} {(z_3-z_1)(\zeta_3-\zeta_1)} \] \[ =A(t-z_3)(\tau-\zeta_3)+B(t-z)(\tau -\zeta), \] wo \(z_i\) und \(\zeta_i\) \((i = 1,\ldots,4)\) beliebige, nur Verschiedenheitsforderungen unterworfene Punkte der komplexen \(t\)- und \(\tau\)-Ebene bedeuten und \[ A = \dfrac{(z_2-z_1)\zeta_2-\zeta_1)}{(z_3-z_1)(\zeta_3-\zeta_1)} \dfrac{s}{1+s}, \] \[ B = \dfrac{[z_1-z_3+s(z_2-z_3)][\zeta_1-\zeta_3+s(\zeta_2-\zeta_3)]} {(z_3-z_1)(\zeta_3-\zeta_1)}\dfrac{1}{1+s}, \] \[ z=\dfrac{z_2(z_1-z_3)+sz_1(z_2-z_3)}{z_1-z_3+s(z_2-z_3)}, \quad \zeta=\dfrac{\zeta_2(\zeta_1-\zeta_3)+s\zeta_1(\zeta_2-\zeta_3)}{\zeta_1-\zeta_3+s(\zeta_2-\zeta_3)} \] ist. Er erhebt \(\mathfrak I\) in die \(k\)-te Potenz und entwickelt beiderseits nach dem binomischen Satze; ferner vervielfacht er mit \[ (t -z_1)^{p_1}(t -z_2)^{p_2-k}(t -z_3)^{p_3}(t-z_4)^{p_4} (\tau -\zeta_1)^{\pi_1}(\tau -\zeta_2)^{\pi_2-k} (\tau- \zeta_3)^{\pi_3}(\tau -\tau_4)^{\pi_4} \] und integriert, dann (gliedweise) auf geeigneten Bahnen \(C\) und \(\varGamma\) nach \(t\) und \(\tau\). Die entstehenden Integrale sind durch hypergeometrische Funktionen (h. F.) ausdrückbar, wenn \(\sum\limits_{i=1}^4 p_i+2 = \sum\limits_{i=1}^4 \pi_i+2= 0\) ist und aus den beiden Dreiheiten \(p_1, p_2 - k, p_4\) und \(\pi_1, \pi_2 - k,\pi_4\) von Exponenten gleichzeitig einer verschwindet. Man erhält dann z. B. (1) bei passender Wahl der \(z_i,\zeta_i\) und der Kurven \(C, \varGamma\) als Pochhammerscher Schleifen. -- Gewisse aus \(\mathfrak F\) durch Entartung der h. F. hervorgehende Formeln waren schon früher bekannt (\textit{Erdélyi}, Compositio math., Groningen, 6 (1939), 336-347; 7 (1939), 340-352; JFM 65.0297.*, 298). -- Für \(c = \gamma = - k\) läßt sich die rechte Seite von (1) auf geschlossene Form bringen: \[ \sum_{n=0}^\infty \binom{k}{n}s^nF(-n, b; -k; z)F(-n, \beta; -k; \zeta) \] \[ =(1+s)^{k+b+\beta}(1+s-sz)^{-b}(1+s-s\zeta)^{-\beta}F \biggl(b, \beta; -k; \dfrac{-z\zeta s}{(1+s-sz)(1+s-s\zeta)}\biggr). \] Diese Formel führt zu geschlossener Summierung einer bilinearen Reihe der Polynome \(P_n(x)\), die von der Funktion \[ \exp \biggl(\dfrac{x}{\alpha-\beta}\ln\dfrac{1-\beta t}{1-\alpha t}\biggr) \biggl[\dfrac{(1-\beta t)^{1/\beta}}{(1-\alpha t)^{1/\alpha}}\biggr]^{\varkappa/(\alpha -\beta)} =\sum _{n=0}^\infty P_n(x)\dfrac{t^n}{n!} \] erzeugt werden \((\varkappa < 0, \alpha + \beta \;\;\text{ reell},\;\;\alpha\beta \geqq0)\), und zu denen die Hermiteschen, Laguerreschen, Charlierschen Polynome gehören. Sie gelingt, weil \(P_n(x)\) in der Gestalt geschrieben werden kann \[ P_n(x)=n!\binom{\varkappa/\alpha\beta}{n} (-\beta)^nF \biggl(-n, \dfrac{x+\varkappa/\alpha}{\alpha-\beta}; \varkappa /\alpha \beta; 1-\dfrac{\alpha}{\beta}\biggr). \]