Revisit and Explore Solution 10.7.

Example 10.7.  Find the bilinear transformation [Graphics:../Images/ElectrostaticsMod_gr_132.gif] that maps the crescent-shaped region that lies inside the disk [Graphics:../Images/ElectrostaticsMod_gr_133.gif]  and outside the circle [Graphics:../Images/ElectrostaticsMod_gr_134.gif]  onto a horizontal strip.

Solution.  For convenience we choose  [Graphics:../Images/ElectrostaticsMod_gr_135.gif]  and the image values  [Graphics:../Images/ElectrostaticsMod_gr_136.gif],  respectively.  The ordered triple  [Graphics:../Images/ElectrostaticsMod_gr_137.gif]  gives the circle  [Graphics:../Images/ElectrostaticsMod_gr_138.gif]  a positive orientation and the disk  [Graphics:../Images/ElectrostaticsMod_gr_139.gif]  has a left orientation.  The image points  [Graphics:../Images/ElectrostaticsMod_gr_140.gif]  all lie on the extended u axis, and they determine a left orientation for the upper half-plane  [Graphics:../Images/ElectrostaticsMod_gr_141.gif].  Therefore we can use the second implicit formula (Equation (10-21)) to write  

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

which determines a mapping of the disk  [Graphics:../Images/ElectrostaticsMod_gr_143.gif]  onto the upper half-plane  [Graphics:../Images/ElectrostaticsMod_gr_144.gif].  Use the fact that [Graphics:../Images/ElectrostaticsMod_gr_145.gif]  to simplify the preceding equation and get

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

which can be written in the form  

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

A straightforward calculation shows that the points  [Graphics:../Images/ElectrostaticsMod_gr_148.gif]  are mapped onto the points  

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

respectively.  The points  [Graphics:../Images/ElectrostaticsMod_gr_150.gif]  lie on the horizontal line  [Graphics:../Images/ElectrostaticsMod_gr_151.gif]  in the upper half-plane.  Therefore the crescent-shaped region is mapped onto the horizontal strip  [Graphics:../Images/ElectrostaticsMod_gr_152.gif],  as shown in Figure 10.7.

            Figure 10.7  The mapping  [Graphics:../Images/ElectrostaticsMod_gr_153.gif].  

Enter three points and their images and solve for  w = S(z).  For convenience we choose  [Graphics:../Images/ElectrostaticsMod_gr_154.gif]  which are mapped onto the points  [Graphics:../Images/ElectrostaticsMod_gr_155.gif],  respectively.  In this case we remove the terms involving  [Graphics:../Images/ElectrostaticsMod_gr_156.gif],  in the implicit formula, because this implies that  [Graphics:../Images/ElectrostaticsMod_gr_157.gif].  

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




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

 

 

 

Check our work and look at the images of  [Graphics:../Images/ElectrostaticsMod_gr_160.gif].  

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



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

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

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

 

 

And we need to look at the images of three more points;   [Graphics:../Images/ElectrostaticsMod_gr_165.gif]  and  [Graphics:../Images/ElectrostaticsMod_gr_166.gif].  

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



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

 

 

To illustrate the mapping, consider the inverse image of the horizontal strip.  We will need to use the inverse function.

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



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

 

 

Now plot the graphs using T[w] then the identity map.

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





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

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

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

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

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

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

We have constructed the transformation [Graphics:../Images/ElectrostaticsMod_gr_178.gif]  and see that the image of the crescent-shaped region that lies inside the disk [Graphics:../Images/ElectrostaticsMod_gr_179.gif]  and outside the circle [Graphics:../Images/ElectrostaticsMod_gr_180.gif]  is the horizontal strip  [Graphics:../Images/ElectrostaticsMod_gr_181.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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