<?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:bib="http://bibtexml.sf.net/" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml/0.4" id="m10500">
  
  <name>Eigenfunciones de los Sistemas LTI</name>
  <metadata>
  <md:version>1.2</md:version>
  <md:created>2005/07/06 13:25:52 GMT-5</md:created>
  <md:revised>2005/07/12 17:31:32 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.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: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:authorlist>

  <md:maintainerlist>
    <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: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:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>eigenfunción</md:keyword>
    <md:keyword>eigenvalor</md:keyword>
    <md:keyword>eigenvector</md:keyword>
    <md:keyword>Lineal de tiempo invariante</md:keyword>
    <md:keyword>LTI</md:keyword>
  </md:keywordlist>

  <md:abstract>Una introducción a los eigenvalores y eigenfunciones para un Sistema Lineal Invariente en el Tiempo.</md:abstract>
</metadata>

  <content>
    <section id="intro">
      <name>Introducción</name>

      <para id="p1">
	Ahora que ya esta familiarizado con la noción de eigenvector de una “matriz de sistema”, si no lo esta de un pequeño repaso a las<cnxn document="m12872" strength="8">generalidades de eigenvectores y eigenvalores </cnxn>.  También podemos convertir las mismas ideas para sistemas LTI actuando en señales.  Un
	<cnxn document="m0005" strength="5">sistema lineal invariante en el tiempo (LTI) </cnxn>

	<!-- LTI link needs updating to better module -->
	
	<m:math>
	  <m:ci>ℋ</m:ci>
	</m:math>
	operando en una salida continua 
	<m:math>
	  <m:apply>
	    <m:ci type="fn">f</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>
	para producir una salida continua en el tiempo 	<m:math>
	  <m:apply>
	    <m:ci type="fn">y</m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math>

	<equation id="eq1">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn" class="discrete">ℋ</m:ci>
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">y</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

      </para>

      
      <figure id="f1">
	<media type="image/png" src="transfn.png"/>
	<caption>
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn" class="discrete">ℋ</m:ci>
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">y</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>.
	  <m:math>
	    <m:ci>f</m:ci>
	  </m:math>
	  y
	  <m:math>
	    <m:ci>t</m:ci>
	  </m:math>
	  son señales de tiempo continuo(CT) y 
	  <m:math>
	    <m:ci>ℋ</m:ci>
	  </m:math>
	  es un operador LTI.
	</caption>
      </figure>

      <para id="p1.2">
	La matemática es análoga a una matriz 	
	<m:math>
	  <m:ci type="matrix">A</m:ci>
	</m:math> de
<m:math><m:ci>N</m:ci></m:math>x<m:math><m:ci>N</m:ci></m:math>
	operando en un vector
	<m:math>
	  <m:apply>
	    <m:in/>
	    <m:ci type="vector">x</m:ci>
	    <m:ci>
	      <m:msup> 
		<m:ci>ℂ</m:ci>
		<m:mi>N</m:mi>
	      </m:msup>
	    </m:ci>
	  </m:apply>
	</m:math>
	para producir otro vector
	<m:math>
	  <m:apply>
	    <m:in/>
	    <m:ci type="vector">b</m:ci>
	    <m:ci>
	      <m:msup> 
		<m:ci>ℂ</m:ci> 
		<m:mi>N</m:mi>
	      </m:msup>
	    </m:ci>
	  </m:apply>
	</m:math>
	(véase matrices y sistemas LTI para una descripción).	
<!--<cnxn module="m????" strength="5">-->
<!--</cnxn>  link doesn't exist yet -->
	
	
	<equation id="e2">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:times/>
		<m:ci type="vector">A</m:ci>
		<m:ci type="vector">x</m:ci>
	      </m:apply>
	      <m:ci type="vector">b</m:ci>
	    </m:apply>
	  </m:math>
	</equation>
      </para>

      <figure id="f2">
	<media type="image/png" src="transfn2.png"/>
	<caption>
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:times/>
		<m:ci type="vector">A</m:ci>
		<m:ci type="vector">x</m:ci>
	      </m:apply>
	      <m:ci type="vector">b</m:ci>
	    </m:apply>
	  </m:math>
	  donde
	  <m:math>
	    <m:ci type="vector">x</m:ci>
	  </m:math>
	  y
	  <m:math>
	    <m:ci type="vector">b</m:ci>
	  </m:math>
	  estan en 
	  <m:math>
	    <m:ci>
	      <m:msup> 
		<m:ci>ℂ</m:ci> 
		<m:mi>N</m:mi>
	      </m:msup>
	    </m:ci>
	  </m:math>
	  y
	  <m:math>
	    <m:ci type="vector">A</m:ci>
	  </m:math>
	  es una matriz de
	  <m:math>
	    <m:ci>N</m:ci>
	  </m:math>
	  x
	  <m:math>
	    <m:ci>N</m:ci>
	  </m:math>
	  .
	</caption>
      </figure>
      
      <para id="p1.3">
	Solo como un <cnxn document="m12870" strength="5">eigenvector</cnxn>
	de
	<m:math>
		<m:ci type="vector">A</m:ci>
	</m:math>
	es 
	<m:math>
		<m:apply>
			<m:in/>
			<m:ci type="vector">v</m:ci>
			<m:ci>
				<m:msup>
					<m:ci>ℂ</m:ci>
					<m:mi>N</m:mi>
				</m:msup>
			</m:ci>
		</m:apply>
	</m:math>
	tal que 
	<m:math>
		<m:apply>
			<m:eq/>
			<m:apply>
				<m:times/>
				<m:ci type="vector">A</m:ci>
				<m:ci type="vector">v</m:ci>
			</m:apply>
			<m:apply>
				<m:times/>
				<m:ci type="vector">λ</m:ci>
				<m:ci type="vector">v</m:ci>
			</m:apply>
		</m:apply>
	</m:math>,
	<m:math>
		<m:apply>
			<m:in/>
			<m:ci type="vector">λ</m:ci>
			<m:complexes/>
		</m:apply>
	</m:math>,


      <figure id="f3">
		<media type="image/png" src="transfn3.png"/>
		<caption>
			<m:math>
				<m:apply>
					<m:eq/>
					<m:apply>
						<m:times/>
						<m:ci type="vector">A</m:ci>
						<m:ci type="vector">v</m:ci>
					</m:apply>
					<m:apply>
						<m:times/>
						<m:ci type="vector">λ</m:ci>
						<m:ci type="vector">v</m:ci>
					</m:apply>
				</m:apply>
			</m:math>
	  donde
	  <m:math>
				<m:apply>
					<m:in/>
					<m:ci type="vector">v</m:ci>
					<m:ci>
						<m:msup>
							<m:ci>ℂ</m:ci>
							<m:mi>N</m:mi>
						</m:msup>
					</m:ci>
				</m:apply>
			</m:math>
	  es un eigenvector de
	  <m:math>
				<m:ci type="vector">A</m:ci>
			</m:math>.
	</caption>
	</figure>

	podemos definir una <term>eigenfunción</term> (o
	<term>eigenseñal</term>) de un sistema LTI  
	<m:math>
		<m:ci>ℋ</m:ci>
	</m:math>
	para ser una señal
	<m:math>
		<m:apply>
			<m:ci type="fn">f</m:ci>
			<m:ci>t</m:ci>
		</m:apply>
	</m:math>
	tal que

	<equation id="e3">
		<m:math>
			<m:apply>
				<m:forall/>
				<m:bvar>
					<m:ci>λ</m:ci>
				</m:bvar>
				<m:condition>
					<m:apply>
						<m:in/>
						<m:ci>λ</m:ci>
						<m:complexes/>
					</m:apply>
				</m:condition>
				<m:apply>
					<m:eq/>
					<m:apply>
						<m:ci type="fn" class="discrete">ℋ</m:ci>
						<m:apply>
							<m:ci type="fn">f</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
					<m:apply>
						<m:times/>
						<m:ci>λ</m:ci>
						<m:apply>
							<m:ci type="fn">f</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
			</m:apply>
		</m:math>
	</equation>
</para>


      <figure id="f4">
	<media type="image/png" src="transfn4.png"/>
	<caption>
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn" class="discrete">ℋ</m:ci>
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:ci>λ</m:ci>
		<m:apply>
		  <m:ci type="fn">f</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  donde
	  <m:math>
	    <m:ci>f</m:ci>
	  </m:math>
	  es una eigenfunción de 
	  <m:math>
	    <m:ci>ℋ</m:ci>
	  </m:math>.
	</caption>
      </figure>

      <para id="p5">
	Las Eiegenfunciones son las señales mas <emphasis>simples</emphasis> possibles 
	para
	<m:math>
		<m:ci>ℋ</m:ci>
	</m:math>
	π para operar en ellas: para calcular la salida, simplemente multiplicamos la entrada por un número complejo 
	<m:math>
		<m:ci>λ</m:ci>
	</m:math>.
      </para>
    </section>

    <section id="sec2">
      <name>Eigenfunciones para cualquier sistema LTI</name>
      <para id="p2">
	La clase de sistemas LTI tiene un conjunto de eigenfunciones en común:
	el
	<cnxn document="m12825" strength="5"> exponencial complejo</cnxn>
	<m:math>
		<m:apply>
			<m:exp/>
			<m:apply>
				<m:times/>
				<m:ci>s</m:ci>
				<m:ci>t</m:ci>
			</m:apply>
		</m:apply>
	</m:math>,
	<m:math>
		<m:apply>
			<m:in/>
			<m:ci>s</m:ci>
			<m:complexes/>
		</m:apply>
	</m:math>
	son eigenfunciones para <emphasis>todo</emphasis> sistema LTI.

	<equation id="e4">
		<m:math>
			<m:apply>
				<m:eq/>
				<m:apply>
					<m:ci type="fn" class="discrete">ℋ</m:ci>
					<m:apply>
						<m:exp/>
						<m:apply>
							<m:times/>
							<m:ci>s</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
				<m:apply>
					<m:times/>
					<m:ci>
						<m:msub>
							<m:mi>λ</m:mi>
							<m:mi>s</m:mi>
						</m:msub>
					</m:ci>
					<m:apply>
						<m:exp/>
						<m:apply>
							<m:times/>
							<m:ci>s</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
			</m:apply>
		</m:math>
	</equation>
</para>


      <figure id="f5">
	<media type="image/png" src="transfn5.png"/>
	<caption>
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci type="fn" class="discrete">ℋ</m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:ci>s</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:ci>
		  <m:msub>
		    <m:mi>λ</m:mi>
		    <m:mi>s</m:mi>
		  </m:msub>
		</m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:ci>s</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  donde
	  <m:math>
	    <m:ci>ℋ</m:ci>
	  </m:math> es un sistema LTI.
	</caption>
      </figure>

      <para id="p2.2">
	<note>
	  Mientras que 
	  <m:math>
	    <m:set>
	      <m:apply>
		<m:forall/>
		<m:bvar>
		  <m:ci>s</m:ci>
		</m:bvar>
		<m:condition>
		  <m:apply>
		    <m:in/>
		    <m:ci>s</m:ci>
		    <m:complexes/>
		  </m:apply>
		</m:condition>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:ci>s</m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:set>
	  </m:math>
	  siempre son eigenfunciones para todo sistema LTI, estas no son necesariamente las <emphasis>únicas</emphasis> eigenfunciones.
	</note>
      </para>

      <para id="p3">
	Podemos probar la 
	<cnxn target="e4" strength="9"/>
	expresando la salida como una 
	<cnxn document="m12828" strength="5">convolución</cnxn>
	<!-- should link to module on Convolution for LTI systems -->
	
	de la entrada 
	<m:math>
		<m:apply>
			<m:exp/>
			<m:apply>
				<m:times/>
				<m:ci>s</m:ci>
				<m:ci>t</m:ci>
			</m:apply>
		</m:apply>
	</m:math> 
	y de la 
	<cnxn document="m12824" strength="5">respuesta al impulso</cnxn>
	<m:math>
		<m:apply>
			<m:ci type="fn">h</m:ci>
			<m:ci>t</m:ci>
		</m:apply>
	</m:math>
	de
	<m:math>
		<m:ci>ℋ</m:ci>
	</m:math>:

	<equation id="e6">
		<m:math>
			<m:apply>
				<m:eq/>
				<m:apply>
					<m:ci type="fn" class="discrete">ℋ</m:ci>
					<m:apply>
						<m:exp/>
						<m:apply>
							<m:times/>
							<m:ci>s</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</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:ci type="fn">h</m:ci>
							<m:ci>τ</m:ci>
						</m:apply>
						<m:apply>
							<m:exp/>
							<m:apply>
								<m:times/>
								<m:ci>s</m:ci>
								<m:apply>
									<m:minus/>
									<m:ci>t</m:ci>
									<m:ci>τ</m:ci>
								</m:apply>
							</m:apply>
						</m:apply>
					</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:ci type="fn">h</m:ci>
							<m:ci>τ</m:ci>
						</m:apply>
						<m:apply>
							<m:exp/>
							<m:apply>
								<m:times/>
								<m:ci>s</m:ci>
								<m:ci>t</m:ci>
							</m:apply>
						</m:apply>
						<m:apply>
							<m:exp/>
							<m:apply>
								<m:minus/>
								<m:apply>
									<m:times/>
									<m:ci>s</m:ci>
									<m:ci>τ</m:ci>
								</m:apply>
							</m:apply>
						</m:apply>
					</m:apply>
				</m:apply>
				<m:apply>
					<m:times/>
					<m:apply>
						<m:exp/>
						<m:apply>
							<m:times/>
							<m:ci>s</m:ci>
							<m:ci>t</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:ci type="fn">h</m:ci>
								<m:ci>τ</m:ci>
							</m:apply>
							<m:apply>
								<m:exp/>
								<m:apply>
									<m:minus/>
									<m:apply>
										<m:times/>
										<m:ci>s</m:ci>
										<m:ci>τ</m:ci>
									</m:apply>
								</m:apply>
							</m:apply>
						</m:apply>
					</m:apply>
				</m:apply>
			</m:apply>
		</m:math>
	</equation>

	Ya que la expresión de la derecha no depende de 
	<m:math>
		<m:ci>t</m:ci>
	</m:math>,
	es una constante
	<m:math>
		<m:apply>
			<m:ci>
				<m:msub>
					<m:mi>λ</m:mi>
					<m:mi>s</m:mi>
				</m:msub>
			</m:ci>
		</m:apply>
	</m:math>; Por lo tanto
	<equation id="e7">
		<m:math>
			<m:apply>
				<m:eq/>
				<m:apply>
					<m:ci type="fn" class="discrete">ℋ</m:ci>
					<m:apply>
						<m:exp/>
						<m:apply>
							<m:times/>
							<m:ci>s</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
				<m:apply>
					<m:times/>
					<m:ci>
						<m:msub>
							<m:mi>λ</m:mi>
							<m:mi>s</m:mi>
						</m:msub>
					</m:ci>
					<m:apply>
						<m:exp/>
						<m:apply>
							<m:times/>
							<m:ci>s</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
			</m:apply>
		</m:math>
	</equation>

	El eigenvalor
	<m:math>
		<m:apply>
			<m:ci>
				<m:msub>
					<m:mi>λ</m:mi>
					<m:mi>s</m:mi>
				</m:msub>
			</m:ci>
		</m:apply>
	</m:math>
	es un número complejo que depende del exponente 
	<m:math>
		<m:ci>s</m:ci>
	</m:math>
	y por supuesto, el sistema 
	<m:math>
		<m:ci>ℋ</m:ci>
	</m:math>.
	Para hacer esta dependencia explicita, vamos a usar la notación 
	<m:math>
		<m:apply>
			<m:equivalent/>
			<m:apply>
				<m:ci type="fn">H</m:ci>
				<m:ci>s</m:ci>
			</m:apply>
			<m:apply>
				<m:ci>
					<m:msub>
						<m:mi>λ</m:mi>
						<m:mi>s</m:mi>
					</m:msub>
				</m:ci>
			</m:apply>
		</m:apply>
	</m:math>.
      </para>
      
      <figure id="f6">
	<media type="image/png" src="transfn6.png"/>
	<caption>
	  <m:math>
	    <m:apply>
	      <m:exp/>
	      <m:apply>
		<m:times/>
		<m:ci>s</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>
	  es la eigenfunción y  
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">H</m:ci>
	      <m:ci>s</m:ci>
	    </m:apply>
	  </m:math>
	  son eigenvalores.
	</caption>
      </figure>


      <para id="p4">
	Ya que la acción del operador LTI en esta eigenfunción  
	<m:math>
		<m:apply>
			<m:exp/>
			<m:apply>
				<m:times/>
				<m:ci>s</m:ci>
				<m:ci>t</m:ci>
			</m:apply>
		</m:apply>
	</m:math>
	es fácil de calcular y de interpretar, es conveniente representar una señal arbitraria
	<m:math>
		<m:apply>
			<m:ci type="fn">f</m:ci>
			<m:ci>t</m:ci>
		</m:apply>
	</m:math>
	como una combinación lineal de exponentes complejos.  Las     
	<cnxn document="m12893" strength="5">Series de Fourier</cnxn> 
	nos dan la representación para una señal periódica continua en el tiempo, mientras que (poco más complicada)
	<cnxn document="m0046" strength="5"> transformada de Fourier</cnxn> 
	nos deja expandir señales arbitrarias de tiempo continuo.
      </para>

    </section>

  </content>  
</document>
