Exercise 7.  Show that the function  [Graphics:Images/MapElementaryFunModHome_gr_226.gif]  maps the horizontal strip  [Graphics:Images/MapElementaryFunModHome_gr_227.gif]  onto the region  [Graphics:Images/MapElementaryFunModHome_gr_228.gif].

Solution 7.

Answer.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_229.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_230.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_231.gif].  

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_232.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_233.gif]   is    [Graphics:../Images/MapElementaryFunModHome_gr_234.gif],  

then the image of   [Graphics:../Images/MapElementaryFunModHome_gr_235.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_236.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_237.gif].  

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

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

where   

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

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

The horizontal strip can be expressed as   [Graphics:../Images/MapElementaryFunModHome_gr_242.gif].

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

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

where we have   

                    [Graphics:../Images/MapElementaryFunModHome_gr_245.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_246.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_247.gif]   implies that  [Graphics:../Images/MapElementaryFunModHome_gr_248.gif]   implies that  [Graphics:../Images/MapElementaryFunModHome_gr_249.gif]

which in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_250.gif].    

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_251.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_252.gif].  

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

is the  the lower half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_255.gif]

        The boundary of the lower half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_256.gif]   is the real axis   [Graphics:../Images/MapElementaryFunModHome_gr_257.gif],  

and we can give the lower half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_258.gif]   a left orientation by using the points  [Graphics:../Images/MapElementaryFunModHome_gr_259.gif].

Then   [Graphics:../Images/MapElementaryFunModHome_gr_260.gif]   maps   [Graphics:../Images/MapElementaryFunModHome_gr_261.gif]   onto   [Graphics:../Images/MapElementaryFunModHome_gr_262.gif],  

which is a clockwise orientation for the unit circle   [Graphics:../Images/MapElementaryFunModHome_gr_263.gif].

        Hence, the image of the lower half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_264.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_265.gif]   is the region   [Graphics:../Images/MapElementaryFunModHome_gr_266.gif].  

Furthermore, as a double-check we can choose the point   [Graphics:../Images/MapElementaryFunModHome_gr_267.gif]   in the lower half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_268.gif],  

then   [Graphics:../Images/MapElementaryFunModHome_gr_269.gif]   lies in the region   [Graphics:../Images/MapElementaryFunModHome_gr_270.gif],  

which leads us to conclude that the image region lies outside the unit circle  [Graphics:../Images/MapElementaryFunModHome_gr_271.gif].

        Therefore, the image of the horizontal strip  [Graphics:../Images/MapElementaryFunModHome_gr_272.gif]  

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_273.gif]   is the region   [Graphics:../Images/MapElementaryFunModHome_gr_274.gif].  

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_277.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_278.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_279.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_280.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_281.gif]  

                                         [Graphics:../Images/MapElementaryFunModHome_gr_282.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_283.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_284.gif]  

We are really done.   

Aside.   If it is important then we can include the following details.

          Here the values    [Graphics:../Images/MapElementaryFunModHome_gr_285.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_286.gif]    are calculated with limits

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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