|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''Graeffe's method''' or '''Dandelin–Graeffe method''' is an algorithm for finding all of the roots of a polynomial. It was developed independently by [[Germinal Pierre Dandelin]] in 1826 and [[Karl Heinrich Gräffe]] in 1837. [[Lobachevsky]] in 1834 also discovered the principal idea of the method.<ref>[[Alston Scott Householder]]: ''Dandelin, Lobačevskiǐ, or Graeffe?'', Amer. Math. Monthly, 66 (1959), pp. 464–466 [http://www.jstor.org/stable/2310626 (on JSTOR)]</ref> The method separates the roots of a polynomial by squaring them repeatedly. This squaring of the roots is done implicitly, that is, only working on the coefficients of the polynomial. Finally, [[Viète's formulas]] are used in order to approximate the roots.
| | Hello and welcome. My title is Ling. I currently live in Arizona but now I'm contemplating other choices. Bookkeeping is what she does. Playing croquet is some thing I will never give up.<br><br>my web-site :: extended car warranty - [http://Bikedance.com/blogs/post/29704 click through the up coming internet page] - |
| | |
| ==Dandelin–Graeffe iteration==
| |
| Let ''p''(''x'') be an ''n''th degree polynomial.
| |
| | |
| :<math>p(x) = (x-x_1)(x-x_2)\cdots(x-x_n) \, </math>
| |
| | |
| Then
| |
| | |
| :<math>p(-x) = (-1)^n\, (x+x_1)(x+x_2)\cdots(x+x_n). \, </math>
| |
| | |
| Let <math>q(x)</math> be the polynomial which has the squares <math>x_1^2,\,x_2^2,\dots,\, x_n^2</math> as its roots,
| |
| | |
| :<math>q(x)=(x-x_1^2)(x-x_2^2)\cdots(x-x_n^2). \, </math>
| |
| | |
| Hence by the binomial identity <math>x^2-x_k^2=(x-x_k)(x+x_k)</math>
| |
| | |
| :<math>q(x^2) = (x^2-x_1^2)(x^2-x_2^2)\cdots(x^2-x_n^2)=(-1)^n\,p(x)p(-x). \, </math>
| |
| | |
| The polynomial ''q''(''x'') can now be computed by algebraic operations on the coefficients of the polynomial ''p''(''x'') alone. Write
| |
| | |
| :<math>p(x)=x^n+a_1x^{n-1}+\cdots+a_{n-1}x+a_n \, </math>
| |
| | |
| and
| |
| | |
| :<math>q(x)=x^n+b_1x^{n-1}+\cdots+b_{n-1}x+b_n, \,</math>
| |
| | |
| then the coefficients are related by
| |
| | |
| :<math>b_k=(-1)^k\,a_k^2+2\sum_{j=0}^{k-1}(-1)^j\,a_ja_{2k-j},\text{ with }a_0=b_0=1. \, </math>
| |
| | |
| Graeffe observed that one obtains a simplified algebraic expression for ''q(x)'' when separating ''p''(''x'') into its odd and even parts,
| |
| | |
| :<math>p(x)=p_e(x^2)+x\,p_o(x^2)\;\implies\; q(x)=(-1)^n(p_e(x)^2-x\,p_o(x)^2). \, </math>
| |
| | |
| This expression involves the squaring of two polynomials of only half the degree, and is therefore used in most implementations of the method.
| |
| | |
| Iterating this procedure several times separates the roots with respect to their magnitudes. Repeating ''k'' times gives a polynomial
| |
| | |
| :<math>q^k(y) = y^n + {a^k}_1\,y^{n-1} + \cdots + {a^k}_{n-1}\,y + {a^k}_n \, </math>
| |
| | |
| of degree ''n'' with roots <math>y_1=x_1^{2^k},\,y_2=x_2^{2^k},\,\dots,\,y_n=x_n^{2^k}</math>. If the magnitudes of the roots of the original polynomial were separated by some factor <math>\rho>1</math>, that is, <math>|x_k|\ge\rho\,|x_{k+1}|</math>, then the roots of the ''k''-th iterate are separated by a fast growing factor <math>\rho^{2^k}\ge 1+2^k(\rho-1)</math>.
| |
| | |
| ==Classical Graeffe's method==
| |
| Next the [[Vieta relations]] are used
| |
| :<math>\begin{align}
| |
| a^k_{\;1} &= -(y_1+y_2+\cdots+y_n)\\
| |
| a^k_{\;2} &= y_1 y_2 + y_1 y_3+\cdots+y_{n-1} y_n\\
| |
| &\;\vdots\\
| |
| a^k_{\;n} &= (-1)^n(y_1 y_2 \cdots y_n).
| |
| \end{align}</math>
| |
| | |
| If the roots <math>x_1,\dots,x_n</math> are sufficiently separated, say by a factor <math>\rho>1</math>, <math>|x_m|\ge \rho|x_{m+1}|</math>, then the iterated powers <math>y_1,y_2,...,y_n</math> of the roots are separated by the factor <math>\rho^{2^k}</math>, which quickly becomes very big.
| |
| | |
| The coefficients of the iterated polynomial can then be approximated by their leading term,
| |
| :<math>a^k_{\;1} \approx -y_1</math>
| |
| :<math>a^k_{\;2} \approx y_1 y_2</math> and so on,
| |
| implying
| |
| :<math>
| |
| y_1\approx -a^k_{\;1},\;
| |
| y_2\approx -a^k_{\;2}/a^k_{\;1},
| |
| \;\dots\;
| |
| y_n\approx -a^k_{\;n}/a^k_{\;n-1}.
| |
| </math>
| |
| | |
| Finally, logarithms are used in order to find the absolute values of the roots of the original polynomial. These magnitudes alone are already useful to generate meaningful starting points for other root-finding methods.
| |
| | |
| To also obtain the angle of these roots, a multitude of methods has been proposed, the most simple one being to successively compute the square root of a (possibly complex) root of <math>q^m(y)</math>, ''m'' ranging from ''k'' to 1, and testing which of the two sign variants is a root of <math>q^{m-1}(x)</math>. Before continuing to the roots of <math>q^{m-2}(x)</math>, it might be necessary to numerically improve the accuracy of the root approximations for <math>q^{m-1}(x)</math>, for instance by [[Newton's method]].
| |
| | |
| Graeffe's method works best for polynomials with simple real roots, though it can be adapted for polynomials with complex roots and coefficients, and roots with higher multiplicity. For instance, it has been observed<ref>G. C. Best: ''Notes on the Graeffe method of root squaring'', Amer. Math. Monthly, 56, (1949) [http://www.jstor.org/stable/2306166 (on JSTOR)]</ref> that for a root <math>x_{\ell+1}=x_{\ell+2}=\dots=x_{\ell+d}</math> with multiplicity ''d'',
| |
| the fractions
| |
| :<math>\left|\frac{(a^{m-1}_{\;\ell+i})^2}{a^{m}_{\;\ell+i}}\right|</math> tend to <math>\binom{d}{i}</math>
| |
| for <math>i=0,1,\dots,d</math>. This allows to estimate the multiplicity structure of the set of roots.
| |
| | |
| From a numerical point of view, this method is problematic since the coefficients of the iterated polynomials span very quickly many orders of magnitude, which implies serious numerical errors. One second, but minor concern is that many different polynomials lead to the same Graeffe iterates.
| |
| | |
| == Tangential Graeffe method ==
| |
| This method replaces the numbers by truncated [[power series]] of degree 1, also known as [[dual numbers]]. Symbolically, this is achieved by introducing an "algebraic infinitesimal" <math>\varepsilon</math> with the defining property <math>\varepsilon^2=0</math>. Then the polynomial
| |
| <math>p(x+\varepsilon)=p(x)+\varepsilon\,p'(x)</math> has roots <math>x_m-\varepsilon</math>, with powers
| |
| :::<math>(x_m-\varepsilon)^{2^k}=x_m^{2^k}-\varepsilon\,{2^k}\,x_m^{2^k-1}=y_m+\varepsilon\,\dot y_m.</math>
| |
| Thus the value of <math>x_m</math> is easily obtained as fraction <math>x_m=-\tfrac{2^k\,y_m}{\dot y_m}.</math>
| |
| | |
| This kind of computation with infinitesimals is easy to implement analogous to the computation with complex numbers. If one assumes complex coordinates or an initial shift by some randomly chosen complex number, then all roots of the polynomial will be distinct and consequently recoverable with the iteration.
| |
| | |
| == Renormalization ==
| |
| Every polynomial can be scaled in domain and range such that in the resulting polynomial the first and the last coefficient have size one. If the size of the inner coefficients is bounded by ''M'', then the size of the inner coefficients after one stage of the Graeffe iteration is bounded by <math>nM^2</math>. After ''k'' stages one gets the bound <math>n^{2^k-1}M^{2^k}</math> for the inner coefficients.
| |
| | |
| To overcome the limit posed by the growth of the powers, Malajovich–Zubelli propose to represent coefficients and intermediate results in the ''k''th stage of the algorithm by a scaled polar form
| |
| :::<math>c=\alpha\,e^{-2^k\,r},</math>
| |
| where <math>\alpha=\frac{c}{|c|}</math> is a complex number of unit length and <math>r=-2^{-k}\log|c|</math> is a positive real. Splitting off the power <math>2^k</math> in the exponent reduces the absolute value of ''c'' to the corresponding dyadic root. Since this preserves the magnitude of the (representation of the) initial coefficients, this process was named renormalization.
| |
| | |
| Multiplication of two numbers of this type is straightforward, whereas addition is performed following the factorization <math>c_3=c_1+c_2=|c_1|\cdot\left(\alpha_1+\alpha_2\tfrac{|c_2|}{|c_1|}\right)</math>, where <math>c_1</math> is chosen as the larger of both numbers, that is, <math>r_1<r_2</math>. Thus
| |
| :::<math>\alpha_3=\tfrac{s}{|s|}</math> and <math>r_3=r_1+2^{-k}\,\log{|s|}</math> with <math>s=\alpha_1+\alpha_2\,e^{2^k(r_1-r_2)}.</math>
| |
| | |
| The coefficients <math>a_0,a_1,\dots,a_n</math> of the final stage ''k'' of the Graeffe iteration, for some reasonably large value of ''k'', are represented by pairs <math>(\alpha_m,r_m)</math>, <math>m=0,\dots,n</math>. By identifying the corners of the convex envelope of the point set <math>\{(m,r_m):\;m=0,\dots,n\}</math> one can determine the multiplicities of the roots of the polynomial. Combining this renormalization with the tangent iteration one can extract directly from the coefficients at the corners of the envelope the roots of the original polynomial.
| |
| | |
| == See also ==
| |
| * [[Root-finding algorithm]]
| |
| | |
| == References ==
| |
| <references />
| |
| * {{mathworld|urlname=GraeffesMethod|title=Graeffe's Method}}
| |
| * G. Malajovich, J. P. Zubelli: "Tangent Graeffe Iteration". [http://en.scientificcommons.org/221845 Scientific Commons], Numerische Mathematik 89, No.4, 749-782 (2001). ISSN 0029-599X; ISSN 0945-3245
| |
| * [http://math.fullerton.edu/mathews/n2003/GraeffeMethodMod.html Module for Graeffe's Method by John H. Mathews]
| |
| | |
| {{DEFAULTSORT:Graeffe's Method}}
| |
| [[Category:Root-finding algorithms]]
| |