2017

Sistemas definidos por

ecuaciones en
diferencia
SEALES Y CIRCUITOS
JUAN CARLOS PINTO CAICEDO
Introduccin
En ocasiones, al construir un modelo matemtico interesa elegir una variable que tome
valores discretos. As ocurre, por ejemplo, con el tiempo, ya que es comn realizar
mediciones regulares a la hora de controlar un experimento. Estos datos constituyen un
conjunto finito, o infinito numerable, de valores de la variable independiente. Para este
tipo de modelos determinsticos discretos, las herramientas matemticas ms
adecuadas para analizarlos son las ecuaciones en diferencias y los sistemas en
diferencias. El presente tema es una breve introduccin a su estudio. Comenzaremos
con los conceptos y denticiones bsicas y nos centraremos en el estudio de las
ecuaciones en diferencias lineales de primer y segundo orden con coeficientes
constantes, as como en los sistemas de ecuaciones diferenciales de primer orden con
coeficientes constantes.
Ecuaciones en diferencia.
Se define como ecuacin en diferencia a una expresin de la forma
(+ , +1 , +2 , , +1 , , ) = 0

Una solucin a dicha expresin, es toda sucesin que cumpla. El conjunto de todas las
soluciones recibe el nombre de solucin general. Esta solucin general presenta cierto
nmero de parmetros, que pueden determinarse a partir de las condiciones iniciales,
dando lugar a las diferentes soluciones particulares.

Orden
El orden de define como la diferencia entre el mayor y el menor nmero de los ndices
que afectan a la .
La expresin 2+3 + 3 = + 1, es una ecuacin en diferencias de orden + 3 =
3, o de tercer orden.

1. Ecuaciones en diferencia de primer orden

Una ecuacin en diferencias lineal de primer orden es aquella que puede expresarse
como
1 ()+1 + 2 () = () (1.1)
donde (), = 1, 2 y () son funciones en la variable disc`reta . Si la sucesin
() es nula, entonces la ecuacin lineal recibe el nombre de ecuacin homognea
asociada a (1.1). Cuando las funciones 1 () y 2 () son constantes, se dice que la
ecuacin lineal (1.1) es de coeficientes constantes.
Este tipo de ecuaciones se usan comnmente en estudios de poblacin y suelen
aparecer escritas como
+1 = () + ()
donde () representa el crecimiento de la poblacin en el tiempo y () el
nmero de individuos que en el tiempo se incorporan a la poblacin como
consecuencia de la inmigracin.
EJEMPLO 1
Supongamos que una determinada poblacin de insectos con 100 individuos, duplica
su nmero en cada generacin, y que, adems, 10 nuevos individuos se incorporan en
cada generacin procedente de otro lugar. Vamos a construir una ecuacin en
diferencias que modele a esta situacin y posteriormente la resolveremos.
Del enunciado se deduce,
= 21 + 10 0 = (0) = 100
lo que nos permite escribir,

= 2 100 + 21 10 + 22 10 + + 2 10 + 10
= 2 100 + 21 + 22 + + 21 + 20 10
= 2 100 + (21 ) 10
donde en el ltimo de los pasos hemos utilizado la frmula que nos da la suma de t
trminos de una progresin geomtrica de razn 2. La solucin es, por tanto

= 2 100 + (201 )
2. Ecuaciones en diferencia de segundo orden
Una ecuacin en diferencias lineal de segundo orden es aquella que puede expresarse
como

p1(t)yt+2 + p2(t)yt+1 + p3(t)yt = q(t), (2.1)

donde pi(t), i = 1, 2, 3 y q(t) son funciones en la variable discreta t.

Si la funcin q(t) = 0, entonces (2.1) es su ecuacin lineal en diferencias homognea de

segundo orden asociada. Adems, si todas las funciones pi(t) son constantes, entonces
(2.1) es una ecuacin en diferencias lineal de segundo orden con coeficientes
constantes, y ser en la que nos centraremos.
Veamos en primer lugar un teorema de existencia y unicidad de solucin para una
ecuacin en diferencias lineal homognea de orden n.
2.1 Dada la siguiente ecuacin lineal en diferencias homognea de orden n
yt+n + p1(t)yt+n1 + + pn(t)yt = 0,
y dados n nmeros reales k0, k1, , kn1, existe una nica solucin, cumpliendo

y0 = y(0) = k0, y1 = k1, yn1 = kn1 .

Demostracin. Comenzamos definiendo la siguiente sucesin:

y0 = y(0) = k0, y1 = k1, yn1 = kn1 ,

y para los valores de t mayores que n 1, procedemos de la siguiente manera

yn = p1(0)yn1 pn(0)y0 = p1(0)kn1 pn(0)k0 , yn+1 = p1(1)yn pn(1)k1 .

De esta manera, yt queda definida por la ley de recurrencia anterior. Puede
comprobarse que yt es solucin de la ecuacin pedida y cumple las condiciones
iniciales. Adems, es la nica solucin, ya que si wt es otra solucin que cumple

w0 = k0, w1 = k1, wn1 = kn1,

la ley de recurrencia que hemos encontrado anteriormente, determina el resto de los

valores de wt.
Consideremos la ecuacin en diferencias lineal homognea de segundo orden con
coeficientes constantes
ayt+2 + byt+1 + cyt = 0, (2.2)
cualquier combinacin lineal de soluciones de (2.2) sigue siendo otra solucin.
Si yt1, yt2 son dos soluciones de (2.2), entonces k1yt1+k2yt2, con k1 y k2 constantes, sigue
siendo solucin de (2.2).

Demostracin. Es inmediata, basta llevar k1yt1 + k2yt2 en (2.2).

Del mismo modo, tambin es evidente la demostracin del siguiente resultado.

2.2 Si es una solucin de

ayt+2 + byt+1 + cyt = q(t), (2.3)

e yth es solucin de la ecuacin homognea asociada, entonces yt = yth+ytc es solucin

de la ecuacin completa (2.3).

A continuacin, veremos las condiciones bajo las cuales las combinaciones lineales de
dos soluciones particulares de la ecuacin homognea dan lugar a su solucin general.

2.3 Si yt1, yt2 son dos soluciones de (2.2), entonces

y = k1yt1 + k2yt2,

con k1 y k2 constantes, es la solucin general de (2.2) si

.
Demostracin. Consideremos el sistema de ecuaciones lineales siguiente
1y01 + 2y02 = 1 1y11 +
2y12 = 2,

cualesquiera que sean los valores de 1 y 2, por hiptesis del teorema 2.3, el sistema
es compatible determinado. Pero por el Teorema 2.1 existe una nica solucin de la
ecuacin homognea que puede ser escrita como yt = k1yt1 +k2yt2, pues basta tomar 1
= y0 y 2 = y1, y calcular 1 y 2. Para finalizar asignamos los siguientes valores, k1 = 1 y
k2 = 2.
A dos soluciones yt1 y yt2 cumpliendo las hiptesis del Teorema 9.3.2 le daremos el
nombre de sistema fundamental de soluciones. Siguiendo un razonamiento
similar al realizado en el Teorema 9.3.2, podemos demostrar el siguiente resultado.
2.4 Si es una solucin particular de

ayt+2 + byt+1 + cyt = q(t), (2.4)

e yt1, yt2 forman un sistema fundamental de soluciones, entonces

es la solucin general de (2.4).

3. ECUACION DIFERENCIA PARA UN SISTEMA DE TIEMPO

DISCRETO

Los dispositivos discretos con los cuales se habr de trabajar satisfacen la relacin I/O
siguiente en forma de ecuacin diferencia:

N M
ak. x( ( n k ) . T) br. y( ( n r ) . T) (3-1)
k=0 r=0

siendo T la tasa de muestreo.

Se puede mostrar que la forma de convolucin se puede generar a partir de esta
expresin considerando el caso para br = 0, r > 1. Esto produce:

N
b0. y( n. T) ak. x( ( n k ) . T) (3-2)
k=0

Si ak/b0 = h(k.T), se tiene

N
y( n. T) h( k. T) . x( ( n k ) . T) (3-3)
k=0
la cual es la relacin de convolucin en tiempo discreto. Se supondr que todos los
sistemas de tiempo discreto a estudiar satisfacen la ecuacin (3-1).
Si se expande la ecuacin (3-1) y se examinan unos pocos trminos, se pueden obtener
algunos resultados generales:

a0. x( n. T) a1. x( ( n 1 ) . T) a2. x( ( n 2 ) . T) .. aN. x( ( n N ) . T)

b0. y( n. T) b1. y( ( n 1 ) . T) b2. y( ( n 2 ) . T) .. bM. y( ( n M) . T) (3-4)

Despejando y(n.T):

(3-4)

Esto muestra que la salida del sistema general de tiempo discreto, y(n.T), para cualquier
valor n.T, est determinado por las N entradas presente y previas [ x(n.T), x((n-1).T), etc.
] y las M salidas pasadas [ y((n-1).T), y((n-2).T), etc ].
Adems, para un sistema causal, si x(n.T) = 0, para n < k, entonces y(n.T) es tambin cero
para n < R donde R es un entero arbitrario.

4. CARACTERISTICAS DEL SISTEMA

Para tener alguna idea de los sistemas que son representados por la ecuacin (3-5),
considrese una como la siguiente:

a0 a1
y( n. T) . x( n. T) . x( ( n 1 ) . T) (4-1)
b0 b0

A partir de las definiciones previas, la ecuacin (4-1) representa un sistema no recursivo

con N=1. Se ve que la salida se obtiene por la presente [ x(n.T) ] y la ms reciente de las
entradas [ x((n-1).T) ] sin trminos de salidas pasadas. Si se desea realizar esta ecuacin
con hardware, debe incluirse:

(a) dos multiplicadores (por ejemplo, amplificadores o atenuadores),

(b) un circuito sumador, y
(c) un dispositivo que pueda almacenar la entrada previa por un intervalo de
muestreo de modo que pueda ser sumada a la presente.
Los dos primeros dispositivos pueden ser fcilmente fabricados a partir de dispositivos
analgicos o digitales; sin embargo, ya que se ha de trabajar con seales en formato
digital, la propuesta es usar dispositivos de este tipo para el procesamiento.
El tercer tem en el circuito debe proveer almacenamiento por un intervalo de muestreo
[ desde (n.T-T) a n.T ]. Esto puede ser llevado a cabo ms fcilmente por una memoria o
un registro de desplazamiento. La Figura 4.1 muestra el diagrama en bloques de un
circuito que puede ser usado para realizar la ecuacin (4-1).

(4.1) (4.1)

4) 4)

La seal de entrada, para un instante de muestreo dado, se aplica a la entrada del

sistema donde es multiplicada por a0/b0 y a la misma vez almacenada en un delay hasta
el prximo instante de muestreo. La salida de la unidad delay para cualquier instante de
muestreo es siempre la entrada del instante de muestreo previo.
Para ver cmo opera el circuito, considrese {x(n.T)} como la secuencia mostrada en la
Figura 4.2.

(4.2)

4) como a /b =1 y a /b =0.5.
Los parmetros del circuito son elegidos 0 0 0 1
Para n.T=0, se aplica al sistema x(0)=0.5. Como x((n-1).T) = x((n.T-T) = x(-T) = 0, un valor
0 fue almacenado en la unidad delay en el instante de muestreo previo (n.T = - T). La
salida es entonces:

y( n. T) 1. x( n. T) 0.5. x( ( n 1 ). T)
Para n.T = 0, esta se transforma en:

y( 0 ) 1. x( 0 ) 0.5. x( T) 1. 0.5 0.5. 0 0.5

Al mismo tiempo que x(0) = 0.5 esta siendo multiplicada y alimentada al sumador de
salida, est siendo almacenada en la unidad delay para ser usada en el prximo instante
de muestreo.
Para n.T = T, x(T) = 1, x((n-1).T) = x((n.T-T) = x(0) = 0.5, la cual ha sido almacenada
en el instante previo. La salida es entonces:

y( T) 1. x( T) 0.5. x( 0 ) 1. 1 0.5. 0.5 1.25

Como antes, el valor de x(T) es almacenado para usarlo en n.T = 2.T.

Para n.T = 2.T, x((n-1).T) = x((n.T-T) = x(T) = 1. La salida es entonces:

y( 2. T) 1. x( 2. T) 0.5. x( T) 1. 0.75 0.5. 1.25 1.25

Para n.T = 3.T

y( 3. T) 1. x( 3. T) 0.5. x( 2. T) 1. 0 0.5. 0.75 0.375

Para n.T = 4.T

y( 4. T) 1. x( 4. T) 0.5. x( 3. T) 1. 0 0.5. 0 0

De ah en adelante todos los dems valores son nulos

El grfico correspondiente a la funcin de salida se aprecia en la Figura 4.3.

(4.3)

4)
Cada trmino en la ecuacin requiere una seccin multiplicadora y una delay: la salida
de un delay, x(n.T - r.T) fue almacenada en el tiempo de muestreo previo. Las unidades
delay estn conectadas de tal modo que cada una tenga su salida disponible, de manera
que pueda ser usada como la entrada al sumador o a otra seccin delay.
Para demostrar esto, se representar un sistema no recursivo con N=2 en forma de
diagrama de bloque. La ecuacin para este sistema est dada por:

a0 a1 a2
y( n. T) . x( n. T) . x( ( n 1 ) . T) . x( ( n 2 ) . T) (36-2)
b0 b0 b0

Esto se realiza con el circuito mostrado en la Figura 4.5.

(4.4) (4.2)

4) 4)

La salida presente de cada unidad delay es la entrada del instante de muestreo previo.
Si el sistema incluye una o ms salidas pasadas es recursivo.
Un simple sistema recursivo es uno con N=M=1.

a0 a1 b1
y( n. T) . x( n. T) . x( ( n 1 ) . T) . y( ( n 1 ) . T) (4-3)
b0 b0 b0

La realizacin circuital usa los mismos dispositivos que para los sistemas no recursivos.
El circuito que produce la ecuacin (4-3) est dado en la Figura 4.5.
 (4.5) (4.3)

4) 4)

La salida del sistema en n.T depende ahora de la salida del sistema en n.T-T[ y((n-1).T) ]
as tambin como de la presente [y(n. T)] y de la entrada ms reciente pasada [x((n-1).T)
] (en este caso la salida pasada debe tambin ser almacenada).
Bibliografa
www.sc.ehu.es/acwarila/PDI/Tema%204/sistemasLTI.pdf
publicaciones.ua.es/filespubli/pdf/64795259788497173728_fragment.pd
www.dma.uvigo.es/~aurea/Tema8.pdf
http://www.konradlorenz.edu.co/images/stories/suma_digital_matematicas/g
ennyecuacionesl4.312.pdf
http://www.eco.uc3m.es/~rimartin/teaching/amath/notes2sp.pdf