10.46 Generalized and Incomplete Bessel Functions; Mittag-Leffler Function10.48 Graphs

§10.47 Definitions and Basic Properties

Contents

§10.47(i) Differential Equations

10.47.1 z^{2}\frac{{d}^{2}w}{{dz}^{2}}+2z\frac{dw}{dz}+\left(z^{2}-n(n+1)\right)w=0,
10.47.2 z^{2}\frac{{d}^{2}w}{{dz}^{2}}+2z\frac{dw}{dz}-\left(z^{2}+n(n+1)\right)w=0.

Here, and throughout the remainder of §§10.4710.60, n is a nonnegative integer. (This is in contrast to other treatments of spherical Bessel functions, including Abramowitz and Stegun (1964, Chapter 10), in which n can be any integer. However, there is a gain in symmetry, without any loss of generality in applications, on restricting n\geq 0.)

Equations (10.47.1) and (10.47.2) each have a regular singularity at z=0 with indices n, -n-1, and an irregular singularity at z=\infty of rank 1; compare §§2.7(i)2.7(ii).

§10.47(ii) Standard Solutions

Equation (10.47.1)

10.47.3 \mathop{\mathsf{j}_{{n}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{J_{{n+\frac{1}{2}}}\/}\nolimits\!\left(z\right)=(-1)^{n}\sqrt{\tfrac{1}{2}\pi/z}\mathop{Y_{{-n-\frac{1}{2}}}\/}\nolimits\!\left(z\right),
10.47.4 \mathop{\mathsf{y}_{{n}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{Y_{{n+\frac{1}{2}}}\/}\nolimits\!\left(z\right)=(-1)^{{n+1}}\sqrt{\tfrac{1}{2}\pi/z}\mathop{J_{{-n-\frac{1}{2}}}\/}\nolimits\!\left(z\right),
10.47.5 \mathop{{\mathsf{h}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{{H^{{(1)}}_{{n+\frac{1}{2}}}}\/}\nolimits\!\left(z\right)=(-1)^{{n+1}}i\sqrt{\tfrac{1}{2}\pi/z}\mathop{{H^{{(1)}}_{{-n-\frac{1}{2}}}}\/}\nolimits\!\left(z\right),
10.47.6 \mathop{{\mathsf{h}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{{H^{{(2)}}_{{n+\frac{1}{2}}}}\/}\nolimits\!\left(z\right)=(-1)^{n}i\sqrt{\tfrac{1}{2}\pi/z}\mathop{{H^{{(2)}}_{{-n-\frac{1}{2}}}}\/}\nolimits\!\left(z\right).

\mathop{\mathsf{j}_{{n}}\/}\nolimits\!\left(z\right) and \mathop{\mathsf{y}_{{n}}\/}\nolimits\!\left(z\right) are the spherical Bessel functions of the first and second kinds, respectively; \mathop{{\mathsf{h}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right) and \mathop{{\mathsf{h}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right) are the spherical Bessel functions of the third kind.

Equation (10.47.2)

10.47.7 \mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{I_{{n+\frac{1}{2}}}\/}\nolimits\!\left(z\right)
10.47.8 \mathop{{\mathsf{i}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{I_{{-n-\frac{1}{2}}}\/}\nolimits\!\left(z\right)
10.47.9 \mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{K_{{n+\frac{1}{2}}}\/}\nolimits\!\left(z\right)=\sqrt{\tfrac{1}{2}\pi/z}\mathop{K_{{-n-\frac{1}{2}}}\/}\nolimits\!\left(z\right).

\mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right), \mathop{{\mathsf{i}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right), and \mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(z\right) are the modified spherical Bessel functions.

Many properties of \mathop{\mathsf{j}_{{n}}\/}\nolimits\!\left(z\right), \mathop{\mathsf{y}_{{n}}\/}\nolimits\!\left(z\right), \mathop{{\mathsf{h}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right), \mathop{{\mathsf{h}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right), \mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right), \mathop{{\mathsf{i}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right), and \mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(z\right) follow straightforwardly from the above definitions and results given in preceding sections of this chapter. For example, z^{{-n}}\mathop{\mathsf{j}_{{n}}\/}\nolimits\!\left(z\right), z^{{n+1}}\mathop{\mathsf{y}_{{n}}\/}\nolimits\!\left(z\right), z^{{n+1}}\mathop{{\mathsf{h}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right), z^{{n+1}}\mathop{{\mathsf{h}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right), z^{{-n}}\mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right), z^{{n+1}}\mathop{{\mathsf{i}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right), and z^{{n+1}}\mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(z\right) are all entire functions of z.

§10.47(iii) Numerically Satisfactory Pairs of Solutions

For (10.47.1) numerically satisfactory pairs of solutions are given by Table 10.2.1 with the symbols \mathop{J\/}\nolimits, \mathop{Y\/}\nolimits, H, and \nu replaced by \mathop{\mathsf{j}\/}\nolimits, \mathop{\mathsf{y}\/}\nolimits, \mathsf{h}, and n, respectively.

For (10.47.2) numerically satisfactory pairs of solutions are \mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right) and \mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(z\right) in the right half of the z-plane, and \mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right) and \mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(-z\right) in the left half of the z-plane.

§10.47(iv) Interrelations