info prev up next book cdrom email home

Halley's Irrational Formula

A Root-finding Algorithm which makes use of a third-order Taylor Series

\begin{displaymath}
f(x)=f(x_n)+f'(x_n)(x-x_n)+{\textstyle{1\over 2}}f''(x_n)(x-x_n)^2+\ldots.
\end{displaymath} (1)

A Root of $f(x)$ satisfies $f(x)=0$, so
\begin{displaymath}
0\approx f(x_n)+f'(x_n)(x_{n+1}-x_n)+{\textstyle{1\over 2}}f''(x_n)(x_{n+1}-x_n)^2.
\end{displaymath} (2)

Using the Quadratic Equation then gives
\begin{displaymath}
x_{n+1}=x_n+{-f'(x_n)\pm\sqrt{[f'(x_n)]^2-2f(x_n)f''(x_n)}\over f''(x_n)}.
\end{displaymath} (3)

Picking the plus sign gives the iteration function
\begin{displaymath}
C_f(x)=x-{1-\sqrt{1-{2f(x)f''(x)\over [f'(x)]^2}}\over{f''(x)\over f'(x)}}.
\end{displaymath} (4)

This equation can be used as a starting point for deriving Halley's Method.


If the alternate form of the Quadratic Equation is used instead in solving (2), the iteration function becomes instead

\begin{displaymath}
C_f(x)=x-{2f(x)\over f'(x)\pm\sqrt{[f'(x)]^2-2f(x)f''(x)}}.
\end{displaymath} (5)

This form can also be derived by setting $n=2$ in Laguerre's Method. Numerically, the Sign in the Denominator is chosen to maximize its Absolute Value. Note that in the above equation, if $f''(x)=0$, then Newton's Method is recovered. This form of Halley's irrational formula has cubic convergence, and is usually found to be substantially more stable than Newton's Method. However, it does run into difficulty when both $f(x)$ and $f'(x)$ or $f'(x)$ and $f''(x)$ are simultaneously near zero.

See also Halley's Method, Laguerre's Method, Newton's Method


References

Qiu, H. ``A Robust Examination of the Newton-Raphson Method with Strong Global Convergence Properties.'' Master's Thesis. University of Central Florida, 1993.

Scavo, T. R. and Thoo, J. B. ``On the Geometry of Halley's Method.'' Amer. Math. Monthly 102, 417-426, 1995.



info prev up next book cdrom email home

© 1996-9 Eric W. Weisstein
1999-05-25