Lecture VI: Convolution representation of discrete-time...

15
Lecture VI: Convolution representation of discrete-time systems Maxim Raginsky BME 171: Signals and Systems Duke University September 12, 2008 Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Transcript of Lecture VI: Convolution representation of discrete-time...

Page 1: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Lecture VI: Convolution representation of

discrete-time systems

Maxim Raginsky

BME 171: Signals and Systems

Duke University

September 12, 2008

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 2: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

This lecture

Plan for the lecture:

1 The unit pulse response

2 The convolution representation of discrete-time LTI systems

3 Convolution of discrete-time signals

4 Causal LTI systems with causal inputs

5 Discrete convolution: an example

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 3: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

The unit pulse response

Let us consider a discrete-time LTI system

y[n] = S{

x[n]}

and use the unit pulse

δ[n] =

{1, n = 00, n 6= 0

as input.

n

δ[n]

1

0

Let us define the unit pulse response of S as the corresponding output:

h[n]△

= S{

δ[n]}

We will now show that the output of S due to an arbitrary input x[n]

can be expressed in terms of x[n] and h[n].

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 4: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

The unit pulse response: cont’d

Consider an arbitrary discrete-time signal x[n]. We can write

x[n] =

∞∑

i=−∞

x[i]δ[n − i]

(follows by definition of the unit pulse). Then

y[n] = S{

x[n]}

= S{ ∞∑

i=−∞

x[i]δ[n − i]}

=

∞∑

i=−∞

S{

x[i]δ[n − i]}

(because S is additive)

=∞∑

i=−∞

x[i]S{

δ[n − i]}

(because S is homogeneous)

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 5: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

The convolution representation

Now, because S is time-invariant, for each i we have

S{

δ[n − i]}

= h[n − i].

Hence,

y[n] =

∞∑

i=−∞

x[i]h[n − i],

where h[n] is the unit pulse response of S. This is known as theconvolution representation of a discrete-time LTI system.

This name comes from the fact that a summation of the above form is

known as the convolution of two signals, in this case x[n] and

h[n] = S{

δ[n]}

.

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 6: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Convolution of discrete-time signals

Let x[n] and ν[n] be two discrete-time signals. Then their convolution isdefined as

x[n] ⋆ ν[n]△

=∞∑

i=−∞

x[i]ν[n − i]

(here i is a dummy index).

Thus, if h is the unit pulse response of an LTI system S, then we canwrite

y[n] = S{

x[n]}

= x[n] ⋆ h[n]

for any input signal x[n].

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 7: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Useful properties of convolutions

The convolution operation ⋆ is

1 commutative: x[n] ⋆ ν[n] = ν[n] ⋆ x[n]

2 associative: x[n] ⋆ (ν[n] ⋆ µ[n]) = (x[n] ⋆ ν[n]) ⋆ µ[n]

3 distributive: x[n] ⋆ (ν[n] + µ[n]) = x[n] ⋆ ν[n] + x[n] ⋆ µ[n]

4 homogeneous: x[n] ⋆ (aν[n]) = a(x[n] ⋆ ν[n]), where a is anyconstant

All of these properties are easy to prove from the definition of

convolution.

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 8: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Convolution representation: recap

What we have shown is the following:

1 Any discrete-time LTI system S is uniquely described by its unit

pulse response h[n], which is defined as the output of the systemdue to the unit pulse input:

h[n] = S{

δ[n]}

2 The output of S due to an arbitrary input x[n] is given by theconvolution of x[n] with the unit pulse response h[n]:

y[n] = S{

x[n]}

= x[n] ⋆ h[n]

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 9: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Unit pulse response of a causal LTI system

Consider a causal LTI system S. Recall that a system is causal if andonly if its output at time n does not depend on the input at times m > n.

Claim 1: if h[n] is the unit pulse response of a causal LTI system, then

h[n] = 0 for all n < 0.

Proof: consider some input signal x[n]. Then we have

S{

x[n]}

= h[n] ⋆ x[n]

=∞∑

i=−∞

x[n − i]h[i]

=

−1∑

i=−∞

x[n − i]h[i]

︸ ︷︷ ︸

dep. on future inputs

+

∞∑

i=0

x[n − i]h[i].

Because the input x[n] is arbitrary, we see that the system will not be

causal if h[i] 6= 0 for at least one i < 0.

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 10: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Unit pulse response of a causal LTI system

Claim 2: if the unit pulse response h[n] of an LTI system S satisfies

h[n] = 0, for all n < 0,

then S is causal.

Proof: consider some input signal x[n]. Then

S{

x[n]}

=∞∑

i=−∞

x[n − i]h[i]

=−1∑

i=−∞

x[n − i]h[i]

︸ ︷︷ ︸

=0

+∞∑

i=0

x[n − i]h[i]

=

∞∑

i=0

x[n − i]h[i].

Thus, the output at time n depends only on the input at times n − i,i ≥ 0, so the system is causal.

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 11: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Unit pulse response of a causal LTI system

When dealing with convolutions, you have to be careful with upper andlower limits of sums. In particular, if h[n] is a unit pulse response of acausal LTI system, then h[n] = 0 for all n < 0. Therefore,

x[n] ⋆ h[n] =

∞∑

i=0

x[n − i]h[i].

Let us now change the dummy index to k = n − i. Then we have

x[n] ⋆ h[n] =

n∑

k=−∞

x[k]h[n − k] =

n∑

i=−∞

x[i]h[n − i].

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 12: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Causal LTI systems with causal inputs

We have seen that the unit pulse response h[n] of a causal LTI system isequal to zero for all n < 0. Motivated by this observation, let us say thata signal x[n] is causal if x[n] = 0 for all n < 0. Thus, an LTI system iscausal if and only if its unit pulse response is a causal signal.

Now consider a causal LTI system S with unit pulse response h[n] and acausal input x[n]. Then we have

x[n] ⋆ h[n] =

n∑

i=−∞

x[i]h[n − i]

=

−1∑

i=−∞

x[i]h[n − i]

︸ ︷︷ ︸

=0

+

n∑

i=0

x[i]h[n − i].

Thus, for a causal LTI system with a causal input, the convolution sumthat gives the output at time n runs only from i = 0 to i = n.

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 13: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Computing discrete convolutions: flip and shift

When computing a convolution x[n] ⋆ ν[n] of two signals, we note thatthe convolution sum

x]n] ⋆ ν[n] =

∞∑

i=−∞

x[i]ν[n − i]

gives the “overlap” between the original signal x[i] and the flipped-and-shifted signal ν[n − i]. Since convolution is commutative, we can write

ν[n] ⋆ x[n] =

∞∑

i=−∞

x[n − i]ν[i],

which is the “overlap” between the original signal ν[i] and the

flipped-and-shifted signal x[n − i].

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 14: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Computing discrete convolutions: an example

When the signals x[n] and ν[n] have only finitely many nonzero values,the convolution can be computed graphically. In that case, you shouldflip and shift the “simpler” of the two signals.

Let us show how to convolve the signals x[n] and ν[n] shown below:

x[n]

n

ν[n]

n

0.5

1

We will flip and shift the simpler signal, which in this case is ν[n]:

i i

n = 0: overlap = 0 n = 1: overlap = 0.5

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems

Page 15: Lecture VI: Convolution representation of discrete-time …maxim.ece.illinois.edu/teaching/fall08/lec6.pdf ·  · 2012-04-18Consider an arbitrary discrete-time signal x[n]. ... Let

Computing discrete convolutions: an example, cont’d

i i

n = 2: overlap = 0 n = 3: overlap = 0

i i

n = 4: overlap = -0.5 n = 5: overlap = 0

So, the convolution y[n] = x[n] ⋆ ν[n] looks like this:

x[n]*ν[n]

n

0.5

Maxim Raginsky Lecture VI: Convolution representation of discrete-time systems