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

  <name>Discrete-Time Signals</name>

  <metadata>
  <md:version>2.23</md:version>
  <md:created>2000/06/28</md:created>
  <md:revised>2007/05/08 13:51:25.422 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="rha">
      <md:firstname>Roy</md:firstname>
      
      <md:surname>Ha</md:surname>
      <md:email>rha@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: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:maintainer id="mhutch">
      <md:firstname>Matthew</md:firstname>
      
      <md:surname>Hutchinson</md:surname>
      <md:email>mhutch@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>alphabet</md:keyword>
    <md:keyword>complex</md:keyword>
    <md:keyword>complex-valued</md:keyword>
    <md:keyword>decompose</md:keyword>
    <md:keyword>discrete-time</md:keyword>
    <md:keyword>exponential</md:keyword>
    <md:keyword>real-valued</md:keyword>
    <md:keyword>sequences</md:keyword>
    <md:keyword>signals</md:keyword>
    <md:keyword>sine</md:keyword>
    <md:keyword>sinusoid</md:keyword>
    <md:keyword>symbolic-valued signals</md:keyword>
    <md:keyword>systems</md:keyword>
    <md:keyword>unit sample</md:keyword>
  </md:keywordlist>

  <md:abstract>Signals can be represented by discrete quantities instead of as a function of a 
    continuous variable.  These discrete time signals do not
    necessarily have to take real number values. Many properties of
    continuous valued signals transfer almost directly to the discrete
    domain.</md:abstract>
</metadata>

  <content>
    <para id="para1"> So far, we have treated what are known as
      <term>analog</term> signals and systems. Mathematically, analog
      signals are functions having continuous quantities as their
      independent variables, such as space and time. <cnxn strength="8" document="m10342">Discrete-time signals</cnxn> are
      functions defined on the integers; they are sequences. One of
      the <cnxn document="m0050" strength="5">fundamental results of
      signal theory</cnxn> will detail conditions under which an
      analog signal can be converted into a discrete-time one and
      retrieved <emphasis>without error</emphasis>. This result is
      important because discrete-time signals can be manipulated by
      systems instantiated as computer programs. Subsequent modules
      describe how virtually all analog signal processing can be
      performed with software.
    </para>

    <para id="para2"> As important as such results are, discrete-time
      signals are more general, encompassing signals derived from
      analog ones <emphasis>and</emphasis> signals that aren't. For
      example, the characters forming a text file form a sequence,
      which is also a discrete-time signal. We must deal with such
      <cnxn document="m10342" target="para11" strength="5">symbolic
      valued</cnxn> signals and systems as well.  </para>

    <para id="para3"> 
      As with analog signals, we seek ways of decomposing real-valued
      discrete-time signals into simpler components. With this
      approach leading to a better understanding of signal structure,
      we can exploit that structure to represent information (create
      ways of representing information with signals) and to extract
      information (retrieve the information thus represented). For
      symbolic-valued signals, the approach is different: We develop a
      common representation of all symbolic-valued signals so that we
      can embody the information they contain in a unified way. From
      an information representation perspective, the most important
      issue becomes, for both real-valued and symbolic-valued signals,
      efficiency; What is the most parsimonious and compact way to
      represent information so that it can be extracted later.
    </para>

    <section id="sec1">
      <name>Real- and Complex-valued Signals</name>
      <para id="para4"> 
	A discrete-time signal is represented symbolically as 
	<m:math>
	  <m:apply>
	    <m:ci type="fn">s</m:ci>
	    <m:ci>n</m:ci>
	  </m:apply>
	</m:math>, 
	where 
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:ci>n</m:ci>
	    <m:set>
	      <m:ci>…</m:ci>
	      <m:cn>-1</m:cn>
	      <m:cn>0</m:cn>
	      <m:cn>1</m:cn>
	      <m:ci>…</m:ci>
	    </m:set>
	  </m:apply>
	</m:math>.

	We usually draw discrete-time signals as stem plots to
	emphasize the fact they are functions defined only on the
	integers. We can delay a discrete-time signal by an integer
	just as with analog ones. A delayed unit sample has the
	expression
	<m:math>
	  <m:apply>
	    <m:ci type="fn">δ</m:ci>
	    <m:apply>
	      <m:minus/>
	      <m:ci>n</m:ci>
	      <m:ci>m</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>, 
	and equals one when   
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:ci>n</m:ci>
	    <m:ci>m</m:ci>
	  </m:apply>
	</m:math>.
      </para>

      <figure id="fig1">
        <name>Discrete-Time Cosine Signal</name>
        <media type="image/png" src="cosine.png"/>
        <caption>
          The discrete-time cosine signal is plotted as a stem
          plot. Can you find the formula for this signal?
        </caption>
      </figure>
    </section>


    <section id="sec2">
      <name>Complex Exponentials</name>
      <para id="para6">
	The most important signal is, of course, the 
	<term>complex exponential sequence</term>.

	<equation id="eq1">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <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:math>
	</equation>
      </para>
    </section>


    <section id="sec3">
      <name>Sinusoids</name>
      <para id="para7">
	Discrete-time sinusoids have the obvious form 
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">s</m:ci>
	      <m:ci>n</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:times/>
	      <m:ci>A</m:ci>
	      <m:apply>
		<m:cos/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		    <m:ci>n</m:ci>
		  </m:apply>
		  <m:ci>φ</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>.
	As opposed to analog complex exponentials and sinusoids that
	can have their frequencies be any real value, frequencies of
	their discrete-time counterparts yield unique waveforms
	<emphasis>only</emphasis> when
	<m:math>
	  <m:ci>f</m:ci>
	</m:math> 
	lies in the interval  
	<m:math>
	  <m:interval closure="open-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:math>. 	
	This property can be easily understood by noting that adding
	an integer to the frequency of the discrete-time complex
	exponential has no effect on the signal's value.

	<equation id="eq2">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <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:ci>m</m:ci>
		  </m:apply>
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<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:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>m</m:ci>
		    <m:ci>n</m:ci>
		  </m:apply>
		</m:apply>
	      </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:math>
	</equation>

	This derivation follows because the complex exponential
	evaluated at an integer multiple of
	<m:math>
	  <m:apply>
	    <m:times/>
	    <m:cn>2</m:cn>
	    <m:pi/>
	  </m:apply>
	</m:math> 
	equals one.
      </para>
    </section>


    <section id="sec4">
      <name>Unit Sample</name>
      <para id="para8"> 
	The second-most important discrete-time signal is the
	<term>unit sample</term>, which is defined to be

	<equation id="eq3">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">δ</m:ci>
		<m:ci>n</m:ci>
	      </m:apply>
	      <m:piecewise>
		<m:piece>
		  <m:cn>1</m:cn>
		  <m:apply>
		    <m:eq/>
		    <m:ci>n</m:ci>
		    <m:cn>0</m:cn>
		  </m:apply>
		</m:piece>
		<m:otherwise>
		  <m:cn>0</m:cn>
		</m:otherwise>
	      </m:piecewise>
	    </m:apply>
	  </m:math>
	</equation>
      </para>


      <figure id="fig2">
	<name>Unit Sample</name>
	<media type="image/png" src="unitsample.png"/>
	<caption>The unit sample.</caption>
      </figure>


      <para id="para9">
	Examination of a discrete-time signal's plot, like that of the
	cosine signal shown in <cnxn target="fig1" strength="5"/>,
	reveals that all signals consist of a sequence of delayed and
	scaled unit samples. Because the value of a sequence at each
	integer
	<m:math>
	  <m:ci>m</m:ci>
	</m:math> 
	is denoted by  
	<m:math>
	  <m:apply>
	    <m:ci type="fn">s</m:ci>
	    <m:ci>m</m:ci>
	  </m:apply>
	</m:math> 
	and the unit sample delayed to occur at   
	<m:math>
	  <m:ci>m</m:ci>
	</m:math>
	is written  
	<m:math>
	  <m:apply>
	    <m:ci type="fn">δ</m:ci>
	    <m:apply>
	      <m:minus/>
	      <m:ci>n</m:ci>
	      <m:ci>m</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>, 
	we can decompose <emphasis>any</emphasis> signal as a sum of
	unit samples delayed to the appropriate location and scaled by
	the signal value.

	<equation id="eq4">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">s</m:ci>
		<m:ci>n</m:ci>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar>
		  <m:ci>m</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>m</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">δ</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>n</m:ci>
		      <m:ci>m</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	This kind of decomposition is unique to discrete-time signals,
	and will prove useful subsequently.
      </para>    

      <para id="para10"> 
	Discrete-time systems can act on discrete-time signals in ways
	similar to those found in analog signals and systems. Because
	of the role of software in discrete-time systems, many more
	different systems can be envisioned and “constructed” with
	programs than can be with analog signals. In fact, a special
	class of analog signals can be converted into discrete-time
	signals, processed with software, and converted back into an
	analog signal, all without the incursion of error. For such
	signals, systems can be easily produced in software, with
	equivalent analog realizations difficult, if not impossible,
	to design.
      </para>               
    </section>


    <section id="symbolic">
      <name>Symbolic-valued Signals</name> 
      <para id="para1b"> 
	Another interesting aspect of discrete-time signals is that
	their values do not need to be real numbers. We do have
	real-valued discrete-time signals like the sinusoid, but we
	also have signals that denote the sequence of characters typed
	on the keyboard. Such characters certainly aren't real
	numbers, and as a collection of possible signal values, they
	have little mathematical structure other than that they are
	members of a set. More formally, each element of the
	symbolic-valued signal
	<m:math>
	  <m:apply>
	    <m:ci type="fn">s</m:ci>
	    <m:ci>n</m:ci>
	  </m:apply>
	</m:math>
	takes on one of the values
	<m:math>
	  <m:set>
	    <m:ci>
	      <m:msub>
		<m:mi>a</m:mi>
		<m:mn>1</m:mn>
	      </m:msub>
	    </m:ci>
	    <m:ci>…</m:ci>
	    <m:ci>
	      <m:msub>
		<m:mi>a</m:mi>
		<m:mn>K</m:mn>
	      </m:msub>
	    </m:ci>
	  </m:set>
	</m:math>
	which comprise the <term>alphabet</term>
	<m:math>
	  <m:ci>A</m:ci> </m:math>.  This technical terminology does
	not mean we restrict symbols to being members of the English
	or Greek alphabet. They could represent keyboard characters,
	bytes (8-bit quantities), integers that convey daily
	temperature. Whether controlled by software or not,
	discrete-time systems are ultimately constructed from digital
	circuits, which consist <emphasis>entirely</emphasis> of
	analog circuit elements.  Furthermore, the transmission and
	reception of discrete-time signals, like e-mail, is
	accomplished with analog signals and systems. Understanding
	how discrete-time and analog signals and systems intertwine is
	perhaps the main goal of this course.  </para>
    </section><para id="element-801"><media type="application/x-labviewrpvi80" src="SignalApprox.llb">
		<param name="lvfppviname" value="Signal Approximation.vi"/>
		<param name="width" value="722"/>
		<param name="height" value="575"/>
	</media>
</para>

   </content>
</document>
