Describing Newton’s Method

Consider the task of finding the solutions of [latex]f(x)=0[/latex]. If [latex]f[/latex] is the first-degree polynomial [latex]f(x)=ax+b[/latex], then the solution of [latex]f(x)=0[/latex] is given by the formula [latex]x=-\frac{b}{a}[/latex]. If [latex]f[/latex] is the second-degree polynomial [latex]f(x)=ax^2+bx+c[/latex], the solutions of [latex]f(x)=0[/latex] can be found by using the quadratic formula. However, for polynomials of degree 3 or more, finding roots of [latex]f[/latex] becomes more complicated. Although formulas exist for third- and fourth-degree polynomials, they are quite complicated. Also, if [latex]f[/latex] is a polynomial of degree 5 or greater, it is known that no such formulas exist. For example, consider the function

No formula exists that allows us to find the solutions of [latex]f(x)=0[/latex]. Similar difficulties exist for nonpolynomial functions. For example, consider the task of finding solutions of [latex]\tan (x)-x=0[/latex]. No simple formula exists for the solutions of this equation. In cases such as these, we can use Newton’s method to approximate the roots.

Newton’s method makes use of the following idea to approximate the solutions of [latex]f(x)=0[/latex]. By sketching a graph of [latex]f[/latex], we can estimate a root of [latex]f(x)=0[/latex]. Let’s call this estimate [latex]x_0[/latex]. We then draw the tangent line to [latex]f[/latex] at [latex]x_0[/latex]. If [latex]f^{\prime}(x_0)\ne 0[/latex], this tangent line intersects the [latex]x[/latex]-axis at some point [latex](x_1,0)[/latex]. Now let [latex]x_1[/latex] be the next approximation to the actual root. Typically, [latex]x_1[/latex] is closer than [latex]x_0[/latex] to an actual root. Next we draw the tangent line to [latex]f[/latex] at [latex]x_1[/latex]. If [latex]f^{\prime}(x_1)\ne 0[/latex], this tangent line also intersects the [latex]x[/latex]-axis, producing another approximation, [latex]x_2[/latex]. We continue in this way, deriving a list of approximations: [latex]x_0, x_1, x_2, \cdots[/latex]. Typically, the numbers [latex]x_0,x_1,x_2, \cdots[/latex] quickly approach an actual root [latex]x*[/latex], as shown in the following figure.

Figure 1. The approximations [latex]x_0,x_1,x_2, \cdots[/latex] approach the actual root [latex]x*[/latex]. The approximations are derived by looking at tangent lines to the graph of [latex]f[/latex].

Now let’s look at how to calculate the approximations [latex]x_0,x_1,x_2, \cdots[/latex]. If [latex]x_0[/latex] is our first approximation, the approximation [latex]x_1[/latex] is defined by letting [latex](x_1,0)[/latex] be the [latex]x[/latex]-intercept of the tangent line to [latex]f[/latex] at [latex]x_0[/latex]. The equation of this tangent line is given by

Therefore, [latex]x_1[/latex] must satisfy

Solving this equation for [latex]x_1[/latex], we conclude that

Similarly, the point [latex](x_2,0)[/latex] is the [latex]x[/latex]-intercept of the tangent line to [latex]f[/latex] at [latex]x_1[/latex]. Therefore, [latex]x_2[/latex] satisfies the equation

In general, for [latex]n>0, \, x_n[/latex] satisfies

Next we see how to make use of this technique to approximate the root of the polynomial [latex]f(x)=x^3-3x+1[/latex].

Finding a Root of a Polynomial

Use Newton’s method to approximate a root of [latex]f(x)=x^3-3x+1[/latex] in the interval [latex][1,2][/latex]. Let [latex]x_0=2[/latex] and find [latex]x_1,x_2,x_3,x_4[/latex], and [latex]x_5[/latex].

Show Answer

From (Figure), we see that [latex]f[/latex] has one root over the interval [latex](1,2)[/latex]. Therefore [latex]x_0=2[/latex] seems like a reasonable first approximation. To find the next approximation, we use (Figure). Since [latex]f(x)=x^3-3x+1[/latex], the derivative is [latex]f^{\prime}(x)=3x^2-3[/latex]. Using (Figure) with [latex]n=1[/latex] (and a calculator that displays 10 digits), we obtain

[latex]x_1=x_0-\frac{f(x_0)}{f^{\prime}(x_0)}=2-\frac{f(2)}{f^{\prime}(2)}=2-\frac{3}{9} \approx 1.666666667[/latex]. 

To find the next approximation, [latex]x_2[/latex], we use (Figure) with [latex]n=2[/latex] and the value of [latex]x_1[/latex] stored on the calculator. We find that [latex]x_2=x_1=\frac{f(x_1)}{f^{\prime}(x_1)} \approx 1.548611111[/latex].

Continuing in this way, we obtain the following results:

[latex]\begin{array}{l} x_1 \approx 1.666666667 \\ x_2 \approx 1.548611111 \\ x_3 \approx 1.532390162 \\ x_4 \approx 1.532088989 \\ x_5 \approx 1.532088886 \\ x_6 \approx 1.532088886 \end{array}[/latex]

We note that we obtained the same value for [latex]x_5[/latex] and [latex]x_6[/latex]. Therefore, any subsequent application of Newton’s method will most likely give the same value for [latex]x_n[/latex].

Figure 2. The function [latex]f(x)=x^3-3x+1[/latex] has one root over the interval [latex][1,2][/latex].

Newton’s method can also be used to approximate square roots. Here we show how to approximate [latex]\sqrt{2}[/latex]. This method can be modified to approximate the square root of any positive number.

Finding a Square Root

Use Newton’s method to approximate [latex]\sqrt{2}[/latex] ((Figure)). Let [latex]f(x)=x^2-2[/latex], let [latex]x_0=2[/latex], and calculate [latex]x_1,x_2,x_3,x_4,x_5[/latex]. (We note that since [latex]f(x)=x^2-2[/latex] has a zero at [latex]\sqrt{2}[/latex], the initial value [latex]x_0=2[/latex] is a reasonable choice to approximate [latex]\sqrt{2}[/latex].)

Show Solution

For [latex]f(x)=x^2-2, \, f^{\prime}(x)=2x[/latex]. From (Figure), we know that

[latex]\begin{array}{ll} x_n & = x_{n-1}-\frac{f(x_{n-1})}{f^{\prime}(x_{n-1})} \\ & = x_{n-1}-\frac{(x_{n-1})^2-2}{2x_{n-1}} \\ & = \frac{1}{2}x_{n-1}+\frac{1}{x_{n-1}} \\ & = \frac{1}{2}(x_{n-1}+\frac{2}{x_{n-1}}) \end{array}[/latex]

Therefore,

[latex]\begin{array}{l} x_1 = \frac{1}{2}(x_0+\frac{2}{x_0})=\frac{1}{2}(2+\frac{2}{2})=1.5 \\ x_2 = \frac{1}{2}(x_1+\frac{2}{x_1})=\frac{1}{2}(1.5+\frac{2}{1.5})\approx 1.416666667 \end{array}[/latex]

Continuing in this way, we find that

[latex]\begin{array}{l} x_1=1.5 \\ x_2 \approx 1.416666667 \\ x_3 \approx 1.414215686 \\ x_4 \approx 1.414213562 \\ x_5 \approx 1.414213562 \end{array}[/latex]

Since we obtained the same value for [latex]x_4[/latex] and [latex]x_5[/latex], it is unlikely that the value [latex]x_n[/latex] will change on any subsequent application of Newton’s method. We conclude that [latex]\sqrt{2} \approx 1.414213562[/latex].

Figure 3. We can use Newton’s method to find [latex]\sqrt{2}[/latex].

When using Newton’s method, each approximation after the initial guess is defined in terms of the previous approximation by using the same formula. In particular, by defining the function [latex]F(x)=x-[\frac{f(x)}{f^{\prime}(x)}][/latex], we can rewrite (Figure) as [latex]x_n=F(x_{n-1})[/latex]. This type of process, where each [latex]x_n[/latex] is defined in terms of [latex]x_{n-1}[/latex] by repeating the same function, is an example of an iterative process. Shortly, we examine other iterative processes. First, let’s look at the reasons why Newton’s method could fail to find a root.

Failures of Newton’s Method

Typically, Newton’s method is used to find roots fairly quickly. However, things can go wrong. Some reasons why Newton’s method might fail include the following:

1. At one of the approximations [latex]x_n[/latex], the derivative [latex]f^{\prime}[/latex] is zero at [latex]x_n[/latex], but [latex]f(x_n) \ne 0[/latex]. As a result, the tangent line of [latex]f[/latex] at [latex]x_n[/latex] does not intersect the [latex]x[/latex]-axis. Therefore, we cannot continue the iterative process.
2. The approximations [latex]x_0,x_1,x_2, \cdots[/latex] may approach a different root. If the function [latex]f[/latex] has more than one root, it is possible that our approximations do not approach the one for which we are looking, but approach a different root (see (Figure)). This event most often occurs when we do not choose the approximation [latex]x_0[/latex] close enough to the desired root.
3. The approximations may fail to approach a root entirely. In (Figure), we provide an example of a function and an initial guess [latex]x_0[/latex] such that the successive approximations never approach a root because the successive approximations continue to alternate back and forth between two values.

Figure 4. If the initial guess [latex]x_0[/latex] is too far from the root sought, it may lead to approximations that approach a different root.

When Newton’s Method Fails

Consider the function [latex]f(x)=x^3-2x+2[/latex]. Let [latex]x_0=0[/latex]. Show that the sequence [latex]x_1,x_2, \cdots[/latex] fails to approach a root of [latex]f[/latex].

Show Solution

For [latex]f(x)=x^3-2x+2[/latex], the derivative is [latex]f^{\prime}(x)=3x^2-2[/latex]. Therefore,

[latex]x_1=x_0-\frac{f(x_0)}{f^{\prime}(x_0)}=0-\frac{f(0)}{f^{\prime}(0)}=-\frac{2}{-2}=1[/latex].

In the next step,

[latex]x_2=x_1-\frac{f(x_1)}{f^{\prime}(x_1)}=1-\frac{f(1)}{f^{\prime}(1)}=1-\frac{1}{1}=0[/latex].

Consequently, the numbers [latex]x_0,x_1,x_2, \cdots[/latex] continue to bounce back and forth between 0 and 1 and never get closer to the root of [latex]f[/latex] which is over the interval [latex][-2,-1][/latex] (see (Figure)). Fortunately, if we choose an initial approximation [latex]x_0[/latex] closer to the actual root, we can avoid this situation.

Figure 5. The approximations continue to alternate between 0 and 1 and never approach the root of [latex]f[/latex].

From (Figure), we see that Newton’s method does not always work. However, when it does work, the sequence of approximations approaches the root very quickly. Discussions of how quickly the sequence of approximations approach a root found using Newton’s method are included in texts on numerical analysis.

Other Iterative Processes

As mentioned earlier, Newton’s method is a type of iterative process. We now look at an example of a different type of iterative process.

Consider a function [latex]F[/latex] and an initial number [latex]x_0[/latex]. Define the subsequent numbers [latex]x_n[/latex] by the formula [latex]x_n=F(x_{n-1})[/latex]. This process is an iterative process that creates a list of numbers [latex]x_0,x_1,x_2, \cdots ,x_n, \cdots[/latex]. This list of numbers may approach a finite number [latex]x*[/latex] as [latex]n[/latex] gets larger, or it may not. In (Figure), we see an example of a function [latex]F[/latex] and an initial guess [latex]x_0[/latex] such that the resulting list of numbers approaches a finite value.

Finding a Limit for an Iterative Process

Let [latex]F(x)=\frac{1}{2}x+4[/latex] and let [latex]x_0=0[/latex]. For all [latex]n \ge 1[/latex], let [latex]x_n=F(x_{n-1})[/latex]. Find the values [latex]x_1,x_2,x_3,x_4,x_5[/latex]. Make a conjecture about what happens to this list of numbers [latex]x_1,x_2,x_3, \cdots,x_n, \cdots[/latex] as [latex]n\to \infty[/latex]. If the list of numbers [latex]x_1,x_2,x_3, \cdots[/latex] approaches a finite number [latex]x^*[/latex], then [latex]x^*[/latex] satisfies [latex]x^*=F(x^*)[/latex], and [latex]x^*[/latex] is called a fixed point of [latex]F[/latex].

Show Solution

If [latex]x_0=0[/latex], then

[latex]\begin{array}{l} x_1=\frac{1}{2}(0)+4=4 \\ x_2=\frac{1}{2}(4)+4=6 \\ x_3=\frac{1}{2}(6)+4=7 \\ x_4=\frac{1}{2}(7)+4=7.5 \\ x_5=\frac{1}{2}(7.5)+4=7.75 \\ x_6=\frac{1}{2}(7.75)+4=7.875 \\ x_7=\frac{1}{2}(7.875)+4=7.9375 \\ x_8=\frac{1}{2}(7.9375)+4=7.96875 \\ x_9=\frac{1}{2}(7.96875)+4=7.984375 \end{array}[/latex]

From this list, we conjecture that the values [latex]x_n[/latex] approach 8.

(Figure) provides a graphical argument that the values approach 8 as [latex]n\to \infty[/latex]. Starting at the point [latex](x_0,x_0)[/latex], we draw a vertical line to the point [latex](x_0,F(x_0))[/latex]. The next number in our list is [latex]x_1=F(x_0)[/latex]. We use [latex]x_1[/latex] to calculate [latex]x_2[/latex]. Therefore, we draw a horizontal line connecting [latex](x_0,x_1)[/latex] to the point [latex](x_1,x_1)[/latex] on the line [latex]y=x[/latex], and then draw a vertical line connecting [latex](x_1,x_1)[/latex] to the point [latex](x_1,F(x_1))[/latex]. The output [latex]F(x_1)[/latex] becomes [latex]x_2[/latex]. Continuing in this way, we could create an infinite number of line segments. These line segments are trapped between the lines [latex]F(x)=\frac{x}{2}+4[/latex] and [latex]y=x[/latex]. The line segments get closer to the intersection point of these two lines, which occurs when [latex]x=F(x)[/latex]. Solving the equation [latex]x=\frac{x}{2}+4[/latex], we conclude they intersect at [latex]x=8[/latex]. Therefore, our graphical evidence agrees with our numerical evidence that the list of numbers [latex]x_0,x_1,x_2, \cdots[/latex] approaches [latex]x^*=8[/latex] as [latex]n\to \infty[/latex].

Figure 6. This iterative process approaches the value [latex]x^*=8[/latex].

Student Project: Iterative Processes and Chaos

Iterative processes can yield some very interesting behavior. In this section, we have seen several examples of iterative processes that converge to a fixed point. We also saw in (Figure) that the iterative process bounced back and forth between two values. We call this kind of behavior a 2-cycle. Iterative processes can converge to cycles with various periodicities, such as 2-cycles, 4-cycles (where the iterative process repeats a sequence of four values), 8-cycles, and so on.

Some iterative processes yield what mathematicians call chaos. In this case, the iterative process jumps from value to value in a seemingly random fashion and never converges or settles into a cycle. Although a complete exploration of chaos is beyond the scope of this text, in this project we look at one of the key properties of a chaotic iterative process: sensitive dependence on initial conditions. This property refers to the concept that small changes in initial conditions can generate drastically different behavior in the iterative process.

Probably the best-known example of chaos is the Mandelbrot set (see (Figure)), named after Benoit Mandelbrot (1924–2010), who investigated its properties and helped popularize the field of chaos theory. The Mandelbrot set is usually generated by computer and shows fascinating details on enlargement, including self-replication of the set. Several colorized versions of the set have been shown in museums and can be found online and in popular books on the subject.

Figure 7. The Mandelbrot set is a well-known example of a set of points generated by the iterative chaotic behavior of a relatively simple function.

In this project we use the logistic map

[latex]f(x)=rx(1-x)[/latex], where [latex]x\in [0,1][/latex] and [latex]r>0[/latex]

as the function in our iterative process. The logistic map is a deceptively simple function; but, depending on the value of [latex]r[/latex], the resulting iterative process displays some very interesting behavior. It can lead to fixed points, cycles, and even chaos.

To visualize the long-term behavior of the iterative process associated with the logistic map, we will use a tool called a cobweb diagram. As we did with the iterative process we examined earlier in this section, we first draw a vertical line from the point [latex](x_0,0)[/latex] to the point [latex](x_0,f(x_0))=(x_0,x_1)[/latex]. We then draw a horizontal line from that point to the point [latex](x_1,x_1)[/latex], then draw a vertical line to [latex](x_1,f(x_1))=(x_1,x_2)[/latex], and continue the process until the long-term behavior of the system becomes apparent. (Figure) shows the long-term behavior of the logistic map when [latex]r=3.55[/latex] and [latex]x_0=0.2[/latex]. (The first 100 iterations are not plotted.) The long-term behavior of this iterative process is an 8-cycle.

Figure 8. A cobweb diagram for [latex]f(x)=3.55x(1-x)[/latex] is presented here. The sequence of values results in an 8-cycle.

1. Let [latex]r=0.5[/latex] and choose [latex]x_0=0.2[/latex]. Either by hand or by using a computer, calculate the first 10 values in the sequence. Does the sequence appear to converge? If so, to what value? Does it result in a cycle? If so, what kind of cycle (for example, 2-cycle, 4-cycle)?
2. What happens when [latex]r=2[/latex]?
3. For [latex]r=3.2[/latex] and [latex]r=3.5[/latex], calculate the first 100 sequence values. Generate a cobweb diagram for each iterative process. (Several free applets are available online that generate cobweb diagrams for the logistic map.) What is the long-term behavior in each of these cases?
4. Now let [latex]r=4[/latex]. Calculate the first 100 sequence values and generate a cobweb diagram. What is the long-term behavior in this case?
5. Repeat the process for [latex]r=4[/latex], but let [latex]x_0=0.201[/latex]. How does this behavior compare with the behavior for [latex]x_0=0.2[/latex]?