<?xml version="1.0" encoding="utf-8"?>
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:cnxorg="http://cnx.rice.edu/system-info" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml" xmlns:q="http://cnx.rice.edu/qml/1.0" xmlns:bib="http://bibtexml.sf.net/" id="m10622" module-id="" cnxml-version="0.7">
  <title>Region of Convergence for the Z-transform</title>
  <metadata xmlns:md="http://cnx.rice.edu/mdml" mdml-version="0.5">
  <!-- WARNING! The 'metadata' section is read only. Do not edit below.
       Changes to the metadata section in the source will not be saved. -->
  <md:repository>http://cnx.org/content</md:repository>
  <md:content-url>http://cnx.org/content/m10622/latest/</md:content-url>
  <md:content-id>m10622</md:content-id>
  <md:title>Region of Convergence for the Z-transform</md:title>
  <md:version>2.6</md:version>
  <md:created>2002/05/31</md:created>
  <md:revised>2010/07/22 15:26:19.904 GMT-5</md:revised>
  <md:actors>
    <md:person userid="mariyah">
      <md:firstname>Mariyah</md:firstname>
      <md:surname>Poonawala</md:surname>
      <md:fullname>Mariyah Poonawala</md:fullname>
      <md:email>mariyah@rice.edu</md:email>
    </md:person>
    <md:person userid="bfite">
      <md:firstname>Benjamin</md:firstname>
      <md:surname>Fite</md:surname>
      <md:fullname>Benjamin Fite</md:fullname>
      <md:email>bfite@rice.edu</md:email>
    </md:person>
    <md:person userid="prash">
      <md:firstname>Prashant</md:firstname>
      <md:surname>Singh</md:surname>
      <md:fullname>Prashant Singh</md:fullname>
      <md:email>prash@ece.rice.edu</md:email>
    </md:person>
  </md:actors>
  <md:roles>
    <md:role type="author">bfite</md:role>
    <md:role type="maintainer">mariyah prash</md:role>
    <md:role type="licensor">bfite</md:role>
  </md:roles>
  <md:license url="http://creativecommons.org/licenses/by/1.0"/>
  <!-- For information on license requirements for use or modification, see license url in the
       above <md:license> element.
       For information on formatting required attribution, see the URL:
         CONTENT_URL/content_info#cnx_cite_header
       where CONTENT_URL is the value provided above in the <md:content-url> element.
  -->
  <md:subjectlist>
    <md:subject>Science and Technology</md:subject>
  </md:subjectlist>
  <md:abstract>(Blank Abstract)</md:abstract>
  <md:language>en</md:language>
  <!-- WARNING! The 'metadata' section is read only. Do not edit above.
       Changes to the metadata section in the source will not be saved. -->
</metadata>

<content>
    <section id="eip-293" class="in"><title>Introduction</title><para id="eip-223">
With the <link document="m10549" strength="2">z-transform</link>, the s-plane represents a set of signals (<link document="m10060" strength="2">complex exponentials</link>).  For
      any given <link document="m10084" strength="2">LTI</link> system,
      some of these signals may cause the output of the system to
      converge, while others cause the output to diverge ("blow up").
      The set of signals that cause the system's output to converge
      lie in the <term>region of convergence (ROC)</term>.  This
      module will discuss how to find this region of convergence for
      any discrete-time, LTI system.
    
</para></section>


<section id="generaldef" class="th"><title>The Region of Convergence</title><para id="defofROC">
	The region of convergence, known as the <term>ROC</term>, is
	important to understand because it defines the region where
	the 
	<link document="m10549" strength="2">z-transform</link> 
	exists.  The <term>z-transform</term> of a sequence is defined as 

	<equation id="z-transform">     
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">X</m:ci><m:ci>z</m:ci>
	      </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" class="discrete">x</m:ci> 
		    <m:ci>n</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>	
	      </m:apply>	
	    </m:apply>	
	  </m:math>
	</equation>

	The ROC for a given 
	<m:math>	
	  <m:apply>
	    <m:ci type="fn" class="discrete">x</m:ci> 
	    <m:ci>n</m:ci>
	  </m:apply>
	</m:math>
	, is defined as the range of 
	<m:math>	
	  <m:ci>z</m:ci>
	</m:math>
	for which the z-transform converges.  Since the z-transform is
	a <term>power series</term>, it converges when 
	<m:math>	
	  <m:apply>
	    <m:times/>
	    <m:apply>
	      <m:ci type="fn" class="discrete">x</m:ci> 
	      <m:ci>n</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:power/>
	      <m:ci>z</m:ci>
	      <m:apply>
		<m:minus/>
		<m:ci>n</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
	is absolutely summable. Stated differently,
	<equation id="ROC">
	  <m:math>
	    <m:apply>
	      <m:lt/>
	      <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:abs/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:ci type="fn" class="discrete">x</m:ci> 
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:power/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:minus/>
			<m:ci>n</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>	
		</m:apply>
	      </m:apply>
	      <m:infinity/>
	    </m:apply>
	  </m:math>
	</equation>	
	must be satisfied for convergence.
	
      </para>  

<section id="properties">
      <title>Properties of the Region of Convergencec</title>
      <para id="prop1">
	The Region of Convergence has a number of properties that are
	dependent on the characteristics of the signal, 
	<m:math>
	  <m:apply>
	    <m:ci type="fn" class="discrete">x</m:ci> 
	    <m:ci>n</m:ci>
	  </m:apply>
	</m:math>.
	
      </para>
      <para id="prop2">
	<list id="propertylist">
	  
	  <item id="property1">
	    <emphasis>The ROC cannot contain any poles.</emphasis>
	    By definition a pole is a where 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">X</m:ci> 
		<m:ci>z</m:ci>
	      </m:apply>
	    </m:math>
	    is infinite.
	    Since 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">X</m:ci> 
		<m:ci>z</m:ci>
	      </m:apply>
	    </m:math>
	    must be finite for all <m:math><m:ci>z</m:ci></m:math> for
	    convergence, there cannot be a pole in the ROC.
	  </item>
	  <item id="property2">
	    <emphasis>If 
	      <m:math>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:math>
	      is a finite-duration sequence, then the ROC is the
	      entire z-plane, except possibly 
	      <m:math>
		<m:apply>
		  <m:eq/>
		  <m:ci>z</m:ci>
		  <m:cn>0</m:cn>
		</m:apply>
	      </m:math>
	      or 
	      <m:math>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:abs/>
		    <m:ci>z</m:ci>
		  </m:apply>
		  <m:infinity/>
		</m:apply>
	      </m:math>.
	    </emphasis>
	    A <term>finite-duration sequence</term> is a sequence that
	    is nonzero in a finite interval 
	    <m:math>
	      <m:apply>
		<m:leq/>
		<m:ci>
		  <m:msub>
		    <m:mo>n</m:mo>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
		<m:ci>n</m:ci>
		<m:ci>
		  <m:msub>
		    <m:mo>n</m:mo>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>.  
	
	    As long as each value of 
	    <m:math>
	      <m:apply>
		<m:ci type="fn" class="discrete">x</m:ci> 
		<m:ci>n</m:ci>
	      </m:apply>
	    </m:math>
	    is finite then the sequence will be absolutely summable.
	    When
	    <m:math>
	      <m:apply>
		<m:gt/>
		<m:ci>
		  <m:msub>
		    <m:mi>n</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:cn>0</m:cn>
	      </m:apply>		
	    </m:math>
	    there will be a 
	    <m:math>
	      <m:apply>
		<m:inverse/>
		<m:ci>z</m:ci>
	      </m:apply>
	    </m:math>
	    term and thus the ROC will not include 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:ci>z</m:ci>
		<m:cn>0</m:cn>
	      </m:apply>
	    </m:math>.
	    When 
	    <m:math>
	      <m:apply>
		<m:lt/>
		<m:ci>
		  <m:msub>
		    <m:mi>n</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
		<m:cn>0</m:cn>
	      </m:apply>		
	    </m:math>
	    then the sum will be infinite and thus the ROC will not
	    include
	    
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:infinity/>
	      </m:apply>
	    </m:math>.
	    On the other hand, when 
	    <m:math>
	      <m:apply>
		<m:leq/>
		<m:ci>
		  <m:msub>
		    <m:mi>n</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:cn>0</m:cn>
	      </m:apply>		
	    </m:math>
	    then the ROC will include
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:ci>z</m:ci>
		<m:cn>0</m:cn>
	      </m:apply>
	    </m:math>, 
	    and when
	    <m:math>
	      <m:apply>
		<m:geq/>
		<m:ci>
		  <m:msub>
		    <m:mi>n</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
		<m:cn>0</m:cn>
	      </m:apply>		
	    </m:math>
	    the ROC will include 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:infinity/>
	      </m:apply>
	    </m:math>.

	    With these constraints, the only signal, then, whose ROC
	    is the entire z-plane is 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:ci>c</m:ci>
		  <m:apply>
		    <m:ci type="fn" class="discrete">δ</m:ci> 
		    <m:ci>n</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>.
	
	  </item>
	</list>
      </para>

      <figure id="finitedurseq">
	<media id="id1170055929720" alt=""><image src="finite.png" mime-type="image/png"/></media>
	<caption>An example of a finite duration sequence.</caption>
      </figure>

      <para id="stupidcnxmldoesntallowfiguresinparas">The next properties apply to infinite duration sequences.  As
	noted above, the z-transform converges when
	<m:math>
	  <m:apply>
	    <m:lt/>
	    <m:apply>
	      <m:abs/>
	      <m:apply>
		<m:ci type="fn">X</m:ci> 
		<m:ci>z</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:infinity/>
	  </m:apply>
	</m:math>.
	So we can write 
	
	<equation id="zderiv1">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">X</m:ci> 
		  <m:ci>z</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:leq/>
		<m:apply>
		  <m:abs/>
		  <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" class="discrete">x</m:ci> 
			<m:ci>n</m:ci>
		      </m:apply>
		      <m:apply>
			<m:power/>
			<m:ci>z</m:ci>
			<m:apply>
			  <m:minus/>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>	
		  </m:apply>	
		</m:apply>	      
		<m:apply>
		  <m:eq/>
		  <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:abs/>
		      <m:apply>
			<m:times/>
			<m:apply>
			  <m:ci type="fn" class="discrete">x</m:ci> 
			  <m:ci>n</m:ci>
			</m:apply>
			<m:apply>
			  <m:power/>
			  <m:ci>z</m:ci>
			  <m:apply>
			    <m:minus/>
			    <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:abs/>
			<m:apply>
			  <m:ci type="fn" class="discrete">x</m:ci> 
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:power/>
			<m:apply>
			  <m:abs/>
			  <m:ci>z</m:ci>
			</m:apply>
			<m:apply>
			  <m:minus/>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	We can then split the infinite sum into positive-time and
	negative-time portions. So
	
	<equation id="nplusp">
	  <m:math>
	    <m:apply>
	      <m:leq/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">X</m:ci> 
		  <m:ci>z</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:plus/>
		<m:apply>
		  <m:ci type="fn">N</m:ci> 
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">P</m:ci> 
		  <m:ci>z</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	where
	
	<equation id="negside">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">N</m:ci> 
		<m:ci>z</m:ci>
	      </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:cn>-1</m:cn>	
		</m:uplimit>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:abs/>
		    <m:apply>
		      <m:ci type="fn" class="discrete">x</m:ci> 
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:apply>
		      <m:abs/>
		      <m:ci>z</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	and
	
	<equation id="posside">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">P</m:ci> 
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:sum/>
		<m:bvar>
		  <m:ci>n</m:ci>
		</m:bvar>
		<m:lowlimit>
		  <m:cn>0</m:cn>
		</m:lowlimit>
		<m:uplimit>	
		  <m:infinity/>
		</m:uplimit>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:abs/>
		    <m:apply>
		      <m:ci type="fn" class="discrete">x</m:ci> 
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:apply>
		      <m:abs/>
		      <m:ci>z</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	    
	In order for 
	<m:math>
	  <m:apply>
	    <m:abs/>
	    <m:apply>
	      <m:ci type="fn">X</m:ci> 
	      <m:ci>z</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>
	to be finite, 
	<m:math>
	  <m:apply>
	    <m:abs/>
	    <m:apply>
	      <m:ci type="fn" class="discrete">x</m:ci> 
	      <m:ci>n</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>
	must be bounded.  Let us then set
	
	<equation id="nltzero">
	  <m:math>
	    <m:apply>
	      <m:leq/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:ci>
		  <m:msub>
		    <m:mi>C</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
		<m:apply>
		  <m:power/>
		  <m:ci>
		    <m:msub>
		      <m:mi>r</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	for
	<m:math display="block">
	  <m:apply>
	    <m:lt/>
	    <m:ci>n</m:ci>
	    <m:cn>0</m:cn>
	  </m:apply>
	</m:math>
	and
	
	<equation id="ngeqzero">
	  <m:math>
	    <m:apply>
	      <m:leq/>
	      <m:apply>
		<m:abs/>
		<m:apply>
		  <m:ci type="fn">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:ci>
		  <m:msub>
		    <m:mi>C</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:apply>
		  <m:power/>
		  <m:ci>
		    <m:msub>
		      <m:mi>r</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	for
	<m:math display="block">
	  <m:apply>
	    <m:geq/>
	    <m:ci>n</m:ci>
	    <m:cn>0</m:cn>
	  </m:apply>
	</m:math>
	From this some further properties can be derived:

      </para>


      <para id="eip-985"><list id="stupidcnxmldoesntallowfiguresinlists">
	  <item id="property3">
	    <emphasis>
	      If 
	      <m:math>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:math>
	      is a right-sided sequence, then the ROC extends outward
	      from the outermost pole in 
	      <m:math>
		<m:apply>
		  <m:ci type="fn">X</m:ci> 
		  <m:ci>z</m:ci>
		</m:apply>
	      </m:math>.	      
	    </emphasis>
	    A <term>right-sided sequence</term> is a sequence where 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
		<m:cn>0</m:cn>
	      </m:apply>	      
	    </m:math>
	    for 
	    <m:math>
	      <m:apply>
		<m:lt/>
		<m:cn>n</m:cn>		
		<m:ci>
		  <m:msub>
		    <m:mo>n</m:mo>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
		<m:infinity/>		
	      </m:apply>
	    </m:math>.
	    Looking at the positive-time portion from the above
	    derivation, it follows that
	    
	    <equation id="furtherposderiv">
	      <m:math>
		<m:apply>
		  <m:leq/>
		  <m:apply>
		    <m:ci type="fn">P</m:ci> 
		    <m:ci>z</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:eq/>
		    <m:apply>
		      <m:times/>
		      <m:ci>
			<m:msub>
			  <m:mi>C</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
		      </m:ci>
		      <m:apply>
			<m:sum/>
			<m:bvar>
			  <m:ci>n</m:ci>
			</m:bvar>
			<m:lowlimit>
			  <m:cn>0</m:cn>
			</m:lowlimit>
			<m:uplimit>	
			  <m:infinity/>
			</m:uplimit>
			<m:apply>
			  <m:times/>
			  <m:apply>
			    <m:power/>
			    <m:ci>
			      <m:msub>
				<m:mi>r</m:mi>
				<m:mn>2</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:ci>n</m:ci>			  
			  </m:apply>
			  <m:apply>
			    <m:power/>
			    <m:apply>
			      <m:abs/>
			      <m:ci>z</m:ci>
			    </m:apply>
			    <m:apply>
			      <m:minus/>
			      <m:ci>n</m:ci>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		      <m:apply>
		      <m:times/>
		      <m:ci>
			<m:msub>
			  <m:mi>C</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
		      </m:ci>
		      <m:apply>
			<m:sum/>
			<m:bvar>
			  <m:ci>n</m:ci>
			</m:bvar>
			<m:lowlimit>
			  <m:cn>0</m:cn>
			</m:lowlimit>
			<m:uplimit>	
			  <m:infinity/>
			</m:uplimit>
			<m:apply>			  
			  <m:power/>
			  <m:apply>
			    <m:divide/>
			    <m:ci>
			      <m:msub>
				<m:mi>r</m:mi>
				<m:mn>2</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:apply>
			      <m:abs/>
			      <m:ci>z</m:ci>
			    </m:apply>
			  </m:apply>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>

	    Thus in order for this sum to converge, 
	    <m:math>
	      <m:apply>
		<m:gt/>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:ci>
		  <m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>,
	    and therefore the ROC of a right-sided sequence is of the
	    form 
	    <m:math>
	      <m:apply>
		<m:gt/>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:ci>
		  <m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>.
	  </item>	  
	</list></para><figure id="rtsided">
	<media id="id1170072248016" alt=""><image src="rtsided1.png" mime-type="image/png"/></media>
	<caption>A right-sided sequence.</caption>
      </figure>
      
      <figure id="rtsided2">
	<media id="id1170065609378" alt=""><image src="rtsided2.png" mime-type="image/png"/></media>
	<caption>The ROC of a right-sided sequence.</caption>
      </figure>


      <para id="parafix2">
	<list id="listfix2">
	  <item id="property4">
	    <emphasis>
	      If 
	      <m:math>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:math>
	      is a left-sided sequence, then the ROC extends inward
	      from the innermost pole in 
	      <m:math>
		<m:apply>
		  <m:ci type="fn">X</m:ci> 
		  <m:ci>z</m:ci>
		</m:apply>
	      </m:math>.
	    </emphasis>
	    A <term>right-sided sequence</term> is a sequence where 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
		<m:cn>0</m:cn>
	      </m:apply>	      
	    </m:math>
	    for 
	    <m:math>
	      <m:apply>
		<m:gt/>
		<m:cn>n</m:cn>		
		<m:ci>
		  <m:msub>
		    <m:mo>n</m:mo>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:apply>
		  <m:minus/>
		  <m:infinity/>
		</m:apply>		
	      </m:apply>
	    </m:math>.
	    Looking at the negative-time portion from the above
	    derivation, it follows that
	    
	    <equation id="furthernegderiv">
	      <m:math>
		<m:apply>
		  <m:leq/>
		  <m:apply>
		    <m:ci type="fn">N</m:ci> 
		    <m:ci>z</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:eq/>
		    <m:apply>
		      <m:times/>
		      <m:ci>
			<m:msub>
			  <m:mi>C</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		      <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:cn>-1</m:cn>
			</m:uplimit>
			<m:apply>
			  <m:times/>
			  <m:apply>
			    <m:power/>
			    <m:ci>
			      <m:msub>
				<m:mi>r</m:mi>
				<m:mn>1</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:ci>n</m:ci>			  
			  </m:apply>
			  <m:apply>
			    <m:power/>
			    <m:apply>
			      <m:abs/>
			      <m:ci>z</m:ci>
			    </m:apply>
			    <m:apply>
			      <m:minus/>
			      <m:ci>n</m:ci>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:ci>
			<m:msub>
			  <m:mi>C</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		      <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:cn>-1</m:cn>
			</m:uplimit>
			<m:apply>			  
			  <m:power/>
			  <m:apply>
			    <m:divide/>
			    <m:ci>
			      <m:msub>
				<m:mi>r</m:mi>
				<m:mn>1</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:apply>
			      <m:abs/>
			      <m:ci>z</m:ci>
			    </m:apply>
			  </m:apply>
			  <m:ci>n</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:ci>
			<m:msub>
			  <m:mi>C</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		      <m:apply>
			<m:sum/>
			<m:bvar>
			  <m:ci>k</m:ci>
			</m:bvar>
			<m:lowlimit>
			  <m:cn>1</m:cn>
			</m:lowlimit>
			<m:uplimit>	
			  <m:infinity/>
			</m:uplimit>
			<m:apply>			  
			  <m:power/>
			  <m:apply>
			    <m:divide/>
			    <m:apply>
			      <m:abs/>
			      <m:ci>z</m:ci>
			    </m:apply>
			    <m:ci>
			      <m:msub>
				<m:mi>r</m:mi>
				<m:mn>1</m:mn>
			      </m:msub>
			    </m:ci>			    
			  </m:apply>
			  <m:ci>k</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>

	    Thus in order for this sum to converge, 
	    <m:math>
	      <m:apply>
		<m:lt/>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:ci>
		  <m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>,
	    and therefore the ROC of a left-sided sequence is of the
	    form 
	    <m:math>
	      <m:apply>
		<m:lt/>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:ci>
		  <m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>.
	    
	  </item>
	</list>
      </para>

      
      <figure id="lefsided1">
	<media id="id1170090316833" alt=""><image src="lefsided1.png" mime-type="image/png"/></media>
	<caption>A left-sided sequence.</caption>
      </figure>

      <figure id="lefsided2">
	<media id="id1170069517855" alt=""><image src="lefsided2.png" mime-type="image/png"/></media>
	<caption>The ROC of a left-sided sequence.</caption>
      </figure>


      <para id="parafix3">
	<list id="listfix3"><item id="property5">
	    <emphasis>
	      If 
	      <m:math>
		<m:apply>
		  <m:ci type="fn" class="discrete">x</m:ci> 
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:math>
	      is a two-sided sequence, the ROC will be a ring in the
	      z-plane that is bounded on the interior and exterior by
	      a pole.</emphasis>	      
	    A <term>two-sided sequence</term> is an sequence with
	    infinite duration in the positive and negative
	    directions.  From the derivation of the above two
	    properties, it follows that if 
	    <m:math>
	      <m:apply>
		<m:lt/>
		<m:ci>
		  <m:msub>
		    <m:mi>-r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:ci>
		  <m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>
	    converges, then both the positive-time and negative-time
	    portions converge and thus 
	    <m:math>
	      <m:apply>
		<m:ci type="fn">X</m:ci> 
		<m:ci>z</m:ci>
	      </m:apply>
	    </m:math>
	    converges as well.  Therefore the ROC of a two-sided
	    sequence is of the form 
	    <m:math>
	      <m:apply>
		<m:lt/>
		<m:ci>
		  <m:msub>
		    <m:mi>-r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
		<m:apply>
		  <m:abs/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:ci>
		  <m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:math>.
	  </item>
	</list>
      </para>


      <figure id="twosided1">
	<media id="id1170083904877" alt=""><image src="twosided1.png" mime-type="image/png"/></media>
	<caption>A two-sided sequence.</caption>
      </figure>
      
      <figure id="twosided2">
	<media id="id1170081869005" alt=""><image src="twosided2.png" mime-type="image/png"/></media>
	<caption>The ROC of a two-sided sequence.</caption>
      </figure>
	
    </section>
    
    <section id="examples"><title>Examples</title><example id="ex1">
	<para id="e1">
	  Lets take
	  
	  <equation id="ex1eq1">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>x</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>		      
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>		      
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	
	  The z-transform of 
	  <m:math>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:power/>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:cn>2</m:cn>
		</m:apply>
		<m:ci>n</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn" class="discrete">u</m:ci>
		<m:ci>n</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  is 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:ci>z</m:ci>
	      <m:apply>
		<m:minus/>
		<m:ci>z</m:ci>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  with an ROC at 
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:apply>
		<m:abs/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	</para>	

	
	<figure id="ex1roc1a">
	  <media id="id1170069968418" alt=""><image src="ex1roc1a.png" mime-type="image/png"/></media>
	  <caption>
	    The ROC of 
	    <m:math>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:power/>
		  <m:apply>
		    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn" class="discrete">u</m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </caption>
	</figure>


	<para id="figspace1">
	  The z-transform of 
	  <m:math>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:power/>	
		<m:apply>
		  <m:divide/>
		  <m:cn>-1</m:cn>
		  <m:cn>4</m:cn>
		</m:apply>		
		<m:ci>n</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn" class="discrete">u</m:ci>
		<m:ci>n</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  is 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:ci>z</m:ci>
	      <m:apply>
		<m:plus/>
		<m:ci>z</m:ci>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:cn>4</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  with an ROC at 
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:apply>
		<m:abs/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>-1</m:cn>
		<m:cn>4</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	</para>


	<figure id="ex1roc1b">
	  <media id="id1170068965532" alt=""><image src="ex1roc1b.png" mime-type="image/png"/></media>
	  <caption>
	    The ROC of 
	    <m:math>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:power/>
		  <m:apply>
		    <m:divide/>
		    <m:cn>-1</m:cn>
		    <m:cn>4</m:cn>
		  </m:apply>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn" class="discrete">u</m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </caption>
	</figure>

	
	<para id="figspace2">
	  Due to linearity,
	  <equation id="ex1eq2">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>X</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:plus/>		  
		  <m:apply>
		    <m:divide/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:plus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:minus/>
	              <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>8</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:plus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	  By observation it is clear that there are two zeros, at 
	  <m:math>
	    <m:cn>0</m:cn>
	  </m:math>	    
	  and 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:cn>8</m:cn>
	    </m:apply>
	  </m:math>, 
	  and two poles, at 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:math>, 
	  and
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>-1</m:cn>
	      <m:cn>4</m:cn>
	    </m:apply>
	  </m:math>.
	  Following the obove properties, the ROC is 
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:apply>
		<m:abs/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	</para>
	
	<figure id="ex1roc2">
	  <media id="id4268558" alt=""><image src="ex1roc2.png" mime-type="image/png"/></media>
	  <caption>
	    The ROC of 
	    
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>x</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>		      
		      <m:apply>
			<m:divide/>
			<m:cn>-1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>		      
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>	    
	  </caption>
	</figure>
			

      </example>
      <example id="ex2">
	<para id="e2">
	  Now take
	  <equation id="ex2eq1">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>x</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:divide/>
			<m:cn>-1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>		      
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>		      
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:minus/>
			  <m:ci>n</m:ci>
			</m:apply>
			<m:cn>1</m:cn>
		      </m:apply>			  
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	  
	  The z-transform and ROC of 
	  <m:math>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:power/>
		<m:apply>
		  <m:divide/>
		  <m:cn>-1</m:cn>
		  <m:cn>4</m:cn>
		</m:apply>
		<m:ci>n</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn" class="discrete">u</m:ci>
		<m:ci>n</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>	
	  was shown in the
	  <link target-id="ex1" strength="3">example above</link>.
	  The z-transorm of 
	  <m:math>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:power/>		      
		  <m:apply>
		    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:cn>2</m:cn>
		  </m:apply>		      
		  <m:ci>n</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn" class="discrete">u</m:ci>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:minus/>
		    <m:ci>n</m:ci>
		  </m:apply>
		  <m:cn>1</m:cn>
		</m:apply>			  
	      </m:apply>
	    </m:apply>
	  </m:math>
	  is
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:ci>z</m:ci>
	      <m:apply>
		<m:minus/>
		<m:ci>z</m:ci>
		<m:apply>
		  <m:divide/>
		  <m:cn>1</m:cn>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  with an ROC at 
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:apply>
		<m:abs/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	</para>

	<figure id="ex2roc1"><media id="id1170079467559" alt=""><image src="ex2roc1.png" mime-type="image/png"/></media>
	  
	<caption>The ROC of 
	    <m:math>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:power/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:ci>n</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:ci type="fn" class="discrete">u</m:ci>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:cn>1</m:cn>
		  </m:apply>	
		</m:apply>
	      </m:apply>
	    </m:math>
	  </caption></figure>
	
	<para id="figspace4">
	  Once again, by linearity,
	  <equation id="ex2eq2">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>X</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:divide/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:plus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>		  
		</m:apply>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:times/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:ci>z</m:ci>
		      </m:apply>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>8</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:plus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>z</m:ci>
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>		    
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	  By observation it is again clear that there are two zeros, at 
	  <m:math>
	    <m:cn>0</m:cn>
	  </m:math>	    
	  and 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:cn>16</m:cn>
	    </m:apply>
	  </m:math>, 
	  and two poles, at 
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>1</m:cn>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:math>, 
	  and
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:cn>-1</m:cn>
	      <m:cn>4</m:cn>
	    </m:apply>
	  </m:math>.
	  in ths case though, the ROC is
	  <m:math>
	    <m:apply>
	      <m:lt/>
	      <m:apply>
		<m:abs/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	</para>

	
	<figure id="ex2roc2">
	  <media id="id4205380" alt=""><image src="ex2roc2.png" mime-type="image/png"/></media>
	  <caption>
	    The ROC of 
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:ci type="fn" class="discrete">
		    <m:msub>
		      <m:mi>x</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>n</m:ci>
		</m:apply>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:divide/>
			<m:cn>-1</m:cn>
			<m:cn>4</m:cn>
		      </m:apply>
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:ci>n</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>		      
		      <m:apply>
			<m:divide/>
			<m:cn>1</m:cn>
			<m:cn>2</m:cn>
		      </m:apply>		      
		      <m:ci>n</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn" class="discrete">u</m:ci>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:minus/>
			  <m:ci>n</m:ci>
			</m:apply>
			<m:cn>1</m:cn>
		      </m:apply>			  
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>.
	  </caption>
	</figure>


      </example>
    </section> 
    </section>


    <section id="eip-364" class="ie"><title>Graphical Understanding of ROC</title><para id="para4">
	Using the demonstration, learn about the region of convergence for the Laplace Transform.
</para></section><section id="eip-288"><title>Conclusion</title><para id="conc">Clearly, in order to craft a system that is actually useful by virtue of being causal and BIBO stable, we must ensure that it is within the Region of Convergence, which can be ascertained by looking at the pole zero plot. The Region of Convergence is the area in the pole/zero plot of the transfer function in which the function exists. For purposes of useful filter design, we prefer to work with rational functions, which can be described by two polynomials, one each for determining the poles and the zeros, respectively.</para></section>          
  </content>  
</document>

