<?xml version="1.0" 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'
	id="m0039">

  <name>Fourier Series</name>
  <metadata xmlns:md="http://cnx.rice.edu/mdml/0.4">
  <md:version>2.19</md:version>
  <md:created>2000/07/21</md:created>
  <md:revised>2004/08/17 22:07:27.213 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="dhj">
      <md:firstname>Don</md:firstname>
      
      <md:surname>Johnson</md:surname>
      <md:email>dhj@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="rha">
      <md:firstname>Roy</md:firstname>
      
      <md:surname>Ha</md:surname>
      <md:email>rha@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="dhj">
      <md:firstname>Don</md:firstname>
      
      <md:surname>Johnson</md:surname>
      <md:email>dhj@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="bfite">
      <md:firstname>Benjamin</md:firstname>
      
      <md:surname>Fite</md:surname>
      <md:email>bfite@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>Euler</md:keyword>
    <md:keyword>Fourier coefficients</md:keyword>
    <md:keyword>Fourier series</md:keyword>
    <md:keyword>frequency</md:keyword>
    <md:keyword>Gauss</md:keyword>
    <md:keyword>orthogonality</md:keyword>
    <md:keyword>sinusoid</md:keyword>
    <md:keyword>square wave</md:keyword>
  </md:keywordlist>

  <md:abstract>Signals can be composed by a superposition of an infinite number

of sine and cosine functions.  The coefficients of the superposition

depend on the signal being represented and are equivalent to knowing

the function itself.

</md:abstract>
</metadata>

  <content>
    <para id='p01'>
      In <cnxn document='m0008' target='swsuper' strength='9'>Signal
      Decomposition</cnxn>, we have shown that we could express the
      square wave as a superposition of pulses. This superposition
      does not generalize well to other periodic signals: How can a
      superposition of pulses equal a smooth signal like a sinusoid?
      Because of the importance of sinusoids to linear systems, you
      might wonder whether they could be added together to represent a
      large number of periodic signals. You would be right and in good
      company as well.
      <link src='http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Euler.html'>Euler</link> 

      and 
      <link src='http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Guass.html'>Gauss</link>

      in particular worried about this problem, and 
      <link src='http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Fourier.html'>Fourier</link> 

      got the credit even though tough mathematical issues were not
      settled until later. They worked on what is now known as the
      Fourier series.  
    </para>

    <para id='p02'> 
      Let 
      <m:math>
	<m:apply>
	  <m:ci type='fn'>s</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> 
      have period 
      <m:math>
	<m:ci>T</m:ci>
      </m:math>.       
      We want to show that periodic signals, even those that have
      constant-valued segments like a square wave, can be expressed as
      sum of <term>harmonically</term> related sine waves.

      <equation id="sine">
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type='fn'>s</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:plus/>
              <m:ci>
                <m:msub>
                  <m:mi>a</m:mi>
                  <m:mn>0</m:mn>
                </m:msub>
              </m:ci>
              <m:apply>
                <m:sum/>
		<m:bvar><m:ci>k</m:ci></m:bvar>
		<m:lowlimit><m:cn>1</m:cn></m:lowlimit>
		<m:uplimit><m:infinity/></m:uplimit>
		<m:apply>
		  <m:times/>
		  <m:ci>
		    <m:msub>
		      <m:mi>a</m:mi>
		      <m:mi>k</m:mi>
		    </m:msub>
		  </m:ci>
		  <m:apply>
		    <m:cos/>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:pi/>
			<m:ci>k</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		      <m:ci>T</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
              </m:apply>	      
              <m:apply>
                <m:sum/>
		<m:bvar><m:ci>k</m:ci></m:bvar>
		<m:lowlimit><m:cn>1</m:cn></m:lowlimit>
		<m:uplimit><m:infinity/></m:uplimit>
		<m:apply>
		  <m:times/>
		  <m:ci>
		    <m:msub>
		      <m:mi>b</m:mi>
		      <m:mi>k</m:mi>
		    </m:msub>
		  </m:ci>
		  <m:apply>
		    <m:sin/>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:pi/>
			<m:ci>k</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		      <m:ci>T</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
              </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math> 
      </equation>

      The family of functions called <term>basis functions</term>
      <m:math>
	<m:set>
	  <m:apply>
	    <m:cos/>
            <m:apply>
              <m:divide/>
	      <m:apply>
		<m:times/>
		<m:cn>2</m:cn>
		<m:pi/>
		<m:ci>k</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:ci>T</m:ci>
            </m:apply>
	  </m:apply>
	  <m:apply>
	    <m:sin/>
            <m:apply>
              <m:divide/>
	      <m:apply>
		<m:times/>
		<m:cn>2</m:cn>
		<m:pi/>
		<m:ci>k</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:ci>T</m:ci>
            </m:apply>
	  </m:apply>
	</m:set>
      </m:math>
      form the foundation of the Fourier series. No matter what the
      periodic signal might be, these functions are always present and
      form the representation's building blocks. They do depend on the
      signal's period
      <m:math>
	<m:ci>T</m:ci>
      </m:math>, 
      and are indexed by
      <m:math>
	<m:ci>k</m:ci>
      </m:math>. 
      The frequency of each term is
      <m:math>
	<m:apply>
	  <m:divide/>
	  <m:ci>k</m:ci>
	  <m:ci>T</m:ci>
	</m:apply>
      </m:math>.  
      For
      <m:math>
	<m:apply>
	  <m:eq/>
          <m:ci>k</m:ci>
          <m:cn>0</m:cn>
	</m:apply>
      </m:math>, 
      the frequency is zero and the corresponding term
      <m:math>
	<m:ci>
	  <m:msub>
	    <m:mi>a</m:mi>
            <m:mn>0</m:mn>
	  </m:msub>
	</m:ci>
      </m:math>
      is a constant. The basic frequency
      <m:math>
	<m:apply>
	  <m:divide/>
          <m:cn>1</m:cn>
          <m:ci>T</m:ci>
	</m:apply>
      </m:math>
      is called the <term>fundamental frequency</term> because all other
      terms have frequencies that are integer multiples of it. These
      higher frequency terms are called <term>harmonics</term>: The term
      at frequency
      <m:math>
	<m:apply>
	  <m:divide/>
          <m:cn>1</m:cn>
          <m:ci>T</m:ci>
	</m:apply>
      </m:math>      
      is the fundamental and the first harmonic,
      <m:math>
	<m:apply>
	  <m:divide/>
          <m:cn>2</m:cn>
          <m:ci>T</m:ci>
	</m:apply>
      </m:math>
      the second harmonic, etc. Thus, larger values of the series
      index correspond to higher harmonic-frequency sinusoids. The
      <term>Fourier coefficients</term>,
      <m:math>
	<m:ci>
	  <m:msub>
	    <m:mi>a</m:mi>
            <m:mi>k</m:mi>
	  </m:msub>
	</m:ci>
      </m:math>
      and
      <m:math>
	<m:ci>
	  <m:msub>
	    <m:mi>b</m:mi>
            <m:mi>k</m:mi>
	  </m:msub>
	</m:ci>
      </m:math>,      
      depend on the signal's waveform. Because frequency is linked to
      index, the coefficients implicitly depend on frequency.  

      <note type='Key point'> 
	Assuming we know the period, knowing the Fourier coefficients
	is equivalent to knowing the signal.
      </note>
    </para>

    <example id='squarewave'>
      <para id='sqwaveex1'>
	Finding the Fourier series coefficients for the square wave is
	very simple.
	<m:math>
	  <m:apply><m:ci type='fn'>
	      <m:msub><m:mi>sq</m:mi><m:mi>T</m:mi></m:msub></m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>.
      </para>
    </example>

    <definition id="antipodef">
      <term>antipodal</term>
      <meaning>
	Signals
	<m:math>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>s</m:mi>
		<m:mn>1</m:mn>
	      </m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>
	and
	<m:math>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>s</m:mi>
		<m:mn>2</m:mn>
	      </m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>
	are antipodal if
	
	<m:math> 
	  <m:apply>
	    <m:forall/>
            <m:bvar>
              <m:ci>t</m:ci>
            </m:bvar>
	    <m:condition>
	      <m:apply>
		<m:in/>
		<m:ci>t</m:ci>
		<m:interval>
		  <m:cn>0</m:cn>
		  <m:ci>T</m:ci>
		</m:interval>
	      </m:apply>
	    </m:condition>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>1</m:mn>

		    </m:msub>
		  </m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>

      </meaning>
    </definition>

  </content>
</document>
