Formula:KLS:14.05:15

From DRMF
Revision as of 08:36, 22 December 2019 by Move page script (talk | contribs) (Move page script moved page Formula:KLS:14.05:15 to F:KLS:14.05:15)
(diff) ← Older revision | Latest revision (diff) | Newer revision β†’ (diff)
Jump to navigation Jump to search


π’Ÿ q ⁑ [ w ⁒ ( x ; a , b , c ; q ) ⁒ P n ⁑ ( x ; a , b , c ; q ) ] = ( 1 - a ) ⁒ ( 1 - c ) a ⁒ c ⁒ ( 1 - q ) ⁒ w ⁒ ( x ; a ⁒ q - 1 , b ⁒ q - 1 , c ⁒ q - 1 ; q ) ⁒ P n + 1 ⁑ ( x ; a ⁒ q - 1 , b ⁒ q - 1 , c ⁒ q - 1 ; q ) q-derivative π‘ž 𝑀 π‘₯ π‘Ž 𝑏 𝑐 π‘ž big-q-Jacobi-polynomial-P 𝑛 π‘₯ π‘Ž 𝑏 𝑐 π‘ž 1 π‘Ž 1 𝑐 π‘Ž 𝑐 1 π‘ž 𝑀 π‘₯ π‘Ž superscript π‘ž 1 𝑏 superscript π‘ž 1 𝑐 superscript π‘ž 1 π‘ž big-q-Jacobi-polynomial-P 𝑛 1 π‘₯ π‘Ž superscript π‘ž 1 𝑏 superscript π‘ž 1 𝑐 superscript π‘ž 1 π‘ž {\displaystyle{\displaystyle{\displaystyle\mathcal{D}_{q}\left[w(x;a,b,c;q)P_{% n}\!\left(x;a,b,c;q\right)\right]{}=\frac{(1-a)(1-c)}{ac(1-q)}w(x;aq^{-1},bq^{% -1},cq^{-1};q){}P_{n+1}\!\left(x;aq^{-1},bq^{-1},cq^{-1};q\right)}}}

Substitution(s)

w ⁒ ( x ; a , b , c ; q ) = ( a - 1 ⁒ x , c - 1 ⁒ x ; q ) ∞ ( x , b ⁒ c - 1 ⁒ x ; q ) ∞ 𝑀 π‘₯ π‘Ž 𝑏 𝑐 π‘ž q-Pochhammer-symbol superscript π‘Ž 1 π‘₯ superscript 𝑐 1 π‘₯ π‘ž q-Pochhammer-symbol π‘₯ 𝑏 superscript 𝑐 1 π‘₯ π‘ž {\displaystyle{\displaystyle{\displaystyle w(x;a,b,c;q)=\frac{\left(a^{-1}x,c^% {-1}x;q\right)_{\infty}}{\left(x,bc^{-1}x;q\right)_{\infty}}}}}


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

π’Ÿ q n superscript subscript π’Ÿ π‘ž 𝑛 {\displaystyle{\displaystyle{\displaystyle\mathcal{D}_{q}^{n}}}}  : q π‘ž {\displaystyle{\displaystyle{\displaystyle q}}} -derivative : http://drmf.wmflabs.org/wiki/Definition:qderiv
P n subscript 𝑃 𝑛 {\displaystyle{\displaystyle{\displaystyle P_{n}}}}  : big q π‘ž {\displaystyle{\displaystyle{\displaystyle q}}} -Jacobi polynomial : http://drmf.wmflabs.org/wiki/Definition:bigqJacobi
( 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 14.5 of KLS.

URL links

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