Exercise 14.  Show that the transformation  [Graphics:Images/MapElementaryFunModHome_gr_773.gif]  maps the portion of

the first quadrant  [Graphics:Images/MapElementaryFunModHome_gr_774.gif],  that lies outside the circle  [Graphics:Images/MapElementaryFunModHome_gr_775.gif]  onto the first quadrant  [Graphics:Images/MapElementaryFunModHome_gr_776.gif].

Solution 14.

Answer.   The image of the domain  [Graphics:../Images/MapElementaryFunModHome_gr_777.gif]  

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_778.gif]   is the first quadrant   [Graphics:../Images/MapElementaryFunModHome_gr_779.gif].  

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_780.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_781.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_782.gif],

then the image of   [Graphics:../Images/MapElementaryFunModHome_gr_783.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_784.gif]   is the first quadrant   [Graphics:../Images/MapElementaryFunModHome_gr_785.gif].  

Solution.   The portion of the first quadrant   [Graphics:../Images/MapElementaryFunModHome_gr_786.gif]  that lies outside the circle  [Graphics:../Images/MapElementaryFunModHome_gr_787.gif]   can be written as

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

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

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

where   

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

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

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

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

                    or   [Graphics:../Images/MapElementaryFunModHome_gr_795.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_796.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_797.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_798.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_799.gif].   Here we have   [Graphics:../Images/MapElementaryFunModHome_gr_800.gif].  

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_801.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_802.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_803.gif].  

        Hence, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_804.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_805.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_806.gif],

which is the portion of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_807.gif],   that lies outside the circle   [Graphics:../Images/MapElementaryFunModHome_gr_808.gif],    i. e.

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

(i).   First, the boundary of upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_810.gif]  is the real axis  [Graphics:../Images/MapElementaryFunModHome_gr_811.gif],  

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

We now illustrate how to use the point   [Graphics:../Images/MapElementaryFunModHome_gr_814.gif]   and its image   [Graphics:../Images/MapElementaryFunModHome_gr_815.gif]   in the w-plane.  

Here, we can interpret   [Graphics:../Images/MapElementaryFunModHome_gr_816.gif]   as the point at infinity along the negative u-axis.  

Thus, the image points  [Graphics:../Images/MapElementaryFunModHome_gr_817.gif]  

lie on the real axis  [Graphics:../Images/MapElementaryFunModHome_gr_818.gif],  and give the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_819.gif]    a left orientation.  

         So that, the image of the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_820.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_821.gif]  is  [Graphics:../Images/MapElementaryFunModHome_gr_822.gif].  

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

then  [Graphics:../Images/MapElementaryFunModHome_gr_825.gif]  lies in the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_826.gif] ,   

which leads us to conclude that the image of the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_827.gif]  is the the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_828.gif].  

(ii).   Second, the region  [Graphics:../Images/MapElementaryFunModHome_gr_829.gif]  can be given a left orientation by using the points   [Graphics:../Images/MapElementaryFunModHome_gr_830.gif].

Again, we now illustrate how to use the point   [Graphics:../Images/MapElementaryFunModHome_gr_831.gif]   and its image   [Graphics:../Images/MapElementaryFunModHome_gr_832.gif]   in the w-plane.  

Here, we can interpret   [Graphics:../Images/MapElementaryFunModHome_gr_833.gif]   as the point at infinity along the positive v-axis.  

Thus, the image points  [Graphics:../Images/MapElementaryFunModHome_gr_834.gif]  

give the right half plane   [Graphics:../Images/MapElementaryFunModHome_gr_835.gif]   a left orientation.  
        
        So that, the image of the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_836.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_837.gif]  is  [Graphics:../Images/MapElementaryFunModHome_gr_838.gif].  

        Now intersect the sets in  (i)  nd  (ii)  and get the conclusion.

        Hence, the image of the region  [Graphics:../Images/MapElementaryFunModHome_gr_839.gif]   

under  [Graphics:../Images/MapElementaryFunModHome_gr_840.gif]  is the first quadrant   [Graphics:../Images/MapElementaryFunModHome_gr_841.gif].  

        Therefore, the image of the region  [Graphics:../Images/MapElementaryFunModHome_gr_842.gif]  

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_843.gif]   is the first quadrant   [Graphics:../Images/MapElementaryFunModHome_gr_844.gif].  

Remark.  The point   [Graphics:../Images/MapElementaryFunModHome_gr_845.gif]   at infinity on the Riemann sphere joins all infinity points   

                    [Graphics:../Images/MapElementaryFunModHome_gr_846.gif]   in the extended complex plane.

Thus, we are allowed to use   [Graphics:../Images/MapElementaryFunModHome_gr_847.gif]   as our first choice for   [Graphics:../Images/MapElementaryFunModHome_gr_848.gif],  

and   [Graphics:../Images/MapElementaryFunModHome_gr_849.gif]   as our second choice for    [Graphics:../Images/MapElementaryFunModHome_gr_850.gif].

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_853.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_854.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_855.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_856.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_857.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_858.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_859.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_860.gif]  

We are really done.   

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

          Here the values    [Graphics:../Images/MapElementaryFunModHome_gr_861.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_862.gif]    are actually computed with directional limits

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

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

          Similarly, the values    [Graphics:../Images/MapElementaryFunModHome_gr_865.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_866.gif]    are computed with limits

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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