Solution 3.

See text and/or instructor's solution manual.

Answer.   Both   [Graphics:../Images/PoissonIntegralModHome_gr_131.gif]   and   [Graphics:../Images/PoissonIntegralModHome_gr_132.gif]   are harmonic in the upper half plane and satisfy the boundary conditions   [Graphics:../Images/PoissonIntegralModHome_gr_133.gif].

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

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

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

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

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

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

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

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

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

Also,   [Graphics:../Images/PoissonIntegralModHome_gr_145.gif]   all values of  x,  but   [Graphics:../Images/PoissonIntegralModHome_gr_146.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_147.gif].  

 

We are done.   

 

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

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

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

                     where   [Graphics:../Images/PoissonIntegralModHome_gr_151.gif]   for   [Graphics:../Images/PoissonIntegralModHome_gr_152.gif].  

 

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

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

 

We are really done.   

 

Aside.  We can let Mathematica 4.0 investigate this situation.

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

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


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

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

We are really really done.   

 

Aside.  We can construct an integral.

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

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

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

Aside.  We can construct another integral.

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

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


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

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

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

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

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

We can expand the integral and get   

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

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

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

The functions  [Graphics:../Images/PoissonIntegralModHome_gr_169.gif]  and  [Graphics:../Images/PoissonIntegralModHome_gr_170.gif]  take on the values

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

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

                    [Graphics:../Images/PoissonIntegralModHome_gr_172.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_173.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