1. Introduction
The problem of eigenvalue distribution of systems of differential equations with respect to a given curve in the complex plane has been intensively studied. The curves mainly used are the imaginary axis and the unit circle. The Routh–Hurwitz stability test for the imaginary axis and the Schur–Cohn stability test for the unit circle are the most celebrated ones, and very efficient algorithms have been explored to handle these two types.
The Routh–Hurwitz criterion addresses the stability of continuous-time systems of differential equations, which requires that the eigenvalues of the system lie in the left-half of the complex plane. It was thoroughly investigated by Hermite, Routh and Hurwitz. Their contributions were further advanced by Lienard and Chipart (see [
1,
2,
3]. Howland uses quadratic forms to achieve similar objectives [
4]. The Routh–Hurwitz stability criterion remains the backbone of stability analysis of linear systems and has been tremendously applied to resolve several issues in mathematics and its applications, especially in the design of digital filters and other networks.
On the other hand, the Schur–Cohn criterion addresses the stability of discrete-time systems of difference equations, which requires that the eigenvalues lie inside the unit circle. It was explored by Schur, Cohn and others (look at [
2,
5,
6,
7]). The Schur–Cohn stability criterion is essential in various areas, such as digital signal processing, control theory, spectral analysis, numerical computations and many others. The root distribution of polynomials in other sub-regions of the complex plane has also been investigated by many authors [
8].
It is often noticed in the literature that some interesting result about stability in the Hurwitz sense, for example, triggers an interest in the corresponding question in the Schur sense, and vice versa (see [
9] for example).
The current work is motivated by several attempts to give a common interpretation to the algorithms for testing the stability for continuous-time (RH) and discrete-time (SC) systems, by invoking the intimate relationships that might prevail between these stability structures. For example, the notion of positive para-oddness is playing an increasingly effective role in the stability analysis of continuous-time systems. For discrete-time systems, the notion of para-oddness is mirrored by complex discrete reactance functions, which are the discrete-time counterpart of positive para-odd functions. For some recent work in this direction, see Ref. [
10].
In
Section 2 of the current work, we highlight in a systematic way the symmetries that exist between these two types of stability. In
Section 3, we provide detailed proof of the key theorems presented in
Section 2. In
Section 4, we provide numerical illustrations. We end in
Section 5 with some concluding remarks.
2. Symmetry between Schur–Cohn and Routh–Hurwitz
We shall list the Routh–Hurwitz related definitions and theorems in the left column and their Schur–Cohn definitions and theorems counterparts in the right one. The properties listed below highlight in a striking manner the strong correlations between these two types of stability. At least in the opinion of the author, such correlations would form a firm basis for any further investigations into the common nature of the Routh–Hurwitz and the Schur–Cohn stability criteria.
Definition 1. A linear continuous-time system of differential equations is stable if and only if all its eigenvalues lie in the left half-plane. Ifwith real or complex coefficients and n a non-negative integer, is the characteristic polynomial of the system, then the system is stable if all zeros of f (s) lie in the left-half plane. Such polynomials are said to be Routh–Hurwitz stable. Definition 2. The paraconjugate of f is defined by . Then, f∗can be written aswheredenotes the complex conjugate offor
Definition 3. The test function of the given continuous-time Definition 4. A rational function H(s) with complex coefficients is said to be positive if Re[H(s)] > 0 whenever Re s > 0.
Theorem 1. The linear continuous-time system of differential equations characterized by (1) is stable if and only if the test function Φ(s) defined by (2) is a positive function.
Definition 5. A linear discrete-time system of difference equations is stable if and only if all its eigenvalues lie inside the unit disc. Ifwith real or complex coefficients and n a non-negative integer, is the characteristic polynomial of the system, then the system is stable if all zeros of g (z) lie inside the unit disc. Such polynomials are said to be Schur–Cohn stable. Definition 6. The reciprocal of g is defined by. Then, gτ can be written aswheredenotes the complex conjugate offor
Definition 7. The test function of the given discrete-time Definition 8. A rational function K(z) with complex coefficients is said to be a discrete reactance function if Re[K(z)] > 0 whenever |z| > 1.
Theorem 2. The linear discrete-time system of difference equations characterized by (3) is stable if and only if the test function Ψ(z) defined by (4) is a discrete reactance function.
Theorem 3. The linear continuous-time system of differential equations characterized by (1) is stable if and only if the test function Φ(s) defined by (2) can be written in the continued fraction expansion.
Theorem 4. The linear discrete-time system of difference equations characterized by (3) is stable if and only if the test function Ψ(z) defined by (4) can be written in the continued fraction expansion 3. Proof of the Key Results
The proofs of the above four key theorems will now be laid out.
To prove Theorem 1, the following two lemmas are needed.
Lemma 1. Suppose .
Proof .
If .
Hence,
By adding the expression
□
Lemma 2. If f and f* have no common roots and then f is a Hurwitz polynomial if and only if g maps the right-half plane into the unit circle.
Proof .
First, assume that
f is a Hurwitz polynomial. The factored forms of
f and
f∗ can be written as
Since
f is a Hurwitz polynomial, then
Hence
Therefore, g maps the right-half plane into the unit circle.
To prove the converse, assume
whenever
, then
So, f has no roots for Re s > 0, which implies the only possible roots of f when Re s ≥ 0 are purely imaginary.
From the factored forms of f of f∗, any purely imaginary root of f is also a root of f∗, which contradicts the hypothesis that f and f∗ have no roots in common.
Therefore, f has only roots with negative real parts, and f is a Hurwitz polynomial. □
Proof of Theorem 1. Direct calculations lead to
and
by Lemma 2,
f is a Hurwitz polynomial if and only if
But
which is equivalent to
The conclusion is:
f is a Hurwitz polynomial if and only if Re Φ (s) > 0 whenever Re s > 0.
By definition, Φ is a positive function if and only if Re Φ (s) > 0 whenever Re s > 0.
Therefore, f is a Hurwitz polynomial if and only if Φ is a positive function and the proof is complete. □
Proof of Theorem 2. Obviously, the relation is equivalent to , and |z|<1 equivalent to .
From the definition of Hurwitzness Hurwitz, f is a Hurwitz polynomial if and only if for all .
Consider the paraconjugate of
fIf
as defined in Definition 6, then
By definition, the function
is a complex discrete reactance function if and only if
Which is in turn equivalent to the fact that P is a positive function.
, have no zeros in common, if and only and also have no zeros in common.
By [
11] (Theorem 5.1, p. 300),
P is positive if and only if
f is Hurwitz, which is equivalent to
for all
, and that completes the proof. □
The proof of Theorem 3 was established in [
12] (Theorem 3.2, p. 65).
The continued fraction expansion of the above theorem led to the construction of the Extended Routh Array in [
12], which generalized the Routh Array to polynomials with complex coefficients.
Proof of Theorem 4. We can assume that in .
The function
is Schur stable if and only if
as defined in (1) is a Hurwitz polynomial. By [
2] (p. 78),the function
defined in (2) can be written in the form
Since
, we obtain
Substitute dj by hj and tj by kj for j = 1, …, n to obtain the form for Ψ, as in the statement of the theorem.
h0 and k0 can be assumed to be zero, since in the rational function Φ as defined in (2), the degree of the numerator can be 1 less than the degree of denominator, which occurs when the degree of f defined in (1) is even. □
Note how Theorem 2 was obtained from Theorem 1 by using the conformal mapping which is equivalent to .
Additionally, in the proof of Theorem 4, the conformal mapping
was successfully used again to deliver Theorem 4 from the stability test theorem of Ref. [
2] (p. 78).
An interesting connection between continued fraction expansions and systems that are stable with respect to the left-half plane has been established in Ref. [
12]. Theorem 3.2 of [
12] played a key role in the derivation of the ERA, which is the complex counterpart of the Routh Array. Additionally, for discrete-time systems, testing the stability requires the expansion of a discrete reaction function in a continued fraction form. For an excellent survey on continued fraction expansions in stability contexts, we refer to Ref. [
13].
5. Conclusions
The search for a unified approach to the study of eigenvalue distribution with respect to the left-half plane for continuous systems and with respect to the unit disc for discrete systems has been advocated by many eminent researchers in the field. In the current work, we provide a framework to be pursued to reconcile the two most important types of stability, namely Routh–Hurwitz and Schur–Cohn. The striking symmetries between these two types were highlighted. The proof of the main theorems provides further insight into the intriguing relationships that exist between the two stability criteria. The results we established are simply a contribution to various attempts to put different types of stability on common ground. However, many research efforts are still directed toward the search for a unified approach to the study of root distribution, not only for the further theoretical development of this subject, but also for the sake of obtaining simpler and more easily realizable stability criteria in practice.
The author thanks the referees for their suggestions, which certainly improved the quality of the paper.