Exercise 1.  Find the image of the semi-infinite strip   [Graphics:Images/MapTrigonometricFunModHome_gr_1.gif]   under the mapping   [Graphics:Images/MapTrigonometricFunModHome_gr_2.gif].  

Solution 1.

Answer.   The image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_3.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_4.gif] is

[Graphics:../Images/MapTrigonometricFunModHome_gr_5.gif],   which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_6.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_7.gif].  

Hint.   Extend the results in Example 10.12.

Short Solution.   The image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_8.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_9.gif]   is

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

Then, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_11.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_12.gif]   is  [Graphics:../Images/MapTrigonometricFunModHome_gr_13.gif],   

which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_14.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_15.gif].  

Therefore, the image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_16.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_17.gif] is

[Graphics:../Images/MapTrigonometricFunModHome_gr_18.gif],   which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_19.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_20.gif].  

We might be done.   

Solution. Method I.   In Example 10.12 we showed that the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_21.gif]  can be written as the composition  

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

where   

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

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

        Recall that the product  [Graphics:../Images/MapTrigonometricFunModHome_gr_25.gif]  rotates the plane [Graphics:../Images/MapTrigonometricFunModHome_gr_26.gif] and magnifies by a factor of  [Graphics:../Images/MapTrigonometricFunModHome_gr_27.gif].  

For the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_28.gif],   also recall that   

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_29.gif][Graphics:../Images/MapTrigonometricFunModHome_gr_30.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_31.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_32.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_33.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_34.gif].   

Also, recall that   [Graphics:../Images/MapTrigonometricFunModHome_gr_35.gif].

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_36.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_37.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_38.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_39.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_40.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_41.gif]   is

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

which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_43.gif]  that lies in the fourth quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_44.gif].  

        Now find the inverse transformation for   [Graphics:../Images/MapTrigonometricFunModHome_gr_45.gif].

Apply equations (10-13)  and  (10-14)  in the form

(10-13)             [Graphics:../Images/MapTrigonometricFunModHome_gr_46.gif],

(10-14)             [Graphics:../Images/MapTrigonometricFunModHome_gr_47.gif].

Here we have  [Graphics:../Images/MapTrigonometricFunModHome_gr_48.gif]  and   [Graphics:../Images/MapTrigonometricFunModHome_gr_49.gif].  

Then  

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

Thus, the inverse transformation is   [Graphics:../Images/MapTrigonometricFunModHome_gr_51.gif].  

Then get  

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

Here we have

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_53.gif]    and    [Graphics:../Images/MapTrigonometricFunModHome_gr_54.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_55.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_56.gif]   implies

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

Then get

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

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

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

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

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

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

Thus   [Graphics:../Images/MapTrigonometricFunModHome_gr_64.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_65.gif].  

Also,   [Graphics:../Images/MapTrigonometricFunModHome_gr_66.gif]   implies    [Graphics:../Images/MapTrigonometricFunModHome_gr_67.gif]   implies [Graphics:../Images/MapTrigonometricFunModHome_gr_68.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_69.gif]  implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_70.gif]

Also,   [Graphics:../Images/MapTrigonometricFunModHome_gr_71.gif]   implies    [Graphics:../Images/MapTrigonometricFunModHome_gr_72.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_73.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_74.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_75.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_76.gif]   is

[Graphics:../Images/MapTrigonometricFunModHome_gr_77.gif],   which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_78.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_79.gif].  

        Therefore, the image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_80.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_81.gif] is

[Graphics:../Images/MapTrigonometricFunModHome_gr_82.gif],   which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_83.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_84.gif].  

We are done.   

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

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_86.gif],   followed by the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_87.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_88.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_89.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_90.gif]  

                                        [Graphics:../Images/MapTrigonometricFunModHome_gr_91.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_92.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_93.gif]  

We are really done.  

Solution. Method II.   In Example 10.12 we showed that the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_94.gif]  can be written as the composition  

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

where   

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

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

        Recall that the product  [Graphics:../Images/MapTrigonometricFunModHome_gr_98.gif]  rotates the plane [Graphics:../Images/MapTrigonometricFunModHome_gr_99.gif] and magnifies by a factor of  [Graphics:../Images/MapTrigonometricFunModHome_gr_100.gif].  

For the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_101.gif],   also recall that   

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_102.gif][Graphics:../Images/MapTrigonometricFunModHome_gr_103.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_104.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_105.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_106.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_107.gif].   

Also, recall that   [Graphics:../Images/MapTrigonometricFunModHome_gr_108.gif].

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_109.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_110.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_111.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_112.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_113.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_114.gif]   is

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

which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_116.gif]  that lies in the fourth quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_117.gif].  

        Next we will find the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_118.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_119.gif]. This will require that we  

find the images of the right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_120.gif],  the unit disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_121.gif],  and the lower half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_122.gif].

(i).    The right half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_123.gif]  can be given a left orientation with the points   [Graphics:../Images/MapTrigonometricFunModHome_gr_124.gif].

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_125.gif]   maps    [Graphics:../Images/MapTrigonometricFunModHome_gr_126.gif]    onto    [Graphics:../Images/MapTrigonometricFunModHome_gr_127.gif],  

which is a left orientation for the unit disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_128.gif].

(ii).   The unit disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_129.gif]  can be given a left orientation with the points  [Graphics:../Images/MapTrigonometricFunModHome_gr_130.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_131.gif]   maps    [Graphics:../Images/MapTrigonometricFunModHome_gr_132.gif]    onto    [Graphics:../Images/MapTrigonometricFunModHome_gr_133.gif]

which is a left orientation of the upper half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_134.gif].

(iii).  The lower half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_135.gif]  can be given a left orientation with the points  [Graphics:../Images/MapTrigonometricFunModHome_gr_136.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_137.gif]   maps   [Graphics:../Images/MapTrigonometricFunModHome_gr_138.gif]   onto   [Graphics:../Images/MapTrigonometricFunModHome_gr_139.gif]

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

        Hence, the image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_141.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_142.gif] is

the intersection of the three image sets in (i), (ii), and (iii), which is  [Graphics:../Images/MapTrigonometricFunModHome_gr_143.gif].

which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_144.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_145.gif].  

        Therefore, the image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_146.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_147.gif] is

[Graphics:../Images/MapTrigonometricFunModHome_gr_148.gif],   which is the portion of the disk  [Graphics:../Images/MapTrigonometricFunModHome_gr_149.gif]  that lies in the second quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_150.gif].  

We are really really done.   

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

 

[Graphics:../Images/MapTrigonometricFunModHome_gr_152.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_153.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_154.gif]

  

[Graphics:../Images/MapTrigonometricFunModHome_gr_155.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_156.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_157.gif]

  

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_158.gif],   followed by the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_159.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_160.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_161.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_162.gif]  

                                        [Graphics:../Images/MapTrigonometricFunModHome_gr_163.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_164.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_165.gif]  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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