Formula:KLS:14.10:98

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


( 1 - q ) 2 D q [ w ~ ( x ; q 1 2 | q ) D q y ( x ) ] + λ n w ~ ( x ; 1 | q ) y ( x ) = 0 superscript 1 𝑞 2 subscript 𝐷 𝑞 delimited-[] ~ 𝑤 𝑥 conditional superscript 𝑞 1 2 𝑞 subscript 𝐷 𝑞 𝑦 𝑥 subscript 𝜆 𝑛 ~ 𝑤 𝑥 conditional 1 𝑞 𝑦 𝑥 0 {\displaystyle{\displaystyle{\displaystyle(1-q)^{2}D_{q}\left[{\tilde{w}}(x;q^% {\frac{1}{2}}|q)D_{q}y(x)\right]+\lambda_{n}{\tilde{w}}(x;1|q)y(x)=0}}}

Substitution(s)

y ( x ) = P n ( x | q ) 𝑦 𝑥 continuous-q-Legendre-polynomial-P 𝑛 𝑥 𝑞 {\displaystyle{\displaystyle{\displaystyle y(x)=P_{n}\!\left(x|q\right)}}} &

w ~ ( x ; a | q ) := w ( x ; a | q ) 1 - x 2 assign ~ 𝑤 𝑥 conditional 𝑎 𝑞 𝑤 𝑥 conditional 𝑎 𝑞 1 superscript 𝑥 2 {\displaystyle{\displaystyle{\displaystyle{\tilde{w}}(x;a|q):=\frac{w(x;a|q)}{% \sqrt{1-x^{2}}}}}} &
λ n = 4 q - n + 1 ( 1 - q n ) ( 1 - q n + 1 ) subscript 𝜆 𝑛 4 superscript 𝑞 𝑛 1 1 superscript 𝑞 𝑛 1 superscript 𝑞 𝑛 1 {\displaystyle{\displaystyle{\displaystyle\lambda_{n}=4q^{-n+1}(1-q^{n})(1-q^{% n+1})}}} &
w ( x ; a | q ) = | ( e 2 i θ ; q ) ( a q 1 4 e i θ a q 3 4 e i θ , - a q 1 4 e i θ - a q 3 4 e i θ ; q ) | 2 = | ( e i θ , - e i θ ; q 1 2 ) ( a q 1 4 e i θ , - a q 1 4 e i θ ; q 1 2 ) | 2 = | ( e 2 i θ ; q ) ( a 2 q 1 2 e 2 i θ ; q ) | 2 = h ( x , 1 ) h ( x , - 1 ) h ( x , q 1 2 ) h ( x , - q 1 2 ) h ( x , a q 1 4 ) h ( x , a q 3 4 ) h ( x , - a q 1 4 ) h ( x , - a q 3 4 ) 𝑤 𝑥 conditional 𝑎 𝑞 superscript q-Pochhammer-symbol 2 imaginary-unit 𝜃 𝑞 q-Pochhammer-symbol 𝑎 superscript 𝑞 1 4 imaginary-unit 𝜃 𝑎 superscript 𝑞 3 4 imaginary-unit 𝜃 𝑎 superscript 𝑞 1 4 imaginary-unit 𝜃 𝑎 superscript 𝑞 3 4 imaginary-unit 𝜃 𝑞 2 superscript q-Pochhammer-symbol imaginary-unit 𝜃 imaginary-unit 𝜃 superscript 𝑞 1 2 q-Pochhammer-symbol 𝑎 superscript 𝑞 1 4 imaginary-unit 𝜃 𝑎 superscript 𝑞 1 4 imaginary-unit 𝜃 superscript 𝑞 1 2 2 superscript q-Pochhammer-symbol 2 imaginary-unit 𝜃 𝑞 q-Pochhammer-symbol superscript 𝑎 2 superscript 𝑞 1 2 2 imaginary-unit 𝜃 𝑞 2 𝑥 1 𝑥 1 𝑥 superscript 𝑞 1 2 𝑥 superscript 𝑞 1 2 𝑥 𝑎 superscript 𝑞 1 4 𝑥 𝑎 superscript 𝑞 3 4 𝑥 𝑎 superscript 𝑞 1 4 𝑥 𝑎 superscript 𝑞 3 4 {\displaystyle{\displaystyle{\displaystyle w(x;a|q)=\left|\frac{\left({\mathrm% {e}^{2\mathrm{i}\theta}};q\right)_{\infty}}{\left(aq^{\frac{1}{4}}{\mathrm{e}^% {\mathrm{i}\theta}}aq^{\frac{3}{4}}{\mathrm{e}^{\mathrm{i}\theta}},-aq^{\frac{% 1}{4}}{\mathrm{e}^{\mathrm{i}\theta}}-aq^{\frac{3}{4}}{\mathrm{e}^{\mathrm{i}% \theta}};q\right)_{\infty}}\right|^{2}=\left|\frac{\left({\mathrm{e}^{\mathrm{% i}\theta}},-{\mathrm{e}^{\mathrm{i}\theta}};q^{\frac{1}{2}}\right)_{\infty}}{% \left(aq^{\frac{1}{4}}{\mathrm{e}^{\mathrm{i}\theta}},-aq^{\frac{1}{4}}{% \mathrm{e}^{\mathrm{i}\theta}};q^{\frac{1}{2}}\right)_{\infty}}\right|^{2}=% \left|\frac{\left({\mathrm{e}^{2\mathrm{i}\theta}};q\right)_{\infty}}{\left(a^% {2}q^{\frac{1}{2}}{\mathrm{e}^{2\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,aq^{\frac% {1}{4}})h(x,aq^{\frac{3}{4}})h(x,-aq^{\frac{1}{4}})h(x,-aq^{\frac{3}{4}})}}}} &
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
P n subscript 𝑃 𝑛 {\displaystyle{\displaystyle{\displaystyle P_{n}}}}  : continuous q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Legendre polynomial : http://drmf.wmflabs.org/wiki/Definition:ctsqLegendre
( 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.10 of KLS.

URL links

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