# Laguerre's method

In numerical analysis, Laguerre's method is a root-finding algorithm tailored to polynomials. In other words, Laguerre's method can be used to solve numerically the equation

$\ p(x) = 0$

for a given polynomial p. One of the most useful properties of this method is that it is, from extensive empirical study, very close to being a "sure-fire" method, meaning that it is almost guaranteed to always converge to some root of the polynomial, no matter what initial guess is chosen. This method is named in honour of Edmond Laguerre, a French mathematician.

## Definition

The algorithm of the Laguerre method to find one root of a polynomial p is:

• Choose an initial guess $x_0$
• For k = 0, 1, 2, …
• If $p(x_k)$ is very small, exit the loop
• Calculate $G = \frac{p'(x_k)}{p(x_k)}$
• Calculate $H = G^2 - \frac{p''(x_k)}{p(x_k)}$
• Calculate $a = \frac{n}{G \plusmn \sqrt{(n-1)(nH - G^2)}}$, where the sign is chosen to give the denominator with the larger absolute value, to avoid loss of significance as iteration proceeds.
• Set $x_{k+1} = x_k - a$
• Repeat until a is small enough or if the maximum number of iterations has been reached.

If a root has been found, the corresponding linear factor can be removed from p. This deflation step reduces the degree of the polynomial by one, so that eventually, approximations for all roots of p can be found. Note however that deflation can lead to approximate factors that differ significantly from the corresponding exact factors. This error is least if the roots are found in the order of increasing magnitude.

## Derivation

The fundamental theorem of algebra states that every nth degree polynomial $p$ can be written in the form

$p(x) = C(x - x_1)(x - x_2)\cdots(x - x_n),$

such that $x_k$ where $(k=1, 2,..., n)$ are the roots of the polynomial. If we take the natural logarithm of both sides, we find that

$\ln |p(x)| = \ln |C| + \ln |x - x_1| + \ln |x - x_2| + \cdots + \ln |x - x_n|.$

Denote the derivative by

$G = \frac{d}{dx} \ln |p(x)| = \frac{1}{x - x_1} + \frac{1}{x - x_2} + \cdots + \frac{1}{x - x_n},$

and the negated second derivative by

$H = -\frac{d^2}{dx^2} \ln |p(x)|= \frac{1}{(x - x_1)^2} + \frac{1}{(x - x_2)^2} + \cdots + \frac{1}{(x - x_n)^2}.$

We then make what Acton calls a 'drastic set of assumptions', that the root we are looking for, say, $x_1$ is a certain distance away from our guess $x$, and all the other roots are clustered together some distance away. If we denote these distances by

$a = x - x_1 \,$

and

$b = x - x_i,\quad i = 2, 3,\ldots, n$

then our equation for $G$ may be written as

$G = \frac{1}{a} + \frac{n - 1}{b}$

and the expression for $H$ becomes

$H = \frac{1}{a^2} + \frac{n-1}{b^2}.$

Solving these equations for $a$, we find that

$a = \frac{n}{G \plusmn \sqrt{(n-1)(nH - G^2)}}$,

where the square root of a complex number is chosen to produce larger absolute value of the denominator, or equivalently, to satisfy:

$\operatorname{Re}\,(\overline{G} \sqrt{(n-1)(nH - G^2)}\,)>0$,

where $\operatorname{Re}$ denotes real part of a complex number, and $\overline{G}$ is a complex conjugation of $G$; or

$a = \frac{p(x)}{p'(x)}\cdot \left( \frac1n+\frac{n-1}n\,\sqrt{1-\frac{n}{n-1}\,\frac{p(x)p''(x)}{p'(x)^2}} \right)^{-1}$,

where the square root of a complex number is chosen to have a non-negative real part.

For small values of $p(x)$ this formula differs from the offset of the third order Halley's method by an error of $O(p(x)^3)$, so convergence close to a root will be cubic as well.

Note that, even if the 'drastic set of assumptions' does not work for some particular polynomial $p$, $p$ can be transformed into a related polynomial $r$ for which the assumptions are correct, e.g. by shifting the origin towards a suitable complex number $w$, giving $q(z)=p(z-w)$, to give distinct roots distinct magnitudes if necessary (which it will be if some roots are complex conjugates), and then getting $r$ from $q$ by repeatedly applying the root squaring transformation used in Graeffe's method enough times to make the smaller roots significantly smaller than the largest root (and so, clustered in comparison); the approximate root from Graeffe's method can then be used to start the new iteration for Laguerre's method on $r$. An approximate root for $p$ may then be obtained straightforwardly from that for $r$.

If we make the stronger assumption that the terms in $G$ corresponding to the roots $x_i,\quad i = 2, 3,\ldots, n$ are negligibly small in comparison to the term corresponding to the root $x_1$, this leads to Newton's method.

## Properties

If x is a simple root of the polynomial p, then Laguerre's method converges cubically whenever the initial guess x0 is close enough to the root x. On the other hand, if x is a multiple root then the convergence is only linear. This is obtained with the penalty of calculating values for the polynomial and its first and second derivatives at each stage of the iteration.

A major advantage of Laguerre's method is that it is almost guaranteed to converge to some root of the polynomial no matter where the initial approximation is chosen. This is in contrast to other methods such as the Newton–Raphson method which may fail to converge for poorly chosen initial guesses. It may even converge to a complex root of the polynomial, because of the square root being taken in the calculation of a above may be of a negative number. This may be considered an advantage or a liability depending on the application to which the method is being used. Empirical evidence has shown that convergence failure is extremely rare, making this a good candidate for a general purpose polynomial root finding algorithm. However, given the fairly limited theoretical understanding of the algorithm, many numerical analysts are hesitant to use it as such, and prefer better understood methods such as the Jenkins–Traub algorithm, for which more solid theory has been developed. Nevertheless, the algorithm is fairly simple to use compared to these other "sure-fire" methods, easy enough to be used by hand or with the aid of a pocket calculator when an automatic computer is unavailable. The speed at which the method converges means that one is only very rarely required to compute more than a few iterations to get high accuracy.