Theorem 5.1 (The exponential function).  The function  [Graphics:Images/ComplexFunExponentialMod_gr_14.gif]  is an entire function satisfying the following conditions:

  (i).   [Graphics:Images/ComplexFunExponentialMod_gr_15.gif],  using Leibniz notation  [Graphics:Images/ComplexFunExponentialMod_gr_16.gif].  

Demonstration for Theorem 5.1 (i).

Enter the D.E. with the given initial condition and solve it.
Then enter the function  [Graphics:../Images/ComplexFunExponentialMod_gr_40.gif],  compute  [Graphics:../Images/ComplexFunExponentialMod_gr_41.gif].  

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



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

 

 


Construct the Maclaurin series for  [Graphics:../Images/ComplexFunExponentialMod_gr_44.gif],  compute  [Graphics:../Images/ComplexFunExponentialMod_gr_45.gif].  

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



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

 

 


Determine the real and imaginary parts of  [Graphics:../Images/ComplexFunExponentialMod_gr_48.gif].  

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



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

 

 


Determine the real and imaginary parts of the series [Graphics:../Images/ComplexFunExponentialMod_gr_51.gif].  

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



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

 

 


Compare the above results with the two variable Taylor series expansions for  [Graphics:../Images/ComplexFunExponentialMod_gr_54.gif].  

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



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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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