10 Bessel FunctionsKelvin Functions

§10.61 Definitions and Basic Properties

Contents
  1. §10.61(i) Definitions
  2. §10.61(ii) Differential Equations
  3. §10.61(iii) Reflection Formulas for Arguments
  4. §10.61(iv) Reflection Formulas for Orders
  5. §10.61(v) Orders ±12

§10.61(i) Definitions

Throughout §§10.61–§10.71 it is assumed that x≥0, ν∈ℝ, and n is a nonnegative integer.

10.61.1 berν⁡x+i⁢beiν⁡x=Jν⁡(x⁢e3⁢π⁢i/4)=eν⁢π⁢i⁢Jν⁡(x⁢e−π⁢i/4)=eν⁢π⁢i/2⁢Iν⁡(x⁢eπ⁢i/4)=e3⁢ν⁢π⁢i/2⁢Iν⁡(x⁢e−3⁢π⁢i/4),
10.61.2 kerν⁡x+i⁢keiν⁡x=e−ν⁢π⁢i/2⁢Kν⁡(x⁢eπ⁢i/4)=12⁢π⁢i⁢Hν(1)⁡(x⁢e3⁢π⁢i/4)=−12⁢π⁢i⁢e−ν⁢π⁢i⁢Hν(2)⁡(x⁢e−π⁢i/4).

When ν=0 suffices on ber, bei, ker, and kei are usually suppressed.

Most properties of berν⁡x, beiν⁡x, kerν⁡x, and keiν⁡x follow straightforwardly from the above definitions and results given in preceding sections of this chapter.

§10.61(ii) Differential Equations

10.61.3 x2⁢d2wdx2+x⁢dwdx−(i⁢x2+ν2)⁢w=0,
w=berν⁡x+i⁢beiν⁡x,ber−ν⁡x+i⁢bei−ν⁡xkerν⁡x+i⁢keiν⁡x,ker−ν⁡x+i⁢kei−ν⁡x.
10.61.4 x4⁢d4wdx4+2⁢x3⁢d3wdx3−(1+2⁢ν2)⁢(x2⁢d2wdx2−x⁢dwdx)+(ν4−4⁢ν2+x4)⁢w=0,
w=ber±ν⁡x,bei±ν⁡x,ker±ν⁡x,kei±ν⁡x.

§10.61(iii) Reflection Formulas for Arguments

In general, Kelvin functions have a branch point at x=0 and functions with arguments x⁢e±π⁢i are complex. The branch point is absent, however, in the case of berν and beiν when ν is an integer. In particular,

10.61.5 bern⁡(−x) =(−1)n⁢bern⁡x,
bein⁡(−x) =(−1)n⁢bein⁡x.

§10.61(iv) Reflection Formulas for Orders

10.61.6 ber−ν⁡x =cos⁡(ν⁢π)⁢berν⁡x+sin⁡(ν⁢π)⁢beiν⁡x+(2/π)⁢sin⁡(ν⁢π)⁢kerν⁡x,
bei−ν⁡x =−sin⁡(ν⁢π)⁢berν⁡x+cos⁡(ν⁢π)⁢beiν⁡x+(2/π)⁢sin⁡(ν⁢π)⁢keiν⁡x.
10.61.7 ker−ν⁡x =cos⁡(ν⁢π)⁢kerν⁡x−sin⁡(ν⁢π)⁢keiν⁡x,
kei−ν⁡x =sin⁡(ν⁢π)⁢kerν⁡x+cos⁡(ν⁢π)⁢keiν⁡x.
10.61.8 ber−n⁡x =(−1)n⁢bern⁡x,bei−n⁡x=(−1)n⁢bein⁡x,
ker−n⁡x =(−1)n⁢kern⁡x,kei−n⁡x=(−1)n⁢kein⁡x.

§10.61(v) Orders ±12

10.61.9 ber12⁡(x⁢2) =2−34π⁢x⁢(ex⁢cos⁡(x+π8)−e−x⁢cos⁡(x−π8)),
bei12⁡(x⁢2) =2−34π⁢x⁢(ex⁢sin⁡(x+π8)+e−x⁢sin⁡(x−π8)).
10.61.10 ber−12⁡(x⁢2) =2−34π⁢x⁢(ex⁢sin⁡(x+π8)−e−x⁢sin⁡(x−π8)),
bei−12⁡(x⁢2) =−2−34π⁢x⁢(ex⁢cos⁡(x+π8)+e−x⁢cos⁡(x−π8)).
10.61.11 ker12⁡(x⁢2) =kei−12⁡(x⁢2)=−2−34⁢πx⁢e−x⁢sin⁡(x−π8),
10.61.12 kei12⁡(x⁢2) =−ker−12⁡(x⁢2)=−2−34⁢πx⁢e−x⁢cos⁡(x−π8).