Formula:KLS:01.08:17

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:17 to F:KLS:01.08:17)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


( a q - n ; q ) n ( b q - n ; q ) n = ( a - 1 q ; q ) n ( b - 1 q ; q ) n ( a b ) n , a 0 formulae-sequence q-Pochhammer-symbol 𝑎 superscript 𝑞 𝑛 𝑞 𝑛 q-Pochhammer-symbol 𝑏 superscript 𝑞 𝑛 𝑞 𝑛 q-Pochhammer-symbol superscript 𝑎 1 𝑞 𝑞 𝑛 q-Pochhammer-symbol superscript 𝑏 1 𝑞 𝑞 𝑛 superscript 𝑎 𝑏 𝑛 𝑎 0 {\displaystyle{\displaystyle{\displaystyle\frac{\left(aq^{-n};q\right)_{n}}{% \left(bq^{-n};q\right)_{n}}=\frac{\left(a^{-1}q;q\right)_{n}}{\left(b^{-1}q;q% \right)_{n}}\left(\frac{a}{b}\right)^{n},\quad a\neq 0}}}

Constraint(s)

b 0 𝑏 0 {\displaystyle{\displaystyle{\displaystyle b\neq 0}}} &
a 0 𝑎 0 {\displaystyle{\displaystyle{\displaystyle a\neq 0}}}


Substitution(s)

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


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.