The square root iteration xi+, = (xi + xi )/2 is known to be convergent to +1 from starting values xo in the open right half-plane, and to -1 from starting values in the open left half-plane. The resultant of the quadratic z2 _ 2wz + 1 and a given polynomial P(z), of proper degree n, is a polynomial R(w) whose zeros, expressed in terms of the zeros Zi of P(z), are just wi = (zi + zi )/2. The construction of R(w) is thus equivalent to n independent applications of the square root iteration, with unknown starting values zi. Repetition of this construction generates a sequence of resultants whose zeros are independently convergent to either +1 or -1 according as the initial zero of P(z) lies in the open right or left half-plane. When the given polynomial, and each of the resultants, is written as a linear combination of the n + 1 polynomials (z + 1)n, (z + 1)n-l(z _ 1), (z + 1)n-2 (z 1)2 . (z + 1)(z n-1 (z 1)n. the sequence of resultants is ultimately convergent to one of the elements (z + l)n-p(z _ 1)P of this basis, whence it follows that P(z) has p zeros with positive real part and n p zeros with negative real part, and the Hurwitz stability problem for P(z) is solved. By an application of the principle of argument it is, in general, possible to determine p at a finite stage of the resultant iteration. When formulated in terms of this basis, the resultant iteration becomes formally identical with the root-squaring process. This fact may be exploited to establish the properties of the resultant iteration, and to show that root-squaring may be applied to solve the Schur stability problem for a given polynomial. Although precise results are not available, numerical results and the general properties of this iteration suggest that, for the purpose at hand, it is unaffected by the progressive deterioration of condition that sometimes occurs in other applications of root-squaring.
[1]
Xiaomei Yang.
Rounding Errors in Algebraic Processes
,
1964,
Nature.
[2]
F. Olver.
The evaluation of zeros of high-degree polynomials
,
1952,
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[3]
H. Kober,et al.
Dictionary of conformal representations
,
1957
.
[4]
Erwin H. Bareiss,et al.
Resultant Procedure and the Mechanization of the Graeffe Process
,
1960,
JACM.
[5]
R. J. Duffin,et al.
Algorithms for Classical Stability Problems
,
1969
.
[6]
J. B. Scarborough.
Numerical Mathematical Analysis
,
1931
.
[7]
J. Peltier,et al.
Résolution numérique des équations algébriques
,
1957
.
[8]
E. Denman,et al.
The matrix sign function and computations in systems
,
1976
.
[9]
A. Cohn,et al.
Über die Anzahl der Wurzeln einer algebraischen Gleichung in einem Kreise
,
1922
.
[10]
James Hardy Wilkinson,et al.
Rounding errors in algebraic processes
,
1964,
IFIP Congress.
[11]
W. Burnside,et al.
The Theory of Equations: with an Introduction to the Theory of Binary Algebraic Forms
,
2005,
Nature.
[12]
M. Marden.
Geometry of Polynomials
,
1970
.