Extra Solution 2.

See text and/or instructor's solution manual.

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

Solution.   Find the Fourier Series   [Graphics:../Images/FourierSeriesComplexMod_gr_707.gif],

by computing the coefficients with Euler's formulae:  

(12.2)        [Graphics:../Images/FourierSeriesComplexMod_gr_708.gif],  

        and  

(12.3)        [Graphics:../Images/FourierSeriesComplexMod_gr_709.gif].  

First, calculate  [Graphics:../Images/FourierSeriesComplexMod_gr_710.gif] .  

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

Then

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

Second, calculate  [Graphics:../Images/FourierSeriesComplexMod_gr_713.gif] .  

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

Alternately,  [Graphics:../Images/FourierSeriesComplexMod_gr_715.gif]  is an even function so that  [Graphics:../Images/FourierSeriesComplexMod_gr_716.gif]   is an odd function, and   

                    [Graphics:../Images/FourierSeriesComplexMod_gr_717.gif]    for all    [Graphics:../Images/FourierSeriesComplexMod_gr_718.gif].

Then Theorem 12.3 shows that

                    [Graphics:../Images/FourierSeriesComplexMod_gr_719.gif],    

where the coefficients can be computed with the special formula     

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

Now calculate  

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

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

 

Get The Answer.

 

Therefore,

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

 

We are done.   

 

Now use the fact that    [Graphics:../Images/FourierSeriesComplexMod_gr_724.gif]  and simplify the answer.  

Therefore,

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

 

We are really done.   

 

Aside.  We can calculate a few terms in these series to verify that they are the same  ( up to  [Graphics:../Images/FourierSeriesComplexMod_gr_726.gif] ).  

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

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


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

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


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

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

We are really really done.   

 

Aside.  We can let Mathematica double check our work.

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

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


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

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


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


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

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

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


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

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

Aside.  The Maple commands are similar  


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

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


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

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


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

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

The partial lists of coefficients  [Graphics:../Images/FourierSeriesComplexMod_gr_749.gif]  and  [Graphics:../Images/FourierSeriesComplexMod_gr_750.gif]  are:

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

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


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

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

For illustration, we can sum the first few terms in these series  ( up to  [Graphics:../Images/FourierSeriesComplexMod_gr_755.gif] ).  

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

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

Aside.  We can compute a few terms of the Fourier series of  [Graphics:../Images/FourierSeriesComplexMod_gr_758.gif]  using Mathematica's built in procedure  FourierTrigSeries.

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

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

The graph is a little more interesting if we use  [Graphics:../Images/FourierSeriesComplexMod_gr_761.gif].

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

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


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

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

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

 

We are really really really done.   

 

Aside.  There are at least two solutions to this problem.  

We can use Mathematica to sum the infinite series.  

However, this sum might not be as familiar as those studied in calculus.

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

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


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

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


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

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


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

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


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

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

The last two expansions involve only the  [Graphics:../Images/FourierSeriesComplexMod_gr_777.gif]  and  [Graphics:../Images/FourierSeriesComplexMod_gr_778.gif]  functions.

 

Aside.  The Maple commands are similar  


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

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


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

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

 

We are really really really really done.   

 

Aside.  We can graph these functions to verify they are correct.  

 

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

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

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

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

 

Aside.  This expansion of  [Graphics:../Images/FourierSeriesComplexMod_gr_787.gif]  is related to the one in Example 12.1 where we saw that

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

It is easy to use differentiation and verify that  [Graphics:../Images/FourierSeriesComplexMod_gr_789.gif].

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

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


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

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

Remark 1.  The above formula for  [Graphics:../Images/FourierSeriesComplexMod_gr_794.gif]  involves the special function  [Graphics:../Images/FourierSeriesComplexMod_gr_795.gif]  and is not covered in this course.

Remark 2.  A simplification can be obtained by using Landen's Inversion Formula:   [Graphics:../Images/FourierSeriesComplexMod_gr_796.gif].  

After some tedious steps

                    [Graphics:../Images/FourierSeriesComplexMod_gr_797.gif],  

can be expressed as

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

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

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

 

We are really really really really really done.   

 

Aside.  Let us announce that in Section 12.2 we interpret the Fourier Series   [Graphics:../Images/FourierSeriesComplexMod_gr_801.gif]  

as boundary values on the circle [Graphics:../Images/FourierSeriesComplexMod_gr_802.gif], and construct the harmonic function  [Graphics:../Images/FourierSeriesComplexMod_gr_803.gif]  inside the unit disk [Graphics:../Images/FourierSeriesComplexMod_gr_804.gif] with  [Graphics:../Images/FourierSeriesComplexMod_gr_805.gif].

 

                                          

               The harmonic function  [Graphics:../Images/FourierSeriesComplexMod_gr_807.gif],  with  [Graphics:../Images/FourierSeriesComplexMod_gr_808.gif].  

                                        

               A contour graph of the harmonic function  [Graphics:../Images/FourierSeriesComplexMod_gr_809.gif].  

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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