Exercise 11.  Show that the function   [Graphics:Images/MapElementaryFunModHome_gr_497.gif]   maps the portion of the disk   [Graphics:Images/MapElementaryFunModHome_gr_498.gif]  

that lies in the first quadrant onto the portion of the upper half plane  [Graphics:Images/MapElementaryFunModHome_gr_499.gif]  that lies outside the unit circle.

Solution 11.

Remark.  Compare this exercise with Exercises 9 and 10.

Answer.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_500.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_501.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_502.gif]  

which is the portion of the upper half plane   [Graphics:../Images/MapElementaryFunModHome_gr_503.gif]   that lies in the region   [Graphics:../Images/MapElementaryFunModHome_gr_504.gif].     

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_505.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_506.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_507.gif],

then the image of   [Graphics:../Images/MapElementaryFunModHome_gr_508.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_509.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_510.gif].  

Solution.   The portion of the disk  [Graphics:../Images/MapElementaryFunModHome_gr_511.gif]  that lies in the first quadrant can be  expressed as  

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

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

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

where   

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

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

        Start by finding the inverse transformation for   [Graphics:../Images/MapElementaryFunModHome_gr_517.gif].

Use equations (10-13)  and  (10-14).  

(10-13)             [Graphics:../Images/MapElementaryFunModHome_gr_518.gif],

(10-14)             [Graphics:../Images/MapElementaryFunModHome_gr_519.gif].

Here we have  [Graphics:../Images/MapElementaryFunModHome_gr_520.gif]  and   [Graphics:../Images/MapElementaryFunModHome_gr_521.gif].  

Then  

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

Thus, the inverse transformation is   [Graphics:../Images/MapElementaryFunModHome_gr_523.gif].  

Then get  

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

Then   [Graphics:../Images/MapElementaryFunModHome_gr_525.gif]   implies    


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

Thus,    [Graphics:../Images/MapElementaryFunModHome_gr_527.gif]   implies    [Graphics:../Images/MapElementaryFunModHome_gr_528.gif].    

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_529.gif]   implies    [Graphics:../Images/MapElementaryFunModHome_gr_530.gif]    implies    [Graphics:../Images/MapElementaryFunModHome_gr_531.gif]    implies    [Graphics:../Images/MapElementaryFunModHome_gr_532.gif].    

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_533.gif]   implies    [Graphics:../Images/MapElementaryFunModHome_gr_534.gif]    implies    [Graphics:../Images/MapElementaryFunModHome_gr_535.gif]    implies    [Graphics:../Images/MapElementaryFunModHome_gr_536.gif].    

        Hence, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_537.gif]   under the mapping  [Graphics:../Images/MapElementaryFunModHome_gr_538.gif]  

is  the portion of the first quadrant  [Graphics:../Images/MapElementaryFunModHome_gr_539.gif]  that lies outside the unit circle  [Graphics:../Images/MapElementaryFunModHome_gr_540.gif],  i. e.

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

The portion of the first quadrant  [Graphics:../Images/MapElementaryFunModHome_gr_542.gif]  that lies outside the unit circle  [Graphics:../Images/MapElementaryFunModHome_gr_543.gif]   can be expressed as

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

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

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

                    [Graphics:../Images/MapElementaryFunModHome_gr_547.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_548.gif].  

Then   [Graphics:../Images/MapElementaryFunModHome_gr_549.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_550.gif]   which in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_551.gif].  

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_552.gif]   implies   [Graphics:../Images/MapElementaryFunModHome_gr_553.gif]   which in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_554.gif].  

        Hence, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_555.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_556.gif]   is    

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

which is the portion of the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_558.gif]  that lies in the region  [Graphics:../Images/MapElementaryFunModHome_gr_559.gif].    

        Therefore, the image of   [Graphics:../Images/MapElementaryFunModHome_gr_560.gif]  under the mapping  [Graphics:../Images/MapElementaryFunModHome_gr_561.gif]   is

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

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_565.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_566.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_567.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_568.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_569.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_570.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_571.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_572.gif]  

We are really done.   

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

          Here the values    [Graphics:../Images/MapElementaryFunModHome_gr_573.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_574.gif]    are calculated as limits.

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

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

          Similarly, the values    [Graphics:../Images/MapElementaryFunModHome_gr_577.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_578.gif]    are calculated as limits.

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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