The generating function of Jacobi polynomials. (Q2596472)

Aus folgender Darstellung der erzeugenden Funktion der Jacobischen Polynome \[ \begin{gathered} \sum_{n=0}^\infty \frac{n!\,(\alpha+\beta+1)_n}{(\alpha+1)_n(\beta+1)_n} t^n P_n^{(\alpha,\beta)}(\cos2\varphi) P_n^{(a,\beta)} (\cos2\varPhi) \\ {}=(1+t)^{-\alpha-\beta-1} F_4\left[ \frac14(\alpha+\beta+1), \frac12(\alpha+\beta+2); \alpha+1, \beta+1; \frac{a^2}{k^2}, \frac{b^2}{k^2}\right] \end{gathered} \] mit \(a = \sin \varphi \sin \varPhi\), \(b = \cos\varphi \cos \varPhi\), \(k = \frac12 (t^{-\frac12} + t^{\frac12})\) wird mit Hilfe der Transformationsformel Appellscher hypergeometrischer Reihen \[ \begin{gathered} (1-x-y)^{-\varkappa} F_4\left(\frac12\varkappa,\frac12\varkappa+\frac12; \gamma,\gamma'; \frac{x^2}{(1-x-y)^2}, \frac{y^2}{(1-x-y)^2}\right) \\ {}= F_2(\varkappa;\gamma-\frac12,\gamma'-\frac12; 2\gamma-1,2\gamma'-1; 2x,2y) \end{gathered} \] die vom Ref. (J. London math. Soc. 12 (1937), 56-57; F. d. M. \(63_{\text{I}}\), 324) gewonnene Form der erzeugenden Funktion hergeleitet.