Formula:KLS:14.12:41

From DRMF
Jump to navigation Jump to search


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

ϕ 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
( 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
p n subscript 𝑝 𝑛 {\displaystyle{\displaystyle{\displaystyle p_{n}}}}  : little q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Legendre polynomial : http://drmf.wmflabs.org/wiki/Definition:littleqLegendre

Bibliography

Equation in Section 14.12 of KLS.

URL links

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