Exercise 9.  Find the function  [Graphics:Images/DirichletProblemModHome_gr_356.gif]  that is harmonic in the upper half-disk  [Graphics:Images/DirichletProblemModHome_gr_357.gif]  and has the boundary values  

                    [Graphics:Images/DirichletProblemModHome_gr_358.gif][Graphics:Images/DirichletProblemModHome_gr_359.gif]

Solution 9.

See text and/or instructor's solution manual.

Answer.   Use the result of Example 11.9 and observe that   [Graphics:../Images/DirichletProblemModHome_gr_360.gif]    

will be zero on the semicircle [Graphics:../Images/DirichletProblemModHome_gr_361.gif]  

and  [Graphics:../Images/DirichletProblemModHome_gr_362.gif]  on the diameter  [Graphics:../Images/DirichletProblemModHome_gr_363.gif].   

Hence the solution is  [Graphics:../Images/DirichletProblemModHome_gr_364.gif].  

Solution.   Use the result of Example 11.9 and observe that  [Graphics:../Images/DirichletProblemModHome_gr_365.gif]    

is harmonic in upper half-disk  [Graphics:../Images/DirichletProblemModHome_gr_366.gif]  and has the boundary values   

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

Hence the solution is  

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

Therefore,   

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

 

We are done.   

 

A More Detailed Solution.   If more details are required, then recall Exercise 4 in Section 10.2 where we showed that that the transformation  

[Graphics:../Images/DirichletProblemModHome_gr_370.gif]  maps the upper half-disk  [Graphics:../Images/DirichletProblemModHome_gr_371.gif]  onto the first quadrant  [Graphics:../Images/DirichletProblemModHome_gr_372.gif].   

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

and the diameter (or segment)   [Graphics:../Images/DirichletProblemModHome_gr_375.gif] is mapped onto the positive v-axis, i.e.  [Graphics:../Images/DirichletProblemModHome_gr_376.gif].  

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

                    [Graphics:../Images/DirichletProblemModHome_gr_377.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_378.gif],   and      
            
                    [Graphics:../Images/DirichletProblemModHome_gr_379.gif],   for  [Graphics:../Images/DirichletProblemModHome_gr_380.gif].        

Applying Example 11.2 in Section 11.1 we know that the form of the solution is  

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

Use the values   [Graphics:../Images/DirichletProblemModHome_gr_382.gif],  and  [Graphics:../Images/DirichletProblemModHome_gr_383.gif]   and write the system of equations  

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

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

Simplify them and obtain  

                     [Graphics:../Images/DirichletProblemModHome_gr_386.gif],    and    [Graphics:../Images/DirichletProblemModHome_gr_387.gif].  

Solving we get   [Graphics:../Images/DirichletProblemModHome_gr_388.gif]   and the desired solution.

Thus,    [Graphics:../Images/DirichletProblemModHome_gr_389.gif].   

Since   [Graphics:../Images/DirichletProblemModHome_gr_390.gif],   the solution  [Graphics:../Images/DirichletProblemModHome_gr_391.gif]  in the z-plane in the half-disk  H will be

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

Therefore,   

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

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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

We are really done.   

 

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

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_401.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_402.gif].  

 

We are really really done.   

 

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_405.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_406.gif].  

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_409.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_410.gif].  

 

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

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

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

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

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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