Formula:KLS:14.16:17

From DRMF
Jump to navigation Jump to search


w ( x ; p , N ; q ) K n Aff ( q - x ; p , N ; q ) = ( - 1 ) n q - N n + \binomial n 2 ( 1 - q ) n ( q - N ; q ) n ( q ) n [ w ( x ; p q n , N - n ; q ) ] 𝑤 𝑥 𝑝 𝑁 𝑞 affine-q-Krawtchouk-polynomial-K 𝑛 superscript 𝑞 𝑥 𝑝 𝑁 𝑞 superscript 1 𝑛 superscript 𝑞 𝑁 𝑛 \binomial 𝑛 2 superscript 1 𝑞 𝑛 q-Pochhammer-symbol superscript 𝑞 𝑁 𝑞 𝑛 superscript subscript 𝑞 𝑛 delimited-[] 𝑤 𝑥 𝑝 superscript 𝑞 𝑛 𝑁 𝑛 𝑞 {\displaystyle{\displaystyle{\displaystyle w(x;p,N;q)K^{\mathrm{Aff}}_{n}\!% \left(q^{-x};p,N;q\right){}=\frac{(-1)^{n}q^{-Nn+\binomial{n}{2}}(1-q)^{n}}{% \left(q^{-N};q\right)_{n}}\left(\nabla_{q}\right)^{n}\left[w(x;pq^{n},N-n;q)% \right]}}}

Substitution(s)

w ( x ; p , N ; q ) = ( p q ; q ) x ( q ; q ) x ( q ; q ) N - x p - x 𝑤 𝑥 𝑝 𝑁 𝑞 q-Pochhammer-symbol 𝑝 𝑞 𝑞 𝑥 q-Pochhammer-symbol 𝑞 𝑞 𝑥 q-Pochhammer-symbol 𝑞 𝑞 𝑁 𝑥 superscript 𝑝 𝑥 {\displaystyle{\displaystyle{\displaystyle w(x;p,N;q)=\frac{\left(pq;q\right)_% {x}}{\left(q;q\right)_{x}\left(q;q\right)_{N-x}}p^{-x}}}}


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

K n Aff subscript superscript 𝐾 Aff 𝑛 {\displaystyle{\displaystyle{\displaystyle K^{\mathrm{Aff}}_{n}}}}  : affine q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Krawtchouk polynomial : http://drmf.wmflabs.org/wiki/Definition:AffqKrawtchouk
( 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

Bibliography

Equation in Section 14.16 of KLS.

URL links

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