Solution 6.

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

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

Substitute the values given above and get   

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

then simplify and get  

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

Solving for w we obtain

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

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


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

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


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

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

We are really done.   

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

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

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

either    [Graphics:../Images/MobiusTranformationModHome_gr_262.gif]    or    [Graphics:../Images/MobiusTranformationModHome_gr_263.gif].  

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

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

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

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

The last equation is easy to solve and we get   [Graphics:../Images/MobiusTranformationModHome_gr_269.gif]   and then the first equation yields   [Graphics:../Images/MobiusTranformationModHome_gr_270.gif].

Use these values to rewrite the second equation as   [Graphics:../Images/MobiusTranformationModHome_gr_271.gif]   and then obtain   [Graphics:../Images/MobiusTranformationModHome_gr_272.gif].

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

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

We are really really done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

We are really really really done.   

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

                    [Graphics:../Images/MobiusTranformationModHome_gr_280.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_281.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_282.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_283.gif]

                              The image of the right half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_284.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_285.gif]  is the upper half-plane  [Graphics:../Images/MobiusTranformationModHome_gr_286.gif].

 

                    [Graphics:../Images/MobiusTranformationModHome_gr_287.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_288.gif]

                    [Graphics:../Images/MobiusTranformationModHome_gr_289.gif]          [Graphics:../Images/MobiusTranformationModHome_gr_290.gif]

                                   The image of the disk  [Graphics:../Images/MobiusTranformationModHome_gr_291.gif]  under  [Graphics:../Images/MobiusTranformationModHome_gr_292.gif]  is the region  [Graphics:../Images/MobiusTranformationModHome_gr_293.gif].

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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