<?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="m10416">
  
  <name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Time-Frequency Uncertainty Principle</name>
  <metadata xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
  <md:version xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2.18</md:version>
  <md:created xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2001/12/29</md:created>
  <md:revised xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2005/10/05 15:45:38.862 GMT-5</md:revised>
  <md:authorlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
      <md:author xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="schniter">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Phil</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Schniter</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">schniter@ee.eng.ohio-state.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="lizychan">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Elizabeth</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Chan</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">lizychan@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="schniter">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Phil</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Schniter</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">schniter@ee.eng.ohio-state.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Gaussian pulse</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">time-frequency</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">uncertainty principle</md:keyword>
  </md:keywordlist>

  <md:abstract xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">This module introduces time-frequency uncertainty principle.</md:abstract>
</metadata>

  <content xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="para9">
      Recall that Fourier basis elements 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub><m:mi>b</m:mi><m:mi>Ω</m:mi></m:msub>
	    </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> exhibit poor time localization abilities - a
      consequence of the fact that 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub><m:mi>b</m:mi><m:mi>Ω</m:mi></m:msub>
	  </m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> is evenly spread over all
      <m:math>
	<m:apply>
	  <m:in/>
	  <m:ci>t</m:ci>
	  <m:interval closure="open">
	    <m:apply>
	      <m:minus/>
	      <m:infinity/>
	    </m:apply>
	    <m:infinity/>
	  </m:interval>
	</m:apply>
      </m:math>.  By <term xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">time localization</term> we mean the
      ability to clearly identify signal events which manifest during
      a short time interval, such as the "glitch" described in <cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" document="m11003" target="figure1" strength="8">an earlier
      example</cnxn>.
    </para>

    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="para10">
      At the opposite extreme, a basis composed of shifted Dirac
      deltas 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub><m:mi>b</m:mi><m:mi>τ</m:mi></m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:ci>Δ</m:ci>
	    <m:apply>
	      <m:minus/>
	      <m:ci>t</m:ci>
	      <m:ci>τ</m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math> would have excellent time localization but terrible
      "frequency localization," since every Dirac basis element is
      evenly spread over all Fourier frequencies
      <m:math>
	<m:apply>
	  <m:in/>
	  <m:ci>Ω</m:ci>
	  <m:interval>
	    <m:apply>
	      <m:minus/>
	      <m:infinity/>
	    </m:apply>
	    <m:infinity/>
	  </m:interval>
	</m:apply>
      </m:math>. This can be seen via 

      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:abs/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub><m:mi>B</m:mi><m:mi>τ</m:mi></m:msub>
	      </m:ci>
	      <m:ci>Ω</m:ci>
	    </m:apply>
	  </m:apply>
	  <m:apply>
	    <m:abs/>
	    <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">
		    <m:msub><m:mi>b</m:mi><m:mi>τ</m:mi></m:msub>
		  </m:ci>
		  <m:ci>t</m:ci>
		</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:cn>1</m:cn>
	</m:apply>
      </m:math> 
      <m:math>
	<m:apply>
	  <m:ci><m:mo>∀</m:mo></m:ci>
	  <m:ci>Ω</m:ci>
	</m:apply>
      </m:math>, regardless of <m:math><m:ci>τ</m:ci></m:math>.
      By <term xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">frequency localization</term> we mean the ability to
      clearly identify signal components which are concentrated at
      particular Fourier frequencies, such as sinusoids.
    </para>

    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="para11">
      These observations motivate the question: does there exist a
      basis that provides both excellent frequency localization
      <emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">and</emphasis> excellent time localization?  The answer
      is "not really": there is a fundamental tradeoff between the
      time localization and frequency localization of any basis
      element.  This idea is made concrete below.
    </para>

    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="para12">
      Let us consider an arbitrary waveform, or basis element,
      <m:math>
	<m:apply>
	  <m:ci type="fn">b</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math>.  Its CTFT will be denoted by 
      <m:math>
	<m:apply>
	  <m:ci type="fn">B</m:ci>
	  <m:ci>Ω</m:ci>
	</m:apply>
      </m:math>.  Define the energy of the waveform to be
      <m:math><m:ci>E</m:ci></m:math>, so that (by Parseval's theorem)

      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci>E</m:ci>
	  <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:power/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">b</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </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:power/>
		<m:apply>
		  <m:abs/>
		  <m:apply>
		    <m:ci type="fn">B</m:ci>
		    <m:ci>Ω</m:ci>
		  </m:apply>
		</m:apply>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      Next, define the temporal and spectral centers <note xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" type="footnote">It may be interesting to note that both
	<m:math>
	  <m:apply>
	    <m:times/>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:ci>E</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">b</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:math> and 
	<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:ci>E</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">B</m:ci>
		  <m:ci>Ω</m:ci>
		</m:apply>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:math> are non-negative and integrate to one, thereby
	satisfying the requirements of probability density functions
	for random variables <m:math><m:ci>t</m:ci></m:math> and
	<m:math><m:ci>Ω</m:ci></m:math>.  The temporal/spectral
	centers can then be interpreted as the
	<emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">means</emphasis> (<foreign xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">i.e.</foreign>, centers
	of mass) of <m:math><m:ci>t</m:ci></m:math> and
	<m:math><m:ci>Ω</m:ci></m:math>.</note> as
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci>
	    <m:msub><m:mi>t</m:mi><m:mi>c</m:mi></m:msub>
	  </m:ci>
	  <m:apply>
	    <m:times/>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:ci>E</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:ci>t</m:ci>
		<m:apply>
		  <m:power/>
		  <m:apply>
		    <m:abs/>
		    <m:apply>
		      <m:ci type="fn">b</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>

      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci>
	    <m:msub><m:mi>Ω</m:mi><m:mi>c</m:mi></m:msub>
	  </m:ci>
	  <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:ci>E</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:ci>Ω</m:ci>
		<m:apply>
		  <m:power/>
		  <m:apply>
		    <m:abs/>
		    <m:apply>
		      <m:ci type="fn">B</m:ci>
		      <m:ci>Ω</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>

      and the temporal and spectral widths <note xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" type="footnote">The
	quantities
	<m:math>
	  <m:apply>
	    <m:power/>
	    <m:ci>
	      <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
	    </m:ci>
	    <m:cn>2</m:cn>
	  </m:apply>
	</m:math> and 
	<m:math>
	  <m:apply>
	    <m:power/>
	    <m:ci>
	      <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
	    </m:ci>
	    <m:cn>2</m:cn>
	  </m:apply>
	</m:math> can be interpreted as the
	<emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">variances</emphasis> of
	<m:math><m:ci>t</m:ci></m:math> and
	<m:math><m:ci>Ω</m:ci></m:math>, respectively. </note>
	as

      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci>
	    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
	  </m:ci>
	  <m:apply>
	    <m:root/>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:ci>E</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:power/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>t</m:ci>
		      <m:ci>
			<m:msub><m:mi>t</m:mi><m:mi>c</m:mi></m:msub>
		      </m:ci>
		    </m:apply>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:apply>
		      <m:abs/>
		      <m:apply>
			<m:ci type="fn">b</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci>
	    <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
	  </m:ci>
	  <m:apply>
	    <m:root/>
	    <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:ci>E</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:power/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>Ω</m:ci>
		      <m:ci>
			<m:msub><m:mi>Ω</m:mi><m:mi>c</m:mi></m:msub>
		      </m:ci>
		    </m:apply>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:apply>
		      <m:abs/>
		      <m:apply>
			<m:ci type="fn">B</m:ci>
			<m:ci>Ω</m:ci>
		      </m:apply>
		    </m:apply>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>

      If the waveform is well-localized in time, then 
      <m:math>
	<m:apply>
	  <m:ci type="fn">b</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> will be concentrated at the point 
      <m:math>
	<m:ci><m:msub>
	    <m:mi>t</m:mi>
	    <m:mi>c</m:mi>
	  </m:msub></m:ci>
      </m:math>
      and
      <m:math>
	<m:ci><m:msub>
	    <m:mi>Δ</m:mi>
	    <m:mi>t</m:mi>
	  </m:msub></m:ci>
      </m:math>
      will be small.  If the waveform is well-localized in frequency,
      then 
      <m:math>
	<m:apply>
	  <m:ci type="fn">B</m:ci>
	  <m:ci>Ω</m:ci>
	</m:apply>
      </m:math>
      will be concentrated at the point 
      <m:math>
	<m:ci><m:msub>
	    <m:mi>Ω</m:mi>
	    <m:mi>c</m:mi>
	  </m:msub></m:ci>
      </m:math>
      and 
      <m:math>
	<m:ci><m:msub>
	    <m:mi>Δ</m:mi>
	    <m:mi>Ω</m:mi>
	  </m:msub></m:ci>
      </m:math>
      will be small.  If the waveform is well-localized in both time
      <emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">and</emphasis> frequency, then 
      <m:math>
	<m:apply>
	  <m:times/>
	  <m:ci>
	    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
	  </m:ci>
	  <m:ci>
	    <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
	  </m:ci>
	</m:apply>
      </m:math> will be small.  The quantity 
      <m:math>
	<m:apply>
	  <m:times/>
	  <m:ci>
	    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
	  </m:ci>
	  <m:ci>
	    <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
	  </m:ci>
	</m:apply>
      </m:math> is known as the <term xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">time-bandwidth product</term>.
    </para>

    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="para13">
      From the definitions above one can derive the fundamental
      properties below.  When interpreting the properties, it helps
      to think of the waveform 
      <m:math>
	<m:apply>
	  <m:ci type="fn">b</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> as a prototype that can be used to generate an entire
      basis set.  For example, the Fourier basis
      <m:math>
	<m:set>
	  <m:bvar>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub><m:mi>b</m:mi><m:mi>Ω</m:mi></m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:bvar>
	  <m:condition>
	    <m:apply>
	      <m:lt/>
	      <m:apply>
		<m:minus/>
		<m:infinity/>
	      </m:apply>
	      <m:ci>Ω</m:ci>
	      <m:infinity/>
	    </m:apply>
	  </m:condition>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub><m:mi>b</m:mi><m:mi>Ω</m:mi></m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:set>
      </m:math> can be generated by frequency shifts of 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">b</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	  <m:cn>1</m:cn>
	</m:apply>
      </m:math>,
      while the Dirac basis 
      <m:math>
	<m:set>
	  <m:bvar>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub><m:mi>b</m:mi><m:mi>τ</m:mi></m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:bvar>
	  <m:condition>
	    <m:apply>
	      <m:lt/>
	      <m:apply>
		<m:minus/>
		<m:infinity/>
	      </m:apply>
	      <m:ci>τ</m:ci>
	      <m:infinity/>
	    </m:apply>
	  </m:condition>
	</m:set>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub><m:mi>b</m:mi><m:mi>τ</m:mi></m:msub>
	  </m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> can be generated by time shifts of 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">b</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:ci type="fn">δ</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:apply>
      </m:math>

      <list xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="list1" type="enumerated">
	<item xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
	  <m:math>
	    <m:ci><m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub></m:ci>
	  </m:math>
	  and 
	  <m:math>
	    <m:ci><m:msub>
		<m:mi>Δ</m:mi>
		<m:mi>Ω</m:mi>
	      </m:msub></m:ci>
	  </m:math>
	  are invariant to time and frequency <note xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" type="footnote">Keep in mind the fact that
	    <m:math>
	      <m:apply>
		<m:ci type="fn">b</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math> and
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">B</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">b</m:ci>
		      <m:ci>t</m:ci>
		    </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> are alternate descriptions of the same
	    waveform; we could have written 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		</m:ci>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:ci type="fn">b</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci><m:msub><m:mi>Ω</m:mi><m:mn>0</m:mn></m:msub></m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math> in place of 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		</m:ci>
		<m:apply>
		  <m:ci type="fn">B</m:ci>
		  <m:apply>
		    <m:minus/>
		    <m:ci>Ω</m:ci>
		    <m:ci>
		      <m:msub><m:mi>Ω</m:mi><m:mn>0</m:mn></m:msub>
		    </m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math> above.
	  </note> shifts. 

	  <m:math display="block">
	    <m:apply>
	      <m:forall/>
	      <m:condition>
		<m:apply>
		  <m:in/>
		  <m:ci><m:msub>
		      <m:mi>t</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub></m:ci>
		  <m:reals/>
		</m:apply>
	      </m:condition>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">b</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">b</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>t</m:ci>
		      <m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  <m:math display="block">
	    <m:apply>
	      <m:forall/>
	      <m:condition>
		<m:apply>
		  <m:in/>
		  <m:ci><m:msub>
		      <m:mi>Ω</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub></m:ci>
		  <m:reals/>
		</m:apply>
	      </m:condition>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">B</m:ci>
		    <m:ci>Ω</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">B</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>Ω</m:ci>
		      <m:ci><m:msub><m:mi>Ω</m:mi><m:mn>0</m:mn></m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  This implies that all basis elements constructed from time
	  and/or frequency shifts of a prototype waveform 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">b</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math> will inherit the temporal and spectral widths of
	    <m:math>
	      <m:apply>
		<m:ci type="fn">b</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math>.
	</item>
	<item xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
	  The <term xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">time-bandwidth product</term> 
	  <m:math>
	    <m:apply>
	      <m:times/>
	      <m:ci>
		<m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
	      </m:ci>
	      <m:ci>
		<m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
	      </m:ci>
	    </m:apply>
	  </m:math> is invariant to time-scaling.  <note xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" type="footnote">The invariance property holds also for
	    frequency scaling, as implied by the Fourier transform
	    property

	    <m:math>
	      <m:apply>
		<m:ci><m:mo>⇔</m:mo></m:ci>
		<m:apply>
		  <m:ci type="fn">b</m:ci>
		  <m:apply>
		    <m:times/>
		    <m:ci>a</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:abs/>
		      <m:ci>a</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">B</m:ci>
		    <m:apply>
		      <m:divide/>
		      <m:ci>Ω</m:ci>
		      <m:ci>a</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>. </note>

	  <m:math display="block">
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		</m:ci>
		<m:apply>
		  <m:ci type="fn">b</m:ci>
		  <m:apply>
		    <m:times/>
		    <m:ci>a</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:apply>
		    <m:abs/>
		    <m:ci>a</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">b</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  
	  <m:math display="block">
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		</m:ci>
		<m:apply>
		  <m:ci type="fn">b</m:ci>
		  <m:apply>
		    <m:times/>
		    <m:ci>a</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:abs/>
		  <m:ci>a</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">b</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  The above two equations imply 
	  
	  <m:math display="block">
	    <m:apply>
	      <m:forall/>
	      <m:condition>
		<m:apply>
		  <m:in/>
		  <m:ci>a</m:ci>
		  <m:reals/>
		</m:apply>
	      </m:condition>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:times/>
		  <m:ci>
		    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		    </m:ci>
		    <m:apply>
		      <m:ci type="fn">b</m:ci>
		      <m:apply>
			<m:times/>
			<m:ci>a</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:ci>
		    <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		  </m:ci>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		    </m:ci>
		    <m:apply>
		      <m:ci type="fn">b</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  Observe that time-domain expansion (<foreign xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">i.e.</foreign>, 

	  <m:math>
	    <m:apply>
	      <m:lt/>
	      <m:apply>
		<m:abs/>
		<m:ci>a</m:ci>
	      </m:apply>
	      <m:cn>1</m:cn>
	    </m:apply>
	  </m:math>) increases the temporal width but decreases the
	  spectral width, while time-domain contraction
	  (<foreign xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">i.e.</foreign>,
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:apply>
		<m:abs/>
		<m:ci>a</m:ci>
	      </m:apply>
	      <m:cn>1</m:cn>
	    </m:apply>
	  </m:math>) does the opposite.  This suggests that
	  time-scaling might be a useful tool for the design of a
	  basis element with a particular tradeoff between time and
	  frequency resolution.  On the other hand, scaling cannot
	  simultaneously increase both time <emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">and</emphasis>
	  frequency resolution.
	</item>

	<item xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
	  No waveform can have time-bandwidth product less than 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:math>. 

	  <m:math display="block">
	    <m:apply>
	      <m:geq/>
	      <m:apply>
		<m:times/>
		<m:ci>
		  <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		</m:ci>
		<m:ci>
		  <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  This is known as the <term xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">time-frequency uncertainty
	  principle</term>.
	</item>

	<item xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
	  The Gaussian pulse 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">g</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math> achieves the minimum time-bandwidth product
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:times/>
		<m:ci>
		  <m:msub><m:mi>Δ</m:mi><m:mi>t</m:mi></m:msub>
		</m:ci>
		<m:ci>
		  <m:msub><m:mi>Δ</m:mi><m:mi>Ω</m:mi></m:msub>
		</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>. 

	  <m:math display="block">
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">g</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:root/>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:pi/>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:power/>
			<m:ci>t</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  <m:math display="block">
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">G</m:ci>
		<m:ci>Ω</m:ci>
	      </m:apply>
	      <m:apply>
		<m:exp/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:power/>
		      <m:ci>Ω</m:ci>
		      <m:cn>2</m:cn>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	  Note that this waveform is neither bandlimited nor
	  time-limited, but reasonable concentrated in both domains
	  (around the points 
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:ci>
		<m:msub><m:mi>t</m:mi><m:mi>c</m:mi></m:msub>
	      </m:ci>
	      <m:cn>0</m:cn>
	    </m:apply>
	  </m:math> and 
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:ci>
		<m:msub><m:mi>Ω</m:mi><m:mi>c</m:mi></m:msub>
	      </m:ci>
	      <m:cn>0</m:cn>
	    </m:apply>
	  </m:math>).
	</item>
      </list>

      Properties 1 and 2 can be easily verified using the definitions
      above.  Properties 3 and 4 follow from the <cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" document="m10757" strength="9">Cauchy-Schwarz inequality</cnxn>.
    </para>

    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="para14">
      Since the Gaussian pulse 
      <m:math>
	<m:apply>
	  <m:ci type="fn">g</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> achieves the minimum time-bandwidth product, it makes
      for a theoretically good prototype waveform.  In other words, we
      might consider constructing a basis from time shifted, frequency
      shifted, time scaled, or frequency scaled versions of
      <m:math>
	<m:apply>
	  <m:ci type="fn">g</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> to give a range of spectral/temporal centers and
      spectral/temporal resolutions.  Since the Gaussian pulse has
      doubly-infinite time-support, though, other windows are used in
      practice.  Basis construction from a prototype waveform is the
      main concept behind <cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" document="m10417" strength="9">Short-Time Fourier Analysis</cnxn> and the <cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" document="m10418" strength="9">continuous Wavelet
      transform</cnxn> discussed later.
    </para>
    
  </content>
</document>
