Exercise 8.  Show that  [Graphics:Images/MapElementaryFunModHome_gr_289.gif]  maps the horizontal strip   [Graphics:Images/MapElementaryFunModHome_gr_290.gif]   onto the unit disk   [Graphics:Images/MapElementaryFunModHome_gr_291.gif].

Solution 8.

Answer.   The image of the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_292.gif]   under  [Graphics:../Images/MapElementaryFunModHome_gr_293.gif]  is the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_294.gif].  

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_295.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_296.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_297.gif],   

then the image of   [Graphics:../Images/MapElementaryFunModHome_gr_298.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_299.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_300.gif].  

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

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

where   

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

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

Recall that    [Graphics:../Images/MapElementaryFunModHome_gr_305.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_306.gif].   

Then   [Graphics:../Images/MapElementaryFunModHome_gr_307.gif]   implies that  [Graphics:../Images/MapElementaryFunModHome_gr_308.gif].

        Hence, the image of the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_309.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_310.gif]   is the right half plane   [Graphics:../Images/MapElementaryFunModHome_gr_311.gif].  

The boundary of the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_312.gif]   is the imaginary axis   [Graphics:../Images/MapElementaryFunModHome_gr_313.gif],  

and we can give the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_314.gif]   a left orientation by using the points   [Graphics:../Images/MapElementaryFunModHome_gr_315.gif].

Then   [Graphics:../Images/MapElementaryFunModHome_gr_316.gif]   maps    [Graphics:../Images/MapElementaryFunModHome_gr_317.gif]    onto    [Graphics:../Images/MapElementaryFunModHome_gr_318.gif],  

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

        Hence, the image of the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_320.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_321.gif]   is the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_322.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MapElementaryFunModHome_gr_323.gif]  in the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_324.gif],  

then   [Graphics:../Images/MapElementaryFunModHome_gr_325.gif]   lies in the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_326.gif],

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

        Therefore, the image of the horizontal strip  [Graphics:../Images/MapElementaryFunModHome_gr_328.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_329.gif]  is the unit disk  [Graphics:../Images/MapElementaryFunModHome_gr_330.gif].  

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_333.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_334.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_335.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_336.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_337.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_338.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_339.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_340.gif]

We are really done.   

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

          Here the values   [Graphics:../Images/MapElementaryFunModHome_gr_341.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_342.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_343.gif],    and    [Graphics:../Images/MapElementaryFunModHome_gr_344.gif]   are calculated as limits.

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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