Formula:KLS:14.20:17

From DRMF
Jump to navigation Jump to search


( t ; q ) ( x t ; q ) \qHyperrphis 01 @ @ - a q q a q x t = n = 0 ( - 1 ) n q \binomial n 2 ( q ; q ) n p n ( x ; a ; q ) t n q-Pochhammer-symbol 𝑡 𝑞 q-Pochhammer-symbol 𝑥 𝑡 𝑞 \qHyperrphis 01 @ @ 𝑎 𝑞 𝑞 𝑎 𝑞 𝑥 𝑡 superscript subscript 𝑛 0 superscript 1 𝑛 superscript 𝑞 \binomial 𝑛 2 q-Pochhammer-symbol 𝑞 𝑞 𝑛 little-q-Laguerre-Wall-polynomial-p 𝑛 𝑥 𝑎 𝑞 superscript 𝑡 𝑛 {\displaystyle{\displaystyle{\displaystyle\frac{\left(t;q\right)_{\infty}}{% \left(xt;q\right)_{\infty}}\,\qHyperrphis{0}{1}@@{-}{aq}{q}{aqxt}=\sum_{n=0}^{% \infty}\frac{(-1)^{n}q^{\binomial{n}{2}}}{\left(q;q\right)_{n}}p_{n}\!\left(x;% a;q\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

( a ; q ) n subscript 𝑎 𝑞 𝑛 {\displaystyle{\displaystyle{\displaystyle(a;q)_{n}}}}  : q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Pochhammer symbol : http://dlmf.nist.gov/5.18#i http://dlmf.nist.gov/17.2#SS1.p1
ϕ s r subscript subscript italic-ϕ 𝑠 𝑟 {\displaystyle{\displaystyle{\displaystyle{{}_{r}\phi_{s}}}}}  : basic hypergeometric (or q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -hypergeometric) function : http://dlmf.nist.gov/17.4#E1
Σ Σ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
( n k ) binomial 𝑛 𝑘 {\displaystyle{\displaystyle{\displaystyle\genfrac{(}{)}{0.0pt}{}{n}{k}}}}  : binomial coefficient : http://dlmf.nist.gov/1.2#E1 http://dlmf.nist.gov/26.3#SS1.p1
p n subscript 𝑝 𝑛 {\displaystyle{\displaystyle{\displaystyle p_{n}}}}  : little q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Laguerre / Wall polynomial : http://drmf.wmflabs.org/wiki/Definition:littleqLaguerre

Bibliography

Equation in Section 14.20 of KLS.

URL links

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