3.1.

Demostracin de propiedades en sistemas no recursivos 3

3.1. Demostracin de las propiedades de linealidad, causalidad,
estabilidad, invariacin temporal para sistemas no recursivos
La demostracin de las propiedades de sistemas no recursivos es realtivamente sencilla.
En este ejemplo se estudia un sistema variante en el tiempo.
EJEMPLO 3.1. Demostracin de propiedades de un sistema no recursivo
Se desea conocer si el sistema caracterizado por la ecuacin a diferencias no recursiva
y[n] = x[n] + cos(2n/10)x[n 1].
es lineal, invariante en el tiempo, causal y estable.
1. Linealidad: Si y
1
[n], y
2
[n] son las salidas del sistema ante entradas x
1
[n], x
2
[n], es decir
y
1
[n] = x
1
[n] + cos(2n/10)x
1
[n 1],
y
2
[n] = x
2
[n] + cos(2n/10)x
2
[n 1],
la salida del sistema ante una entrada x
3
[n] = ax
1
[n] + bx
2
[n] (una combinacin lineal de
x
1
[n] y x
2
[n]) es
y
3
[n] = x
3
[n] + cos(2n/10)x
3
[n 1]
= (ax
1
[n] + bx
2
[n]) + cos(2n/10) (ax
1
[n 1] + bx
2
[n 1])
= ax
1
[n] + a cos(2n/10)x
1
[n 1] + bx
2
[n] + b cos(2n/10)x
2
[n 1]
= a (x
1
[n] + cos(2n/10)x
1
[n 1]) + b (x
2
[n] + cos(2n/10)x
2
[n 1])
= ay
1
[n] + by
2
[n],
por lo tanto el sistema es lineal.
2. Invariacin temporal: Si y[n] es la salida del sistema ante una entrada x[n], la salida y
1
[n]
ante una entrada x
1
[n] = x[n n
0
] es
y
1
[n] = x
1
[n] + cos(2n/10)x
1
[n 1]
= x[n n
0
] + cos(2n/10)x[n n
0
1], (3.1)
mientras que la salida y[n] demorada n
0
muestras es
y[n n
0
] = x[n n
0
] + cos[2(n n
0
)/10]x[n n
0
1]
= x[n n
0
] + cos[2n/10 2n
0
/10)]x[n n
0
1]. (3.2)
Es evidente que (3.1) es distinta de (3.2) (salvo en el caso particular que n
0
sea mltiplo de
10); esto es, en el caso general, y[n n
0
] ,= y
1
[n]. Por lo tanto el sistema no es invariante
en el tiempo. (Se poda sospechar este resultado porque uno de los coecientes del sistema
es funcin del nmero de muestra n.)
3. Causalidad: El sistema es causal porque slo depende de entradas pasadas. Esto es, dos
entradas x
1
[n] y x
2
[n], que son iguales hasta un ndice n
0
, producirn salidas y
1
[n], y
2
[n] que
son idnticas al menos hasta n
0.
4. Estabilidad entrada/salida: Para probar que el sistema es estable entrada/salida, se supone
que la entrada x[n] est acotada para todo n; por ejemplo, [x[n][ _ B
x
. Entonces se puede
encontrar una cota para y[n]:
[y[n][ _ [x[n][ +[ cos(2n/10)x[n 1][
_ [x[n][ +[ cos(2n/10)[ [x[n 1][
_ B
x
+ 1 B
x
= 2B
x
= B
y
Esto es, la cota para la salida [y[n][ es B
y
= 2B
x
. Como una entrada acotada arbitraria
provoca una salida acotada, es sistema es estable entrada/salida.
Procesamiento Digital de Seales U.N.S. 2013
4 3. Seales y sistemas discretos
3.2. Demostracin de las propiedades de linealidad, causalidad,
estabilidad, invariacin temporal para sistemas recursivos
En los ejemplos del libro las distintas propiedades de los sistemas se estudiaron para
sistemas no recursivos. Sin embargo, si el sistema bajo estudio fuese recursivo, es necesario
encontrar una forma cerrada que exprese la salida actual slo en funcin de la entrada y
de las condiciones iniciales, y que no dependa de valores pasados de la salida, como se
muestra a continuacin.
EJEMPLO 3.2. Forma incorrecta de demostrar propiedades en sistemas recursivos
Parra probar la propiedad de linealidad del sistema recursivo caracterizado por la ecuacin a difer-
encias
y[n] = x[n] + ay[n 1], y[1] = 0.
donde slo interesa la salida para n _ 0, se supone que y
1
[n], y
2
[n] son las salidas del sistema ante
entradas x
1
[n], x
2
[n]. Es evidente que
y
1
[n] = x
1
[n] + ay
1
[n 1], y
2
[n] = x
2
[n] + ay
2
[n 1].
Para probar que el sistema es lineal debe demostrarse que si y
3
[n] es la salida del sistema ante la
entrada x
3
[n] = x
1
[n] + x
2
[n], resulta que y
3
[n] = y
1
[n] + y
2
[n]. A partir de la ecuacin a
diferencias y de la denicin de x
3
[n] puede encontrarse que
y
3
[n] = x
3
[n] + ay
3
[n 1]
= x
1
[n] + x
2
[n] + ay
3
[n 1].
El problema es que no se sabe cunto vale y
3
[n 1]! Para probar la propiedad, se debe poder escribir
y
3
[n] como funcin slo de y
1
[n] e y
2
[n]. Una posibilidad sera escribir x
1
[n] y x
2
[n] en funcin de
y
1
[n], y
1
[n 1] y de y
2
[n], y
2
[n 1], ya que
x
1
[n] = y
1
[n] ay
1
[n 1] x
2
[n] = y
2
[n] ay
2
[n 1]
de modo que
y
3
[n] = x
1
[n] + x
2
[n] + ay
3
[n 1]
= (y
1
[n] ay
1
[n 1]) + (y
2
[n] ay
2
[n 1]) + ay
3
[n 1]
= y
1
[n] + y
2
[n] + k + a (y
1
[n 1] y
2
[n 1] + y
3
[n 1]) .
Note que esta expresin no asegura que y
3
[n] = y
1
[n] + y
2
[n], porque queda un trmino rema-
nente dado por
a (y
1
[n 1] y
2
[n 1] + y
3
[n 1]) .
Si efectivamente y
3
[n] = y
1
[n] + y
2
[n], el trmino entre parntesis se anula, pero justamente
esto es lo que se debe probar. En realidad, lo que prueba es que
y
3
[n] ay
3
[n 1] = (y
1
[n] + ay
1
[n 1]) + (y
2
[n] ay
2
[n 1]) .
Procesamiento Digital de Seales U.N.S. 2013
3.2. Demostracin de propiedades en sistemas recursivos 5
Fig. 3.1. Sistema recursivo.
EJEMPLO 3.3. Demostracin de propiedades en sistemas recursivos
Dado el sistema recursivo caracterizado por la ecuacin a diferencias
y[n] = x[n] + ay[n 1], y[1] = c,
donde x[n] = 0 para n < 0, y cuyo diagrama bloque se representa en la Fig. 3.1, se desea conocer
si el sistema es (i ) lineal; (ii ) invariante en el tiempo; (iii ) causal; (iv) entrada-salida estable.
Para demostrar las propiedades es necesario encontrar una forma cerrada que exprese la salida actual
slo en funcin de la entrada y de las condiciones iniciales, y que no dependa de valores pasados de
la salida. Trabajando por recursin, para n _ 0 se tiene
y[0] = x[0] + ay[1] = x[0] + ac,
y[1] = x[1] + ay[0] = x[1] + a(x[0] + ac) = x[1] + ax[0] + a
2
c,
y[2] = x[2] + ay[1] = x[2] + a(x[1] + ax[0] + a
2
c) = x[2] + ax[1] + a
2
x[0] + a
3
c. (3.3)
Para n < 0 es conveniente reescribir la ecuacin de recursin como
y[n 1] = a
1
x[n] + a
1
y[n], y[1] = c,
de donde resulta que
y[1] = c (por hiptesis)
y[2] = a
1
x[1] + a
1
y[1] = 0 + a
1
c = ca
1
y[3] = a
1
x[2] + a
1
y[2] = 0 + a
1
(ca
1
) = ca
2
. (3.4)
De las expresiones de (3.3) y (3.4) es sencillo encontrar la forma general
y[n] = a
n+1
c +
n

`=0
a
n`
x[`], (3.5)
donde se entiende que la sumatoria no se ejecuta para valores de n < 0. Recin a partir de esta
expresin se pueden probar las propiedades.
1. Linealidad: Para probar que es lineal, si y
1
[n] es la salida ante una entrada x
1
[n], que se
puede notar como y
1
[n] = ox
1
[n], e y
2
[n] la salida ante una entrada x
2
[n], notado y
2
[n] =
ox
2
[n], la salida ante una entrada x
3
[n] = x
1
[n] + x
2
[n] debe ser y
1
[n] + y
2
[n]. Vale
decir, la salida y
1
[n] ante la entrada x
1
[n] es
y
1
[n] = ox
1
[n] = a
n+1
c +
n

`=0
a
n`
x
1
[`], n _ 0,
y la salida y
2
[n] ante la entrada x
2
[n] es
y
2
[n] = ox
2
[n] = a
n+1
c +
n

`=0
a
n`
x
2
[`], n _ 0.
Procesamiento Digital de Seales U.N.S. 2013
6 3. Seales y sistemas discretos
La salida ante una entrada x
3
[n] = x
1
[n] + x
2
[n] es
y
3
[n] = ox
1
[n] + x
2
[n] = a
n+1
c +
n

`=0
a
n`
(x
1
[`] + x
2
[`]), n _ 0
= a
n+1
c +
n

`=0
a
n`
x
1
[`] +
n

`=0
a
n`
x
2
[`] (3.6)
Si el sistema es lineal, la salida recientemente calculada debe ser igual a y
4
[n] = y
1
[n] +
y
2
[n]. Operando se encuentra que
y
1
[n] + y
2
[n] =

a
n+1
c +
n

`=0
a
n`
x
1
[`]
!
+

a
n+1
c +
n

`=0
a
n`
x
2
[`]
!
= ( + )
n+1
c +
n

`=0
a
n`
x
1
[`] +
n

`=0
a
n`
x
2
[`] (3.7)
Es evidente que (3.6) ,= (3.7), ya que en la primera ecuacin aparece un trmino a
n+1
c (que
no depende de la entrada) mientras que en la segunda aparece el trmino ( + )
n+1
c, que
tampoco depende de la entrada. En otras palabras,
ox
1
[n] + x
2
[n] ,= y
1
[n] + y
2
[n]
de modo que el sistema no es lineal.
Comentario: El que pueda haber una salida distinta de cero ante una entrada nula es indicativo
que el sistema no es lineal, ya que si fuese lineal, la salida se puede expresar en la forma de
suma convolucin (an cuando fuese variante en el tiempo),
y[n] =

`
x[`]h[n `],
de modo que si x[n] = 0 = y[n] = 0. La expresin de la salida (3.5) indica que an cuando
x[n] = 0, resulta y[n] = a
n+1
c = a
n+1
y[1] que es distinto de cero salvo si y[1] = c = 0.
2. Invariacin temporal: Para que el sistema sea invariante en el tiempo, si y
1
[n] es la salida
del sistema ante una entrada x
1
[n] (y
1
[n] = ox
1
[n], la respuesta ante una entrada x
2
[n] =
x
1
[n n
0
] debe ser y
2
[n] = ox
2
[n] = ox
1
[n n
0
] = y
1
[n n
0
]. Entonces, la salida
y
1
[n] ante una entrada x
1
[n] es:
y
1
[n] = ox
1
[n] = a
n+1
c +
n

`=0
a
n`
x
1
[`], n _ 0. (3.8)
La salida y
2
[n] ante una entrada x
2
[n] = x
1
[n n
0
] es
y
2
[n] = ox
2
[n] = ox
1
[n n
0
] = a
n+1
c +
n

`=0
a
n`
x
1
[` n
0
], n _ 0.
Haciendo un cambio de variables (m = ` n
0
) se encuentra que
y
2
[n] = a
n+1
c +
nn
0

m=n
o
a
nmn
0
x
1
[m] = a
n+1
c + a
nn
0
nn
0

m=n
o
a
m
x
1
[m]
= a
n+1
c + a
nn
0
nn
0

m=0
a
m
x
1
[m], (3.9)
Procesamiento Digital de Seales U.N.S. 2013
3.2. Demostracin de propiedades en sistemas recursivos 7
donde el ltimo cambio de ndice inferior en la sumatoria se debe a que x
1
[n] = 0 para n < 0.
Por otra parte, la salida y
1
[n n
0
] es, de acuerdo a la ecuacin (3.8), (hay que cambiar
n n n
0
cada vez que aparezca)
y
1
[n n
0
] = a
(nn
0
)+1
c +
(nn
0
)

`=0
a
(nn
0
)`
x
1
[`], n _ 0
= a
(nn
0
)+1
c + a
nn
0
nn
0

`=0
a
`
x
1
[`]. (3.10)
Comparando (3.9) con (3.10) se observa que los trminos vinculados a la sumatoria, que
dependen de la entrada x
1
[n], son iguales, mientras que el trmino que no depende de la
entrada en a
n+1
c en (3.9), y a
(nn
0
)+1
c en (3.10) . Por lo tanto,
y
1
[n n
0
] ,= ox
1
[n n
0
],
y en consecuencia el sistema no es invariante en el tiempo.
3. Causalidad: Un sistema es causal si para cualquier eleccin de n
0
, el valor de la sucesin
de salida en el instante n = n
0
depende slo de los valores de la sucesin de entrada hasta
n = n
0
. Esto implica que si x
1
[n] = x
2
[n] para n _ n
0
, entonces y
1
[n] = y
2
[n] para n _ n
0
.
La salida y
1
[n] ante la entrada x
1
[n] es
y
1
[n] = ox
1
[n] = a
n+1
c +
n

`=0
a
n`
x
1
[`], n _ 0,
y la salida y
2
[n] ante la entrada x
2
[n] es
y
2
[n] = ox
2
[n] = a
n+1
c +
n

`=0
a
n`
x
2
[`], n _ 0.
Es evidente que si x
1
[n] = x
2
[n] para todo n _ n
0
, tambin y
1
[n] = y
2
[n] para n _ n
0
. En
consecuencia el sistema es causal.
4. Entrada-salida estable: El sistema es entrada-salida estable si entradas acotadas producen
salidas acotadas. Si la entrada x[n] est acotada por B
x
, esto es, [x[n][ < B
x
para todo n, la
cota de la salida se puede establecer como
[y[n][ =

a
n+1
c +
n

`=0
a
n`
x[`]

a
n+1
c

`=0
a
n`
x[`]

a
n+1
c

+
n

`=0

a
n`
x[`]

a
n+1

[c[ +
n

`=0

a
n`

[x[`][
_ [c[ [a[
n+1
+ B
x
n

`=0
[a[
n`
_ [c[ [a[
n+1
+ B
x
1 [a[
n+1
1 [a[
La cota sobre la salida debe se independiente de n. Pero en este sistema esto se puede lograr
porque [c[ [a[
n+1
no se puede acotar por un nmero (que no dependa de n). Si [a[ > 1,
[c[ [a[
n+1
crece ilimitadamente para n > 0, y si [a[ < 1, [c[ [a[
n+1
crece sin mite pero
para n < 0. Por lo tanto el sistema no es estable. Si permitimos que c = 0, la estabilidad
Procesamiento Digital de Seales U.N.S. 2013
8 3. Seales y sistemas discretos
slo depende del valor de [a[: si [a[ > 1 el trmino (1 [a[
n+1
)/(1 [a[) no se puede
hacer independiente de n. Por lo tanto el sistema es inestable. Pero si [a[ < 1, entonces
1/(1 [a[) < (1 [a[
n+1
)/(1 [a[), de modo que
[y[n][ _ B
x
1 [a[
n+1
1 [a[
_
B
x
1 [a[
= B
y
,
y en consecuencia el sistema es estable. Resumiendo,
si c ,= 0 = sistema inestable,
si c = 0 y [a[ < 1 = sistema estable,
si c = 0 y [a[ _ 1 = sistema inestable.
Es necesario recalcar que en este ejemplo la causa que el sistema no sea lineal e invariante en el
tiempo es la presencia de trminos que dependen de la condicin inicial y[1] = c. Al elegir c = 0,
el sistema resulta estable e invariante en el tiempo. Esta eleccin de c no cambia la condicin de
que el sistema es causal. La estabilidad slo depende del valor de a.
EJEMPLO 3.4. Demostracin de propiedades del sistema y[n] + (1)
n
y[n 1] = x[n], con
condicin inicial y[1] = 0.
El sistema se puede escribir como una ecuacin recursiva de la forma
y[n] = (1)
n
y[n 1] + x[n] = (1)
n+1
y[n 1] + x[n].
La forma general de la salida en funcin slo de la entrada resulta
y[0] = (1)
0+1
y[1] + x[0] = 0 + x[0] = x[0] (3.11)
y[1] = (1)
1+1
y[0] + x[1] = x[0] + x[1] (3.12)
y[2] = (1)
2+1
y[1] + x[2] = (x[0] + x[1]) + x[2]
x[0] x[1] + x[2] (3.13)
y[3] = (1)
3+1
y[2] + x[3] = x[0] x[1] + x[2] + x[3] (3.14)
y[4] = (1)
4+1
y[3] + x[4] = (x[0] x[1] + x[2] + x[3]) + x[4]
= x[0] + x[1] x[2] x[3] + x[4] (3.15)
y[5] = (1)
5+1
y[4] + x[4] = x[0] + x[1] x[2] x[3] + x[4] + x[5] (3.16)
y[6] = (1)
6+1
y[5] + x[5] = (x[0] + x[1] x[2] x[3] + x[4] + x[5]) + x[6]
= x[0] x[1] + x[2] + x[3] x[4] x[5] + x[6] (3.17)
.
.
.
En este caso no es sencillo encontrar una forma cerrada para la sucesin de salida y[n] en funcin
de la entrada x[n] (los signos cambian de a dos muestras consecutivas de la entrada por vez), pero
tampoco hace falta para demostrar las propiedades. Con un poco de trabajo se puede contras que
y[n] =
8
>
>
>
>
>
<
>
>
>
>
>
:
(1)
(n1)/2
(n1)/2

r=0
(1)
r
(x[2r] + x[2r + 1]), si n es impar,
x[n] + (1)
n/2
n/21

r=0
(1)
r
(x[2r] + x[2r + 1]), si n es par.
(3.18)
Procesamiento Digital de Seales U.N.S. 2013
3.2. Demostracin de propiedades en sistemas recursivos 9
1. Linealidad: Si y
1
[n] e y
2
[n] son las salidas ante entradas x
1
[n] y x
2
[n], respectivamente, la
salida ante una entrada x
3
[n] = ax
1
[n] + bx
2
[n] es, para n = 0,
y
3
[0] = x
3
[0] = ax
1
[0] + bx
2
[0] = ay
1
[0] + by
2
[0].
De manera similar, para n = 1 se tiene que
y
3
[1] = x
3
[0] + x
3
[1] = (ax
1
[0] + bx
2
[0]) + (ax
1
[1] + bx
2
[1])
= a(x
1
[0] + x
1
[1]) + b(x
2
[0] + x
2
[1])
= ay
1
[1] + by
2
[1].
Para n = 2 resulta
y
3
[2] = x
3
[0] x
3
[1] + x
3
[2]
= (ax
1
[0] + bx
2
[0]) (ax
1
[1] + bx
2
[1]) + (ax
1
[2] + bx
2
[2])
= a(x
1
[0] x
1
[1] + x
1
[2]) + b(x
2
[0] x
2
[1] + x
2
[2])
= ay
1
[2] + by
2
[2]
El procedimiento se puede repetir para distintos valores de n, pero es evidente que y
3
[n] =
ay
1
[n] + by
2
[n], de modo que el sistema es lineal.
2. Causalidad: De desarrollo recursivo (3.11)-(3.17) o de la forma general (3.18) se observa que
y[n] est en funcin slo de x[i], con 0 _ i _ n, es decir que la salida actual slo depende de
valores actuales y pasado s de la entrada. Por lo tanto, el sistema es causal.
3. Invariacin temporal: el sistema no es invariante en el tiempo por causa del coeciente
(1)
n
que multiplica a y[n 1]. Se puede probar con un contraejemplo. Si x
1
[n] = [n], la
salida y
1
[n] es
n 0 1 2 3 4 5 6 7 8
y
1
[n] 1 1 1 1 1 1 1 1 1
Si x
2
[n] = x
1
[n 1] = [n 1], la salida y
2
[n] es
n 0 1 2 3 4 5 6 7 8
y
2
[n] 0 1 1 1 1 1 1 1 1
Se observa que y
2
[n] ,= y
1
[m1], y por lo tanto el sistema no es invariante en el tiempo.
4. Estabilidad entrada/salida: Por la forma de la expresin (3.18) parece que el sistema no
es estable entrada/salida. La forma ms sencilla de comprobarlo es buscando una sucesin
acotada que produzca una salida no acotada. Si se elige x[n] variando entre 1, por ejemplo
n 0 1 2 3 4 5 6 7 8
x[n] 1 1 1 1 1 1 1 1 1
se encuentra que la salida es
n 0 1 2 3 4 5 6 7 8
y[n] 1 2 3 4 5 6 7 8 9
de modo que aunque [x[n][ _ 1 = B
x
, [y[n][ _ n + 1, y por lo tanto no existe una cota que
asegure que [y[n][ _ B
y
\n. En consecuencia, el sistema no es estable entrada-salida.
Procesamiento Digital de Seales U.N.S. 2013
10 3. Seales y sistemas discretos
Procesamiento Digital de Seales U.N.S. 2013