Formula:KLS:14.22:20

From DRMF
Jump to navigation Jump to search


( t ; q ) ( x t ; q ) \qHyperrphis 13 @ @ x t 0 , 0 , t q - a q x t = n = 0 ( - 1 ) n q \binomial n 2 ( q ; q ) n y n ( x ; a ; q ) t n q-Pochhammer-symbol 𝑡 𝑞 q-Pochhammer-symbol 𝑥 𝑡 𝑞 \qHyperrphis 13 @ @ 𝑥 𝑡 0 0 𝑡 𝑞 𝑎 𝑞 𝑥 𝑡 superscript subscript 𝑛 0 superscript 1 𝑛 superscript 𝑞 \binomial 𝑛 2 q-Pochhammer-symbol 𝑞 𝑞 𝑛 q-Bessel-polynomial-y 𝑛 𝑥 𝑎 𝑞 superscript 𝑡 𝑛 {\displaystyle{\displaystyle{\displaystyle\frac{\left(t;q\right)_{\infty}}{% \left(xt;q\right)_{\infty}}\,\qHyperrphis{1}{3}@@{xt}{0,0,t}{q}{-aqxt}=\sum_{n% =0}^{\infty}\frac{(-1)^{n}q^{\binomial{n}{2}}}{\left(q;q\right)_{n}}y_{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
y n subscript 𝑦 𝑛 {\displaystyle{\displaystyle{\displaystyle y_{n}}}}  : q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Bessel polynomial : http://drmf.wmflabs.org/wiki/Definition:qBessel

Bibliography

Equation in Section 14.22 of KLS.

URL links

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