Skip to main content

Convolution is commutative; find y[n]

Short answer

An LTI system is linear and time-invariant, fully described by its impulse response h[n]. Convolution is commutative because substituting m=n-k changes sum x[k]h[n-k] into sum h[m]x[n-m]. For x={1,2,3,4}, h={2,1,2}, the output is y={2,5,10,15,10,8} for n=-1 to 4, so y[0]=5.

What is LTI system? In a LTI system show that convolution operation is commutative, find y[n] when x[n] = {1, 2, 3, 4} (↑ at 1, i.e. x[0] = 1) and h[n] = {2, 1, 2} (↑ at 1, i.e. h[0] = 1).

LTI system

An LTI system is one that is both linear (superposition holds) and time-invariant (a delay in the input gives the same delay in the output). It is completely described by its impulse response h[n]h[n], and the output for any input is y[n]=x[n]∗h[n]=∑kx[k]h[n−k]y[n]=x[n]*h[n]=\sum_k x[k]h[n-k].

Commutative property

To show x[n]∗h[n]=h[n]∗x[n]x[n]*h[n]=h[n]*x[n]:

x[n]∗h[n]=∑k=−∞∞x[k] h[n−k]x[n]*h[n]=\sum_{k=-\infty}^{\infty}x[k]\,h[n-k]

Put m=n−km=n-k, so k=n−mk=n-m. As kk goes from −∞-\infty to ∞\infty, mm also covers −∞-\infty to ∞\infty:

x[n]∗h[n]=∑m=−∞∞x[n−m] h[m]=∑m=−∞∞h[m] x[n−m]=h[n]∗x[n]x[n]*h[n]=\sum_{m=-\infty}^{\infty}x[n-m]\,h[m]=\sum_{m=-\infty}^{\infty}h[m]\,x[n-m]=h[n]*x[n]

So a system with impulse response hh driven by xx gives the same output as a system with impulse response xx driven by hh.

Computing y[n]

x[n]={1,2,3,4}x[n]=\{1,2,3,4\} with x[0]=1x[0]=1 (so n=0..3n=0..3); h[n]={2,1,2}h[n]=\{2,1,2\} with h[0]=1h[0]=1 (so h[−1]=2, h[0]=1, h[1]=2h[-1]=2,\ h[0]=1,\ h[1]=2).

Start index =0+(−1)=−1=0+(-1)=-1, length =4+3−1=6=4+3-1=6, so y[n]y[n] runs from n=−1n=-1 to 44.

n=−1n=-101234
x[0]h=1⋅hx[0]h = 1\cdot h212
x[1]h=2⋅hx[1]h = 2\cdot h424
x[2]h=3⋅hx[2]h = 3\cdot h636
x[3]h=4⋅hx[3]h = 4\cdot h848
y[n]y[n]251015108

For example, y[1]=x[0]h[1]+x[1]h[0]+x[2]h[−1]=2+2+6=10y[1]=x[0]h[1]+x[1]h[0]+x[2]h[-1]=2+2+6=10. Sum check: ∑y=50=10×5\sum y=50=10\times5.

Answer: y[n]={2, 5, 10, 15, 10, 8}y[n]=\{2,\ 5,\ 10,\ 15,\ 10,\ 8\} for n=−1,…,4n=-1,\dots,4, i.e. y[0]=5y[0]=5.

Computing h∗xh*x (each hh value times xx) gives the same numbers, which verifies the commutative property.

✓ Answer checked by Claude Opus 5.5 (high effort)

All Signals and Systems chapter 6 questions →