Hindawi Publishing Corporation Advances in Difference Equations Volume 2011, Article ID 782057, 11 pages doi:10.1155/2011/782057 Research Article Annular Bounds for Polynomial Zeros and Schur Stability of Difference Equations Ke Li1 and Jin Liang2 1 Shandong Key Laboratory of Automotive Electronic Technology, Institute of Automation, Shandong Academy of Sciences, Jinan, Shandong 250014, China 2 Department of Mathematics, Shanghai Jiao Tong University, Shanghai 200240, China Correspondence should be addressed to Jin Liang, jinliang@sjtu.edu.cn Received 7 October 2010; Accepted 30 October 2010 Academic Editor: Toka Diagana Copyright q 2011 K. Li and J. Liang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We investigate the monic complex-coefficient polynomial of degree n, f z : zn an−1 zn−1 · · · a0 in the complex variable z and obtain a new annular bound for the zeros of f z, which is sharper than the previous results and has clear advantages in judging the Schur stability of difference equations. In addition, examples are given to illustrate the theoretical result. 1. Introduction It is well known that many discrete-time systems in engineering are described in terms of a difference equation, and the characteristic equation for the difference equation plays a key role in the study of the behaviors of the solutions, especially the stability of the solutions, to the discrete-time systems. Since the characteristic equations for difference equations are closely related to some complex polynomials, the estimates of the bound for the moduli of various complex polynomial zeros have been investigated by many researchers cf. e.g., 1– 8 and references therein. In the study on this issue, one of meaningful research ideas is to indicate such a common property of a lot of polynomials by a few very special polynomials. Using this idea, a good annular bound by estimating the largest nonnegative zeros of four specific polynomials is given in 8 recently. As a continuation of this work and our paper 4 , in this paper we investigate further the location of the zeros of complex-coefficient polynomials on the basis of such a research idea and establish a new annular bound theorem Theorem 3.1, which improves the previous corresponding result and has clear advantages in judging the Schur stability of difference equations. Examples are given to illustrate the advantages of the new result. 2 Advances in Difference Equations 2. Preliminaries Throughout this paper, we let 2.1 fz : zn an−1 zn−1 an−2 zn−2 · · · a1 z a0 with ai ∈ C, i ∈ {0, 1, 2, . . . , n − 1}, and gz : −1n fzf−z z2n b2n−2 z2n−2 b2n−4 z2n−4 · · · b2 z2 b0 . 2.2 ≡ 0, or, equivalently, b0 / ≡ 0. Without losing the generality, we assume that a0 / Basic notations are as follows. R : {x ∈ R | x < 0}, |z|: the modulus of a complex number z, Zfz : the set of all zeros of fz, Ar, R : {z ∈ C | r ≤ |z| ≤ R} with 0 ≤ r ≤ R, l: the smallest positive integer such that al / 0 in fz, k: the largest positive integer such that ak / 0 in fz, q: the smallest positive integer such that b2q / 0 in gz, p: the largest positive integer such that b2p / 0 in gz, m : the integer part of a real number m. In order to simplify the expressions in our study, we define specially that s 2.3 yi : 0 it for any positive integers s, t s < t, and sequence {yi ∈ C : s ≤ i ≤ t}. This notation is logical and useful in the note. Moreover, we write c1 x : xnl nl−1 |ai−l |xi in1 n 2l−1 |a0 ai | |a0 |2 i ai−l − a0 ai xi − x al |al | |al | i2l il1 2.4 with an 1 and 1 ≤ l ≤ n/2 , c2 x : x2n−k − n−1 |aik−n |xi − ik1 k in−k |aik−n − ai ak |xi − n−k−1 i0 |ai ak |xi 2.5 Advances in Difference Equations 3 with n 1/2 ≤ k ≤ n − 1, d1 x : x 2n2q 2q−1 n 2i b0 b2i 2i |b0 b2i | 2i x − b2i−2q x b2i−2q − x b2q i2q in1 iq1 b2q nq−1 |b |2 0 b2q 2.6 with b2n 1 and 1 ≤ q ≤ n/2 , d2 x : x4n−2p − p n−p−1 n−1 b2ip−n x2i − b2ip−n − b2i b2p x2i − b2i b2p x2i ip1 in−p 2.7 i0 with n 1/2 ≤ p ≤ n − 1, f1 x : xn n−1 |ai |xi − |a0 |, f2 x : xn − k |ai |xi , i0 il 2.8 g1 x : x2n n−1 |b2i |x2i − |b0 |, g2 x : x2n − iq p |b2i |x2i . i0 Remark 2.1. By Descartes’ rule of signs, it is easy to see that for each i ∈ {1, 2}, the polynomial ci xdi x, fi x, gi x has a unique positive zero. We denote by αi , βi , γi , and δi the unique positive zero of ci x, di x, fi x, and gi x, respectively. 3. Main Result The following result is established in 8 . Theorem A see 8 . Zfz ⊂ Au, v , with : max{γ1 , δ1 } and v : min{γ2 , δ2 }. Theorem 3.1. Let 1 ≤ l, q ≤ n/2 , and n 1/2 ≤ k, p ≤ n − 1. Then i Z fz ⊂ Ar, R , 3.1 where r : max{α1 , β1 } and R : min{α2 , β2 } ii Ar, R ⊆ Au, v , 3.2 where u, v are constants as in Theorem A; iii the annular bound of original polynomial fz can be further improved by iterative procedure. 4 Advances in Difference Equations Proof. Define a0 l cz : fz z − al znl − znl n−1 n−1 a2 a0 ai i a0 n z ai zil − z a0 zl − 0 al al al il il nl−1 ai−l zi − i2l znl nl−1 ai−l zi in1 znl nl−1 ai−l zi in1 cz : fz zn−k − ak z2n−k k−1 n a0 ai i a20 z − al al il1 n n a0 ai a2 a0 ai i 2l−1 ai−l zi − z − zi − 0 al al al i2l i2l il1 n z ai zin−k − k n−1 i0 aik−n zi ik1 k aik−n − ai ak zi − n−k−1 ai ak zi , i0 in−k b0 b2q dz : gz z2q − z2n2q 3.4 k aik−n z − ai ak zi i in−k z2n−k ai ak zi i0 n−1 a0 ai a2 a0 ai i 2l−1 z − zi − 0 , al al al il1 ai−l − i2l i0 2n−k 3.3 nq−1 b2i−2q z2i n b2i−2q − i2q in1 b0 b2i b2q z2i − 2q−1 b0 b2i 2i b02 z − , b b2q iq1 2q dz : gz z2n−2p − b2p z4n−2p n−1 ip1 b2ip−n z2i p b2ip−n − b2i b2p z2i − in−p n−p−1 3.5 b2i b2p z2i , i0 where an b2n 1. Then it is not difficult to see that Z fz ⊆ Z cz ∩ Zcz ∩ Z dz ∩ Z dz . 3.6 This implies that for every w ∈ Zfz we have cw cw dw dw 0, 3.7 Advances in Difference Equations 5 that is, wnl nl−1 n in1 i2l ai−l wi n−1 w2n−k aik−n wi ik1 w2n2q nq−1 w4n−2p n−1 n aik−n − ai ak wi − b2ip−n w2i p n−k−1 ai ak wi 0, i0 b0 b2i b2i−2q − b2q i2q ip1 k 2l−1 a0 ai a2 a0 ai wi − wi − 0 0, al al al il1 in−k b2i−2q w2i in1 ai−l − 2q−1 b0 b2i 2i b02 w − 0, w2i − b b2q iq1 2q b2ip−n − b2i b2p w2i − n−p−1 in−p 3.8 b2i b2p w2i 0. i0 Hence, by 3.8, one has nl−1 n |a0 ai | i a0 ai i 2l−1 |a0 |2 nl i ≤ |w| |w| , |ai−l ||w| ai−l − |w| al |al | |al | in1 i2l il1 |w|2n−k ≤ n−1 |aik−n ||w|i ik1 k |aik−n − ai ak ||w|i n−k−1 |ai ak ||w|i , i0 in−k nq−1 2q−1 n 2i b0 b2i 2i |b0 b2i | 2i |b0 |2 2n2q ≤ |w| |w| , b2i−2q |w| b2i−2q − |w| b2q b2q in1 i2q iq1 b2q 3.9 p n−p−1 n−1 b2ip−n |w|2i b2ip−n − b2i b2p |w|2i b2i b2p |w|2i , |w|4n−2p ≤ ip1 in−p i0 which imply that Z fz ⊂ {z ∈ C : c1 |z| ≥ 0, d1 |z| ≥ 0, c2 |z| ≤ 0, d2 |z| ≤ 0}. In addition, it follows from 2.4–2.7 that c1 x < 0, c1 x ≥ 0, d1 x < 0, d1 x ≥ 0, ∀x ∈ 0, α1 , ∀x ∈ α1 , ∞, ∀x ∈ 0, β1 , ∀x ∈ β1 , ∞ , 3.10 6 Advances in Difference Equations c2 x ≤ 0, ∀x ∈ 0, α2 , ∀x ∈ α2 , ∞, d2 x ≤ 0, ∀x ∈ 0, β2 , c2 x > 0, ∀x ∈ β2 , ∞ . d2 x > 0, 3.11 Therefore, for each w ∈ Zfz we have |w| ≥ β1 , |w| ≥ α1 , |w| ≤ α2 , |w| ≤ β2 , 3.12 which imply that 3.1 is hold. So i is proved. Next we prove that ii holds. Actually, we have c1 γ1 γ1nl nl−1 |ai−l |γ1i in1 |a0 | − n−1 n 2l−1 |a0 ai | i |a0 |2 ai−l − a0 ai γ i γ − al 1 il1 |al | 1 |al | i2l |ai |γ1i γ1l − nl−1 |ai−l |γ1i |a0 | |al | γ1n nl−1 |ai−l |γ1i in1 i2l − |ai−l |γ1i in1 il |a0 |γ1l nl−1 n 2l−1 |a0 ai | |a0 |2 i ai−l − a0 ai γ i − γ al 1 il1 |al | 1 |al | i2l n |a0 ai | a0 ai i 2l−1 ai−l − γi γ al 1 il1 |al | 1 i2l 3.13 n−1 |ai |γ1i il n n n |a0 ai | a0 ai i 2l−1 |a0 ai | i i − |ai−l |γ1i ai−l − − γ γ γ 1 1 a |a | |al | 1 l l i2l i2l il1 il1 n a0 ai a0 ai i − − ai−l − γ |ai−l | al al 1 i2l ≤ 0, where an 1 and 1 ≤ l ≤ n/2 . On the other hand, since the polynomial equation c1 x 0 has a unique positive root α1 and c1 x ≤ 0, c1 x > 0, ∀x ∈ 0, α1 , ∀x ∈ α1 , ∞, we get α1 ≥ γ1 by combining3.13 and 3.14. 3.14 Advances in Difference Equations 7 In addition, we have n−1 c2 γ2 γ22n−k − ik1 k n |aik−n − ai ak |γ2i − n−1 |aik−n |γ2i − |aik−n |γ2i − n−1 k |aik−n |γ2i − k |aik−n − ai ak |γ2i − k |aik−n |γ2i − k k |ai ak |γ2i i0 |aik−n − ai ak |γ2i − n−k−1 |ai ak |γ2i i0 |aik−n − ai ak |γ2i − n−k−1 |ai ak |γ2i − |a0 ||ak | 3.15 i1 in−k |aik−n | − |aik−n − ai ak |γ2i − n−k−1 |ai ak |γ2i − γ2n − i1 in−k n−k−1 in−k in−k |ak |γ2n k in−k ik1 |ak |γ2n |ai ak |γ2i i0 ik1 in−k n−k−1 in−k |ai |γ2in−k − i0 k |aik−n |γ2i − k |ai |γ2i |ak | i1 |aik−n | |ai ak | − |aik−n − ai ak |γ2i in−k ≥ 0. Since c2 x < 0, ∀x ∈ 0, α2 , 3.16 ∀x ∈ α2 , ∞, c2 x ≥ 0, we have α2 ≤ γ2 . In the same way, we can obtain β1 ≥ δ1 and β2 ≤ δ2 ; therefore, Ar, R ⊆ Au, v . 3.17 Finally, we prove iii. Set 1 1 1 c1 z : cz znl anl−1 znl−1 · · · al1 zl1 a0 , 3.18 with 1 ai ⎧ a , ⎪ ⎪ ⎪ i−l ⎪ ⎪ ⎪ ⎪ a0 ai ⎪ ⎪ , a − ⎪ ⎪ ⎨ i−l al a0 ai ⎪ ⎪ − , ⎪ ⎪ al ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ a20 ⎪ ⎩− , al n 1 ≤ i ≤ n l − 1; 2l ≤ i ≤ n; l 1 ≤ i ≤ 2l − 1; i 0, 3.19 8 Advances in Difference Equations 1 and let l1 be the smallest positive integer such that al1 / 0 in c1 z. If l 1 ≤ l1 ≤ n l/2 , in analogy to 3.3 and 2.4, we can define ⎛ c2 z : c1 z⎝zl1 − 1 a0 1 ⎞ ⎠ 3.20 al1 2 and c1 x, respectively. It is not difficult to see that, the unique positive root of polynomial 2 2 2 2 2 c1 x, α1 ≥ α1 . Similarly, we can define c2 x, d1 x, and d2 x, respectively. Moreover, 2 2 2 their respective positive roots α2 , β1 , and β2 satisfy that 2 2 α2 ≤ α2 , β1 ≥ β1 , 2 β2 ≤ β2 . 3.21 Consequently, new annular bound of fz, namely, Ar 2 , R2 with 2 2 r 2 : max α1 , β1 , 2 2 R2 : min α2 , β2 , 3.22 is better than 3.1. This procedure can be applied iteratively. 2 c1 x, 2 d1 x, 3 d1 x, 3 c2 x, 2 d2 x 2 3.23 3 d2 x, 3 3.24 3 d2 x 3 3.25 4 d2 x, 4 3.26 can be further transformed into 3 c2 x, 3 c2 x, d1 x, 4 d1 x, c1 x, respectively, and c1 x, into 4 c1 x, c2 x, until the last iteration brings no practical improvement. Obviously, when m increases, m m , r m : max α1 , β1 m m Rm : min α2 , β2 3.27 will approach the smallest and largest modulus of polynomial zero, respectively, where m α1 m m m resp. α2 , β1 , β2 3.28 Advances in Difference Equations 9 denotes the unique positive root of m m m m c1 x resp. c2 x, d1 x, d2 x . 3.29 This means that iii is true. Remark 3.2. a When c2 r > 0, it follows from 3.14 and 3.15 that for every w ∈ Zfz , |w| ≤ α2 < r, that is, Zfz ⊂ Br, that is, fz is r-stable. c Similarly, we can draw the same conclusion when d2 r > 0, and Zfz ⊂ B r when c1 r < 0 or d1 r < 0. b By the similar arguments in the proof of iii of Theorem 3.1, the results in a can be improved. This also provides an iterative algorithm to test the r-stability and Schur stability of polynomials. c The question “What happens to Theorem 3.1 when n − 1 ≥ l, q > n/2 , and 1 ≤ k, p < n 1/2 ?” is worth considering further. Example 3.3. Let fz z3 1 j z2 2jz 1, where j √ 3.30 −1. By Theorem 3.1, we obtain Z fz ⊂ A0.389, 1.647 . 3.31 If we start the iterative procedure given in the proof of iii of Theorem 3.1, after five iterations, we obtain Z fz ⊂ A0.390, 1.644 . 3.32 On the other hand, by Theorem A, one only can have Z fz ⊂ A0.387, 1.938 . 3.33 The following examples show the advantages of Theorems 3.1 over Theorem A in analyzing the Schur stability of difference equations discrete-time systems. Example 3.4. Let the characteristic polynomial of a difference equation discrete-time system be given by 1 √ fz z 2 j z2 2 3 √ 1 √ 2 1 j z− 2 − 5j , 4 2 8 3.34 10 Advances in Difference Equations √ where j −1. Then by Theorem 3.1, we get c2 1 7/16 > 0, which implies that all zeros of fz lie in the open unit disk, that is, this system is Schur stable. However, by Theorem A, one has Z fz ⊂ A0.638, 1.175 . 3.35 So Theorem A cannot guarantee the stability of such a system. Example 3.5. Suppose the characteristic polynomial of a difference equation discrete-time system is given by fz z3 11 1 1 3 j z2 − −j z− j , 2 4 8 4 3.36 √ where j −1. Then by Theorem 3.1, we have c1 1 −9/16 < 0, which implies that all zeros of fz are outside the open unit disk, namely, such a system is instable. By Theorem A, one has Z fz ⊂ A0.824, 1.517 , 3.37 which cannot determine the instability of this system. Example 3.6. Consider the following characteristic polynomial of a difference equation discrete-time system: fz z4 2z3 2z2 z √ 11 − 3. 3.38 In this example, 1 c2 −6.316, 1 d2 0; 2 c2 −7.584, 2 d2 0.203. 3.39 Consequently, such a difference equation discrete-time system is Schur stable. Acknowledgments This work was supported partially by the NSF of China 10771202 and the Specialized Research Fund for the Doctoral Program of Higher Education of China 2007035805. References 1 F. G. Boese and W. J. Luther, “A note on a classical bound for the moduli of all zeros of a polynomial,” IEEE Transactions on Automatic Control, vol. 34, no. 9, pp. 998–1001, 1989. 2 G. T. Cargo and O. Shisha, “Zeros of polynomials and fractional order differences of their coefficients,” Journal of Mathematical Analysis and Applications, vol. 7, pp. 176–182, 1963. 3 R. B. Gardner and N. K. Govil, “On the location of the zeros of a polynomial,” Journal of Approximation Theory, vol. 78, no. 2, pp. 286–292, 1994. Advances in Difference Equations 11 4 J. Liang and K. Li, “A new stability criterion for polynomials with the quasi-critical condition,” International Journal of Nonlinear Sciences and Numerical Simulation, vol. 9, no. 3, pp. 289–292, 2008. 5 M. Marden, Geometry of Polynomials, Mathematical Surveys, No. 3, American Mathematical Society, Providence, RI, USA, 2nd edition, 1966. 6 G. V. Milovanovic, D. S. Milovanovic, and T. M. Rassias, Topics in Polynomials, Extremal Problems, Inequalities, Zeros, World Scientic, Singapore, 1994. 7 Q. I. Rahman and G. Schmeisser, Analytic Theory of Polynomials, Oxford University Press, Oxford, UK, 2005. 8 Y.-J. Sun, “New result for the annular bounds of complex-coefficient polynomial zeros,” IEEE Transactions on Automatic Control, vol. 49, no. 5, pp. 813–814, 2004.