Wilkinson's Polynomial - Conditioning of Wilkinson's Polynomial

Conditioning of Wilkinson's Polynomial

Wilkinson's polynomial

clearly has 20 roots, located at x = 1, 2, …, 20. These roots are far apart. However, the polynomial is still very ill-conditioned.

Expanding the polynomial, one finds

 x^{20}-210 x^{19}+20615 x^{18}-1256850 x^{17}+53327946 x^{16} \,\!
 {}-1672280820 x^{15}+40171771630 x^{14}-756111184500 x^{13} \,\!
 {}+11310276995381 x^{12}-135585182899530 x^{11} \,\!
 {}+1307535010540395 x^{10}-10142299865511450 x^9 \,\!
 {}+63030812099294896 x^8-311333643161390640 x^7 \,\!
 {}+1206647803780373360 x^6-3599979517947607200 x^5 \,\!
 {}+8037811822645051776 x^4-12870931245150988800 x^3 \,\!
 {}+13803759753640704000 x^2-8752948036761600000 x \,\!

If the coefficient of x19 is decreased from −210 by 2−23 to −210.0000001192, then the polynomial value w(20) decreases from 0 to −2−232019 = −6.25×1017, and the root at x = 20 grows to x ≈ 20.8 . The roots at x = 18 and x = 19 collide into a double root at x ≈ 18.62 which turns into a pair of complex conjugate roots at x ≈ 19.5±1.9i as the perturbation increases further. The 20 roots become (to 5 decimals)

1.00000 2.00000 3.00000 4.00000 5.00000
6.00001 6.99970 8.00727 8.91725 20.84691
10.09527±
0.64350
i
11.79363±
1.65233
i
13.99236±
2.51883
i
16.73074±
2.81262
i
19.50244±
1.94033
i

Some of the roots are greatly displaced, even though the change to the coefficient is tiny and the original roots seem widely spaced. Wilkinson showed by the stability analysis discussed in the next section that this behavior is related to the fact that some roots α (such as α = 15) have many roots β that are "close" in the sense that |α−β| is smaller than |α|.

Wilkinson chose the perturbation of 2−23 because his Pilot ACE computer had 30-bit floating point significands, so for numbers around 210, 2−23 was an error in the first bit position not represented in the computer. The two real numbers, −210 and −210 − 2−23, are represented by the same floating point number, which means that 2−23 is the unavoidable error in representing a real coefficient close to −210 by a floating point number on that computer. The perturbation analysis shows that 30-bit coefficient precision is insufficient for separating the roots of Wilkinson's polynomial.

Read more about this topic:  Wilkinson's Polynomial

Famous quotes containing the word conditioning:

    The climacteric marks the end of apologizing. The chrysalis of conditioning has once for all to break and the female woman finally to emerge.
    Germaine Greer (b. 1939)