IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the...

22
3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + ( 1ν 2 x 2 ) y=0…………(1) In which ν is a constant, is known as Bessel’s equation and its solutions are called as Bessel functions. These functions were used by Bessel in the nineteenth century in a problem of dynamical Astronomy but since an orthonormal set of function can be defined with Bessel functions it has enormous use in different branches of mathematical physics and Engineering. We have shown the two solutions of (1) may be taken as J ν ( x) and J ν ( x) [ ν is not an integer] when J ν ( x ) = r=0 (−1) r ( x 2 ) ν+2 r r!Γ ( ν+r +1) ……….…….(2) If ν is an integer then J n ( x) = r=0 (−1) r ( x 2 ) n+2 r r!Γ (−n+ r+1 ) …………..(3) Now, using Γ ( nr) Γ ( 1n +r ) =πease( nr) π and hence Γ ( 1n +r ) is infinite when r = 0, 1, 2….(n-1). Therefore J n ( x) = r=n (−1) r ( x 2 ) n+2 r r!Γ (−n+ r+1 ) ………….(4) Writing r = s + n, this become

Transcript of IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the...

Page 1: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

3.1. Bessel’s Equation:

As we have pointed above that the equation

d2 ydx2 + 1

xdydx

+(1− ν2

x2 ) y=0…………(1)

In which ν is a constant, is known as Bessel’s equation and its solutions are called as Bessel functions. These functions were used by Bessel in the nineteenth century in a problem of dynamical Astronomy but since an orthonormal set of function can be defined with Bessel functions it has enormous use in different branches of mathematical physics and Engineering. We have shown the two solutions of (1) may be taken as Jν (x ) and J−ν (x) [ν is not an integer] when

Jν ( x )=∑r=0

∞ (−1)r( x2 )

ν+2 r

r !Γ (ν+r+1) ……….…….(2)

If ν is an integer then

J−n ( x )=∑r=0

∞ (−1)r ( x2 )

−n+2 r

r ! Γ (−n+r+1) …………..(3)

Now, using Γ (n−r ) Γ (1−n+r )=π ease(n−r )π and hence Γ (1−n+r ) is infinite when r = 0, 1, 2….(n-1). Therefore

J−n ( x )=∑r=n

∞ (−1)r ( x2 )

−n+2 r

r ! Γ (−n+r+1) ………….(4)

Writing r = s + n, this become

J−n ( x )=∑s=0

∞ (−1)s+n( x2 )

n+2 s

(s+r) ! Γ (s+1)=(−1)n∑

s=0

∞ (−1)s( x2 )

n+2 s

Γ (n+s+1 ) s !=(−1)n J n ( x ) ……….(5)

In this case the other solution is taken to Yn(x) [given in (8) in 1.2]

Page 2: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

Example. show that

J 12

(x )=√ 2π x

sin x , J−12

( x )=√ 2π x

cos x

Putting ν=12 in (2)

J 12

(x )=( x

2 )12

Γ (32 ) [1− ( x

2 )2

1. 32

+( x2 )

4

1.2 . 32

. 52

………]¿√ 2

π x [ x− x3

3 !+

x5

5 !… ……]=√ 2

π xsin x

For the second relation put ν=−12 in (3)

The results are special cases of an important general theorem which states that Jν (x ) is expressible in finite terms by means of algebraic and trigonometric function of x whenever ν is half of an odd integer. The functions J

n+12(x ) and J

−(n+12 )( x) when n is a positive integer or zero are

called spherical Bessel functions and have important application in wave motion in which spherical polar coordinates are appropriate.

2. Bessel function of order zero

When ν=0 , the first solution of Bessel’s equation is given by

Jo ( x )=∑r=o

∞ (−1)r( x2 )

2 r

r ! Γ (r+1)=1− x2

22 +x4

22 42 −x6

22. 42 .62 +…(1)

Let Yo (x) is the second independent solution and we take it as

[e.f. 1.2]

Page 3: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

Y o ( x )= 2π ( loge

x2+γ )Jo ( x )−V o (x) ………….(2)

when Y is the Euler’s constant and V o( xπ ) is a series is ascending

powers of x, Now

Y o ' ( x )= 2π ( loge

x2+γ )J o ' ( x )+ 2

πxJo ( x )−V o ' (x)

Y o ' ' ( x )= 2π ( loge

x2+γ)J o ' ' ( x )+ 4

πxJ o ' ( x )− 2

πx2 J o(x)−V o ' ' (x )

Substituting in Bessel equation with ν=0 i.e.d2 ydx2 + 1

xdydx

y=0 ………….(3)

We find2π ( loge

x2+γ ){J o

' ' ( x )+ 1x

Jo' ( x )+J o ( x )}+ 4

πxJ o

' ( x )−{V o' ' ( x )+ 1

xV o ( x )+V o(x )}=0

i.e. V o' ' ( x )+ 1

xV o ' ( x )+V o(x )=

4πx

J o' ( x )= 2

π ∑r=1

∞ (−1)r( x2 )

2r−2

r! (r−1 ) ! ………(4)

To solve (4) let V o ( x )= 2π ∑

r=0

br ( x2 )

2 r

i.e. 1x

V o ' (x )=2π ∑

r=1

∞ 12

r br( x2 )

2 r−2

V o' ' ( x )= 2

π ∑r=1

r (r−12)b

r( x

2 )2 r−2

i.e. V o' ' ( x )+ 1

xV o ' ( x )+V o ( x )= 2

π ∑r=1

(r 2br+br−1)( x2 )

2 r−2

comparing with (4) we get

r2 br+br−1=(−1)r

r ! (r−1 )!, r=1,2 ,3 ,…………

taking bo=0 the above recurrence relation gives b1=−1 and

Page 4: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

4 b2+b1=1

2 !, 9b3+b2=

−12 !3 !

, 16 b4+b3=1

3 ! 4 !,…….

these gives successively

b2=1

2 ! (1+ 12 ) , b3=

−1(3 !) (1+ 1

2+ 1

3 ) , b4=14 ! (1+ 1

2+ 1

3+ 1

4 ) ,… …

and in general

br= (−1 )r

r ! (1+ 12+ 1

3+…+ 1

r )substitution in (2) we get

Y o ( x )= 2π (l oge

x2+γ )J o ( x )− 2

π ∑r=1

∞ (−1 )r( x2 )

2r

r !r ! (1+12+…+

1r ) ……….(5)

Yo(x) is called the Bessel function of the second kind of order zero and the complete solution of Bessel’s equation of order zero (3) is

y=A JO ( x )+BYo(x ) …………….(6)

Both Jo(x) and Yo(x) are oscillatory functions and their graphs are shown below. It should be noted that both Jo(x) and Yo(x) vanish at an

infinite sequence of values of x. In this respect they behave similarly to the trigonometrical functions cos x and sin x which vanish respectively when x=(r+ 1

2)π and x=rπ . In

practical application the positive values of x for which the Bessel function vanish are of great importance and these

values are known as positive zeroes of the functions. If we denote the rth

zero of Jo(x), Yo(x) by α r and βr respectively, It can be shown that these zeroes interlace i.e. βr<α r<βr+1 for all r. Unlike those of the trigonometrical functions, the positive zeroes of the Bessel function are

Page 5: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

not equally spaced along the x-axis, but it can be shown that α r and βr approximate respectively to(r−1

4)π and (r−3

4)π for large values of r.

Numerical values of the zeroes can be found in many hand book and numerical Tables. It is easily seen that for small values of x

JO ( x )≃1∧Y o (x )≃ 2π

[ logex2+γ ]

Thus Jo ( x )→ 1∧Y o ( x )→−∞ as x→ 0 and also it can be shown that both the function tends to zero asx→ ∞

Note: Y n ( x )can also be developed as above. In fact from (6) and (8) of 1.2 we can write

J1 (x )=∑r=0

∞ (−1 )r( x2 )

2r+1

r ! (r+1 ) !=

x2−

x3

231 !2 !+

x5

25 2! 3!−…∧¿

Y 1 (x )=2π (log e

x2+γ)J 1 ( x )− 2

πx−

1π ∑

r=0

∞ (−1 )r( x2 )

2r+1

r ! (r+1 )! {2(1+ 12+…+

1r )+ 1

r+1 } ……….(6)

the first term on the right being x/2. Below we give the rough graphs of J1(x) and Y1(x). Note the interlacing of their positive zeroes. For small x,

J1(x) and Y1(x) behaves like x/2 and −2

πx respectively. Both the function tends to zero asx→ ∞. These positive zeroes are extensively tabulated. To avoid the necessity of having to write the general solution of Bessel’s equation in the two different forms.

i.e. y=A J ν ( x )+B J−ν (x ) , ν not zero or positive integer

Page 6: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

y=A J n ( x )+B Y n ( x ) , n zero or a positive integer. It is possible to define the second solution as

Y ν ( x )=J ν ( x ) cos νπ−J−ν ( x )

sin νπ ………….(7)

and then for ν →n (n zero or integer) the expression on r,h,s, of (7) tends to Yn(x) [Use L’ Hospital’s theorem]. Thus with the form (7), the general solution of Bessel’s equation of order ν for all values of ν is y=A J ν ( x )+B Y ν ( x )………(8)

3. Hankel functions.

Although Jν ( x ) and Y ν ( x ) are independent solutions of Bessel’s equation it is sometimes convenient to take the fundamental solution in a slightly different form. Henkel functions often called Bessel functions of the third kind, are often defined by

H ν(1) ( x )=J ν ( x )+iY ν ( x ) , H ν

(2)( x )=J ν ( x )−i Y ν (x ) ………..(9)

And there are independent solutions of Bessel’s equation. In terms of these function, the general solution of the equation is

y=A H ν(1)( x )+B H ν

(2) ( x ) ………..(10)

The Hankel functions bear the same relation to the Bessel function of the first and third kind as the function e±i ν x bear to cos νx and sin νx and they are convenient in mathematical analysis for similar reasons. Note that by (7) and (9)

H ν(1) ( x )= i

sin νπ [J ν (x )e−i ν π−J−ν (x ) ]

H ν(2 )( x )= −i

sin νπ [J ν (x )ei ν π−J−ν ( x ) ] ………(11)

Use of H ν(1 ) (kx )as H ν

(2)(kx ) in the propagation of waves with H ν

(1 ) , (2 ) ( x ) are√ 2πkx

e±i(kx−π

4− νπ4 ) and if the time dependent part is

e−i ω t , (ω>0 )then H ν(1 ) (kx ) generates forward wave and H ν

(2 )(kx ) generates backward wave.

Page 7: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

4. Some properties of Bessel functions.

Bessel function possesses properties of which great use can be made in the discussion of physical problems. A few of the more important of these are given in this section but for an extensive treatment one may refer to the standard text by Watson.

(a)Recurrence formulae

We have seen that Jν ( x )=∑r=0

∞ (−1 )r( x2 )

ν+2r

r !Γ (ν+r+1 )

i.e. x−ν J ν ( x )=2−ν∑r=0

∞ (−1 )r( x2 )

2 r

r ! Γ ( ν+r+1 ), hence

ddx (x− ν J ν ( x )) ¿2−ν∑

r=1

∞ (−1 )r r ( x2 )

2 r−1

r ! Γ ( ν+r+1 )

¿−2−ν∑r=0

∞ (−1 )r( x2 )

2r+1

r ! Γ ( ν+r+2 )=−x−ν J ν+1 ( x ) ……..(1)

This can be written in the formx−ν J '

ν ( x )−νx−ν−1 J ν (x )=−x−ν J ν ( x )

And it follows thatνx

J ν ( x )−J 'ν ( x )=J ν+1 ( x ) ………….(2)

This is the first of the required recurrence formulae. A useful particular case of this is J 'o ( x )=−J1(x )[ puting ν=0∈(2)]

Again, xν J ν ( x ) ¿2ν∑r=0

∞ (−1 )r( x2 )

2 ν +2 r

r ! Γ ( ν+r+1 )

We have

Page 8: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

ddx (xν J ν (x ) )¿2ν∑

r=0

∞ (−1 )r (ν+r )( x2 )

2 ν+ 2r−1

r ! Γ ( ν+r+1 )

¿ xν∑r=0

∞ (−1 )r ( x2 )

ν−1+2 r

r ! Γ ( ν+r )=¿ xν J ν−1 ( x ) [ ν+r=ν−1+r+1 ] ¿ ……(3)

This can be written xν J '

ν ( x )+νxν−1 J ν (x )=xν J ν−1 ( x )

i.e.νx

J ν ( x )+J 'ν ( x )=J ν−1 ( x ) …………(4)

Two other useful recurrence formulae followed by addition and subtraction of (2) and (4). Thus

2 νx

J ν ( x )=J ν−1 (x )+J ν+1 ( x ) .…….…(5)

2 J 'ν ( x )=J ν−1 ( x )−J ν+1 ( x ) ………..(6)

The function of the second kind Y ν ( x ) and the Hankel functions H ν

(1 ) ( x ) , H ν( 2)(x) satisfy the same recurrence formulae. For example

Y ν−1 ( x )=J ν−1 ( x ) cos (ν−1 ) π−J−ν+1 ( x )

sin(ν−1)π=

J ν−1 ( x )cos νπ+J−ν+1 (x )sin νπ

Y ν +1 ( x )=J ν +1 ( x ) cos (ν+1 ) π−J−ν−1 ( x )

sin (ν+1)π=

J ν+1 ( x ) cos νπ+J−ν−1 ( x )sin νπ

Thus adding and using (5), we have

Y ν−1 ( x )+Y ν+1 (x )=

2νx

J ν cos νπ+(−2νx

)J−ν (x)

sin νπ=2 ν

xY ν ( x )……… (7)

The other recurrence formulae can be proved in the same way.

Page 9: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

(b) The generating function for the Bessel coefficients: Provided t is not zero, the functions e

12 x t and e

−12

xt can be expanded in powers of t, and

product of these expansion gives

exp 12

x (t−1t )=∑

r=0

∞ 1r ! ( xt

2 )r

∑s=0

∞ 1s ! (−x

2 t )s

=∑r=0

∑s=0

∞ (−1)s

r !s ! ( x2 )

r+s

+r−s

Term by term multiplication of the series being permissible because of the absolute convergence of the separate series. The coefficients of tn(n a positive integer or zero) is found by taking n = r-s i.e. r = n+s and taking s very form 0 to infinity. Thus the coefficients of tn is

∑s=0

∞ (−1)n

(n+s )! s ! ( x2 )

n+2 s

=J n ( x )

The coefficients of t -n (n a positive integer) is found by taking r = -n+s and taking s very from n to infinity. Thus the coefficient of t -n =∑s=n

∞ (−1)s

(−n+s )! s ! ( x2 )

−n+ 2 s

=J−n ( x ) [see equ. (4) of 3.1]

Hence exp {x2 (t−1

t )}=∑−∞

+∞

t n Jn ( x ) ……….(8)

And the exponential function on the left can be regarded as the generating function of Jn(x). Because of the form of (8), the functions Jn(x) when n=0, 1, 2, 3… are often called the Bessel coefficients.

Example: Show that

exp (−i x sin θ )=J o (x )+2∑n=1

J 2 n (x ) cos2 nθ−2i∑n=0

J 2 n+1 ( x )

sin(2n+1)θ

Writing t=e−iθ∈(8)

exp {−12

x (e iθ−e−iθ )}=∑−∞

+∞

(−1 )n e inθ J n ( x )=J o ( x )+∑n=1

(−1)n {einθ+(−1)n e−inθ }J n (x ) .. ….(9)

Since J-n(x) =(-1)n Jn(x). The required result follows when we note that e iθ−e−iθ=2 isin θ and

(−1 )n e inθ+e−inθ=2 cosnθ , n even ,

Page 10: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

¿−2i sin nθ , n odd

(c) Bessel Integral

Equation (9) can be written as

exp (−i x sin θ )=J o (x )+∑n=0

{(−1 )n einθ+e−inθ} Jn ( x ) ………(10)

Since ∫o

2 π

e inθ dθ=2 π , when r=0 and vanishes when r is an integer,

multiplication of (10) by e inθand integration w.r.t. θ between o and 2π gives formally

∫o

2 π

exp {i (nθ−x sin θ ) }dθ=2 π J n (x ) , ………(11)

n = 0, 1, 2, 3,

A rigorous proof however exists else where [Lebedeo –Special function and their applications] since Jn(x) is real, we can show by equating real and imaginary parts that

Jn ( x )= 12π∫o

cos ( nθ−x sin θ ) dθ= 1π∫o

π

cos ( nθ−x sinθ ) dθ ……(12)

and the expression (11) gives Bessel’s integral for Jn(x).

(d) Some integrals involving Bessel functions.

Using the result (3)

∫o

a

xν J ν−1 (x ) dx=[xν J ν ( x )]0a

If ν is real and positive then as x→ 0 , xν J ν ( x )→ 0 and so

∫o

a

xν J ν−1 (x ) dx=aν J ν ( a ) ,(ν>0) ………(13)

Page 11: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

and a similar integral can do obraiaed from the result (1). Other integrals of this type can be evaluated by such devices as integration by parts and use of recurrence formulae. Below we discuss an important integral

I=∫o

a

x J ν ( λx ) J ν (μx ) dx ……….(14)

Let u=J ν ( λx ) then u satisfies Bessel’s equation when u is written in place of y and λ in place of x. This can be written in the form,

x2 d2udx2 +x du

dx+( λ2 x2−ν2 )u=0 ………(15)

Similarly ν=J ν (μx) satisfies the equation

x2 d2 νdx2 +x dν

dx+( μ2 x2−ν2 ) u=0 ……..(16)

Multiplying by νxand u

x respectively and subtracting

( λ2−μ2 ) xuν=x(u d2 νdx2 −ν d2u

dx2 )+(u dνdx

−ν dudx )= d

dx {x (u dνdx

−ν dudx )} ….(17)

Substituting for u,v and integrating w.r.t. x between o and a

( λ2−μ2 )∫o

a

x J ν ( λx ) J ν (μx ) dx=[x {Jν ( λx ) J 'ν ( μx )−J ν (μx ) J '

ν ( λx ) }]oa=a [μ J ν ( λa ) J '

ν (μa )−λ J ν ( μa ) J 'ν ( λa ) ]……… (18)

And we have obtained the value of I in (14) when λ2≠ u2 i.e.λ ≠ ± μ .If λ=μ , the integral (14) becomes

Page 12: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

I=∫0

a

x J ν2 ( λx ) dx and from (18)

∫0

a

x J ν2 ( λx )dx=lim

μ → λ

a . μ J ν ( λa ) J ν' (μa )−aλ J ν ( μa ) J ν

' (λa)λ2−μ2

¿ limμ→ λ [−a

2 μδ

δμ {μ J ν' ( μa ) J ν ( λa )−λ J ν ( μa ) J ν J ν

' (λa)}][L’ Hospital’s theorem]

¿− a2 λ

limμ→ λ

{J ν ( λa ) J ν' ( μa )+aμ J ν ( λa ) J ν

' ' ( μa )− λa J ν' ( λa ) J ν

' ( μa ) }

¿ a2

2 [ {J ν' ( λa ) }2−J ν ( λa ) J ν

' ' ( λa )− 1λa

Jν ( λa ) J ν' (λa)] ……….(19)

Since Jν ( λa) satisfies the Bessel’s equation

Jν' ' ( λa )+ 1

λaJ ν

' ( λa )+(1− ν2

λ2a2 )J ν( λa)=0 ………….....(20)

We get using (19) and (20)

∫0

a

x J ν2 ( λx )dx=a2

2 [ {J ν' ( λa)}2+(1− ν2

λ2a2 )J ν2 ( λa )] …….(21)

Interesting results comes out when λ is such that Jν ( λa )=0

This case we shall discuss below.

(e) Fourier Bessel series

Taking λ=α r , μ=α s when α r and α s are two positive roots of the equation Jν (αa )=0 and substituting in (18) and (21) we have

∫0

a

x J ν ( α r x ) J ν (α s x ) dx=0 , r≠ s…………………(22)

∫0

a

x J ν2 ( α r x ) dx=1

2a2 {J ν

' ( αr a )}2, r=1 ,2 ,3…………….(23)

Page 13: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

Hence the functions x12 J ν (α r x ) ,r=1 ,2 , 3 …… where α r are the roots of Jν (αa )

=0 are orthogonal in the interval (0, a), and the possibility of expanding an arbitry functions f (x) in the form

f ( x )=b1 J ν ( α1 x )+b2 J ν ( α2 x)+… ..+br J ν (α r x )+…,(0<x<a)

……(24)

Assuming this to be possible [for a certain class of function f (x)]

multiplication of (24) by x J ν ( αr x ) and the use of (22) and (23) leads to

∫0

a

x f (x )J ν ( αr x ) dx=br . 12

a2 {J ν' (α r a)}2…………………(25)

the other term on the r.h.s. vanishes by the virtue of (22). The recurrence relation (2) gives

ναr a

(α r a )−J ν' (α r a )=J ν+1(αr a)

and since Jν (αr a)=0 it follows that Jν' (α r a )=−J ν +1(α r a)

Thus (25) gives

br=2

a2 J ν+12 (αr a)

∫0

a

x f ( x ) J ν ( αr x ) dx……………………………(26)

Equation (26) gives a formulae from which the coefficient in the series on right of (24) can be calculated and, from the analogy with the Fourier series, this series is called Fourier Bessel series.

The analysis given above is, of course, purely formal and no attempt has been made to discuss the condition under which such an expansion of an arbitrary function is legitimate. A full discussion of these will be found in Watson’s standard treaties. By choosing α r to be the roots of equations other than Jν (αr a) = 0, other expansions can be obtained, an example will be found in Exercise III [usually needed in Acoustics or Electro-Magnetic diffraction in a mixed boundary value problem].

Page 14: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

3.5 Asymptotic Values

In physical problems it is often describe to be able to approximate to the Bessel functions Jν (x ) and Y ν (x ) when x is large For such values of x, the series defining these function converge slowly but useful approximation can be obtained as follows. Writing y=u eix in Bessel’s equation we obtain

(x2 d2 udx2 =x du

dx−ν2u)+i(2 x2 du

dx+x u)=0 …………(1)

and we seek a solution of the form u=∑r=0

an xρ+nsubstituting in (1), the term with the highest power of x is ia0 (2 ρ+1 ) xρ+1and equating its coefficient to zero, ρ=−1

2 with this value of ρ the recurrence relation between the coefficients ar+1 and ar is found in the usual way to be

ar+1=i{4 ν2−(2 r+1)2

23(r+1) }ar ……………..(2)

The resulting series is not convergent but it can, nevertheless, be used to find numerical values of the solution. For large values of x , we can take a first approximation to the solution of Bessel’s equation to be y=ue ix i.e. y=a0 x

−12 e ix and another approximate solution can similarly be found to be

b0 x−12 e−ix. The standard solution Jν ( x ) ,Y ν ( x )can be identified with

combinations of these approximate solutions by writing

Jν ( x ) √ 2πx

cos (x− π4− νπ

2 ) Y ν ( x ) √ 2

πxsin (x−π

4−

νπ2 )…………………………….(3)

Page 15: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

It is easy to verify that when ν=12 , these approximation yield the exact

solution J 12

(x )=√ 2π x

sin x∧Y 12

( x )=−√ 2π x

cos x. The result (3) can of course be

improved by using the recurrence relation (2) to calculate the coefficients further turns in the series giving u in descending powers of x. Such series are called asymptotic series and the reader is referred to more advanced treaties for full discussion.

3.6 Modified Bessel function.

Writing ix in place of x, Bessel’s equation becomes

d2 yd x2 + 1

xdydx

−(1+ ν2

x2 ) y=0 ………………(1)

And this ‘modified’ equation plays a significant role in science and engineering. Working exactly in the same way as in example 2, 1.1 , one solution of this equation is given by the function

I ν ( x )∑r=0

∞ ( x2 )

ν+2r

r ! Γ (ν+r+1)=(i )−ν J ν (ix ) ……………..(2)

The introduction of Jν (ix) in the second part of Equation (2) is useful but it is of course, only formal as we have not defined the Bessel function for imaginary arguments. However this procedure can be justified by appealing to works discussing Bessel function of the complex variable. The function I ν (x) is called the modified Bessel function of the first kind of order ν and it is a solution of Bessel’s modified equation for all values of ν.

As was the case with Bessel’s equation, certain difficulties arise in finding a second solution of the modified equation when ν=n (n zero∨positive integer). It is conventional to denote the second solution by k ν (x) and to define it by the relation.

Page 16: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

kν ( x )=cosec νπ {I−ν ( x )−I ν ( x ) } ……………(3)

or by the limit of the expression on the right ν=n . The function K ν ( x ) so defined is known as the modified Bessel function of the second kind of order ν and it can be shown that

K0 ( x )=−( logex2+γ )I 0 ( x )+∑

r=1

∞ ( x2 )

2 r

r ! r! (1+12+

13+…+

1r ) ………..(4)

While for n=1 ,2 ,3 ….

Kn ( x )=(−1)n+1( logex2+γ )I n ( x )+ 1

2∑r=0

n−1 (−1 )r(n−r−1)!r ! ( x

2 )2 r−n

+(−1 )n 12∑r=0

∞ ( x2 )

2r+n

r !(n+r )! {1+12+

13+…+

1r+1+

12+…+

1n+r } ……(5)

The term corresponding to r=0 in the second series being

( x2 )

n

. 1n ! {1+1

2+ 1

3+…+ 1

n }In terms of these functions, the general solution of the modified equation (1) is, for all values of

y=A I ν ( x )+B K ν (x )………………………………(6)

Where A, B are arbitrary constants.

The modified function which occur most frequently in practical applications are those of order zero and unity. Rough graph are shown

Page 17: IIT Guwahatis_Functions.docx · Web view3.1. Bessel’s Equation: As we have pointed above that the equation d 2 y dx 2 + 1 x dy dx + 1- ν 2 x 2 y=0 …………(1)In which ν is

It is more convenient to plot e− x I n ( x )∧ex Kn (x ) , than the function themselves because of the behavior of the function for large value of x. This can be shown to be

I ν ( x ) ex

√2πx , K ν ( x ) √ π

2 xe− x ……………(7)

The modified function I ν ( x ), K ν ( x ) bear to exponential function e± x.

Similar relations to those which the function Jν ( x ) , Y ν ( x ) bear to the trigonometrical function, and the modified functions have no zeroes for real values of x. Some useful properties are given in the exercises. Numerical values for various ν∧x may be found in Tables.