Exercise 13.  Find the branch of   [Graphics:Images/MapElementaryFunModHome_gr_682.gif]   that maps the right half-plane   [Graphics:Images/MapElementaryFunModHome_gr_683.gif]  

onto the right half-plane    [Graphics:Images/MapElementaryFunModHome_gr_684.gif]    slit along the segment   [Graphics:Images/MapElementaryFunModHome_gr_685.gif].  

Solution 13.

Answer.   Use  the principal branch of the square root  [Graphics:../Images/MapElementaryFunModHome_gr_686.gif].

Solution.   The desired mapping  is  [Graphics:../Images/MapElementaryFunModHome_gr_687.gif]  and can be written as a composition  

                    [Graphics:../Images/MapElementaryFunModHome_gr_688.gif],    

where   

                    [Graphics:../Images/MapElementaryFunModHome_gr_689.gif],   and   

                    [Graphics:../Images/MapElementaryFunModHome_gr_690.gif],  

and the principal branch of the square root  [Graphics:../Images/MapElementaryFunModHome_gr_691.gif]  is used.   

        The right half-plane can be expressed as

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

The mapping  [Graphics:../Images/MapElementaryFunModHome_gr_693.gif] can be expressed as

                    [Graphics:../Images/MapElementaryFunModHome_gr_694.gif],  

                    or   [Graphics:../Images/MapElementaryFunModHome_gr_695.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_696.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_697.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_698.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_699.gif].   Here we have   [Graphics:../Images/MapElementaryFunModHome_gr_700.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_701.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_702.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_703.gif].  

Thus, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_704.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_705.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_706.gif],

which is the Z-plane slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_707.gif].  

However, the mapping at hand is   [Graphics:../Images/MapElementaryFunModHome_gr_708.gif]   and it shifts the above region  S  to the right by the amount  [Graphics:../Images/MapElementaryFunModHome_gr_709.gif].

        Hence, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_710.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_711.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_712.gif],

which is the Z-plane slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_713.gif].  

        It helps if we observe that the image of the set  [Graphics:../Images/MapElementaryFunModHome_gr_714.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_715.gif]

is the right half-plane [Graphics:../Images/MapElementaryFunModHome_gr_716.gif].   However the required image will be missing a certain segment.

Recall that the domain of   [Graphics:../Images/MapElementaryFunModHome_gr_717.gif]   is the Z-plane slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_718.gif].   

But our set  T  is the Z-plane slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_719.gif].     

So the image of  T  will be the right half-plane [Graphics:../Images/MapElementaryFunModHome_gr_720.gif]

minus the image of the segment   [Graphics:../Images/MapElementaryFunModHome_gr_721.gif].

Then   [Graphics:../Images/MapElementaryFunModHome_gr_722.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_723.gif]  implies   [Graphics:../Images/MapElementaryFunModHome_gr_724.gif]  which in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_725.gif].  

Also, we have   [Graphics:../Images/MapElementaryFunModHome_gr_726.gif]   so that   [Graphics:../Images/MapElementaryFunModHome_gr_727.gif].   

Thus, the image of the segment  [Graphics:../Images/MapElementaryFunModHome_gr_728.gif]  under   [Graphics:../Images/MapElementaryFunModHome_gr_729.gif]  

is the segment   [Graphics:../Images/MapElementaryFunModHome_gr_730.gif].

        Hence, the image of the set   [Graphics:../Images/MapElementaryFunModHome_gr_731.gif]   under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_732.gif]  

is the right half-plane    [Graphics:../Images/MapElementaryFunModHome_gr_733.gif]    slit along the segment   [Graphics:../Images/MapElementaryFunModHome_gr_734.gif].  

        Therefore, the image of the right half-plane    [Graphics:../Images/MapElementaryFunModHome_gr_735.gif]    under    [Graphics:../Images/MapElementaryFunModHome_gr_736.gif]

is the right half-plane    [Graphics:../Images/MapElementaryFunModHome_gr_737.gif]    slit along the segment   [Graphics:../Images/MapElementaryFunModHome_gr_738.gif].  

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_741.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_742.gif].

     It is easy to trace the images of   [Graphics:../Images/MapElementaryFunModHome_gr_743.gif]   under the mapping  [Graphics:../Images/MapElementaryFunModHome_gr_744.gif]
which are mapped onto the points   [Graphics:../Images/MapElementaryFunModHome_gr_745.gif].  

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_746.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_747.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_748.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_749.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_750.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_751.gif]  

We are really done.   

Aside.   If it is important then we can include the following details.

The image of the branch cut for  [Graphics:../Images/MapElementaryFunModHome_gr_752.gif]  has four pieces which are shown with dashed lines and rays in the w-plane.  

Notice that for  [Graphics:../Images/MapElementaryFunModHome_gr_753.gif] we chose  [Graphics:../Images/MapElementaryFunModHome_gr_754.gif]  and  for [Graphics:../Images/MapElementaryFunModHome_gr_755.gif]  we chose  [Graphics:../Images/MapElementaryFunModHome_gr_756.gif].

This requires visualizing the two values of  [Graphics:../Images/MapElementaryFunModHome_gr_757.gif]:[Graphics:../Images/MapElementaryFunModHome_gr_758.gif],
and depends on which half-plane you approach  [Graphics:../Images/MapElementaryFunModHome_gr_759.gif],  i.e.

                    [Graphics:../Images/MapElementaryFunModHome_gr_760.gif],    and  
                    
                    [Graphics:../Images/MapElementaryFunModHome_gr_761.gif].  

The point  [Graphics:../Images/MapElementaryFunModHome_gr_762.gif]  can be explained in more detail, and depends on which half-plane you approach  [Graphics:../Images/MapElementaryFunModHome_gr_763.gif],
this requires visualizing the two values of zero:[Graphics:../Images/MapElementaryFunModHome_gr_764.gif].  

                    [Graphics:../Images/MapElementaryFunModHome_gr_765.gif],    and  
                    
                    [Graphics:../Images/MapElementaryFunModHome_gr_766.gif].  

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_767.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_768.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_769.gif]  

          [Graphics:../Images/MapElementaryFunModHome_gr_770.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_771.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_772.gif]  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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