Solution 1.

See text and/or instructor's solution manual.

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

Solution.   Use the Poisson's integral formula, Equation (11-12)   [Graphics:../Images/PoissonIntegralModHome_gr_4.gif],   and obtain  

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

Using techniques from calculus we have the integration formulas

            [Graphics:../Images/PoissonIntegralModHome_gr_6.gif],   and   

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

We obtain the solution as follows

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

The function [Graphics:../Images/PoissonIntegralModHome_gr_9.gif] is continuous in the upper half-plane, and on the boundary [Graphics:../Images/PoissonIntegralModHome_gr_10.gif], except at the discontinuities [Graphics:../Images/PoissonIntegralModHome_gr_11.gif] and  [Graphics:../Images/PoissonIntegralModHome_gr_12.gif]  on the real axis.  

 

We are done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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

Using the identities    [Graphics:../Images/PoissonIntegralModHome_gr_19.gif],     [Graphics:../Images/PoissonIntegralModHome_gr_20.gif],     [Graphics:../Images/PoissonIntegralModHome_gr_21.gif]  

and    [Graphics:../Images/PoissonIntegralModHome_gr_22.gif],   will convert Mathematica's solution into  

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

 

We are really done.   

 

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

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

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

                     [Graphics:../Images/PoissonIntegralModHome_gr_27.gif]   for   [Graphics:../Images/PoissonIntegralModHome_gr_28.gif].  

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

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

                     [Graphics:../Images/PoissonIntegralModHome_gr_31.gif]   for   [Graphics:../Images/PoissonIntegralModHome_gr_32.gif].  

 

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

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

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

 

We are really done.   

 

Aside.  We can let Mathematica check out some boundary values.

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

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

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

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

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

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

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

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

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

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


















This solution is complements of the authors.

 

































 

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