Exercise 12.  Find the image of the right half plane  [Graphics:Images/MapTrigonometricFunModHome_gr_850.gif]  under the mapping   [Graphics:Images/MapTrigonometricFunModHome_gr_851.gif].  

Solution 12.

Answer.   The image of the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_852.gif]  under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_853.gif]   

is the vertical strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_854.gif].  

Hint.   Extend the results in Example 10.12.

Short Solution.   The image of the right half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_855.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_856.gif]   is the lower half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_857.gif].  

Then the image of the lower half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_858.gif],   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_859.gif]   is the horizontal strip  

[Graphics:../Images/MapTrigonometricFunModHome_gr_860.gif].   Then the image of the horizontal strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_861.gif],  

under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_862.gif]   is the the vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_863.gif].  

Therefore, the image of the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_864.gif]  under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_865.gif]   

is the vertical strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_866.gif].  

We might be done.   

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

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

where   

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

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

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

        The boundary of the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_872.gif]  is the imaginary axis  [Graphics:../Images/MapTrigonometricFunModHome_gr_873.gif],  

and we can give the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_874.gif]  a left orientation by using the points   [Graphics:../Images/MapTrigonometricFunModHome_gr_875.gif].

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_876.gif]   maps    [Graphics:../Images/MapTrigonometricFunModHome_gr_877.gif]    onto    [Graphics:../Images/MapTrigonometricFunModHome_gr_878.gif],  

which is a left orientation for the lower half-plane [Graphics:../Images/MapTrigonometricFunModHome_gr_879.gif].  

        Hence, the image of the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_880.gif]  under  [Graphics:../Images/MapTrigonometricFunModHome_gr_881.gif]  is the lower half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_882.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MapTrigonometricFunModHome_gr_883.gif]  in the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_884.gif],  

then   [Graphics:../Images/MapTrigonometricFunModHome_gr_885.gif]   lies in the lower half-plane [Graphics:../Images/MapTrigonometricFunModHome_gr_886.gif].  

        The lower half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_887.gif]   can be written in the form   [Graphics:../Images/MapTrigonometricFunModHome_gr_888.gif].

Recall that   [Graphics:../Images/MapTrigonometricFunModHome_gr_889.gif]   which can be written as  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_890.gif]   and   [Graphics:../Images/MapTrigonometricFunModHome_gr_891.gif].

Then,   [Graphics:../Images/MapTrigonometricFunModHome_gr_892.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_893.gif]   which in turn implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_894.gif].   

Also,   [Graphics:../Images/MapTrigonometricFunModHome_gr_895.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_896.gif].   

        Hence, the image of the lower half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_897.gif],  under the mapping  

[Graphics:../Images/MapTrigonometricFunModHome_gr_898.gif]  is the horizontal strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_899.gif].

        Finally, the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_900.gif]  is a rotation of the plane about the origin by [Graphics:../Images/MapTrigonometricFunModHome_gr_901.gif] counter-clockwise and then shrinking by the factor [Graphics:../Images/MapTrigonometricFunModHome_gr_902.gif].

        Hence, the image of the horizontal strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_903.gif],   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_904.gif]

is the the vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_905.gif].  

        Therefore, the image of the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_906.gif]  under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_907.gif]   

is the vertical strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_908.gif].  

We are done.   

Aside.  We can look at some graphs of the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_909.gif].

 

          [Graphics:../Images/MapTrigonometricFunModHome_gr_910.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_911.gif]

          [Graphics:../Images/MapTrigonometricFunModHome_gr_912.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_913.gif]

            The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_918.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_919.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_920.gif].

          [Graphics:../Images/MapTrigonometricFunModHome_gr_914.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_915.gif]

            [Graphics:../Images/MapTrigonometricFunModHome_gr_916.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_917.gif]

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_918.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_919.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_920.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_921.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_922.gif],  [Graphics:../Images/MapTrigonometricFunModHome_gr_923.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_924.gif]  

          [Graphics:../Images/MapTrigonometricFunModHome_gr_925.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_926.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_927.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_928.gif]  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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