Exercise 10.  Show that   [Graphics:Images/SchwarzChristoffelModHome_gr_462.gif]   maps the upper half-plane   [Graphics:Images/SchwarzChristoffelModHome_gr_463.gif]   

onto the domain indicated in Figure 11.84.                     Figure 11.84.

Hint 1.  Set   [Graphics:Images/SchwarzChristoffelModHome_gr_464.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_465.gif],   and   [Graphics:Images/SchwarzChristoffelModHome_gr_466.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_467.gif],   respectively, and let   [Graphics:Images/SchwarzChristoffelModHome_gr_468.gif].    

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

Solution 10.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/SchwarzChristoffelModHome_gr_470.gif],   for convenience set  [Graphics:../Images/SchwarzChristoffelModHome_gr_471.gif].   

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

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

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

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

For convenience set  [Graphics:../Images/SchwarzChristoffelModHome_gr_477.gif].   

Now integrate and get    

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

The first integral is easy to get

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

The second integral can be found using the change of variable

                    [Graphics:../Images/SchwarzChristoffelModHome_gr_480.gif]  
            
make these substitutions in the integral and get

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

Next use the substitution   [Graphics:../Images/SchwarzChristoffelModHome_gr_482.gif]   and get

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

Now combine this with the first integral and get

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

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

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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

Use the identity  [Graphics:../Images/SchwarzChristoffelModHome_gr_490.gif]  and write the solution using logarithms

Therefore,  

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

 

We are really done.   

 

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



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_494.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_495.gif]

  

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

 

We are really really done.   

 

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

The images of   [Graphics:../Images/SchwarzChristoffelModHome_gr_499.gif],   are   [Graphics:../Images/SchwarzChristoffelModHome_gr_500.gif],   respectively.

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


                    [Graphics:../Images/SchwarzChristoffelModHome_gr_502.gif]
                    
                    
From calculus we have   [Graphics:../Images/SchwarzChristoffelModHome_gr_503.gif]   so we will use   [Graphics:../Images/SchwarzChristoffelModHome_gr_504.gif]   and write

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

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



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_508.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_509.gif]

  

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

 

We are really really really done.   

 

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

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

which gives the correct result but uses the a specialized hypergeometric function.

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

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

Remark 1.2   Mathematica 7 will get the following formula for the integral

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

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

 

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

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

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

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


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

 

We are really really really really done.   

 

Aside.  For illustration purposes we can graph some of the other mappings.  



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_520.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_521.gif]

  

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

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_524.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_525.gif]

  

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

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_528.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_529.gif]

  

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

 

We are really really really really really done.   

 

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

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

Then integrating each term on the right side yields

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

Combining the above result with[Graphics:../Images/SchwarzChristoffelModHome_gr_534.gif]  produces the desired solution

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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