Abstract

The aim of this paper is to introduce the space of roots to study the topological properties of the spaces of polynomials. Instead of identifying a monic complex polynomial with the vector of its coefficients, we identify it with the set of its roots. Viète's map gives a homeomorphism between the space of roots and the space of coefficients and it gives an explicit formula to relate both spaces. Using this viewpoint we establish that the space of monic (Schur or Hurwitz) aperiodic polynomials is contractible. Additionally we obtain a Boundary Theorem.

1. Introduction

It is well known that for the stability of a linear system it is required that all the roots of the corresponding characteristic polynomial have negative real part in other words, is a Hurwitz (stable) polynomial. There are various approaches to decide if a given polynomial is Hurwitz. Maybe the most popular of such methods is the Routh-Hurwitz criterion. Other important approaches are Lienard-Chipart conditions and the Hermite-Biehler Theorem (see Gantmacher [1], Lancaster and Tismenetsky, [2] and Bhattacharyya et al. [3]). On the other hand, to have the stability of a discrete time linear system it is necessary that all of the roots of the characteristic polynomial are strictly within the unit disc. A polynomial with this property is named Schur polynomial. Maybe Jury’s test is the most studied criterion for checking if a given polynomial is a Schur polynomial [4], but also there exists the corresponding Hermite-Biehler Theorem for Schur polynomials [5] or we can mention as well the Schur stability test [3]. In addition to the stability of polynomials another important problem is the aperiodicity condition, which consists in obtaining from a (continuous or discrete) stable system a response that has no oscillations or has only a finite number of oscillations. Mathematically this requires that all the roots of the characteristic polynomial are distinct and on the negative real axis, for the case of continuous systems; and distinct and in the real interval for the discrete case. Criteria to decide if a system is aperiodic are given for instance in [612]. An important reference where Hurwitz and Schur stability and aperiodicity are studied is the book of Jury [13].

However, if a continuous or discrete system is modeling a physical phenomenon then it is affected by disturbances. Consequently it is convenient to think that there are uncertainties in the elements of the matrix and then there are uncertainties in the coefficients of the polynomial ; that is, we have a family of polynomials and we like to know if all of the polynomials are Schur or Hurwitz polynomials (if the family is stable). The study of the stability of various families of polynomials has attracted the attention of a lot of researchers. The most famous result about families of polynomials is without doubt the Kharitonov Theorem which gives conditions for Hurwitz stability of interval polynomials [14]. There exists an analogous result to Kharitonov’s Theorem for Schur polynomials [15] and also results about segments of Schur polynomials (see [16] or [3]). Results on balls of Schur and Hurwitz polynomials can be found in [17]. In the case of Hurwitz polynomials, the stability of segments of polynomials has been studied in [1821]. The stability of rays and cones of polynomials has been studied in [22, 23]. Other studied families are polytopes of polynomials and here the most important result is the Edge Theorem [24] which says that the stability of a polytope is determined by the stability of its edges. Good references about families of Hurwitz and Schur polynomials are the books of Ackermann [25], Barmish [26], and Bhattacharyya [3]. The problem of robustness for the aperiodicity condition has been worked in [2730]. About the specific case of intervals of aperiodic polynomials we can mentioned the works of Foo and Soh [31] and Mori et al. [32].

To define and study these families, one uses the fact that a real polynomial can be identified with the vector of its coefficients . Then the set of real polynomials up to degree can be identified with and the sets of Schur and Hurwitz polynomials can be seen as sets contained in . Using this approach, several topological and geometric properties of the spaces of Schur and Hurwitz polynomials have been studied. For instance, it is known that the space of Schur polynomials is an open set [3, Theorem 1.3]; it is not a convex set [16] and it is a contractible set [33]. On the other hand, it is known that the space of Hurwitz polynomials of degree is an open set (see [3]) and it is not connected, since the coefficients of a Hurwitz polynomial have the same sign ([1]). However, the set of Hurwitz polynomials with positive coefficients, , is connected ([3, 34]) and it is a contractible space [35]. Furthermore it is known that is not convex ([18, 19, 21, 23]).

The aim of this paper is to present a The aim of this paper is to present a different viewpoint in the study of topological properties of the spaces of Schur and Hurwitz (aperiodic) polynomials which is more natural since the definition of such polynomials is in terms of their roots. Instead of identifying a monic complex polynomial with the vector of its coefficients, we identify it with the set of its roots , where and for . It is well known that the space of roots is homeomorphic to the space of the coefficients and Viète’s map gives an explicit formula to relate both spaces.

Using this viewpoint we give simple proofs of some known results about the topology of the spaces of Schur and Hurwitz polynomials; for instance, we give a direct proof (see Section 6) that the space of Hurwitz polynomials of degree with positive (resp. negative) coefficients is contractible. Additionally we prove that the space of monic (Schur or Hurwitz) aperiodic polynomials is contractible and we establish a Boundary Theorem; these results have not been reported in control literature. We would like to emphasize that despite Viète’s map and the space of roots are well known in Mathematics, they have not been used explicitly (see Remark 7.2) to prove the aforementioned results and our contribution is to give simpler proofs using them. Compare Theorem 4.3 with [33, Lemma 1] and Theorem 4.4 with [35, Corrolary ] and see Section 6 of the present paper.

One could also study a broad variety of families of polynomials directly in the space of roots and via Viète’s map to get the corresponding results in the space of coefficients. In this way we use a topological approach to study the spaces of polynomials. Other works where topological and geometric ideas have been applied in control theory are the papers [3644]. The rest of the paper is organized as follow: in Section 2 we introduce the concept of Hurwitz or Schur (aperiodic) vector and we give some notation which will be useful in the proofs; in Section 3 we write some known results; in Section 4 we define the space of roots, which is the approach that we suggest in this paper; in Section 5 we establish the main results; in Section 6 some observations about the relation between Schur and Hurwitz polynomials are given; in Section 7 two remarks are included to explain the relation of our paper with other previous works; finally, some final conclusions are established in Section 8.

2. The Spaces of Schur, Hurwitz, and Aperiodic Polynomials

Let be either the real or the complex numbers. Consider the set of polynomials in one variable, of degree less than or equal to , with coefficients in . The set is a vector space and choosing the monomials as a basis, we can give explicitly an isomorphism between and identifying the polynomial with the vector in . Clearly and under the isomorphism corresponds to the hyperplane defined by the equation . Thus the set of polynomials of degree with coefficients in , denoted by , corresponds to the set . If we denote by the set of monic polynomials of degree , then it corresponds to the hyperplane in defined by the equation , that is, vectors in of the form . Usually we will identify directly with , identifying the monic polynomial with the vector , we shall use square brackets to avoid confusion with its corresponding vector

Using this isomorphism we can endow (respectively ) with the Hermitian (respectively Euclidean) inner product and its induced topology. Also we can think of the inclusion of the set of real polynomials in the set of complex polynomials as the inclusion of in .

A (real or complex) polynomial is called a Schur polynomial if all its roots are in the open unit disk . The polynomial is called a Schur aperiodic polynomial if all its roots are distinct, real, and in the interval .

A (real or complex) polynomial is called a Hurwitz polynomial if all its roots have negative real part. The polynomial is called a Hurwitz aperiodic polynomial if all its roots are distinct, real, and negative.

Following [34], we call a vector   Schur, Schur aperiodic, Hurwitz, or Hurwitz aperiodic if it corresponds, respectively, to a Schur, Schur aperiodic, Hurwitz, or Hurwitz aperiodic polynomial under the aforementioned isomorphism.

Let be the sets of Schur vectors in and let denote the set of Schur vectors which correspond to Schur polynomials of degree . Then we have that

Analogously, let be the sets of Hurwitz vectors in and let denote the set of Hurwitz vectors which correspond to Hurwitz polynomials of degree . Then we have that

In the same way, let and be, respectively, the sets of Schur aperiodic and Hurwitz aperiodic polynomials. Then the previous decompositions restrict to the subsets of aperiodic polynomials

From the fact that if the polynomials corresponding to and have the same roots for any with , we have that if (resp., , , ), then (resp. , , ) for any . Therefore, to study the space (resp. , , ) it is enough to study the space of monic Schur (resp. Hurwitz, Schur aperiodic, Hurwitz aperiodic) polynomials of degree with coefficients in , which we will denote by (resp. , , ). In the case of and we drop the superscript since the coefficients of a monic (Schur or Hurwitz) aperiodic polynomial are real, because all of its roots are real. If is any of , , , or , and is the corresponding set of monic polynomials, we have that where .

In the case of real polynomials we can say more. Since we are mainly interested in real polynomials we shall denote simply by , simply by , and so forth. As before, if is any of , , , or , and is the corresponding set of monic polynomials, we have that the space is homeomorphic to the disjoint union of two cylinders over the space of corresponding real monic polynomials , that is

For the case of real Hurwitz polynomials we can give an explicit description of each of such cylinders. The coefficients of a real Hurwitz polynomial have the same sign [1], therefore we can express it as the union of two sets where and are, respectively, the set of real Hurwitz vectors with positive and negative coefficients. If , then , that is, . Hence, to study the space it is enough to study (compare with [34, Proposition 2.1]). In fact, topologically the space is homeomorphic to one of the aforementioned cylinders over the space , that is, geometrically it corresponds to a cone in over with vertex at the origin (not including the vertex). This is expressed by the following map which maps diffeomorphically onto in where we identify a monic polynomial with a vector in as before.

Hence we have that Analogously, and .

3. Symmetric Products, Configuration Spaces, and Viète’s Theorems

Let be the symmetric or permutation group of the set . Let be a topological space and let be its th Cartesian product for . Consider the action of on given by permutation of coordinates The orbit space of this action endowed with the quotient topology, is called the th symmetric product of . The equivalence class of the -tuple will be denoted by . Notice that an element is a set of elements of without order.

Denote by the set of -tuples of distinct points in , that is, By definition and clearly are invariant under the action of , hence; the orbit space called the th configuration space of , consists of the sets of distinct elements of without order. Also by definition we have that .

Consider the -sphere as the Riemann sphere consisting of the complex numbers together with the point at infinity, denoted by . Also consider the complex projective space of dimension as the quotient space identifying with for nonzero . We denote the equivalence class of using homogeneous coordinates . If as before we identify with a polynomial of degree less than or equal to , then the class consists of all the polynomials which have the same roots as . Since in every class there is a vector which represents a monic polynomial, we can think of as the space of complex monic polynomials of degree less than or equal to and we shall denote it by .

A point in is an unordered -tuple of complex numbers or . There exists a nonzero polynomial, unique up to a nonzero complex factor, of degree less than or equal to whose roots are precisely , where we consider to be a root of the polynomial if its degree is less than . Considering the coefficients of this polynomial as homogeneous coordinates on we get a map from to called Viète’s projective map. This map can be written explicitly as follows.

Let , be the elementary symmetric polynomials in variables which are defined as follows: Let , then we have that so the polynomials descend to the th symmetric product giving continuous functions Viète’s projective map assigns to the class in corresponding to all the complex polynomials with roots . To simplify notation we omit the argument of the polynomials since the superindex means to evaluate in the finite roots: We have the following known theorem; see, for instance, [45, Bei. 3.2], [46, Exa. 5.2.4] or [47, Section 10.2 and App. A].

Theorem 3.1. Viète’s projective map is a homeomorphism between and .

Proof (Sketch). Viète’s projective map is a continuous bijection from a compact space to a Hausdorff space and therefore a homeomorphism.

Clearly is contained in as the -tuples which consist only of complex numbers, without ’s. We have that under the Viète’s projective map the image of consists of the classes in which corresponds to polynomials of degree exactly , that is, classes of the form . Since each class has a monic polynomial as a representative, we can identify the image of with the space of monic polynomials of degree , which we know is homeomorphic to .

The restriction of Viète’s projective map to is given by where the vector in corresponds to the monic complex polynomial with roots . We denote it also by and we call it Viète’s map.

Hence, as a corollary of Theorem 3.1 we get the classical Viète’s Theorem

Theorem 3.2. Viète’s map is a homeomorphism between and .

There are results related to Viète’s Theorems which are consequence of a classical theorem by Maxwell [48]; see [49] or [47, Section 10.2 and App. A].

4. The Space of Roots

Let denote the th symmetric product . We call the space of roots of complex polynomials of degree . Notice as before, that an element of is a set of complex numbers without order.

What Theorem 3.2 says is that to study the topological properties of a subspace of monic complex polynomials, it is equivalent to parametrize them in terms of their coefficients or in terms of their roots.

We define the following subspaces of . (i) The space of roots of real polynomials: Clearly its image under Viète’s map is which is homeomorphic to the space of monic real polynomials. (ii)The space of roots of complex Schur polynomials: Its image under Viète’s map is the set of monic complex Schur polynomials . (iii)The space of roots of real Schur polynomials: Its image under Viète’s map is the set of monic real Schur polynomials .(iv) The space of roots of Schur aperiodic polynomials: let , Its image under Viète’s map is the set of monic Schur aperiodic polynomials . (v)The space of roots of complex Hurwitz polynomials: Its image under Viète’s map is the set of monic complex Hurwitz polynomials . (vi)The space of roots of real Hurwitz polynomials: Its image under Viète’s map is the set of monic real Hurwitz polynomials . (vii)The space of roots of Hurwitz aperiodic polynomials: denote by the negative real axis, Its image under Viète’s map is the set of monic Hurwitz aperiodic polynomials .

As an example of the use of the space of roots we get simple proofs of some known results about the topology of the spaces and .

Proposition 4.1. The spaces and are open in .

Proof. It is clear from the definition of the spaces and that they are open subset of ; therefore under Viète’s homeomorphism and are open in . On the other hand, and are open in and therefore and are open in .

Proposition 4.2. The boundary consists of all coefficient vectors in which correspond to polynomials with all their roots in and which have at least one root on .
The boundary consists of all coefficient vectors in which correspond to polynomials with all their roots in and which have at least one root on .

Proof. By the definition of the spaces , , , and , their boundaries are given by Using the homeomorphism given by Viète’s map we get the proposition.

Let , a topological space is contractible if there exists a homotopy that starts with the identity and ends with the constant map , for some . Such a homotopy is called a contraction.

The following theorem is proved in [33, Lemma 1] (see Remark 7.2).

Theorem 4.3. The spaces and are contractible. Therefore the spaces and are contractible.

Proof. The following homotopy gives a contraction of to the point If , by definition we have that , and since , we have that for all and therefore the contraction restricts to a contraction proving that is contractible.
For the case we just need to check that if we have a pair of conjugate roots, say , they stay a conjugate pair through all the homotopy, but clearly for all . Therefore the contraction restricts to a contraction proving that is contractible.

The following Theorem is indicated in [35, Corrolary , Ex. 13] (see Section 6).

Theorem 4.4. The spaces and are contractible. Therefore the spaces and are contractible.

Proof. The following homotopy is a contraction of to the point : If , by definition we have that Hence which has negative real part for all . Therefore the contraction restricts to a contraction proving that is contractible.
For the case when we just need to check that if we have a pair of conjugate roots, say and , they stay a conjugate pair through all the homotopy. From (4.12) we have that which are conjugate for all . Therefore the contraction restricts to a contraction proving that is contractible.

Recall that a topological space is said simply connected if it is path connected and for some base point the fundamental group is trivial (see [46, Section 2.5] for the definition of fundamental group).

Corollary 4.5. The spaces , , , and are connected and simply connected.

Proof. The space is connected because the contraction in the proof of Theorem 4.3 gives a path contained in from any set of Schur roots in to the set .
All the homotopy groups of a contractible space are trivial [46, Theorem (g)], in particular the fundamental group, therefore is simply connected. Since is homeomorphic to , it is also connected and simply connected.
The proof for the spaces and is analogous using the contraction in the proof of Theorem 4.4 and the set .

Corollary 4.5 for the space is proved in the article [34, Lemma , Theorem 2.1] but there is a mistake in the part of the simply connectedness (see Remark 7.1).

Corollary 4.6. The spaces and are homotopically equivalent to a circle .

Proof. Let be or . By (2.6) we have that is homeomorphic to which is homotopically equivalent to a circle , since by Theorem 4.3, is contractible and is homotopically equivalent to a circle .

Corollary 4.7. The spaces and consist of two contractible connected components. For these contractible connected components are and .

Proof. Let be or . By (2.7) we have that ; by Corollary 4.5, is connected and therefore and are the connected components of , with each of them being contractible, since by Theorems 4.3 and 4.4, is contractible, and the product of two contractible spaces is contractible. By (2.8) and (2.9), are the connected components of .

5. The Topology of the Spaces of Aperiodic Polynomials

In this section we shall study the topology of the spaces of Schur and Hurwitz aperiodic polynomials and . As we saw at the end of Section 3, it is enough to study the spaces of monic polynomials and ; these in turn, by Theorem 3.2 and Section 4 are, respectively, homeomorphic to the spaces of roots of Schur aperiodic polynomials and roots of Hurwitz aperiodic polynomials . Recall that where is the th configuration space of , , and is the negative real axis.

Theorem 5.1. The spaces and are contractible. Therefore the spaces and are contractible.

Proof. Since the spaces and are homeomorphic, and these in turn are homeomorphic to the real line , we have that therefore, it is enough to prove that the space is contractible.
The space is precisely minus all the hyperplanes of the form with , which consists of ! connected components all of them contractible, since they are convex subspaces of . When we take the quotient of by the action of the symmetric group to get , all the ! connected components are identified in single contractible connected component.

The fact that the space is contractible is a very well-known result in topology but its identification with the space of monic aperiodic polynomials, we believe, is new in control theory.

The proofs of the following corollaries are analogous to the proofs of Corollaries 4.5, 4.6, and 4.7, respectively.

Corollary 5.2. The spaces , , , and are simply connected.

Corollary 5.3. The spaces and are homotopically equivalent to a circle .

Corollary 5.4. The spaces and consist of two contractible connected components. For these contractible connected components are and .

If is any of , , , or , as a consequence of Corollaries 4.7 and 5.4, all the homotopy groups of are trivial (see [46, Theorem (g)]). In other words, we have the following theorem (see [46, Lemma ]).

Theorem 5.5 (Boundary Theorem). If is the image of an -sphere under a continuous map , for any , then can be extended to a continuous map , where is a closed ball of dimension and .

6. The Relation between Schur and Hurwitz Polynomials

Theorem 4.3 was proved by Fam and Meditch in [33, Lemma 1] giving an explicit contraction in the space of monic Schur vectors. Their result is stated only for the space of real monic Schur polynomials although their contraction also works for the space of complex monic Schur polynomials . If we compose the contraction of Theorem 4.3 with Viète’s map we obtain the contraction given by Fam and Meditch (actually the reversed contraction, interchanging by ; also compare with [35, Proposition ]).

Theorem 4.4 is set as an exercise in [35, Corrolary , Ex. 13]; it is only stated for real monic Hurwitz polynomials but it can also be proved for complex monic Hurwitz polynomials. The proof indicated is an indirect one since it is based on the contractibility of the space and the following transformation to relate Schur and Hurwitz polynomials. Consider the Möbius transformation It is a biholomorphism from the Riemann sphere onto itself which transforms the open left half plane onto the open unit disk and vice versa, since . In particular we have that , . It is also important to notice that if , with , then and if then .

Let and suppose it has roots . Define the Möbius transform By This is a linear isomorphism; it is involutive modulo a non-zero constant, that is, , and one of its main properties is that if of degree with , is a Schur polynomial if and only if is a Hurwitz polynomial of degree ; moreover has roots (see [35, Lemma ] for further properties).

From the fact that if then and if then we have that if is a real polynomial then its Möbius transform is again a real polynomial. However from (6.3) we can see that the Möbius transform of a monic polynomial in general is not a monic polynomial since the leading coefficient of in this case () is given by . Therefore we cannot use directly the Möbius transform to relate with . To avoid this problem one defines the normalized Möbius transform of by In this way we get a continuous map By the aforementioned property of we have that restricting to we get the homeomorphism which is its own inverse, that is, .

Now we can use the normalized Möbius transform to prove that is contractible. Let be the contraction of given by the image of the contraction in the proof of Theorem 4.3 under Viète’s map.

Define the contraction by , that is, following the diagram. xy(6.7) The contraction contracts the space to the Schur vector , which corresponds to the polynomial , then the contraction contracts the space to the Hurwitz vector which corresponds to the polynomial , since the normalized Möbius transform of is .

Using the space of roots we can give a simpler proof of the homeomorphism between the space of degree monic Hurwitz polynomials and the space of degree monic Schur polynomials . The proof is simpler in the sense that one does not need any of the properties of the Möbius transform given in [35, Lemma ] but only the fact that the Möbius transformation (6.1) is a homeomorphism which transforms into . The Möbius transformation given in (6.1) induces a homeomorphism from the th Cartesian product of the Riemann sphere onto itself. This homeomorphism is equivariant with respect to the action of and therefore it induces a homeomorphism on the th symmetric product of such that . Since maps homeomorphically the open left half plane onto the open unit disk , it is clear that maps the space of Hurwitz roots homeomorphically onto the space of Schur roots . The space is homeomorphic to the space and the space is homeomorphic to the space via Viète’s map. Therefore and are homeomorphic.

Remember that can be thought as the space of complex monic polynomials of degree less than or equal to , denoted by , and that Viète’s projective map is a homeomorphism . Combining Viète’s projective map with the homeomorphism , we get a natural homeomorphism from to itself given by the following diagram: xy(6.9) given explicitly as follows. Let and suppose it has roots , that is, , then the monic polynomial with roots . Remember that we consider to be a root of the polynomial if its degree is less than . Therefore the homeomorphism is precisely the normalized Möbius transform ; to see this, compare (6.10) with (70) in the proof of Lemma  3.4.81 in [35] when is monic of degree .

7. Two Remarks

We have the following two remarks about previous works.

Remark 7.1. The proof of Theorem  2.1 in [34] that the space ( in notation of [34]) is simply connected is not correct. In Lemma A3 the space which is homeomorphic to , is expressed as the union of two open connected subsets and with common boundary , that is, Then the argument is that if is not simply connected, then is not connected and this contradicts the connectivity of . This argument is valid only in dimension (i.e., in ) but it is not true in higher dimensions. One counterexample is to consider the subset of given by a closed solid torus which is the solid obtained rotating the -disk in the plane with center in , that is, , around the -axis, giving the shape of a “doughnut.” The space is homeomorphic to . Denote by the interior of the torus, by its boundary, and by the complement of in . Then , with and being open and connected with common boundary . The space is not simply connected because it is homotopically equivalent to a circle . Also in , even if was homeomorphic to a -sphere , the unbounded component of is not necessarily simply connected; an example of this is the famous Alexander Horned Sphere (see [50, Example ]).
A counterexample in dimension is similar taking . The same mistake is also made in [51, Theorem 3.2].
Now with the proof that is contractible (Corollary 4.7), in particular simply connected, the Edge and Boundary Theorems of [34], which use as a main ingredient the simple connectivity of , remain valid.

Remark 7.2. The approach of using the roots space has been used implicitly in previous studies of spaces of polynomials. For instance, in [33, Lemma 1] to prove the contractibility of the space of real monic Schur polynomials , implicitly they proved the contractibility of the space of roots which are in the open disk in the complex plane. Also in [34, Lemma ] to prove that is connected, they implicitly constructed a path in the space of roots.

8. Conclusions

Viète’s map gives an explicit homeomorphism between the space of roots and the space of monic complex polynomials . Restricting this homeomorphism to the spaces of Schur and Hurwitz (aperiodic) roots one can study in a more natural way some topological properties of the spaces of Schur and Hurwitz (aperiodic) polynomials. Using this viewpoint we give simple proofs of some topological properties of the spaces of Schur and Hurwitz polynomials; in particular we prove that the spaces and of Hurwitz polynomials of degree with positive and negative coefficients, respectively, are contractible and therefore simply connected. As a new result we prove that the spaces of monic Schur aperiodic polynomials and of monic Hurwitz aperiodic polynomials are contractible. As a consequence of the contractibility of the spaces , , , or , we get the Boundary Theorem given in Theorem 5.5.

Also using the space of roots and Viète’s projective map we see that the normalized Möbius transform is a natural transformation from the space of complex monic polynomials of degree less than or equal to to itself, instead of just being seen as a “correction” to the Möbius transform to get monic polynomials. It gives a homeomorphism between the space of monic (complex or real) Schur polynomials and the space of (complex or real) Hurwitz polynomials.

Acknowledgments

The second author would like to thank Carlos Prieto, Ricardo Uribe, and Miguel A. Xicoténcatl for some very helpful conversations. Partially supported by DGAPA-UNAM: PAPIIT IN102208 and CONACYT: J-49048-F. Partially supported by CONACYT by means CB-2010/150532.