Movatterモバイル変換


[0]ホーム

URL:


Wikipedia

Newton's method

This article is about Newton's method for finding roots. For Newton's method for finding minima, seeNewton's method in optimization.

Innumerical analysis, theNewton–Raphson method, also known simply asNewton's method, named afterIsaac Newton andJoseph Raphson, is aroot-finding algorithm which produces successively betterapproximations to theroots (or zeroes) of areal-valuedfunction. The most basic version starts with areal-valued functionf, itsderivativef, and an initial guessx0 for aroot off. Iff satisfies certain assumptions and the initial guess is close, then

An illustration of Newton's method.

x1=x0f(x0)f(x0){\displaystyle x_{1}=x_{0}-{\frac {f(x_{0})}{f'(x_{0})}}}

is a better approximation of the root thanx0. Geometrically,(x1, 0) is thex-intercept of thetangent of thegraph off at(x0,f(x0)): that is, the improved guess,x1, is the unique root of thelinear approximation off at the initial guess,x0. The process is repeated as

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

until a sufficiently precise value is reached. The number of correct digits roughly doubles with each step. This algorithm is first in the class ofHouseholder's methods, and was succeeded byHalley's method. The method can also be extended tocomplex functions and tosystems of equations.

Contents

Description

edit

The idea is to start with an initial guess, then to approximate the function by itstangent line, and finally to compute thex-intercept of this tangent line. Thisx-intercept will typically be a better approximation to the original function's root than the first guess, and the method can beiterated.

 
xn+1 is a better approximation thanxn for the rootx of the functionf (blue curve)

If thetangent line to the curvef(x) atx =xn intercepts thex-axis atxn+1 then the slope is

f(xn)=f(xn)xnxn+1.{\displaystyle f'(x_{n})={\dfrac {f(x_{n})}{x_{n}-x_{n+1}}}.} 

Solving forxn+1 gives

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

 
Iteration typically improves the approximation

We start the process with some arbitrary initial valuex0. (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 theintermediate value theorem.) The method will usually converge, provided this initial guess is close enough to the unknown zero, and thatf(x0) ≠ 0. Furthermore, for a zero ofmultiplicity 1, the convergence is at least quadratic (seeRate of convergence) in aneighbourhood of the zero, which intuitively means that the number of correct digits roughly doubles in every step. More details can be found in§ Analysis 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 iff or its derivatives are computationally expensive to evaluate.

History

edit

In theOld Babylonian period (19th–16th century BCE), the side of a square of known area could be effectively approximated, and this is conjectured to have been done using a special case of Newton's method,described algebraically below, by iteratively improving an initial estimate; an equivalent method can be found inHeron of Alexandria'sMetrica (1st–2nd century CE), so is often calledHeron's method.[1]Jamshīd al-Kāshī used a method to solvexPN = 0 to find roots ofN, a method that was algebraically equivalent to Newton's method, and in which a similar method was found inTrigonometria Britannica, published byHenry Briggs in 1633.[2]

The method first appeared roughly inIsaac Newton's work inDe analysi per aequationes numero terminorum infinitas (written in 1669, published in 1711 byWilliam Jones) and inDe metodis fluxionum et serierum infinitarum (written in 1671, translated and published asMethod of Fluxions in 1736 byJohn Colson).[3][4] However, while Newton gave the basic ideas, his method differs from the modern method given above. He 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, producingTaylor series in the latter case.

Newton may have derived his method from a similar, less precise method by mathematicianFrançois Viète, however, the two methods are not the same.[3] The essence of Viète's own method can be found in the work of the mathematicianSharaf al-Din al-Tusi.[5]

The Japanese mathematicianSeki Kōwa used a form of Newton's method in the 1680s to solve single-variable equations, though the connection with calculus was missing.[6]

Newton's method was first published in 1685 inA Treatise of Algebra both Historical and Practical byJohn Wallis.[7] In 1690,Joseph Raphson published a simplified description inAnalysis aequationum universalis.[8] 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 inThe 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 thetheory of iterations of rational functions.

Practical considerations

edit

Newton's method is a powerful technique—if the derivative of the function at the root is nonzero, then theconvergence is at least 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 the derivative of a function

edit

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 thesecant method whose convergence is slower than that of Newton's method.

Failure of the method to converge to the root

edit

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

For example,in some cases, if the first derivative is not well behaved in the neighborhood of a particular root, then it is possible that Newton's method will fail to converge no matter where the initialization is set. In some cases, Newton's method can be stabilized by usingsuccessive over-relaxation, or the speed of convergence can be increased by using the same method.

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

edit

If the root being sought hasmultiplicity 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 multiplicitym of the root is known, the following modified algorithm preserves the quadratic convergence rate:[9]

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

This is equivalent to usingsuccessive over-relaxation. On the other hand, if the multiplicitym of the root is not known, it is possible to estimatem after carrying out one or two iterations, and then use that value to increase the rate of convergence.

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

xn+1=xng(xn)g(xn)=xnxnm1m=0.{\displaystyle x_{n+1}=x_{n}-{\frac {g(x_{n})}{g'(x_{n})}}=x_{n}-{\frac {\;{\frac {x_{n}}{m}}\;}{\frac {1}{m}}}=0\,.} 

Analysis

edit

Suppose that the functionf has a zero atα, i.e.,f(α) = 0, andf is differentiable in aneighborhood ofα.

Iff is continuously differentiable and its derivative is nonzero at α, then there exists aneighborhood ofα such that for all starting valuesx0 in that neighborhood, thesequence(xn) willconverge toα.[10]

Iff is continuously differentiable, its derivative is nonzero at α,and it has asecond 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:

Δxi+1=f(α)2f(α)(Δxi)2+O(Δxi)3,{\displaystyle \Delta x_{i+1}={\frac {f''(\alpha )}{2f'(\alpha )}}\left(\Delta x_{i}\right)^{2}+O\left(\Delta x_{i}\right)^{3}\,,} 

where

Δxixiα.{\displaystyle \Delta x_{i}\triangleq x_{i}-\alpha \,.} 

If the derivative is 0 atα, then the convergence is usually only linear. Specifically, iff is twice continuously differentiable,f(α) = 0 andf(α) ≠ 0, then there exists a neighborhood ofα such that, for all starting valuesx0 in that neighborhood, the sequence of iterates converges linearly, withrate1/2.[11] Alternatively, iff(α) = 0 andf(x) ≠ 0 forxα,x in aneighborhoodU ofα,α being a zero ofmultiplicityr, and iffCr(U), then there exists a neighborhood ofα such that, for all starting valuesx0 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 neighborhoodU+ ofα, iff is twice differentiable inU+ and iff ≠ 0,f ·f > 0 inU+, then, for eachx0 inU+ the sequencexk is monotonically decreasing toα.

Proof of quadratic convergence for Newton's iterative method

edit

According toTaylor's theorem, any functionf(x) which has a continuous second derivative can be represented by an expansion about a point that is close to a root off(x). Suppose this root isα. Then the expansion off(α) aboutxn is:

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

where theLagrange form of the Taylor series expansion remainder is

R1=12!f(ξn)(αxn)2,{\displaystyle R_{1}={\frac {1}{2!}}f''(\xi _{n})\left(\alpha -x_{n}\right)^{2}\,,} 

whereξn is in betweenxn andα.

Sinceα is the root, (1) becomes:

0=f(α)=f(xn)+f(xn)(αxn)+12f(ξn)(αxn)2{\displaystyle 0=f(\alpha )=f(x_{n})+f'(x_{n})(\alpha -x_{n})+{\tfrac {1}{2}}f''(\xi _{n})\left(\alpha -x_{n}\right)^{2}\,} 2

Dividing equation (2) byf(xn) and rearranging gives

f(xn)f(xn)+(αxn)=f(ξn)2f(xn)(αxn)2{\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 thatxn + 1 is defined by

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

one finds that

αxn+1εn+1=f(ξn)2f(xn)(αxnεn)2.{\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,

εn+1=f(ξn)2f(xn)εn2.{\displaystyle \varepsilon _{n+1}={\frac {-f''(\xi _{n})}{2f'(x_{n})}}\cdot \varepsilon _{n}^{2}\,.} 5

Taking the absolute value of both sides gives

|εn+1|=|f(ξn)|2|f(xn)|εn2.{\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 theorder of convergence is at least quadratic if the following conditions are satisfied:

  1. f(x) ≠ 0; for allxI, whereI is the interval[α − |ε0|,α + |ε0|];
  2. f(x) is continuous, for allxI;
  3. M |ε0| < 1

whereM is given by

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

If these conditions hold,

|εn+1|Mεn2.{\displaystyle \vert \varepsilon _{n+1}\vert \leq M\cdot \varepsilon _{n}^{2}\,.} 

Fourier conditions

edit

Suppose thatf(x) is aconcave function on an interval, which isstrictly increasing. If it is negative at the left endpoint and positive at the right endpoint, theintermediate value theorem guarantees that there is a zeroζ off somewhere in the interval. From geometrical principles, it can be seen that the Newton iterationxi starting at the left endpoint ismonotonically increasing and convergent, necessarily toζ.[12]

Joseph Fourier introduced a modification of Newton's method starting at the right endpoint:

yi+1=yif(yi)f(xi).{\displaystyle y_{i+1}=y_{i}-{\frac {f(y_{i})}{f'(x_{i})}}.} 

This sequence is monotonically decreasing and convergent. By passing to the limit in this definition, it can be seen that the limit ofyi must also be the zeroζ.[12]

So, in the case of a concave increasing function with a zero, initialization is largely irrelevant. Newton iteration starting anywhere left of the zero will converge, as will Fourier's modified Newton iteration starting anywhere right of the zero. The accuracy at any step of the iteration can be determined directly from the difference between the location of the iteration from the left and the location of the iteration from the right. Iff is twice continuously differentiable, it can be proved usingTaylor's theorem that

limiyi+1xi+1(yixi)2=12f(ζ)f(ζ),{\displaystyle \lim _{i\to \infty }{\frac {y_{i+1}-x_{i+1}}{(y_{i}-x_{i})^{2}}}=-{\frac {1}{2}}{\frac {f''(\zeta )}{f'(\zeta )}},} 

showing that this difference in locations converges quadratically to zero.[12]

All of the above can be extended to systems of equations in multiple variables, although in that context the relevant concepts ofmonotonicity and concavity are more subtle to formulate.[13] In the case of single equations in a single variable, the above monotonic convergence of Newton's method can also be generalized to replace concavity by positivity or negativity conditions on an arbitrary higher-order derivative off. However, in this generalization, Newton's iteration is modified so as to be based onTaylor polynomials rather than thetangent line. In the case of concavity, this modification coincides with the standard Newton method.[14]



Error forn>1 variables

edit

If we seek the root of a single functionf:RnR{\displaystyle f:\mathbf {R} ^{n}\to \mathbf {R} } then the errorϵn=xnα{\displaystyle \epsilon _{n}=x_{n}-\alpha }  is a vector such that its components obeyϵk(n+1)=12(ϵ(n))TQkϵ(n)+O(ϵ(n)3){\displaystyle \epsilon _{k}^{(n+1)}={\frac {1}{2}}(\epsilon ^{(n)})^{T}Q_{k}\epsilon ^{(n)}+O(\|\epsilon ^{(n)}\|^{3})}  whereQk{\displaystyle Q_{k}}  is a quadratic form:(Qk)i,j=((D2f)1)i,3fxjxkx{\displaystyle (Q_{k})_{i,j}=\sum _{\ell }((D^{2}f)^{-1})_{i,\ell }{\frac {\partial ^{3}f}{\partial x_{j}\partial x_{k}\partial x_{\ell }}}} evaluated at the rootα{\displaystyle \alpha } (whereD2f{\displaystyle D^{2}f}  is the 2nd derivative Hessian matrix).

Examples

edit

Use of Newton's method to compute square roots

edit

Newton's method is one of many knownmethods of computing square roots. Given a positive numbera, the problem of finding a numberx such thatx2 =a is equivalent to finding a root of the functionf(x) =x2a. The Newton iteration defined by this function is given by

xn+1=xnf(xn)f(xn)=xnxn2a2xn=12(xn+axn).{\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}}\left(x_{n}+{\frac {a}{x_{n}}}\right).} 

This happens to coincide with the"Babylonian" method of finding square roots, which consists of replacing an approximate rootxn by thearithmetic mean ofxn andaxn. By performing this iteration, it is possible to evaluate a square root to any desired accuracy by only using the basicarithmetic operations.

The following three tables show examples of the result of this computation for finding the square root of 612, with the iteration initialized at the values of 1, 10, and −20. Each row in a "xn" column is obtained by applying the preceding formula to the entry above it, for instance

306.5=12(1+6121).{\displaystyle 306.5={\frac {1}{2}}\left(1+{\frac {612}{1}}\right).} 
xnf(xn)xnf(xn)xnf(xn)
1−61110−512−20−212
306.59.3330 × 10435.6655.36−25.328.09
154.24836867862.3180 × 10426.395505618084.722−24.74486166010.30818
79.10799786445.6461 × 10324.79063549252.5756−24.73863453743.8777 × 10−5
43.42212868221.2735 × 10324.73868829412.6985 × 10−3−24.73863375376.1424 × 10−13
28.7581624288215.0324.73863375382.9746 × 10−9
25.019538536913.977
24.74021067127.8024 × 10−2
24.73863380402.4865 × 10−6
24.73863375372.5256 × 10−15

The correct digits are underlined. It is seen that with only a few iterations one can obtain a solution accurate to many decimal places. The first table shows that this is true even if the Newton iteration were initialized by the very inaccurate guess of1.

When computing any nonzero square root, the first derivative off must be nonzero at the root, and thatf is a smooth function. So, even before any computation, it is known that any convergent Newton iteration has a quadratic rate of convergence. This is reflected in the above tables by the fact that once a Newton iterate gets close to the root, the number of correct digits approximately doubles with each iteration.

Solution ofcos(x) =x3 using Newton's method

edit

Consider the problem of finding the positive numberx withcosx =x3. We can rephrase that as finding the zero off(x) = cos(x) −x3. We havef(x) = −sin(x) − 3x2. Sincecos(x) ≤ 1 for allx andx3 > 1 forx > 1, we know that our solution lies between 0 and 1.

A starting value of 0 will lead to an undefined result which illustrates the importance of using a starting point close to the solution. For example, with an initial guessx0 = 0.5, the sequence given by Newton's method is:

x1=x0f(x0)f(x0)=0.5cos0.50.53sin0.53×0.52=1.112141637097x2=x1f(x1)f(x1)==0._909672693736x3===0.86_7263818209x4===0.86547_7135298x5===0.8654740331_11x6===0.865474033102_{\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 (forx3) to 5 and 10, illustrating the quadratic convergence.

Slow convergence

edit

The functionf(x) =x2 has a root at 0.[15] Sincef is continuously differentiable at its root, the theory guarantees that Newton's method as initialized sufficiently close to the root will converge. However, since the derivativef is zero at the root, quadratic convergence is not ensured by the theory. In this particular example, the Newton iteration is given by

xn+1=xnf(xn)f(xn)=12xn.{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}={\frac {1}{2}}x_{n}.} 

It is visible from this that Newton's method could be initialized anywhere and converge to zero, but at only a linear rate. If initialized at 1, dozens of iterations would be required before ten digits of accuracy are achieved.

The functionf(x) =x +x4/3 also has a root at 0, where it is continuously differentiable. Although the first derivativef is nonzero at the root, the second derivativef ′′ is nonexistent there, so that quadratic convergence cannot be guaranteed. In fact the Newton iteration is given by

xn+1=xnf(xn)f(xn)=x4/33+4x1/3.{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}={\frac {x^{4/3}}{3+4x^{1/3}}}.} 

From this, it can be seen that the rate of convergence is superlinear but subquadratic. This can be seen in the following tables, the left of which shows Newton's method applied to the abovef(x) =x +x4/3 and the right of which shows Newton's method applied tof(x) =x +x2. The quadratic convergence in iteration shown on the right is illustrated by the orders of magnitude in the distance from the iterate to the true root (0,1,2,3,5,10,20,39,...) being approximately doubled from row to row. While the convergence on the left is superlinear, the order of magnitude is only multiplied by about 4/3 from row to row (0,1,2,4,5,7,10,13,...).

xnx +x4/3
n
xnx +x2
n
1212
1.4286 × 10−12.1754 × 10−13.3333 × 10−14.4444 × 10−1
1.4669 × 10−21.8260 × 10−26.6666 × 10−27.1111 × 10−2
9.0241 × 10−49.8961 × 10−43.9216 × 10−33.9369 × 10−3
2.5750 × 10−52.6511 × 10−51.5259 × 10−51.5259 × 10−5
2.4386 × 10−72.4539 × 10−72.3283 × 10−102.3283 × 10−10
5.0366 × 10−105.0406 × 10−105.4210 × 10−205.4210 × 10−20
1.3344 × 10−131.3344 × 10−132.9387 × 10−392.9387 × 10−39

The rate of convergence is distinguished from the number of iterations required to reach a given accuracy. For example, the functionf(x) =x20 − 1 has a root at 1. Sincef ′(1) ≠ 0 andf is smooth, it is known that any Newton iteration convergent to 1 will converge quadratically. However, if initialized at 0.5, the first few iterates of Newton's method are approximately 26214, 24904, 23658, 22476, decreasing slowly, with only the 200th iterate being 1.0371. The following iterates are 1.0103, 1.00093, 1.0000082, and 1.00000000065, illustrating quadratic convergence. This highlights that quadratic convergence of a Newton iteration does not mean that only few iterates are required; this only applies once the sequence of iterates is sufficiently close to the root.[16]

Convergence dependent on initialization

edit

The functionf(x) =x(1 +x2)−1/2 has a root at 0. The Newton iteration is given by

xn+1=xnf(xn)f(xn)=xn3.{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=-x_{n}^{3}.} 

From this, it can be seen that there are three possible phenomena for a Newton iteration. If initialized strictly between±1, the Newton iteration will converge (super-)quadratically to 0; if initialized exactly at1 or−1, the Newton iteration will oscillate endlessly between±1; if initialized anywhere else, the Newton iteration will diverge.[17] This same trichotomy occurs forf(x) = arctanx.[15]

In cases where the function in question has multiple roots, it can be difficult to control, via choice of initialization, which root (if any) is identified by Newton's method. For example, the functionf(x) =x(x2 − 1)(x − 3)e−(x − 1)2/2 has roots at −1, 0, 1, and 3.[18] If initialized at −1.488, the Newton iteration converges to 0; if initialized at −1.487, it diverges to; if initialized at −1.486, it converges to −1; if initialized at −1.485, it diverges to−∞; if initialized at −1.4843, it converges to 3; if initialized at −1.484, it converges to1. This kind of subtle dependence on initialization is not uncommon; it is frequently studied in thecomplex plane in the form of theNewton fractal.

Divergence even when initialization is close to the root

edit

Consider the problem of finding a root off(x) =x1/3. The Newton iteration is

xn+1=xnf(xn)f(xn)=xnxn1/313xn2/3=2xn.{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}-{\frac {x_{n}^{1/3}}{{\frac {1}{3}}x_{n}^{-2/3}}}=-2x_{n}.} 

Unless Newton's method is initialized at the exact root 0, it is seen that the sequence of iterates will fail to converge. For example, even if initialized at the reasonably accurate guess of 0.001, the first several iterates are −0.002, 0.004, −0.008, 0.016, reaching 1048.58, −2097.15, ... by the 20th iterate. This failure of convergence is not contradicted by the analytic theory, since in this casef is not differentiable at its root.

In the above example, failure of convergence is reflected by the failure off(xn) to get closer to zero asn increases, as well as by the fact that successive iterates are growing further and further apart. However, the functionf(x) =x1/3ex2 also has a root at 0. The Newton iteration is given by

xn+1=xnf(xn)f(xn)=xn(1316xn2).{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}\left(1-{\frac {3}{1-6x_{n}^{2}}}\right).} 

In this example, where againf is not differentiable at the root, any Newton iteration not starting exactly at the root will diverge, but with bothxn + 1xn andf(xn) converging to zero.[19] This is seen in the following table showing the iterates with initialization 1:

xnf(xn)
10.36788
1.69.0416 × 10−2
1.93422.9556 × 10−2
2.20481.0076 × 10−2
2.43963.5015 × 10−3
2.65051.2307 × 10−3
2.84374.3578 × 10−4
3.02321.5513 × 10−4

Although the convergence ofxn + 1xn in this case is not very rapid, it can be proved from the iteration formula. This example highlights the possibility that a stopping criterion for Newton's method based only on the smallness ofxn + 1xn andf(xn) might falsely identify a root.

Oscillatory behavior

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

It is easy to find situations for which Newton's method oscillates endlessly between two distinct values. For example, for Newton's method as applied to a functionf to oscillate between 0 and 1, it is only necessary that the tangent line tof at 0 intersects thex-axis at 1 and that the tangent line tof at 1 intersects thex-axis at 0.[19] This is the case, for example, iff(x) =x3 − 2x + 2. For this function, it is even the case that Newton's iteration as initialized sufficiently close to 0 or 1 willasymptotically oscillate between these values. For example, Newton's method as initialized at 0.99 yields iterates 0.99, −0.06317, 1.00628, 0.03651, 1.00196, 0.01162, 1.00020, 0.00120, 1.000002, and so on. This behavior is present despite the presence of a root off approximately equal to −1.76929.

Undefinedness of Newton's method

edit

In some cases, it is not even possible to perform the Newton iteration. For example, iff(x) =x2 − 1, then the Newton iteration is defined by

xn+1=xnf(xn)f(xn)=xnxn212xn=xn2+12xn.{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}-{\frac {x_{n}^{2}-1}{2x_{n}}}={\frac {x_{n}^{2}+1}{2x_{n}}}.} 

So Newton's method cannot be initialized at 0, since this would makex1 undefined. Geometrically, this is because the tangent line tof at 0 is horizontal (i.e.f ′(0) = 0), never intersecting thex-axis.

Even if the initialization is selected so that the Newton iteration can begin, the same phenomenon can block the iteration from being indefinitely continued.

Iff has an incomplete domain, it is possible for Newton's method to send the iterates outside of the domain, so that it is impossible to continue the iteration.[19] For example, thenatural logarithm functionf(x) = lnx has a root at 1, and is defined only for positivex. Newton's iteration in this case is given by

xn+1=xnf(xn)f(xn)=xn(1lnxn).{\displaystyle x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}(1-\ln x_{n}).} 

So if the iteration is initialized ate, the next iterate is 0; if the iteration is initialized at a value larger thane, then the next iterate is negative. In either case, the method cannot be continued.

Multidimensional formulations

edit

Systems of equations

edit

k variables,k functions

edit

One may also use Newton's method to solve systems ofk equations, which amounts to finding the (simultaneous) zeroes ofk continuously differentiable functionsf:RkR.{\displaystyle f:\mathbb {R} ^{k}\to \mathbb {R} .}  This is equivalent to finding the zeroes of a single vector-valued functionF:RkRk.{\displaystyle F:\mathbb {R} ^{k}\to \mathbb {R} ^{k}.}  In the formulation given above, the scalarsxn are replaced by vectorsxn and instead of dividing the functionf(xn) by its derivativef(xn) one instead has to left multiply the functionF(xn) by the inverse of itsk ×kJacobian matrixJF(xn).[20][21][22] This results in the expression

xn+1=xnJF(xn)1F(xn).{\displaystyle \mathbf {x} _{n+1}=\mathbf {x} _{n}-J_{F}(\mathbf {x} _{n})^{-1}F(\mathbf {x} _{n}).} 

or, by solving thesystem of linear equations

JF(xn)(xn+1xn)=F(xn){\displaystyle J_{F}(\mathbf {x} _{n})(\mathbf {x} _{n+1}-\mathbf {x} _{n})=-F(\mathbf {x} _{n})} 

for the unknownxn + 1xn.[23]

k variables,m equations, withm >k

edit

Thek-dimensional variant of Newton's method can be used to solve systems of greater thank (nonlinear) equations as well if the algorithm uses thegeneralized inverse of the non-squareJacobian matrixJ+ = (JTJ)−1JT instead of the inverse ofJ. If thenonlinear system has no solution, the method attempts to find a solution in thenon-linear least squares sense. SeeGauss–Newton algorithm for more information.

Example

edit

For example, the following set of equations needs to be solved for vector of points [ x1,x2 ] ,{\displaystyle \ [\ x_{1},x_{2}\ ]\ ,}  given the vector of known values [ 2,3 ] .{\displaystyle \ [\ 2,3\ ]~.} [24]

5 x12+x1 x22+sin2(2 x2)=2e2 x1x2+4 x2=3{\displaystyle {\begin{array}{lcr}5\ x_{1}^{2}+x_{1}\ x_{2}^{2}+\sin ^{2}(2\ x_{2})&=\quad 2\\e^{2\ x_{1}-x_{2}}+4\ x_{2}&=\quad 3\end{array}}} 

the function vector, F(Xk) ,{\displaystyle \ F(X_{k})\ ,}  and Jacobian Matrix, J(Xk) {\displaystyle \ J(X_{k})\ }  for iteration k, and the vector of known values, Y ,{\displaystyle \ Y\ ,}  are defined below.

 F(Xk) = [ f1(Xk) f2(Xk)] = [ 5 x12+x1 x22+sin2(2 x2) e2 x1x2+4 x2]k J(Xk)=[  f1(X) x1 ,  f1(X) x2   f2(X) x1 ,  f2(X) x2 ]k = [ 10 x1+x22 ,2 x1 x2+4 sin(2 x2) cos(2 x2) 2 e2 x1x2 ,e2 x1x2+4]k Y=[ 2  3 ]{\displaystyle {\begin{aligned}~&F(X_{k})~=~{\begin{bmatrix}{\begin{aligned}~&f_{1}(X_{k})\\~&f_{2}(X_{k})\end{aligned}}\end{bmatrix}}~=~{\begin{bmatrix}{\begin{aligned}~&5\ x_{1}^{2}+x_{1}\ x_{2}^{2}+\sin ^{2}(2\ x_{2})\\~&e^{2\ x_{1}-x_{2}}+4\ x_{2}\end{aligned}}\end{bmatrix}}_{k}\\~&J(X_{k})={\begin{bmatrix}~{\frac {\ \partial {f_{1}(X)}\ }{\partial {x_{1}}}}\ ,&~{\frac {\ \partial {f_{1}(X)}\ }{\partial {x_{2}}}}~\\~{\frac {\ \partial {f_{2}(X)}\ }{\partial {x_{1}}}}\ ,&~{\frac {\ \partial {f_{2}(X)}\ }{\partial {x_{2}}}}~\end{bmatrix}}_{k}~=~{\begin{bmatrix}{\begin{aligned}~&10\ x_{1}+x_{2}^{2}\ ,&&2\ x_{1}\ x_{2}+4\ \sin(2\ x_{2})\ \cos(2\ x_{2})\\~&2\ e^{2\ x_{1}-x_{2}}\ ,&&-e^{2\ x_{1}-x_{2}}+4\end{aligned}}\end{bmatrix}}_{k}\\~&Y={\begin{bmatrix}~2~\\~3~\end{bmatrix}}\end{aligned}}} 

Note that F(Xk) {\displaystyle \ F(X_{k})\ }  could have been rewritten to absorb Y ,{\displaystyle \ Y\ ,}  and thus eliminateY{\displaystyle Y}  from the equations. The equation to solve for each iteration are

[  10 x1+x22 ,2x1x2+4 sin(2 x2) cos(2 x2)   2 e2 x1x2 ,e2 x1x2+4 ]k[ c1  c2 ]k+1=[ 5 x12+x1 x22+sin2(2 x2)2  e2 x1x2+4 x23 ]k{\displaystyle {\begin{aligned}{\begin{bmatrix}{\begin{aligned}~&~10\ x_{1}+x_{2}^{2}\ ,&&2x_{1}x_{2}+4\ \sin(2\ x_{2})\ \cos(2\ x_{2})~\\~&~2\ e^{2\ x_{1}-x_{2}}\ ,&&-e^{2\ x_{1}-x_{2}}+4~\end{aligned}}\end{bmatrix}}_{k}{\begin{bmatrix}~c_{1}~\\~c_{2}~\end{bmatrix}}_{k+1}={\begin{bmatrix}~5\ x_{1}^{2}+x_{1}\ x_{2}^{2}+\sin ^{2}(2\ x_{2})-2~\\~e^{2\ x_{1}-x_{2}}+4\ x_{2}-3~\end{bmatrix}}_{k}\end{aligned}}} 

and

Xk+1 = XkCk+1{\displaystyle X_{k+1}~=~X_{k}-C_{k+1}} 

The iterations should be repeated until [i=1i=2|f(xi)k(yi)k|]<E ,{\displaystyle \ {\Bigg [}\sum _{i=1}^{i=2}{\Bigl |}f(x_{i})_{k}-(y_{i})_{k}{\Bigr |}{\Bigg ]}<E\ ,}  where E {\displaystyle \ E\ }  is a value acceptably small enough to meet application requirements.

If vector X0 {\displaystyle \ X_{0}\ }  is initially chosen to be [ 1  1 ] ,{\displaystyle \ {\begin{bmatrix}~1~&~1~\end{bmatrix}}\ ,}  that is, x1=1 ,{\displaystyle \ x_{1}=1\ ,}  and x2=1 ,{\displaystyle \ x_{2}=1\ ,}  and E ,{\displaystyle \ E\ ,}  is chosen to be 1.10−3, then the example converges after four iterations to a value of X4=[ 0.567297, 0.309442 ] .{\displaystyle \ X_{4}=\left[~0.567297,\ -0.309442~\right]~.} 

Iterations

edit

The following iterations were made during the course of the solution.

Converging iteration sequence
StepVariable
Value
0 x =[ 1 ,1]{\displaystyle {\begin{bmatrix}\ 1\ ,&1\end{bmatrix}}} 
f(x) =[ 6.82682 ,6.71828 ]{\displaystyle {\begin{bmatrix}\ 6.82682\ ,&6.71828\ \end{bmatrix}}} 
1 J =[ 11 ,0.486395 5.43656 ,1.28172]{\displaystyle {\begin{bmatrix}\ 11~,&\quad 0.486395\\\ 5.43656\ ,&1.28172\end{bmatrix}}} 
c =[ 0.382211 ,1.27982 ]{\displaystyle {\begin{bmatrix}\ 0.382211\ ,&1.27982\ \end{bmatrix}}} 
x =[ 0.617789 ,0.279818 ]{\displaystyle {\begin{bmatrix}\ 0.617789\ ,&-0.279818\ \end{bmatrix}}} 
f(x) =[ 2.23852 ,3.43195 ]{\displaystyle {\begin{bmatrix}\ 2.23852\ ,&3.43195\ \end{bmatrix}}} 
2 J =[ 6.25618 ,2.1453 9.10244 ,0.551218]{\displaystyle {\begin{bmatrix}\ 6.25618\ ,&-2.1453\\\ 9.10244\ ,&\quad -0.551218\end{bmatrix}}} 
c =[0.0494549 ,0.0330411 ]{\displaystyle {\begin{bmatrix}0.0494549\ ,&0.0330411\ \end{bmatrix}}} 
x =[ 0.568334 ,0.312859 ]{\displaystyle {\begin{bmatrix}\ 0.568334\ ,&-0.312859\ \end{bmatrix}}} 
f(x) =[ 2.01366 ,3.00966 ]{\displaystyle {\begin{bmatrix}\ 2.01366\ ,&3.00966\ \end{bmatrix}}} 
3 J =[ 5.78122 ,2.25449 8.52219 ,0.261095 ]{\displaystyle {\begin{bmatrix}\ 5.78122\ ,&-2.25449\\\ 8.52219\ ,&\quad -0.261095\ \end{bmatrix}}} 
c =[0.00102862 ,0.00342339 ]{\displaystyle {\begin{bmatrix}0.00102862\ ,&-0.00342339\ \end{bmatrix}}} 
x =[ 0.567305 ,0.309435 ]{\displaystyle {\begin{bmatrix}\ 0.567305\ ,&-0.309435\ \end{bmatrix}}} 
f(x) =[ 2.00003 ,3.00006 ]{\displaystyle {\begin{bmatrix}\ 2.00003\ ,&3.00006\ \end{bmatrix}}} 
4 J =[ 5.7688 , 2.24118 8.47561 ,0.237805] {\displaystyle {\begin{bmatrix}\ 5.7688~,&~-2.24118\\\ 8.47561\ ,&\quad -0.237805\end{bmatrix}}\ } 
c =[ 7.73132×106 , 6.93265×106 ]{\displaystyle {\begin{bmatrix}\ 7.73132\!\times \!10^{-6}~,&~6.93265\!\times \!10^{-6}\ \end{bmatrix}}} 
x =[ 0.567297 ,0.309442 ]{\displaystyle {\begin{bmatrix}\ 0.567297\ ,&-0.309442\ \end{bmatrix}}} 
f(x) =[ 2 ,  3 ]{\displaystyle {\begin{bmatrix}~2\ ,~&~3~\end{bmatrix}}} 

Complex functions

edit
Main article:Newton fractal
 
Basins of attraction forx5 − 1 = 0; darker means more iterations to converge.

When dealing withcomplex functions, Newton's method can be directly applied to find their zeroes.[25] Each zero has abasin 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 arefractals.

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,[26] if one uses a real initial condition to seek a root ofx2 + 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 casealmost all real initial conditions lead tochaotic 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.[27] Also, for any polynomial, Hubbard, Schleicher, and Sutherland gave a method for selecting a set of initial points such that Newton's method will certainly converge at one of them at least.[28]

In a Banach space

edit

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

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

whereF(Xn) is theFréchet derivative computed atXn. One needs the Fréchet derivative to be boundedly invertible at eachXn in order for the method to be applicable. A condition for existence of and convergence to a root is given by theNewton–Kantorovich theorem.[29]

Nash–Moser iteration

edit
Further information:Nash–Moser theorem

In the 1950s,John Nash developed a version of the Newton's method to apply to the problem of constructingisometric embeddings of generalRiemannian manifolds inEuclidean space. Theloss of derivatives problem, present in this context, made the standard Newton iteration inapplicable, since it could not be continued indefinitely (much less converge). Nash's solution involved the introduction ofsmoothing operators into the iteration. He was able to prove the convergence of his smoothed Newton method, for the purpose of proving animplicit function theorem for isometric embeddings. In the 1960s,Jürgen Moser showed that Nash's methods were flexible enough to apply to problems beyond isometric embedding, particularly incelestial mechanics. Since then, a number of mathematicians, includingMikhael Gromov andRichard Hamilton, have found generalized abstract versions of the Nash–Moser theory.[30][31] In Hamilton's formulation, the Nash–Moser theorem forms a generalization of the Banach space Newton method which takes place in certainFréchet spaces.

Modifications

edit

Quasi-Newton methods

edit

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

Chebyshev's third-order method

edit
Main article:Chebyshev iteration

Since higher-order Taylor expansions offer more accurate local approximations of a functionf, it is reasonable to ask why Newton’s method relies only on a second-order Taylor approximation. In the 19th century, Russian mathematician Pafnuty Chebyshev explored this idea by developing a variant of Newton’s method that used cubic approximations.[32][33][34]

Overp-adic numbers

edit

Inp-adic analysis, the standard method to show a polynomial equation in one variable has ap-adic root isHensel's lemma, which uses the recursion from Newton's method on thep-adic numbers. Because of the more stable behavior of addition and multiplication in thep-adic numbers compared to the real numbers (specifically, the unit ball in thep-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.

q-analog

edit

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

Modified Newton methods

edit

Maehly's procedure

edit

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 foundN solutions off(x)=0{\displaystyle f(x)=0} , then the next root can be found by applying Newton's method to the next equation:[36][37]

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

This method is applied to obtain zeros of theBessel function of the second kind.[38]

Hirano's modified Newton method

edit

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

Interval Newton's method

edit
This sectionmay containcitations that do notverify the text. Pleasecheck for citation inaccuracies.(February 2019) (Learn how and when to remove this message)

Combining Newton's method withinterval 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 insufficientfloating-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; seeWilkinson's polynomial).[40][41]

ConsiderfC1(X), whereX is a real interval, and suppose that we have an interval extensionF off, meaning thatF takes as input an intervalYX and outputs an intervalF(Y) such that:

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

We also assume that0 ∉F(X), so in particularf has at most one root inX.We then define the interval Newton operator by:

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

wheremY. Note that the hypothesis onF implies thatN(Y) is well defined and is an interval (seeinterval arithmetic for further details on interval operations). This naturally leads to the following sequence:

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

Themean value theorem ensures that if there is a root off inXk, then it is also inXk + 1. Moreover, the hypothesis onF′ ensures thatXk + 1 is at most half the size ofXk whenm is the midpoint ofY, so this sequence converges towards[x*,x*], wherex* is the root off inX.

IfF(X) strictly contains 0, the use of extended interval division produces a union of two intervals forN(X); multiple roots are therefore automatically separated and bounded.

Applications

edit

Minimization and maximization problems

edit

Newton's method can be used to find a minimum or maximum of a functionf(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.[42] The iteration becomes:

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

Multiplicative inverses of numbers and power series

edit

An important application isNewton–Raphson division, which can be used to quickly find thereciprocal of a numbera, using only multiplication and subtraction, that is to say the numberx such that1/x =a. We can rephrase that as finding the zero off(x) =1/xa. We havef(x) = −1/x2.

Newton's iteration is

xn+1=xnf(xn)f(xn)=xn+1xna1xn2=xn(2axn).{\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 apower series.

Solving transcendental equations

edit

Manytranscendental equations can be solved up to an arbitrary precision by using Newton's method. For example, finding the cumulativeprobability density function, such as aNormal distribution to fit a known probability generally involves integral functions with no known means to solve in closed form. However, computing the derivatives needed to solve them numerically with Newton's method is generally known, making numerical solutions possible. For an example, see the numerical solution to theinverse Normal cumulative distribution.

Numerical verification for solutions of nonlinear equations

edit

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.[citation needed]

Code

edit

The following is an example of a possible implementation of Newton's method in thePython (version 3.x) programming language for finding a root of a functionf which has derivativef_prime.

The initial guess will bex0 = 1 and the function will bef(x) =x2 − 2 so thatf(x) = 2x.

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

deff(x):returnx**2-2# f(x) = x^2 - 2deff_prime(x):return2*x# f'(x) = 2xdefnewtons_method(x0,f,f_prime,tolerance,epsilon,max_iterations):"""Newton's method    Args:      x0:              The initial guess      f:               The function whose root we are trying to find      f_prime:         The derivative of the function      tolerance:       Stop when iterations change by less than this      epsilon:         Do not divide by a number smaller than this      max_iterations:  The maximum number of iterations to compute    """for_inrange(max_iterations):y=f(x0)yprime=f_prime(x0)ifabs(yprime)<epsilon:# Give up if the denominator is too smallbreakx1=x0-y/yprime# Do Newton's computationifabs(x1-x0)<=tolerance:# Stop when the result is within the desired tolerancereturnx1# x1 is a solution within tolerance and maximum number of iterationsx0=x1# Update x0 to start the process againreturnNone# Newton's method did not converge

See also

edit

Notes

edit
  1. ^Fowler, David; Robson, Eleanor (1998)."Square root approximations in Old Babylonian mathematics: YBC 7289 in context".Historia Mathematica.25 (4):366–378.doi:10.1006/hmat.1998.2209.
  2. ^Ypma, Tjalling J. (1995)."Historical Development of the Newton-Raphson Method".SIAM Review.37 (4):531–551.doi:10.1137/1037125.ISSN 0036-1445.JSTOR 2132904.
  3. ^abCajori, Florian (1911)."Historical Note on the Newton-Raphson Method of Approximation".The American Mathematical Monthly.18 (2):29–32.doi:10.2307/2973939.ISSN 0002-9890.JSTOR 2973939.
  4. ^Guicciardini, Niccolò (2009).Isaac Newton on Mathematical Certainty and Method. Transformations. Cambridge, Mass:MIT Press. pp. 158–159.ISBN 978-0-262-01317-8.OCLC 282968643.
  5. ^Ypma, Tjalling J. (1995)."Historical Development of the Newton-Raphson Method".SIAM Review.37 (4):531–551.doi:10.1137/1037125.ISSN 0036-1445.JSTOR 2132904.
  6. ^"Takakazu Seki - Biography".Maths History. Retrieved27 November 2024.
  7. ^Wallis, John (1685).A Treatise of Algebra, both Historical and Practical. Oxford: Richard Davis.doi:10.3931/e-rara-8842.
  8. ^Raphson, Joseph (1697).Analysis Æequationum Universalis (in Latin) (2nd ed.). London: Thomas Bradyll.doi:10.3931/e-rara-13516.
  9. ^"Accelerated and Modified Newton Methods". Archived fromthe original on 24 May 2019. Retrieved4 March 2016.
  10. ^Ryaben'kii, Victor S.; Tsynkov, Semyon V. (2006),A Theoretical Introduction to Numerical Analysis, CRC Press, p. 243,ISBN 9781584886075.
  11. ^Süli & Mayers 2003, Exercise 1.6
  12. ^abcOstrowski, A. M. (1973).Solution of equations in Euclidean and Banach spaces. Pure and Applied Mathematics. Vol. 9 (Third edition of 1960 original ed.). New York–London:Academic Press.MR 0359306.Zbl 0304.65002.
  13. ^Ortega and Rheinboldt, Section 13.3
  14. ^Traub, J. F. (1964).Iterative methods for the solution of equations. Prentice-Hall Series in Automatic Computation. Englewood Cliffs, NJ:Prentice-Hall, Inc.MR 0169356.Zbl 0121.11204.
  15. ^abJ. E. Dennis, Jr. and Robert B. Schnabel. Numerical methods for unconstrained optimization and nonlinear equations. SIAM
  16. ^Anthony Ralston and Philip Rabinowitz. A first course in numerical analysis, second edition
  17. ^Yuri Nesterov. Lectures on convex optimization, second edition. Springer Optimization and its Applications, Volume 137.
  18. ^Süli & Mayers 2003.
  19. ^abcKenneth L. Judd. Numerical methods in economics. MIT Press
  20. ^abBurden, Burton; Fairs, J. Douglas; Reunolds, Albert C (July 1981).Numerical Analysis (2nd ed.). Boston, MA, United States: Prindle, Weber & Schmidt. pp. 448–452.ISBN 0-87150-314-X.OCLC 1036752194.
  21. ^Evans, Gwynne A. (1995).Practical Numerical Analysis. Chichester: John Wiley & Sons. pp. 30–33.ISBN 0471955353.OCLC 1319419671.
  22. ^Demidovich, Boris Pavlovich; Maron, Isaak Abramovich (1981).Computational Mathematics (Third ed.). Moscow: MIR Publishers. pp. 460–478.ISBN 9780828507042.
  23. ^Kiusalaas, Jaan (March 2013).Numerical Methods in Engineering with Python 3 (3rd ed.). New York: Cambridge University Press. pp. 175–176.ISBN 978-1-107-03385-6.
  24. ^ This example is similar to one in reference,[20] pages 451 and 452, but simplified to two equations instead of three.
  25. ^Henrici, Peter (1974).Applied and Computational Complex Analysis. Vol. 1. Wiley.ISBN 9780471598923.
  26. ^Strang, Gilbert (January 1991). "A chaotic search fori".The College Mathematics Journal.22 (1):3–12.doi:10.2307/2686733.JSTOR 2686733.
  27. ^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.
  28. ^Hubbard, John; Schleicher, Dierk; Sutherland, Scott (October 2001)."How to find all roots of complex polynomials by Newton's method".Inventiones Mathematicae.146 (1):1–33.Bibcode:2001InMat.146....1H.doi:10.1007/s002220100149.ISSN 0020-9910.S2CID 12603806.
  29. ^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.
  30. ^Hamilton, Richard S. (1982)."The inverse function theorem of Nash and Moser".Bulletin of the American Mathematical Society. New Series.7 (1):65–222.doi:10.1090/s0273-0979-1982-15004-2.MR 0656198.Zbl 0499.58003.
  31. ^Gromov, Mikhael (1986).Partial differential relations. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Vol. 9. Berlin:Springer-Verlag.doi:10.1007/978-3-662-02267-2 (inactive 2 April 2025).ISBN 3-540-12177-3.MR 0864505.{{cite book}}: CS1 maint: DOI inactive as of April 2025 (link)
  32. ^Chebyshev, Pafnutii L'vovich; Bernshtein, Sergei Natanovich (1947).Polnoe sobranie sochinenii. Izd-vo Akademii nauk SSSR.
  33. ^Ahmadi, Amir Ali; Chaudhry, Abraar; Zhang, Jeffrey (2024)."Higher-order Newton methods with polynomial work per iteration".Advances in Mathematics.452: 109808.arXiv:2311.06374.doi:10.1016/j.aim.2024.109808.
  34. ^Hartnett, Kevin (24 March 2025)."Three Hundred Years Later, a Tool from Isaac Newton Gets an Update".Quanta Magazine. Retrieved3 April 2025.
  35. ^Rajković, Predrag M.; Stanković, Miomir S.; Marinković, Slađana D. (2002)."Mean value theorems in $q$-calculus".Matematicki Vesnik.54 (3–4):171–178.
  36. ^Press et al. 2007
  37. ^Stoer, Josef; Bulirsch, Roland (1980).Introduction to numerical analysis. p. 279.OCLC 1244842246.
  38. ^Zhang, Shanjie; Jin, Jianming (1996).Computation of Special Functions. Wiley.ISBN 9780471119630.[page needed]
  39. ^Murota, Kazuo (1982). "Global Convergence of a Modified Newton Iteration for Algebraic Equations".SIAM Journal on Numerical Analysis.19 (4):793–799.Bibcode:1982SJNA...19..793M.doi:10.1137/0719055.
  40. ^Moore, R. E. (1979).Methods and applications of interval analysis (Vol. 2). Siam.
  41. ^Hansen, E. (1978). Interval forms of Newtons method.Computing, 20(2), 153–163.
  42. ^Boyd, Stephen; Vandenberghe, Lieven (2004).Convex optimization. Cambridge:Cambridge University Press.doi:10.1017/CBO9780511804441.ISBN 0-521-83378-7.MR 2061575.Zbl 1058.90049.

References

edit

Further reading

edit

External links

edit
Wikimedia Commons has media related toNewton Method.
For a list of words relating to Newton's method, see theNewton's method category of article inWikibooks.

[8]ページ先頭

©2009-2025 Movatter.jp