Solution 11.

Answer.  The image of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_563.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_564.gif]  is the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_565.gif].   

Solution.  Method I.   The boundary of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_566.gif]  is the real axis  [Graphics:../Images/MobiusTranformationModHome_gr_567.gif],  

and we can give the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_568.gif]  a left orientation by using the points  [Graphics:../Images/MobiusTranformationModHome_gr_569.gif].

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

[Graphics:../Images/MobiusTranformationModHome_gr_571.gif]  a positive orientation and the disk  [Graphics:../Images/MobiusTranformationModHome_gr_572.gif]  a left orientation.

Therefore, the image of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_573.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_574.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_575.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_576.gif]  in the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_577.gif]  ,  

then  [Graphics:../Images/MobiusTranformationModHome_gr_578.gif]  lies in the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_579.gif],

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

We are done.   

Aside.  We can let Mathematica double check our work.

The boundary of the lower half plane is the real axis, and we can give the boundary a positive orientation by using the points [Graphics:../Images/MobiusTranformationModHome_gr_581.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_582.gif],  and  [Graphics:../Images/MobiusTranformationModHome_gr_583.gif].  

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

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

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

[Graphics:../Images/MobiusTranformationModHome_gr_587.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_588.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_589.gif]

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_590.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_591.gif],  and  [Graphics:../Images/MobiusTranformationModHome_gr_592.gif]  give the unit disk a positive orientation.
So the image of the lower half plane [Graphics:../Images/MobiusTranformationModHome_gr_593.gif] is the unit disk [Graphics:../Images/MobiusTranformationModHome_gr_594.gif].

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_595.gif]  in the lower half-plane, then [Graphics:../Images/MobiusTranformationModHome_gr_596.gif] lies in the unit disk [Graphics:../Images/MobiusTranformationModHome_gr_597.gif].

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

[Graphics:../Images/MobiusTranformationModHome_gr_599.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_600.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_601.gif]

We are really done.   

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

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

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

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

Here we have  [Graphics:../Images/MobiusTranformationModHome_gr_605.gif]  and   [Graphics:../Images/MobiusTranformationModHome_gr_606.gif].  

Then  

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

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

Then get  

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

Then  [Graphics:../Images/MobiusTranformationModHome_gr_610.gif]  implies that    [Graphics:../Images/MobiusTranformationModHome_gr_611.gif]  and we get  

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

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

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

Therefore, the image of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_615.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_616.gif]  is the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_617.gif].   

We are really really  done.   

Aside.  We can let Mathematica double check our work.

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

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

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

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


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

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

We are really really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_625.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_626.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_627.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_628.gif]

                              The image of the lower half plane  [Graphics:../Images/MobiusTranformationModHome_gr_629.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_630.gif]  is the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_631.gif].   

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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