Formula:KLS:14.11:03

<< Formula:KLS:14.11:02

formula in Big q-Laguerre

Formula:KLS:14.11:04 >>

${\displaystyle{\displaystyle{\displaystyle\int_{bq}^{aq}\frac{\left(a^{-1}x,b^{-1}x;q\right)_{\infty}}{\left(x;q\right)_{\infty}}P_{m}\!\left(x;a,b;q\right)P_{n}\!\left(x;a,b;q\right)\,d_{q}x{}=aq(1-q)\frac{\left(q,a^{-1}b,ab^{-1}q;q\right)_{\infty}}{\left(aq,bq;q\right)_{\infty}}\frac{\left(q;q\right)_{n}}{\left(aq,bq;q\right)_{n}}(-abq^{2})^{n}q^{\binomial{n}{2}}\,\delta_{m,n}}}}$

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

${\displaystyle{\displaystyle{\displaystyle\int}}}$ : integral : http://dlmf.nist.gov/1.4#iv
${\displaystyle{\displaystyle{\displaystyle(a;q)_{n}}}}$ : ${\displaystyle{\displaystyle{\displaystyle q}}}$-Pochhammer symbol : http://dlmf.nist.gov/5.18#i http://dlmf.nist.gov/17.2#SS1.p1
${\displaystyle{\displaystyle{\displaystyle P_{n}}}}$ : big ${\displaystyle{\displaystyle{\displaystyle q}}}$-Laguerre polynomial : http://drmf.wmflabs.org/wiki/Definition:bigqLaguerre
${\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
${\displaystyle{\displaystyle{\displaystyle\delta_{m,n}}}}$ : Kronecker delta : http://dlmf.nist.gov/front/introduction#Sx4.p1.t1.r4

Bibliography

Equation in Section 14.11 of KLS.

URL links

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

<< Formula:KLS:14.11:02

formula in Big q-Laguerre

Formula:KLS:14.11:04 >>