Example 12.3.  Find the function  [Graphics:Images/DirichletProblemDiskMod_gr_29.gif]  that is harmonic in the unit disk  [Graphics:Images/DirichletProblemDiskMod_gr_30.gif]  

and takes on the boundary values   [Graphics:Images/DirichletProblemDiskMod_gr_31.gif].  

 

Explore Solution 12.3.

 

Solution using Fourier series.

        Using the result of Example 12.1 in Section 12.1, we have the Fourier series for  [Graphics:../Images/DirichletProblemDiskMod_gr_53.gif],   

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

Using Equation (12.11.1) for the extended Fourier series solution of the Dirichlet problem, we obtain

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

 

An approximation using a partial sum.

        Summing up the first seven terms we get the approximations   [Graphics:../Images/DirichletProblemDiskMod_gr_56.gif]   and   [Graphics:../Images/DirichletProblemDiskMod_gr_57.gif].  

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

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


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

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

                                

                    Figure 12.13.A. The functions  [Graphics:../Images/DirichletProblemDiskMod_gr_64.gif]  and   [Graphics:../Images/DirichletProblemDiskMod_gr_65.gif].  

                              

                    Another 3-D graph and contour graph of the harmonic function  [Graphics:../Images/DirichletProblemDiskMod_gr_66.gif].  

 

The "true solution" using the infinite sum.

        Summing up all of the terms we get the boundary value function   [Graphics:../Images/DirichletProblemDiskMod_gr_67.gif]   on the unit circle  [Graphics:../Images/DirichletProblemDiskMod_gr_68.gif],  
        
and the harmonic function   [Graphics:../Images/DirichletProblemDiskMod_gr_69.gif]   in the unit disk   [Graphics:../Images/DirichletProblemDiskMod_gr_70.gif].    

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

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


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

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

Aside.  The Maple commands are similar  

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

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


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

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

We can use Mathematica to plot the boundary function  [Graphics:../Images/DirichletProblemDiskMod_gr_79.gif]  and harmonic function   [Graphics:../Images/DirichletProblemDiskMod_gr_80.gif].  

 

                                

                    Figure 12.13.B. The boundary function   [Graphics:../Images/DirichletProblemDiskMod_gr_83.gif],  

                                      and the harmonic function   [Graphics:../Images/DirichletProblemDiskMod_gr_84.gif].  

                              

                    Another 3-D graph and contour graph of the harmonic function  [Graphics:../Images/DirichletProblemDiskMod_gr_85.gif].  

 

Remark 1.  As we saw in Example 12.1 in Section 12.1, when we sum the infinite series we get solutions involving the logarithm function.  

Remark 2.  As we saw in Example 12.1 in Section 12.1, the other form of the solution will be similar.

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

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


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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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