Explore Solution 12.2.

Aside.  We can let Mathematica explore this example.

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

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


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

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


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

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


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

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

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

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

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

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

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

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

A graph of  [Graphics:../Images/FourierSeriesComplexMod_gr_384.gif]  is given below.

 

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


[Graphics:../Images/FourierSeriesComplexMod_gr_386.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_387.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_388.gif]

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

                    Figure 12.2.a.  The function  [Graphics:../Images/FourierSeriesComplexMod_gr_390.gif],  and the approximations  [Graphics:../Images/FourierSeriesComplexMod_gr_391.gif],  and  [Graphics:../Images/FourierSeriesComplexMod_gr_392.gif].

 

We can sum up   [Graphics:../Images/FourierSeriesComplexMod_gr_393.gif]   and see that it approximates   [Graphics:../Images/FourierSeriesComplexMod_gr_394.gif].  

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

[Graphics:../Images/FourierSeriesComplexMod_gr_396.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_397.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_398.gif]


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

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

                    Figure 12.2.b.  The function  [Graphics:../Images/FourierSeriesComplexMod_gr_404.gif],  and the approximation  [Graphics:../Images/FourierSeriesComplexMod_gr_405.gif].

 

We are done.   

 

Aside.  We can sum the infinite series   [Graphics:../Images/FourierSeriesComplexMod_gr_406.gif]   and see if it agrees with   [Graphics:../Images/FourierSeriesComplexMod_gr_407.gif].  

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

[Graphics:../Images/FourierSeriesComplexMod_gr_409.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_410.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_411.gif]

Don't be worried, we can plot  [Graphics:../Images/FourierSeriesComplexMod_gr_412.gif]  to see what it looks like.

 

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

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

                    Figure 12.2.c.  [Graphics:../Images/FourierSeriesComplexMod_gr_415.gif]  is the periodic extension of   [Graphics:../Images/FourierSeriesComplexMod_gr_416.gif].

 

We are really done.   

 

We can compare this solution with the other one that we stated.

We can sum the infinite series   [Graphics:../Images/FourierSeriesComplexMod_gr_417.gif]   and see if it agrees with   [Graphics:../Images/FourierSeriesComplexMod_gr_418.gif].  

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

[Graphics:../Images/FourierSeriesComplexMod_gr_420.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_421.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_422.gif]

That's interesting, it is different from the previous formula.


Don't be worried, we can plot  [Graphics:../Images/FourierSeriesComplexMod_gr_423.gif]  to see what it looks like.

 

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

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

Figure 12.2.d.  [Graphics:../Images/FourierSeriesComplexMod_gr_426.gif]  

                      is another form of the the periodic extension of   [Graphics:../Images/FourierSeriesComplexMod_gr_427.gif].

 

Remark.  The above formulas for  [Graphics:../Images/FourierSeriesComplexMod_gr_428.gif]  involve the special functions  [Graphics:../Images/FourierSeriesComplexMod_gr_429.gif]  and  [Graphics:../Images/FourierSeriesComplexMod_gr_430.gif]  and are not covered in this course.

We will mention a little more about these functions in the detailed solutions.  You should not worry about these functions.

Aside.  Mathematica can simplify some of the  [Graphics:../Images/FourierSeriesComplexMod_gr_431.gif]  expressions.  

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

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

This form of the answer involves the more familiar  [Graphics:../Images/FourierSeriesComplexMod_gr_434.gif]  function.  

 

 

We are really really done.   

 

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

as boundary values on the circle [Graphics:../Images/FourierSeriesComplexMod_gr_436.gif], and construct the harmonic function [Graphics:../Images/FourierSeriesComplexMod_gr_437.gif] inside the unit disk [Graphics:../Images/FourierSeriesComplexMod_gr_438.gif] with  [Graphics:../Images/FourierSeriesComplexMod_gr_439.gif].

 

                                           

Figure 12.2.e.  The harmonic function  [Graphics:../Images/FourierSeriesComplexMod_gr_441.gif],  with  [Graphics:../Images/FourierSeriesComplexMod_gr_442.gif].  

                                        

Figure 12.2.f.  A contour graph of the harmonic function  [Graphics:../Images/FourierSeriesComplexMod_gr_443.gif].  

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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