Exercise 15.  Show that   [Graphics:Images/SchwarzChristoffelModHome_gr_671.gif]   maps the upper half-plane   [Graphics:Images/SchwarzChristoffelModHome_gr_672.gif]   

onto the domain indicated in Figure 11.86.                     Figure 11.86.

Hint.  Set   [Graphics:Images/SchwarzChristoffelModHome_gr_673.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_674.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_675.gif],   and   [Graphics:Images/SchwarzChristoffelModHome_gr_676.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_677.gif],  [Graphics:Images/SchwarzChristoffelModHome_gr_678.gif],   respectively, and let   [Graphics:Images/SchwarzChristoffelModHome_gr_679.gif].    

Solution 15.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/SchwarzChristoffelModHome_gr_680.gif],   integrate and get   [Graphics:../Images/SchwarzChristoffelModHome_gr_681.gif],  

The desired solution has  [Graphics:../Images/SchwarzChristoffelModHome_gr_682.gif],  [Graphics:../Images/SchwarzChristoffelModHome_gr_683.gif].   Obtain   [Graphics:../Images/SchwarzChristoffelModHome_gr_684.gif].

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

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

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

Integrate and get

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

The first integral is easy to get

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

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

Make substitutions in the integral

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

Now use the substitution  [Graphics:../Images/SchwarzChristoffelModHome_gr_693.gif],  

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

A Solution.  Now combine this with the first integral and get  

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

The desired solution has  [Graphics:../Images/SchwarzChristoffelModHome_gr_696.gif],  [Graphics:../Images/SchwarzChristoffelModHome_gr_697.gif].  

Therefore,   

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

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

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


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

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

Remark.  To obtain our form of the function value  f(1)  use the computation   

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

The Solution.  Use the version   [Graphics:../Images/SchwarzChristoffelModHome_gr_709.gif]  with the first integral and get  

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

The desired solution has  [Graphics:../Images/SchwarzChristoffelModHome_gr_711.gif],  [Graphics:../Images/SchwarzChristoffelModHome_gr_712.gif].  

Therefore,   

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

 

We are really done.   

 

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

                     [Graphics:../Images/SchwarzChristoffelModHome_gr_716.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_717.gif]

                    

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

 

We are really really done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

        Observe that the conditions   [Graphics:../Images/SchwarzChristoffelModHome_gr_725.gif],   are met.

The images of   [Graphics:../Images/SchwarzChristoffelModHome_gr_726.gif],   are   [Graphics:../Images/SchwarzChristoffelModHome_gr_727.gif],   respectively.

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

and

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

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

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

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


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

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

Remark.  To obtain our form of the function value  f(1)  use the computation   

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

 

We are really really really done.   

 

Another Alternative Solution.   The images of   [Graphics:../Images/SchwarzChristoffelModHome_gr_736.gif],   are   [Graphics:../Images/SchwarzChristoffelModHome_gr_737.gif],   respectively.

Using   [Graphics:../Images/SchwarzChristoffelModHome_gr_738.gif]

with   [Graphics:../Images/SchwarzChristoffelModHome_gr_739.gif],   we obtain the system of equations

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

Then

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

Then

                    [Graphics:../Images/SchwarzChristoffelModHome_gr_742.gif]  
                    
Then

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

The values  [Graphics:../Images/SchwarzChristoffelModHome_gr_744.gif]  are solutions for this system of equations.

Therefore,   

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

 

We are really really really really done.   

 

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

                     [Graphics:../Images/SchwarzChristoffelModHome_gr_748.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_749.gif]

                    

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

 

We are really really really really really done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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

The logarithm term could also be written in the form  

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

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

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


And if the inverse hyperbolic functions are used then this can be written as

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

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

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

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

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

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

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

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

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

 

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

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

 

We are really really really really really really done.   

 

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



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_766.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_767.gif]

  

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

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_770.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_771.gif]

  

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

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_774.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_775.gif]

  

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

 



                    [Graphics:../Images/SchwarzChristoffelModHome_gr_778.gif]          [Graphics:../Images/SchwarzChristoffelModHome_gr_779.gif]

  

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

 

We are really really really really  really really really done.   

 

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

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

Then integrating each term on the right side yields

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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