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
Koelink and Swarttouw proved that
(3) | |
J | |
\nu |
(x;q)
\nu>-1
(3) | |
J | |
\nu |
(x;q)
For the (usual) derivative and q-derivative of
(3) | |
J | |
\nu |
(x;q)
(3) | |
J | |
\nu |
(x;q)
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).
The Hahn–Exton q-Bessel function has the following integral representation (see):
(3) | ||
J | (z;q)= | |
\nu |
z\nu | |
\sqrt{\pilogq-2 |
(a1,a2, … ,an;q)infty:=(a1;q)infty(a2;q)infty … (an;q)infty.
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).
x\toinfty
\nu\toinfty