About the Project
10 Bessel FunctionsBessel and Hankel Functions

§10.24 Functions of Imaginary Order

With z=x and \nu replaced by i\nu, Bessel’s equation (10.2.1) becomes

10.24.1 x^{2}\frac{{\mathrm{d}}^{2}w}{{\mathrm{d}x}^{2}}+x\frac{\mathrm{d}w}{\mathrm{d%
}x}+(x^{2}+\nu^{2})w=0.

For \nu\in\mathbb{R} and x\in(0,\infty) define

10.24.2
\widetilde{J}_{\nu}\left(x\right)=\operatorname{sech}\left(\tfrac{1}{2}\pi\nu%
\right)\Re\left(J_{i\nu}\left(x\right)\right),
\widetilde{Y}_{\nu}\left(x\right)=\operatorname{sech}\left(\tfrac{1}{2}\pi\nu%
\right)\Re\left(Y_{i\nu}\left(x\right)\right),

and

where \gamma_{\nu} is real and continuous with \gamma_{0}=0; compare (5.4.3). Then

and \widetilde{J}_{\nu}\left(x\right), \widetilde{Y}_{\nu}\left(x\right) are linearly independent solutions of (10.24.1):

In consequence of (10.24.6), when x is large \widetilde{J}_{\nu}\left(x\right) and \widetilde{Y}_{\nu}\left(x\right) comprise a numerically satisfactory pair of solutions of (10.24.1); compare §2.7(iv). Also, in consequence of (10.24.7)–(10.24.9), when x is small either \widetilde{J}_{\nu}\left(x\right) and \tanh\left(\tfrac{1}{2}\pi\nu\right)\widetilde{Y}_{\nu}\left(x\right) or \widetilde{J}_{\nu}\left(x\right) and \widetilde{Y}_{\nu}\left(x\right) comprise a numerically satisfactory pair depending whether \nu\neq 0 or \nu=0.

For graphs of \widetilde{J}_{\nu}\left(x\right) and \widetilde{Y}_{\nu}\left(x\right) see §10.3(iii).

For mathematical properties and applications of \widetilde{J}_{\nu}\left(x\right) and \widetilde{Y}_{\nu}\left(x\right), including zeros and uniform asymptotic expansions for large \nu, see Dunster (1990a). In this reference \widetilde{J}_{\nu}\left(x\right) and \widetilde{Y}_{\nu}\left(x\right) are denoted respectively by F_{i\nu}{(x)} and G_{i\nu}{(x)}.