Exercise 8.  Show that   [Graphics:Images/SchwarzChristoffelModHome_gr_337.gif]   maps the upper half-plane   [Graphics:Images/SchwarzChristoffelModHome_gr_338.gif]   

onto the domain indicated in Figure 11.82.                     Figure 11.82.

Hint 1.  Set   [Graphics:Images/SchwarzChristoffelModHome_gr_339.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_340.gif],   and   [Graphics:Images/SchwarzChristoffelModHome_gr_341.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_342.gif],   respectively, and let   [Graphics:Images/SchwarzChristoffelModHome_gr_343.gif].    

Hint 2.  Use the change of variable   [Graphics:Images/SchwarzChristoffelModHome_gr_344.gif]   in the resulting integral.  

Solution 8.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/SchwarzChristoffelModHome_gr_345.gif],   for convenience, set [Graphics:../Images/SchwarzChristoffelModHome_gr_346.gif],  [Graphics:../Images/SchwarzChristoffelModHome_gr_347.gif].  

Integrate and get   [Graphics:../Images/SchwarzChristoffelModHome_gr_348.gif].    

Solution.   Along the x-axis use the points   [Graphics:../Images/SchwarzChristoffelModHome_gr_349.gif].   The exterior angles are  [Graphics:../Images/SchwarzChristoffelModHome_gr_350.gif],  

and the formula for the derivative [Graphics:../Images/SchwarzChristoffelModHome_gr_351.gif] is  given by the Schwarz-Christoffel formula  

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

For convenience, set [Graphics:../Images/SchwarzChristoffelModHome_gr_353.gif],  [Graphics:../Images/SchwarzChristoffelModHome_gr_354.gif].  

Integrate and get

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

The first integral is easy to get

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

The second integral can be found using the suggested change of variable  
            
                    [Graphics:../Images/SchwarzChristoffelModHome_gr_357.gif]  

Make substitutions in the integral

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

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

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

Now combine this with the first integral and obtain  

                    [Graphics:../Images/SchwarzChristoffelModHome_gr_361.gif]
        
Therefore,   

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

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

The logarithm term could also be written in the form  

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

 

We are really done.   

 

Aside.  We can check some more work.

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

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


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

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

To get the desired formula replace  [Graphics:../Images/SchwarzChristoffelModHome_gr_374.gif]  with  [Graphics:../Images/SchwarzChristoffelModHome_gr_375.gif].

 

We are really really done.   

 

Aside.  For illustration purposes we can graph the mapping   [Graphics:../Images/SchwarzChristoffelModHome_gr_376.gif].  

                     [Graphics:../Images/SchwarzChristoffelModHome_gr_378.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_379.gif]

                    

                    The mapping   [Graphics:../Images/SchwarzChristoffelModHome_gr_380.gif].  

 

We are really really really done.   

 

        Observe that the conditions   [Graphics:../Images/SchwarzChristoffelModHome_gr_381.gif]  and  [Graphics:../Images/SchwarzChristoffelModHome_gr_382.gif],   are met.

The images of   [Graphics:../Images/SchwarzChristoffelModHome_gr_383.gif],   are   [Graphics:../Images/SchwarzChristoffelModHome_gr_384.gif],   respectively.

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

From calculus we have   [Graphics:../Images/SchwarzChristoffelModHome_gr_386.gif]   so we will use   [Graphics:../Images/SchwarzChristoffelModHome_gr_387.gif]   and write

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

Remark 1.   And if the inverse hyperbolic functions are used then the solution can be written as

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

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

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


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

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

Remark 2.   If the computer algebra Mathematica is used to perform the integration then the answer is

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

Remark 3.    If the computer algebra Maple is used to perform the integration then the answer is

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

Or if the second integral is treated separately, then Maple's answer will be  

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

Summary of Results.   The following five mapping of the upper half-plane will produce the same results.

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

  

We are really really really really done.   

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_399.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_400.gif]

  

                    The mapping   [Graphics:../Images/SchwarzChristoffelModHome_gr_401.gif].  

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_403.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_404.gif]

  

                    The mapping   [Graphics:../Images/SchwarzChristoffelModHome_gr_405.gif].  

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_407.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_408.gif]

  

                    The mapping   [Graphics:../Images/SchwarzChristoffelModHome_gr_409.gif].  

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_411.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_412.gif]

  

                    The mapping   [Graphics:../Images/SchwarzChristoffelModHome_gr_413.gif].  

 

We are really really really really really done.   

 

Aside.   It is possible to expand the integrand   [Graphics:../Images/SchwarzChristoffelModHome_gr_414.gif]   in the following form

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

Then integrating each term on the right side yields

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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