Formula:KLS:14.18:06

From DRMF
Revision as of 08:38, 22 December 2019 by Move page script (talk | contribs) (Move page script moved page Formula:KLS:14.18:06 to F:KLS:14.18:06)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


1 2 π - 1 1 w ( x ) 1 - x 2 H m ( x ; a | q ) H n ( x ; a | q ) 𝑑 x + k 1 < a q k a w k H m ( x k ; a | q ) H n ( x k ; a | q ) = δ m , n ( q n + 1 ; q ) 1 2 superscript subscript 1 1 𝑤 𝑥 1 superscript 𝑥 2 continuous-big-q-Hermite-polynomial-H 𝑚 𝑥 𝑎 𝑞 continuous-big-q-Hermite-polynomial-H 𝑛 𝑥 𝑎 𝑞 differential-d 𝑥 subscript 𝑘 1 𝑎 superscript 𝑞 𝑘 𝑎 subscript 𝑤 𝑘 continuous-big-q-Hermite-polynomial-H 𝑚 subscript 𝑥 𝑘 𝑎 𝑞 continuous-big-q-Hermite-polynomial-H 𝑛 subscript 𝑥 𝑘 𝑎 𝑞 Kronecker-delta 𝑚 𝑛 q-Pochhammer-symbol superscript 𝑞 𝑛 1 𝑞 {\displaystyle{\displaystyle{\displaystyle\frac{1}{2\pi}\int_{-1}^{1}\frac{w(x% )}{\sqrt{1-x^{2}}}H_{m}\!\left(x;a|q\right)H_{n}\!\left(x;a|q\right)\,dx{}+% \sum_{\begin{array}[]{c}\scriptstyle k\\ \scriptstyle 1<aq^{k}\leq a\end{array}}w_{k}H_{m}\!\left(x_{k};a|q\right)H_{n}% \!\left(x_{k};a|q\right)=\frac{\,\delta_{m,n}}{\left(q^{n+1};q\right)_{\infty}% }}}}

Substitution(s)

w k = ( a - 2 ; q ) ( q ; q ) ( 1 - a 2 q 2 k ) ( a 2 ; q ) k ( 1 - a 2 ) ( q ; q ) k q - 3 2 k 2 - 1 2 k ( - 1 a 4 ) k subscript 𝑤 𝑘 q-Pochhammer-symbol superscript 𝑎 2 𝑞 q-Pochhammer-symbol 𝑞 𝑞 1 superscript 𝑎 2 superscript 𝑞 2 𝑘 q-Pochhammer-symbol superscript 𝑎 2 𝑞 𝑘 1 superscript 𝑎 2 q-Pochhammer-symbol 𝑞 𝑞 𝑘 superscript 𝑞 3 2 superscript 𝑘 2 1 2 𝑘 superscript 1 superscript 𝑎 4 𝑘 {\displaystyle{\displaystyle{\displaystyle w_{k}=\frac{\left(a^{-2};q\right)_{% \infty}}{\left(q;q\right)_{\infty}}\frac{(1-a^{2}q^{2k})\left(a^{2};q\right)_{% k}}{(1-a^{2})\left(q;q\right)_{k}}q^{-\frac{3}{2}k^{2}-\frac{1}{2}k}\left(-% \frac{1}{a^{4}}\right)^{k}}}} &

x k = a q k + ( a q k ) - 1 2 subscript 𝑥 𝑘 𝑎 superscript 𝑞 𝑘 superscript 𝑎 superscript 𝑞 𝑘 1 2 {\displaystyle{\displaystyle{\displaystyle x_{k}=\frac{aq^{k}+\left(aq^{k}% \right)^{-1}}{2}}}} &
w ( x ) := w ( x ; a | q ) = | ( e 2 i θ ; q ) ( a e i θ ; q ) | 2 = h ( x , 1 ) h ( x , - 1 ) h ( x , q 1 2 ) h ( x , - q 1 2 ) h ( x , a ) assign 𝑤 𝑥 𝑤 𝑥 conditional 𝑎 𝑞 superscript q-Pochhammer-symbol 2 imaginary-unit 𝜃 𝑞 q-Pochhammer-symbol 𝑎 imaginary-unit 𝜃 𝑞 2 𝑥 1 𝑥 1 𝑥 superscript 𝑞 1 2 𝑥 superscript 𝑞 1 2 𝑥 𝑎 {\displaystyle{\displaystyle{\displaystyle w(x):=w(x;a|q)=\left|\frac{\left({% \mathrm{e}^{2\mathrm{i}\theta}};q\right)_{\infty}}{\left(a{\mathrm{e}^{\mathrm% {i}\theta}};q\right)_{\infty}}\right|^{2}=\frac{h(x,1)h(x,-1)h(x,q^{\frac{1}{2% }})h(x,-q^{\frac{1}{2}})}{h(x,a)}}}} &
h ( x , α ) := k = 0 ( 1 - 2 α x q k + α 2 q 2 k ) = ( α e i θ , α e - i θ ; q ) assign 𝑥 𝛼 superscript subscript product 𝑘 0 1 2 𝛼 𝑥 superscript 𝑞 𝑘 superscript 𝛼 2 superscript 𝑞 2 𝑘 q-Pochhammer-symbol 𝛼 imaginary-unit 𝜃 𝛼 imaginary-unit 𝜃 𝑞 {\displaystyle{\displaystyle{\displaystyle h(x,\alpha):=\prod_{k=0}^{\infty}% \left(1-2\alpha xq^{k}+\alpha^{2}q^{2k}\right)=\left(\alpha{\mathrm{e}^{% \mathrm{i}\theta}},\alpha{\mathrm{e}^{-\mathrm{i}\theta}};q\right)_{\infty}}}} &

x = cos θ 𝑥 𝜃 {\displaystyle{\displaystyle{\displaystyle x=\cos\theta}}}


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\int}}}  : integral : http://dlmf.nist.gov/1.4#iv
H n subscript 𝐻 𝑛 {\displaystyle{\displaystyle{\displaystyle H_{n}}}}  : continuous big q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Hermite polynomial : http://drmf.wmflabs.org/wiki/Definition:ctsbigqHermite
Σ Σ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
δ m , n subscript 𝛿 𝑚 𝑛 {\displaystyle{\displaystyle{\displaystyle\delta_{m,n}}}}  : Kronecker delta : http://dlmf.nist.gov/front/introduction#Sx4.p1.t1.r4
( 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
e e {\displaystyle{\displaystyle{\displaystyle\mathrm{e}}}}  : the base of the natural logarithm : http://dlmf.nist.gov/4.2.E11
i i {\displaystyle{\displaystyle{\displaystyle\mathrm{i}}}}  : imaginary unit : http://dlmf.nist.gov/1.9.i
Π Π {\displaystyle{\displaystyle{\displaystyle\Pi}}}  : product : http://drmf.wmflabs.org/wiki/Definition:prod
cos cos {\displaystyle{\displaystyle{\displaystyle\mathrm{cos}}}}  : cosine function : http://dlmf.nist.gov/4.14#E2

Bibliography

Equation in Section 14.18 of KLS.

URL links

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