Example 2.21.  Show that the function  [Graphics:Images/ComplexFunBranchMod_gr_55.gif]  is discontinuous along the negative real axis.  

Solution.  Let  [Graphics:Images/ComplexFunBranchMod_gr_56.gif]  denote a negative real number.  We compute the limit as z approaches [Graphics:Images/ComplexFunBranchMod_gr_57.gif] through the upper half-plane [Graphics:Images/ComplexFunBranchMod_gr_58.gif] and the limit as z approaches [Graphics:Images/ComplexFunBranchMod_gr_59.gif] through the lower half-plane [Graphics:Images/ComplexFunBranchMod_gr_60.gif] .  In polar coordinates these limits are given by    

            [Graphics:Images/ComplexFunBranchMod_gr_61.gif],  and  

            [Graphics:Images/ComplexFunBranchMod_gr_62.gif].  

As the two limits are distinct, the function [Graphics:Images/ComplexFunBranchMod_gr_63.gif] is discontinuous at [Graphics:Images/ComplexFunBranchMod_gr_64.gif].

Remark 2.4  Likewise,  [Graphics:Images/ComplexFunBranchMod_gr_65.gif] is discontinuous at [Graphics:Images/ComplexFunBranchMod_gr_66.gif].  The mappings  [Graphics:Images/ComplexFunBranchMod_gr_67.gif],  [Graphics:Images/ComplexFunBranchMod_gr_68.gif],  and the branch cut are illustrated in Figure 2.18.

Explore Solution 2.21.

Enter the function  [Graphics:../Images/ComplexFunBranchMod_gr_69.gif][Graphics:../Images/ComplexFunBranchMod_gr_70.gif]  and find the limits as z approaches a point on the negative x-axis.

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





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

Since the two limits are different,  [Graphics:../Images/ComplexFunBranchMod_gr_73.gif][Graphics:../Images/ComplexFunBranchMod_gr_74.gif]  is discontinuous at all points  [Graphics:../Images/ComplexFunBranchMod_gr_75.gif]  along the negative real axis.

 

 

 [Graphics:Images/ComplexFunBranchMod_gr_76.gif]

                (a)  The branch  [Graphics:Images/ComplexFunBranchMod_gr_77.gif]    (where   [Graphics:Images/ComplexFunBranchMod_gr_78.gif]).   

[Graphics:Images/ComplexFunBranchMod_gr_79.gif]

                (b)  The branch  [Graphics:Images/ComplexFunBranchMod_gr_80.gif]   (where   [Graphics:Images/ComplexFunBranchMod_gr_81.gif]).  

            Figure 2.18  The branches  [Graphics:Images/ComplexFunBranchMod_gr_82.gif]  and  [Graphics:Images/ComplexFunBranchMod_gr_83.gif]  of  [Graphics:Images/ComplexFunBranchMod_gr_84.gif].   

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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