Example 4.25.  The Bessel function [Graphics:Images/ComplexPowerSeriesMod_gr_210.gif] of order zero is defined by  

        [Graphics:Images/ComplexPowerSeriesMod_gr_211.gif],  

and termwise differentiation shows that its derivative is  

         [Graphics:Images/ComplexPowerSeriesMod_gr_212.gif]    

We leave as an exercise to show that the radius of convergence of these series is infinity.  The Bessel function [Graphics:Images/ComplexPowerSeriesMod_gr_213.gif] of order 1 is known to satisfy the differential equation  [Graphics:Images/ComplexPowerSeriesMod_gr_214.gif].

Explore Solution 4.25.

Look at some of the coefficients of and observe the relationship between the coefficients of  [Graphics:../Images/ComplexPowerSeriesMod_gr_215.gif].  

[Graphics:../Images/ComplexPowerSeriesMod_gr_216.gif]




[Graphics:../Images/ComplexPowerSeriesMod_gr_217.gif]

 

 

 

We see that  [Graphics:../Images/ComplexPowerSeriesMod_gr_218.gif] =[Graphics:../Images/ComplexPowerSeriesMod_gr_219.gif].  

Aside.  What does the Bessel function  [Graphics:../Images/ComplexPowerSeriesMod_gr_220.gif]  look like ?  Use Mathematica to graph the transformation  [Graphics:../Images/ComplexPowerSeriesMod_gr_221.gif].  

[Graphics:../Images/ComplexPowerSeriesMod_gr_222.gif]





[Graphics:../Images/ComplexPowerSeriesMod_gr_223.gif]

[Graphics:../Images/ComplexPowerSeriesMod_gr_224.gif]

The rectangle [Graphics:../Images/ComplexPowerSeriesMod_gr_225.gif]  was used because the graph of the real function  [Graphics:../Images/ComplexPowerSeriesMod_gr_226.gif]  is decreasing on the interval [Graphics:../Images/ComplexPowerSeriesMod_gr_227.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2006 John H. Mathews, Russell W. Howell