Formula:KLS:14.23:03

From DRMF
Revision as of 00:33, 6 March 2017 by imported>SeedBot (DRMF)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


x = 0 a x ( q ; q ) x q \binomial x 2 C m ( q - x ; a ; q ) C n ( q - x ; a ; q ) = q - n ( - a ; q ) ( - a - 1 q , q ; q ) n δ m , n superscript subscript 𝑥 0 superscript 𝑎 𝑥 q-Pochhammer-symbol 𝑞 𝑞 𝑥 superscript 𝑞 \binomial 𝑥 2 q-Charlier-polynomial-C 𝑚 superscript 𝑞 𝑥 𝑎 𝑞 q-Charlier-polynomial-C 𝑛 superscript 𝑞 𝑥 𝑎 𝑞 superscript 𝑞 𝑛 q-Pochhammer-symbol 𝑎 𝑞 q-Pochhammer-symbol superscript 𝑎 1 𝑞 𝑞 𝑞 𝑛 Kronecker-delta 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\sum_{x=0}^{\infty}\frac{a^{x}}{% \left(q;q\right)_{x}}q^{\binomial{x}{2}}C_{m}\!\left(q^{-x};a;q\right)C_{n}\!% \left(q^{-x};a;q\right){}=q^{-n}\left(-a;q\right)_{\infty}\left(-a^{-1}q,q;q% \right)_{n}\,\delta_{m,n}}}}

Constraint(s)

a > 0 𝑎 0 {\displaystyle{\displaystyle{\displaystyle a>0}}}


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

Σ Σ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
( 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
( 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
C n subscript 𝐶 𝑛 {\displaystyle{\displaystyle{\displaystyle C_{n}}}}  : q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Charlier polynomial : http://drmf.wmflabs.org/wiki/Definition:qCharlier
δ m , n subscript 𝛿 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\delta_{m,n}}}}  : Kronecker delta : http://dlmf.nist.gov/front/introduction#Sx4.p1.t1.r4

Bibliography

Equation in Section 14.23 of KLS.

URL links

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