Shifting theorem for

Z-transform

(1) for two side sequence f (n) ←→ F (Z) then

f (n − m) ←→ Z −m F (Z), m: positive integer
f (n + m) ←→ Z m F (Z)

pf:
∞
X ∞
X
Z −m F (Z) = Z −m f (n)Z −n = f (n)Z −(m+n)
n=−∞ n=−∞
∞
X
0 −n0
= f (n − m)Z
n0 =−∞

(change variable n + m = n0 ). f (n − m) ←→ Z −m F (Z)

. – p.1/19
(2) for unilateral (one-side) sequence
f (n)u(n) ←→ F1 (Z) then
f (n − n0 )u(n − n0 ) ←→ Z −n0 F1 (Z) n0 : positive integer
f (n + n0 )u(n) ←→
Z n0 [F1 (Z) − f (0) − f (1)Z −1 − ... − f (n0 − 1)Z −(n0 −1) ]

pf: (i)
∞
X ∞
X
Z −n0 F1 (Z) = Z −n0 f (n)Z −n = f (n)Z −(n+n0 )
n=0 n=0
∞
X ∞
X
0 −(n0 ) 0 0 −n0
= f (n − n0 )Z = f (n − n0 )u(n − n0 )Z
n0 =n0 n0 =0

. – p.2/19
pf: (ii)
∞
X ∞
X ∞
X
−n 0 −n0 −n0 n0 0 −n0
f (n + n0 )Z = f (n )Z =Z f (n )Z
n=0 n0 =n0 n0 =n0
∞
X
n0 0 −n0
=Z [ f (n )Z − f (0) − f (1)Z −1 − ... − f (n0 − 1)Z −(n0 −1) ]
n0 =0

. – p.3/19
Differentiation of Z-transform

f (n) ←→ F (Z)
nf (n) ←→ −Z dFdz(Z)

pf:
∞
X ∞
X
nf (n)Z −n = Z f (n)[nZ −(n+1) ]
n=−∞ n=−∞
∞
X d −n
= −Z f (n)[ Z ]
n=−∞
dz
∞
d X
−n d
= −Z [ f (n)Z ] = −Z F (Z)
dz n=−∞ dz
. – p.4/19
Convolution Theorem for
Z-transform

(1) x(n) ←→ X(Z), y(n) ←→ Y (Z)

x(n) ∗ y(n) ←→ X(Z)Y (Z)

pf: P∞
Let w(n) = n=−∞ x(k)y(n − k), w(n) ←→ W (Z)
∞
X ∞
X ∞
X
W (Z) = w(n)Z −n = [ x(k)y(n − k)]Z −n
n=−∞ n=−∞ k=−∞
∞
X ∞
X
= x(k) y(n − k)Z −n
k=−∞ n=−∞

. – p.5/19
(Let n − k = m: change variable)
∞
X ∞
X
= x(k) y(m)Z −(m+k)
k=−∞ m=−∞
∞
X ∞
X
= x(k)Z −k y(m)Z −m = X(Z)Y (Z)
k=−∞ m=−∞

. – p.6/19
 1
X( Zυ )Y (υ)υ −1 dυ
H
(2) x(n)y(n) ←→ 2πj

pf:
w(n) = x(n)y(n),
1
P∞ H n−1
W (Z) = n=−∞ x(n)y(n)Z −n y(n) = 2πj c1
Y (υ)υ dυ
∞
1
X I
W (Z) = x(n)[ Y (υ)υ n−1 dυ]Z −n
n=−∞
2πj c1
∞
1
I X
Z −n −1
= [ x(n)( ) ]υ Y (υ)dυ
2πj c1 n=−∞ υ
1
I
Z
= X( )Y (υ)υ −1 dυ
2πj c1 υ
. – p.7/19
Let Z = ejωT = ejω , set T = 1, and set υ = ejθ
X(Z)|Z=ejω = X(ejω ); Y (Z)|Z=ejω = Y (ejω )
(Fourier transform)

then
π
1
Z
W (ejω ) = Y (ejθ )X(ej(ω−θ) )e−jθ je−jθ dθ
2πj −π
Z π
1
= Y (ejθ )X(ej(ω−θ) )dθ
2πj −π

convolution of two Fourier transforms

. – p.8/19
Initial value theorem for
Z-transform

if f (n) is a causal sequence, i.e., f (n) = 0 for n < 0

then
f (0) = lim F (Z)
z→∞

pf:
∞
X
lim F (Z) = lim [ f (n)Z −n ]
z→∞ z→∞
n=−∞
X∞
= lim [ f (n)Z −n ] (f (n) = causal)
z→∞
n=0

= lim [f (0) + f (1)Z −1 + · · · ] = f (0)

z→∞

. – p.9/19
 Final value theorem

if f (n) is a causal sequence i.e., f (n) = 0, n < 0

then
lim f (n) = lim (Z − 1)F (z)
n→∞ z→1

or
f (∞) = lim (Z − 1)F (Z)
z→1

pf:
0
z[f (n + 1) − f (n)] = Z [f1 (Z) − f (0)] − F1 (Z) (shifting theorem)
= (Z − 1)F1 (Z) − f (0)Z

. – p.10/19
 ∞
X
z[f (n + 1) − f (n)] = [f (n + 1) − f (n)]z −n
n=0
= (Z − 1)F1 Z − f (0)Z

∞
X
lim [f (n + 1) − f (n)]Z −n = lim (Z − 1)F1 (Z) − f (0)
z→1 z→1
n=0
∞
= lim [f (n + 1) − f (n)]
n=0

. – p.11/19
 N
X
lim [f (n + 1) − f (n)] = lim (Z − 1)F1 (Z) − f (0)
N →∞ z→1
n=0

f (1) + f (2) + · · · + f (n) + f (N + 1)

+) − f (0)−f (1) − f (2) − · · · − f (N )
—————————————————————
f (N + 1) − f (0)

. – p.12/19
∴ limN →∞ [f (N + 1) − f (0)] = limz→1 (Z − 1)F( Z) − f (0)
≈0 ≈0

⇒ lim f (N ) = lim (Z − 1)F1 (Z)

N →∞ Z→1
or f (∞) = lim (Z − 1)F1 (Z)
Z→1

. – p.13/19
 Z-transform Theorems

1. Shifting:
if
f (n) ↔ f (Z)
then for any integer m

f (n − m) ↔ Z −m F (Z)

. – p.14/19
2. Convolution:
if
f1 (n) ↔ F1 (Z)
and

f2 (n) ↔ F2 (Z)
, then
∞
X
f1 (k)f2 (n − k) ↔ F1 (Z)F2 (Z)
k=−∞

. – p.15/19
Ex: Using Z-transform, we can find the sum of integers
from 0 to n and the sum of their squares.
(a)
n
X Z Z
f1 (n) = k = (nu(n)) ∗ u(n) ↔ 2
·
k=0
(Z − 1) (Z − 1)
Z
=Z·
(Z − 1)3

Since
Z n(n − 1) n(n + 1)
3
↔ ∗ u(n) ⇒ f1 (n) =
(Z − 1) 2 2
. – p.16/19
(b)
n 3 2
X Z + Z
f2 (n) = k 2 = (n2 u(n)) ∗ u(n) ↔ 4
k=0
(Z − 1)

Since
2 n(n − 1)
n u(n) = [2 + n]u(n)
2
linearity of Z-transform 2Z Z
↔ 3
+
(Z − 1) Z −1

. – p.17/19
 and µ ¶
n Z
u(n) ↔
3 (Z − 1)4
(n + 2)(n + 1)n (n + 1)n(n − 1) (2n + 1)(n + 1)n
f2 (n) = + =
6 6 6

. – p.18/19
3. Conjugate Sequences:
if
∗ 1 ∗
f (n) ↔ F (Z), then f (−n) ↔ F ( ∗ )
Z
Note: if the sequence f (n) is real, then F ∗ ( Z1∗ ) = F ( Z1 ).
if F (Z) converges in the ring, r1 < |Z| < r2 , then
F ∗ ( Z1∗ ) converges in the ring 1
r2
< |Z| < 1
r1
.

. – p.19/19