To demonstrate how to determine if a system is time-invariant, consider the two systems:
Since the System Function y ( t ) {\displaystyle y(t)} for system A explicitly depends on t outside of x ( t ) {\displaystyle x(t)} , it is not time-invariant because the time-dependence is not explicitly a function of the input function.
In contrast, system B's time-dependence is only a function of the time-varying input x ( t ) {\displaystyle x(t)} . This makes system B time-invariant.
The Formal Example below shows in more detail that while System B is a Shift-Invariant System as a function of time, t, System A is not.
A more formal proof of why systems A and B above differ is now presented. To perform this proof, the second definition will be used.
More generally, the relationship between the input and output is
and its variation with time is
For time-invariant systems, the system properties remain constant with time,
Applied to Systems A and B above:
We can denote the shift operator by T r {\displaystyle \mathbb {T} _{r}} where r {\displaystyle r} is the amount by which a vector's index set should be shifted. For example, the "advance-by-1" system
can be represented in this abstract notation by
where x ~ {\displaystyle {\tilde {x}}} is a function given by
with the system yielding the shifted output
So T 1 {\displaystyle \mathbb {T} _{1}} is an operator that advances the input vector by 1.
Suppose we represent a system by an operator H {\displaystyle \mathbb {H} } . This system is time-invariant if it commutes with the shift operator, i.e.,
If our system equation is given by
then it is time-invariant if we can apply the system operator H {\displaystyle \mathbb {H} } on x ~ {\displaystyle {\tilde {x}}} followed by the shift operator T r {\displaystyle \mathbb {T} _{r}} , or we can apply the shift operator T r {\displaystyle \mathbb {T} _{r}} followed by the system operator H {\displaystyle \mathbb {H} } , with the two computations yielding equivalent results.
Applying the system operator first gives
Applying the shift operator first gives
If the system is time-invariant, then
Oppenheim, Alan; Willsky, Alan (1997). Signals and Systems (second ed.). Prentice Hall. ↩