Solution 7.

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

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

Substitute the values given above and get   

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

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

then simplify and get  

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

Solving for w we obtain

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

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

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


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

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


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

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

We are really done.   

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

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

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

either    [Graphics:../Images/MobiusTranformationModHome_gr_318.gif]    or    [Graphics:../Images/MobiusTranformationModHome_gr_319.gif].  

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

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_323.gif],   
       
then simplify these equations get the system of equations  

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

Add row 1 to row 3 and get  

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

Divide row 2 by 1 and subtract it from row 1 to get  

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

Use   [Graphics:../Images/MobiusTranformationModHome_gr_327.gif]   to rewrite the second equation as   [Graphics:../Images/MobiusTranformationModHome_gr_328.gif]   and then obtain   [Graphics:../Images/MobiusTranformationModHome_gr_329.gif].

Use   [Graphics:../Images/MobiusTranformationModHome_gr_330.gif]   to rewrite the third equation as   [Graphics:../Images/MobiusTranformationModHome_gr_331.gif]   and then obtain   [Graphics:../Images/MobiusTranformationModHome_gr_332.gif].

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

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

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

We are really really really done.   

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



                    [Graphics:../Images/MobiusTranformationModHome_gr_344.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_345.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_347.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_348.gif]

                                   The image of the left half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_349.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_350.gif]  is the disk  [Graphics:../Images/MobiusTranformationModHome_gr_351.gif].

 

          [Graphics:../Images/MobiusTranformationModHome_gr_352.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_353.gif]

          [Graphics:../Images/MobiusTranformationModHome_gr_354.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_355.gif]

                              The image of the disk  [Graphics:../Images/MobiusTranformationModHome_gr_356.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_357.gif]  is the upper half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_358.gif].

 

                    [Graphics:../Images/MobiusTranformationModHome_gr_359.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_360.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_361.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_362.gif]

                              The image of the right half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_363.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_364.gif]  is the disk  [Graphics:../Images/MobiusTranformationModHome_gr_365.gif].

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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