Exercise 7.  Find the function  [Graphics:Images/DirichletProblemModHome_gr_230.gif]  that is harmonic in the unit disk  [Graphics:Images/DirichletProblemModHome_gr_231.gif]  and has the boundary values  

                    [Graphics:Images/DirichletProblemModHome_gr_232.gif][Graphics:Images/DirichletProblemModHome_gr_233.gif]

Solution 7.

See text and/or instructor's solution manual.

Answer.   Use the result of Example 11.8 and get   [Graphics:../Images/DirichletProblemModHome_gr_234.gif].  

Alternative Answer.       [Graphics:../Images/DirichletProblemModHome_gr_235.gif].

Solution.   Use the result of Example 11.8 and the function   [Graphics:../Images/DirichletProblemModHome_gr_236.gif],   where

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

Then it is easy to see that  [Graphics:../Images/DirichletProblemModHome_gr_238.gif].  

Therefore,   

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

A More Detailed Solution.   Example 10.3 in Section 10.2 showed that the transformation  

[Graphics:../Images/DirichletProblemModHome_gr_240.gif]   maps the unit disk [Graphics:../Images/DirichletProblemModHome_gr_241.gif] onto the upper half-plane [Graphics:../Images/DirichletProblemModHome_gr_242.gif].   

Furthermore, the upper semi-circle [Graphics:../Images/DirichletProblemModHome_gr_243.gif] is mapped onto the positive u-axis, i.e.  [Graphics:../Images/DirichletProblemModHome_gr_244.gif],

and the lower semi-circle [Graphics:../Images/DirichletProblemModHome_gr_245.gif] is mapped onto the negative u-axis, i.e.  [Graphics:../Images/DirichletProblemModHome_gr_246.gif].  

This makes a new boundary value problem in the w-plane   

                    [Graphics:../Images/DirichletProblemModHome_gr_247.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_248.gif],   and      
            
                    [Graphics:../Images/DirichletProblemModHome_gr_249.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_250.gif].        

Now let [Graphics:../Images/DirichletProblemModHome_gr_251.gif]  apply the result in Example 11.5.  Then for the boundary value problem

                    [Graphics:../Images/DirichletProblemModHome_gr_252.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_253.gif],   and      
            
                    [Graphics:../Images/DirichletProblemModHome_gr_254.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_255.gif],          

has the solution   

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

        Since   [Graphics:../Images/DirichletProblemModHome_gr_257.gif],   the solution  [Graphics:../Images/DirichletProblemModHome_gr_258.gif]  in the z-plane will be

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

Therefore,   

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

 

We are really done.   

 

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

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

                     A contour graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_263.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_264.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_265.gif].  

 

We are really really done.   

 

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

                     A contour graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_267.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_268.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_269.gif].  

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

                     A contour graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_271.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_272.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_273.gif].  

 

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

                    A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_275.gif].  

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

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

                    A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_278.gif].  

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

 

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

                      A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_281.gif].  

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

 

We are really really really done.   

 

Alternative Solution.  If the trigonometric identity  [Graphics:../Images/DirichletProblemModHome_gr_283.gif]  is used then we get:  

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

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

                     A contour graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_286.gif]

                     where   [Graphics:../Images/DirichletProblemModHome_gr_287.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_288.gif].  

 

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

                    A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_290.gif].  

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

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

                    A graph of the function   [Graphics:../Images/DirichletProblemModHome_gr_293.gif].  

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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