Академический Документы
Профессиональный Документы
Культура Документы
The Bessel functions of the first kind are defined as the solutions to the Bessel
differential equation
(1)
which are nonsingular at the origin. They are sometimes also called cylinder functions
or cylindrical harmonics. The above plot shows for , 1, 2, ..., 5. The
notation was first used by Hansen (1843) and subsequently by Schlömilch (1857) to
denote what is now written (Watson 1966, p. 14). However, Hansen's definition of
the function itself in terms of the generating function
(2)
is the same as the modern one (Watson 1966, p. 14). Bessel used the notation to
denote what is now called the Bessel function of the first kind (Cajori 1993, vol. 2,
p. 279). The Bessel function can also be defined by the contour integral
(3)
where the contour encloses the origin and is traversed in a counterclockwise direction
(Arfken 1985, p. 416).The Bessel function of the first kind is implemented
in Mathematica as BesselJ[nu, z].
To solve the differential equation, apply Frobenius method using a series solution of the
form
(4)
(5
(6)
(7)
(8)
(9)
(10)
(11)
so
(13)
(14)
(15)
(16)
(17)
Similarly, letting ,
(18)
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)
for , 3, ..., so
(30)
(31)
(32)
(33)
(34)
(35)
(36)
Plugging back into (◇),
(37)
(38)
(39)
(40)
(41)
Now define
(42)
where the factorials can be generalized to gamma functions for nonintegral . The
above equation then becomes
(43)
(44)
However, the sign of is arbitrary, so the solutions must be the same for and .
We are therefore free to replace with , so
(45)
(47)
(48
)
(49
)
But for , so the denominator is infinite and the terms on the left are
zero. We therefore have
(50)
(51)
Note that the Bessel differential equation is second-order, so there must be two linearly
independent solutions. We have found both only for . For a general nonintegral
order, the independent solutions are and . When is an integer, the general (real)
solution is of the form
(52)
where is a Bessel function of the first kind, (a.k.a. ) is the Bessel function of the
second kind (a.k.a. Neumann function or Weber function), and and are constants.
Complex solutions are given by the Hankel functions (a.k.a. Bessel functions of the third
kind).
The Bessel functions are orthogonal in according to
(53)
where is the th zero of and is the Kronecker delta (Arfken 1985, p. 592).
(54)
In terms of a confluent hypergeometric function of the first kind, the Bessel function is
written
(55)
(56)
where is a Chebyshev polynomial of the first kind. Asymptotic forms for the Bessel
functions are
(57)
for and