Exercise 15.  Find the image of the sector   [Graphics:Images/MapElementaryFunModHome_gr_869.gif],   under   [Graphics:Images/MapElementaryFunModHome_gr_870.gif].  

Solution 15.

Answer.   The image of the sector   [Graphics:../Images/MapElementaryFunModHome_gr_871.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_872.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_873.gif].

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_874.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_875.gif]   is the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_876.gif],  

then the image of   [Graphics:../Images/MapElementaryFunModHome_gr_877.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_878.gif]   is  the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_879.gif].

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

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

where   

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

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

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

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

                    or   [Graphics:../Images/MapElementaryFunModHome_gr_886.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_887.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_888.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_889.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_890.gif].   Here we have   [Graphics:../Images/MapElementaryFunModHome_gr_891.gif].  

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_892.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_893.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_894.gif].  

        Hence, the image of the sector   [Graphics:../Images/MapElementaryFunModHome_gr_895.gif],  under the mapping  [Graphics:../Images/MapElementaryFunModHome_gr_896.gif]  

is the upper half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_897.gif].    

        The boundary of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_898.gif]   is the real axis   [Graphics:../Images/MapElementaryFunModHome_gr_899.gif],  

and we can give the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_900.gif]   a left orientation by using the points   [Graphics:../Images/MapElementaryFunModHome_gr_901.gif].

Then   [Graphics:../Images/MapElementaryFunModHome_gr_902.gif]   maps    [Graphics:../Images/MapElementaryFunModHome_gr_903.gif]    onto    [Graphics:../Images/MapElementaryFunModHome_gr_904.gif],  

which is a positive orientation for the unit circle   [Graphics:../Images/MapElementaryFunModHome_gr_905.gif].

        Hence, the image of the upper half plane   [Graphics:../Images/MapElementaryFunModHome_gr_906.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_907.gif]   is the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_908.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MapElementaryFunModHome_gr_909.gif]  in the upper half plane   [Graphics:../Images/MapElementaryFunModHome_gr_910.gif],  

then   [Graphics:../Images/MapElementaryFunModHome_gr_911.gif]   lies in the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_912.gif],

which leads us to conclude that the image region lies inside the unit circle  [Graphics:../Images/MapElementaryFunModHome_gr_913.gif].

          Therefore,  image of the sector   [Graphics:../Images/MapElementaryFunModHome_gr_914.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_915.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_916.gif].

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_919.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_920.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_921.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_922.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_923.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_924.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_925.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_926.gif]  

We are really done.   

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

          Here the values    [Graphics:../Images/MapElementaryFunModHome_gr_927.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_928.gif]    are computed as limits.  

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

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

          Similarly, the values    [Graphics:../Images/MapElementaryFunModHome_gr_931.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_932.gif]    are computed as limits.  

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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