Properties of polynomial roots

In mathematics, a polynomial is a function of the form:$p(x)\; =\; a\_0\; +\; a\_1\; x\; +\; cdots\; a\_n\; x^n,\; quad\; xin\; mathbb\{C\}$where the coefficients $a\_0,\; ldots,\; a\_n$ are complex numbers. The fundamental theorem of algebrastates that polynomial "p" has "n" roots. The aim of thispage is to list various properties of these roots.

Continuous dependence of coefficients

The "n" roots of a polynomial of degree "n" depend continuously on the coefficients. This means that there are "n" continuous functions $r\_1,ldots,\; r\_n$ depending on the coefficients that parametrize the roots with correct multiplicity.

This result implies that the eigenvalues of a matrix depend continuously on the matrix. A proof can be found in Tyrtyshnikov(1997).

The problem of approximating the roots given the coefficients is ill-conditioned. See, for example, Wilkinson's polynomial.

Complex conjugate root theorem

The complex conjugate root theorem states that if the coefficientsof a polynomial are real, then the roots appear in pairs of the type$apm\; ib$.

For example, the equation $x^2+1=0$ has roots $pm\; i$.

Bounds on polynomial roots

General complex roots

A very general class of bounds on the magnitude of roots is implied by the Rouché theorem. If there is a positive real number "R" and a coefficient index "k" such that:::$|a\_k|,R^k\; >\; |a\_0|+dots+|a\_\{k-1\}|,R^\{k-1\}+|a\_\{k+1\}|,R^\{k+1\}+dots+|a\_n|,R^n$then there are exactly "k" (counted with multiplicity) roots of absolute value less then "R". For "k=0,n" there is always a solution to this inequality, for example
*for "k=n", ::$R=1+frac1\{max(|a\_0|,,|a\_1|+|a\_2|+dots+|a\_\{n\}|)\}$ are lower bounds for the size of all of the roots.
*for all other indizes, the function::$h(R)=|a\_0|,R^\{-k\}+dots+|a\_\{k-1\}|,R^\{-1\}-|a\_k|+|a\_\{k+1\}|,R+dots+|a\_n|,R^\{n-k\}$:is convex on the positive real numbers, thus the minimizing point is easy to determine numerically. If the minimal value is negative, one has found additional information on the location of the roots.

One can increase the separation of the roots and thus the ability to find additional separating circles from the coefficients, by applying the root squaring operation of the Dandelin-Graeffe iteration to the polynomial.

A different approach is by using the Gershgorin circle theorem applied to some companion matrix of the polynomial, as it is used in the Weierstraß-(Durand-Kerner) method. From initial estimates of the roots, that might be quite random, one gets unions of circles that contain the roots of the polynomial.

Gauss-Lucas theorem

The Gauss-Lucas theorem states that the convex hull of the roots of a polynomial contains the roots of the derivative of the polynomial.

A sometimes useful corollary is that if all roots of a polynomial have positive real part, then so do the roots of all derivatives of the polynomial.

A related result is the Bernstein's inequality. It states that for a polynomial "P" of degree "n" with derivative "P′" we have:

ee also

* Polynomial
* Complex conjugate root theorem
* Abel–Ruffini theorem
* Viète's formulas

References

* E.E. Tyrtyshnikov, "A Brief Introduction to Numerical Analysis", Birkhäuser Boston, 1997