Hahn–Exton q-Bessel function

From HandWiki

In mathematics, the Hahn–Exton q-Bessel function or the third Jackson q-Bessel function is a q-analog of the Bessel function, and satisfies the Hahn-Exton q-difference equation (Swarttouw (1992)). This function was introduced by Hahn (1953) in a special case and by Exton (1983) in general.

The Hahn–Exton q-Bessel function is given by

Jν(3)(x;q)=xν(qν+1;q)(q;q)k0(1)kqk(k+1)/2x2k(qν+1;q)k(q;q)k=(qν+1;q)(q;q)xν1ϕ1(0;qν+1;q,qx2).

ϕ is the basic hypergeometric function.

Properties

Zeros

Koelink and Swarttouw proved that Jν(3)(x;q) has infinite number of real zeros. They also proved that for ν>1 all non-zero roots of Jν(3)(x;q) are real (Koelink and Swarttouw (1994)). For more details, see (Abreu Bustoz). Zeros of the Hahn-Exton q-Bessel function appear in a discrete analog of Daniel Bernoulli's problem about free vibrations of a lump loaded chain ((Hahn 1953), (Exton 1983))

Derivatives

For the (usual) derivative and q-derivative of Jν(3)(x;q), see Koelink and Swarttouw (1994). The symmetric q-derivative of Jν(3)(x;q) is described on Cardoso (2016).

Recurrence Relation

The Hahn–Exton q-Bessel function has the following recurrence relation (see Swarttouw (1992)):

Jν+1(3)(x;q)=(1qνx+x)Jν(3)(x;q)Jν1(3)(x;q).

Alternative Representations

Integral Representation

The Hahn–Exton q-Bessel function has the following integral representation (see Ismail and Zhang (2018)):

Jν(3)(z;q)=zνπlogq2exp(x2logq2)(q,qν+1/2eix,q1/2z2eix;q)dx.
(a1,a2,,an;q):=(a1;q)(a2;q)(an;q).

Hypergeometric Representation

The Hahn–Exton q-Bessel function has the following hypergeometric representation (see Daalhuis (1994)):

Jν(3)(x;q)=xν(x2q;q)(q;q) 1ϕ1(0;x2q;q,qν+1).

This converges fast at x. It is also an asymptotic expansion for ν.

References