Solution 8.

Answer.   [Graphics:../Images/MobiusTranformationModHome_gr_369.gif].  

Solution.   Method I.   Use the implicit formula  [Graphics:../Images/MobiusTranformationModHome_gr_370.gif].  

Substitute the values given above and get   [Graphics:../Images/MobiusTranformationModHome_gr_371.gif],  

then simplify and obtain   [Graphics:../Images/MobiusTranformationModHome_gr_372.gif].  

Therefore,   [Graphics:../Images/MobiusTranformationModHome_gr_373.gif].   

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

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

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


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

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


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

[Graphics:../Images/MobiusTranformationModHome_gr_383.gif]
[Graphics:../Images/MobiusTranformationModHome_gr_384.gif]

We are really done.   

Solution.   Method II.   The general form of a bilinear transformation is

                    [Graphics:../Images/MobiusTranformationModHome_gr_385.gif],    and it is not the case that both [Graphics:../Images/MobiusTranformationModHome_gr_386.gif].

So the desired formula must have one of the following two forms:

either    [Graphics:../Images/MobiusTranformationModHome_gr_387.gif]    or    [Graphics:../Images/MobiusTranformationModHome_gr_388.gif].  

Let us assume that the first form  [Graphics:../Images/MobiusTranformationModHome_gr_389.gif]  is the one that works out.

Then we can set up three equations to solve  [Graphics:../Images/MobiusTranformationModHome_gr_390.gif]  for  [Graphics:../Images/MobiusTranformationModHome_gr_391.gif]:   

                    [Graphics:../Images/MobiusTranformationModHome_gr_392.gif],   

In the third equation we will take reciprocals and write it as   [Graphics:../Images/MobiusTranformationModHome_gr_393.gif],  then we have

                    [Graphics:../Images/MobiusTranformationModHome_gr_394.gif],   
       
then simplify these equations get

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

Use  [Graphics:../Images/MobiusTranformationModHome_gr_396.gif]  to rewrite the second equation as  [Graphics:../Images/MobiusTranformationModHome_gr_397.gif]  then solve the system of two equations

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

Subtracting the first equation from the second equation and get   [Graphics:../Images/MobiusTranformationModHome_gr_399.gif].

Use   [Graphics:../Images/MobiusTranformationModHome_gr_400.gif]   in the first equation and get   [Graphics:../Images/MobiusTranformationModHome_gr_401.gif].  

Substituting these into   [Graphics:../Images/MobiusTranformationModHome_gr_402.gif]   produces the desired result:

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

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

We are really really really done.   

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

            [Graphics:../Images/MobiusTranformationModHome_gr_409.gif]     [Graphics:../Images/MobiusTranformationModHome_gr_410.gif]

            [Graphics:../Images/MobiusTranformationModHome_gr_411.gif]     [Graphics:../Images/MobiusTranformationModHome_gr_412.gif]

                                        The image of the upper half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_413.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_414.gif]  is the upper half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_415.gif].

 

                    [Graphics:../Images/MobiusTranformationModHome_gr_416.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_417.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_418.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_419.gif]

                              The image of the right half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_420.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_421.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_422.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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