Solution 15.

Answer.  The image of the horizontal strip  [Graphics:../Images/MobiusTranformationModHome_gr_786.gif]   is the region that lies exterior to both of the circles  

[Graphics:../Images/MobiusTranformationModHome_gr_787.gif]    and    [Graphics:../Images/MobiusTranformationModHome_gr_788.gif],  

i.e. the image region is   [Graphics:../Images/MobiusTranformationModHome_gr_789.gif].

Solution.   Method I.   Part I.  The boundary of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_790.gif]  is the real axis   [Graphics:../Images/MobiusTranformationModHome_gr_791.gif],  

and we can give this boundary a positive orientation by using the points  [Graphics:../Images/MobiusTranformationModHome_gr_792.gif].

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_793.gif],  

all lie on the circle  [Graphics:../Images/MobiusTranformationModHome_gr_794.gif]  and make the circle [Graphics:../Images/MobiusTranformationModHome_gr_795.gif]

a positively oriented boundary for the region  [Graphics:../Images/MobiusTranformationModHome_gr_796.gif].  

Therefore, the image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_797.gif]  under the mapping  [Graphics:../Images/MobiusTranformationModHome_gr_798.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_799.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_800.gif]  in the upper half plane,  then  [Graphics:../Images/MobiusTranformationModHome_gr_801.gif]  lies in the region  [Graphics:../Images/MobiusTranformationModHome_gr_802.gif],

which leads us to conclude that the image of  [Graphics:../Images/MobiusTranformationModHome_gr_803.gif]  is the exterior of the circle  [Graphics:../Images/MobiusTranformationModHome_gr_804.gif].  

Solution.   Method I.   Part II.  The boundary of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_805.gif]  is the horizontal line   [Graphics:../Images/MobiusTranformationModHome_gr_806.gif],  

and we can give this boundary a positive orientation by using the points  [Graphics:../Images/MobiusTranformationModHome_gr_807.gif].

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_808.gif],  

all lie on the circle  [Graphics:../Images/MobiusTranformationModHome_gr_809.gif]  and make the circle [Graphics:../Images/MobiusTranformationModHome_gr_810.gif]

a positively oriented boundary for the region  [Graphics:../Images/MobiusTranformationModHome_gr_811.gif].  

Therefore, the image of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_812.gif]  under the mapping  [Graphics:../Images/MobiusTranformationModHome_gr_813.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_814.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_815.gif]  in the upper half plane,  then  [Graphics:../Images/MobiusTranformationModHome_gr_816.gif]  lies in the region  [Graphics:../Images/MobiusTranformationModHome_gr_817.gif],

which leads us to conclude that the image of  [Graphics:../Images/MobiusTranformationModHome_gr_818.gif]  is the exterior of the circle  [Graphics:../Images/MobiusTranformationModHome_gr_819.gif].  

Solution.   Method I.   Conclusion.  

Therefore, the image of the horizontal strip  [Graphics:../Images/MobiusTranformationModHome_gr_820.gif]   is the region that lies exterior to both of the circles  

[Graphics:../Images/MobiusTranformationModHome_gr_821.gif]    and    [Graphics:../Images/MobiusTranformationModHome_gr_822.gif],  

i.e. the image region is   [Graphics:../Images/MobiusTranformationModHome_gr_823.gif].

We are done.   

Aside.  We can let Mathematica double check our work.

The x-axis is given positive orientation by using the points [Graphics:../Images/MobiusTranformationModHome_gr_824.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_825.gif],  and  [Graphics:../Images/MobiusTranformationModHome_gr_826.gif].  

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

Check our work and by looking at the images of  [Graphics:../Images/MobiusTranformationModHome_gr_828.gif].  

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

[Graphics:../Images/MobiusTranformationModHome_gr_830.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_831.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_832.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_833.gif]

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_834.gif],  all lie on the circle  [Graphics:../Images/MobiusTranformationModHome_gr_835.gif].  

The horizontal line  [Graphics:../Images/MobiusTranformationModHome_gr_836.gif]  is given positive orientation by using the points [Graphics:../Images/MobiusTranformationModHome_gr_837.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_838.gif],  and  [Graphics:../Images/MobiusTranformationModHome_gr_839.gif].  

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

Check our work and by looking at the images of  [Graphics:../Images/MobiusTranformationModHome_gr_841.gif].  

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

[Graphics:../Images/MobiusTranformationModHome_gr_843.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_844.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_845.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_846.gif]

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_847.gif],  all lie on the circle  [Graphics:../Images/MobiusTranformationModHome_gr_848.gif].  

We are really done.   

Solution.  Method II.   Start by finding the inverse transformation for   [Graphics:../Images/MobiusTranformationModHome_gr_849.gif].

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

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

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

Here we have  [Graphics:../Images/MobiusTranformationModHome_gr_852.gif]  and   [Graphics:../Images/MobiusTranformationModHome_gr_853.gif].  

Then  

            [Graphics:../Images/MobiusTranformationModHome_gr_854.gif]    
            
Hence, the inverse transformation is   [Graphics:../Images/MobiusTranformationModHome_gr_855.gif].  

Then get  

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

Then  [Graphics:../Images/MobiusTranformationModHome_gr_857.gif]  implies that  [Graphics:../Images/MobiusTranformationModHome_gr_858.gif]  which implies that  [Graphics:../Images/MobiusTranformationModHome_gr_859.gif],  which in turn implies that  [Graphics:../Images/MobiusTranformationModHome_gr_860.gif].  

Therefore, the image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_861.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_862.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_863.gif].  

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

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

Therefore, the image of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_866.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_867.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_868.gif].  

Solution.   Method II.   Conclusion.  

Therefore, the image of the horizontal strip  [Graphics:../Images/MobiusTranformationModHome_gr_869.gif]   is the region that lies exterior to both of the circles  

[Graphics:../Images/MobiusTranformationModHome_gr_870.gif]    and    [Graphics:../Images/MobiusTranformationModHome_gr_871.gif],  

i.e. the image region is   [Graphics:../Images/MobiusTranformationModHome_gr_872.gif].

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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

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


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

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

We are really really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_879.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_880.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_881.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_882.gif]

                    The image of the horizontal strip  [Graphics:../Images/MobiusTranformationModHome_gr_883.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_884.gif]  is the region

                    that lies exterior to both of the circles  [Graphics:../Images/MobiusTranformationModHome_gr_885.gif]  and  [Graphics:../Images/MobiusTranformationModHome_gr_886.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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