Exercise 9.  Consider the mapping  [Graphics:Images/ConformalMappingModHome_gr_670.gif].  

Show that the line segment  [Graphics:Images/ConformalMappingModHome_gr_671.gif],  and the vertical line  [Graphics:Images/ConformalMappingModHome_gr_672.gif], where  [Graphics:Images/ConformalMappingModHome_gr_673.gif] are mapped onto orthogonal curves.  

Solution 9.

See text and/or instructor's solution manual.

Solution Method I.   Applying Theorem 10.1,  [Graphics:../Images/ConformalMappingModHome_gr_674.gif]  and  in Section 5.4 we saw that

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

Then

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

Hence  [Graphics:../Images/ConformalMappingModHome_gr_677.gif]  is conformal at  [Graphics:../Images/ConformalMappingModHome_gr_678.gif].  

The lines    [Graphics:../Images/ConformalMappingModHome_gr_679.gif]  and  [Graphics:../Images/ConformalMappingModHome_gr_680.gif]  intersect orthogonally at the point  [Graphics:../Images/ConformalMappingModHome_gr_681.gif],

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

Solution Method II.   In Example 10.13 in Section 10.4, we will see that the image of a vertical line  [Graphics:../Images/ConformalMappingModHome_gr_683.gif]  is hyperbola,

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

The image of the vertical line  [Graphics:../Images/ConformalMappingModHome_gr_685.gif]  is

(10-23)             [Graphics:../Images/ConformalMappingModHome_gr_686.gif].  

Implicit differentiation of  [Graphics:../Images/ConformalMappingModHome_gr_687.gif] produces the equation   [Graphics:../Images/ConformalMappingModHome_gr_688.gif],  then  [Graphics:../Images/ConformalMappingModHome_gr_689.gif].  

The slope at the point  [Graphics:../Images/ConformalMappingModHome_gr_690.gif]  is   

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

The image of the horizontal segment  [Graphics:../Images/ConformalMappingModHome_gr_692.gif]  is

(10-24)             [Graphics:../Images/ConformalMappingModHome_gr_693.gif].  

Implicit differentiation of  [Graphics:../Images/ConformalMappingModHome_gr_694.gif] produces the equation   [Graphics:../Images/ConformalMappingModHome_gr_695.gif],  then  [Graphics:../Images/ConformalMappingModHome_gr_696.gif].  

The slope at the point  [Graphics:../Images/ConformalMappingModHome_gr_697.gif]  is   

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

Since  [Graphics:../Images/ConformalMappingModHome_gr_699.gif],  the curves are orthogonal.

We are done.   

Aside.  We can let Mathematica illustrate our work.

                                   [Graphics:../Images/ConformalMappingModHome_gr_700.gif]          [Graphics:../Images/ConformalMappingModHome_gr_701.gif]

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

                                   [Graphics:../Images/ConformalMappingModHome_gr_703.gif]          [Graphics:../Images/ConformalMappingModHome_gr_704.gif]

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

 

 

We are really done.

Caveat.  At a point  [Graphics:../Images/ConformalMappingModHome_gr_706.gif]  where  [Graphics:../Images/ConformalMappingModHome_gr_707.gif]   we will have

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

Applying Theorem 10.2 we see that the mapping  [Graphics:../Images/ConformalMappingModHome_gr_709.gif] magnifies angles at the vertex [Graphics:../Images/ConformalMappingModHome_gr_710.gif] by the factor  [Graphics:../Images/ConformalMappingModHome_gr_711.gif].

                                   [Graphics:../Images/ConformalMappingModHome_gr_712.gif]          [Graphics:../Images/ConformalMappingModHome_gr_713.gif]

                      For   [Graphics:../Images/ConformalMappingModHome_gr_714.gif]  at  [Graphics:../Images/ConformalMappingModHome_gr_715.gif]  we have   [Graphics:../Images/ConformalMappingModHome_gr_716.gif]   and   [Graphics:../Images/ConformalMappingModHome_gr_717.gif],  and
                      the mapping  [Graphics:../Images/ConformalMappingModHome_gr_718.gif] magnifies angles at the vertex  [Graphics:../Images/ConformalMappingModHome_gr_719.gif]  by the factor  [Graphics:../Images/ConformalMappingModHome_gr_720.gif].

 

Remark.  In Section 10.4 we will study some trigonometric mappings, including  [Graphics:../Images/ConformalMappingModHome_gr_721.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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