Solution 5.

Answer.   The image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_195.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_196.gif].

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

and we can give the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_199.gif]  a left orientation by using the points  [Graphics:../Images/MobiusTranformationModHome_gr_200.gif].

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

give the unit circle  [Graphics:../Images/MobiusTranformationModHome_gr_202.gif]  a positive orientation and the region  [Graphics:../Images/MobiusTranformationModHome_gr_203.gif]  a left orientation.

Therefore, the image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_204.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_205.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_206.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_207.gif]  in the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_208.gif]  ,  

then  [Graphics:../Images/MobiusTranformationModHome_gr_209.gif]  lies in the region  [Graphics:../Images/MobiusTranformationModHome_gr_210.gif] ,

which leads us to conclude that the image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_211.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_212.gif].

We are done.   

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

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

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

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

Here we have  [Graphics:../Images/MobiusTranformationModHome_gr_216.gif]  and   [Graphics:../Images/MobiusTranformationModHome_gr_217.gif].  

Then  

                     [Graphics:../Images/MobiusTranformationModHome_gr_218.gif]    
            
Hence, the inverse transformation is   [Graphics:../Images/MobiusTranformationModHome_gr_219.gif].  

Then get  

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

Then  [Graphics:../Images/MobiusTranformationModHome_gr_221.gif]  implies that  [Graphics:../Images/MobiusTranformationModHome_gr_222.gif]  which implies that  [Graphics:../Images/MobiusTranformationModHome_gr_223.gif],  which in turn implies that  [Graphics:../Images/MobiusTranformationModHome_gr_224.gif].  

Therefore, the image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_225.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_226.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_227.gif].  

We are really done.   

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

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

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

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


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

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

We are really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_235.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_236.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_237.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_238.gif]

                              The image of the upper half plane  [Graphics:../Images/MobiusTranformationModHome_gr_239.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_240.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_241.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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