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, $z$ : 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, $z$ : 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},$
$\|z\|<1$ .
ⓘ 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 $n!$ ), $z$ : 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

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

§16.12 Products

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.