1. Introduction
The subject of continued fractions and its applications to both continuous and discrete systems have a long history and continue to impact research in various stability contexts [
1,
2,
3,
4,
5,
6,
7,
8,
9]. The discovery of interesting relationships between continued fraction expansions and Schur polynomials, i.e., polynomials having their zeros inside the unit circle [
1], led to several investigations into the stability of polynomials via continued fractions.
In a recent work [
10], the symmetric properties between Routh–Hurwitz and Schur–Cohn stability types were highlighted. In [
10], the test functions of each of these stability types were expanded in continued fraction forms satisfying specific conditions.
In the Routh–Hurwitz case; Theorem 3 of [
10], the coefficients of the continued fraction expansion of the test function associated with the characteristic polynomial of the system are relatively easy to obtain using sequential long division. In the Schur–Cohn case; Theorem 4 of [
10], generating such coefficients is far from trivial. The aim of this paper is to develop a systematic procedure for generating the coefficients of the continued fraction expansion in the Schur case and to illustrate the procedure through an engineering application to the stability of two-dimensional digital filters.
It should be noted that assessing the stability of 2-D digital filters requires one to check the location of the zeros of complex polynomials [
11]. Hence, all polynomials considered in this paper have complex coefficients.
In
Section 2, we lay out some definitions, notations, and the required results from [
10]. In
Section 3, we provide a systematic procedure to generate the coefficients of the continued fraction expansion associated with a Schur stable polynomial. The feasibility of the procedure is illustrated in
Section 4. An application to the stability of 2-D digital filters is advanced in
Section 5 to verify the proposed method.
2. Definitions and Notations
A reminder of the required definitions and results established in [
10].
Definition 1. A linear discrete-time system of difference equations is stable if and only if all its eigenvalues lie inside the unit disc. Ifis 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 stable. Definition 2. The reciprocal of g is defined by . Then, Then, gτ can be written as where denotes the complex conjugate of for
Definition 3. The test function of the given discrete-time system is defined by Theorem 1 ([
10] Theorem 4)
. The linear discrete-time system of difference equations characterized by (1) is stable if and only if the test function Ψ(z) defined by (2) can be written in the continued fraction expansion This expansion in is known as the bilinear transformation. 3. A Procedure to Generate the Coefficients of
Motivated by [
12], we would like to substitute the variable
Therefore, we define the function
T (
s) in the following way:
can now be written as
We begin by breaking up the above form of
in the following way. Define
The following theorem determines the values of the coefficients of (3).
By changing the indices, the last form can be written as:
By a simple application of L’Hopital rule, we get:
Going back to the expression of
in (4),
That leads to the desired conclusion:
The next theorem determines the values of the coefficients of (3) in addition to some important relations which will prove useful in generating the required coefficients.
Theorem 3. where as determined in Theorem 2. In addition, the following two relations hold: Proof.
Consider the expression of
as in (5) from which we subtract
Isolate the first term in the first two summations in the numerator of the last expression,
By changing indices in the second summation in the numerator, we get
Combining like terms leads to
Taking
as a common factor in both the numerator and denominator leads to:
On the other hand, returning to the expression of
as in (4),
In addition, using the expression of
which is inverted to,
We already proved relation (6), which is
hence,
By changing indices in the numerator and denominator of the right-hand side, we get
The above equation leads to the following three conclusions:
1.
In addition,
and
4. Feasibility of the Procedure
We shall illustrate the feasibility of the above procedure by applying it to a 3rd degree Schur polynomial.
We reconsider the same example we addressed in Example 2 of [
10], but instead of the trial-and-error approach we used there, we shall apply the above systematic procedure to obtain the coefficients of the continued fraction expansion.
Consider the Schur polynomial
whose zeros are
all lying inside the unit disc.
Therefore, the test function can be written as
We would like to expand
in the form
In addition, by Theorem 2,
It is no surprise that the ks are all zeros since by Theorem 1 they are either 0 or pure imaginary. So, they must be zero because the given polynomial is of real coefficients. We wanted to show via calculations that the k’s are zero to match the application with the theory.
5. Application of the Procedure
In this section, we present an application of the above results to test the bounded input bounded output (BIBO) stability of two-dimensional digital filters. Specifically, we shall prove the relationship between BIBO stability and the procedure introduced in
Section 3.
BIBO stability has been characterized in several equivalent ways of which we shall mention the following two.
Theorem 4 [
13].
The general two-dimensional complex digital filter is BIBO stable if and only if Based on the work of Ansell [
14], Huang [
15] proved an equivalent result to that of Justice and Shanks which states the following:
Theorem 5 [
15].
the following two conditions hold:and Other equivalent conditions for BIBO stability can also be found in Strintzis [
16] and DeCarlo et al. [
17].
In this section, we shall follow the conditions of Huang [
15] to assess BIBO stability.
Consider the two-dimensional digital filter characterized by
Theorem 6. Proof.
It can be verified that the zeros of which all lie outside the closed unit disc.
The following theorem illustrates the relationship between condition (9) of BIBO stability, and the procedure introduced in
Section 3.
Theorem 7. Condition (9) of BIBO stability of the systemis satisfied if and only if the test function associated with the functioncan be expanded in the continued fraction form Proof.
We need to realize that the function
is the reciprocal of the polynomial
introduced in
Section 4.
Following the steps in the procedure of
Section 4, the theorem is established.
Theorem 8. defined in (2) is a complex discrete reactance function.
Proof.
We apply the procedure used by Reddy and Rajan [
11]. On top of page 1691 in [
11], the functions
which Reddy and Rajan call the para-odd and para-even parts are exactly the numerator and denominator, respectively, of our test function (2) defined in
Section 2, and therefore their function,
Since is already condition (10) is thus satisfied, and that proves the theorem. □
Now, system (11) satisfies both conditions (9) and (10) and is therefore BIBO stable.
The author thanks the referees for their suggestions, which certainly improved the quality of the paper.