Exercise 15.  Find the image of the quadrant  [Graphics:Images/ComplexFunReciprocalModHome_gr_625.gif]  under the mapping  [Graphics:Images/ComplexFunReciprocalModHome_gr_626.gif].  

Make sketches of the domain set and range set.

Hint.  Consider the points  [Graphics:Images/ComplexFunReciprocalModHome_gr_627.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_628.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_629.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_630.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_631.gif]  in the z-plane
and their images  [Graphics:Images/ComplexFunReciprocalModHome_gr_632.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_633.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_634.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_635.gif],  [Graphics:Images/ComplexFunReciprocalModHome_gr_636.gif]  in the w-plane.

Solution 15.

See text and/or instructor's solution manual.

Answer.  The intersection of  [Graphics:../Images/ComplexFunReciprocalModHome_gr_637.gif][Graphics:../Images/ComplexFunReciprocalModHome_gr_638.gif]  
and  [Graphics:../Images/ComplexFunReciprocalModHome_gr_639.gif][Graphics:../Images/ComplexFunReciprocalModHome_gr_640.gif],  
i. e.  the image region is  [Graphics:../Images/ComplexFunReciprocalModHome_gr_641.gif].  

Solution using algebra.

      The inverse mapping is  [Graphics:../Images/ComplexFunReciprocalModHome_gr_642.gif][Graphics:../Images/ComplexFunReciprocalModHome_gr_643.gif].   

Now use the substitution  [Graphics:../Images/ComplexFunReciprocalModHome_gr_644.gif]  and get:

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

Thus, the image of the right half-plane  [Graphics:../Images/ComplexFunReciprocalModHome_gr_646.gif]  is the disk  [Graphics:../Images/ComplexFunReciprocalModHome_gr_647.gif][Graphics:../Images/ComplexFunReciprocalModHome_gr_648.gif].

And get:  

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

Thus, the image of the right half-plane  [Graphics:../Images/ComplexFunReciprocalModHome_gr_650.gif]  is the disk  [Graphics:../Images/ComplexFunReciprocalModHome_gr_651.gif][Graphics:../Images/ComplexFunReciprocalModHome_gr_652.gif].

Therefore, the image of the quadrant  [Graphics:../Images/ComplexFunReciprocalModHome_gr_653.gif]  under the mapping  [Graphics:../Images/ComplexFunReciprocalModHome_gr_654.gif] is the intersection of these two disks, i.e.  

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

We are done.   

          

              [Graphics:../Images/ComplexFunReciprocalModHome_gr_656.gif]            [Graphics:../Images/ComplexFunReciprocalModHome_gr_657.gif]

  

                    The quadrant  [Graphics:../Images/ComplexFunReciprocalModHome_gr_658.gif]  and the image region  [Graphics:../Images/ComplexFunReciprocalModHome_gr_659.gif].

                    The points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_660.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_661.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_662.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_663.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_664.gif],   and
                    the images   [Graphics:../Images/ComplexFunReciprocalModHome_gr_665.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_666.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_667.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_668.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_669.gif].

Solution using point images.  

       We need to show that the image of the line  [Graphics:../Images/ComplexFunReciprocalModHome_gr_670.gif]  in the z-plane is the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_671.gif]  in the w-plane, and the latter will be a boundary curve of the image region. Then show that the image of the line  [Graphics:../Images/ComplexFunReciprocalModHome_gr_672.gif]  in the z-plane is the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_673.gif]  in the w-plane, and the latter will be a boundary curve of the image region.  The image is the region that is bounded by the two circles [Graphics:../Images/ComplexFunReciprocalModHome_gr_674.gif] and [Graphics:../Images/ComplexFunReciprocalModHome_gr_675.gif].

First consider the points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_676.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_677.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_678.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_679.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_680.gif]  in the z-plane

and their images  [Graphics:../Images/ComplexFunReciprocalModHome_gr_681.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_682.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_683.gif]  in the w-plane.

First consider the points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_684.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_685.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_686.gif]  lie on the vertical line  [Graphics:../Images/ComplexFunReciprocalModHome_gr_687.gif] in the z-plane.  

The image points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_688.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_689.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_690.gif],  lie on the the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_691.gif]  in the w-plane,

and this is shown by observing that the center of the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_692.gif]  is  [Graphics:../Images/ComplexFunReciprocalModHome_gr_693.gif],  and then making the computations:  

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

        [Graphics:../Images/ComplexFunReciprocalModHome_gr_695.gif],  and  

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

and we have verified this observation.   

This verifies our claim that the vertical line  [Graphics:../Images/ComplexFunReciprocalModHome_gr_697.gif]  is the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_698.gif].  

Second consider the points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_699.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_700.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_701.gif]  in the z-plane

and their images  [Graphics:../Images/ComplexFunReciprocalModHome_gr_702.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_703.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_704.gif]  in the w-plane.

The points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_705.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_706.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_707.gif]  lie on the horizontal line  [Graphics:../Images/ComplexFunReciprocalModHome_gr_708.gif] in the z-plane.  

The image points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_709.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_710.gif],  [Graphics:../Images/ComplexFunReciprocalModHome_gr_711.gif]  lie on the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_712.gif]  in the w-plane,  

and this is shown by observing that the center of the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_713.gif]  is  [Graphics:../Images/ComplexFunReciprocalModHome_gr_714.gif],  and then making the computations:  

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

[Graphics:../Images/ComplexFunReciprocalModHome_gr_716.gif],  and  

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

This verifies our claim that the image of the horizontal line  [Graphics:../Images/ComplexFunReciprocalModHome_gr_718.gif] is the circle  [Graphics:../Images/ComplexFunReciprocalModHome_gr_719.gif].  

Furthermore, we observe that the point  [Graphics:../Images/ComplexFunReciprocalModHome_gr_720.gif]  is mapped onto the point  [Graphics:../Images/ComplexFunReciprocalModHome_gr_721.gif]   so the image region lies inside  [Graphics:../Images/ComplexFunReciprocalModHome_gr_722.gif].

Therefore, the image of the quadrant  [Graphics:../Images/ComplexFunReciprocalModHome_gr_723.gif]  is the region  [Graphics:../Images/ComplexFunReciprocalModHome_gr_724.gif].  

Aside.  We can let Mathematica double check our work.

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

          

              [Graphics:../Images/ComplexFunReciprocalModHome_gr_726.gif]            [Graphics:../Images/ComplexFunReciprocalModHome_gr_727.gif]

  

                    The quadrant  [Graphics:../Images/ComplexFunReciprocalModHome_gr_728.gif]  and the image region  [Graphics:../Images/ComplexFunReciprocalModHome_gr_729.gif].

                    The points  [Graphics:../Images/ComplexFunReciprocalModHome_gr_730.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_731.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_732.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_733.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_734.gif],   and
                    the images   [Graphics:../Images/ComplexFunReciprocalModHome_gr_735.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_736.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_737.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_738.gif],   [Graphics:../Images/ComplexFunReciprocalModHome_gr_739.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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