Solution 12 (a).

See text and/or instructor's solution manual.

Solution.  First part, compute the partial derivatives of   [Graphics:../Images/HarmonicFunctionModHome_gr_757.gif]:

                    [Graphics:../Images/HarmonicFunctionModHome_gr_758.gif],   [Graphics:../Images/HarmonicFunctionModHome_gr_759.gif],   

                    [Graphics:../Images/HarmonicFunctionModHome_gr_760.gif],   [Graphics:../Images/HarmonicFunctionModHome_gr_761.gif].

Then substitute them into Laplace's equation:

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

Therefore  [Graphics:../Images/HarmonicFunctionModHome_gr_763.gif]  is a harmonic function.  


Second part, compute the partial derivatives of   [Graphics:../Images/HarmonicFunctionModHome_gr_764.gif]:

                    [Graphics:../Images/HarmonicFunctionModHome_gr_765.gif],   [Graphics:../Images/HarmonicFunctionModHome_gr_766.gif],   

                    [Graphics:../Images/HarmonicFunctionModHome_gr_767.gif],   [Graphics:../Images/HarmonicFunctionModHome_gr_768.gif].

Then substitute them into Laplace's equation:

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

Therefore  [Graphics:../Images/HarmonicFunctionModHome_gr_770.gif]  is a harmonic function.  

We are done.   

Aside.  It is easy to verify that  [Graphics:../Images/HarmonicFunctionModHome_gr_771.gif] is the harmonic conjugate of  [Graphics:../Images/HarmonicFunctionModHome_gr_772.gif].  Use the polar form of the Cauchy-Riemann equations  

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

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

Hence  [Graphics:../Images/HarmonicFunctionModHome_gr_775.gif]   is an analytic function for all  [Graphics:../Images/HarmonicFunctionModHome_gr_776.gif].    

A careful inspection shows that this is the polar form of   [Graphics:../Images/HarmonicFunctionModHome_gr_777.gif],  which is analytic for all  [Graphics:../Images/HarmonicFunctionModHome_gr_778.gif].  

Hence it follows from Theorem 3.8 that   [Graphics:../Images/HarmonicFunctionModHome_gr_779.gif]   and   [Graphics:../Images/HarmonicFunctionModHome_gr_780.gif]  are harmonic functions for all  [Graphics:../Images/HarmonicFunctionModHome_gr_781.gif].

We are really done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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


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

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


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



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

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


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

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



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

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


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

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


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

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


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

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


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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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