Newton's method

In numerical analysis, Newton's method (also known as the Newton–Raphson method, named after Isaac Newton and Joseph Raphson) is perhaps the best known method for finding successively better approximations to the zeros (or roots) of a real-valued function. Newton's method can often converge remarkably quickly, especially if the iteration begins "sufficiently near" the desired root. Just how near "sufficiently near" needs to be, and just how quickly "remarkably quickly" can be, depends on the problem. This is discussed in detail below. Unfortunately, far from the desired root, Newton's method can easily lead an unwary user astray with little warning. Thus, good implementations of the method embed it in a routine that also detects and perhaps overcomes possible convergence failures.

Newton's method can also be used to find a minimum or maximum of such a function, by finding a zero in the function's first derivative, see Newton's method as an optimization algorithm.

The algorithm is first in the class of Householder's methods, succeeded by Halley's method.

Description of the method

An illustration of one iteration of Newton's method (the function f is shown in blue and the tangent line is in red). We see that x_n+1 is a better approximation than x_n for the root x of the function f.

The idea of the method is as follows: one starts with an initial guess which is reasonably close to the true root, then the function is approximated by its tangent line (which can be computed using the tools of calculus), and one computes the x-intercept of this tangent line (which is easily done with elementary algebra). This x-intercept will typically be a better approximation to the function's root than the original guess, and the method can be iterated.

Suppose f : [a, b] → R is a differentiable function defined on the interval [a, b] with values in the real numbers R. The formula for converging on the root can be easily derived. Suppose we have some current approximation x_n. Then we can derive the formula for a better approximation, x_n+1 by referring to the diagram on the right. We know from the definition of the derivative at a given point that it is the slope of a tangent at that point.

That is

$f'(x_{n}) = \frac{ \mathrm{rise} }{ \mathrm{run} } = \frac{ \mathrm{\Delta y} }{ \mathrm{\Delta x} } = \frac{ f( x_{n} ) - 0 }{ x_{n} - x_{n+1} }.\,\!$

Here, f ' denotes the derivative of the function f. Then by simple algebra we can derive

$x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}\,\!$ .

We start the process off with some arbitrary initial value x₀. (The closer to the zero, the better. But, in the absence of any intuition about where the zero might lie, a "guess and check" method might narrow the possibilities to a reasonably small interval by appealing to the intermediate value theorem.) The method will usually converge, provided this initial guess is close enough to the unknown zero, and that f'(x₀) ≠ 0. Furthermore, for a zero of multiplicity 1, the convergence is at least quadratic (see rate of convergence) in a neighbourhood of the zero, which intuitively means that the number of correct digits roughly at least doubles in every step. More details can be found in the analysis section below.

History

Newton's method was described by Isaac Newton in De analysi per aequationes numero terminorum infinitas (written in 1669, published in 1711 by William Jones) and in De metodis fluxionum et serierum infinitarum (written in 1671, translated and published as Method of Fluxions in 1736 by John Colson). However, his description differs substantially from the modern description given above: Newton applies the method only to polynomials. He does not compute the successive approximations $x_n$ , but computes a sequence of polynomials and only at the end, he arrives at an approximation for the root x. Finally, Newton views the method as purely algebraic and fails to notice the connection with calculus. Isaac Newton probably derived his method from a similar but less precise method by François Viète. The essence of Viète's method can be found in the work of the Persian mathematician, Sharaf al-Din al-Tusi, while his successor Jamshīd al-Kāshī used a form of Newton's method to solve $x^P - N = 0$ to find roots of N (Ypma 1995). A special case of Newton's method for calculating square roots was known much earlier and is often called the Babylonian method.

Newton's method was first published in 1685 in A Treatise of Algebra both Historical and Practical by John Wallis. In 1690, Joseph Raphson published a simplified description in Analysis aequationum universalis. Raphson again viewed Newton's method purely as an algebraic method and restricted its use to polynomials, but he describes the method in terms of the successive approximations x_n instead of the more complicated sequence of polynomials used by Newton. Finally, in 1740, Thomas Simpson described Newton's method as an iterative method for solving general nonlinear equations using fluxional calculus, essentially giving the description above. In the same publication, Simpson also gives the generalization to systems of two equations and notes that Newton's method can be used for solving optimization problems by setting the gradient to zero.

Arthur Cayley in 1879 in The Newton-Fourier imaginary problem was the first who noticed the difficulties in generalizing the Newton's method to complex roots of polynomials with degree greater than 2 and complex initial values. This opened the way to the study of the theory of iterations of rational functions.

Practical considerations

In general the convergence is quadratic: the error is essentially squared at each step (that is, the number of accurate digits doubles in each step). There are some caveats, however. First, Newton's method requires that the derivative be calculated directly. (If the derivative is approximated by the slope of a line through two points on the function, the secant method results; this can be more efficient depending on how one measures computational effort.) Second, if the initial value is too far from the true zero, Newton's method can fail to converge. Because of this, most practical implementations of Newton's method put an upper limit on the number of iterations and perhaps on the size of the iterates. Third, if the root being sought has multiplicity greater than one, the convergence rate is merely linear (errors reduced by a constant factor at each step) unless special steps are taken.

Since the most serious of the problems above is the possibility of a failure of convergence, Press et al. (1992) present a version of Newton's method that starts at the midpoint of an interval in which the root is known to lie and stops the iteration if an iterate is generated that lies outside the interval.

Developers of large scale computer systems involving root finding tend to prefer the secant method over Newton's method because the use of a difference quotient in place of the derivative in Newton's method implies that the additional code to compute the derivative need not be maintained. In practice, the advantages of maintaining a smaller code base usually outweigh the superior convergence characteristics of Newton's method.

Analysis

Suppose that the function f has a zero at α, i.e., f(α) = 0.

If f is continuously differentiable and its derivative does not vanish at α, then there exists a neighborhood of α such that for all starting values x₀ in that neighborhood, the sequence {x_n} will converge to α.

If the function is continuously differentiable and its derivative does not vanish at α and it has a second derivative at α then the convergence is quadratic or faster. If the second derivative does not vanish at α then the convergence is merely quadratic.

If the derivative does vanish at α, then the convergence is usually only linear. Specifically, if f is twice continuously differentiable, $f'(\alpha) = 0 \!$ and $f''(\alpha) \ne 0 \!$ , then there exists a neighborhood of α such that for all starting values x₀ in that neighborhood, the sequence of iterates converges linearly, with rate log₁₀ 2 (Süli & Mayers, Exercise 1.6). Alternatively if $f'(\alpha) = 0 \!$ and $f'(x) \ne 0 \!$ elsewhere, in a neighborhood U of α, α being a zero of multiplicity r and if $f \in C^r(U)$ then there exists a neighborhood of α such that for all starting values x₀ in that neighborhood, the sequence of iterates converges linearly.

However, even linear convergence is not guaranteed in pathological situations.

In practice these results are local and the neighborhood of convergence are not known a priori, but there are also some results on global convergence, for instance, given a right neighborhood U₊ of α, if f is twice differentiable in U₊ and if $f' \ne 0 \!$ , $f \cdot f'' > 0 \!$ in U₊, then, for each x₀ in U₊ the sequence x_k is monotonically decreasing to α.

Examples

Square root of a number

Consider the problem of finding the square root of a number. There are many methods of computing square roots, and Newton's method is one.

For example, if one wishes to find the square root of 612, this is equivalent to finding the solution to

$\,x^2 = 612$

The function to use in Newton's Method is then,

$\,f(x) = x^2 - 612$

with derivative,

$\,f'(x) = 2\,x$

With an initial guess of 10, the sequence given by Newton's method is

$\begin{matrix} x_1 & = & x_0 - \frac{f(x_0)}{f'(x_0)} & = & 10 - \frac{10^2 - 612}{2 \cdot 10} & = & 35.6 \\ x_2 & = & x_1 - \frac{f(x_1)}{f'(x_1)} & = & 35.6 - \frac{35.6^2 - 612}{2 \cdot 35.6} & = & \underline{2}6.3955056 \\ x_3 & = & \vdots & = & \vdots & = & \underline{24.7}906355 \\ x_4 & = & \vdots & = & \vdots & = & \underline{24.7386}883 \\ x_5 & = & \vdots & = & \vdots & = & \underline{24.7386338} \end{matrix}$

Where the correct digits are underlined. With only a few iterations one can obtain a solution accurate to a few decimal places.

Non-analytical solutions

Consider the problem of finding the positive number x with cos(x) = x³. We can rephrase that as finding the zero of f(x) = cos(x) − x³. We have f'(x) = −sin(x) − 3x². Since cos(x) ≤ 1 for all x and x³ > 1 for x>1, we know that our zero lies between 0 and 1. We try a starting value of x₀ = 0.5.

$\begin{matrix} x_1 & = & x_0 - \frac{f(x_0)}{f'(x_0)} & = & 0.5 - \frac{\cos(0.5) - 0.5^3}{-\sin(0.5) - 3 \times 0.5^2} & = & 1.112141637097 \\ x_2 & = & x_1 - \frac{f(x_1)}{f'(x_1)} & = & \vdots & = & \underline{0.}909672693736 \\ x_3 & = & \vdots & = & \vdots & = & \underline{0.86}7263818209 \\ x_4 & = & \vdots & = & \vdots & = & \underline{0.86547}7135298 \\ x_5 & = & \vdots & = & \vdots & = & \underline{0.8654740331}11 \\ x_6 & = & \vdots &= & \vdots & = & \underline{0.865474033102} \end{matrix}$

The correct digits are underlined in the above example. In particular, x₆ is correct to the number of decimal places given. We see that the number of correct digits after the decimal point increases from 2 (for x₃) to 5 and 10, illustrating the quadratic convergence.

Counter examples

Newton's method makes no guarantee on convergence, and depending on the shape of the function and the starting point it may or may not converge.

Bad starting points

Iteration point is stationary

Consider the function:

$f(x) = 1-x^2 \!$

It has a maximum at x=0 and solutions of f(x)=0 at x=±1. However, if we start iterating from x₀=0, where the derivative is zero, x₁ will be undefined:

$x_1 = x_0 - \frac{f(x_0)}{f'(x_0)} = 0 - \frac{1}{0}$

The same issue occurs if, instead of the starting point, any iteration point is stationary. In particular, this problem appears when the solution is constant over some interval.

Starting point enters a cycle

The tangent lines of x³ - 2x + 2 at 0 and 1 intersect the x-axis at 1 and 0 respectively, illustrating why Newton's method oscillates between these values for some starting points.

For some functions, some starting points may enter an infinite cycle, preventing convergence. Let

$f(x) = x^3 - 2x + 2 \!$

and take 0 as the starting point. The first iteration produces 1 and the second iteration returns to 0 so the sequence will oscillate between the two without converging to a root. In general, the behavior of the sequence can be very complex. (See Newton fractal.)

No feasible starting points

Some functions can be constructed on which Newton's method will always diverge, unless the solution is guessed on the first try; a simple one is the cubic root, which is continuous and infinitely differentiable with continuity, except for x=0, where its derivative is undefined (this, however, does not affect the algorithm, since it will never require the derivative if the solution is already found):

$f(x) = \sqrt[3]{x}$

For any iteration point x_n, the next iteration point will be:

$x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)} = x_n - \frac{x_n^{1/3}}{1/3\,x_n^{1/3-1}} = x_n - 3\,x_n = -2\,x_n$

The algorithm overshoots the solution and lands on the other side of the y axis, farther away than it initially was; applying Newton's method actually doubles the distances from the solution at each iteration.

This consideration holds true for every $f(x) = \sqrt[n]{|x|}$ , where n>2. In the limiting case of n=2 (square root), the iterations will oscillate indefinitely between points x₀ and -x₀.

Derivative issues

Discontinuous derivative

If the derivative is not continuous at the root, then convergence may fail to occur in any neighborhood of the root. Consider the function

$f(x) = \begin{cases} 0 & \text{if } x = 0,\\ x + x^2\sin\left(\frac{2}{x}\right) & \text{if } x \neq 0. \end{cases}$

Its derivative is:

$f'(x) = \begin{cases} \nexists & \text{if } x = 0,\\ 1 + 2\,x\,\sin\left(\frac{2}{x}\right) - 2\,\cos\left(\frac{2}{x}\right) & \text{if } x \neq 0. \end{cases}$

The derivative does not exist at x=0 since both f'(0^-) and f'(0⁺) are undefined.

Within any neighborhood of the root, this derivative keeps changing sign as x approaches 0 from the right (or from the left) while f(x)≥x-x²>0 for 0<x<1.

So f(x)/f'(x) is unbounded near the root, and Newton's method will not converge, even though:

the function is everywhere differentiable with continuity, except at the root;
f is infinitely differentiable except at the root; and
the derivative is bounded in a neighborhood of the root (unlike f(x)/f'(x)).

No second derivative

If there is no second derivative at the root, then convergence may fail to be quadratic. Indeed, let

$f(x) = x + x^{4/3} \!$

Then

$f'(x) = 1 + (4/3)x^{1/3} \!$

And

$f''(x) = (4/9)x^{-2/3} \!$

except when $x = 0 \!$ where it is undefined. Given $x_n \!$ ,

$x_{n+1} = x_n - \frac{f(x_n)}{f '(x_n)} = \frac{(1/3)x_n^{4/3}}{(1 + (4/3)x_n^{1/3})} \!$

which has approximately 4/3 times as many bits of precision as $x_n \!$ has. This is less than the 2 times as many which would be required for quadratic convergence. So the convergence of Newton's method (in this case) is not quadratic, even though: the function is continuously differentiable everywhere; the derivative is not zero at the root; and $f \!$ is infinitely differentiable except at the desired root.

Zero derivative

If the first derivative is zero at the root, then convergence will not be quadratic. Indeed, let

$f(x) = x^2 \!$

Then $f'(x) = 2x \!$ and consequently $x - f(x)/f'(x) = x/2 \!$ . So convergence is not quadratic, even though the function is infinitely differentiable everywhere.

Generalizations

Nonlinear systems of equations

Solving system of nonlinear equations with Newton method

One may use Newton's method also to solve systems of k (non-linear) equations, which amounts to finding the zeros of continuously differentiable functions F : R^k → R^k. In the formulation given above, one then has to left multiply with the inverse of the k-by-k Jacobian matrix J_F(x_n) instead of dividing by f '(x_n). Rather than actually computing the inverse of this matrix, one can save time by solving the system of linear equations

$J_F(x_n) (x_{n+1} - x_n) = -F(x_n)\,\!$

for the unknown x_n+1 − x_n. Again, this method only works if the initial value x₀ is close enough to the true zero. Typically, a region which is well-behaved is located first with some other method and Newton's method is then used to "polish" a root which is already known approximately.

Nonlinear equations in a Banach space

Another generalization is the Newton's method to find a zero of a function F defined in a Banach space. In this case the formulation is

$X_{n+1}=X_n-(F'_{X_n})^{-1}[F(X_n)]$ ,

where $F'_{X_n}$ is the Fréchet derivative applied at the point $X_n$ . One needs the Fréchet derivative to be invertible at each $X_n$ in order for the method to be applicable.

Complex functions

Basins of attraction for x⁵ − 1 = 0; darker means more iterations to converge.

Main article: Newton fractal

When dealing with complex functions, however, Newton's method can be directly applied to find their zeros. For many complex functions, the boundary of the set (also known as the basin of attraction) of all starting values that cause the method to converge to a particular zero is a fractal.

References

Tjalling J. Ypma, Historical development of the Newton-Raphson method, SIAM Review 37 (4), 531–551, 1995. doi:10.1137/1037125.
P. Deuflhard, Newton Methods for Nonlinear Problems. Affine Invariance and Adaptive Algorithms. Springer Series in Computational Mathematics, Vol. 35. Springer, Berlin, 2004. ISBN 3-540-21099-7.
C. T. Kelley, Solving Nonlinear Equations with Newton's Method, no 1 in Fundamentals of Algorithms, SIAM, 2003. ISBN 0-89871-546-6.
J. M. Ortega, W. C. Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables. Classics in Applied Mathematics, SIAM, 2000. ISBN 0-89871-461-3.
W. H. Press, B. P. Flannery, S. A. Teukolsky, W. T. Vetterling, Numerical Recipes in C: The Art of Scientific Computing, Cambridge University Press, 1992. ISBN 0-521-43108-5 (available free online, with code samples: [1]), sections 9.4 [2] and 9.6 [3].
W. H. Press, B. P. Flannery, S. A. Teukolsky, W. T. Vetterling, Numerical Recipes: The Art of Scientific Computing, Cambridge University Press, 2007. ISBN 0-521-88068-8 (available for a fee online, with code samples [4]).
W. H. Press, B. P. Flannery, S. A. Teukolsky, W. T. Vetterling, Numerical Recipes in Fortran, Cambridge University Press, 1992. ISBN 0-521-43064-X (online, with code samples: [5])
Endre Süli and David Mayers, An Introduction to Numerical Analysis, Cambridge University Press, 2003. ISBN 0-521-00794-1.

External links

Newton's method on Wolfram.com
Animations for Newton's method by Prof. John H. Mathews
Animations for Newton's method by Yihui Xie using the R package animation
Newton-Raphson Method Notes, PPT, Mathcad, Maple, Matlab, Mathematica at Holistic Numerical Methods Institute
Module for Newton’s Method by John H. Mathews
worked example