Exercise 14.  Find the image of the first quadrant  [Graphics:Images/MapTrigonometricFunModHome_gr_1012.gif]  under the mapping   [Graphics:Images/MapTrigonometricFunModHome_gr_1013.gif].

Solution 14.

Answer.   The image of first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1014.gif]  under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1015.gif].
        
is the semi infinite vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1016.gif].  

Hint.   Extend the results in Example 10.13.  You can use the information in Figure 10.17.

Short Solution.   The transformation  [Graphics:../Images/MapTrigonometricFunModHome_gr_1017.gif]  maps the first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1018.gif]  onto the upper half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_1019.gif].  

Then  [Graphics:../Images/MapTrigonometricFunModHome_gr_1020.gif] maps the upper half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_1021.gif]  onto the semi-infinite vertical strip [Graphics:../Images/MapTrigonometricFunModHome_gr_1022.gif].  

Therefore, the image of the first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1023.gif]  under the composition mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1024.gif]  

is the semi-infinite vertical strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_1025.gif].  

We might be done.   

Solution.   The first quadrant   [Graphics:../Images/MapTrigonometricFunModHome_gr_1026.gif]  can be written as

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

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

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

where   

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

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

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

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

                    or   [Graphics:../Images/MapTrigonometricFunModHome_gr_1034.gif]    and    [Graphics:../Images/MapTrigonometricFunModHome_gr_1035.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_1036.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_1037.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_1038.gif].   Here we have   [Graphics:../Images/MapTrigonometricFunModHome_gr_1039.gif].  

Also,   [Graphics:../Images/MapTrigonometricFunModHome_gr_1040.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_1041.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_1042.gif].  

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_1043.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_1044.gif]   is   [Graphics:../Images/MapTrigonometricFunModHome_gr_1045.gif],

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

        For the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1047.gif]   we will use known properties about the inverse mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1048.gif].

        For the inverse mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_1049.gif]  we must determine the set in the w-plane so that it's image is  [Graphics:../Images/MapTrigonometricFunModHome_gr_1050.gif].

        Now we can use Equation (5-33) to write  

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

If  [Graphics:../Images/MapTrigonometricFunModHome_gr_1052.gif],  then the image of the vertical line  [Graphics:../Images/MapTrigonometricFunModHome_gr_1053.gif]  is the curve in the Z-plane given by the parametric equations  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1054.gif]    and    [Graphics:../Images/MapTrigonometricFunModHome_gr_1055.gif],    for    [Graphics:../Images/MapTrigonometricFunModHome_gr_1056.gif].  

The inequalities  [Graphics:../Images/MapTrigonometricFunModHome_gr_1057.gif]  imply that the image points lie

in the upper half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_1058.gif].   

Eliminate v from the parametric equations and the result is  [Graphics:../Images/MapTrigonometricFunModHome_gr_1059.gif].  

When [Graphics:../Images/MapTrigonometricFunModHome_gr_1060.gif] the image curve approaches the ray  [Graphics:../Images/MapTrigonometricFunModHome_gr_1061.gif].  

When [Graphics:../Images/MapTrigonometricFunModHome_gr_1062.gif] the image curve approaches the ray  [Graphics:../Images/MapTrigonometricFunModHome_gr_1063.gif].  

        Hence, the image of the semi infinite vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1064.gif]   

under the inverse mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1065.gif]  is the upper half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_1066.gif].   

        Hence, the image of the upper half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_1067.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1068.gif]  

is the semi infinite vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1069.gif]  

        Therefore, the image of first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1070.gif]  under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1071.gif].
        
is the semi infinite vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1072.gif].  

We are done.   

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

          

[Graphics:../Images/MapTrigonometricFunModHome_gr_1074.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1075.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1076.gif]

          

[Graphics:../Images/MapTrigonometricFunModHome_gr_1077.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1078.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1079.gif]

          

[Graphics:../Images/MapTrigonometricFunModHome_gr_1080.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1081.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1082.gif]

          

[Graphics:../Images/MapTrigonometricFunModHome_gr_1083.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1084.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1085.gif]

          

[Graphics:../Images/MapTrigonometricFunModHome_gr_1086.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1087.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1088.gif]

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1089.gif],   followed by the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1090.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_1091.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_1092.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_1093.gif]  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1094.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1095.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1096.gif]  

Aside.   In Section 5.5 we introduced the formula  

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

which is correct at least for values of z in the upper half plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_1098.gif].

The following compositions experiment with the composition  

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

where  

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

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

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

 

 

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1103.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1104.gif]  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1105.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1106.gif]

            The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1111.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_1112.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_1113.gif].   

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1107.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1108.gif]

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1109.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1110.gif]

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1111.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_1112.gif],   followed by   [Graphics:../Images/MapTrigonometricFunModHome_gr_1113.gif].   

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_1114.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_1115.gif],   [Graphics:../Images/MapTrigonometricFunModHome_gr_1116.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_1117.gif]  

[Graphics:../Images/MapTrigonometricFunModHome_gr_1118.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1119.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1120.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1121.gif]  

We are really really done.   

Remark.   For curiosity, consider the negative square root  [Graphics:../Images/MapTrigonometricFunModHome_gr_1122.gif]  in the form  [Graphics:../Images/MapTrigonometricFunModHome_gr_1123.gif]  and make this replacement

in the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_1124.gif].  Then the result would be

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

Now focus your attention on the term  [Graphics:../Images/MapTrigonometricFunModHome_gr_1126.gif]  and notice that it is similar to  [Graphics:../Images/MapTrigonometricFunModHome_gr_1127.gif].  

In Section 11.8 we will see that the inverse of the mapping  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1128.gif]    is    [Graphics:../Images/MapTrigonometricFunModHome_gr_1129.gif].

The Russian scientist Nikolai Egorovich Joukowsky studied the function

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

and how it is used to determine the so called "Joukowski airfoil."

We leave it for the reader to investigate the similarities between   [Graphics:../Images/MapTrigonometricFunModHome_gr_1131.gif]   and   [Graphics:../Images/MapTrigonometricFunModHome_gr_1132.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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