Exercise 10.  Find the image of the portion of the upper half-plane  [Graphics:Images/MapElementaryFunModHome_gr_418.gif]  that lies outside the circle  [Graphics:Images/MapElementaryFunModHome_gr_419.gif]  

under the transformation  [Graphics:Images/MapElementaryFunModHome_gr_420.gif].  

Solution 10.

Remark.  Compare this exercise with Exercise 9.

Answer.   The image of the portion of the upper half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_421.gif]  that lies outside the circle  [Graphics:../Images/MapElementaryFunModHome_gr_422.gif]  

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_423.gif]   is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_424.gif].   

Short Solution.   The image of  [Graphics:../Images/MapElementaryFunModHome_gr_425.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_426.gif]  is Quadrant II: [Graphics:../Images/MapElementaryFunModHome_gr_427.gif],  

then the image of  [Graphics:../Images/MapElementaryFunModHome_gr_428.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_429.gif]  is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_430.gif].   

Solution.   The portion of the upper half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_431.gif]  that lies outside the circle  [Graphics:../Images/MapElementaryFunModHome_gr_432.gif] is the domain

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

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

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

where   

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

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

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

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

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

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

Here we have  [Graphics:../Images/MapElementaryFunModHome_gr_441.gif]  and   [Graphics:../Images/MapElementaryFunModHome_gr_442.gif].  

Then  

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

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

Then get  

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

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


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

Thus,    [Graphics:../Images/MapElementaryFunModHome_gr_448.gif]   implies    [Graphics:../Images/MapElementaryFunModHome_gr_449.gif].    

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_450.gif]   implies    [Graphics:../Images/MapElementaryFunModHome_gr_451.gif]    implies    [Graphics:../Images/MapElementaryFunModHome_gr_452.gif]    implies    [Graphics:../Images/MapElementaryFunModHome_gr_453.gif].    

        Hence, the image of the portion of the upper half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_454.gif]  that lies outside the circle  [Graphics:../Images/MapElementaryFunModHome_gr_455.gif]  

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_456.gif]   is   Quadrant II:  [Graphics:../Images/MapElementaryFunModHome_gr_457.gif].

        Notice that Quadrant II:  [Graphics:../Images/MapElementaryFunModHome_gr_458.gif]  can be written in the form  [Graphics:../Images/MapElementaryFunModHome_gr_459.gif].

Recall that   [Graphics:../Images/MapElementaryFunModHome_gr_460.gif]   which can be written as  

                    [Graphics:../Images/MapElementaryFunModHome_gr_461.gif]   and   [Graphics:../Images/MapElementaryFunModHome_gr_462.gif].

Then,   [Graphics:../Images/MapElementaryFunModHome_gr_463.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_464.gif]   in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_465.gif].  

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_466.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_467.gif].   

        Hence, the image of    [Graphics:../Images/MapElementaryFunModHome_gr_468.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_469.gif]  is   [Graphics:../Images/MapElementaryFunModHome_gr_470.gif].

        Therefore, the image of the portion of the upper half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_471.gif]  that lies outside the circle   [Graphics:../Images/MapElementaryFunModHome_gr_472.gif]  

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_473.gif]   is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_474.gif].   

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_477.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_478.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_479.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_480.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_481.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_482.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_483.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_484.gif]

We are really done.   

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

          Here the values    [Graphics:../Images/MapElementaryFunModHome_gr_485.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_486.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_487.gif]    are calculated as limits.

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

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

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

          Similarly, the values    [Graphics:../Images/MapElementaryFunModHome_gr_491.gif],    and    [Graphics:../Images/MapElementaryFunModHome_gr_492.gif],    and    [Graphics:../Images/MapElementaryFunModHome_gr_493.gif]    are calculated as limits.

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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