Formula:KLS:01.08:22

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


( a q - n ; q ) n - k = ( a - 1 q ; q ) n ( a - 1 q ; q ) k ( - a q ) n - k q \binomial k 2 - \binomial n 2 q-Pochhammer-symbol 𝑎 superscript 𝑞 𝑛 𝑞 𝑛 𝑘 q-Pochhammer-symbol superscript 𝑎 1 𝑞 𝑞 𝑛 q-Pochhammer-symbol superscript 𝑎 1 𝑞 𝑞 𝑘 superscript 𝑎 𝑞 𝑛 𝑘 superscript 𝑞 \binomial 𝑘 2 \binomial 𝑛 2 {\displaystyle{\displaystyle{\displaystyle\left(aq^{-n};q\right)_{n-k}=\frac{% \left(a^{-1}q;q\right)_{n}}{\left(a^{-1}q;q\right)_{k}}\left(-\frac{a}{q}% \right)^{n-k}q^{\binomial{k}{2}-\binomial{n}{2}}{}}}}

Constraint(s)

a 0 𝑎 0 {\displaystyle{\displaystyle{\displaystyle a\neq 0}}} &
k = 0 , 1 , 2 , , n 𝑘 0 1 2 𝑛 {\displaystyle{\displaystyle{\displaystyle k=0,1,2,\ldots,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

& : logical and
( 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

Bibliography

Equation in Section 1.8 of KLS.

URL links

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