Exercise 12.  Find the image of the upper half-plane   [Graphics:Images/MapElementaryFunModHome_gr_581.gif]   under   [Graphics:Images/MapElementaryFunModHome_gr_582.gif].  

Solution 12.

Answer.   The image of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_583.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_584.gif]

is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_585.gif]   slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_586.gif].

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_587.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_588.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_589.gif],   then the image of  

[Graphics:../Images/MapElementaryFunModHome_gr_590.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_591.gif]  is the horizontal strip  [Graphics:../Images/MapElementaryFunModHome_gr_592.gif]  slit along the ray  [Graphics:../Images/MapElementaryFunModHome_gr_593.gif].

Solution.   The mapping  [Graphics:../Images/MapElementaryFunModHome_gr_594.gif]  can be written as a composition  

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

where   

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

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

The upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_598.gif]   can be expressed in the form

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

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

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

                    or   [Graphics:../Images/MapElementaryFunModHome_gr_602.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_603.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_604.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_605.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_606.gif].   

We can solve   [Graphics:../Images/MapElementaryFunModHome_gr_607.gif]   and get   [Graphics:../Images/MapElementaryFunModHome_gr_608.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_609.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_610.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_611.gif]   which in turn implies   [Graphics:../Images/MapElementaryFunModHome_gr_612.gif].  

Thus, the image of    [Graphics:../Images/MapElementaryFunModHome_gr_613.gif]    under    [Graphics:../Images/MapElementaryFunModHome_gr_614.gif]    is    [Graphics:../Images/MapElementaryFunModHome_gr_615.gif],

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

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

Thus, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_619.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_620.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_621.gif],

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

        It helps if we determine the image of the set  [Graphics:../Images/MapElementaryFunModHome_gr_623.gif].

Use    [Graphics:../Images/MapElementaryFunModHome_gr_624.gif]   and the formulas

                    [Graphics:../Images/MapElementaryFunModHome_gr_625.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_626.gif].   

Then   [Graphics:../Images/MapElementaryFunModHome_gr_627.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_628.gif]  which in turn implies that     [Graphics:../Images/MapElementaryFunModHome_gr_629.gif].  

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_630.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_631.gif].

        Hence, the image   [Graphics:../Images/MapElementaryFunModHome_gr_632.gif]   under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_633.gif]

is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_634.gif].   However, the required image will be missing a certain ray.

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

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

So the image of  T  will be the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_638.gif]

minus the image of the interval   [Graphics:../Images/MapElementaryFunModHome_gr_639.gif].

Here we have   [Graphics:../Images/MapElementaryFunModHome_gr_640.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_641.gif]  which in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_642.gif].  

Also, we have   [Graphics:../Images/MapElementaryFunModHome_gr_643.gif]   so that   [Graphics:../Images/MapElementaryFunModHome_gr_644.gif].   

Thus, the image of the segment  [Graphics:../Images/MapElementaryFunModHome_gr_645.gif]  under   [Graphics:../Images/MapElementaryFunModHome_gr_646.gif]  

is the ray   [Graphics:../Images/MapElementaryFunModHome_gr_647.gif].

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

is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_650.gif]   slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_651.gif].

        Therefore, the image of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_652.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_653.gif]

is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_654.gif]   slit along the ray   [Graphics:../Images/MapElementaryFunModHome_gr_655.gif].

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_658.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_659.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_660.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_661.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_662.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_663.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_664.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_665.gif]  

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

The point  [Graphics:../Images/MapElementaryFunModHome_gr_667.gif]  can be explained in more detail, and depends on which quadrant you approach  [Graphics:../Images/MapElementaryFunModHome_gr_668.gif],
this requires visualizing the four values of zero:[Graphics:../Images/MapElementaryFunModHome_gr_669.gif].  

We are really done.   

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

          Here the values   [Graphics:../Images/MapElementaryFunModHome_gr_670.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_671.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_672.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_673.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_674.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_675.gif]    are calculated as limits.

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

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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