DLMF:16.12.E3 (Q5945): Difference between revisions

From MaRDI portal
Changed an Item: Add constraint
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: alternatively F q p ( a ; b ; z ) or F q p ( a b ; z ) generalized hypergeometric function / rank
 
Normal rank
Property / Symbols used: alternatively F q p ( a ; b ; z ) or F q p ( a b ; z ) generalized hypergeometric function / qualifier
 
DLMF defining formula:

F q p ( a 1 , , a p ; b 1 , , b q ; z ) Gauss-hypergeometric-pFq 𝑝 𝑞 subscript 𝑎 1 subscript 𝑎 𝑝 subscript 𝑏 1 subscript 𝑏 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots% ,a_{p}};\NVar{b_{1},\dots,b_{q}};\NVar{z}\right)}}

\genhyperF{\NVar{p}}{\NVar{q}}@{\NVar{a_{1},\dots,a_{p}}}{\NVar{b_{1},\dots,b_{q}}}{\NVar{z}}
Property / Symbols used: alternatively F q p ( a ; b ; z ) or F q p ( a b ; z ) generalized hypergeometric function / qualifier
 
xml-id: C16.S2.m1abdec

Revision as of 23:22, 21 December 2021

No description defined
Language Label Description Also known as
English
DLMF:16.12.E3
No description defined

    Statements

    ( F 1 2 ( a , b c ; z ) ) 2 = k = 0 ( 2 a ) k ( 2 b ) k ( c - 1 2 ) k ( c ) k ( 2 c - 1 ) k k ! F 3 4 ( - 1 2 k , 1 2 ( 1 - k ) , a + b - c + 1 2 , 1 2 a + 1 2 , b + 1 2 , 3 2 - k - c ; 1 ) z k , superscript Gauss-hypergeometric-F-as-2F1 𝑎 𝑏 𝑐 𝑧 2 superscript subscript 𝑘 0 Pochhammer 2 𝑎 𝑘 Pochhammer 2 𝑏 𝑘 Pochhammer 𝑐 1 2 𝑘 Pochhammer 𝑐 𝑘 Pochhammer 2 𝑐 1 𝑘 𝑘 Gauss-hypergeometric-pFq 4 3 1 2 𝑘 1 2 1 𝑘 𝑎 𝑏 𝑐 1 2 1 2 𝑎 1 2 𝑏 1 2 3 2 𝑘 𝑐 1 superscript 𝑧 𝑘 {\displaystyle{\displaystyle\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},}}
    0 references
    | z | < 1 𝑧 1 {\displaystyle{\displaystyle|z|<1}}
    0 references
    F 1 2 ( a , b ; c ; z ) Gauss-hypergeometric-F-as-2F1 𝑎 𝑏 𝑐 𝑧 {\displaystyle{\displaystyle{{}_{2}F_{1}}\left(\NVar{a},\NVar{b};\NVar{c};% \NVar{z}\right)}}
    C16.S2.m5aadec
    0 references
    F q p ( a 1 , , a p ; b 1 , , b q ; z ) Gauss-hypergeometric-pFq 𝑝 𝑞 subscript 𝑎 1 subscript 𝑎 𝑝 subscript 𝑏 1 subscript 𝑏 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots% ,a_{p}};\NVar{b_{1},\dots,b_{q}};\NVar{z}\right)}}
    C16.S2.m1abdec
    0 references

    Identifiers