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

  <name>Región de Convergencia para la Transformada de Laplace</name>

  <metadata>
  <md:version>2.8</md:version>
  <md:created>2005/08/01 11:20:53.681 GMT-5</md:created>
  <md:revised>2005/08/02 13:26:20.954 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="richb">
      <md:firstname>Richard</md:firstname>
      <md:othername>G.</md:othername>
      <md:surname>Baraniuk</md:surname>
      <md:email>richb@rice.edu</md:email>
    </md:author>
      <md:author id="erikaj">
      <md:firstname>Erika</md:firstname>
      <md:othername>Sarait</md:othername>
      <md:surname>Jackson</md:surname>
      <md:email>erikaj@utep.edu</md:email>
    </md:author>
      <md:author id="fpmeza">
      <md:firstname>Fara</md:firstname>
      <md:othername>P.</md:othername>
      <md:surname>Meza</md:surname>
      <md:email>fpmeza@utep.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="erikaj">
      <md:firstname>Erika</md:firstname>
      <md:othername>Sarait</md:othername>
      <md:surname>Jackson</md:surname>
      <md:email>erikaj@utep.edu</md:email>
    </md:maintainer>
    <md:maintainer id="fpmeza">
      <md:firstname>Fara</md:firstname>
      <md:othername>P.</md:othername>
      <md:surname>Meza</md:surname>
      <md:email>fpmeza@utep.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>cero</md:keyword>
    <md:keyword>polo</md:keyword>
    <md:keyword>region de convergerncia</md:keyword>
    <md:keyword>ROC</md:keyword>
    <md:keyword>señales</md:keyword>
    <md:keyword>sistemas</md:keyword>
    <md:keyword>tiempo continuo</md:keyword>
    <md:keyword>transformada de laplace</md:keyword>
  </md:keywordlist>

  <md:abstract>Explica como encontrar la ROC para sistemas LTI.</md:abstract>
</metadata>

  <content>

    <para id="para1">

Con la <cnxn strength="5" document="m10110">transformada de Laplace</cnxn>, el plano –s representa un conjunto de señales (<cnxn strength="5" document="m12825">exponenciales complejos</cnxn>). Para cualquier sistema LTI, alguna de estas señales puede causar que la salida del sistema inversa, mientras otras hacen que la salida del sistema diverja (“explote”). El conjunto de las señales que causa que la salida de los sistemas converja se encuentran en la <term>región de convergencia (ROC)</term>.este modulo discutirá como encontrar la región de convergencia para cualquier sistema LTI continuo. 

   
    </para>

    <para id="para2">
      Recuerde la definición de la transformada de Laplace, 
      <equation id="eqn1">
	<name>Transformada de Laplace</name>
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">H</m:ci>
	      <m:ci>s</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">h</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:times/>
		      <m:ci>s</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>

Si consideramos un exponencial complejo <cnxn strength="5" document="m12822">causal</cnxn>,
     
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">h</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:times/>
	    <m:apply>
	      <m:exp/>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:times/>
		  <m:ci>a</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:ci type="fn">u</m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>,
      obtenemos la siguiente ecuación, 
      <equation id="eqn2">
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:int/>
	      <m:bvar>
		<m:ci>t</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:exp/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:times/>
		      <m:ci>a</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:times/>
		      <m:ci>s</m:ci>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:int/>
	      <m:bvar>
		<m:ci>t</m:ci>
	      </m:bvar>
	      <m:lowlimit>
		<m:cn>0</m:cn>
	      </m:lowlimit>
	      <m:uplimit>
		<m:infinity/>
	      </m:uplimit>
	      <m:apply>
		<m:exp/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:plus/>
		      <m:ci>a</m:ci>
		      <m:ci>s</m:ci>
		    </m:apply>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>
      evaluando esto obtenemos,
      <equation id="eqn3">
	<m:math>
	  <m:apply>
	    <m:times/>
	    <m:apply>
	      <m:divide/>
	      <m:cn>-1</m:cn>
	      <m:apply>
		<m:plus/>
		<m:ci>s</m:ci>
		<m:ci>a</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:minus/>
	      <m:apply>
		<m:limit/>
		<m:bvar>
		  <m:ci>t</m:ci>
		</m:bvar>
		<m:lowlimit>
		  <m:infinity/>
		</m:lowlimit>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:plus/>
			<m:ci>s</m:ci>
			<m:ci>a</m:ci>
		      </m:apply>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:cn>1</m:cn>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>
      Nota que esta ecuación ira infinito cuando
      <m:math>
	<m:apply>
	  <m:limit/>
	  <m:bvar>
	    <m:ci>t</m:ci>
	  </m:bvar>
	  <m:lowlimit>
	    <m:infinity/>
	  </m:lowlimit>
	  <m:apply>
	    <m:exp/>
	    <m:apply>
	      <m:minus/>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:plus/>
		  <m:ci>s</m:ci>
		  <m:ci>a</m:ci>
		</m:apply>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      vaya al infinito. Para entender por que pasa esto, tomaremos un paso mas al usar
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:ci>s</m:ci>
	  <m:apply>
	    <m:plus/>
	    <m:ci>σ</m:ci>
	    <m:apply>
	      <m:times/>
	      <m:imaginaryi/>
	      <m:ci>ω</m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
     para realizar ecuaciones como 
      <equation id="eqn4">
	<m:math>
	  <m:apply>
	    <m:limit/>
	    <m:bvar>
	      <m:ci>t</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:infinity/>
	    </m:lowlimit>
	    <m:apply>
	      <m:times/>
	      <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:exp/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:plus/>
		      <m:ci>σ</m:ci>
		      <m:ci>a</m:ci>
		    </m:apply>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>
    Al reconocer que
      <m:math>
	<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:math>
       es senosoidal, se vuelve aparente
      <m:math>
	<m:apply>
	  <m:exp/>
	  <m:apply>
	    <m:minus/>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:ci>σ</m:ci>
		<m:ci>a</m:ci>
	      </m:apply>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      va determinar si la ecuación explota o no. lo que encontramos es que si
      <m:math>
	<m:apply>
	  <m:plus/>
	  <m:ci>σ</m:ci>
	  <m:ci>a</m:ci>
	</m:apply>
      </m:math>

 es positivo, el exponencial va a tener una potencia negativa, lo que va a causar que esto se vaya a cero cuando <m:math><m:ci>t</m:ci></m:math>
      vaya a infinito. Pero si
      <m:math>
	<m:apply>
	  <m:plus/>
	  <m:ci>σ</m:ci>
	  <m:ci>a</m:ci>
	</m:apply>
      </m:math>
    es negativa o cero, el exponencial no tendrá una potencia negativa, lo que prevendrá que vaya a cero y el sistema no va a converger. Lo que todo esto nos dice es que para una señal causar, tenemos convergencia cuando
      <equation id="eqn5">
	<name>Condición para Convergencia</name>
	<m:math>
	  <m:apply>
	    <m:gt/>
	    <m:apply>
	      <m:real/>
	      <m:ci>s</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:minus/>
	      <m:ci>a</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>
    </para>

    <para id="para3">

Aunque no pasaremos por este proceso otra vez paras señales anticausales, podríamos hacerlo. Al hacerlo, nos daríamos cuenta que la condición necesaria para convergencia es cuando
   
      <equation id="eqn6">
	<name>Condición Necesaria para Convergencia Anti-causal</name>
	<m:math>
	  <m:apply>
	    <m:lt/>
	    <m:apply>
	      <m:real/>
	      <m:ci>s</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:minus/>
	      <m:ci>a</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>
    </para>

    <section id="sect1">
      <name>Entendiendo el ROC Gráficamente</name>
      <para id="para4">
	Talvez la mejor manera del ver la región de convergencia es el ver el plano –S lo que observamos es que para un solo polo, la región de convergencia se encuentra a la derecha de las señales causales y a la izquierda de las señales anticausales. 
      </para>

      <figure id="fig1" orient="horizontal">
	<subfigure id="fig1a">
	  <media type="image/png" src="laplaceroc1.png"/>
	  <caption>

La ROC para una señal causal.
	    </caption>
	</subfigure>
	<subfigure id="fig1b">
	  <media type="image/png" src="laplaceroc2.png"/>
	  <caption>
	   La ROC para una señal anti-causal.</caption>
	</subfigure>
      </figure>

      <para id="para5">
	Después de reconocer esto, la pregunta necesaria es esta: ¿Que hacemos cuando tenemos polos múltiples? La respuesta más simple es que tenemos que tomar la intersección de todas las regiones de convergencias para cada respectivo polo.
      </para>

      <example id="exa1">
	<para id="para6">
	Encuentre
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">H</m:ci>
	      <m:ci>s</m:ci>
	    </m:apply>
	  </m:math>
	 y diga la región de convergencia para
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn">h</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:plus/>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:times/>
			<m:ci>a</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">u</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:times/>
			<m:ci>b</m:ci>
			<m:ci>t</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">u</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>t</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</para>

	<para id="para7">
	  Al separa esto en dos términos obtenemos que las funciones de transferencia y la respectivas regiones de convergencia de 
	  <equation id="eqn7">
	    <m:math>
	      <m:apply>
		<m:forall/>
		<m:bvar><m:ci>s</m:ci></m:bvar>
		<m:condition>
		  <m:apply>
		    <m:gt/>
		    <m:apply>
		      <m:real/>
		      <m:ci>s</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>a</m:ci>
		    </m:apply>
		  </m:apply>
		</m:condition>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn"><m:msub>
			<m:mi>H</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:ci>s</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:cn>1</m:cn>
		    <m:apply>
		      <m:plus/>
		      <m:ci>s</m:ci>
		      <m:ci>a</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	y
	  <equation id="eqn8">
	    <m:math>
	      <m:apply>
		<m:forall/>
		<m:bvar><m:ci>s</m:ci></m:bvar>
		<m:condition>
		  <m:apply>
		    <m:lt/>
		    <m:apply>
		      <m:real/>
		      <m:ci>s</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		</m:condition>
		<m:apply>
		  <m:eq/>
		  <m:apply>
		    <m:ci type="fn"><m:msub>
			<m:mi>H</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		    <m:ci>s</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:cn>-1</m:cn>
		    <m:apply>
		      <m:plus/>
		      <m:ci>s</m:ci>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	  Combinando esto obtenemos la región de convergencia de
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:apply>
		<m:minus/>
		<m:ci>b</m:ci>
	      </m:apply>
	      <m:apply>
		<m:real/>
		<m:ci>s</m:ci>
	      </m:apply>
	      <m:apply>
		<m:minus/>
		<m:ci>a</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	  Si
	  <m:math>
	    <m:apply>
	      <m:gt/>
	      <m:ci>a</m:ci>
	      <m:ci>b</m:ci>
	    </m:apply>
	  </m:math>, podemos representar esto gráficamente. Si no, no abra una región de convergencia.
	</para>

	<figure id="fig2" orient="vertical">
	  <media type="image/png" src="laplaceroc3.png"/>
	  <caption>Región de convergencia de
	    <m:math>
	      <m:apply>
		<m:ci type="fn">h</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:math>
	    si
	    <m:math>
	      <m:apply>
		<m:gt/>
		<m:ci>a</m:ci>
		<m:ci>b</m:ci>
	      </m:apply>
	    </m:math>.
	  </caption>
	</figure>
      </example>
    </section>

  </content>
</document>
