Solution 9.

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

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

Substitute the values given above and get   

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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


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

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

We are really done.   

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

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

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

either    [Graphics:../Images/MobiusTranformationModHome_gr_440.gif]    or    [Graphics:../Images/MobiusTranformationModHome_gr_441.gif].  

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

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

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

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

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

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

The first equation is easy to solve and we get    [Graphics:../Images/MobiusTranformationModHome_gr_449.gif].  

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

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

Subtract the second equation from the first equation obtain   [Graphics:../Images/MobiusTranformationModHome_gr_453.gif]   and get   [Graphics:../Images/MobiusTranformationModHome_gr_454.gif].

Use   [Graphics:../Images/MobiusTranformationModHome_gr_455.gif]   in the second equation and get   [Graphics:../Images/MobiusTranformationModHome_gr_456.gif].  

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

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

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

We are really really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_466.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_467.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_468.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_469.gif]

                              The image of the disk  [Graphics:../Images/MobiusTranformationModHome_gr_470.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_471.gif]  is the upper half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_472.gif].

 

 

                    [Graphics:../Images/MobiusTranformationModHome_gr_473.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_474.gif]

                      [Graphics:../Images/MobiusTranformationModHome_gr_475.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_476.gif]

                              The image of the upper half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_477.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_478.gif]  is the right half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_479.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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