# Formula:KLS:14.26:17

$\displaystyle {\displaystyle \qPochhammer{\expe^{\iunit\theta}t}{q}{\infty}\cdot\qHyperrphis{1}{1}@@{0}{\expe^{\iunit\theta}t}{q}{\expe^{-\iunit\theta}t} {}=\sum_{n=0}^{\infty}\frac{(-1)^nq^{\binomial{n}{2}}}{\qPochhammer{q}{q}{n}}\ctsqHermite{n}@{x}{q}t^n }$

## Substitution(s)

$\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

$\displaystyle {\displaystyle (a;q)_n}$  : $\displaystyle {\displaystyle q}$ -Pochhammer symbol : http://dlmf.nist.gov/5.18#i http://dlmf.nist.gov/17.2#SS1.p1
$\displaystyle {\displaystyle \mathrm{e}}$  : the base of the natural logarithm : http://dlmf.nist.gov/4.2.E11
$\displaystyle {\displaystyle \mathrm{i}}$  : imaginary unit : http://dlmf.nist.gov/1.9.i
$\displaystyle {\displaystyle \Sigma}$  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
$\displaystyle {\displaystyle \binom{n}{k}}$  : binomial coefficient : http://dlmf.nist.gov/1.2#E1 http://dlmf.nist.gov/26.3#SS1.p1
$\displaystyle {\displaystyle H_{n}}$  : continuous $\displaystyle {\displaystyle q}$ -Hermite polynomial : http://drmf.wmflabs.org/wiki/Definition:ctsqHermite
$\displaystyle {\displaystyle \mathrm{cos}}$  : cosine function : http://dlmf.nist.gov/4.14#E2