Example 2.20.  We consider some branches of the two-valued square root function  [Graphics:Images/ComplexFunBranchMod_gr_11.gif],  (where [Graphics:Images/ComplexFunBranchMod_gr_12.gif]).  Define the principal square root function as  

(2-28)            [Graphics:Images/ComplexFunBranchMod_gr_13.gif][Graphics:Images/ComplexFunBranchMod_gr_14.gif][Graphics:Images/ComplexFunBranchMod_gr_15.gif],  

where  [Graphics:Images/ComplexFunBranchMod_gr_16.gif]  and  [Graphics:Images/ComplexFunBranchMod_gr_17.gif] so that  [Graphics:Images/ComplexFunBranchMod_gr_18.gif].  The function [Graphics:Images/ComplexFunBranchMod_gr_19.gif] is a branch of [Graphics:Images/ComplexFunBranchMod_gr_20.gif].  Using the same notation, we can find other branches of the square root function.  For example, if we let

(2-29)            [Graphics:Images/ComplexFunBranchMod_gr_21.gif][Graphics:Images/ComplexFunBranchMod_gr_22.gif][Graphics:Images/ComplexFunBranchMod_gr_23.gif],    

    then
             [Graphics:Images/ComplexFunBranchMod_gr_24.gif]

so [Graphics:Images/ComplexFunBranchMod_gr_25.gif] can be thought of as "plus" and "minus" square root functions.  The negative real axis is called a branch cut for the functions [Graphics:Images/ComplexFunBranchMod_gr_26.gif].  Each point on the branch cut is a point of discontinuity for both functions [Graphics:Images/ComplexFunBranchMod_gr_27.gif].

Explore Solution 2.20.

Use Mathematica to graph the mapping  [Graphics:../Images/ComplexFunBranchMod_gr_28.gif][Graphics:../Images/ComplexFunBranchMod_gr_29.gif] where [Graphics:../Images/ComplexFunBranchMod_gr_30.gif].  

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





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

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

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

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

 

 


We can compare the above polar mapping with the cartesian coordinate mapping.

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





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

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

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

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

 

 


Use Mathematica to graph the mapping  [Graphics:../Images/ComplexFunBranchMod_gr_41.gif].  

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





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

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

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

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

 

 


We can compare the above polar mapping with the cartesian coordinate mapping.

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





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

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

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

[Graphics:../Images/ComplexFunBranchMod_gr_51.gif]
[Graphics:../Images/ComplexFunBranchMod_gr_52.gif]
[Graphics:../Images/ComplexFunBranchMod_gr_53.gif]


We have illustrated the two branches of the square root  [Graphics:../Images/ComplexFunBranchMod_gr_54.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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