Exercise 10.  Consider the mapping  [Graphics:Images/ConformalMappingModHome_gr_722.gif],  where  [Graphics:Images/ConformalMappingModHome_gr_723.gif]  denotes the principal branch of the logarithm function.  

Show that the positive [Graphics:Images/ConformalMappingModHome_gr_724.gif]-axis and the vertical line  [Graphics:Images/ConformalMappingModHome_gr_725.gif]  are mapped onto orthogonal curves.  

Solution 10.

See text and/or instructor's solution manual.

Solution Method I.   Applying Theorem 10.1,  [Graphics:../Images/ConformalMappingModHome_gr_726.gif]   and   [Graphics:../Images/ConformalMappingModHome_gr_727.gif].   

Then  [Graphics:../Images/ConformalMappingModHome_gr_728.gif]  hence  [Graphics:../Images/ConformalMappingModHome_gr_729.gif]  is conformal at  [Graphics:../Images/ConformalMappingModHome_gr_730.gif].  

The lines [Graphics:../Images/ConformalMappingModHome_gr_731.gif] and [Graphics:../Images/ConformalMappingModHome_gr_732.gif] intersect orthogonally at the point [Graphics:../Images/ConformalMappingModHome_gr_733.gif],

therefore their image curves will intersect orthogonally at the point [Graphics:../Images/ConformalMappingModHome_gr_734.gif].

Solution Method II.   In Section 5.2 found that the image of a vertical line  [Graphics:../Images/ConformalMappingModHome_gr_735.gif]  is

                    [Graphics:../Images/ConformalMappingModHome_gr_736.gif],   and  

and the image of a horizontal line  [Graphics:../Images/ConformalMappingModHome_gr_737.gif]  is

                    [Graphics:../Images/ConformalMappingModHome_gr_738.gif],
                    
and their tangent vectors are  

                    [Graphics:../Images/ConformalMappingModHome_gr_739.gif],   and

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

At the point  [Graphics:../Images/ConformalMappingModHome_gr_741.gif]  the tangent vectors to the curves  [Graphics:../Images/ConformalMappingModHome_gr_742.gif] are

[Graphics:../Images/ConformalMappingModHome_gr_743.gif]  and  [Graphics:../Images/ConformalMappingModHome_gr_744.gif],  respectively,  and we have

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

Therefore, the lines  [Graphics:../Images/ConformalMappingModHome_gr_746.gif]  are mapped onto orthogonal curves.

We are done.   

Aside.  We can let Mathematica illustrate our work.

                                   [Graphics:../Images/ConformalMappingModHome_gr_747.gif]          [Graphics:../Images/ConformalMappingModHome_gr_748.gif]

                                   The transformation   [Graphics:../Images/ConformalMappingModHome_gr_749.gif].   

                                   [Graphics:../Images/ConformalMappingModHome_gr_750.gif]          [Graphics:../Images/ConformalMappingModHome_gr_751.gif]

                                   The transformation   [Graphics:../Images/ConformalMappingModHome_gr_752.gif].   

 

Remark.  In Section 10.3 and Section 10.4 we will study some composite mappings involving  [Graphics:../Images/ConformalMappingModHome_gr_753.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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