Exercise 6.  Find the function  [Graphics:Images/DirichletProblemModHome_gr_185.gif]  that is harmonic in the first quadrant  [Graphics:Images/DirichletProblemModHome_gr_186.gif]  and has the boundary values  

                    [Graphics:Images/DirichletProblemModHome_gr_187.gif]     [Graphics:Images/DirichletProblemModHome_gr_188.gif]

Solution 6.

See text and/or instructor's solution manual.

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

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

Solution.   The transformation   [Graphics:../Images/DirichletProblemModHome_gr_191.gif]   maps the first quadrant onto the upper half-plane  [Graphics:../Images/DirichletProblemModHome_gr_192.gif].   Furthermore,

the segment  [Graphics:../Images/DirichletProblemModHome_gr_193.gif]  is mapped onto the segment  [Graphics:../Images/DirichletProblemModHome_gr_194.gif],  

the segment  [Graphics:../Images/DirichletProblemModHome_gr_195.gif]  is mapped onto the segment  [Graphics:../Images/DirichletProblemModHome_gr_196.gif],  

the ray  [Graphics:../Images/DirichletProblemModHome_gr_197.gif]  is mapped onto the ray  [Graphics:../Images/DirichletProblemModHome_gr_198.gif],  

and the ray  [Graphics:../Images/DirichletProblemModHome_gr_199.gif]  is mapped onto the ray  [Graphics:../Images/DirichletProblemModHome_gr_200.gif].  

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

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

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

The solution in the w-plane is similar to Example 11.7.

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

Here we have  [Graphics:../Images/DirichletProblemModHome_gr_203.gif]  and  [Graphics:../Images/DirichletProblemModHome_gr_204.gif],  which we substitute into the above equation for  [Graphics:../Images/DirichletProblemModHome_gr_205.gif]  to obtain  

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

Hence the the solution in the z-plane is   

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

Therefore,   

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

Remark.   For some situations it might be useful to write this solution in the following form
        
        [Graphics:../Images/DirichletProblemModHome_gr_209.gif]  

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


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

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

We are really done.   

 

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

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_217.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_218.gif].  

 

We are really really done.   

 

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_221.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_222.gif].  

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

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

                     where   [Graphics:../Images/DirichletProblemModHome_gr_225.gif]   for   [Graphics:../Images/DirichletProblemModHome_gr_226.gif].  

 

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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