Formula:KLS:14.18:23

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:23 to F:KLS:14.18:23)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


( a t ; q ) ( e i θ t , e - i θ t ; q ) = n = 0 H n ( x ; a | q ) ( q ; q ) n t n q-Pochhammer-symbol 𝑎 𝑡 𝑞 q-Pochhammer-symbol imaginary-unit 𝜃 𝑡 imaginary-unit 𝜃 𝑡 𝑞 superscript subscript 𝑛 0 continuous-big-q-Hermite-polynomial-H 𝑛 𝑥 𝑎 𝑞 q-Pochhammer-symbol 𝑞 𝑞 𝑛 superscript 𝑡 𝑛 {\displaystyle{\displaystyle{\displaystyle\frac{\left(at;q\right)_{\infty}}{% \left({\mathrm{e}^{\mathrm{i}\theta}}t,{\mathrm{e}^{-\mathrm{i}\theta}}t;q% \right)_{\infty}}=\sum_{n=0}^{\infty}\frac{H_{n}\!\left(x;a|q\right)}{\left(q;% q\right)_{n}}t^{n}}}}

Substitution(s)

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

( 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\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
H n subscript 𝐻 𝑛 {\displaystyle{\displaystyle{\displaystyle H_{n}}}}  : continuous big q 𝑞 {\displaystyle{\displaystyle{\displaystyle q}}} -Hermite polynomial : http://drmf.wmflabs.org/wiki/Definition:ctsbigqHermite
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.