Formula:KLS:01.12:04

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


1 2 π - 1 1 w ( x ) 1 - x 2 𝑑 x = 1 2 π 0 π w ( cos θ ) 𝑑 θ = ( a b c d ; q ) ( a b , a c , a d , b c , b d , c d , q ; q ) 1 2 superscript subscript 1 1 𝑤 𝑥 1 superscript 𝑥 2 differential-d 𝑥 1 2 superscript subscript 0 𝑤 𝜃 differential-d 𝜃 q-Pochhammer-symbol 𝑎 𝑏 𝑐 𝑑 𝑞 q-Pochhammer-symbol 𝑎 𝑏 𝑎 𝑐 𝑎 𝑑 𝑏 𝑐 𝑏 𝑑 𝑐 𝑑 𝑞 𝑞 {\displaystyle{\displaystyle{\displaystyle{}{}{}\frac{1}{2\pi}\int_{-1}^{1}% \frac{w(x)}{\sqrt{1-x^{2}}}\,dx=\frac{1}{2\pi}\int_{0}^{\pi}w(\cos\theta)\,d% \theta=\frac{\left(abcd;q\right)_{\infty}}{\left(ab,ac,ad,bc,bd,cd,q;q\right)_% {\infty}}}}}

Substitution(s)

w ( x ) = h ( x , 1 ) h ( x , - 1 ) h ( x , q 1 / 2 ) h ( x , - q 1 / 2 ) h ( x , a ) h ( x , b ) h ( x , c ) h ( x , d ) = | ( e 2 i θ ; q ) ( a e i θ , b e i θ , c e i θ , d e i θ ; q ) | 2 = ( e 2 i θ , e - 2 i θ ; q ) ( a e i θ , a e - i θ , b e i θ , b e - i θ , c e i θ , c e - i θ , d e i θ , d e - i θ ; q ) 𝑤 𝑥 𝑥 1 𝑥 1 𝑥 superscript 𝑞 1 2 𝑥 superscript 𝑞 1 2 𝑥 𝑎 𝑥 𝑏 𝑥 𝑐 𝑥 𝑑 superscript q-Pochhammer-symbol 2 imaginary-unit 𝜃 𝑞 q-Pochhammer-symbol 𝑎 imaginary-unit 𝜃 𝑏 imaginary-unit 𝜃 𝑐 imaginary-unit 𝜃 𝑑 imaginary-unit 𝜃 𝑞 2 q-Pochhammer-symbol 2 imaginary-unit 𝜃 2 imaginary-unit 𝜃 𝑞 q-Pochhammer-symbol 𝑎 imaginary-unit 𝜃 𝑎 imaginary-unit 𝜃 𝑏 imaginary-unit 𝜃 𝑏 imaginary-unit 𝜃 𝑐 imaginary-unit 𝜃 𝑐 imaginary-unit 𝜃 𝑑 imaginary-unit 𝜃 𝑑 imaginary-unit 𝜃 𝑞 {\displaystyle{\displaystyle{\displaystyle w(x)=\frac{h(x,1)h(x,-1)h(x,q^{1/2}% )h(x,-q^{1/2})}{h(x,a)h(x,b)h(x,c)h(x,d)}=\left|\frac{\left({\mathrm{e}^{2% \mathrm{i}\theta}};q\right)_{\infty}}{\left(a{\mathrm{e}^{\mathrm{i}\theta}},b% {\mathrm{e}^{\mathrm{i}\theta}},c{\mathrm{e}^{\mathrm{i}\theta}},d{\mathrm{e}^% {\mathrm{i}\theta}};q\right)_{\infty}}\right|^{2}=\frac{\left({\mathrm{e}^{2% \mathrm{i}\theta}},{\mathrm{e}^{-2\mathrm{i}\theta}};q\right)_{\infty}}{\left(% a{\mathrm{e}^{\mathrm{i}\theta}},a{\mathrm{e}^{-\mathrm{i}\theta}},b{\mathrm{e% }^{\mathrm{i}\theta}},b{\mathrm{e}^{-\mathrm{i}\theta}},c{\mathrm{e}^{\mathrm{% i}\theta}},c{\mathrm{e}^{-\mathrm{i}\theta}},d{\mathrm{e}^{\mathrm{i}\theta}},% d{\mathrm{e}^{-\mathrm{i}\theta}};q\right)_{\infty}}}}} &

h ( x , α ) = k = 0 ( 1 - 2 α x q k + α 2 q 2 k ) = | ( α e i θ ; q ) | 2 = ( α e i θ , α e - i θ ; q ) 𝑥 𝛼 superscript subscript product 𝑘 0 1 2 𝛼 𝑥 superscript 𝑞 𝑘 superscript 𝛼 2 superscript 𝑞 2 𝑘 superscript q-Pochhammer-symbol 𝛼 imaginary-unit 𝜃 𝑞 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|\left(\alpha{\mathrm{e}^{% \mathrm{i}\theta}};q\right)_{\infty}\right|^{2}=\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
cos cos {\displaystyle{\displaystyle{\displaystyle\mathrm{cos}}}}  : cosine function : http://dlmf.nist.gov/4.14#E2
( 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

Bibliography

Equation in Section 1.12 of KLS.

URL links

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