Module

for

Bilinear Transformations

Mobius Transformations

 

10.2  Bilinear Transformations - Mobius Transformations

    Another important class of elementary mappings was studied by August Ferdinand Möbius (1790-1868).  These mappings are conveniently expressed as the quotient of two linear expressions and are commonly known as linear fractional or bilinear transformations.  They arise naturally in mapping problems involving the function  arctan(z).  In this section, we show how they are used to map a disk one-to-one and onto a half-plane.  An important property is that these transformations are conformal in the entire complex plane except at one point. (see Section 10.1)

    Let  [Graphics:Images/MobiusTranformationMod_gr_1.gif]  denote four complex constants with the restriction that [Graphics:Images/MobiusTranformationMod_gr_2.gif].  Then the function

(10-13)            [Graphics:Images/MobiusTranformationMod_gr_3.gif]

is called  a bilinear transformation, a Möbius transformation, or a linear fractional transformation.   
If the expression for S(z) in Equation (10-13) is multiplied through by the quantity  [Graphics:Images/MobiusTranformationMod_gr_4.gif],  then the resulting expression has the bilinear form  [Graphics:Images/MobiusTranformationMod_gr_5.gif].  
We collect terms involving z and write  [Graphics:Images/MobiusTranformationMod_gr_6.gif].  Then, for values of  [Graphics:Images/MobiusTranformationMod_gr_7.gif]  the inverse transformation is given by

(10-14)            [Graphics:Images/MobiusTranformationMod_gr_8.gif].

    We can extend  [Graphics:Images/MobiusTranformationMod_gr_9.gif]  to mappings in the extended complex plane.  The value  [Graphics:Images/MobiusTranformationMod_gr_10.gif]  should be chosen to equal the limit of [Graphics:Images/MobiusTranformationMod_gr_11.gif]  as  [Graphics:Images/MobiusTranformationMod_gr_12.gif].  Therefore we define

                [Graphics:Images/MobiusTranformationMod_gr_13.gif],  

and the inverse is  [Graphics:Images/MobiusTranformationMod_gr_14.gif].  Similarly, the value  [Graphics:Images/MobiusTranformationMod_gr_15.gif]  is obtained by

                [Graphics:Images/MobiusTranformationMod_gr_16.gif],

and the inverse is  [Graphics:Images/MobiusTranformationMod_gr_17.gif].  With these extensions we conclude that the transformation  [Graphics:Images/MobiusTranformationMod_gr_18.gif]  is a one-to-one mapping of the extended complex z-plane onto the extended complex w-plane.  

 

    We now show that a bilinear transformation carries the class of circles and lines onto itself.  If S(z) is an arbitrary bilinear transformation given by Equation (10-13) and  [Graphics:Images/MobiusTranformationMod_gr_19.gif],  then S(z)  reduces to a linear transformation, which carries lines onto lines and circles onto circles.  If  [Graphics:Images/MobiusTranformationMod_gr_20.gif],  then we can write S(z) in the form  

(10-15)            [Graphics:Images/MobiusTranformationMod_gr_21.gif]   

    The condition  [Graphics:Images/MobiusTranformationMod_gr_22.gif]  precludes the possibility that S(z) reduces to a constant.  Equation (10-15) indicates that S(z) can be considered as a composition of functions.  
It is a linear mapping  [Graphics:Images/MobiusTranformationMod_gr_23.gif],  followed by the reciprocal transformation  [Graphics:Images/MobiusTranformationMod_gr_24.gif],  followed by  [Graphics:Images/MobiusTranformationMod_gr_25.gif].  In Section 2.1 we showed that each function in this composition maps the class of circles and lines onto itself; it follows that the bilinear transformation S(z) has this property.  A half-plane can be considered to be a family of parallel lines and a disk as a family of circles.  Therefore we conclude that a bilinear transformation maps the class of half-planes and disks onto itself.  Example 10.3 illustrates this idea.

 

Example 10.3.  Show that  [Graphics:Images/MobiusTranformationMod_gr_26.gif]  maps the unit disk  [Graphics:Images/MobiusTranformationMod_gr_27.gif]  one-to-one and onto the upper half-plane  [Graphics:Images/MobiusTranformationMod_gr_28.gif].  

     

 

Solution.  We first consider the unit circle  [Graphics:Images/MobiusTranformationMod_gr_30.gif],  which forms the boundary of the disk and find its image in the w plane.  
If we write  [Graphics:Images/MobiusTranformationMod_gr_31.gif],  then we see that  [Graphics:Images/MobiusTranformationMod_gr_32.gif],  [Graphics:Images/MobiusTranformationMod_gr_33.gif],  [Graphics:Images/MobiusTranformationMod_gr_34.gif], and [Graphics:Images/MobiusTranformationMod_gr_35.gif].  
Using Equation (10-14), we find that the inverse is given by

            
(10-16)        [Graphics:Images/MobiusTranformationMod_gr_36.gif].  

If  [Graphics:Images/MobiusTranformationMod_gr_37.gif],  then Equation (10-16) implies that the images of points on the unit circle satisfy [Graphics:Images/MobiusTranformationMod_gr_38.gif] which yields the equation  

(10-17)        [Graphics:Images/MobiusTranformationMod_gr_39.gif].  

Squaring both sides of Equation (10-17), we obtain

               [Graphics:Images/MobiusTranformationMod_gr_40.gif]   

            [Graphics:Images/MobiusTranformationMod_gr_41.gif]   

            [Graphics:Images/MobiusTranformationMod_gr_42.gif]     

which is the equation of the u axis in the w plane.  

    The circle C divides the z plane into two portions, and its image is the u axis, which divides the w plane into two portions.  The image of the point  [Graphics:Images/MobiusTranformationMod_gr_43.gif]  is  [Graphics:Images/MobiusTranformationMod_gr_44.gif],  so we expect that the interior of the circle C is mapped onto the portion of the w plane that lies above the u axis.  To show that this outcome is true, we let  [Graphics:Images/MobiusTranformationMod_gr_45.gif].  Then Equation (10-16) implies that the image values must satisfy the inequality  [Graphics:Images/MobiusTranformationMod_gr_46.gif],  which we write as  

            [Graphics:Images/MobiusTranformationMod_gr_47.gif] .  

    If we interpret [Graphics:Images/MobiusTranformationMod_gr_48.gif] as the distance from  [Graphics:Images/MobiusTranformationMod_gr_49.gif]  and [Graphics:Images/MobiusTranformationMod_gr_50.gif] as the distance from  [Graphics:Images/MobiusTranformationMod_gr_51.gif],  then a geometric argument shows that the image point w must lie in the upper half-plane  [Graphics:Images/MobiusTranformationMod_gr_52.gif],  as shown in Figure 10.5.  As S(z) is one-to-one and onto in the extended complex plane, it follows that S(z) maps the disk onto the half-plane.

            Figure 10.5  The image  [Graphics:Images/MobiusTranformationMod_gr_53.gif]  under  [Graphics:Images/MobiusTranformationMod_gr_54.gif],  the points
            [Graphics:Images/MobiusTranformationMod_gr_55.gif]  are mapped onto the points  [Graphics:Images/MobiusTranformationMod_gr_56.gif],  respectively.

Explore Solution 10.3.

 

 

    The general formula for a bilinear transformation (Equation (10-13)) appears to involve four independent coefficients:  [Graphics:Images/MobiusTranformationMod_gr_85.gif].  But as S(z) is not identically constant, either  [Graphics:Images/MobiusTranformationMod_gr_86.gif]  or  [Graphics:Images/MobiusTranformationMod_gr_87.gif],  we can express the transformation with three unknown coefficients and write either

            [Graphics:Images/MobiusTranformationMod_gr_88.gif]     or     [Graphics:Images/MobiusTranformationMod_gr_89.gif],  

respectively.  Doing so permits us to determine a unique a bilinear transformation if three distinct image values  [Graphics:Images/MobiusTranformationMod_gr_90.gif],   [Graphics:Images/MobiusTranformationMod_gr_91.gif], and  [Graphics:Images/MobiusTranformationMod_gr_92.gif]  are specified.  To determine such a mapping, we can conveniently use an implicit formula involving z and w.

 

Theorem 10.3 (The Implicit Formula). There exists a unique bilinear transformation that maps three distinct points [Graphics:Images/MobiusTranformationMod_gr_93.gif]  onto three distinct points [Graphics:Images/MobiusTranformationMod_gr_94.gif], respectively.  An implicit formula for the mapping is given by the equation    

(10-18)            [Graphics:Images/MobiusTranformationMod_gr_95.gif].  

Proof.

 

Example 10.4.  Construct the bilinear transformation  w = S(z)  that maps the points  [Graphics:Images/MobiusTranformationMod_gr_96.gif]  onto the points  [Graphics:Images/MobiusTranformationMod_gr_97.gif],  respectively.

                    

  

Solution.  We use the implicit formula, Equation (10-18), and write  

            [Graphics:Images/MobiusTranformationMod_gr_100.gif]

            [Graphics:Images/MobiusTranformationMod_gr_101.gif]

            [Graphics:Images/MobiusTranformationMod_gr_102.gif].   

Expanding this equation, collecting terms involving w and zw on the left and then simplify.

            [Graphics:Images/MobiusTranformationMod_gr_103.gif]  


            [Graphics:Images/MobiusTranformationMod_gr_104.gif]   


            [Graphics:Images/MobiusTranformationMod_gr_105.gif]  


            [Graphics:Images/MobiusTranformationMod_gr_106.gif]    

Therefore the desired bilinear transformation is  

            [Graphics:Images/MobiusTranformationMod_gr_107.gif].  

Explore Solution 10.4.

 

Example 10.5.  Find the bilinear transformation  w = S(z)  that maps the points  [Graphics:Images/MobiusTranformationMod_gr_123.gif]  onto the points  [Graphics:Images/MobiusTranformationMod_gr_124.gif],  respectively.

                              

 

Solution.  Again, we use the implicit formula, Equation (10-18), and write  

            [Graphics:Images/MobiusTranformationMod_gr_126.gif]  

            [Graphics:Images/MobiusTranformationMod_gr_127.gif]  

            [Graphics:Images/MobiusTranformationMod_gr_128.gif]    

Using the fact that  [Graphics:Images/MobiusTranformationMod_gr_129.gif],  we rewrite this equation as  

            [Graphics:Images/MobiusTranformationMod_gr_130.gif].    

We now expand the equation and obtain  

            [Graphics:Images/MobiusTranformationMod_gr_131.gif]  

which can be solved for w in terms of z, giving the desired solution  

            [Graphics:Images/MobiusTranformationMod_gr_132.gif].  

Explore Solution 10.5.

 

    We let D be a region in the z plane that is bounded by either a circle or a straight line C.  We further let [Graphics:Images/MobiusTranformationMod_gr_146.gif] be three distinct points that lie on C and have the property that an observer moving along C from [Graphics:Images/MobiusTranformationMod_gr_147.gif] through [Graphics:Images/MobiusTranformationMod_gr_148.gif] finds the region D to be on the left.  If C is a circle and D is the interior of C, then we say that C is positively oriented.  Conversely, the ordered triple [Graphics:Images/MobiusTranformationMod_gr_149.gif] uniquely determines a region that lies to the left of C.

    We let G be a region in the w plane that is bounded by either a circle of a straight line K.  We further let [Graphics:Images/MobiusTranformationMod_gr_150.gif] be three distinct points that lie on K such that an observer moving along K from [Graphics:Images/MobiusTranformationMod_gr_151.gif] through [Graphics:Images/MobiusTranformationMod_gr_152.gif] finds the region G to be on the left.  Because a bilinear transformation is a conformal mapping that maps the class of circles and straight lines onto itself, we can use the implicit formula to construct a bilinear transformation [Graphics:Images/MobiusTranformationMod_gr_153.gif] that is a one-to-one mapping of D onto G.

 

Example 10.6.  Show that  the mapping  [Graphics:Images/MobiusTranformationMod_gr_154.gif]  maps the disk  [Graphics:Images/MobiusTranformationMod_gr_155.gif]  one-to-one and onto the upper half plane  [Graphics:Images/MobiusTranformationMod_gr_156.gif].  

      

 

Solution.  For convenience, we choose the ordered triple  [Graphics:Images/MobiusTranformationMod_gr_158.gif], which gives the circle  [Graphics:Images/MobiusTranformationMod_gr_159.gif]  a positive orientation and the disk D a left orientation.  From Example 10.5, the corresponding image points are   

            [Graphics:Images/MobiusTranformationMod_gr_160.gif]  

Because the ordered triple of points  [Graphics:Images/MobiusTranformationMod_gr_161.gif],  lie on the u axis, it follows that the image of circle C is the u axis.  The points  [Graphics:Images/MobiusTranformationMod_gr_162.gif] give the upper half-plane  [Graphics:Images/MobiusTranformationMod_gr_163.gif]  a left orientation.  Therefore [Graphics:Images/MobiusTranformationMod_gr_164.gif] maps the disk D onto the upper half-plane G.  To check our work, we choose a point [Graphics:Images/MobiusTranformationMod_gr_165.gif] that lies in D and find the half-plane in which its image, [Graphics:Images/MobiusTranformationMod_gr_166.gif] lies.  The choice  [Graphics:Images/MobiusTranformationMod_gr_167.gif]  yields  [Graphics:Images/MobiusTranformationMod_gr_168.gif].  Hence the upper half-plane is the correct image.  This situation is illustrated in Figure 10.6.

            Figure 10.6  The bilinear mapping  [Graphics:Images/MobiusTranformationMod_gr_169.gif].

Explore Solution 10.6.

 

Corollary 10.1 (The Implicit Formula with a point at Infinity).  In equation (10-18) the point at infinity can be introduced as one of the prescribed points in either the z plane or the  w plane.

Proof.

 

Case 1.  If  [Graphics:Images/MobiusTranformationMod_gr_192.gif],  then we can write  [Graphics:Images/MobiusTranformationMod_gr_193.gif]  and substitute this expression into Equation (10-18) to obtain  [Graphics:Images/MobiusTranformationMod_gr_194.gif]  which can be rewritten as [Graphics:Images/MobiusTranformationMod_gr_195.gif]  and simplifies to obtain  
    
            [Graphics:Images/MobiusTranformationMod_gr_196.gif].  

Case 2.  If  [Graphics:Images/MobiusTranformationMod_gr_197.gif],  then we can write  [Graphics:Images/MobiusTranformationMod_gr_198.gif] and substitute this expression into Equation (10-18) to obtain  [Graphics:Images/MobiusTranformationMod_gr_199.gif] which can be rewritten as   [Graphics:Images/MobiusTranformationMod_gr_200.gif] and simplifies to obtain

(10-21)        [Graphics:Images/MobiusTranformationMod_gr_201.gif].  

 

      Equation (10-21) is sometimes used to map the crescent-shaped region that lies between the tangent circles onto an infinite strip.

 

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

     

 

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

            [Graphics:Images/MobiusTranformationMod_gr_213.gif],  

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

            [Graphics:Images/MobiusTranformationMod_gr_217.gif]

which can be written in the form  

            [Graphics:Images/MobiusTranformationMod_gr_218.gif].

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

            [Graphics:Images/MobiusTranformationMod_gr_220.gif]  

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

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

Explore Solution 10.7.

 

 

Lines of Flux

    In electronics, images of certain lines represent lines of electric flux, which comprise the trajectory of an electron placed in an electrical field. Consider the bilinear transformation  

            [Graphics:Images/MobiusTranformationMod_gr_253.gif]    and    [Graphics:Images/MobiusTranformationMod_gr_254.gif].  

    The half rays  [Graphics:Images/MobiusTranformationMod_gr_255.gif],  where c is a constant, that meet at the origin [Graphics:Images/MobiusTranformationMod_gr_256.gif] represent the lines of electric flux produced by a source located at [Graphics:Images/MobiusTranformationMod_gr_257.gif]  (and a sink at [Graphics:Images/MobiusTranformationMod_gr_258.gif] ).  The preimage of this family of lines is a family of circles that pass through the points [Graphics:Images/MobiusTranformationMod_gr_259.gif].  We visualize these circles as the lines of electric flux from one point charge to another.  The limiting case as a is called a dipole and is discussed in Exercise 6, Section 11.11.  The graphs for [Graphics:Images/MobiusTranformationMod_gr_260.gif], [Graphics:Images/MobiusTranformationMod_gr_261.gif], and [Graphics:Images/MobiusTranformationMod_gr_262.gif] are shown in Figure 10.8.

            Figure 10.8  Images of [Graphics:Images/MobiusTranformationMod_gr_263.gif] under the mapping [Graphics:Images/MobiusTranformationMod_gr_264.gif].

 

Exercises for Section 10.2.  Bilinear Transformations

 

Library Research Experience for Undergraduates

Conformal Mapping

Mobius - Bilinear Transformation

Smith Chart

 

 

 

 

The Next Module is

Mapping Involving Elementary Functions

 

 

Return to the Complex Analysis Modules  

 

 

Return to the Complex Analysis Project

 

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This material is coordinated with our book Complex Analysis for Mathematics and Engineering.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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