Stability and causality

In the module Z-transform we have discussed the importance of the Region Of Convergence (ROC). Fig. 1 gives an impression of the Region Of Convergence of 4 different sequences, namely stable, non-stable, causal and non-causal sequences.

Impression of the Region Of Convergence (ROC) of stable, non-stable, causal and non-causal sequences.
Impression of the Region Of Convergence (ROC) of stable, non-stable, causal and non-causal sequences.



Bounded Input Bounded Output stability

In the module Systems we have seen that Bounded Input Bounded Output (BIBO) stability can very simply be tested by evaluating the sum of absolute values of the impulse response weights as follows: |h[n]|< Multiplying each value of the impulse response by zn and evaluating the result around the unit circle does not change the test for BIBO stability: (n=|h[n]|zn)||z|=1<(H(z))||z|=1< Thus BIBO stability implies that the evaluation of the system function H(z) around the unit circle must result in a finite number. In other words: ROC H(z) must include |z|=1 and as a result this excludes the upper right and lower left sequences out of the four possible sequences as depicted in Fig. 1. Furthermore, it is obvious that no poles my lie inside the ROC: No poles inside ROC



Causality

On the one hand in the module Systems we have seen that causality implies that the values of the impulse response h[n] are zero for negative indices n. In other words the impulse response must be a right-sided sequence: h[n]=0 for n<0 On the other hand from the module Z-transform we have seen that the Z-transform of such a right-sided sequence has a ROC which is outside a circle: ROC H(z) exterior circle which excludes the upper and lower right sequences out of the four possible sequences as depicted in Fig. 1.



Realizability

A system can be realized in practice when the system is both stable and causal, which excludes the upper right lower left and right sequences out of the four possible sequences as depicted in Fig. 1. Thus all poles of a stable and causal LTI system H(z) must lie inside the unit circle:

All poles must lie inside (or on) unit circle We will study the realizability in the following two examples: a first order and a second order system. These two systems are of special interest, because both first and second order systems are the basic building blocks for higher order systems.

Realizability first order system

Fig. 2 shows a first order recursive filter with one feedback loop, which is weighted by the parameter a.

Example of a first order recursive system.
Example of a first order recursive system.

Via the difference equation and its representation in the Z-domain, we can find the system function H(z) which has, besides a zero in z=0, one pole which is located at z=a. y[n]=x[n]+ay[n1]Y(z)=X(z)+az1Y(z) H(z)=Y(z)X(z)=11az1 Pole @ z=a According to the previous discussion, the system is both stable and causal, when the pole is within the unit circle. This implies that the absolute value of the feedback parameter a of the given first order recursive system has to be smaller than 1:  System realizable for |a|<1

Alternative view

An alternative view of the causal and stable properties of this first order system can be found as follows: When the absolute value of the complex variable z is larger than the absolute value of the feedback parameter a, the system function H(z) can be expanded as the following geometric expression: H(z)=11az1=|z|>|a|k=0akzk Via the Inverse Z-transform this results in an exponential expression for the impulse response h[n] h[n]=k=0akδ[nk] From this expression it follows that the exponential function is a right sided and causal function, since the impulse response does not have negative indices and the first index is zero. Furthermore, when the absolute value of the feedback parameter a smaller than 1, the exponential function is decaying and stable and indeed for |a|<1 the pole of the system is inside the unit circle and the unit circle is included in the ROC.

Realizability second order system: Stability triangle

The system function of a second order feedback system, with the two feedback parameters a1 and a2, is as follows: H(z)=11a1z1a2z2 The denominator can be spilt as a product of two first order systems with poles α1 and α2 as follows: H(z)=1(1α1z1)(1α2z1) Combining these two expressions: (1)H(z)=11a1z1a2z2=11(α1+α2)z1+α1α2z2 leads to the following relations between the feedback parameters and the poles: a1=α1+α2 and a2=α1α2 Together with the fact that for a stable system both poles must lie inside the unit circle this leads to the following restrictions for the feedback parameters: |a2|<1and|a1|<1a2 These restriction can be represented in the so called ‘stability triangle’, as depicted in Fig. 3.

Stability triangle denoting the restriction of the feedback parameters of a second order system to be stable.
Stability triangle denoting the restriction of the feedback parameters of a second order system to be stable.
Finally it is noted that the poles of equation (1) can be found by the following expression: α1,2=a12±12a12+4a2 From this it follows that the region for complex roots is defined by the area below the given parabola a12+4a2=0 as depicted in Fig. 3.

Example


Calculate the poles of the system as depicted in the following figure:
example4a.
Furthermore calculate the system function H(z) and the impulse response h[n]. Finally, what does the system represent.
The poles of the shown system can be found by first evaluating the system function: H(z)=Y(z)X(z)=z112cos(θ0)z1+z2 By using the Euler expression for the cos(θ0) term it follows that the system has two poles which are located on the unit circle at angles ±θ0: H(z)=z11(ejθ0+ejθ0)z1+z2=z1(1ejθ0z1)(1ejθ0z1) as depicted in the following Pole-Zero plot:
example4b.
As discussed in the module about the Z-transform we can split this last expression for H(z) into two first order terms H(z)=12jsin(θ0)(11ejθ0z1+11ejθ0z1) which leads via the Inverse Z transform table to the following expression for the impulse response: h[n]=csin(nθ0)u[n]with constantc=1sin(θ0) The system represents a discrete oscillator: In other words, when starting with an empty system and using a delta pulse as input, the system generates an output signal y[n] which behaves as a sinusoidal signals with frequency θ0. The amplitude of this sinusoidal signal is equal to the contant c which is equal to 1 divided by sin(θ0)