Exercise 9.  Show that the function   [Graphics:Images/MapTrigonometricFunModHome_gr_654.gif]   maps the rectangle   [Graphics:Images/MapTrigonometricFunModHome_gr_655.gif]   one-to-one and onto

the portion of the upper half plane   [Graphics:Images/MapTrigonometricFunModHome_gr_656.gif]   that lies inside the ellipse   [Graphics:Images/MapTrigonometricFunModHome_gr_657.gif].

Solution 9.

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

Solution.   Using Equation (5-33), we write  

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

If  [Graphics:../Images/MapTrigonometricFunModHome_gr_659.gif],  then the image of the vertical line  [Graphics:../Images/MapTrigonometricFunModHome_gr_660.gif]  is the curve in the w plane given by the parametric equations  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_661.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_662.gif],     for    [Graphics:../Images/MapTrigonometricFunModHome_gr_663.gif].  

The inequalities   [Graphics:../Images/MapTrigonometricFunModHome_gr_664.gif]   imply that the image points lie in the upper half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_665.gif].  

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

When  [Graphics:../Images/MapTrigonometricFunModHome_gr_667.gif]  the image curve approaches the ray   [Graphics:../Images/MapTrigonometricFunModHome_gr_668.gif].  

When  [Graphics:../Images/MapTrigonometricFunModHome_gr_669.gif]  the image curve approaches the ray   [Graphics:../Images/MapTrigonometricFunModHome_gr_670.gif].  

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_671.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_672.gif]  the upper half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_673.gif].   

        Next, using Equation (5-33), we write  

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

        If  [Graphics:../Images/MapTrigonometricFunModHome_gr_675.gif],  then the image of the horizontal segment  [Graphics:../Images/MapTrigonometricFunModHome_gr_676.gif]  is

the curve in the w-plane given by the parametric equations  

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

We rewrite them as  

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


We now eliminate x from the equations by squaring and using the trigonometric identity  [Graphics:../Images/MapTrigonometricFunModHome_gr_679.gif].  The result is the single equation

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

This curve is an ellipse in the w-plane that passes through the points  [Graphics:../Images/MapTrigonometricFunModHome_gr_681.gif]  and [Graphics:../Images/MapTrigonometricFunModHome_gr_682.gif]  and has foci at the points [Graphics:../Images/MapTrigonometricFunModHome_gr_683.gif].  

The inequality   [Graphics:../Images/MapTrigonometricFunModHome_gr_684.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_685.gif]   and   [Graphics:../Images/MapTrigonometricFunModHome_gr_686.gif],   and we can conclude

that the ellipse   [Graphics:../Images/MapTrigonometricFunModHome_gr_687.gif]   lies inside the bounding ellipse   [Graphics:../Images/MapTrigonometricFunModHome_gr_688.gif].  

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_689.gif],  lies inside the bounding ellipse   [Graphics:../Images/MapTrigonometricFunModHome_gr_690.gif].  

        Therefore, the image of the rectangle   [Graphics:../Images/MapTrigonometricFunModHome_gr_691.gif]   under the transformation   [Graphics:../Images/MapTrigonometricFunModHome_gr_692.gif]   is  

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

which is the portion of the upper half plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_694.gif]  that lies inside the ellipse   [Graphics:../Images/MapTrigonometricFunModHome_gr_695.gif].  

We are done.   

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

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_697.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_698.gif]

  

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_699.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_700.gif]

  

                                        The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_701.gif].

                                        Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_702.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_703.gif]  

                                        [Graphics:../Images/MapTrigonometricFunModHome_gr_704.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_705.gif]  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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