1
$\begingroup$

How can I test if $y[n] = n x[n]$ is an LTI system? And any other system for that matter?

For example, how come $y[n] = \left( \frac{1}{2} \right)^n u[n]$, where $u[n]$ is the unit step, is an LTI system?

$\endgroup$
3
  • $\begingroup$ There's no magic here. You just go into your textbook, write down the very definition of "L", and "TI", and check your system against that. Basically, you go ahead and just do your homework :) $\endgroup$ Dec 3, 2017 at 13:29
  • $\begingroup$ @MattL. Thank you! I was confused why that is an LTI. Apparently its not. What about the first one? $\endgroup$
    – anon
    Dec 3, 2017 at 13:33
  • $\begingroup$ $$y[n] = \left( \frac{1}{2} \right)^n u[n]$$ is not an LTI system. It is the output of a causal LTI system. $\endgroup$ Dec 4, 2017 at 4:44

1 Answer 1

3
$\begingroup$

Here instead of a general proof method, let us use the method known as the counter example which relies on the fact that a single counter-example that violates the claim is sufficient (enough) to prove that the claim is wrong.

Assume that the system was LTI,(the claim is that system is LTI). Then consider the following inputs $x_1[n] = \delta[n]$ and $x_2[n] = \delta[n-1]$ with corresponding outputs $y_1[n] = 0 \cdot \delta[n] = 0$ for all $n$ and $y_2[n] = 1.\delta[n-1]=\delta[n-1]$.

Now if the system is actually LTI, then its output should satisfy $y_2[n] = y_1[n-1]$. However one can see that this is not the case, as $$ y_2[n]= \delta[n-1] \neq y_1[n-1] = 0.$$ Hence this counter-example has proved that the claim was wrong; i.e., the system is not LTI. In fact, what we have actually shown is that the system is not time-invariant, but then the fact that it's also not LTI follows as a consequence.

$\endgroup$
2
  • 1
    $\begingroup$ Thanks for the awesome explanation. However isn't y1[n]=n⋅δ[n] ? Why is it 0⋅δ[n]? $\endgroup$
    – anon
    Dec 3, 2017 at 14:06
  • 1
    $\begingroup$ @anon It's the sifting property of the impulse function : $$f[n] \delta[n-a] = f[a]\delta[n-a]$$ which becomes specifically as $$n \delta[n] = 0 \delta[n] = 0 , \forall n$$ $\endgroup$
    – Fat32
    Dec 3, 2017 at 14:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.