Example 12.1.  The function  [Graphics:Images/FourierSeriesComplexMod_gr_108.gif],  extended periodically by the equation  [Graphics:Images/FourierSeriesComplexMod_gr_109.gif],  has the Fourier series expansion  

        [Graphics:Images/FourierSeriesComplexMod_gr_110.gif].  

Explore Solution 12.1.

We can use Mathematica to construct the coefficients [Graphics:../Images/FourierSeriesComplexMod_gr_127.gif].

[Graphics:../Images/FourierSeriesComplexMod_gr_128.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_129.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_130.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_131.gif]

We can obtain this with the indefinite integral

 

[Graphics:../Images/FourierSeriesComplexMod_gr_132.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_133.gif]


[Graphics:../Images/FourierSeriesComplexMod_gr_134.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_135.gif]


[Graphics:../Images/FourierSeriesComplexMod_gr_136.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_137.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_138.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_139.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_140.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_141.gif]


[Graphics:../Images/FourierSeriesComplexMod_gr_142.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_143.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_144.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_145.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_146.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_147.gif]

Thus, we have obtained the desired result

    [Graphics:../Images/FourierSeriesComplexMod_gr_148.gif],  for  [Graphics:../Images/FourierSeriesComplexMod_gr_149.gif].

 

We can use Mathematica to construct the coefficients [Graphics:../Images/FourierSeriesComplexMod_gr_150.gif].

[Graphics:../Images/FourierSeriesComplexMod_gr_151.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_152.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_153.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_154.gif]

We can obtain this with the indefinite integral

 

[Graphics:../Images/FourierSeriesComplexMod_gr_155.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_156.gif]



[Graphics:../Images/FourierSeriesComplexMod_gr_157.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_158.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_159.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_160.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_161.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_162.gif]

[Graphics:../Images/FourierSeriesComplexMod_gr_163.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_164.gif]

This is easy to simplify and obtain the desired result

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

Now we continue our explorations.

Enter the function u[t], and for illustration construct the Fourier Series - Trigonometric Polynomial of degree n = 9.

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


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

We can also get this result using Mathematica's built in procedure FourierTrigSeries.

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


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

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

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



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

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



The general term for the series is  [Graphics:../Images/FourierSeriesComplexMod_gr_174.gif].  
We can sum up 9 terms and see that it agrees with [Graphics:../Images/FourierSeriesComplexMod_gr_175.gif].
Then we can sum the infinite series  [Graphics:../Images/FourierSeriesComplexMod_gr_176.gif]  and see if it agrees with  [Graphics:../Images/FourierSeriesComplexMod_gr_177.gif].  

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




[Graphics:../Images/FourierSeriesComplexMod_gr_179.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_180.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_181.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_182.gif]
[Graphics:../Images/FourierSeriesComplexMod_gr_183.gif]


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

[Graphics:Images/FourierSeriesComplexMod_gr_110.gif].  

We can plot  S[t]  to see what it looks like.

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



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

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

Therefore,  [Graphics:../Images/FourierSeriesComplexMod_gr_188.gif] is the periodic extension of  [Graphics:../Images/FourierSeriesComplexMod_gr_189.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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