Example 2.14.  Show, if  [Graphics:Images/ComplexFunLimitMod_gr_23.gif],  then  [Graphics:Images/ComplexFunLimitMod_gr_24.gif].  

Solution.  If  [Graphics:Images/ComplexFunLimitMod_gr_25.gif],  and  [Graphics:Images/ComplexFunLimitMod_gr_26.gif]  then  

            [Graphics:Images/ComplexFunLimitMod_gr_27.gif].  

Because  [Graphics:Images/ComplexFunLimitMod_gr_28.gif]  and because  [Graphics:Images/ComplexFunLimitMod_gr_29.gif],  we have

            [Graphics:Images/ComplexFunLimitMod_gr_30.gif]  whenever  [Graphics:Images/ComplexFunLimitMod_gr_31.gif].

Hence, for any  [Graphics:Images/ComplexFunLimitMod_gr_32.gif],  Inequality (2-15) is satisfied for  [Graphics:Images/ComplexFunLimitMod_gr_33.gif];  that is, [Graphics:Images/ComplexFunLimitMod_gr_34.gif] has the limit  [Graphics:Images/ComplexFunLimitMod_gr_35.gif]  as [Graphics:Images/ComplexFunLimitMod_gr_36.gif] approaches [Graphics:Images/ComplexFunLimitMod_gr_37.gif].

Explore Solution 2.14.

Enter the function  [Graphics:../Images/ComplexFunLimitMod_gr_38.gif].  

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


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

Find the iterated limit,  [Graphics:../Images/ComplexFunLimitMod_gr_41.gif].  

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




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

 

 

 

Find the iterated limit,  [Graphics:../Images/ComplexFunLimitMod_gr_44.gif].  

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




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

 

 

 

Find the polar limit  [Graphics:../Images/ComplexFunLimitMod_gr_47.gif].  

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




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

 

 

 

So, along all lines through the origin, the limit is 0.

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




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

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

 

 

 

We see that the limit should be 0.

A more rigorous proof is needed for other approaches to the origin.  

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


We can use Mathematica to make a ContourPlot of  u(x,u).

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




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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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