Solution 3.

Answer.  The image of  [Graphics:../Images/MobiusTranformationModHome_gr_78.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_79.gif]  is the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_80.gif].  

Solution.  Method I.   The boundary of the right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_81.gif]  is the imaginary axis  [Graphics:../Images/MobiusTranformationModHome_gr_82.gif],  

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

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_85.gif],  give the unit circle  

[Graphics:../Images/MobiusTranformationModHome_gr_86.gif]  a positive orientation and the disk  [Graphics:../Images/MobiusTranformationModHome_gr_87.gif]  a left orientation.

Therefore, the image of right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_88.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_89.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_90.gif].  

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

then  [Graphics:../Images/MobiusTranformationModHome_gr_93.gif]  lies in the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_94.gif],

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

We are done.   

Solution.  Method II.   In Example 10.3 we found the inverse transformation.  

If we write  [Graphics:../Images/MobiusTranformationModHome_gr_96.gif],  then we have  [Graphics:../Images/MobiusTranformationModHome_gr_97.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_98.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_99.gif], and [Graphics:../Images/MobiusTranformationModHome_gr_100.gif].  

Using Equation (10-14), we find that the inverse is given by

            
(10-16)             [Graphics:../Images/MobiusTranformationModHome_gr_101.gif].  

Then get  

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

Then  [Graphics:../Images/MobiusTranformationModHome_gr_103.gif]  implies that  [Graphics:../Images/MobiusTranformationModHome_gr_104.gif]  which implies that  [Graphics:../Images/MobiusTranformationModHome_gr_105.gif],  which in turn implies that  [Graphics:../Images/MobiusTranformationModHome_gr_106.gif].  

Therefore, the image of the right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_107.gif]  under the mapping  [Graphics:../Images/MobiusTranformationModHome_gr_108.gif]  is the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_109.gif].

We are really done.   

Aside.  We can let Mathematica double check our work.

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

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

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


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

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

We are really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_116.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_117.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_118.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_119.gif]

                                        The image of the right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_120.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_121.gif]  is the disk  [Graphics:../Images/MobiusTranformationModHome_gr_122.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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