<?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="m10100">

  <name>Properties of the Fourier Transform</name>

  <metadata>
  <md:version>2.12</md:version>
  <md:created>2001/06/14</md:created>
  <md:revised>2004/08/03 11:05:14.593 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="mselik">
      <md:firstname>Melissa</md:firstname>
      
      <md:surname>Selik</md:surname>
      <md:email>mselik@alumni.rice.edu</md:email>
    </md:author>
      <md:author 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:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="mselik">
      <md:firstname>Melissa</md:firstname>
      
      <md:surname>Selik</md:surname>
      <md:email>mselik@alumni.rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="rars">
      <md:firstname>Ricardo</md:firstname>
      <md:othername>Anthony</md:othername>
      <md:surname>Radaelli-Sanchez</md:surname>
      <md:email>ricky@alumni.rice.edu</md:email>
    </md:maintainer>
    <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:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>continuous time</md:keyword>
    <md:keyword>convolution</md:keyword>
    <md:keyword>fourier transform</md:keyword>
    <md:keyword>linearity</md:keyword>
    <md:keyword>modulation</md:keyword>
    <md:keyword>symmetry</md:keyword>
    <md:keyword>time differentiation</md:keyword>
    <md:keyword>time scaling</md:keyword>
    <md:keyword>time shifting</md:keyword>
  </md:keywordlist>

  <md:abstract>Lists some properties of the Continuous Time Fourier Transform.</md:abstract>
</metadata>

  <!-- ****************************************** -->

  <content>

    <para id="para1">
      This module will look at some of the basic properties of the
      <cnxn document="m10098" strength="9">Continuous-Time Fourier
      Transform</cnxn> (CTFT).  The first section contains a table
      that illustrates the properties, and the sections following it
      discuss a few of the more interesting properties in more depth.
      In the table, click on the operation name to be taken to the
      properties explanation found later on this page.  Look at <cnxn document="m0045" strength="8">this module</cnxn> for an expanded
      table of more Fourier transform properties.
      
      <note type="note">
	We will be discussing these properties for aperiodic,
	continuous-time signals but understand that very similar
	properties hold for discrete-time signals and periodic
	signals as well.
      </note>
      
    </para>

    <section id="sect1">
      <name>Table of CTFT Properties</name>
      <table id="table1">
	<tgroup cols="3">
	  <thead>
	    <row>
	      <entry>Operation Name</entry>
	      <entry>Signal ( 
		<m:math>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:math>
		) </entry>
	      <entry>Transform ( 
		<m:math>
		  <m:apply>
		    <m:ci type="fn">F</m:ci>
		    <m:ci>ω</m:ci>
		  </m:apply>
		</m:math>
		)</entry>
	    </row>
	  </thead>
	  <tbody>
	    <row>
	      <entry>
		<cnxn target="sect2" strength="7">Addition</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>f</m:mi><m:mn>1</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>f</m:mi><m:mn>2</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>F</m:mi><m:mn>1</m:mn></m:msub>
		      </m:ci>
		      <m:ci>ω</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>F</m:mi><m:mn>2</m:mn></m:msub>
		      </m:ci>
		      <m:ci>ω</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect2" strength="7">Scalar Multiplication</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:ci>α</m:ci>
		    <m:apply>
		      <m:ci type="fn">f</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:ci>α</m:ci>
		    <m:apply>
		      <m:ci type="fn">F</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect3" strength="7">Symmetry</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:ci type="fn">F</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:apply>
		      <m:ci type="fn">f</m:ci>
		      <m:apply>
			<m:minus/>
			<m:ci>ω</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect4" strength="7">Time Scaling</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:apply>
		      <m:times/>
		      <m:ci>α</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:abs/>
			<m:ci>α</m:ci>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">F</m:ci>
		      <m:apply>
			<m:divide/>
			<m:ci>ω</m:ci>
			<m:ci>α</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect5" strength="7">Time Shift</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:ci type="fn">f</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>t</m:ci>
		      <m:ci>τ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:ci type="fn">F</m:ci>
		      <m:ci>ω</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>τ</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect6" strength="7">Modulation (Frequency Shift)</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <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:times/>
			<m:imaginaryi/>
			<m:ci>φ</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:ci type="fn">F</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>ω</m:ci>
		      <m:ci>φ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect7" strength="7">Convolution in Time</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:csymbol definitionURL="cnx.rice.edu/cd/cnxmath.ocd#convolve"/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>f</m:mi><m:mn>1</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>f</m:mi><m:mn>2</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>F</m:mi><m:mn>1</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>F</m:mi><m:mn>2</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect7" strength="7">Convolution in Frequency</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>f</m:mi><m:mn>1</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub><m:mi>f</m:mi><m:mn>2</m:mn></m:msub>
		      </m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:pi/>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:csymbol definitionURL="cnx.rice.edu/cd/cnxmath.ocd#convolve"/>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub><m:mi>F</m:mi><m:mn>1</m:mn></m:msub>
			</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub><m:mi>F</m:mi><m:mn>2</m:mn></m:msub>
			</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>

	    <row>
	      <entry>
		<cnxn target="sect8" strength="7">Differentiation</cnxn>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:diff/>
		    <m:bvar>
		      <m:ci>t</m:ci>
		      <m:degree>
			<m:ci>n</m:ci>
		      </m:degree>
		    </m:bvar>
		    <m:apply>
		      <m:ci type="fn">f</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	      <entry>
		<m:math>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:times/>
			<m:imaginaryi/>
			<m:ci>ω</m:ci>
		      </m:apply>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">F</m:ci>
		      <m:ci>ω</m:ci>
		    </m:apply>
		  </m:apply>
		</m:math>
	      </entry>
	    </row>
	  </tbody>
	</tgroup>
      </table>
    </section>

    <section id="prop_intro">
      <name>Discussion of Fourier Transform Properties</name>
      
      <para id="p_sec1">
	After glancing at the above table and getting a feel for the
	properties of the CTFT, we will now take a little more time to
	discuss some of the more interesting, and more useful,
	properties.  
	
      </para>
      
      <section id="sect2">
	<name>Linearity</name>
	<para id="para2">
	  The combined addition and scalar multiplication properties
	  in the table above demonstrate the basic property of
	  linearity. What you should see is that if one takes the
	  Fourier transform of a linear combination of signals then it
	  will be the same as the linear combination of the Fourier
	  transforms of each of the individual signals. This is crucial
	  when using a <cnxn strength="5" document="m10099">table</cnxn>
	  of transforms to find the transform of a more complicated
	  signal.
	</para>
	
	<example id="eg_lin">
	  <para id="p_eg1">
	    We will begin with the following signal:
	    
	    <equation id="eq1_eg1">
	      <m:math>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">z</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:times/>
		      <m:ci>α</m:ci>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub><m:mi>f</m:mi><m:mn>1</m:mn></m:msub>
			</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:ci>α</m:ci>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub><m:mi>f</m:mi><m:mn>2</m:mn></m:msub>
			</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>

	    Now, after we take the Fourier transform, shown in the
	    equation below, notice that the linear combination of the
	    terms is unaffected by the transform.

	    <equation id="eq2_eg1">
	      <m:math>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">Z</m:ci>
		    <m:ci>ω</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:times/>
		      <m:ci>α</m:ci>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub><m:mi>F</m:mi><m:mn>1</m:mn></m:msub>
			</m:ci>
			<m:ci>ω</m:ci>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:ci>α</m:ci>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub><m:mi>F</m:mi><m:mn>2</m:mn></m:msub>
			</m:ci>
			<m:ci>ω</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>

	  </para>
	</example>

      </section>

      <section id="sect3"><name>Symmetry</name>
	<para id="para3">
	  Symmetry is a property that can make life quite easy when
	  solving problems involving Fourier transforms.  Basically
	  what this property says is that since a rectangular function
	  in time is a sinc function in frequency, then a sinc
	  function in time will be a rectangular function in
	  frequency.  This is a direct result of the similarity
	  between the forward CTFT and the inverse CTFT.  The only
	  difference is the scaling by
	  <m:math><m:apply><m:times/><m:cn>2</m:cn><m:pi/></m:apply></m:math>
	  and a frequency reversal.
	</para>
      </section>

      <section id="sect4"><name>Time Scaling</name>
	<para id="para4">
	  This property deals with the effect on the frequency-domain
	  representation of a signal if the time variable is
	  altered. The most important concept to understand for the
	  time scaling property is that signals that are narrow in
	  time will be broad in frequency and <foreign>vice
	  versa</foreign>.  The simplest example of this is a delta
	  function, a <cnxn target="pulsedef" document="m0004" strength="7">unit pulse</cnxn> with a
	  <emphasis>very</emphasis> small duration, in time that
	  becomes an infinite-length constant function in frequency.
	</para>
	<para id="p_tscale2">
	  The table above shows this idea for the general
	  transformation from the time-domain to the frequency-domain
	  of a signal.  You should be able to easily notice that these
	  equations show the relationship mentioned previously: if the
	  time variable is increased then the frequency range will be
	  decreased.
	</para>

      </section>

      <section id="sect5"><name>Time Shifting</name>
	<para id="para5">
	  Time shifting shows that a shift in time is equivalent to a
	  linear phase shift in frequency.  Since the frequency
	  content depends only on the shape of a signal, which is
	  unchanged in a time shift, then only the phase spectrum will
	  be altered. This property can be easily proved using the
	  Fourier Transform, so we will show the basic steps below:
	</para>

	<example id="eg_tshift">
	  <para id="p_egtshift">
	    We will begin by letting
	    
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">z</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:apply>
		    <m:minus/>
		    <m:ci>t</m:ci>
		    <m:ci>τ</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>.

	    Now let us take the Fourier transform with the previous
	    expression substituted in for 
	    <m:math><m:apply>
		<m:ci type="fn">z</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math>.

	    <equation id="eq1_tshift">
	      <m:math>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">Z</m:ci>
		    <m:ci>ω</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:int/>
		    <m:bvar>
		      <m:ci>t</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">f</m:ci>
			<m:apply>
			  <m:minus/>
			  <m:ci>t</m:ci>
			  <m:ci>τ</m:ci>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:ci>ω</m:ci>
			    <m:ci>t</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>
	    
	    Now let us make a simple change of variables, where 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:ci>σ</m:ci>
		<m:apply>
		  <m:minus/>
		  <m:ci>t</m:ci>
		  <m:ci>τ</m:ci>
		</m:apply>
	      </m:apply>
	    </m:math>.  Through the calculations below, you can see
	    that only the variable in the exponential are altered thus
	    only changing the phase in the frequency domain.

	    <equation id="eq2_tshift">
	      <m:math>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn">Z</m:ci>
		    <m:ci>ω</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:int/>
		    <m:bvar>
		      <m:ci>τ</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">f</m:ci>
			<m:ci>σ</m:ci>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:times/>
			    <m:imaginaryi/>
			    <m:ci>ω</m:ci>
			    <m:apply>
			      <m:plus/>
			      <m:ci>σ</m:ci>
			      <m:ci>τ</m:ci>
			    </m:apply>
			    <m:ci>t</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>τ</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:int/>
		      <m:bvar>
			<m:ci>σ</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">f</m:ci>
			  <m:ci>σ</m:ci>
			</m:apply>
			<m:apply>
			  <m:exp/>
			  <m:apply>
			    <m:minus/>
			    <m:apply>
			      <m:times/>
			      <m:imaginaryi/>
			      <m:ci>ω</m:ci>
			      <m:ci>σ</m:ci>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:exp/>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>τ</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">F</m:ci>
		      <m:ci>ω</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>	    
	  </para>
	</example>	

      </section>

      <section id="sect6"><name>Modulation (Frequency Shift)</name>
	<para id="para6">
	  Modulation is absolutely imperative to communications
	  applications.  Being able to shift a signal to a different
	  frequency, allows us to take advantage of different parts of
	  the electromagnetic spectrum is what allows us to transmit
	  television, radio and other applications through the same
	  space without significant interference.
	</para>

	<para id="p_mod2">
	  The proof of the frequency shift property is very similar to
	  that of the <cnxn target="sect5" strength="8">time
	    shift</cnxn>; however, here we would use the inverse Fourier
	  transform in place of the Fourier transform.  Since we went
	  through the steps in the previous, time-shift proof, below
	  we will just show the initial and final step to this proof:

	  <equation id="eq1_mod">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">z</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:pi/>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:int/>
		    <m:bvar>
		      <m:ci>ω</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">F</m:ci>
			<m:apply>
			  <m:minus/>
			  <m:ci>ω</m:ci>
			  <m:ci>φ</m:ci>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:exp/>
			<m:apply>
			  <m:times/>
			  <m:imaginaryi/>
			  <m:ci>ω</m:ci>
			  <m:ci>t</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	  
	  Now we would simply reduce this equation through another
	  change of variables and simplify the terms.  Then we will
	  prove the property expressed in the table above:
	  
	  <equation id="eq2_mod">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">z</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<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:times/>
		      <m:imaginaryi/>
		      <m:ci>φ</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>

	</para>
      </section>

      <section id="sect7"><name>Convolution</name>
	<para id="para7">
	  Convolution is one of the big reasons for converting signals
	  to the frequency domain, since convolution in time becomes
	  multiplication in frequency.  This property is also another
	  excellent example of symmetry between time and frequency.
	  It also shows that there may be little to gain by changing
	  to the frequency domain when multiplication in time is
	  involved.
	</para>

	<para id="p_conv2">
	  We will introduce the convolution integral here, but if you
	  have not seen this before or need to refresh your memory,
	  then look at the <cnxn document="m10085" strength="9">continuous-time convolution</cnxn> module for a
	  more in depth explanation and derivation.
	</para>

	<equation id="eq_conv1">
	  <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:csymbol definitionURL="cnx.rice.edu/cd/cnxmath.ocd#convolve"/>
		  <m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>f</m:mi><m:mn>1</m:mn></m:msub>
		  </m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>f</m:mi><m:mn>2</m:mn></m:msub>
		  </m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:int/>
		<m:bvar>
		  <m:ci>τ</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">
		      <m:msub><m:mi>f</m:mi><m:mn>1</m:mn></m:msub>
		    </m:ci>
		    <m:ci>τ</m:ci>
		  </m:apply>		  
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub><m:mi>f</m:mi><m:mn>2</m:mn></m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>t</m:ci>
		      <m:ci>τ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

      </section>

      <section id="sect8">
	<name>Time Differentiation</name>
	<para id="para8">
	  Since <cnxn strength="5" document="m10084">LTI</cnxn>
	  systems can be represented in terms of differential
	  equations, it is apparent with this property that converting
	  to the frequency domain may allow us to convert these
	  complicated differential equations to simpler equations
	  involving multiplication and addition.  This is often looked
	  at in more detail during the study of the <cnxn strength="5" document="m10110">Laplace Transform</cnxn>.
	</para>

      </section>
    </section>
  </content>
</document>
