Q-exponential

The term q-exponential occurs in two contexts. The q-exponential distribution, based on the Tsallis q-exponential is discussed in elsewhere.

In combinatorial mathematics, a q-exponential is a q-analog of the exponential function, namely the eigenfunction of a q-derivative. There are many q-derivatives, for example, the classical q-derivative, the Askey–Wilson operator, etc. Therefore, unlike the classical exponentials, q-exponentials are not unique. For example, $e_{q}(z)$ is the q-exponential corresponding to the classical q-derivative while ${\mathcal {E}}_{q}(z)$ are eigenfunctions of the Askey–Wilson operators.

The q-exponential is also known as the quantum dilogarithm.

Definition

The q-exponential $e_{q}(z)$ is defined as

e_{q}(z)=\sum _{n=0}^{\infty }{\frac {z^{n}}{[n]!_{q}}}=\sum _{n=0}^{\infty }{\frac {z^{n}(1-q)^{n}}{(q;q)_{n}}}=\sum _{n=0}^{\infty }z^{n}{\frac {(1-q)^{n}}{(1-q^{n})(1-q^{n-1})\cdots (1-q)}}

where $[n]!_{q}$ is the q-factorial and

(q;q)_{n}=(1-q^{n})(1-q^{n-1})\cdots (1-q)

is the q-Pochhammer symbol. That this is the q-analog of the exponential follows from the property

\left({\frac {d}{dz}}\right)_{q}e_{q}(z)=e_{q}(z)

where the derivative on the left is the q-derivative. The above is easily verified by considering the q-derivative of the monomial

\left({\frac {d}{dz}}\right)_{q}z^{n}=z^{n-1}{\frac {1-q^{n}}{1-q}}=[n]_{q}z^{n-1}.

Here, $[n]_{q}$ is the q-bracket. For other definitions of the q-exponential function, see Exton (1983), Ismail & Zhang (1994), and Cieśliński (2011).

Properties

For real $q>1$ , the function $e_{q}(z)$ is an entire function of $z$ . For $q<1$ , $e_{q}(z)$ is regular in the disk $|z|<1/(1-q)$ .

Note the inverse, $~e_{q}(z)~e_{1/q}(-z)=1$ .

Addition Formula

The analogue of $\exp(x)\exp(y)=\exp(x+y)$ does not hold for real numbers $x$ and $y$ . However, if these are operators satisfying the commutation relation $xy=qyx$ , then $e_{q}(x)e_{q}(y)=e_{q}(x+y)$ holds true.

Relations

For $-1<q<1$ , a function that is closely related is $E_{q}(z).$ It is a special case of the basic hypergeometric series,

E_{q}(z)=\;_{1}\phi _{1}\left({\scriptstyle {0 \atop 0}}\,;\,z\right)=\sum _{n=0}^{\infty }{\frac {q^{\binom {n}{2}}(-z)^{n}}{(q;q)_{n}}}=\prod _{n=0}^{\infty }(1-q^{n}z)=(z;q)_{\infty }.

Clearly,

\lim _{q\to 1}E_{q}\left(z(1-q)\right)=\lim _{q\to 1}\sum _{n=0}^{\infty }{\frac {q^{\binom {n}{2}}(1-q)^{n}}{(q;q)_{n}}}(-z)^{n}=e^{-z}.~

Relation with Dilogarithm

$e_{q}(x)$ has the following infinite product representation:

e_{q}(x)=\left(\prod _{k=0}^{\infty }(1-q^{k}(1-q)x)\right)^{-1}.

On the other hand, $\log(1-x)=-\sum _{n=1}^{\infty }{\frac {x^{n}}{n}}$ holds. When $|q|<1$ ,

{\begin{aligned}\log e_{q}(x)&=-\sum _{k=0}^{\infty }\log(1-q^{k}(1-q)x)\\&=\sum _{k=0}^{\infty }\sum _{n=1}^{\infty }{\frac {(q^{k}(1-q)x)^{n}}{n}}\\&=\sum _{n=1}^{\infty }{\frac {((1-q)x)^{n}}{(1-q^{n})n}}\\&={\frac {1}{1-q}}\sum _{n=1}^{\infty }{\frac {((1-q)x)^{n}}{[n]_{q}n}}\end{aligned}}.

By taking the limit $q\to 1$ ,

\lim _{q\to 1}(1-q)\log e_{q}(x/(1-q))=\mathrm {Li} _{2}(x),

where $\mathrm {Li} _{2}(x)$ is the dilogarithm.

References

↑ Zudilin, Wadim (14 March 2006). "Quantum dilogarithm" (PDF). wain.mi.ras.ru. Archived from the original (PDF) on 5 July 2017. Retrieved 16 July 2021.
↑ Faddeev, L.d.; Kashaev, R.m. (1994-02-20). "Quantum dilogarithm". Modern Physics Letters A. 09 (5): 427–434. arXiv:hep-th/9310070. Bibcode:1994MPLA....9..427F. doi:10.1142/S0217732394000447. ISSN 0217-7323. S2CID 119124642.
↑ Kac, V.; Cheung, P. (2011). Quantum Calculus. Springer. p. 31. ISBN 978-1461300724.

Cieśliński, Jan L. (2011). "Improved q-exponential and q-trigonometric functions". Applied Mathematics Letters. 24 (12): 2110–2114. arXiv:1006.5652. doi:10.1016/j.aml.2011.06.009. S2CID 205496812.
Exton, Harold (1983). q-Hypergeometric Functions and Applications. New York: Halstead Press, Chichester: Ellis Horwood. ISBN 0853124914.
Gasper, George; Rahman, Mizan Rahman (2004). Basic Hypergeometric Series. Cambridge University Press. ISBN 0521833574.
Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press. doi:10.1017/CBO9781107325982. ISBN 9780521782012.
Ismail, Mourad E. H.; Zhang, Ruiming (1994). "Diagonalization of certain integral operators". Advances in Mathematics. 108 (1): 1–33. doi:10.1006/aima.1994.1077.
Ismail, Mourad E. H.; Rahman, Mizan; Zhang, Ruiming (1996). "Diagonalization of certain integral operators II". Journal of Computational and Applied Mathematics. 68 (1–2): 163–196. CiteSeerX 10.1.1.234.4251. doi:10.1016/0377-0427(95)00263-4. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Jackson, F. H. (1909). "On q-functions and a certain difference operator". Transactions of the Royal Society of Edinburgh. 46 (2): 253–281. doi:10.1017/S0080456800002751. S2CID 123927312.

[1] Zudilin, Wadim (14 March 2006). "Quantum dilogarithm" (PDF). wain.mi.ras.ru. Archived from the original (PDF) on 5 July 2017. Retrieved 16 July 2021.

[2] Faddeev, L.d.; Kashaev, R.m. (1994-02-20). "Quantum dilogarithm". Modern Physics Letters A. 09 (5): 427–434. arXiv:hep-th/9310070. Bibcode:1994MPLA....9..427F. doi:10.1142/S0217732394000447. ISSN 0217-7323. S2CID 119124642.

[KacCheung-3] Kac, V.; Cheung, P. (2011). Quantum Calculus. Springer. p. 31. ISBN 978-1461300724.