# Newton's method

Last updated

In numerical analysis, Newton's method, also known as the Newton–Raphson method, named after Isaac Newton and Joseph Raphson, is a root-finding algorithm which produces successively better approximations to the roots (or zeroes) of a real-valued function. The most basic version starts with a single-variable function f defined for a real variable x, the function's derivative f, and an initial guess x0 for a root of f. If the function satisfies sufficient assumptions and the initial guess is close, then

## Contents

${\displaystyle x_{1}=x_{0}-{\frac {f(x_{0})}{f'(x_{0})}}}$

is a better approximation of the root than x0. Geometrically, (x1, 0) is the intersection of the x-axis and the tangent of the graph of f at (x0, f(x0)): that is, the improved guess is the unique root of the linear approximation at the initial point. The process is repeated as

${\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}}$

until a sufficiently precise value is reached. This algorithm is first in the class of Householder's methods, succeeded by Halley's method. The method can also be extended to complex functions and to systems of equations.

## Description

The idea is to start with an initial guess which is reasonably close to the true root, then to approximate the function by its tangent line using calculus, and finally to compute the x-intercept of this tangent line by elementary algebra. This x-intercept will typically be a better approximation to the original function's root than the first guess, and the method can be iterated.

More formally, suppose f : (a, b) → ℝ is a differentiable function defined on the interval (a, b) with values in the real numbers  , and we have some current approximation xn. Then we can derive the formula for a better approximation, xn + 1 by referring to the diagram on the right. The equation of the tangent line to the curve y = f(x) at x = xn is

${\displaystyle y=f'(x_{n})\,(x-x_{n})+f(x_{n}),}$

where f′ denotes the derivative. The x-intercept of this line (the value of x which makes y = 0) is taken as the next approximation, xn + 1, to the root, so that the equation of the tangent line is satisfied when ${\displaystyle (x,y)=(x_{n+1},0)}$:

${\displaystyle 0=f'(x_{n})\,(x_{n+1}-x_{n})+f(x_{n}).}$

Solving for xn + 1 gives

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

We start the process with some arbitrary initial value x0. (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(x0) ≠ 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 doubles in every step. More details can be found in the analysis section below.

Householder's methods are similar but have higher order for even faster convergence. However, the extra computations required for each step can slow down the overall performance relative to Newton's method, particularly if f or its derivatives are computationally expensive to evaluate.

## History

The name "Newton's method" is derived from Isaac Newton's description of a special case of the method 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 method differs substantially from the modern method given above. Newton applied the method only to polynomials, starting with an initial root estimate and extracting a sequence of error corrections. He used each correction to rewrite the polynomial in terms of the remaining error, and then solved for a new correction by neglecting higher-degree terms. He did not explicitly connect the method with derivatives or present a general formula. Newton applied this method to both numerical and algebraic problems, producing Taylor series in the latter case.

Newton may have derived his method from a similar but less precise method by Vieta. The essence of Vieta'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 xPN = 0 to find roots of N (Ypma 1995). A special case of Newton's method for calculating square roots was known since ancient times and is often called the Babylonian method.

Newton's method was used by 17th-century Japanese mathematician Seki Kōwa to solve single-variable equations, though the connection with calculus was missing. [1]

Newton's method was first published in 1685 in A Treatise of Algebra both Historical and Practical by John Wallis. [2] In 1690, Joseph Raphson published a simplified description in Analysis aequationum universalis. [3] Raphson also applied the method only to polynomials, but he avoided Newton's tedious rewriting process by extracting each successive correction from the original polynomial. This allowed him to derive a reusable iterative expression for each problem. Finally, in 1740, Thomas Simpson described Newton's method as an iterative method for solving general nonlinear equations using 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 to notice the difficulties in generalizing 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

Newton's method is a powerful technique—in general the convergence is quadratic: as the method converges on the root, the difference between the root and the approximation is squared (the number of accurate digits roughly doubles) at each step. However, there are some difficulties with the method.

### Difficulty in calculating derivative of a function

Newton's method requires that the derivative can be calculated directly. An analytical expression for the derivative may not be easily obtainable or could be expensive to evaluate. In these situations, it may be appropriate to approximate the derivative by using the slope of a line through two nearby points on the function. Using this approximation would result in something like the secant method whose convergence is slower than that of Newton's method.

### Failure of the method to converge to the root

It is important to review the proof of quadratic convergence of Newton's method before implementing it. Specifically, one should review the assumptions made in the proof. For situations where the method fails to converge, it is because the assumptions made in this proof are not met.

#### Overshoot

If the first derivative is not well behaved in the neighborhood of a particular root, the method may overshoot, and diverge from that root. An example of a function with one root, for which the derivative is not well behaved in the neighborhood of the root, is

${\displaystyle f(x)=|x|^{a},\quad 0

for which the root will be overshot and the sequence of x will diverge. For a = 1/2, the root will still be overshot, but the sequence will oscillate between two values. For 1/2 < a < 1, the root will still be overshot but the sequence will converge, and for a ≥ 1 the root will not be overshot at all.

In some cases, Newton's method can be stabilized by using successive over-relaxation, or the speed of convergence can be increased by using the same method.

#### Stationary point

If a stationary point of the function is encountered, the derivative is zero and the method will terminate due to division by zero.

#### Poor initial estimate

A large error in the initial estimate can contribute to non-convergence of the algorithm. To overcome this problem one can often linearize the function that is being optimized using calculus, logs, differentials, or even using evolutionary algorithms, such as the stochastic tunneling. Good initial estimates lie close to the final globally optimal parameter estimate. In nonlinear regression, the sum of squared errors (SSE) is only "close to" parabolic in the region of the final parameter estimates. Initial estimates found here will allow the Newton–Raphson method to quickly converge. It is only here that the Hessian matrix of the SSE is positive and the first derivative of the SSE is close to zero.

#### Mitigation of non-convergence

In a robust implementation of Newton's method, it is common to place limits on the number of iterations, bound the solution to an interval known to contain the root, and combine the method with a more robust root finding method.

### Slow convergence for roots of multiplicity greater than 1

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. When there are two or more roots that are close together then it may take many iterations before the iterates get close enough to one of them for the quadratic convergence to be apparent. However, if the multiplicity ${\displaystyle m}$ of the root is known, the following modified algorithm preserves the quadratic convergence rate: [4]

${\displaystyle x_{n+1}=x_{n}-m{\frac {f(x_{n})}{f'(x_{n})}}.}$

This is equivalent to using successive over-relaxation. On the other hand, if the multiplicity m of the root is not known, it is possible to estimate ${\displaystyle m}$ after carrying out one or two iterations, and then use that value to increase the rate of convergence.

If the multiplicity m of the root is finite then g(x) = f(x) / f(x) will have a root at the same location with multiplicity 1. Applying Newton's method to find the root of g(x) recovers quadratic convergence in many cases although it generally involves the second derivative of f(x). In a particularly simple case, if f(x) = xm then g(x) = x / m and Newton's method finds the root in a single iteration with

${\displaystyle x_{n+1}=x_{n}-{\frac {g(x_{n})}{g'(x_{n})}}=x_{n}-{\frac {x_{n}/m}{1/m}}=0\,.}$

## Analysis

Suppose that the function f has a zero at α, i.e., f(α) = 0, and f is differentiable in a neighborhood of α.

If f is continuously differentiable and its derivative is nonzero at α, then there exists a neighborhood of α such that for all starting values x0 in that neighborhood, the sequence (xn) will converge to α. [5]

If the function is continuously differentiable and its derivative is not 0 at α and it has a second derivative at α then the convergence is quadratic or faster. If the second derivative is not 0 at α then the convergence is merely quadratic. If the third derivative exists and is bounded in a neighborhood of α, then:

${\displaystyle \Delta x_{i+1}={\frac {f''(\alpha )}{2f'(\alpha )}}(\Delta x_{i})^{2}+O(\Delta x_{i})^{3}\,,}$

where

${\displaystyle \Delta x_{i}\triangleq x_{i}-\alpha \,.}$

If the derivative is 0 at α, then the convergence is usually only linear. Specifically, if f is twice continuously differentiable, f(α) = 0 and f(α) ≠ 0, then there exists a neighborhood of α such that, for all starting values x0 in that neighborhood, the sequence of iterates converges linearly, with rate 1/2 [6] Alternatively, if f(α) = 0 and f(x) ≠ 0 for xα, x in a neighborhood U of α, α being a zero of multiplicity r, and if fCr(U), then there exists a neighborhood of α such that, for all starting values x0 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 is not known in advance. 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 ≠ 0, f · f > 0 in U+, then, for each x0 in U+ the sequence xk is monotonically decreasing to α.

### Proof of quadratic convergence for Newton's iterative method

According to Taylor's theorem, any function f(x) which has a continuous second derivative can be represented by an expansion about a point that is close to a root of f(x). Suppose this root is α. Then the expansion of f(α) about xn is:

${\displaystyle f(\alpha )=f(x_{n})+f'(x_{n})(\alpha -x_{n})+R_{1}\,}$

(1)

${\displaystyle R_{1}={\frac {1}{2!}}f''(\xi _{n})(\alpha -x_{n})^{2}\,,}$

where ξn is in between xn and α.

Since α is the root, ( 1 ) becomes:

${\displaystyle 0=f(\alpha )=f(x_{n})+f'(x_{n})(\alpha -x_{n})+{\tfrac {1}{2}}f''(\xi _{n})(\alpha -x_{n})^{2}\,}$

(2)

Dividing equation ( 2 ) by f(xn) and rearranging gives

${\displaystyle {\frac {f(x_{n})}{f'(x_{n})}}+\left(\alpha -x_{n}\right)={\frac {-f''(\xi _{n})}{2f'(x_{n})}}\left(\alpha -x_{n}\right)^{2}}$

(3)

Remembering that xn + 1 is defined by

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

(4)

one finds that

${\displaystyle \underbrace {\alpha -x_{n+1}} _{\varepsilon _{n+1}}={\frac {-f''(\xi _{n})}{2f'(x_{n})}}(\,\underbrace {\alpha -x_{n}} _{\varepsilon _{n}}\,)^{2}\,.}$

That is,

${\displaystyle \varepsilon _{n+1}={\frac {-f''(\xi _{n})}{2f'(x_{n})}}\cdot {\varepsilon _{n}}^{2}\,.}$

(5)

Taking the absolute value of both sides gives

${\displaystyle \left|{\varepsilon _{n+1}}\right|={\frac {\left|f''(\xi _{n})\right|}{2\left|f'(x_{n})\right|}}\cdot {\varepsilon _{n}}^{2}\,.}$

(6)

Equation ( 6 ) shows that the rate of convergence is at least quadratic if the following conditions are satisfied:

1. f(x) ≠ 0; for all xI, where I is the interval [αr, α + r] for some r|αx0|;
2. f(x) is continuous, for all xI;
3. x0 is sufficiently close to the root α.

The term sufficiently close in this context means the following:

1. Taylor approximation is accurate enough such that we can ignore higher order terms;
2. ${\displaystyle {\frac {1}{2}}\left|{\frac {f''(x_{n})}{f'(x_{n})}}\right| for some C < ∞;
3. ${\displaystyle C\left|{\frac {f''(\alpha )}{f'(\alpha )}}\right|\varepsilon _{n}<1,}$ for n, n ≥ 0 and C satisfying condition b.

Finally, ( 6 ) can be expressed in the following way:

${\displaystyle \left|{\varepsilon _{n+1}}\right|\leq M{\varepsilon _{n}}^{2}\,}$

where M is the supremum of the variable coefficient of εn2 on the interval I defined in condition 1, that is:

${\displaystyle M=\sup _{x\in I}{\frac {1}{2}}\left|{\frac {f''(x)}{f'(x)}}\right|.\,}$

The initial point x0 has to be chosen such that conditions 1 to 3 are satisfied, where the third condition requires that M|ε0| < 1.

### Basins of attraction

The disjoint subsets of the basins of attraction—the regions of the real number line such that within each region iteration from any point leads to one particular root—can be infinite in number and arbitrarily small. For example, [7] for the function f(x) = x3 − 2x2 − 11x + 12 = (x − 4)(x − 1)(x + 3), the following initial conditions are in successive basins of attraction:

 2.35288 converges to 4; 2.35284 converges to −3; 2.35284 converges to 4; 2.35284 converges to −3; 2.35284 converges to 1.

## Failure analysis

Newton's method is only guaranteed to converge if certain conditions are satisfied. If the assumptions made in the proof of quadratic convergence are met, the method will converge. For the following subsections, failure of the method to converge indicates that the assumptions made in the proof were not met.

In some cases the conditions on the function that are necessary for convergence are satisfied, but the point chosen as the initial point is not in the interval where the method converges. This can happen, for example, if the function whose root is sought approaches zero asymptotically as x goes to or −∞. In such cases a different method, such as bisection, should be used to obtain a better estimate for the zero to use as an initial point.

#### Iteration point is stationary

Consider the function:

${\displaystyle f(x)=1-x^{2}.}$

It has a maximum at x = 0 and solutions of f(x) = 0 at x = ±1. If we start iterating from the stationary point x0 = 0 (where the derivative is zero), x1 will be undefined, since the tangent at (0,1) is parallel to the x-axis:

${\displaystyle 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. Even if the derivative is small but not zero, the next iteration will be a far worse approximation.

#### Starting point enters a cycle

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

${\displaystyle 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 alternate between the two without converging to a root. In fact, this 2-cycle is stable: there are neighborhoods around 0 and around 1 from which all points iterate asymptotically to the 2-cycle (and hence not to the root of the function). In general, the behavior of the sequence can be very complex (see Newton fractal). The real solution of this equation is −1.76929235….

### Derivative issues

If the function is not continuously differentiable in a neighborhood of the root then it is possible that Newton's method will always diverge and fail, unless the solution is guessed on the first try.

#### Derivative does not exist at root

A simple example of a function where Newton's method diverges is trying to find the cube root of zero. The cube root is continuous and infinitely differentiable, except for x = 0, where its derivative is undefined:

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

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

${\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}-{\frac {{x_{n}}^{\frac {1}{3}}}{{\frac {1}{3}}{x_{n}}^{{\frac {1}{3}}-1}}}=x_{n}-3x_{n}=-2x_{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.

In fact, the iterations diverge to infinity for every f(x) = |x|α, where 0 < α < 1/2. In the limiting case of α = 1/2 (square root), the iterations will alternate indefinitely between points x0 and x0, so they do not converge in this case either.

#### 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

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

Its derivative is:

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

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) ≥ xx2 > 0 for 0 < x < 1.

So f(x)/f(x) is unbounded near the root, and Newton's method will diverge almost everywhere in any neighborhood of it, even though:

• the function is differentiable (and thus continuous) everywhere;
• the derivative at the root is nonzero;
• f is infinitely differentiable except at the root; and
• the derivative is bounded in a neighborhood of the root (unlike f(x)/f(x)).

In some cases the iterates converge but do not converge as quickly as promised. In these cases simpler methods converge just as quickly as Newton's method.

#### Zero derivative

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

${\displaystyle f(x)=x^{2}\!}$

then f(x) = 2x and consequently

${\displaystyle x-{\frac {f(x)}{f'(x)}}={\frac {x}{2}}.}$

So convergence is not quadratic, even though the function is infinitely differentiable everywhere.

Similar problems occur even when the root is only "nearly" double. For example, let

${\displaystyle f(x)=x^{2}(x-1000)+1.}$

Then the first few iterations starting at x0 = 1 are

x0 = 1
x1 = 0.500250376
x2 = 0.251062828
x3 = 0.127507934
x4 = 0.067671976
x5 = 0.041224176
x6 = 0.032741218
x7 = 0.031642362

it takes six iterations to reach a point where the convergence appears to be quadratic.

#### No second derivative

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

${\displaystyle f(x)=x+x^{\frac {4}{3}}.}$

Then

${\displaystyle f'(x)=1+{\tfrac {4}{3}}x^{\frac {1}{3}}.}$

And

${\displaystyle f''(x)={\tfrac {4}{9}}x^{-{\frac {2}{3}}}}$

except when x = 0 where it is undefined. Given xn,

${\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}={\frac {{\frac {1}{3}}{x_{n}}^{\frac {4}{3}}}{1+{\tfrac {4}{3}}{x_{n}}^{\frac {1}{3}}}}}$

which has approximately 4/3 times as many bits of precision as xn 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.

## Generalizations

### Complex functions

When dealing with complex functions, Newton's method can be directly applied to find their zeroes. [8] Each zero has a basin of attraction in the complex plane, the set of all starting values that cause the method to converge to that particular zero. These sets can be mapped as in the image shown. For many complex functions, the boundaries of the basins of attraction are fractals.

In some cases there are regions in the complex plane which are not in any of these basins of attraction, meaning the iterates do not converge. For example, [9] if one uses a real initial condition to seek a root of x2 + 1, all subsequent iterates will be real numbers and so the iterations cannot converge to either root, since both roots are non-real. In this case almost all real initial conditions lead to chaotic behavior, while some initial conditions iterate either to infinity or to repeating cycles of any finite length.

Curt McMullen has shown that for any possible purely iterative algorithm similar to Newton's method, the algorithm will diverge on some open regions of the complex plane when applied to some polynomial of degree 4 or higher. However, McMullen gave a generally convergent algorithm for polynomials of degree 3. [10]

### Systems of equations

#### k variables, k functions

One may also use Newton's method to solve systems of k (nonlinear) equations, which amounts to finding the zeroes of continuously differentiable functions F : ℝk → ℝk. In the formulation given above, one then has to left multiply with the inverse of the k × k Jacobian matrix JF(xn) instead of dividing by f(xn):

${\displaystyle x_{n+1}=x_{n}-J_{F}(x_{n})^{-1}F(x_{n})}$

Rather than actually computing the inverse of the Jacobian matrix, one may save time and increase numerical stability by solving the system of linear equations

${\displaystyle J_{F}(x_{n})(x_{n+1}-x_{n})=-F(x_{n})}$

for the unknown xn + 1xn.

#### k variables, m equations, with m > k

The k-dimensional variant of Newton's method can be used to solve systems of greater than k (nonlinear) equations as well if the algorithm uses the generalized inverse of the non-square Jacobian matrix J+ = (JTJ)−1JT instead of the inverse of J. If the nonlinear system has no solution, the method attempts to find a solution in the non-linear least squares sense. See Gauss–Newton algorithm for more information.

### In a Banach space

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

${\displaystyle X_{n+1}=X_{n}-{\bigl (}F'(X_{n}){\bigr )}^{-1}F(X_{n}),\,}$

where F′(Xn) is the Fréchet derivative computed at Xn. One needs the Fréchet derivative to be boundedly invertible at each Xn in order for the method to be applicable. A condition for existence of and convergence to a root is given by the Newton–Kantorovich theorem. [11]

In p-adic analysis, the standard method to show a polynomial equation in one variable has a p-adic root is Hensel's lemma, which uses the recursion from Newton's method on the p-adic numbers. Because of the more stable behavior of addition and multiplication in the p-adic numbers compared to the real numbers (specifically, the unit ball in the p-adics is a ring), convergence in Hensel's lemma can be guaranteed under much simpler hypotheses than in the classical Newton's method on the real line.

### Newton–Fourier method

The Newton–Fourier method is Joseph Fourier's extension of Newton's method to provide bounds on the absolute error of the root approximation, while still providing quadratic convergence.

Assume that f(x) is twice continuously differentiable on [a, b] and that f contains a root in this interval. Assume that f(x), f(x) ≠ 0 on this interval (this is the case for instance if f(a) < 0, f(b) > 0, and f(x) > 0, and f(x) > 0 on this interval). This guarantees that there is a unique root on this interval, call it α. If it is concave down instead of concave up then replace f(x) by f(x) since they have the same roots.

Let x0 = b be the right endpoint of the interval and let z0 = a be the left endpoint of the interval. Given xn, define

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

which is just Newton's method as before. Then define

${\displaystyle z_{n+1}=z_{n}-{\frac {f(z_{n})}{f'(x_{n})}},}$

where the denominator is f(xn) and not f(zn). The iterations xn will be strictly decreasing to the root while the iterations zn will be strictly increasing to the root. Also,

${\displaystyle \lim _{n\to \infty }{\frac {x_{n+1}-z_{n+1}}{(x_{n}-z_{n})^{2}}}={\frac {f''(\alpha )}{2f'(\alpha )}}}$

so that distance between xn and zn decreases quadratically.

### Quasi-Newton methods

When the Jacobian is unavailable or too expensive to compute at every iteration, a quasi-Newton method can be used.

### q-analog

Newton's method can be generalized with the q-analog of the usual derivative. [12]

### Modified Newton methods

#### Maehly's procedure

A nonlinear equation has multiple solutions in general. But if the initial value is not appropriate, Newton's method may not converge to the desired solution or may converge to the same solution found earlier. When we have already found N solutions of ${\displaystyle f(x)=0}$, then the next root can be found by applying Newton's method to the next equation: [13] [14]

${\displaystyle F(x)={\frac {f(x)}{\prod _{i=1}^{N}(x-x_{i})}}=0.}$

This method is applied to obtain zeros of the Bessel function of the second kind. [15]

#### Hirano's modified Newton method

Hirano's modified Newton method is a modification conserving the convergence of Newton method and avoiding unstableness. [16] It is developed to solve complex polynomials.

#### Interval Newton's method

Combining Newton's method with interval arithmetic is very useful in some contexts. This provides a stopping criterion that is more reliable than the usual ones (which are a small value of the function or a small variation of the variable between consecutive iterations). Also, this may detect cases where Newton's method converges theoretically but diverges numerically because of an insufficient floating-point precision (this is typically the case for polynomials of large degree, where a very small change of the variable may change dramatically the value of the function; see Wilkinson's polynomial). [17] [18]

Consider ${\displaystyle f\in {\mathcal {C}}^{1}(X)}$, where ${\displaystyle X}$ is a real interval, and suppose that we have an interval extension ${\displaystyle F'}$ of ${\displaystyle f'}$, meaning that ${\displaystyle F'}$ takes as input an interval ${\displaystyle Y\subseteq X}$ and outputs an interval ${\displaystyle F'(Y)}$ such that:

{\displaystyle {\begin{aligned}F'([y,y])&=\{f'(y)\}\\[5pt]F'(Y)&\supseteq \{f'(y)\mid y\in Y\}.\end{aligned}}}

We also assume that ${\displaystyle 0\notin F'(X)}$, so in particular ${\displaystyle f}$ has at most one root in ${\displaystyle X}$. We then define the interval Newton operator by:

${\displaystyle N(Y)=m-{\frac {f(m)}{F'(Y)}}=\left\{\left.m-{\frac {f(m)}{z}}~\right|~z\in F'(Y)\right\}}$

where ${\displaystyle m\in Y}$. Note that the hypothesis on ${\displaystyle F'}$ implies that ${\displaystyle N(Y)}$ is well defined and is an interval (see interval arithmetic for further details on interval operations). This naturally leads to the following sequence:

{\displaystyle {\begin{aligned}X_{0}&=X\\X_{k+1}&=N(X_{k})\cap X_{k}.\end{aligned}}}

The mean value theorem ensures that if there is a root of ${\displaystyle f}$ in ${\displaystyle X_{k}}$, then it is also in ${\displaystyle X_{k+1}}$. Moreover, the hypothesis on ${\displaystyle F'}$ ensures that ${\displaystyle X_{k+1}}$ is at most half the size of ${\displaystyle X_{k}}$ when ${\displaystyle m}$ is the midpoint of ${\displaystyle Y}$, so this sequence converges towards ${\displaystyle [x^{*},x^{*}]}$, where ${\displaystyle x^{*}}$ is the root of ${\displaystyle f}$ in ${\displaystyle X}$.

If ${\displaystyle F'(X)}$ strictly contains ${\displaystyle 0}$, the use of extended interval division produces a union of two intervals for ${\displaystyle N(X)}$ ; multiple roots are therefore automatically separated and bounded.

## Applications

### Minimization and maximization problems

Newton's method can be used to find a minimum or maximum of a function ${\displaystyle f(x)}$. The derivative is zero at a minimum or maximum, so local minima and maxima can be found by applying Newton's method to the derivative. The iteration becomes:

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

### Multiplicative inverses of numbers and power series

An important application is Newton–Raphson division, which can be used to quickly find the reciprocal of a number a, using only multiplication and subtraction, that is to say the number x such that 1/x = a. We can rephrase that as finding the zero of f(x) = 1/xa. We have f′(x) = −1/x2.

Newton's iteration is

${\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}+{\frac {{\frac {1}{x_{n}}}-a}{\frac {1}{x_{n}^{2}}}}=x_{n}(2-ax_{n}).}$

Therefore, Newton's iteration needs only two multiplications and one subtraction.

This method is also very efficient to compute the multiplicative inverse of a power series.

### Solving transcendental equations

Many transcendental equations can be solved using Newton's method. Given the equation

${\displaystyle g(x)=h(x),}$

with g(x) and/or h(x) a transcendental function, one writes

${\displaystyle f(x)=g(x)-h(x).}$

The values of x that solve the original equation are then the roots of f(x), which may be found via Newton's method.

### Obtaining zeros of special functions

Newton's method is applied to the ratio of Bessel functions in order to obtain its root. [19]

### Numerical verification for solutions of nonlinear equations

A numerical verification for solutions of nonlinear equations has been established by using Newton's method multiple times and forming a set of solution candidates. [20] [21]

### CFD modeling

An iterative Newton-Raphson procedure was employed in order to impose a stable Dirichlet boundary condition in CFD, as a quite general strategy to model current and potential distribution for electrochemical cell stacks. [22]

## Examples

### Square root

Consider the problem of finding the square root of a number a, that is to say the positive number x such that x2 = a. Newton's method is one of many methods of computing square roots. We can rephrase that as finding the zero of f(x) = x2a. We have f′(x) = 2x.

For example, for finding the square root of 612 with an initial guess x0 = 10, the sequence given by Newton's method is:

${\displaystyle {\begin{matrix}x_{1}&=&x_{0}-{\dfrac {f(x_{0})}{f'(x_{0})}}&=&10-{\dfrac {10^{2}-612}{2\times 10}}&=&35.6\qquad \qquad \qquad \quad \;\,{}\\x_{2}&=&x_{1}-{\dfrac {f(x_{1})}{f'(x_{1})}}&=&35.6-{\dfrac {35.6^{2}-612}{2\times 35.6}}&=&{\underline {2}}6.395\,505\,617\,978\dots \\x_{3}&=&\vdots &=&\vdots &=&{\underline {24.7}}90\,635\,492\,455\dots \\x_{4}&=&\vdots &=&\vdots &=&{\underline {24.738\,6}}88\,294\,075\dots \\x_{5}&=&\vdots &=&\vdots &=&{\underline {24.738\,633\,753\,7}}67\dots \end{matrix}}}$

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

Rearranging the formula as follows yields the Babylonian method of finding square roots:

${\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}-{\frac {x_{n}^{2}-a}{2x_{n}}}={\frac {1}{2}}{\biggl (}2x_{n}-{\Bigl (}x_{n}-{\frac {a}{x_{n}}}{\Bigr )}{\biggr )}={\frac {1}{2}}{\Bigl (}x_{n}+{\frac {a}{x_{n}}}{\Bigr )}}$

i.e. the arithmetic mean of the guess, xn and a/xn.

### Solution of cos(x) = x3

Consider the problem of finding the positive number x with cos(x) = x3. We can rephrase that as finding the zero of f(x) = cos(x) − x3. We have f′(x) = −sin(x) − 3x2. Since cos(x) ≤ 1 for all x and x3 > 1 for x > 1, we know that our solution lies between 0 and 1.

For example, with an initial guess x0 = 0.5, the sequence given by Newton's method is (note that a starting value of 0 will lead to an undefined result, showing the importance of using a starting point that is close to the solution):

${\displaystyle {\begin{matrix}x_{1}&=&x_{0}-{\dfrac {f(x_{0})}{f'(x_{0})}}&=&0.5-{\dfrac {\cos 0.5-0.5^{3}}{-\sin 0.5-3\times 0.5^{2}}}&=&1.112\,141\,637\,097\dots \\x_{2}&=&x_{1}-{\dfrac {f(x_{1})}{f'(x_{1})}}&=&\vdots &=&{\underline {0.}}909\,672\,693\,736\dots \\x_{3}&=&\vdots &=&\vdots &=&{\underline {0.86}}7\,263\,818\,209\dots \\x_{4}&=&\vdots &=&\vdots &=&{\underline {0.865\,47}}7\,135\,298\dots \\x_{5}&=&\vdots &=&\vdots &=&{\underline {0.865\,474\,033\,1}}11\dots \\x_{6}&=&\vdots &=&\vdots &=&{\underline {0.865\,474\,033\,102}}\dots \end{matrix}}}$

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

## Code

The following is an implementation example of the Newton's method in the Julia programming language for finding a root of a function f which has derivative fprime.

The initial guess will be x0 = 1 and the function will be f(x) = x2 − 2 so that f′(x) = 2x.

Each new iteration of Newton's method will be denoted by x1. We will check during the computation whether the denominator (yprime) becomes too small (smaller than epsilon), which would be the case if f′(xn) ≈ 0, since otherwise a large amount of error could be introduced.

x0=1# The initial guessf(x)=x^2-2# The function whose root we are trying to findfprime(x)=2x# The derivative of the functiontolerance=1e-7# 7 digit accuracy is desiredepsilon=1e-14# Do not divide by a number smaller than thismaxIterations=20# Do not allow the iterations to continue indefinitelysolutionFound=false# Have not converged to a solution yetfori=1:maxIterationsy=f(x0)yprime=fprime(x0)ifabs(yprime)<epsilon# Stop if the denominator is too smallbreakendglobalx1=x0-y/yprime# Do Newton's computationifabs(x1-x0)<=tolerance# Stop when the result is within the desired toleranceglobalsolutionFound=truebreakendglobalx0=x1# Update x0 to start the process againendifsolutionFoundprintln("Solution: ",x1)# x1 is a solution within tolerance and maximum number of iterationselseprintln("Did not converge")# Newton's method did not convergeend

## Notes

1. "Chapter 2. Seki Takakazu". Japanese Mathematics in the Edo Period. National Diet Library. Retrieved 24 February 2019.
2. Wallis, John (1685). A Treatise of Algebra, both Historical and Practical. Oxford: Richard Davis. doi:10.3931/e-rara-8842.
3. Raphson, Joseph (1697). Analysis Æequationum Universalis (in Latin) (2nd ed.). London: Thomas Bradyll. doi:10.3931/e-rara-13516.
4. "Accelerated and Modified Newton Methods". Archived from the original on 24 May 2019. Retrieved 4 March 2016.
5. Ryaben'kii, Victor S.; Tsynkov, Semyon V. (2006), A Theoretical Introduction to Numerical Analysis, CRC Press, p. 243, ISBN   9781584886075 .
6. Süli & Mayers 2003 , Exercise 1.6
7. Dence, Thomas (November 1997). "Cubics, chaos and Newton's method". Mathematical Gazette . 81 (492): 403–408. doi:10.2307/3619617. JSTOR   3619617.
8. Henrici, Peter (1974). "Applied and Computational Complex Analysis". 1.Cite journal requires |journal= (help)
9. Strang, Gilbert (January 1991). "A chaotic search for i". The College Mathematics Journal . 22: 3–12. doi:10.2307/2686733. JSTOR   2686733.
10. McMullen, Curt (1987). "Families of rational maps and iterative root-finding algorithms" (PDF). Annals of Mathematics. Second Series. 125 (3): 467–493. doi:10.2307/1971408. JSTOR   1971408.
11. Yamamoto, Tetsuro (2001). "Historical Developments in Convergence Analysis for Newton's and Newton-like Methods". In Brezinski, C.; Wuytack, L. (eds.). Numerical Analysis : Historical Developments in the 20th Century. North-Holland. pp. 241–263. ISBN   0-444-50617-9.
12. Rajkovic, Stankovic & Marinkovic 2002 [ incomplete short citation ]
13. Press et al. 1992 [ incomplete short citation ]
14. Stoer & Bulirsch 1980 [ incomplete short citation ]
15. Zhang & Jin 1996 [ incomplete short citation ]
16. Murota, Kazuo (1982). "Global Convergence of a Modified Newton Iteration for Algebraic Equations". SIAM J. Numer. Anal. 19 (4): 793–799. doi:10.1137/0719055.
17. Moore, R. E. (1979). Methods and applications of interval analysis (Vol. 2). Siam.
18. Hansen, E. (1978). Interval forms of Newtons method. Computing, 20(2), 153–163.
19. Krawczyk (1969) [ incomplete short citation ][ incomplete short citation ]
20. Colli, A. N.; Girault, H. H. (June 2017). "Compact and General Strategy for Solving Current and Potential Distribution in Electrochemical Cells Composed of Massive Monopolar and Bipolar Electrodes". Journal of the Electrochemical Society. 164 (11): E3465–E3472. doi:10.1149/2.0471711jes. hdl:.

## Related Research Articles

In mathematics and computing, a root-finding algorithm is an algorithm for finding zeroes, also called "roots", of continuous functions. A zero of a function f, from the real numbers to real numbers or from the complex numbers to the complex numbers, is a number x such that f(x) = 0. As, generally, the zeroes of a function cannot be computed exactly nor expressed in closed form, root-finding algorithms provide approximations to zeroes, expressed either as floating point numbers or as small isolating intervals, or disks for complex roots.

In numerical analysis, polynomial interpolation is the interpolation of a given data set by the polynomial of lowest possible degree that passes through the points of the dataset.

In mathematics, a linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form

In numerical analysis, the secant method is a root-finding algorithm that uses a succession of roots of secant lines to better approximate a root of a function f. The secant method can be thought of as a finite-difference approximation of Newton's method. However, the secant method predates Newton's method by over 3000 years.

In mathematics, the regula falsi, method of false position, or false position method is a very old method for solving an equation with one unknown; this method, in modified form, is still in use. In simple terms, the method is the trial and error technique of using test ("false") values for the variable and then adjusting the test value according to the outcome. This is sometimes also referred to as "guess and check". Versions of the method predate the advent of algebra and the use of equations.

The Gauss–Newton algorithm is used to solve non-linear least squares problems. It is a modification of Newton's method for finding a minimum of a function. Unlike Newton's method, the Gauss–Newton algorithm can only be used to minimize a sum of squared function values, but it has the advantage that second derivatives, which can be challenging to compute, are not required.

In numerical analysis, inverse quadratic interpolation is a root-finding algorithm, meaning that it is an algorithm for solving equations of the form f(x) = 0. The idea is to use quadratic interpolation to approximate the inverse of f. This algorithm is rarely used on its own, but it is important because it forms part of the popular Brent's method.

In numerical analysis, the Weierstrass method or Durand–Kerner method, discovered by Karl Weierstrass in 1891 and rediscovered independently by Durand in 1960 and Kerner in 1966, is a root-finding algorithm for solving polynomial equations. In other words, the method can be used to solve numerically the equation

Simple rational approximation (SRA) is a subset of interpolating methods using rational functions. Especially, SRA interpolates a given function with a specific rational function whose poles and zeros are simple, which means that there is no multiplicity in poles and zeros. Sometimes, it only implies simple poles.

In numerical analysis, fixed-point iteration is a method of computing fixed points of a function.

Quasi-Newton methods are methods used to either find zeroes or local maxima and minima of functions, as an alternative to Newton's method. They can be used if the Jacobian or Hessian is unavailable or is too expensive to compute at every iteration. The "full" Newton's method requires the Jacobian in order to search for zeros, or the Hessian for finding extrema.

In numerical optimization, the nonlinear conjugate gradient method generalizes the conjugate gradient method to nonlinear optimization. For a quadratic function

In numerical analysis, Halley's method is a root-finding algorithm used for functions of one real variable with a continuous second derivative. It is named after its inventor Edmond Halley.

The Kantorovich theorem, or Newton–Kantorovich theorem, is a mathematical statement on the semi-local convergence of Newton's method. It was first stated by Leonid Kantorovich in 1948. It is similar to the form of the Banach fixed-point theorem, although it states existence and uniqueness of a zero rather than a fixed point.

The Jenkins–Traub algorithm for polynomial zeros is a fast globally convergent iterative polynomial root-finding method published in 1970 by Michael A. Jenkins and Joseph F. Traub. They gave two variants, one for general polynomials with complex coefficients, commonly known as the "CPOLY" algorithm, and a more complicated variant for the special case of polynomials with real coefficients, commonly known as the "RPOLY" algorithm. The latter is "practically a standard in black-box polynomial root-finders".

In numerical analysis, Steffensen's method is a root-finding technique named after Johan Frederik Steffensen which is similar to Newton's method. Steffensen's method also achieves quadratic convergence, but without using derivatives as Newton's method does.

In mathematics, and more specifically in numerical analysis, Householder's methods are a class of root-finding algorithms that are used for functions of one real variable with continuous derivatives up to some order d + 1. Each of these methods is characterized by the number d, which is known as the order of the method. The algorithm is iterative and has a rate of convergence of d + 1.

Non-linear least squares is the form of least squares analysis used to fit a set of m observations with a model that is non-linear in n unknown parameters (m ≥ n). It is used in some forms of nonlinear regression. The basis of the method is to approximate the model by a linear one and to refine the parameters by successive iterations. There are many similarities to linear least squares, but also some significant differences. In economic theory, the non-linear least squares method is applied in (i) the probit regression, (ii) threshold regression, (iii) smooth regression, (iv) logistic link regression, (v) Box-Cox transformed regressors.

Sidi's generalized secant method is a root-finding algorithm, that is, a numerical method for solving equations of the form . The method was published by Avram Sidi.

Numerical certification is the process of verifying the correctness of a candidate solution to a system of equations. In (numerical) computational mathematics, such as numerical algebraic geometry, candidate solutions are computed algorithmically, but there is the possibility that errors have corrupted the candidates. For instance, in addition to the inexactness of input data and candidate solutions, numerical errors or errors in the discretization of the problem may result in corrupted candidate solutions. The goal of numerical certification is to provide a certificate which proves which of these candidates are, indeed, approximate solutions.