Bessel functions (thing)

x²y'' + xy' + (x²-ν²)y = 0

which naturally appears in problems displaying cylindrical symmetries.

The Bessel function of the first kind is defined for parameter ν being a real number:

J_ν(x) = x^ν Sum_m=0:inf (-1)^mx^2m / 2^2m+νm!Γ(ν+m+1)

Parameter ν is often an integer, so that ν = n; we then talk about the Bessel function of the first kind of order n:

J_n(x) = xⁿ Sum_m=0:inf (-1)^mx^2m / 2^2m+nm!(n+m)!

Bessel functions of the second kind, or Neumann's function, are also solutions to the Bessel equation:

Y_ν(x) = (1/sinνπ) (J_ν(x)cosνπ - J_-ν(x))

When ν = n, the definition for the Bessel function of the second kind of order n becomes:

Y_n(x) = lim_ν->n Y_ν(x)

When the solution seeked must be complex for real values of x, Bessel functions of the third kind or Hankel functions are used:

H_ν⁽¹⁾ = J_ν(x) + iY_ν(x)
H_ν⁽²⁾ = J_ν(x) - iY_ν(x)

Modified Bessel function I_ν(x) = i^-νJ_ν(ix) is a solution to the modified Bessel equation

x²y'' + xy' - (x² + ν²)y = 0

Of course, there is also the Modified Bessel function of the second kind (also often called of the third kind for a reason unknown to me):

K_ν(x) = (π/2sinνπ)(I_-ν(x) - I_ν(x))

There are entire books devoted to the properties of Bessel functions; however, here's a short and useful list:

• J_-n(x) = (-1)ⁿJ_n(x);
• (d/dx)(x^νJ_ν(x)) = x^νJ_ν-1(x);
• (d/dx)(x^-νJ_ν(x)) = -x^-νJ_ν+1(x);
• J_ν-1(x) + J_ν+1(x) = (2ν/x)J_ν(x);
• J_ν-1(x) - J_ν+1(x) = 2J'_ν(x);
• J_1/2(x) = sqrt(2/πx)sinx;
• J_-1/2(x) = sqrt(2/πx)cosx

Primary source: Advanced Engineering Mathematics, Erwin Kreyszig