§16.10 Expansions in Series of ${{}_{p}F_{q}}$ Functions

ⓘ

Keywords:: expansions in series of, generalized hypergeometric functions
Permalink:: http://dlmf.nist.gov/16.10
See also:: Annotations for Ch.16

The following expansion, with appropriate conditions and together with similar results, is given in Fields and Wimp (1961):

16.10.1		${{}_{p+r}F_{q+s}}\left({a_{1},\dots,a_{p},c_{1},\dots,c_{r}\atop b_{1},\dots,b% _{q},d_{1},\dots,d_{s}};z\zeta\right)=\sum_{k=0}^{\infty}\frac{{\left(\mathbf{% a}\right)_{k}}{\left(\alpha\right)_{k}}{\left(\beta\right)_{k}}(-z)^{k}}{{% \left(\mathbf{b}\right)_{k}}{\left(\gamma+k\right)_{k}}k!}{{}_{p+2}F_{q+1}}% \left({\alpha+k,\beta+k,a_{1}+k,\dots,a_{p}+k\atop\gamma+2k+1,b_{1}+k,\dots,b_% {q}+k};z\right){{}_{r+2}F_{s+2}}\left({-k,\gamma+k,c_{1},\dots,c_{r}\atop% \alpha,\beta,d_{1},\dots,d_{s}};\zeta\right).$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, ${\left(\NVar{a}\right)_{\NVar{n}}}$ : Pochhammer’s symbol (or shifted factorial), $!$ : factorial (as in $n!$ ), $p$ : nonnegative integer, $q$ : nonnegative integer, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.10.E1 Encodings: TeX, pMML, png See also: Annotations for §16.10 and Ch.16

Here $\alpha$ , $\beta$ , and $\gamma$ are free real or complex parameters.

The next expansion is given in Nørlund (1955, equation (1.21)):

16.10.2		${{}_{p+1}F_{p}}\left({a_{1},\dots,a_{p+1}\atop b_{1},\dots,b_{p}};z\zeta\right% )=(1-z)^{-a_{1}}\sum_{k=0}^{\infty}\frac{{\left(a_{1}\right)_{k}}}{k!}{{}_{p+1% }F_{p}}\left({-k,a_{2},\dots,a_{p+1}\atop b_{1},\dots,b_{p}};\zeta\right)\left% (\frac{z}{z-1}\right)^{k}.$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, ${\left(\NVar{a}\right)_{\NVar{n}}}$ : Pochhammer’s symbol (or shifted factorial), $!$ : factorial (as in $n!$ ), $p$ : nonnegative integer, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.10.E2 Encodings: TeX, pMML, png See also: Annotations for §16.10 and Ch.16

When $|\zeta-1|<1$ the series on the right-hand side converges in the half-plane $\Re z<\frac{1}{2}$ .

Expansions of the form $\sum_{n=1}^{\infty}(\pm 1)^{n}{{}_{p}F_{p+1}}\left(\mathbf{a};\mathbf{b};-n^{2% }z^{2}\right)$ are discussed in Miller (1997), and further series of generalized hypergeometric functions are given in Luke (1969b, Chapter 9), Luke (1975, §§5.10.2 and 5.11), and Prudnikov et al. (1990, §§5.3, 6.8–6.9).

§16.10 Expansions in Series of Fqp Functions

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier! Saves Data!

§16.10 Expansions in Series of ${{}_{p}F_{q}}$ Functions