Formula:KLS:14.07:03

From DRMF
Revision as of 00:33, 6 March 2017 by imported>SeedBot (DRMF)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


x = 0 N ( γ q , γ δ q , q - N ; q ) x ( q , γ δ q N + 2 , δ q ; q ) x ( 1 - γ δ q 2 x + 1 ) ( 1 - γ δ q ) ( - γ q ) x q N x - \binomial x 2 R m ( μ ( x ) ; γ , δ , N ) q R n ( μ ( x ) ; γ , δ , N ) q = ( γ δ q 2 ; q ) N ( δ q ; q ) N ( γ q ) - N ( q , δ - 1 q - N ; q ) n ( γ q , q - N ; q ) n ( γ δ q ) n δ m , n superscript subscript 𝑥 0 𝑁 q-Pochhammer-symbol 𝛾 𝑞 𝛾 𝛿 𝑞 superscript 𝑞 𝑁 𝑞 𝑥 q-Pochhammer-symbol 𝑞 𝛾 𝛿 superscript 𝑞 𝑁 2 𝛿 𝑞 𝑞 𝑥 1 𝛾 𝛿 superscript 𝑞 2 𝑥 1 1 𝛾 𝛿 𝑞 superscript 𝛾 𝑞 𝑥 superscript 𝑞 𝑁 𝑥 \binomial 𝑥 2 dual-q-Hahn-R 𝑚 𝜇 𝑥 𝛾 𝛿 𝑁 𝑞 dual-q-Hahn-R 𝑛 𝜇 𝑥 𝛾 𝛿 𝑁 𝑞 q-Pochhammer-symbol 𝛾 𝛿 superscript 𝑞 2 𝑞 𝑁 q-Pochhammer-symbol 𝛿 𝑞 𝑞 𝑁 superscript 𝛾 𝑞 𝑁 q-Pochhammer-symbol 𝑞 superscript 𝛿 1 superscript 𝑞 𝑁 𝑞 𝑛 q-Pochhammer-symbol 𝛾 𝑞 superscript 𝑞 𝑁 𝑞 𝑛 superscript 𝛾 𝛿 𝑞 𝑛 Kronecker-delta 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\sum_{x=0}^{N}\frac{\left(\gamma q,% \gamma\delta q,q^{-N};q\right)_{x}}{\left(q,\gamma\delta q^{N+2},\delta q;q% \right)_{x}}\frac{(1-\gamma\delta q^{2x+1})}{(1-\gamma\delta q)(-\gamma q)^{x}% }q^{Nx-\binomial{x}{2}}{}R_{m}\!\left(\mu(x);\gamma,\delta,N\right){q}R_{n}\!% \left(\mu(x);\gamma,\delta,N\right){q}{}=\frac{\left(\gamma\delta q^{2};q% \right)_{N}}{\left(\delta q;q\right)_{N}}(\gamma q)^{-N}\frac{\left(q,\delta^{% -1}q^{-N};q\right)_{n}}{\left(\gamma q,q^{-N};q\right)_{n}}(\gamma\delta q)^{n% }\,\delta_{m,n}}}}

Substitution(s)

μ ( x ) = q - x + γ δ q x + 1 = q - x + q x + γ + δ + 1 = q - x + γ δ q x + 1 𝜇 𝑥 superscript 𝑞 𝑥 𝛾 𝛿 superscript 𝑞 𝑥 1 superscript 𝑞 𝑥 superscript 𝑞 𝑥 𝛾 𝛿 1 superscript 𝑞 𝑥 𝛾 𝛿 superscript 𝑞 𝑥 1 {\displaystyle{\displaystyle{\displaystyle\mu(x)=q^{-x}+\gamma\delta q^{x+1}=q% ^{-x}+q^{x+\gamma+\delta+1}=q^{-x}+\gamma\delta q^{x+1}}}} &

μ ( n ) = q - n + α β q n + 1 𝜇 𝑛 superscript 𝑞 𝑛 𝛼 𝛽 superscript 𝑞 𝑛 1 {\displaystyle{\displaystyle{\displaystyle\mu(n)=q^{-n}+\alpha\beta q^{n+1}}}} &
μ ( x ) := q - x + γ δ q x + 1 assign 𝜇 𝑥 superscript 𝑞 𝑥 𝛾 𝛿 superscript 𝑞 𝑥 1 {\displaystyle{\displaystyle{\displaystyle\mu(x):=q^{-x}+\gamma\delta q^{x+1}}}} &
μ ( x ) = q - x + γ δ q x + 1 = q - x + q x + γ + δ + 1 = q - x + γ δ q x + 1 𝜇 𝑥 superscript 𝑞 𝑥 𝛾 𝛿 superscript 𝑞 𝑥 1 superscript 𝑞 𝑥 superscript 𝑞 𝑥 𝛾 𝛿 1 superscript 𝑞 𝑥 𝛾 𝛿 superscript 𝑞 𝑥 1 {\displaystyle{\displaystyle{\displaystyle\mu(x)=q^{-x}+\gamma\delta q^{x+1}=q% ^{-x}+q^{x+\gamma+\delta+1}=q^{-x}+\gamma\delta q^{x+1}}}} &

μ ( n ) = q - n + α β q n + 1 𝜇 𝑛 superscript 𝑞 𝑛 𝛼 𝛽 superscript 𝑞 𝑛 1 {\displaystyle{\displaystyle{\displaystyle\mu(n)=q^{-n}+\alpha\beta q^{n+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

& : logical and
Σ Σ {\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
( 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
R n subscript 𝑅 𝑛 {\displaystyle{\displaystyle{\displaystyle R_{n}}}}  : dual q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Hahn polynomial : http://drmf.wmflabs.org/wiki/Definition:dualqHahn
δ 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.7 of KLS.

URL links

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