Exercise 9.  Describe a Riemann surface for the domain of definition of the multivalued function  

9 (a).    [Graphics:Images/ComplexFunBranchModHome_gr_321.gif].  

Solution 9 (a).

See text and/or instructor's solution manual.

Answer.  For  [Graphics:../Images/ComplexFunBranchModHome_gr_322.gif]  we have  

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

as the three branches of the cube root with domains  [Graphics:../Images/ComplexFunBranchModHome_gr_324.gif].  

As in the text, form three domains [Graphics:../Images/ComplexFunBranchModHome_gr_325.gif] which are copies of the complex plane slit along the negative real axis,  and stack  [Graphics:../Images/ComplexFunBranchModHome_gr_326.gif]  directly above each other.  

            [Graphics:../Images/ComplexFunBranchModHome_gr_375.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_376.gif]

                                                            The image of [Graphics:../Images/ComplexFunBranchModHome_gr_327.gif].

            [Graphics:../Images/ComplexFunBranchModHome_gr_380.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_381.gif]

                                                            The image of [Graphics:../Images/ComplexFunBranchModHome_gr_329.gif].

            [Graphics:../Images/ComplexFunBranchModHome_gr_385.gif][Graphics:../Images/ComplexFunBranchModHome_gr_386.gif]

                                                            The image of [Graphics:../Images/ComplexFunBranchModHome_gr_330.gif].

               Join the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_327.gif] in the upper half plane to the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_328.gif] in the lower half plane.  

               Join the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_329.gif] in the upper half plane to the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_330.gif] in the lower half plane.

It is possible to make above construction, it would look something like a spiral parking ramp.

                

            [Graphics:../Images/ComplexFunBranchModHome_gr_390.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_391.gif]

                    The three sheets  [Graphics:../Images/ComplexFunBranchModHome_gr_392.gif]  of the Riemann surface domain for the cube root function  [Graphics:../Images/ComplexFunBranchModHome_gr_393.gif].  

Finally, join the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_334.gif] in the upper half plane to the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_335.gif] in the lower half plane.  

          

            [Graphics:../Images/ComplexFunBranchModHome_gr_394.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_395.gif]

                    The Riemann surface domain for the cube root function  [Graphics:../Images/ComplexFunBranchModHome_gr_396.gif].  

                           

Background for the Solution.  In Exercise 5, Exercise 6, and Exercise 7 we investigated three branches of the cube root function  [Graphics:../Images/ComplexFunBranchModHome_gr_338.gif].  

For each branch we used the coordinate notation [Graphics:../Images/ComplexFunBranchModHome_gr_339.gif] in the same domain set  [Graphics:../Images/ComplexFunBranchModHome_gr_340.gif].  

Thus we obtained three branches of  [Graphics:../Images/ComplexFunBranchModHome_gr_341.gif]:  

    [Graphics:../Images/ComplexFunBranchModHome_gr_342.gif][Graphics:../Images/ComplexFunBranchModHome_gr_343.gif]   with
    
    [Graphics:../Images/ComplexFunBranchModHome_gr_344.gif],   for  [Graphics:../Images/ComplexFunBranchModHome_gr_345.gif].  

The images of  D  under  [Graphics:../Images/ComplexFunBranchModHome_gr_346.gif]  is the sector  [Graphics:../Images/ComplexFunBranchModHome_gr_347.gif],   for  [Graphics:../Images/ComplexFunBranchModHome_gr_348.gif].  

Important note.  In Exercise 5, Exercise 6, and Exercise 7 we used the same domain set  [Graphics:../Images/ComplexFunBranchModHome_gr_349.gif] and three different formulas  [Graphics:../Images/ComplexFunBranchModHome_gr_350.gif] for the functions.

In the construction of the Riemann surface for [Graphics:../Images/ComplexFunBranchModHome_gr_351.gif] we will use three different domain sets [Graphics:../Images/ComplexFunBranchModHome_gr_352.gif] and one formula  [Graphics:../Images/ComplexFunBranchModHome_gr_353.gif]  for the function.  

As in the text, each domain   [Graphics:../Images/ComplexFunBranchModHome_gr_354.gif]  is a copy of the z-plane slit along the negative real axis.

Solution for the Riemann Surface.  

     To construct the Riemann surface for  [Graphics:../Images/ComplexFunBranchModHome_gr_355.gif]  we need to consider extending Equation (2-30) for the case of the cube root.

For each branch [Graphics:../Images/ComplexFunBranchModHome_gr_356.gif]we must use it's own special coordinate notation for  [Graphics:../Images/ComplexFunBranchModHome_gr_357.gif]  in the z-plane, i.e. use the special special domain set  

        [Graphics:../Images/ComplexFunBranchModHome_gr_358.gif]   with  
    
        [Graphics:../Images/ComplexFunBranchModHome_gr_359.gif].  

The image of the domain set  [Graphics:../Images/ComplexFunBranchModHome_gr_360.gif]  is the sector  [Graphics:../Images/ComplexFunBranchModHome_gr_361.gif],   for  [Graphics:../Images/ComplexFunBranchModHome_gr_362.gif].  

       Notice that in the w-plane the angles for the three sectors [Graphics:../Images/ComplexFunBranchModHome_gr_363.gif] are  [Graphics:../Images/ComplexFunBranchModHome_gr_364.gif],  [Graphics:../Images/ComplexFunBranchModHome_gr_365.gif],  and  [Graphics:../Images/ComplexFunBranchModHome_gr_366.gif]

and taken all together these angles cover the interval  [Graphics:../Images/ComplexFunBranchModHome_gr_367.gif].   

So when we glue together the image sectors  [Graphics:../Images/ComplexFunBranchModHome_gr_368.gif]  they cover the entire complex w-plane.

      The domain set will be a Riemann surface, and it is formed as follows:

Join the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_369.gif] in the upper half plane to the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_370.gif] in the lower half plane.  

Join the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_371.gif] in the upper half plane to the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_372.gif] in the lower half plane.

      It is possible to make above construction, it would look something like a spiral parking ramp.

            [Graphics:../Images/ComplexFunBranchModHome_gr_375.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_376.gif]

                    The image of  [Graphics:../Images/ComplexFunBranchModHome_gr_377.gif]  under  [Graphics:../Images/ComplexFunBranchModHome_gr_378.gif]  is the sector  [Graphics:../Images/ComplexFunBranchModHome_gr_379.gif].

            [Graphics:../Images/ComplexFunBranchModHome_gr_380.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_381.gif]

                    The image of  [Graphics:../Images/ComplexFunBranchModHome_gr_382.gif]  under  [Graphics:../Images/ComplexFunBranchModHome_gr_383.gif]  is the sector  [Graphics:../Images/ComplexFunBranchModHome_gr_384.gif].

            [Graphics:../Images/ComplexFunBranchModHome_gr_385.gif][Graphics:../Images/ComplexFunBranchModHome_gr_386.gif]

                    The image of  [Graphics:../Images/ComplexFunBranchModHome_gr_387.gif]  under  [Graphics:../Images/ComplexFunBranchModHome_gr_388.gif]  is the sector  [Graphics:../Images/ComplexFunBranchModHome_gr_389.gif].

          

            [Graphics:../Images/ComplexFunBranchModHome_gr_390.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_391.gif]

                    The three sheets  [Graphics:../Images/ComplexFunBranchModHome_gr_392.gif]  of the Riemann surface domain for the cube root function  [Graphics:../Images/ComplexFunBranchModHome_gr_393.gif].  

 

           Finally, join the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_373.gif] in the upper half plane to the edge of [Graphics:../Images/ComplexFunBranchModHome_gr_374.gif] in the lower half plane.  

This final connection makes the a construction in the real world of 3D space difficult.

          

            [Graphics:../Images/ComplexFunBranchModHome_gr_394.gif]          [Graphics:../Images/ComplexFunBranchModHome_gr_395.gif]

  

                    The Riemann surface domain for the cube root function  [Graphics:../Images/ComplexFunBranchModHome_gr_396.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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