Formula:KLS:09.04:21

From DRMF
Jump to navigation Jump to search


( 1 - t ) 1 - a - b - c - d \HyperpFq 32 @ @ 1 2 ( a + b + c + d - 1 ) , 1 2 ( a + b + c + d ) , a + i x a + c , a + d - 4 t ( 1 - t ) 2 = n = 0 ( a + b + c + d - 1 ) n ( a + c ) n ( a + d ) n i n p n ( x ; a , b , c , d ) t n superscript 1 𝑡 1 𝑎 𝑏 𝑐 𝑑 \HyperpFq 32 @ @ 1 2 𝑎 𝑏 𝑐 𝑑 1 1 2 𝑎 𝑏 𝑐 𝑑 𝑎 imaginary-unit 𝑥 𝑎 𝑐 𝑎 𝑑 4 𝑡 superscript 1 𝑡 2 superscript subscript 𝑛 0 Pochhammer-symbol 𝑎 𝑏 𝑐 𝑑 1 𝑛 Pochhammer-symbol 𝑎 𝑐 𝑛 Pochhammer-symbol 𝑎 𝑑 𝑛 imaginary-unit 𝑛 continuous-Hahn-polynomial 𝑛 𝑥 𝑎 𝑏 𝑐 𝑑 superscript 𝑡 𝑛 {\displaystyle{\displaystyle{\displaystyle(1-t)^{1-a-b-c-d}\,\HyperpFq{3}{2}@@% {\frac{1}{2}(a+b+c+d-1),\frac{1}{2}(a+b+c+d),a+\mathrm{i}x}{a+c,a+d}{-\frac{4t% }{(1-t)^{2}}}{}=\sum_{n=0}^{\infty}\frac{{\left(a+b+c+d-1\right)_{n}}}{{\left(% a+c\right)_{n}}{\left(a+d\right)_{n}}{\mathrm{i}^{n}}}p_{n}\!\left(x;a,b,c,d% \right)t^{n}}}}

Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

Symbols List

F q p subscript subscript 𝐹 𝑞 𝑝 {\displaystyle{\displaystyle{\displaystyle{{}_{p}F_{q}}}}}  : generalized hypergeometric function : http://dlmf.nist.gov/16.2#E1
i i {\displaystyle{\displaystyle{\displaystyle\mathrm{i}}}}  : imaginary unit : http://dlmf.nist.gov/1.9.i
Σ Σ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
( a ) n subscript 𝑎 𝑛 {\displaystyle{\displaystyle{\displaystyle(a)_{n}}}}  : Pochhammer symbol : http://dlmf.nist.gov/5.2#iii
p n subscript 𝑝 𝑛 {\displaystyle{\displaystyle{\displaystyle p_{n}}}}  : continuous Hahn polynomial : http://dlmf.nist.gov/18.19#P2.p1

Bibliography

Equation in Section 9.4 of KLS.

URL links

We ask users to provide relevant URL links in this space.