Example 11.12.  Find the function [Graphics:Images/PoissonIntegralMod_gr_48.gif] that is harmonic in the upper half-plane [Graphics:Images/PoissonIntegralMod_gr_49.gif], which takes on the boundary values  

            [Graphics:Images/PoissonIntegralMod_gr_50.gif]  

Figure 11.14  The graph of [Graphics:Images/PoissonIntegralMod_gr_59.gif] with the boundary values [Graphics:Images/PoissonIntegralMod_gr_60.gif]

Explore Solution 11.12.

Enter the function U[t] and use the Poisson integral to construct  [Graphics:../Images/PoissonIntegralMod_gr_61.gif].  

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



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

 

 

 

Using the identities  [Graphics:../Images/PoissonIntegralMod_gr_64.gif],  the above result can be written as  [Graphics:../Images/PoissonIntegralMod_gr_65.gif].  However for computing values of ArcTan we use the two variable form of the function and the following version of  [Graphics:../Images/PoissonIntegralMod_gr_66.gif].  We can verify some of the boundary values by taking limits.

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


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

 

 

Use Mathematica to make a contour plot of the solution.

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





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

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

 

 

 

Then use Mathematica to make a 3D plot of the solution.

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





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

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

Therefore, the function  [Graphics:../Images/PoissonIntegralMod_gr_75.gif]  is harmonic in the upper half-plane  [Graphics:../Images/PoissonIntegralMod_gr_76.gif],  and takes on the desired boundary values.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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