The alternate definition of  [Graphics:Images/ComplexFunBranchModHome_gr_91.gif].  The alternate definitions [Graphics:Images/ComplexFunBranchModHome_gr_92.gif]  and  [Graphics:Images/ComplexFunBranchModHome_gr_93.gif]  for two branches of the square root are given in Exercises 2 and 3.

Exercise 3.  Let  [Graphics:Images/ComplexFunBranchModHome_gr_117.gif]  in Equation (2-30).   Find the range of the function   [Graphics:Images/ComplexFunBranchModHome_gr_118.gif].  

Solution 3.

See text and/or instructor's solution manual.

Answer.  Since  [Graphics:../Images/ComplexFunBranchModHome_gr_119.gif],  where  [Graphics:../Images/ComplexFunBranchModHome_gr_120.gif],   and  [Graphics:../Images/ComplexFunBranchModHome_gr_121.gif]   (explain!),

we see that the point  [Graphics:../Images/ComplexFunBranchModHome_gr_122.gif]   will lie in the lower half plane plus the positive real axis.

Thus, the range of  [Graphics:../Images/ComplexFunBranchModHome_gr_123.gif] is  [Graphics:../Images/ComplexFunBranchModHome_gr_124.gif].  

Solution.  Use polar coordinates  [Graphics:../Images/ComplexFunBranchModHome_gr_125.gif]  in the z-plane and  [Graphics:../Images/ComplexFunBranchModHome_gr_126.gif]  in the  w-plane.  

Then  [Graphics:../Images/ComplexFunBranchModHome_gr_127.gif],  where  [Graphics:../Images/ComplexFunBranchModHome_gr_128.gif]  and  [Graphics:../Images/ComplexFunBranchModHome_gr_129.gif],  

maps the point  [Graphics:../Images/ComplexFunBranchModHome_gr_130.gif]  in the xy-plane onto the point  [Graphics:../Images/ComplexFunBranchModHome_gr_131.gif]  in the uv-plane,

and we get the equations  [Graphics:../Images/ComplexFunBranchModHome_gr_132.gif]  and  [Graphics:../Images/ComplexFunBranchModHome_gr_133.gif].  

Using the equations  [Graphics:../Images/ComplexFunBranchModHome_gr_134.gif]  and  [Graphics:../Images/ComplexFunBranchModHome_gr_135.gif],  we find that the image of  [Graphics:../Images/ComplexFunBranchModHome_gr_136.gif]  is  

[Graphics:../Images/ComplexFunBranchModHome_gr_137.gif]  which can be written as  [Graphics:../Images/ComplexFunBranchModHome_gr_138.gif]

and in standard form is    [Graphics:../Images/ComplexFunBranchModHome_gr_139.gif].  

We are done.   

Aside.  We can let Mathematica double check our work.

           

                      [Graphics:../Images/ComplexFunBranchModHome_gr_140.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_141.gif]

  

                    The mapping  [Graphics:../Images/ComplexFunBranchModHome_gr_142.gif],  where  [Graphics:../Images/ComplexFunBranchModHome_gr_143.gif]  and  [Graphics:../Images/ComplexFunBranchModHome_gr_144.gif].  

                    The domain set  [Graphics:../Images/ComplexFunBranchModHome_gr_145.gif]  and range set  [Graphics:../Images/ComplexFunBranchModHome_gr_146.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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