Relations between Bessel functions

The relationships between the various kinds of Bessel functions are summarized in the diagram below.

The functions in the left column are functions “of the first kind” and the functions in the right column are functions “of the second kind.” The functions in the middle column are “Hankel functions.” The functions in each row satisfy a particular differential equations. The lines between functions represent simple relationships. Details are given below.

Basic Bessel functions

The most basic Bessel functions are the functions Jν(z) imaginatively named “Bessel functions of the first kind.” I won’t go into their definition here, but I’ll explain how all the other functions in the Bessel function family reduce to these functions. For definitions and numerous identities, see functions.wolfram.com.

The functions Yν(z) are called the “Bessel functions of the second kind.” They are linear combinations of Jν and J:

Y_\nu(z) = \cot(\pi\nu) J_\nu(z) - \csc(\pi\nu) J_{-\nu}(z)

Why define the functions Yν? They Yν functions are independent solutions to the differential equation that motivated the functions Jν. Specifically, Jν and Yν form a basis for the solutions to Bessel’s equation

Bessels equation

In general, functions “of the second kind” were created to form independent solutions to a differential equation satisfied by the corresponding function of the first kind.

Hankel functions

The Hankel functions are linear combinations of the Bessel functions of the first and second kind.

H^{(1)}(z) = J_\nu(z) + i Y_\nu(z); H^{(2)}(z) = J_\nu(z) - i Y_\nu(z)

Spherical Bessel functions

Next we come to the spherical Bessel functions, so named because they arise when solving the Helmholtz equation in spherical coordinates.

Helmholtz equation

For integers n, the functions jn and yn are related to the functions Jn + ½ and Yn + ½.

j_n(z) = \sqrt{\frac{\pi}{2z}} J_{n+\frac{1}{2}}(z) \\ y_n(z) = \sqrt{\frac{\pi}{2z}} Y_{n+\frac{1}{2}}(z)

Spherical Hankel functions

The spherical Bessel functions have their Hankel function counterparts h(1)n and h(2)n. These are formed from jn and yn exactly the same way H(1)n and H(2)n are formed from Jn and Yn.

h^{(1)}(z) = j_\nu(z) + i y_\nu(z); h^{(2)}(z) = j_\nu(z) - i y_\nu(z)

Modified Bessel functions

Finally we have the functions Iν and Kν, the “modified Bessel functions of the first and second kind.” Iν is essentially Jν with its argument rotated. Specifically

I_\nu(z) = i^{-\nu} J(iz)

Also, the functions Kν are related to the functions Iν analogously to the way the Yν are related to the Jν, namely

K_\nu(z) = \frac{\pi}{2\sin\pi\nu} \left(I_{-\nu}(z) - I_\nu(z) \right)

The functions Iν and Kν are independent solutions to the modified Bessel differential equation

The modified Bessel functions of the second kind were also known by several names that are seldom used anymore.

  • Basset functions
  • Modified Bessel functions of the 3rd kind
  • Modified Hankel functions
  • Macdonald’s functions

The diagram would be symmetric if Kν were as simply related to Yν as Iν is related to Jν. Unfortunately, that is not the case.

Other diagrams on this site

See this page for more diagrams on this site including diagrams for probability and statistics, analysis, topology, and category theory.