Formula:KLS:14.15:03

From DRMF
Revision as of 08:38, 22 December 2019 by Move page script (talk | contribs) (Move page script moved page Formula:KLS:14.15:03 to F:KLS:14.15:03)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


x = 0 N ( q - N ; q ) x ( q ; q ) x ( - p ) - x K m ( q - x ; p , N ; q ) K n ( q - x ; p , N ; q ) = ( q , - p q N + 1 ; q ) n ( - p , q - N ; q ) n ( 1 + p ) ( 1 + p q 2 n ) ( - p q ; q ) N p - N q - \binomial N + 12 ( - p q - N ) n q n 2 δ m , n superscript subscript 𝑥 0 𝑁 q-Pochhammer-symbol superscript 𝑞 𝑁 𝑞 𝑥 q-Pochhammer-symbol 𝑞 𝑞 𝑥 superscript 𝑝 𝑥 q-Krawtchouk-polynomial-K 𝑚 superscript 𝑞 𝑥 𝑝 𝑁 𝑞 q-Krawtchouk-polynomial-K 𝑛 superscript 𝑞 𝑥 𝑝 𝑁 𝑞 q-Pochhammer-symbol 𝑞 𝑝 superscript 𝑞 𝑁 1 𝑞 𝑛 q-Pochhammer-symbol 𝑝 superscript 𝑞 𝑁 𝑞 𝑛 1 𝑝 1 𝑝 superscript 𝑞 2 𝑛 q-Pochhammer-symbol 𝑝 𝑞 𝑞 𝑁 superscript 𝑝 𝑁 superscript 𝑞 \binomial 𝑁 12 superscript 𝑝 superscript 𝑞 𝑁 𝑛 superscript 𝑞 superscript 𝑛 2 Kronecker-delta 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\sum_{x=0}^{N}\frac{\left(q^{-N};q% \right)_{x}}{\left(q;q\right)_{x}}(-p)^{-x}K_{m}\!\left(q^{-x};p,N;q\right)K_{% n}\!\left(q^{-x};p,N;q\right){}=\frac{\left(q,-pq^{N+1};q\right)_{n}}{\left(-p% ,q^{-N};q\right)_{n}}\frac{(1+p)}{(1+pq^{2n})}{}\left(-pq;q\right)_{N}p^{-N}q^% {-\binomial{N+1}{2}}\left(-pq^{-N}\right)^{n}q^{n^{2}}\,\delta_{m,n}}}}

Constraint(s)

p > 0 𝑝 0 {\displaystyle{\displaystyle{\displaystyle p>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
K n subscript 𝐾 𝑛 {\displaystyle{\displaystyle{\displaystyle K_{n}}}}  : q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Krawtchouk polynomial : http://drmf.wmflabs.org/wiki/Definition:qKrawtchouk
( 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
δ 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.15 of KLS.

URL links

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