<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/cnxml/0.5/DTD/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:bib="http://bibtexml.sf.net/" id="m10496">
  
  <name>Fourier Series: Eigenfunction Approach</name>
  
  <metadata>
  <md:version>2.21</md:version>
  <md:created>2002/02/07</md:created>
  <md:revised>2006/07/19 17:00:26.908 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="richb">
      <md:firstname>Richard</md:firstname>
      <md:othername>G.</md:othername>
      <md:surname>Baraniuk</md:surname>
      <md:email>richb@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mjhaag">
      <md:firstname>Michael</md:firstname>
      
      <md:surname>Haag</md:surname>
      <md:email>mjhaag@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mariyah">
      <md:firstname>Mariyah</md:firstname>
      
      <md:surname>Poonawala</md:surname>
      <md:email>mariyah@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="prash">
      <md:firstname>Prashant</md:firstname>
      
      <md:surname>Singh</md:surname>
      <md:email>prash@ece.rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mhutch">
      <md:firstname>Matthew</md:firstname>
      
      <md:surname>Hutchinson</md:surname>
      <md:email>mhutch@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>coefficient</md:keyword>
    <md:keyword>eigenfunctions</md:keyword>
    <md:keyword>fourier</md:keyword>
    <md:keyword>fourier coefficients</md:keyword>
    <md:keyword>fourier series</md:keyword>
    <md:keyword>inverse transform</md:keyword>
    <md:keyword>LTI</md:keyword>
    <md:keyword>LTI system</md:keyword>
    <md:keyword>signals</md:keyword>
    <md:keyword>transform</md:keyword>
  </md:keywordlist>

  <md:abstract>This module will introduce the Fourier Series and its Fourier coefficients using the concepts of eigenfunctions and basis.  We will show several examples of how to decompose a signal and find the Fourier coefficients.
</md:abstract>
</metadata>

  <content>

    <section id="intr">
      <name>Introduction</name>

      <para id="intro">
	Since <cnxn document="m10060">complex
	  exponentials</cnxn> are <cnxn document="m10500">
	  eigenfunctions of linear time-invariant (LTI)
	  systems</cnxn>, calculating the output of an LTI system
	  <m:math><m:ci>ℋ</m:ci></m:math> given
	<m:math display="inline">
	  <m:apply>
	    <m:exp/>
	    <m:apply>
	      <m:times/>
	      <m:ci>s</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math> as an input amounts to simple multiplcation, where
	<m:math display="inline">
	  <m:apply>
	    <m:in/>
	    <m:apply>
	      <m:ci type="fn">H</m:ci>
	      <m:ci>s</m:ci>
	    </m:apply>
	    <m:complexes/>
	  </m:apply>
	</m:math> is a constant (that depends on s).  In the <cnxn target="fig1">figure</cnxn>
	below we have a simple exponential input that yields the
	following output:

	<equation id="eq1">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">y</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:ci type="fn">H</m:ci>
		  <m:ci>s</m:ci>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:ci>s</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
      </para>
      
      <figure id="fig1">
	<media type="image/png" src="simpleLTIsys.png"/>
	<caption>
	  Simple LTI system.
	</caption>
      </figure>

      <para id="calculation">
	Using this and the fact that <m:math><m:ci>ℋ</m:ci></m:math>
	is linear, calculating
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">y</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> for combinations of complex exponentials is also
	straightforward.  This linearity property is depicted in the
	two equations below - showing the input to the linear system
	<m:math><m:ci>H</m:ci></m:math> on the left side and the
	output,
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">y</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>, on the right:
	
	<list id="twoprops" type="enumerated">
	  <item>

	    <m:math display="block">
	      <m:apply>
		<m:tendsto/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		    <m:apply>
		      <m:ci type="fn">H</m:ci>
		      <m:msub>
			<m:mi>s</m:mi>
			<m:mn>1</m:mn>
		      </m:msub>
		    </m:apply>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub>
		    <m:apply>
		      <m:ci type="fn">H</m:ci>
		      <m:msub>
			<m:mi>s</m:mi>
			<m:mn>2</m:mn>
		      </m:msub>
		    </m:apply>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </item>
	  
	  <item>
	    <m:math display="block">
	      <m:apply>
		<m:tendsto/>
		<m:apply>
		  <m:sum/>
		  <m:domainofapplication>
		    <m:ci>n</m:ci>
		  </m:domainofapplication>
		  <m:apply>
		    <m:times/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mi>n</m:mi>
		    </m:msub>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mi>n</m:mi>
			</m:msub>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:sum/>
		  <m:domainofapplication>
		    <m:ci>n</m:ci>
		  </m:domainofapplication>
		  <m:apply>
		    <m:times/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mi>n</m:mi>
		    </m:msub>
		    <m:apply>
		      <m:ci type="fn">H</m:ci>
		      <m:msub>
			<m:mi>s</m:mi>
			<m:mi>n</m:mi>
		      </m:msub>
		    </m:apply>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mi>n</m:mi>
			</m:msub>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>		    
	  </item>
	</list>


      </para>

      <para id="p3">
	The action of <m:math><m:ci>H</m:ci></m:math> on an input such
	as those in the two equations above is easy to explain:
	<emphasis> <m:math><m:ci>ℋ</m:ci></m:math> independently
	scales</emphasis> each exponential component
	<m:math display="inline">
	  <m:apply>
	    <m:exp/>
	    <m:apply>
	      <m:times/>
	      <m:msub>
		<m:mi>s</m:mi>
		<m:mi>n</m:mi>
	      </m:msub>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math> 
	by a different complex number
	<m:math display="inline">
	  <m:apply>
	    <m:in/>
	    <m:apply>
	      <m:ci type="fn">H</m:ci>
	      <m:msub>
		<m:mi>s</m:mi>
		<m:mi>n</m:mi>
	      </m:msub>	    
	    </m:apply>
	    <m:complexes/>
	  </m:apply>
	</m:math>.  As such, if we can write a function
	<m:math>
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>
	as a combination of complex exponentials it allows us to:

	<list id="list1">
	  <item>
	    easily calculate the output of
	    <m:math><m:ci>ℋ</m:ci></m:math> given
	    <m:math>
	      <m:apply>
		<m:ci type="fn">f</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math> as an input (provided we know the eigenvalues 
	    <m:math display="inline">
	      <m:apply>
		<m:ci type="fn">H</m:ci>
		<m:ci>s</m:ci>
	      </m:apply>
	    </m:math>)
	  </item>

	  <item>
	    interpret how <m:math><m:ci>ℋ</m:ci></m:math> manipulates 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">f</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math>
	  </item>
	</list>
      </para>
    </section>

    <section id="fs">
      <name>Fourier Series</name>
      <para id="p3_fs">
	<link src="http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Fourier.html">Joseph
	  Fourier</link> demonstrated that an arbitrary <cnxn document="m10744">T-periodic function</cnxn> 
	<m:math>
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> can be written as a linear combination of harmonic
	complex sinusoids

	<equation id="eq2">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">f</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar>
		  <m:ci>n</m:ci>
		</m:bvar>
		<m:uplimit>
		  <m:infinity/>
		</m:uplimit>
		<m:lowlimit>
		  <m:apply>
		    <m:minus/>
		    <m:infinity/>
		  </m:apply>
		</m:lowlimit>
		<m:apply>
		  <m:times/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:msub>
			<m:mi>ω</m:mi>
			<m:mn>0</m:mn>
		      </m:msub>
		      <m:ci>n</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	
	where 
	<m:math display="inline">
	  <m:apply>
	    <m:eq/>
	    <m:msub>
	      <m:mi>ω</m:mi>
	      <m:mn>0</m:mn>
	    </m:msub>
	    <m:apply>
	      <m:divide/>
	      <m:apply>
		<m:times/>
		<m:cn>2</m:cn>
		<m:pi/>
	      </m:apply>
	      <m:ci>T</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math> is the fundamental frequency.  For almost all 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> of practical interest, there exists
	<m:math display="inline">
	  <m:msub>
	    <m:mi>c</m:mi>
	    <m:mi>n</m:mi>
	  </m:msub>
	</m:math> to make <cnxn target="eq2"/> true.  If
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> is finite energy (
	<m:math display="inline">
	  <m:apply>
	    <m:in/>
	    <m:apply>
	      <m:ci type="fn">f</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:ci type="fn" class="discrete">L</m:ci>
		<m:cn>0</m:cn>
		<m:ci>T</m:ci>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:math>), then the equality in <cnxn target="eq2"/> 
	holds in the sense of energy convergence; if
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>
	is continuous, then <cnxn target="eq2"/> holds
	pointwise.  Also, if 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> meets some mild conditions (the Dirichlet
	conditions), then <cnxn target="eq2"/> holds
	pointwise everywhere except at points of discontinuity.
      </para>

      <para id="p4">
	The 
	<m:math display="inline">
	  <m:msub>
	    <m:ci>c</m:ci>
	    <m:ci>n</m:ci>
	  </m:msub>
	</m:math> - called the <term>Fourier coefficients</term> -
	tell us "how much" of the sinusoid
	<m:math display="inline">
	  <m:apply>
	    <m:exp/>
	    <m:apply>
	      <m:times/>
	      <m:imaginaryi/>
	      <m:msub>
		<m:mi>ω</m:mi>
		<m:mn>0</m:mn>
	      </m:msub>
	      <m:ci>n</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math> is in 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>.   

	<cnxn target="eq2"/> essentially breaks down 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> into pieces, each of which is easily processed by an
	LTI system (since it is an eigenfunction of
	<emphasis>every</emphasis> LTI system).  Mathematically, 
	<cnxn target="eq2"/> tells us that the set of
	harmonic complex exponentials 
	<m:math display="inline">
	  <m:set>
	    <m:apply>
	      <m:forall/>
	      <m:bvar>
		<m:ci>n</m:ci>
	      </m:bvar>
	      <m:condition>
		<m:apply>
		  <m:in/>
		  <m:ci>n</m:ci>
		  <m:integers/>
		</m:apply>
	      </m:condition>
	      <m:apply>
		<m:exp/>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:msub>
		    <m:mi>ω</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		  <m:ci>n</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:set>
	</m:math> form a basis for the space of T-periodic continuous
	time functions.  Below are a few examples that are intended to
	help you think about a given signal or function, 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>, in terms of its exponential basis functions.

      </para>

      <section id="sub1_s2">
	<name>Examples</name>	
	
	<para id="p1_sub1s2">
	  For each of the given functions below, break it down into
	  its "simpler" parts and find its fourier coefficients.
	  Click to see the solution.
	</para>
	
	<exercise id="exer1">
	  <problem>
	    <para id="prob1">
	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:cos/>
		    <m:apply>
		      <m:times/>
		      <m:msub>
			<m:mi>ω</m:mi>
			<m:mn>0</m:mn>
		      </m:msub>
		      <m:mi>t</m:mi>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>

	    </para>
	  </problem>
	  <solution>
	    <para id="sol1">
	      The tricky part of the problem is finding a way to
	      represent the above function in terms of its basis, 
	      <m:math display="inline">
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:msub>
		      <m:mi>ω</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		    <m:ci>n</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:math>.  To do this, we will use our knowledge of
	      <cnxn document="m10060" target="eul_rel">
		Euler's Relation</cnxn> to represent our
	      cosine function in terms of the exponential.

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:ci>t</m:ci>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:ci>t</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>

	      Now from this form of our function and from <cnxn target="eq2"/>, by inspection we can see
	      that our fourier coefficients will be: 
 
	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:piecewise>
		    <m:piece>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:eq/>
			<m:apply>
			  <m:abs/>
			  <m:ci>n</m:ci>
			</m:apply>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:piece>
		    <m:otherwise>
		      <m:cn>0</m:cn>
		    </m:otherwise>
		  </m:piecewise>
		</m:apply>
	      </m:math>
	    </para>
	  </solution>
	</exercise>

	
	<exercise id="exer2">
	  <problem>
	    <para id="prob2">
	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:sin/>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:msub>
			<m:mi>ω</m:mi>
			<m:mn>0</m:mn>
		      </m:msub>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </para>
	  </problem>

	  <solution>
	    <para id="sol2">
	      As done in the previous example, we will again use <cnxn document="m10060" target="eul_rel">Euler's
	       Relation</cnxn> to represent our sine function in terms
	       of exponential functions.

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:imaginaryi/>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:ci>t</m:ci>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:ci>t</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>

	      And so our fourier coefficients are

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:piecewise>
		    <m:piece>
		      <m:apply>
			<m:divide/>
			<m:apply>
			  <m:minus/>
			  <m:imaginaryi/>
			</m:apply>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:eq/>
			<m:ci>n</m:ci>
			<m:cn>-1</m:cn>
		      </m:apply>
		    </m:piece>
		    <m:piece>
		      <m:apply>
			<m:divide/>
			<m:imaginaryi/>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:eq/>
			<m:ci>n</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:piece>
		    <m:otherwise>
		      <m:cn>0</m:cn>
		    </m:otherwise>
		  </m:piecewise>
		</m:apply>
	      </m:math>
	    </para>
	  </solution>
	</exercise>

	
	<exercise id="exer3">
	  <problem>
	    <para id="prob3">
	      
	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:plus/>
		    <m:cn>3</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>4</m:cn>
		      <m:apply>
			<m:cos/>
			<m:apply>
			  <m:times/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:ci>t</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:apply>
			<m:cos/>
			<m:apply>
			  <m:times/>
			  <m:cn>2</m:cn>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:ci>t</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </para>
	  </problem>

	  <solution>
	    <para id="sol3">
	      Once again we will use the same technique as was used
	      in the previous two problems.  The break down of our
	      function yields

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:plus/>
		    <m:cn>3</m:cn>
		    <m:apply>
		      <m:times/>
		      <m:cn>4</m:cn>
		      <m:apply>
			<m:apply>
			  <m:divide/>
			  <m:cn>1</m:cn>
			  <m:cn>2</m:cn>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:exp/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:ci>t</m:ci>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:exp/>
			  <m:apply>
			    <m:minus/>
			    <m:apply>
			      <m:times/>
			      <m:imaginaryi/>
			      <m:msub>
				<m:mi>ω</m:mi>
				<m:mn>0</m:mn>
			      </m:msub>
			      <m:ci>t</m:ci>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:apply>
			<m:apply>
			  <m:divide/>
			  <m:cn>1</m:cn>
			  <m:cn>2</m:cn>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:exp/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:cn>2</m:cn>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:ci>t</m:ci>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:exp/>
			  <m:apply>
			    <m:minus/>
			    <m:apply>
			      <m:times/>
			      <m:imaginaryi/>
			      <m:cn>2</m:cn>
			      <m:msub>
				<m:mi>ω</m:mi>
				<m:mn>0</m:mn>
			      </m:msub>
			      <m:ci>t</m:ci>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	      
	      And from this we can find our fourier coefficients to
	      be:

	       <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:piecewise>
		    <m:piece>
		      <m:cn>3</m:cn>
		      <m:apply>
			<m:eq/>
			<m:ci>n</m:ci>
			<m:cn>0</m:cn>
		      </m:apply>
		    </m:piece>
		    <m:piece>
		      <m:cn>2</m:cn>
		      <m:apply>
			<m:eq/>
			<m:apply>
			  <m:abs/>
			  <m:ci>n</m:ci>
			</m:apply>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:piece>
		    <m:piece>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:eq/>
			<m:apply>
			  <m:abs/>
			  <m:ci>n</m:ci>
			</m:apply>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:piece>
		    <m:otherwise>
		      <m:cn>0</m:cn>
		    </m:otherwise>
		  </m:piecewise>
		</m:apply>
	      </m:math>	      
	
	    </para>
	  </solution>
	</exercise>

      </section>

    </section>

    <section id="fcoeff">
      <name>Fourier Coefficients</name>
      <para id="p1_fcoeff">
	In general
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>, the Fourier coefficients can be calculated from
	<cnxn target="eq2"/> by solving for 
	<m:math display="inline">
	  <m:msub>
	    <m:mi>c</m:mi>
	    <m:mi>n</m:mi>
	  </m:msub>
	</m:math>, which requires a little algebraic manipulation (for
	the complete derivation see the <cnxn document="m10733">
	  Fourier coefficients derivation</cnxn>).  The end
	results will yield the following general equation for the
	fourier coefficients:

	<equation id="eq3">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:msub>
		<m:mi>c</m:mi>
		<m:mi>n</m:mi>
	      </m:msub>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:ci>T</m:ci>
		</m:apply>
		<m:apply>
		  <m:int/>
		  <m:bvar>
		    <m:ci>t</m:ci>
		  </m:bvar>
		  <m:uplimit>
		    <m:ci>T</m:ci>
		  </m:uplimit>
		  <m:lowlimit>
		    <m:cn>0</m:cn>
		  </m:lowlimit>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:ci type="fn">f</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:mi>n</m:mi>
			  <m:mi>t</m:mi>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	
	The sequence of complex numbers 
	<m:math display="inline">
	  <m:set>
	    <m:apply>
	      <m:forall/>
	      <m:bvar>
		<m:ci>n</m:ci>
	      </m:bvar>
	      <m:condition>
		<m:apply>
		  <m:in/>
		  <m:ci>n</m:ci>
		  <m:integers/>
		</m:apply>
	      </m:condition>
	      <m:apply>
		<m:msub>
		  <m:mi>c</m:mi>
		  <m:mi>n</m:mi>
		</m:msub>
	      </m:apply>
	    </m:apply>
	  </m:set>
	</m:math> is just an alternate representation of the function 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>.  Knowing the Fourier coefficients
	<m:math display="inline">
	  <m:msub>
	    <m:mi>c</m:mi>
	    <m:mi>n</m:mi>
	  </m:msub>
	</m:math> is the same as knowing
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> explicitly and vice versa.  Given a periodic
	function, we can <term>transform</term> it into it Fourier
	series representation using <cnxn target="eq3"/>.  Likewise, we can <term>inverse
	transform</term> a given sequence of complex numbers,
	<m:math display="inline">
	  <m:msub>
	    <m:mi>c</m:mi>
	    <m:mi>n</m:mi>
	  </m:msub>
	</m:math>, using <cnxn target="eq2"/> to
	reconstruct the function
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>.
      </para>

      <para id="fin">
	Along with being a natural representation for signals being
	manipulated by LTI systems, the Fourier series provides
	a description of periodic signals that is convenient in many
	ways.  By looking at the Fourier series of a signal 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>, we can infer mathematical properties of 
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> such as smoothness, existence of certain symmetries,
	as well as the physically meaningful frequency content.
      </para>

      <section id="examp2">
	<name>Example: Using Fourier Coefficient Equation</name>
	<para id="p1_examp2">
	  Here we will look at a rather simple example that almost
	  requires the use of <cnxn target="eq3"/> to
	  solve for the fourier coefficients.  Once you understand the
	  formula, the solution becomes a straightforward calculus
	  problem.  Find the fourier coefficients for the following
	  equation:
	</para>

	<exercise id="exer4">
	  <problem>
	    <para id="prob4">
	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:piecewise>
		    <m:piece>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:leq/>
			<m:apply>
			  <m:abs/>
			  <m:ci>t</m:ci>
			</m:apply>
			<m:ci>T</m:ci>
		      </m:apply>
		    </m:piece>
		    <m:otherwise>
		      <m:cn>0</m:cn>
		    </m:otherwise>
		  </m:piecewise>
		</m:apply>
	      </m:math>
	    </para>
	  </problem>

	  <solution>
	    <para id="sol4">
	      We will begin by plugging our above function, 
	      <m:math display="inline">
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:math>, into <cnxn target="eq3"/>.
	      Our interval of integration will now change to match the
	      interval specified by the function.

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:ci>T</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:int/>
		      <m:bvar>
			<m:ci>t</m:ci>
		      </m:bvar>
		      <m:uplimit>
			<m:msub>
			  <m:mi>T</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:uplimit>
		      <m:lowlimit>
			<m:apply>
			  <m:minus/>
			  <m:msub>
			    <m:mi>T</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub>
			</m:apply>
		      </m:lowlimit>
		      <m:apply>
			<m:times/>
			<m:apply>
			  <m:apply>
			    <m:cn>1</m:cn>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:exp/>
			  <m:apply>
			    <m:minus/>
			    <m:apply>
			      <m:times/>
			      <m:imaginaryi/>
			      <m:msub>
				<m:mi>ω</m:mi>
				<m:mn>0</m:mn>
			      </m:msub>
			      <m:mi>n</m:mi>
			      <m:mi>t</m:mi>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>

	      Notice that we must consider two cases:  
	      <m:math display="inline">
		<m:apply>
		  <m:eq/>
		  <m:ci>n</m:ci>
		  <m:cn>0</m:cn>
		</m:apply>
	      </m:math> and
	      <m:math display="inline">
		<m:apply>
		  <m:neq/>
		  <m:ci>n</m:ci>
		  <m:cn>0</m:cn>
		</m:apply>
	      </m:math>.  For 
	      <m:math display="inline">
		<m:apply>
		  <m:eq/>
		  <m:ci>n</m:ci>
		  <m:cn>0</m:cn>
		</m:apply>
	      </m:math> we can tell by inspection that we will get
	      	      
	      <m:math display="block">
		<m:apply>
		  <m:forall/>
		  <m:bvar>
		    <m:ci>n</m:ci>
		  </m:bvar>
		  <m:condition>
		    <m:apply>
		      <m:eq/>
		      <m:ci>n</m:ci>
		      <m:cn>0</m:cn>
		    </m:apply>
		  </m:condition>
		  <m:apply>
		    <m:eq/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mi>n</m:mi>
		    </m:msub>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:msub>
			  <m:mi>T</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:apply>
		      <m:ci>T</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>	      

	      For  
	      <m:math display="inline">
		<m:apply>
		  <m:neq/>
		  <m:ci>n</m:ci>
		  <m:cn>0</m:cn>
		</m:apply>
	      </m:math>, we will need to take a few more steps to
	      solve.  We can begin by looking at the basic integral of
	      the exponential we have.  Remembering our calculus, we
	      are ready to integrate:

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:ci>T</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:mi>n</m:mi>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		      <m:bvar>
			<m:ci>t</m:ci>
		      </m:bvar>
		      <m:uplimit>
			<m:msub>
			  <m:mi>T</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:uplimit>
		      <m:lowlimit>
			<m:apply>
			  <m:minus/>
			  <m:msub>
			    <m:mi>T</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub>
			</m:apply>
		      </m:lowlimit>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:mi>n</m:mi>
			    <m:mi>t</m:mi>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>

	      Let us now evaluate the exponential functions for the
	      given limits and expand our equation to:

	       <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:ci>T</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:mi>n</m:mi>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:msub>
			      <m:mi>ω</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			    <m:mi>n</m:mi>
			    <m:msub>
			      <m:mi>T</m:mi>
			      <m:mn>1</m:mn>
			    </m:msub>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:mi>n</m:mi>
			  <m:msub>
			    <m:mi>T</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>

	      Now if we multiple the right side of our equation by
	      <m:math display="inline">
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:imaginaryi/>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:imaginaryi/>
		  </m:apply>
		</m:apply>
	      </m:math> and distribute our negative sign into the
	      parenthesis, we can utilize <cnxn document="m10060" target="eul_rel">Euler's Relation</cnxn> to
	      greatly simplify our expression into:

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:ci>T</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:apply>
			<m:divide/>
			<m:apply>
			  <m:times/>
			  <m:cn>2</m:cn>
			  <m:imaginaryi/>
			</m:apply>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>ω</m:mi>
			  <m:mn>0</m:mn>
			</m:msub>
			<m:ci>n</m:ci>
			<m:msub>
			  <m:mi>T</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	      
	      Now, recall earlier that we defined 
	      <m:math display="inline">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>ω</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		  <m:apply>
		    <m:divide/>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
		    <m:ci>T</m:ci>
		  </m:apply>
		</m:apply>
	      </m:math>.  We can solve this equation for <m:math><m:ci>T</m:ci>
	      </m:math> and substitute in.

	      <m:math display="block">
		<m:apply>
		  <m:eq/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:imaginaryi/>
			<m:msub>
			  <m:mi>ω</m:mi>
			  <m:mn>0</m:mn>
			</m:msub>
		      </m:apply>
		      <m:apply>
			<m:times/>
			<m:imaginaryi/>
			<m:msub>
			  <m:mi>ω</m:mi>
			  <m:mn>0</m:mn>
			</m:msub>
			<m:ci>n</m:ci>
			<m:cn>2</m:cn>
			<m:pi/>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:sin/>
		      <m:apply>
			<m:times/>
			<m:msub>
			  <m:mi>ω</m:mi>
			  <m:mn>0</m:mn>
			</m:msub>
			<m:ci>n</m:ci>
			<m:msub>
			  <m:mi>T</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	      
	      And finally, if we make a few simple cancellations we
	      will arrive at our final answer for the Fourier
	      coefficients of 
	      <m:math display="inline">
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:math>:

	        <m:math display="block">
		<m:apply>
		  <m:forall/>
		  <m:bvar>
		    <m:ci>n</m:ci>
		  </m:bvar>
		  <m:condition>
		    <m:apply>
		      <m:neq/>
		      <m:ci>n</m:ci>
		      <m:cn>0</m:cn>
		    </m:apply>
		  </m:condition>
		  <m:apply>
		    <m:eq/>
		    <m:msub>
		      <m:mi>c</m:mi>
		      <m:mi>n</m:mi>
		    </m:msub>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:sin/>
			<m:apply>
			  <m:times/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:ci>n</m:ci>
			  <m:msub>
			    <m:mi>T</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:times/>		    
			<m:ci>n</m:ci>
			<m:pi/>
		      </m:apply>		   
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>	      
	    </para>
	  </solution>
	</exercise>
      </section>
    </section>

    <section id="summary">
      <name>Summary: Fourier Series Equations</name>
      <para id="p1_sum">
	Our <cnxn target="eq2">first equation</cnxn> is
	the <term>synthesis</term> equation, which builds our
	function,
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>, by combining sinusoids.

	<equation id="eq_syn">
	  <name>Synthesis</name>
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">f</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar>
		  <m:ci>n</m:ci>
		</m:bvar>
		<m:uplimit>
		  <m:infinity/>
		</m:uplimit>
		<m:lowlimit>
		  <m:apply>
		    <m:minus/>
		    <m:infinity/>
		  </m:apply>
		</m:lowlimit>
		<m:apply>
		  <m:times/>
		  <m:msub>
		    <m:mi>c</m:mi>
		    <m:mi>n</m:mi>
		  </m:msub>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:msub>
			<m:mi>ω</m:mi>
			<m:mn>0</m:mn>
		      </m:msub>
		      <m:ci>n</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	
	And our <cnxn target="eq3">second
	equation</cnxn>, termed the <term>analysis</term> equation,
	reveals how much of each sinusoid is in
	<m:math display="inline">
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>.

	<equation id="eq_ana">
	  <name>Analysis</name>
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:msub>
		<m:mi>c</m:mi>
		<m:mi>n</m:mi>
	      </m:msub>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:ci>T</m:ci>
		</m:apply>
		<m:apply>
		  <m:int/>
		  <m:bvar>
		    <m:ci>t</m:ci>
		  </m:bvar>
		  <m:uplimit>
		    <m:ci>T</m:ci>
		  </m:uplimit>
		  <m:lowlimit>
		    <m:cn>0</m:cn>
		  </m:lowlimit>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:ci type="fn">f</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:msub>
			    <m:mi>ω</m:mi>
			    <m:mn>0</m:mn>
			  </m:msub>
			  <m:mi>n</m:mi>
			  <m:mi>t</m:mi>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	where we have stated that 
	<m:math display="inline">
	  <m:apply>
	    <m:eq/>
	    <m:msub>
	      <m:mi>ω</m:mi>
	      <m:mn>0</m:mn>
	    </m:msub>
	    <m:apply>
	      <m:divide/>
	      <m:apply>
		<m:times/>
		<m:cn>2</m:cn>
		<m:pi/>
	      </m:apply>
	      <m:ci>T</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>.

	<note type="note">
	  Understand that our interval of integration does not have to
	  be
	  <m:math display="inline">
	    <m:interval>
	      <m:cn>0</m:cn>
	      <m:ci>T</m:ci>
	    </m:interval>
	  </m:math> in our Analysis Equation.  We could use any
	  interval 
	  <m:math display="inline">
	    <m:interval>
	      <m:ci>a</m:ci>
	      <m:apply>
		<m:plus/>
		<m:ci>a</m:ci>
		<m:ci>T</m:ci>
	      </m:apply>
	    </m:interval>
	  </m:math> of length <m:math><m:ci>T</m:ci></m:math>.
	</note>
      </para>

      <example id="synthesis_demo"><para id="synthesis_demo_1">
	  This demonstration lets you synthesize a signal by combining
	  sinusoids, similar to the synthesis equation for the Fourier
	  series. See <cnxn document="m11550">here</cnxn> for
	  instructions on how to use the demo.
	</para><para id="element-775"><media type="application/x-labviewrpvi80" src="FourierCompManip.llb">
		<param name="lvfppviname" value="Fourier_Component_Manipulation.vi"/>
		<param name="width" value="710"/>
		<param name="height" value="600"/>
	</media></para>
</example>


    </section>
    

  </content>
</document>
