Durand-Kener For Computing All the Roots of a Polynomial in Any Order

by admin in , , on June 13, 2019

Durand–Kerner method, discovered by Karl Weierstrass in 1891 and rediscovered independently by Durand in 1960 and Kerner in 1966, is a root-finding algorithm for solving polynomial equations.[1] In other words, the method can be used to solve numerically the equation ƒ(x) = 0, where ƒ is a given polynomial, which can be taken to be scaled so that the leading coefficient is 1.

Example on Using This Code:


P = x^3 -7*x^2 +14*x - 8;  % Polynomial we interested to solve
an = 1;                    % coefficiant of x^n
n = 3;                     % Number of the roots (the order of the equation)
err = 0.001; Err = 1;      % err is the accuracy, Err > err is error checking parameter


The Root X = [4 1 2]
Max. Error of = 0.00023006, # Iterations = 10


  • Explanation
  • Variations
  • Example
  • Derivation of the method via Newton’s method
  • Root inclusion via Gerschgorin’s circles
  • Convergence results
  • References
  • External links


The explanation is for equations of degree four. It is easily generalized to other degrees. Let the polynomial ƒ be defined by: ƒ(x) = x4 + ax3 + bx2 + cx + d, for all x. The known numbers a, b, c, d are the coefficients. Let the (complex) numbers P,Q,R,S be the roots of this polynomial ƒ. Then ƒ(x) = (x − P)(x − Q)(x − R)(x − S).

for all x. One can isolate the value P from this equation,

So if used as a fixed point iteration

it is strongly stable in that every initial point x0 ≠ Q,R,S delivers after one iteration the root P=x1. Furthermore, if one replaces the zeros QR and S by approximations q ≈ Qr ≈ Rs ≈ S, such that q,r,s are not equal to P, then P is still a fixed point of the perturbed fixed point iteration


Note that the denominator is still different from zero. This fixed point iteration is a contraction mapping  for x around P. The clue to the method now is to combine the fixed point iteration for P with similar iterations for Q,R,S into a simultaneous iteration for all roots. Initialize p, q, r, s:

p0 := (0.4 + 0.9 i)0 ;
q0 := (0.4 + 0.9 i)1 ;
r0 := (0.4 + 0.9 i)2 ;
s0 := (0.4 + 0.9 i)3 ;

There is nothing special about choosing 0.4 + 0.9 i except that it is neither a real number nor a root of unity.

Make the substitutions for n = 1,2,3,···

Re-iterate until the numbers p, q, r, s stop essentially changing in relative to the desired precision. Then they have the values P, Q, R, S in some order and in the chosen precision. So the problem is solved. Note that you must use complex number arithmetic, and that the roots are found simultaneously rather than one at a time.


This iteration procedure, like the Gauss–Seidel method for linear equations, computes one number at a time based on the already computed numbers. A variant of this procedure, like the Jacobi method, computes a vector of root approximations at a time. Both variant are effective root-finding algorithms.

One could also choose the initial values for p,q,r,s by some other procedure, even randomly, but in a way that

  • they are inside some not-too-large circle containing also the roots of ƒ(x), e.g. the circle around the origin with radius1 + max(|a|,|b|,|c|,|d|), (where 1,a,b,c,d are the coefficients of ƒ(x))

and that

  • they are not too close to each other,

which may increasingly become a concern as the degree of the polynomial increases.

If the coefficients are real and the polynomial has odd degree, then it must have at least one real root. To find this, use a real value of p0 as the initial guess and make q0 and r0, etc, complex conjugate pairs. Then the iteration will preserve these properties; that is, pn will always be real, and qn and rn, etc, will always be conjugate. In this way, the pnwill converge to a real root P. Alternatively, make all of the initial guesses real; they will remain so.


This example is from the reference 1992. The equation solved is x3 − 3x2 + 3x − 5 = 0. The first 4 iterations move pqr seemingly chaotically, but then the roots are located to 1 decimal. After iteration number 5 we have 4 correct decimals, and the subsequent iteration number 6 confirms that the computed roots are fixed. This general behaviour is characteristic for the method.

it.-no. p q r
0 +1.0000 + 0.0000i +0.4000 + 0.9000i −0.6500 + 0.7200i
1 +1.3608 + 2.0222i −0.3658 + 2.4838i −2.3858 − 0.0284i
2 +2.6597 + 2.7137i +0.5977 + 0.8225i −0.6320−1.6716i
3 +2.2704 + 0.3880i +0.1312 + 1.3128i +0.2821 − 1.5015i
4 +2.5428 − 0.0153i +0.2044 + 1.3716i +0.2056 − 1.3721i
5 +2.5874 + 0.0000i +0.2063 + 1.3747i +0.2063 − 1.3747i
6 +2.5874 + 0.0000i +0.2063 + 1.3747i +0.2063 − 1.3747i

Note that the equation has one real root and one pair of complex conjugate roots, and that the sum of the roots is 3.

Derivation of the method via Newton’s method

For every n-tuple of complex numbers, there is exactly one monic polynomial of degree n that has them as its zeros (keeping multiplicities). This polynomial is given by multiplying all the corresponding linear factors, that is

This polynomial has coefficients that depend on the prescribed zeros,

Those coefficients are, up to a sign, the elementary symmetric polynomials alpha _(1)(z),… ,alpha _(n)(z) of degrees 1,…,n. To find all the roots of a given polynomial

with coefficient vector (c_(n-1),… ,c_(0)) simultaneously is now the same as to find a solution vector to the system

The Durand–Kerner method is obtained as the multidimensional Newton’s method applied to this system. It is algebraically more comfortable to treat those identities of coefficients as the identity of the corresponding polynomials, g_(z)(X) = f(X). In the Newton’s method one looks, given some initial vector z, for an increment vector w such that g_(z+w)(X) = f(X) is satisfied up to second and higher order terms in the increment. For this one solves the identity

If the numbers z_(1),… ,z_(n) are pairwise different, then the polynomials in the terms of the right hand side form a basis of the n-dimensional space C [X]_(n-1) of polynomials with maximal degree n − 1. Thus a solution w to the increment equation exists in this case. The coordinates of the increment w are simply obtained by evaluating the increment equation

at the points X = z_(k), which results in

, that is

Root inclusion via Gerschgorin’s Circles

In the quotient ring (algebra) of residue classes modulo ƒ(X), the multiplication by X defines an endomorphism  that has the zeros of ƒ(X) as eigenvalues with the corresponding multiplicities. Choosing a basis, the multiplication operator is represented by its coefficient matrix A, the companion matrix of ƒ(X) for this basis.

Since every polynomial can be reduced modulo ƒ(X) to a polynomial of degree n − 1 or lower, the space of residue classes can be identified with the space of polynomials of degree bounded by n − 1. A problem specific basis can be taken from Lagrange interpolation as the set of n polynomials

where z_(1),… ,z_(n) in C are pairwise different complex numbers. Note that the kernel functions for the Lagrange interpolation are

For the multiplication operator applied to the basis polynomials one obtains from the Lagrange interpolation



are again the Weierstrass updates. The companion matrix of ƒ(X) is therefore

From the transposed matrix case of the Gershgorin circle theorem it follows that all eigenvalues of A, that is, all roots of ƒ(X), are contained in the union of the disks D(a_(k,k), r_(k)) with a radius


Here one has a_(k,k) = z_(k) + w_(k), so the centers are the next iterates of the Weierstrass iteration, and radii r_(k) = (n-1).|w_(k)| that are multiples of the Weierstrass updates. If the roots of ƒ(X) are all well isolated (relative to the computational precision) and the points z_(1),… ,z_(n) in C are sufficidently close approximations to these roots, then all the disks will become disjoint, so each one contains exactly one zero. The midpoints of the circles will be better approximations of the zeros.

Every conjugate matrix TAT^(-1) of A is as well a companion matrix of ƒ(X). Choosing T as diagonal matrix leaves the structure of A invariant. The root close to z_(k) is contained in any isolated circle with center z_(k) regardless of T. Choosing the optimal diagonal matrix T for every index results in better estimates (see ref. Petkovic et al. 1995).

Convergence Results

The connection between the Taylor series expansion and Newton’s method suggests that the distance from z_(k) + w_(k) to the corresponding root is of the order O(|w_(k)|^2), if the root is well isolated from nearby roots and the approximation is sufficiently close to the root. So after the approximation is close, Newton’s method converges quadratically; that is: the error is squared with every step (which will greatly reduce the error once it is less than 1). In the case of the Durand–Kerner method, convergence is quadratic if the vector z =(z1,… ,zn) is close to some permutation of the vector of the roots of ƒ.

For the conclusion of linear convergence there is a more specific result (see ref. Petkovic et al. 1995). If the initial vector and its vector of Weierstrass updates w = (w1,… ,wn) satisfies the inequality

then this inequality also holds for all iterates, all inclusion disks D(zk + wk, (n-1)|wk|) are disjoint and linear convergence with a contraction factor of 1/2 holds. Further, the inclusion disks can in this case be chosen as

each containing exactly one zero of ƒ.


  1. Petković, Miodrag (1989). Iterative methods for simultaneous inclusion of polynomial zeros. Berlin [u.a.]: Springer. pp. 31–32. ISBN 978-3-540-51485-5.

External Links

0 Sale

Share Now!

Release Information

  • Price


  • Released

    June 13, 2019

  • Last Updated

    June 22, 2019

Share Your Valuable Opinions