Teoremas Importantes de la Transformada Z
Teorema de Riemann
En una causal se cumple el teorema de Reimann, cuya tesis enuncia que el
coeficiente del termino ensimo de una causal f[n] tiende a cero cuando n
tiende a
Adems un corolario inmediato es que si F(z) es una funcin racional (cociente
de polinomios), el orden del numerador es menor o igual que el denominador.
n 0, f n 0(causal)
f n F (z)
F (z) CV / B (, r)
F n n 0
F (z)
N n (z)
n p # ceros # polos
D p (z)
n
La convergencia absoluta de la serie de potencias F (z) f n z sobre
n 0
B (, r) asegura el teorema de Riemann que el modulo del termino ensimo
tiende a cero.
Un coloralio es para una funcin racional: cociente de polinomios F (z)
N n (z)
D p (z)
para que pueda desarrollarse en B (, r) tiene que satisfacerse n p es decir
del numerador es menor o igual que el orden del denominador. Esto implica
que el nmero de ceros es menor o igual que el nmero de polos
Teorema Cambio de Escala
Sea f(kT), funcin de tiempo discreto, causal, con 0<k< y existe la
transformada Z f (kT) F (z)
Z a k f(kT) F (az 1 )
Demostracin:
k
Z f (kT) lim f (kT) z i
k
i 0
lim a i f (iT) z i
k
i0
k
lim f (iT) a i z i
k
i0
k
lim f (iT) a z
k
i0
l
Por definicin de transformada Z, y como existen Z f (kT) F (az )
entonces
Z f (kT) Z a k f(kT) F (az l )
Teorema del desplazamiento
a) desplazamiento a la izquierda:
sea f(kT), funcin de tiempo discreto, causal, con 0<k< y existe
l
la transformada Z f (kT) F (z )
Z f(kT mT) z m F (z l ) z m F (0) ... zf (mT T)
Demostracin:
Sea m=1
Z f(kT mT) lim f (iT T) z i
k
i 0
lim f (i 1) Tz i
k
i0
Si v=i+1 => para i=0 -> v=1
I=k-> v=
k
Z f(kT mT) lim f (i 1) T z i
k
i 0
lim f (vT) z (v 1)
k
v 1
k
lim f (vT) z v z 1
k
v 1
z lim f (vT) z v
k
v 1
z lim f (vT) z v f (vT )
k
v 0
z F (z 1 ) f(0)
b) Desplazamiento a la derecha:
sea f(kT), funcin de tiempo discreto, causal, con 0<k< y existe
l
la transformada Z f (kT) F (z )
Z f(kT mT) z m F (z l )
Demostracin:
Sabiendo que:
k
Z f(kT mT) lim f iT mT z i
k
i 0
lim f (i m) T z i
k
i0
Si v=i-m
Z f(kT mT) lim
f vT z
(v m)
i m
z m lim f vT z v
k
i m
z m lim
k
i m
f vT z v f vT z v
v 0
Debido a que f vT es funcin causal, para todo v<0 la funcin
f vT no existe f vT = 0.
l
Por lo tanto
f vT z
0 , entonces:
v m
Z f(kT mT) z m lim
f vT z
i m
F (z )
Teorema de corrimiento o de traslacin real
Si x(t) tiene transformada z entonces:
Z x(t nT) z n Z x(t) Para n=0,1,2,
Demostracin:
Z x(t nT) x (kT nT) z k
k 0
z n x(kT nT) z k n
k 0
z n x(kT nT) z ( k n )
k 0
z n
x(mT) z
m n
z n x(mT) z m
m 0
z Z x (t)
n
n 1
Z x(t nT) z n Z x(t) x(kT) z k Para n=0,1,2,
k 0
Demostracin:
Z x(t nT) x(kT nT) z k
k 0
z n x(kT nT) z ( k n )
k 0
n 1
n 1
(k n)
k
x
(kT
nT)
z
x
(kT)
z
x (kT) z k
k 0
k 0
k 0
n 1
z n x (kT) z k x(kT) z k
k 0
k 0
n 1
z n Z x(t) x(kT) z k
k 0
z n
Teorema de Traslacin Compleja
Si x(t) tiene transformada z entonces:
Z e (at) x(t) X(ze aT )
Demostracin:
Z e (at) x(t) x (kT) e akT z k
k 0
x(kT) ze aT
k 0
X(ze aT )
Teorema de Convolucion real
Sean las Funciones x1 (t) y x2 (t) , donde
x1 (t) =0,
para t<0,
x2 (t) =0,
para t<0.
Supongamos que x1 (t) y x2 (t) tienen transformada z igual a X1 (z) y X 2 (z)
respectivamente, entonces
x (hT) x (kT hT)
X1 (z) X 2 (z) Z
k 0
Demostracin:
x
(hT)
x
(kT
hT)
k 0
k 0
k 0
x (hT) x (kT hT)z
h0
x (hT) x (kT hT)z
h 0
Donde sabemos que x2 (kT hT) =0 para h>k. Ahora definimos m=k-h,
entonces
h
x
(hT)
x
(kT
hT)
x
(hT)
z
x2 (mT)z m
1
2
1
h 0
m h
k 0
Adems, x2 (mT) =0 para m<0 y de esta ltima ecuacin obtenemos
x (hT) x (kT hT) x (hT)z x (mT)z
k 0
h 0
m h
X 1 (z) X 2 (z)
Teorema de Convolucion Compleja
Supongamos que x1 (t) y x2 (t) son dos secuencias con k<0 y
X1 (z) Z x1 (t) , para z R1 ,
X 2 (z) Z x2 (t) , para z R2 ,
Donde R1 y R2 son dos radios de convergencia absoluta para x1 (k) y x2 (k) ,
respectivamente. Entonces, el producto de dos transformadas x1 (k) y x2 (k) est
dado por
Z x1 (k) x2 (k)
1
1
1
c X 2 ( ) X1 ( z) d
2 j
Donde R2 z / R1
Demostracin
Para demostrar este teorema tomamos la transformada z de x1 (k) x 2 (k)
Z x1 (k) x 2 (k) x1 (k) x 2 (k) z k
k 0
Las series en la parte derecha de la ecuacin convergen z R , donde R es el
radio de convergencia absoluta para x1 (k) x 2 (k) y de la ecuacin
Z 1 X (z) x(kT) x(k),
1
X (z) z k 1dz
2 j c
En donde C es un crculo con centro en el origen del plano z tenemos
x2 (k)
1
x 2 (z) z k 1 dz
c
2 j
1
x 2 ( ) k 1d
2 j c
Luego, sustituimos la ecuacin anterior por la ecuacin y se tiene
Z x1 (k) x 2 (k)
1
k 1
X
(
)
x1 (k)( 1 z ) kd
c
2 j
k 0
Como
x (k)(
k 0
z ) k X 1 ( 1 z)
Entonces,
Z x1 (k) x 2 (k)
1
k 1 X 2 ( ) X1 ( 1 z) d
c
2 j
Donde C es un circulo con centro en el origen y est en la regin dada por
R2 y 1 R1 o equivalente R2
z
R1
Teorema del valor Inicial
Es posible determinar el termino inicia f(0), de una secuencia f(k), a partir de la
transformada correspondiente. Si se tiene F(z) de la forma:
F (z) f(0) f(1) z 1 f(2) z 2 ...
Se observa que conforme la variable z 1 tiende a cero, todos los trminos del
lado derecho de la igualdad tienden a cero excepto f(0).esto es equivalente a:
f(0) lim F (z)
z
Sea f(kT), funcin en tiempo discreto, causal con 0<k< y existe la
1
transformada Z f (kT) F (z )
f(0) lim F (z 1 )
x
Demostracin:
k
F (z 1 ) lim f (iT) z 1
k
i0
F (z ) f (0) f(T) z 1 f (2 T) z 2 ... f (nT) z n ...
Dnde:
f (0) f(T) z 1 f (2 T) z 2 ... f (nT) z n ... f (0)
lim F (z 1 ) lim
z 0
z 1 0
F (z 1 )
En consecuencia f (0) lim
z 0
Teorema del valor Final
Para determinar el comportamiento de una secuencia f(k) en estado esttico,
esto es f(k) con k tendiendo a infinito, es posible recurrir directamente a la
transformada de la funcin. La condicin para realizar esto es de F(z) no tenga
polos fuera del circulo unitario, lo cual determina que f(k) sea una funcin
acotada, y por lo tanto finita, cuando k tiende a infimito. Por lo anterior, el
teorema del valor final podr ser aplicado solo en los casos en los que (z-1)F(z)
sea analtica para z 1 .
En tales casos el teorema se enuncia de la siguiente forma:
f () lim(z 1) F(z)
z 1
Sea f(kT), funcin en tiempo discreto, causal, con 0<k< y existe la
1
transformada Z f (kT) F (z )
f () lim(1 z 1 ) F(z 1 )
z 1 1
Demostracin:
lim f (iT) f(i 1) T z i lim
i0
i 0
f (iT) z i f (i 1) Tz i
i0
Sabiendo que:
lim f (iT) z i F (z 1 )
k
i 0
k
lim f (i 1) z i z 1 F (z 1 )
k
i 0
Entonces
k
lim f (iT) f(i 1) T z i F (z 1 ) z 1 F (z 1 )
i0
F (z 1 )(1 z 1 )
Si tomamos la siguiente funcin
g(kT) f(kT) f((k 1) T)
k
Z g(kT) Z f(kT) f(k 1) T lim f (iT) f(i 1) T z i
i 0
F (z )(1 z )
Desarrollado para k=n
Z g (kT) g (0) f(T) z 1 g (2 T) z 2 ... g (nT) z n
lim Z g (kT) g (0) f(T) g (2 T) ... g (nT)
z 1 1
Y por la definicin de la FTD g(kT):
lim Z g (kT) f (0) f( T) f (T) f(0) f (2 T) f(T) ... f(nT)
z 1 1
Por ser f(nT) una funcin causal:
f(z 1 ) F(1 z 1 ) f (n)
lim
Z g (kT) lim
1
1
z 1
z 1
Entonces, cuando n
f () lim(1 z 1 ) F(z 1 )
z 1 1
