Exercise 15.  Show that the transformation   [Graphics:Images/MapTrigonometricFunModHome_gr_1133.gif]   is a one-to-one conformal mapping of

the semi-infinite strip   [Graphics:Images/MapTrigonometricFunModHome_gr_1134.gif]   onto the upper half plane  [Graphics:Images/MapTrigonometricFunModHome_gr_1135.gif].

Solution 15.

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

Short Solution.   The image of the semi-infinite strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_1136.gif]  under  [Graphics:../Images/MapTrigonometricFunModHome_gr_1137.gif]  

is the first quadrant   [Graphics:../Images/MapTrigonometricFunModHome_gr_1138.gif].   Then the image of the first quadrant   [Graphics:../Images/MapTrigonometricFunModHome_gr_1139.gif]   

under   [Graphics:../Images/MapTrigonometricFunModHome_gr_1140.gif]   is the upper half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_1141.gif].  

Therefore, the image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1142.gif]   under the mapping    [Graphics:../Images/MapTrigonometricFunModHome_gr_1143.gif]  

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

We might be done.   

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

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

where   

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

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

        Using Equation (5-33), we write  

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

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

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1152.gif]    and   [Graphics:../Images/MapTrigonometricFunModHome_gr_1153.gif],    for    [Graphics:../Images/MapTrigonometricFunModHome_gr_1154.gif].  

The inequalities  [Graphics:../Images/MapTrigonometricFunModHome_gr_1155.gif],  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_1156.gif]  imply that the image points lie in the first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1157.gif].  

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

When [Graphics:../Images/MapTrigonometricFunModHome_gr_1159.gif] the image curve approaches the positive Y axis where  [Graphics:../Images/MapTrigonometricFunModHome_gr_1160.gif].  

When [Graphics:../Images/MapTrigonometricFunModHome_gr_1161.gif] the image curve approaches the ray  [Graphics:../Images/MapTrigonometricFunModHome_gr_1162.gif].  

        Hence, the image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1163.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1164.gif]  

is the first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1165.gif].  

        The first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1166.gif]  can be expressed as

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

The mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_1168.gif]  can be written as  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1169.gif],    where  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1170.gif]    and    [Graphics:../Images/MapTrigonometricFunModHome_gr_1171.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_1172.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_1173.gif]   which in turn implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_1174.gif].  

Also,   [Graphics:../Images/MapTrigonometricFunModHome_gr_1175.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_1176.gif]   which in turn implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_1177.gif].  

        Hence, the image of the first quadrant  [Graphics:../Images/MapTrigonometricFunModHome_gr_1178.gif]  under   [Graphics:../Images/MapTrigonometricFunModHome_gr_1179.gif]   is the upper half-plane    

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

        Therefore, image of the semi-infinite strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_1181.gif]   under the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1182.gif]  

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

We are done.   

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

          

[Graphics:../Images/MapTrigonometricFunModHome_gr_1185.gif][Graphics:../Images/MapTrigonometricFunModHome_gr_1186.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1187.gif]

  

[Graphics:../Images/MapTrigonometricFunModHome_gr_1188.gif][Graphics:../Images/MapTrigonometricFunModHome_gr_1189.gif]     [Graphics:../Images/MapTrigonometricFunModHome_gr_1190.gif]

  

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1191.gif],   followed by the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_1192.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_1193.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_1194.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_1195.gif]  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_1196.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_1197.gif]             [Graphics:../Images/MapTrigonometricFunModHome_gr_1198.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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