Exercise 6.  Consider the mapping  [Graphics:Images/ConformalMappingModHome_gr_522.gif].  

If  [Graphics:Images/ConformalMappingModHome_gr_523.gif],  show that the lines  [Graphics:Images/ConformalMappingModHome_gr_524.gif]  are mapped onto orthogonal parabolas.

Solution 6.

See text and/or instructor's solution manual.

Solution Method I.   Applying Theorem 10.1,  for   [Graphics:../Images/ConformalMappingModHome_gr_525.gif],   we have   [Graphics:../Images/ConformalMappingModHome_gr_526.gif]   and since  [Graphics:../Images/ConformalMappingModHome_gr_527.gif],   

it follows that    [Graphics:../Images/ConformalMappingModHome_gr_528.gif].   Hence  [Graphics:../Images/ConformalMappingModHome_gr_529.gif]  is conformal at  [Graphics:../Images/ConformalMappingModHome_gr_530.gif].  

Since [Graphics:../Images/ConformalMappingModHome_gr_531.gif]  is conformal at  [Graphics:../Images/ConformalMappingModHome_gr_532.gif],  the lines  [Graphics:../Images/ConformalMappingModHome_gr_533.gif]  and  [Graphics:../Images/ConformalMappingModHome_gr_534.gif]  

which intersect orthogonally at the point  [Graphics:../Images/ConformalMappingModHome_gr_535.gif],  will be mapped onto curves

which intersect orthogonally at the point  [Graphics:../Images/ConformalMappingModHome_gr_536.gif].  

Solution Method II.   In Example 2.12 in Section 2.2, we saw that the image of the line [Graphics:../Images/ConformalMappingModHome_gr_537.gif] is the parabola  [Graphics:../Images/ConformalMappingModHome_gr_538.gif]  and  [Graphics:../Images/ConformalMappingModHome_gr_539.gif].  

At the point  [Graphics:../Images/ConformalMappingModHome_gr_540.gif]  the slope of this parabola is  [Graphics:../Images/ConformalMappingModHome_gr_541.gif]  and we can write it in the [Graphics:../Images/ConformalMappingModHome_gr_542.gif]  form

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

Also, the image of the line  [Graphics:../Images/ConformalMappingModHome_gr_544.gif]  is the parabola  [Graphics:../Images/ConformalMappingModHome_gr_545.gif]  and  [Graphics:../Images/ConformalMappingModHome_gr_546.gif].  

At the point  [Graphics:../Images/ConformalMappingModHome_gr_547.gif]  the slope of this parabola is  [Graphics:../Images/ConformalMappingModHome_gr_548.gif]  and we can write it in the [Graphics:../Images/ConformalMappingModHome_gr_549.gif]  form

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

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

Solution Method III.   For the mapping  [Graphics:../Images/ConformalMappingModHome_gr_552.gif],  the lines  

                    [Graphics:../Images/ConformalMappingModHome_gr_553.gif]   and   [Graphics:../Images/ConformalMappingModHome_gr_554.gif]  

intersect orthogonally at the point  [Graphics:../Images/ConformalMappingModHome_gr_555.gif].

Their image curves are

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


                    [Graphics:../Images/ConformalMappingModHome_gr_557.gif],

and their tangent vectors are  

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

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

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

[Graphics:../Images/ConformalMappingModHome_gr_562.gif]  and  [Graphics:../Images/ConformalMappingModHome_gr_563.gif],  respectively,  and we have

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

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

We are done.   

Aside.  We can let Mathematica illustrate our work.

                                   [Graphics:../Images/ConformalMappingModHome_gr_566.gif]          [Graphics:../Images/ConformalMappingModHome_gr_567.gif]

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

                                   [Graphics:../Images/ConformalMappingModHome_gr_569.gif]          [Graphics:../Images/ConformalMappingModHome_gr_570.gif]

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

 

 

We are really done.

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

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

Applying Theorem 10.2 we see that the mapping  [Graphics:../Images/ConformalMappingModHome_gr_575.gif] magnifies angles at the vertex  [Graphics:../Images/ConformalMappingModHome_gr_576.gif]  by the factor  [Graphics:../Images/ConformalMappingModHome_gr_577.gif].

                    [Graphics:../Images/ConformalMappingModHome_gr_578.gif]          [Graphics:../Images/ConformalMappingModHome_gr_579.gif]

                      For   [Graphics:../Images/ConformalMappingModHome_gr_580.gif]  at  [Graphics:../Images/ConformalMappingModHome_gr_581.gif]  we have   [Graphics:../Images/ConformalMappingModHome_gr_582.gif]   and   [Graphics:../Images/ConformalMappingModHome_gr_583.gif],  and
                      the mapping  [Graphics:../Images/ConformalMappingModHome_gr_584.gif] magnifies angles at the vertex  [Graphics:../Images/ConformalMappingModHome_gr_585.gif]  by the factor  [Graphics:../Images/ConformalMappingModHome_gr_586.gif].

 

 

Remark.  In Section 2.2 we introduced the mapping  [Graphics:../Images/ConformalMappingModHome_gr_587.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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