Solution 10.

Solution.  Method I.   The boundary of the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_483.gif]  is the unit circle  [Graphics:../Images/MobiusTranformationModHome_gr_484.gif],  

and we can give  [Graphics:../Images/MobiusTranformationModHome_gr_485.gif]  a positive orientation and  [Graphics:../Images/MobiusTranformationModHome_gr_486.gif]  a left orientation by using the points  [Graphics:../Images/MobiusTranformationModHome_gr_487.gif].

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_488.gif],  give the right half-plane a left orientation.  

Therefore, the image of  [Graphics:../Images/MobiusTranformationModHome_gr_489.gif]  under the mapping  [Graphics:../Images/MobiusTranformationModHome_gr_490.gif]  is the right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_491.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_492.gif]  in  [Graphics:../Images/MobiusTranformationModHome_gr_493.gif],  then  [Graphics:../Images/MobiusTranformationModHome_gr_494.gif]  lies in the right half-plane,

which leads us to conclude that the image region lies to the right of the imaginary axis  [Graphics:../Images/MobiusTranformationModHome_gr_495.gif].   

We are done.   

Aside.  We can let Mathematica double check our work.

The boundary of the unit disk is the unit circle, and we can give the boundary a positive orientation by using the points [Graphics:../Images/MobiusTranformationModHome_gr_496.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_497.gif],  and  [Graphics:../Images/MobiusTranformationModHome_gr_498.gif].  

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

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

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

[Graphics:../Images/MobiusTranformationModHome_gr_502.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_503.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_504.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_505.gif]

The image points  [Graphics:../Images/MobiusTranformationModHome_gr_506.gif],  [Graphics:../Images/MobiusTranformationModHome_gr_507.gif],  and  [Graphics:../Images/MobiusTranformationModHome_gr_508.gif]  give the right half plane a positive orientation.

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MobiusTranformationModHome_gr_509.gif]  in the unit disk, then [Graphics:../Images/MobiusTranformationModHome_gr_510.gif] lies in the right half-plane.

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

[Graphics:../Images/MobiusTranformationModHome_gr_512.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_513.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_514.gif]

We are really done.   

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

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

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

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

Here we have  [Graphics:../Images/MobiusTranformationModHome_gr_518.gif]  and   [Graphics:../Images/MobiusTranformationModHome_gr_519.gif].  

Then  

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

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

Then get  

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

Then  [Graphics:../Images/MobiusTranformationModHome_gr_523.gif]  implies that  

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

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

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

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

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

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

Since   [Graphics:../Images/MobiusTranformationModHome_gr_530.gif]   we can conclude that   [Graphics:../Images/MobiusTranformationModHome_gr_531.gif]   which implies that   [Graphics:../Images/MobiusTranformationModHome_gr_532.gif].  

Therefore, the image of the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_533.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_534.gif]  is the right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_535.gif].  

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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

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

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


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

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



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

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

We are really really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_547.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_548.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_549.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_550.gif]

                              The image of the unit disk  [Graphics:../Images/MobiusTranformationModHome_gr_551.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_552.gif]  is the right half plane  [Graphics:../Images/MobiusTranformationModHome_gr_553.gif].  

 

                    [Graphics:../Images/MobiusTranformationModHome_gr_554.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_555.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_556.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_557.gif]

                                   The image of  [Graphics:../Images/MobiusTranformationModHome_gr_558.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_559.gif]  is  [Graphics:../Images/MobiusTranformationModHome_gr_560.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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