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 recursi-
vos
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
Procesamiento Digital de Seales U.N.S. 2011
4 3. Seales y sistemas discretos
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.
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 dife-
rencias
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. 2011
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 slo interesa la salida 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
de donde es sencillo encontrar la forma general
y[n] = a
n+1
c +
n

`=0
a
n`
x[`]. (3.3)
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.
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.4)
Procesamiento Digital de Seales U.N.S. 2011
6 3. Seales y sistemas discretos
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.5)
Es evidente que (3.4) ,= (3.5), 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.3) 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.6)
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.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.6), (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.8)
Procesamiento Digital de Seales U.N.S. 2011
3.2. Demostracin de propiedades en sistemas recursivos 7
Comparando (3.7) con (3.8) se observa que los trminos vinculados a la sumatoria, que de-
penden 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.7), y a
(nn
0
)+1
c en (3.8) . 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[ +[a
n
[
n

`=0

a
`

[x[`][
_

a
n+1

[c[ + B
x
[a
n
[
n

`=0

a
`

.
La cota sobre la salida debe se independiente de n, de modo que el sistema es estable si
[a[ < 1, en cuyo caso
[y[n][ _

a
n+1

[c[ + B
x
[a
n
[
n

`=0

a
`

_ [c[ +
B
x
1 [a[
= B
y
.
Si [a[ > 1, la sumatoria no converge, y no se puede acotar el termino

a
n+1

[c[ . Resumiendo,
si [a[ < 1 = sistema estable,
si [a[ _ 1 = sistema inestable.
Es necesario recalcar que en este ejemplo, la causa que el sistema no fuese lineal e invariante en el
tiempo es la presencia de trminos que dependen de 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.
Procesamiento Digital de Seales U.N.S. 2011
8 3. Seales y sistemas discretos
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.9)
y[1] = (1)
1+1
y[0] + x[1] = x[0] + x[1] (3.10)
y[2] = (1)
2+1
y[1] + x[2] = (x[0] + x[1]) + x[2]
x[0] x[1] + x[2] (3.11)
y[3] = (1)
3+1
y[2] + x[3] = x[0] x[1] + x[2] + x[3] (3.12)
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.13)
y[5] = (1)
5+1
y[4] + x[4] = x[0] + x[1] x[2] x[3] + x[4] + x[5] (3.14)
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.15)
.
.
.
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.16)
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.
Procesamiento Digital de Seales U.N.S. 2011
3.2. Demostracin de propiedades en sistemas recursivos 9
2. Causalidad: De desarrollo recursivo (3.9)-(3.15) o de la forma general (3.16) 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.16) 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. 2011
10 3. Seales y sistemas discretos
Procesamiento Digital de Seales U.N.S. 2011