Hahn–Exton q-Bessel function explained

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 . This function was introduced by in a special case and by in general.

The Hahn–Exton q-Bessel function is given by

(3)
J
\nu

(x;q)=

x\nu(q\nu+1;q)infty
(q;q)infty

\sumk\ge

(-1)kqk(k+1)/2x2k
(q\nu+1;q)k(q;q)k

=

(q\nu+1;q)infty
(q;q)infty

x\nu{}1\phi

\nu+1
1(0;q

;q,qx2).

\phi

is the basic hypergeometric function.

Properties

Zeros

Koelink and Swarttouw proved that

(3)
J
\nu

(x;q)

has infinite number of real zeros.They also proved that for

\nu>-1

all non-zero roots of
(3)
J
\nu

(x;q)

are real . For more details, see . 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

Derivatives

For the (usual) derivative and q-derivative of

(3)
J
\nu

(x;q)

, see . The symmetric q-derivative of
(3)
J
\nu

(x;q)

is described on .

Recurrence Relation

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

(3)
J(x;q)=\left(
\nu+1
1-q\nu
x
(3)
+x\right)J
\nu
(3)
(x;q)-J
\nu-1

(x;q).

Alternative Representations

Integral Representation

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

(3)
J(z;q)=
\nu
z\nu
\sqrt{\pilogq-2
}\int_^\frac\,dx.

(a1,a2,,an;q)infty:=(a1;q)infty(a2;q)infty(an;q)infty.

Hypergeometric Representation

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

(3)
J
\nu

(x;q)=x\nu

(x2q;q)infty
(q;q)infty

1\phi

2
1(0;x

q;q,q\nu+1).

This converges fast at

x\toinfty

. It is also an asymptotic expansion for

\nu\toinfty