Solution 4.

See text and/or instructor's solution manual.

Answer.   Both   [Graphics:../Images/PoissonIntegralModHome_gr_175.gif]   and   [Graphics:../Images/PoissonIntegralModHome_gr_176.gif]   are harmonic in the upper half plane and satisfy the boundary conditions   [Graphics:../Images/PoissonIntegralModHome_gr_177.gif].

Also,   [Graphics:../Images/PoissonIntegralModHome_gr_178.gif].

The Poisson integral formula defines a bounded function in the upper half plane, therefore the desired solution is   [Graphics:../Images/PoissonIntegralModHome_gr_179.gif].  

Solution.   The Poisson's integral formula   [Graphics:../Images/PoissonIntegralModHome_gr_180.gif]  defines a harmonic in the upper half plane [Graphics:../Images/PoissonIntegralModHome_gr_181.gif] and has the boundary values  

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

wherever [Graphics:../Images/PoissonIntegralModHome_gr_183.gif] is continuous.   Hence,  

                    [Graphics:../Images/PoissonIntegralModHome_gr_184.gif],

is harmonic in the upper half plane and has the boundary conditions [Graphics:../Images/PoissonIntegralModHome_gr_185.gif].

There are two possible choices for  [Graphics:../Images/PoissonIntegralModHome_gr_186.gif],  both

                    [Graphics:../Images/PoissonIntegralModHome_gr_187.gif]  
                    
are harmonic in the upper half plane and satisfy the boundary conditions [Graphics:../Images/PoissonIntegralModHome_gr_188.gif].

Also,   [Graphics:../Images/PoissonIntegralModHome_gr_189.gif]   all values of  x,  but   [Graphics:../Images/PoissonIntegralModHome_gr_190.gif]   does not go to zero for all values of  x.  

The Poisson integral formula defines a bounded function in the upper half plane, therefore the desired solution is the choice  

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

 

We are done.   

 

Aside.  We can graph the solution   [Graphics:../Images/PoissonIntegralModHome_gr_192.gif].  

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

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

                     where   [Graphics:../Images/PoissonIntegralModHome_gr_195.gif]   for   [Graphics:../Images/PoissonIntegralModHome_gr_196.gif].  

 

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

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

 

We are really done.   

 

Aside.  We can let Mathematica 4.0 investigate this situation.

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

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


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

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

We are really really done. 

  

Aside.  We can construct an integral.

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

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

The special functions  CosIntegral  and  SinIntegral  are not part of our course.  

Aside.  We can construct another integral.

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

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


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

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

Aside.  If you use Mathematica 7.0 you will get a slightly different answer.

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

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

We can expand the integral and get   

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

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

The imaginary part is identically zero in the upper half-plane.  

The functions  [Graphics:../Images/PoissonIntegralModHome_gr_213.gif]  and  [Graphics:../Images/PoissonIntegralModHome_gr_214.gif]  take on the values

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

Thus, for values of z in the upper half-plane the real part becomes

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

Unfortunately, it's value is zero on the real axis.

The software Maple will construct an equally complicated expression for the integral   [Graphics:../Images/PoissonIntegralModHome_gr_217.gif].  

Caveat.  Be careful when using computer algebra systems, often times they might use "special functions."

 
















 

This solution is complements of the authors.

 

































 

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