Exercise 4.  Find the function  [Graphics:Images/DirichletProblemModHome_gr_124.gif]  that is harmonic in the upper half-plane   [Graphics:Images/DirichletProblemModHome_gr_125.gif]   and has the boundary values  

        [Graphics:Images/DirichletProblemModHome_gr_126.gif][Graphics:Images/DirichletProblemModHome_gr_127.gif]

Solution 4.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/DirichletProblemModHome_gr_128.gif].  

Solution.   Apply Theorem 11.2 to construct a Dirichlet solution in the upper half-plane

use formula (11-5)   [Graphics:../Images/DirichletProblemModHome_gr_129.gif]   with   [Graphics:../Images/DirichletProblemModHome_gr_130.gif],  

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

Now we substitute   [Graphics:../Images/DirichletProblemModHome_gr_132.gif]   and   [Graphics:../Images/DirichletProblemModHome_gr_133.gif]   to obtain  

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

Therefore,   

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

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

Enter the boundary values and construct the Dirichlet form of the solution.

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

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

We are really done.   

 

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

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_141.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_142.gif].  

 

We are really really done.   

 

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_145.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_146.gif].  

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_149.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_150.gif].  

 

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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