System properties

A discrete-time system, as denoted in the figure, is a mathematical operator or mapping that transforms one signal, the input x[n], into another signal, the output y[n] by means of a fixed set of rules or operations. Discrete-time systems may be classified in terms of the properties that they possess.

General discrete-time system.
General discrete-time system.

The most important system properties are:

Memoryless

A system is memoryless if the output at any time n=n0 depends only on the input at time n=n0. In other words, a system is memoryless if, for any n0, we are able to determine the output value y[n0] given only the input value x[n0].

Causality

A system property that is important for real-time applications is causality, which implies that for any index n0, the response of the system at time index n0 depends only on the input up to time index n=n0. Thus, for a causal system, changes in the output cannot precede changes in the input.

Invertibility

A system property that is important in applications such as channel equalization and de-convolution is invertibility. A system is said to be invertible if the input of the system uniquely can be determined from the output. In order for a system to be invertible, it is necessary for distinct inputs to produce distinct outputs.

Additive

An additive system is one for which the response to a sum of inputs is equal to the sum of the outputs individually.

Homogeneous

A system is homogeneous if scaling the input by a constant c results in a scaling of the output by the same amount of c.

Stability

In most practical cases it is important for a system to have a response, y[n], that is bounded in amplitude whenever the input is bounded. A system with this property is said to be stable in the Bounded Input Bounded Output (BIBO) sense.

Linearity

A system that is both additive and homogeneous is said to be linear.

A system is linear if both system configurations are the same.
A system is linear if both system configurations are the same.
Referring to Fig. 2, assume that an input x[n] which is applied to a discrete-time system, results in an output y[n]. Thus x1[n] results in y1[n] and x2[n] in y2[n]. On the one hand, we can first apply separately x1[n] and x2[n] to the same system and then weight and combine both output into a new output: w[n]=αy1[n]+βy2[n]. On the other hand, we can first weight, with the same parameters α and β, and combine both inputs into a new input x[n]=αx1[n]+βx2[n]. When applying this new input x[n] to the same system it results in an output y[n]. A system is linear if both outputs w[n] and y[n] are the same.

Time-Invariance

If a system has the property that a shift (a delay) of the input by n0 samples results in a shift of the output by the same amount of n0 samples, the system is said to by time-invariant.

A system is time invariant if both systems configurations are the same.
A system is time invariant if both systems configurations are the same.
Referring to Fig. 3, let y[n] be the response of a discrete-time system to an arbitrary input signal x[n]. The system is said to be time-invariant if, for any delay of n0 samples, the response to x[nn0] is y[nn0]. In effect a system is time invariant if its properties or characteristics do not change with time.

Linear Time Invariance

A system that is both linear and time-invariant is referred to as a Linear Time Invariant system, abbreviated as LTI. Both properties, Linearity and Time Invariance, of an LTI system are important to understand how to simplify the mathematical analysis to obtain a greater insight and understanding of system behavior.

Example


Show that the system y[n]=(x[n])2 is non-linear.
y[n]=(x[n])2=(αx1[n]+βx2[n])2=α2x12[n]+2αβx1[n]x2[n]+β2x22[n] Referring to the right-hand side of Fig. 2 we obtain: w[n]=αy1[n]+βy2[n]=αx12[n]+βx22[n] Sine w[n]y[n] it follows that the system y[n]=(x[n])2 is non-linear.

Example


Show that the system y[n]=(x[n])2 is Time Invariant.
From the upper part of Fig. 3 it follows that w[n]=x2[nn0]. From the lower part of the same Figure it follows: y[n]=x2[n]y[nn0]=x2[nn0] The system y[n]=(x[n])2 is Time Invariant since w[n]=y[nn0].