Lehmer–Schur algorithm

In mathematics, the Lehmer–Schur algorithm (named after Derrick Henry Lehmer and Issai Schur) is a root-finding algorithm for complex polynomials, extending the idea of enclosing roots like in the one-dimensional bisection method to the complex plane. It uses the Schur-Cohn test to test increasingly smaller disks for the presence or absence of roots.

Schur-Cohn algorithm

This algorithm allows one to find the distribution of the roots of a complex polynomial with respect to the unit circle in the complex plane.^[1][2][3] It is based on two auxiliary polynomials, introduced by Schur.^[4]

For a complex polynomial ${\displaystyle p}$  of degree ${\displaystyle n}$  its reciprocal adjoint polynomial ${\displaystyle p^{*}}$  is defined by ${\displaystyle p^{*}(z)=z^{n}{\overline {p({\bar {z}}^{-1})}}}$  and its Schur Transform ${\displaystyle Tp}$  by

${\displaystyle Tp={\overline {p(0)}}p-{\overline {p^{*}(0)}}p^{*},}$ 

where a bar denotes complex conjugation.

So, if ${\displaystyle p(z)=a_{n}z^{n}+\cdots +a_{1}z+a_{0}}$  with ${\displaystyle a_{n}\neq 0}$ , then ${\displaystyle p^{*}(z)={\bar {a}}_{0}z^{n}+{\bar {a}}_{1}z^{n-1}+\cdots +{\bar {a}}_{n}}$ , with leading zero-terms, if any, removed. The coefficients of ${\displaystyle Tp}$  can therefore be directly expressed in those of ${\displaystyle p}$  and, since one or more leading coefficients cancel, ${\displaystyle Tp}$  has lower degree than ${\displaystyle p}$ . The roots of ${\displaystyle p}$ , ${\displaystyle p^{*}}$ , and ${\displaystyle Tp}$  are related as follows.

Lemma

Let ${\displaystyle p}$  be a complex polynomial and ${\displaystyle \delta =(Tp)(0)}$ .

• The roots of ${\displaystyle p^{*}}$ , including their multiplicities, are the images under inversion in the unit circle of the non-zero roots of ${\displaystyle p}$ .
• If ${\displaystyle \delta \neq 0}$ , then ${\displaystyle p,\,p^{*}}$ , and ${\displaystyle Tp}$  share roots on the unit circle, including their multiplicities.
• If ${\displaystyle \delta >0}$ , then ${\displaystyle p}$  and ${\displaystyle Tp}$  have the same number of roots inside the unit circle.
• If ${\displaystyle \delta <0}$ , then ${\displaystyle p^{*}}$  and ${\displaystyle Tp}$  have the same number of roots inside the unit circle.

Proof

Along the unit circle ${\displaystyle |z|=1}$  we have ${\displaystyle 1/{\overline {z}}=z}$  and ${\displaystyle |z^{n}|=1}$  which, substituted into the formula ${\displaystyle p^{*}(z)=z^{n}{\overline {p({\bar {z}}^{-1})}}}$  yields the identity ${\displaystyle |p^{*}(z)|=|p(z)|}$  for ${\displaystyle |z|=1}$ . Also ${\displaystyle \delta \neq 0}$  implies ${\displaystyle |p(0)|\neq |p^{*}(0)|}$ . From this and the definitions above the first two statements follow. The other two statements are a consequence of Rouché's theorem applied on the unit circle to the functions ${\displaystyle {\overline {p(0)}}p(z)/r(z)}$  and ${\displaystyle -{\overline {p^{*}(0)}}p^{*}(z)/r(z)}$  , where ${\displaystyle r}$  is a polynomial that has as its roots the roots of ${\displaystyle p}$  on the unit circle, with the same multiplicities. □

For a more accessible representation of the lemma, let ${\displaystyle n_{p}^{-},n_{p}^{0}}$ , and ${\displaystyle n_{p}^{+}}$  denote the number of roots of ${\displaystyle p}$  inside, on, and outside the unit circle respectively and similarly for ${\displaystyle Tp}$ . Moreover let ${\displaystyle d}$  be the difference in degree of ${\displaystyle p}$  and ${\displaystyle Tp}$ . Then the lemma implies that ${\displaystyle (n_{p}^{-},\;n_{p}^{0},\;n_{p}^{+})=(n_{Tp}^{-},\;n_{Tp}^{0},\;n_{Tp}^{+}+d)}$  if ${\displaystyle \delta >0}$  and ${\displaystyle (n_{p}^{-},\;n_{p}^{0},\;n_{p}^{+})=(n_{Tp}^{+}+d,\;n_{Tp}^{0},\;n_{Tp}^{-})}$  if ${\displaystyle \delta <0}$  (note the interchange of ${\displaystyle ^{+}}$  and ${\displaystyle ^{-}}$ ).

Now consider the sequence of polynomials ${\displaystyle T^{k}p}$  ${\displaystyle (k=0,1,\ldots )}$ , where ${\displaystyle T^{0}p=p}$  and ${\displaystyle T^{k+1}p=T(T^{k}p)}$ . Application of the foregoing to each pair of consecutive members of this sequence gives the following result.

Theorem[Schur-Cohn test]

Let ${\displaystyle p}$  be a complex polynomial with ${\displaystyle Tp\neq 0}$  and let ${\displaystyle K}$  be the smallest number such that ${\displaystyle T^{K+1}p=0}$ . Moreover let ${\displaystyle \delta _{k}=(T^{k}p)(0)}$  for ${\displaystyle k=1,\ldots ,K}$  and ${\displaystyle d_{k}=\deg T^{k}p}$  for ${\displaystyle k=0,\ldots ,K}$ .

• All roots of ${\displaystyle p}$  lie inside the unit circle if and only if

${\displaystyle \delta _{1}<0}$ , ${\displaystyle \delta _{k}>0}$  for ${\displaystyle k=2,\ldots ,K}$ , and ${\displaystyle d_{K}=0}$ .

• All roots of ${\displaystyle p}$  lie outside the unit circle if and only if

${\displaystyle \delta _{k}>0}$  for ${\displaystyle k=1,\ldots ,K}$  and ${\displaystyle d_{K}=0}$ .

• If ${\displaystyle d_{K}=0}$  and if ${\displaystyle \delta _{k}<0}$  for ${\displaystyle k=k_{0},k_{1}\ldots k_{m}}$  (in increasing order) and ${\displaystyle \delta _{k}>0}$  otherwise, then ${\displaystyle p}$  has no roots on the unit circle and the number of roots of ${\displaystyle p}$  inside the unit circle is

${\displaystyle \sum _{i=0}^{m}(-1)^{i}d_{k_{i}-1}}$ .

More generally, the distribution of the roots of a polynomial ${\displaystyle p}$  with respect to an arbitrary circle in the complex plane, say one with centre ${\displaystyle c}$  and radius ${\displaystyle \rho }$ , can be found by application of the Schur-Cohn test to the 'shifted and scaled' polynomial ${\displaystyle q}$  defined by ${\displaystyle q(z)=p(c+\rho \,z)}$ .

Not every scaling factor is allowed, however, for the Schur-Cohn test can be applied to the polynomial ${\displaystyle q}$  only if none of the following equalities occur: ${\displaystyle T^{k}q(0)=0}$  for some ${\displaystyle k=1,\ldots K}$  or ${\displaystyle T^{K+1}q=0}$  while ${\displaystyle d_{K}>0}$ . Now, the coefficients of the polynomials ${\displaystyle T^{k}q}$  are polynomials in ${\displaystyle \rho }$  and the said equalities result in polynomial equations for ${\displaystyle \rho }$ , which therefore hold for only finitely many values of ${\displaystyle \rho }$ . So a suitable scaling factor can always be found, even arbitrarily close to ${\displaystyle 1}$ .

Lehmer's method

Lehmers method is as follows. ^[5] For a given complex polynomial ${\displaystyle p}$ , with the Schur-Cohn test a circular disk can be found large enough to contain all roots of ${\displaystyle p}$ . Next this disk can be covered with a set of overlapping smaller disks, one of them placed concentrically and the remaining ones evenly spread over the annulus yet to be covered. From this set, using the test again, disks containing no root of ${\displaystyle p}$  can be removed. With each of the remaining disks this procedure of covering and removal can be repeated and so any number of times, resulting in a set of arbitrarily small disks that together contain all roots of ${\displaystyle p}$ .

The merits of the method are that it consists of repetition of a single procedure and that all roots are found simultaneously, whether they are real or complex, single, multiple or clustered. Also deflation, i.e. removal of roots already found, is not needed and every test starts with the full-precision, original polynomial. And, remarkably, this polynomial has never to be evaluated.

However, the smaller the disks become, the more the coefficients of the corresponding 'scaled' polynomials will differ in relative magnitude. This may cause overflow or underflow of computer computations, thus limiting the radii of the disks from below and thereby the precision of the computed roots. ^[2] .^[6] To avoid extreme scaling, or just for the sake of efficiency, one may start with testing a number of concentric disks for the number of included roots and thus reduce the region where roots occur to a number of narrow , concentric annuli. Repeating this procedure with another centre and combining the results, the said region becomes the union of intersections of such annuli. ^[7] Finally, when a small disk is found that contains a single root, that root may be further approximated using other methods, e.g. Newton's method.

References

1. Cohn, A (1922). "Uber die Anzahl der Wurzeln einer algebraischen Gleichung in einem Kreise". Math. Z. 14: 110–148. doi:10.1007/BF01215894. hdl:10338.dmlcz/102550.
2. Henrici, Peter (1988). Applied and computational complex analysis. Volume I: Power series- integration-conformal mapping-location of zeros (Repr. of the orig., publ. 1974 by John Wiley \& Sons Ltd., Paperback ed.). New York etc.: John Wiley. pp. xv + 682. ISBN 0-471-60841-6.
3. Marden, Morris (1949). The geometry of the zeros of a polynomial in a complex variable. Mathematical Surveys. No. 3. New York: American Mathematical Society (AMS). p. 148.
4. Schur, I (1917). "Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind". Journal für die reine und angewandte Mathematik. 1917 (147): 205–232. doi:10.1515/crll.1917.147.205.
5. Lehmer, D.H. (1961). "A machine method for solving polynomial equations". J. Assoc. Comput. Mach. 8: 151–162. doi:10.1145/321062.321064.
6. Stewart, G.W.III (1969). "On Lehmer's method for finding the zeros of a polynomial". Math. Comput. 23: 829–835. doi:10.2307/2004970.
7. Loewenthal, Dan (1993). "Improvement on the Lehmer-Schur root detection method". J. Comput. Phys. 109 (2): 164–168. doi:10.1006/jcph.1993.1209.