Choosing starting values for certain Newton-Raphson iterations

We aim at finding the best possible seed values when computing a1/p using the Newton-Raphson iteration in a given interval. A natural choice of the seed value would be the one that best approximates the expected result. It turns out that in most cases, the best seed value can be quite far from this natural choice. When we evaluate a monotone function f(a) in the interval [amin, amax], by building the sequence xn defined by the Newton-Raphson iteration, the natural choice consists in choosing x0 equal to the arithmetic mean of the endpoint values. This minimizes the maximum possible distance between x0 and f(a). And yet, if we perform n iterations, what matters is to minimize the maximum possible distance between xn and f(a). In several examples, the value of the best starting point varies rather significantly with the number of iterations.

[1]  Stuart F. Oberman,et al.  Floating point division and square root algorithms and implementation in the AMD-K7/sup TM/ microprocessor , 1999, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336).

[2]  C. V. Ramamoorthy,et al.  Some Properties of Iterative Square-Rooting Methods Using High-Speed Multiplication , 1972, IEEE Transactions on Computers.

[3]  Peter W. Markstein,et al.  IA-64 and elementary functions - speed and precision , 2000 .

[4]  Debjit Das Sarma,et al.  Measuring the accuracy of ROM reciprocal tables , 1993, Proceedings of IEEE 11th Symposium on Computer Arithmetic.

[5]  Peter W. Markstein Computation of Elementary Functions on the IBM RISC System/6000 Processors , 1990, IBM J. Res. Dev..

[6]  Marco Mezzalama,et al.  Optimal absolute error starting values for Newton-Raphson calculation of square root , 2005, Computing.

[7]  C. T. Fike Starting approximations for square root calculation on IBM system /360 , 1966, CACM.

[8]  M. Wayne Wilson Optimal starting approximations for generating square root for slow or no divide , 1970, CACM.

[9]  Jean Paul Collette,et al.  Histoire des mathématiques , 1973 .

[10]  William J. Cody Double-precision square root for the CDC-3600 , 1964, CACM.

[11]  C. T. Fike,et al.  Optimal Starting Approximations for Newton's Method , 1969 .

[12]  David G. Moursund Optimal starting values for Newton-Raphson calculation of x1 2 , 1967, CACM.

[13]  David M. Russinoff A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor , 1998, LMS J. Comput. Math..

[14]  Earl E. Swartzlander,et al.  Optimal initial approximations for the Newton-Raphson division algorithm , 2006, Computing.

[15]  J. Eve Starting Approximations for the Iterative Calculation of Square Roots , 1963, Comput. J..

[16]  Eleanor Robson,et al.  Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context , 1998 .