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

15 (c).   [Graphics:Images/ComplexFunTrigModHome_gr_995.gif].  

Solution 15 (c).

See text and/or instructor's solution manual.

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

Solution.   Consider the real part of the hyperbolic identity   [Graphics:../Images/ComplexFunTrigModHome_gr_997.gif],

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

                    [Graphics:../Images/ComplexFunTrigModHome_gr_999.gif]    and    [Graphics:../Images/ComplexFunTrigModHome_gr_1000.gif].

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

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

We are done.   

Aside.  We can let Mathematica double check our work.

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

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


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

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

We are really done.   

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

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

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


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

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


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

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



We are really really done.   

Aside.   Suppose we look at a more complicated function.  

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

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

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

Although Laplace's equation is satisfied:

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

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

The partial derivatives are tedious to compute:

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

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


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

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





































This solution is complements of the authors.



































 

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