Exercise 8.   Consider the conformal mapping   [Graphics:Images/ElectrostaticsModHome_gr_408.gif].

8 (a).   Show that  [Graphics:Images/ElectrostaticsModHome_gr_409.gif]  maps the domain  D  that is the portion of the disk   [Graphics:Images/ElectrostaticsModHome_gr_410.gif],  

that lies outside the circle   [Graphics:Images/ElectrostaticsModHome_gr_411.gif]   onto the annulus   [Graphics:Images/ElectrostaticsModHome_gr_412.gif].  

Solution 8 (a).

See text and/or instructor's solution manual.

Solution.   First, the boundary of the region [Graphics:../Images/ElectrostaticsModHome_gr_413.gif]  can be give a positive orientation by using the points [Graphics:../Images/ElectrostaticsModHome_gr_414.gif],  [Graphics:../Images/ElectrostaticsModHome_gr_415.gif],  and  [Graphics:../Images/ElectrostaticsModHome_gr_416.gif].  

The image points are  [Graphics:../Images/ElectrostaticsModHome_gr_417.gif],  [Graphics:../Images/ElectrostaticsModHome_gr_418.gif],  (where  [Graphics:../Images/ElectrostaticsModHome_gr_419.gif]),  

and  [Graphics:../Images/ElectrostaticsModHome_gr_420.gif]  and give the disk [Graphics:../Images/ElectrostaticsModHome_gr_421.gif]  a positive orientation.  

Next, the boundary of the disk  [Graphics:../Images/ElectrostaticsModHome_gr_422.gif]   can be give a positive orientation by using the points [Graphics:../Images/ElectrostaticsModHome_gr_423.gif],  [Graphics:../Images/ElectrostaticsModHome_gr_424.gif],  and  [Graphics:../Images/ElectrostaticsModHome_gr_425.gif].  

The image points are  [Graphics:../Images/ElectrostaticsModHome_gr_426.gif],  [Graphics:../Images/ElectrostaticsModHome_gr_427.gif],  (where  [Graphics:../Images/ElectrostaticsModHome_gr_428.gif]),  and  [Graphics:../Images/ElectrostaticsModHome_gr_429.gif]  

and give the region [Graphics:../Images/ElectrostaticsModHome_gr_430.gif]  a positive orientation.  

        Therefore   [Graphics:../Images/ElectrostaticsModHome_gr_431.gif]   maps  the portion of the disk   [Graphics:../Images/ElectrostaticsModHome_gr_432.gif],  

that lies outside the circle   [Graphics:../Images/ElectrostaticsModHome_gr_433.gif]   onto the annulus   [Graphics:../Images/ElectrostaticsModHome_gr_434.gif].  

Furthermore,  the circle   [Graphics:../Images/ElectrostaticsModHome_gr_435.gif]   is mapped onto the unit circle   [Graphics:../Images/ElectrostaticsModHome_gr_436.gif],  

and the  circle   [Graphics:../Images/ElectrostaticsModHome_gr_437.gif]   is mapped onto the circle   [Graphics:../Images/ElectrostaticsModHome_gr_438.gif].    

 

We are done.   

 

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

                     [Graphics:../Images/ElectrostaticsModHome_gr_440.gif]          [Graphics:../Images/ElectrostaticsModHome_gr_441.gif]

  

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

 

We are really done.   

 

        We can use Mathematica to explore some of the computations.

        The function   [Graphics:../Images/ElectrostaticsModHome_gr_443.gif]   maps  [Graphics:../Images/ElectrostaticsModHome_gr_444.gif]

onto   [Graphics:../Images/ElectrostaticsModHome_gr_445.gif],   respectively.  

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

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

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


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

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


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

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

Hence, the circle  [Graphics:../Images/ElectrostaticsModHome_gr_453.gif]  is mapped onto the circle  [Graphics:../Images/ElectrostaticsModHome_gr_454.gif].   

        The function   [Graphics:../Images/ElectrostaticsModHome_gr_455.gif]   maps  [Graphics:../Images/ElectrostaticsModHome_gr_456.gif]

onto   [Graphics:../Images/ElectrostaticsModHome_gr_457.gif] ,   respectively.  

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

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

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


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

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


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

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

Hence, the circle   [Graphics:../Images/ElectrostaticsModHome_gr_465.gif]   is mapped onto the circle  [Graphics:../Images/ElectrostaticsModHome_gr_466.gif].   

        Therefore   [Graphics:../Images/ElectrostaticsModHome_gr_467.gif]   maps  the portion of the disk   [Graphics:../Images/ElectrostaticsModHome_gr_468.gif],  

that lies outside the circle   [Graphics:../Images/ElectrostaticsModHome_gr_469.gif]   onto the annulus   [Graphics:../Images/ElectrostaticsModHome_gr_470.gif].  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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