Exercise 15.  Given an elegant argument that explains why the following functions are harmonic.  

15 (a).   [Graphics:Images/ComplexFunTrigModHome_gr_935.gif].  

Solution 15 (a).

See text and/or instructor's solution manual.

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

Solution.   Consider the real part of Identity (5-34)  [Graphics:../Images/ComplexFunTrigModHome_gr_937.gif].

The function  [Graphics:../Images/ComplexFunTrigModHome_gr_938.gif]   is analytic and

                    [Graphics:../Images/ComplexFunTrigModHome_gr_939.gif]    and    [Graphics:../Images/ComplexFunTrigModHome_gr_940.gif].

By Theorem 3.8 in Section 3.3  both  [Graphics:../Images/ComplexFunTrigModHome_gr_941.gif]  and  [Graphics:../Images/ComplexFunTrigModHome_gr_942.gif]  are harmonic functions.

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

We are really done.   

      For this exercise it might seem easier to use Laplace's equation and compute  [Graphics:../Images/ComplexFunTrigModHome_gr_948.gif]:  

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

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


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

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


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

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



We are really really done.   

Aside.   Suppose we look at a more complicated function.  

However, if   [Graphics:../Images/ComplexFunTrigModHome_gr_955.gif],  then there is an advantage to notice that  [Graphics:../Images/ComplexFunTrigModHome_gr_956.gif].  

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

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

Although Laplace's equation is satisfied:

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

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

The partial derivatives are tedious to compute:

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

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


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

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





































This solution is complements of the authors.



































 

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