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

                    [Graphics:Images/DirichletProblemModHome_gr_156.gif][Graphics:Images/DirichletProblemModHome_gr_157.gif]

Solution 5.

See text and/or instructor's solution manual.

Answer.   [Graphics:../Images/DirichletProblemModHome_gr_158.gif],   which can be written as   

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

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

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

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

Now we substitute   [Graphics:../Images/DirichletProblemModHome_gr_163.gif]   and   [Graphics:../Images/DirichletProblemModHome_gr_164.gif]   to obtain  

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

Therefore,   

                    [Graphics:../Images/DirichletProblemModHome_gr_166.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_167.gif]

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

We are really done.   

 

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

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

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

                     where  [Graphics:../Images/DirichletProblemModHome_gr_172.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_173.gif].   

 

We are really really done.   

 

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_176.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_177.gif].   

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_180.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_181.gif].   

 

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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