<?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="m0501"> 
  <name>Discrete-Time Fourier Transform (DTFT)</name>

  <metadata>
  <md:version>2.4</md:version>
  <md:created>2000/07/18</md:created>
  <md:revised>2002/05/03 00:00:00.004 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="seejaie">
      <md:firstname>CJ</md:firstname>
      
      <md:surname>Ganier</md:surname>
      <md:email>seejaie@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:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>discrete-time</md:keyword>
    <md:keyword>Fourier Transform</md:keyword>
  </md:keywordlist>

  <md:abstract>Computing the Fourier Transform is made simpler by the symmetry of the signal's conjugate and the properties of real-valued signals.</md:abstract>
</metadata>

  <content>

    <para id="p1">
      Now that we have the underpinnings of digital computation, we
      need to return to signal processing ideas.  The most prominent of
      which is, of course, the Fourier transform.  The Fourier
      transform of a sequence is defined to be

      <equation id="eqn1">
	<name>Fourier Transform</name> 
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">S</m:ci>
	      <m:apply>
		<m:exp/>
		<m:apply>
	          <m:times/>
		  <m:imaginaryi/>
		  <m:cn>2</m:cn>
		  <m:pi/>
		  <m:ci>f</m:ci>
		</m:apply> 
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:sum/>
	      <m:bvar><m:ci>n</m:ci></m:bvar>
	      <m:lowlimit>
		<m:apply><m:minus/><m:infinity/></m:apply>
	      </m:lowlimit>
	      <m:uplimit><m:infinity/></m:uplimit>
	      <m:apply>
		<m:times/>
		<m:apply><m:ci type="fn">s</m:ci><m:ci>n</m:ci></m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		      <m:ci>f</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>

      Frequency here has no units.  As should be expected, this
      definition is linear, with the transform of a sum of signals
      equaling the sum of their transforms.  Real-valued signals have
      conjugate-symmetric spectra:

      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">S</m:ci>
	    <m:apply>
	      <m:exp/>
	      <m:apply><m:minus/>
		<m:apply><m:times/>
		  <m:imaginaryi/>
		  <m:cn>2</m:cn>
		  <m:pi/>
		  <m:ci>f</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	  <m:apply>
	    <m:conjugate/>
	    <m:apply>
	      <m:ci type="fn">S</m:ci>
	      <m:apply>
		<m:exp/>
		<m:apply><m:times/>
		  <m:imaginaryi/>
		  <m:cn>2</m:cn>
		  <m:pi/>
		  <m:ci>f</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      .</para>

    <exercise id="ex1">
      <problem>
	<para id="p3">
	  A special property of the discrete-time Fourier transform is
	  that it is periodic with period one:
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">S</m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply><m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:apply><m:plus/>
		      <m:ci>f</m:ci>
		      <m:cn>1</m:cn>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">S</m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply><m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>.  Derive this property from the definition of the
	  DTFT.
	</para>
      </problem>
      <solution>
	<equation id="eqn2">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">S</m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply><m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:apply><m:plus/>
		      <m:ci>f</m:ci>
		      <m:cn>1</m:cn>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar><m:ci>n</m:ci></m:bvar>
		<m:lowlimit>
		  <m:apply><m:minus/><m:infinity/></m:apply>
		</m:lowlimit>
		<m:uplimit><m:infinity/></m:uplimit>
		<m:apply><m:times/>
		  <m:apply>
		    <m:ci type="fn">s</m:ci>
		    <m:ci>n</m:ci>
		  </m:apply>
		  <m:apply><m:exp/>
		    <m:apply><m:minus/>
		      <m:apply><m:times/>
			<m:imaginaryi/>
			<m:cn>2</m:cn>
			<m:pi/>
			<m:apply><m:plus/>
			  <m:ci>f</m:ci>
			  <m:cn>1</m:cn>
			</m:apply>
			<m:ci>n</m:ci>
		      </m:apply></m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar><m:ci>n</m:ci></m:bvar>
		<m:lowlimit>
		  <m:apply><m:minus/><m:infinity/></m:apply>
		</m:lowlimit>
		<m:uplimit><m:infinity/></m:uplimit>
		<m:apply><m:times/>
		  <m:apply><m:exp/>
		    <m:apply><m:minus/>
		      <m:apply><m:times/>
			<m:imaginaryi/>
			<m:cn>2</m:cn>
			<m:pi/>
			<m:ci>n</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">s</m:ci>
		    <m:ci>n</m:ci>
		  </m:apply>
		  <m:apply><m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		      <m:ci>f</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar><m:ci>n</m:ci></m:bvar>
		<m:lowlimit>
		  <m:apply><m:minus/><m:infinity/></m:apply>
		</m:lowlimit>
		<m:uplimit><m:infinity/></m:uplimit>
		<m:apply><m:times/>
		  <m:apply>
		    <m:ci type="fn">s</m:ci>
		    <m:ci>n</m:ci>
		  </m:apply>
		  <m:apply><m:exp/>
		    <m:apply><m:times/>
		      <m:imaginaryi/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		      <m:ci>f</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">S</m:ci>
		<m:apply><m:exp/>
		  <m:apply><m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
      </solution>
    </exercise>

    <para id="p2">
      Because of this periodicity, we need only plot the spectrum over
      one period to understand completely the spectrum's structure;
      typically, we plot the spectrum over the frequency range
      <m:math>
	<m:apply>
	  <m:interval closure="closed">
	    <m:apply><m:minus/>
	      <m:apply><m:divide/><m:cn>1</m:cn><m:cn>2</m:cn></m:apply>
	    </m:apply>
	    <m:apply><m:divide/><m:cn>1</m:cn><m:cn>2</m:cn></m:apply>
	  </m:interval>
	</m:apply>
      </m:math>.  When the signal is real-valued, we can further
      simplify our plotting chores by showing the spectrum only over
      <m:math>
	<m:apply>
	  <m:interval closure="closed">
	    <m:cn>0</m:cn>
	    <m:apply><m:divide/><m:cn>1</m:cn><m:cn>2</m:cn></m:apply>
	  </m:interval>
	</m:apply>
      </m:math>; the spectrum at negative frequencies can be derived
      from positive-frequency spectral values.
    </para>

  </content>
</document>
