Formula:KLS:09.07:15

From DRMF
Jump to navigation Jump to search


( 1 - t ) - γ \HyperpFq 21 @ @ γ , λ + i x 2 λ ( 1 - e - 2 i ϕ ) t t - 1 = n = 0 ( γ ) n ( 2 λ ) n P n ( λ ) ( x ; ϕ ) e i n ϕ t n superscript 1 𝑡 𝛾 \HyperpFq 21 @ @ 𝛾 𝜆 imaginary-unit 𝑥 2 𝜆 1 2 imaginary-unit italic-ϕ 𝑡 𝑡 1 superscript subscript 𝑛 0 Pochhammer-symbol 𝛾 𝑛 Pochhammer-symbol 2 𝜆 𝑛 Meixner-Pollaczek-polynomial-P 𝜆 𝑛 𝑥 italic-ϕ imaginary-unit 𝑛 italic-ϕ superscript 𝑡 𝑛 {\displaystyle{\displaystyle{\displaystyle(1-t)^{-\gamma}\,\HyperpFq{2}{1}@@{% \gamma,\lambda+\mathrm{i}x}{2\lambda}{\frac{(1-{\mathrm{e}^{-2\mathrm{i}\phi}}% )t}{t-1}}{}=\sum_{n=0}^{\infty}\frac{{\left(\gamma\right)_{n}}}{{\left(2% \lambda\right)_{n}}}\frac{P^{(\lambda)}_{n}\!\left(x;\phi\right)}{{\mathrm{e}^% {\mathrm{i}n\phi}}}t^{n}}}}

Constraint(s)

γ 𝛾 {\displaystyle{\displaystyle{\displaystyle\gamma}}} arbitrary


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
e e {\displaystyle{\displaystyle{\displaystyle\mathrm{e}}}}  : the base of the natural logarithm : http://dlmf.nist.gov/4.2.E11
Σ Σ {\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 superscript 𝑃 𝛼 𝑛 {\displaystyle{\displaystyle{\displaystyle P^{(\alpha)}_{n}}}}  : Meixner-Pollaczek polynomial : http://dlmf.nist.gov/18.19#P3.p1

Bibliography

Equation in Section 9.7 of KLS.

URL links

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