Formula:KLS:01.11:10

From DRMF
Jump to navigation Jump to search


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

Constraint(s)

| a q b c d | < 1 𝑎 𝑞 𝑏 𝑐 𝑑 1 {\displaystyle{\displaystyle{\displaystyle\left|\frac{aq}{bcd}\right|<1}}}


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.