Bessel Functions
Bessel Functions
Note that half-integer Bessels (spherical Bessels) can be given in terms of elementary functions.
In[808]:= [email protected], xD
0.7978845608028654 [email protected] - xD
Out[808]=
x
Plot@8BesselJ@0, xD, BesselJ@1, xD, BesselJ@2, xD, BesselJ@3, xD<, 8x, 0, 10<,
PlotStyle Ø 88Thick, Red<, 8Thick, Green<, 8Thick, Blue<, 8Thick, Black<<,
LabelStyle Ø Medium, AxesLabel Ø 8x, J<,
PlotLabel Ø "First 4 Cylindrical Bessel functions"D
First 4 Cylindrical Bessel functions
J
1.0
0.8
0.6
0.4
0.2
x
2 4 6 8 10
-0.2
-0.4
Orthogonality
8alpha = BesselJZero@0, 1D, beta = BesselJZero@0, 2D< êê N
82.40483, 5.52008<
Plot@8BesselJ@0, alpha xD, BesselJ@0, beta xD<, 8x, 0, 1<, PlotStyle Ø ThickD
1.0
0.8
0.6
0.4
0.2
-0.2
-0.4
Mathematic can work out symbolically (using recursion relations, etc.) that these two functions are
exactly orthogonal
Integrate@x BesselJ@0, alpha xD BesselJ@0, beta xD, 8x, 0, 1<D
0
Asymptotic form
Jasy@p_, x_D := Sqrt@2 ê HPi xLD Cos@x - H2 p + 1L Pi ê 4D
1.0
0.5
0.0
5 10 15 20 25 30
-0.5
-1.0
0.4
0.2
0.0
5 10 15 20 25 30
-0.2
-0.4
Another way of testing the asymptotic forms: take out the 1/SQRT[x] and shift the argument so the
cosines are in phase
Plot shows collapse to universal cosine.
testasy@p_, x_D := Sqrt@Pi x ê 2D BesselJ@p, x + H2 p + 1L Pi ê 4D
4 Bessel.nb
Plot@8testasy@0, xD, testasy@1, xD, testasy@2, xD, testasy@3, xD<, 8x, .5, 50<D
1.0
0.5
10 20 30 40 50
-0.5
-1.0
Plot@8BesselY@0, xD, BesselY@1, xD, BesselY@2, xD, BesselY@3, xD<, 8x, 0, 10<,
PlotStyle Ø 88Thick, Red<, 8Thick, Green<, 8Thick, Blue<, 8Thick, Black<<,
LabelStyle Ø Medium, AxesLabel Ø 8x, J<,
PlotLabel Ø "First 4 Bessel functions of 2nd kind"D
First 4 Bessel functions of 2nd kind
J
0.5
x
2 4 6 8 10
-0.5
-1.0
-1.5
Bessel.nb 5
0.8
0.6
0.4
0.2
0.0
5 10 15 20
-0.2