16 Generalized Hypergeometric Functions & Meijer G-Function Generalized Hypergeometric Functions 16.11 Asymptotic Expansions 16.13 Appell Functions

§16.12 Products

ⓘ

Keywords:: generalized hypergeometric functions, products
Notes:: See Erdélyi et al. (1953a, §4.3). For (16.12.1) see Bailey (1928). For (16.12.2) see Clausen (1828). For (16.12.3) see Chaundy (1969, Chapter 12, Problem 12).
Permalink:: http://dlmf.nist.gov/16.12
Addition (effective with 1.1.12):: Text was added above (16.12.2) indicating that this formula is often referred to as Clausen’s formula.
See also:: Annotations for Ch.16

16.12.1 ${{}_{0}F_{1}}\left(-;a;z\right){{}_{0}F_{1}}\left(-;b;z\right)={{}_{2}F_{3}}% \left({\frac{1}{2}(a+b),\frac{1}{2}(a+b-1)\atop a,b,a+b-1};4z\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, : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters
Referenced by:: (10.8.3), §10.8, §10.8, §16.12, Erratum (V1.0.17) for Section 10.8
Permalink:: http://dlmf.nist.gov/16.12.E1
Encodings:: TeX, pMML, png
See also:: Annotations for §16.12 and Ch.16

The following formula is often referred to as Clausen’s formula

16.12.2 $\left({{}_{2}F_{1}}\left({a,b\atop a+b+\frac{1}{2}};z\right)\right)^{2}={{}_{3% }F_{2}}\left({2a,2b,a+b\atop a+b+\frac{1}{2},2a+2b};z\right).$

ⓘ

Symbols:: ${{}_{2}F_{1}}\left(\NVar{a},\NVar{b};\NVar{c};\NVar{z}\right)$ : $=F\left(\NVar{a},\NVar{b};\NVar{c};\NVar{z}\right)$ notation for Gauss’ hypergeometric function, ${{}_{\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, : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters
Referenced by:: §16.12, §17.9(iii), Erratum (V1.1.12) for Subsection 17.9(iii)
Permalink:: http://dlmf.nist.gov/16.12.E2
Encodings:: TeX, pMML, png
See also:: Annotations for §16.12 and Ch.16

More generally,

16.12.3 $\left({{}_{2}F_{1}}\left({a,b\atop c};z\right)\right)^{2}=\sum_{k=0}^{\infty}% \frac{{\left(2a\right)_{k}}{\left(2b\right)_{k}}{\left(c-\frac{1}{2}\right)_{k% }}}{{\left(c\right)_{k}}{\left(2c-1\right)_{k}}k!}{{}_{4}F_{3}}\left({-\frac{1% }{2}k,\frac{1}{2}(1-k),a+b-c+\frac{1}{2},\frac{1}{2}\atop a+\frac{1}{2},b+% \frac{1}{2},\frac{3}{2}-k-c};1\right)z^{k},$

ⓘ

Symbols:: ${{}_{2}F_{1}}\left(\NVar{a},\NVar{b};\NVar{c};\NVar{z}\right)$ : $=F\left(\NVar{a},\NVar{b};\NVar{c};\NVar{z}\right)$ notation for Gauss’ hypergeometric function, ${{}_{\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 ), : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters
Referenced by:: §16.12
Permalink:: http://dlmf.nist.gov/16.12.E3
Encodings:: TeX, pMML, png
See also:: Annotations for §16.12 and Ch.16

For further identities see Goursat (1883) and Erdélyi et al. (1953a, §4.3).

16.11 Asymptotic Expansions 16.13 Appell Functions

Site Privacy Accessibility Privacy Program Copyrights Vulnerability Disclosure No Fear Act Policy FOIA Environmental Policy Scientific Integrity Information Quality Standards Commerce.gov Science.gov USA.gov