<?xml version="1.0" encoding="utf-8"?>
<!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="m0069"> 

  <name>The Inverse Fourier Transform</name>

  <metadata>
  <md:version>2.4</md:version>
  <md:created>2000/08/14</md:created>
  <md:revised>2004/08/10 13:19:02.322 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="dhj">
      <md:firstname>Don</md:firstname>
      
      <md:surname>Johnson</md:surname>
      <md:email>dhj@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="rainking">
      <md:firstname>Doug</md:firstname>
      
      <md:surname>Daniels</md:surname>
      <md:email>rainking@alumni.rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>transform</md:keyword>
    <md:keyword>inverse</md:keyword>
    <md:keyword>Fourier</md:keyword>
  </md:keywordlist>

  <md:abstract>This module explains the inverse Fourier transform.</md:abstract>
</metadata>
  <content>


    <para id="para1">
      The Fourier transform relates a signal's time and frequency
      domain representations to each other. The direct Fourier
      transform (or simply the Fourier transform) calculates a
      signal's frequency domain representation from its time-domain
      variant (<cnxn target="ftrans" strength="7"/>).  The inverse
      Fourier transform (<cnxn target="invftrans" strength="8"/>)
      finds the time-domain representation from the frequency domain.
      Rather than explicitly writing the required integral, we often
      symbolically express these transform calculations as

      <m:math display="inline">
	<m:apply>
	  <m:ci type="fn">ℱ</m:ci>
	  <m:ci>s</m:ci>
	</m:apply>
      </m:math>
      and 

      <m:math display="inline">
	<m:apply>
	  <m:apply><m:inverse/>
	    <m:ci type="fn">ℱ</m:ci>
	  </m:apply>
	  <m:ci>S</m:ci>
	</m:apply>
      </m:math>,
      respectively.

      <equation id="ftrans">
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">ℱ</m:ci>
	      <m:ci>s</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:ci type="fn">S</m:ci>
	      <m:ci>f</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">s</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply><m:times/>
		    <m:apply><m:minus/>
		      <m:imaginaryi/>
		    </m:apply>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>

      <equation id="invftrans">
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:apply>
		<m:inverse/>
		<m:ci type="fn">ℱ</m:ci>
	      </m:apply>
	      <m:ci>S</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:ci type="fn">s</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:int/>
	      <m:bvar><m:ci>f</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>f</m:ci>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply><m:times/>
		    <m:apply><m:plus/>
		      <m:imaginaryi/>
		    </m:apply>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>

      We must have
      <m:math display="inline">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">s</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:apply><m:inverse/>
	      <m:ci type="fn">ℱ</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:ci type="fn">ℱ</m:ci>
	      <m:apply>
		<m:ci type="fn">s</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      and 
      <m:math display="inline">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">S</m:ci>
	    <m:ci>f</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:ci type="fn">ℱ</m:ci>
	    <m:apply>
	      <m:apply><m:inverse/>
		<m:ci type="fn">ℱ</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">S</m:ci>
		<m:ci>f</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>,
      and these results are indeed valid with minor exceptions.

      <note> Recall that the Fourier series for a square wave gives a
	value for the signal at the discontinuities equal to the
	average value of the jump.  This value may differ from how the
	signal is <emphasis>defined</emphasis> in the time domain, but
	being unequal at a point is indeed minor.
      </note>

      Showing that you "get back to where you started" is difficult
      from an analytic viewpoint, and we won't try here. Note that the
      direct and inverse transforms differ only in the sign of the
      exponent.
    </para>

    <exercise id="exer1">
      <problem>
	<para id="probpara1">
	  The differing exponent signs means that some curious results
	  occur when we use the wrong sign. What is

	  <m:math display="inline">
	    <m:apply>
	      <m:ci type="fn">ℱ</m:ci>
	      <m:apply>
		<m:ci type="fn">S</m:ci>
		<m:ci>f</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>?

	  In other words, use the wrong exponent sign in evaluating
	  the inverse Fourier transform.
	</para>
      </problem>
      <solution>
	<para id="solpara1">
	  <m:math display="block">
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">ℱ</m:ci>
		<m:apply>
		  <m:ci type="fn">S</m:ci>
		  <m:ci>f</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:int/>
		<m:bvar><m:ci>f</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="matrix">S</m:ci>
		    <m:ci>f</m:ci>
		  </m:apply>
		  <m:apply><m:exp/>
		    <m:apply><m:times/>
		      <m:apply><m:minus/>
			<m:imaginaryi/>
		      </m:apply>
		      <m:cn>2</m:cn>
		      <m:pi/>
		      <m:ci>f</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:int/>
		<m:bvar><m:ci>f</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>f</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:exp/>
		    <m:apply><m:times/>
		      <m:apply><m:plus/>
			<m:imaginaryi/>
		      </m:apply>
		      <m:cn>2</m:cn>
		      <m:pi/>
		      <m:ci>f</m:ci>
		      <m:apply><m:minus/>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">s</m:ci>
		<m:apply><m:minus/>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</para>
      </solution>
    </exercise>

  </content>
</document>
