Formula:KLS:01.11:11

From DRMF
Jump to navigation Jump to search


\qHyperrphis 65 @ @ q a , - q a , a , b , c , q - n a , - a , a b - 1 q , a c - 1 q , a q n + 1 q a q n + 1 b c = ( a q , a b - 1 c - 1 q ; q ) n ( a b - 1 q , a c - 1 q ; q ) n \qHyperrphis 65 @ @ 𝑞 𝑎 𝑞 𝑎 𝑎 𝑏 𝑐 superscript 𝑞 𝑛 𝑎 𝑎 𝑎 superscript 𝑏 1 𝑞 𝑎 superscript 𝑐 1 𝑞 𝑎 superscript 𝑞 𝑛 1 𝑞 𝑎 superscript 𝑞 𝑛 1 𝑏 𝑐 q-Pochhammer-symbol 𝑎 𝑞 𝑎 superscript 𝑏 1 superscript 𝑐 1 𝑞 𝑞 𝑛 q-Pochhammer-symbol 𝑎 superscript 𝑏 1 𝑞 𝑎 superscript 𝑐 1 𝑞 𝑞 𝑛 {\displaystyle{\displaystyle{\displaystyle\qHyperrphis{6}{5}@@{q\sqrt{a},-q% \sqrt{a},a,b,c,q^{-n}}{\sqrt{a},-\sqrt{a},ab^{-1}q,ac^{-1}q,aq^{n+1}}{q}{\frac% {aq^{n+1}}{bc}}{}=\frac{\left(aq,ab^{-1}c^{-1}q;q\right)_{n}}{\left(ab^{-1}q,% ac^{-1}q;q\right)_{n}}}}}

Constraint(s)

n = 0 , 1 , 2 , 𝑛 0 1 2 {\displaystyle{\displaystyle{\displaystyle n=0,1,2,\ldots}}}


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

ϕ s r subscript subscript italic-ϕ 𝑠 𝑟 {\displaystyle{\displaystyle{\displaystyle{{}_{r}\phi_{s}}}}}  : basic hypergeometric (or q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -hypergeometric) function : http://dlmf.nist.gov/17.4#E1
( 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 1.11 of KLS.

URL links

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