## Introduction to Numerical Analysis: Finding Roots of Equations

Let be a function. One of the most basic problems in numerical analysis is to find the value that would render . This value is called a root of the equation . As an example, consider the function . Consider the equation . Clearly, there is only one root to this equation which is . Alternatively, consider defined as with . There are two analytical roots for the equation given by

In this section we are going to present three classes of methods: graphical, bracketing, and open methods for finding roots of equations.

### Graphical Methods

Graphical methods rely on a computational device that calculates the values of the function along an interval at specific steps, and then draws the graph of the function. By visual inspection, the analyst can identify the points at which the function crosses the axis. Graphical methods are very useful for one-dimensional problems, but for multi-dimensional problems it is not possible to visualize a graph of a function of multi-variables.

###### Example

As an example, consider . We wish to find the values of (i.e., the roots) that would satisfy the equation for . The fastest way is to plot the graph (even Microsoft Excel would serve as an appropriate tool here) and then visually inspect the locations where the graph crosses the axis:

As shown in the above graph, the equation has three roots and just by visual inspection, the roots are around , , and . Of course these estimates are not that accurate for , , and . Whether these estimates are acceptable or not, depends on the requirements of the problem. We can further zoom in using the software to try and get better estimates:

Visual inspection of the zoomed-in graphs provides the following estimates: , , and which are much better estimates since: , , and

View Mathematica Code

Clear[x] f = Sin[5 x] + Cos[2 x] Plot[f, {x, -1, 1}, AxesLabel -> {"x", "f"}] f /. x -> -0.525 f /. x -> -0.21 f /. x -> 0.675 Plot[f, {x, -0.53, -0.52}, AxesLabel -> {"x", "f"}] Plot[f, {x, -0.25, -0.2}, AxesLabel -> {"x", "f"}] Plot[f, {x, 0.66, 0.675}, AxesLabel -> {"x", "f"}] f /. x -> -0.5235 f /. x -> -0.225 f /. x -> 0.6731

### Bracketing Methods

An elementary observation from the previous method is that in most cases, the function changes signs around the roots of an equation. The bracketing methods rely on the intermediate value theorem.

#### Intermediate Value Theorem

**Statement:** Let be continuous and . Then, such that . The same applies if .

The proof for the intermediate value theorem relies on the assumption of continuity of the function . Intuitively, because the function is continuous, then for the values of to change from to it has to pass by every possible value between and . The consequence of the theorem is that if the function is such that , then, there is such that . We can proceed to find iteratively using either the bisection method or the false position method.

#### Bisection Method

In the bisection method, if , an estimate for the root of the equation can be found as the average of and :

Upon evaluating , the next iteration would be to set either or such that for the next iteration the root is between and . The following describes an algorithm for the bisection method given , , , and maximum number of iterations:

**Step 1:** Evaluate and to ensure that . Set .

**Step 2:** Set . If , then set the new interval as , . Otherwise, if , then set the new interval as , . A new estimate for the root can be evaluated as . The value of .

**Step 3:** If reaches the maximum number of iterations or if , then the iterations are stopped. Otherwise, return to step 2.

###### Example

Setting and applying this process to with and yields the estimate after 9 iterations with as shown below. Similarly, applying this process to with and yields the estimate after 10 iterations with while applying this process to with and yields the estimate after 9 iterations with :

View Mathematica CodeClear[f, x, ErrorTable, ei] f[x_] := Sin[5 x] + Cos[2 x] (*The following function returns x_i and the new interval (a,b). Otherwise, it returns an error: "Error, root is not bracketed"*) bisec[f_, a_, b_] := If[f[a] f[b] <= 0, If[f[(a + b)/2] f[a] <= 0, {(a + b)/2, a, (a + b)/2}, If[f[(a + b)/2] f[b] < 0, {(a + b)/2, (a + b)/2, b}]], "Error, root is not bracketed"] (*Problem Setup*) MaxIter = 20; eps = 0.0005; (*First root*) ErrorTable = {1}; atable = {-0.6}; btable = {-0.5}; xtable = {0}; i = 1; Flag = 1; Title = {"Iteration", "a", "b", "x_i", "e_r", "f[a]", "f[b]", "f[x_i]"}; While[ And[i <= MaxIter, Flag == 1], ri = bisec[f, atable[[i]], btable[[i]]]; If[ri == "Error, root is not bracketed", ErrorTable[[1]] = ri;Break[]]; atable = Append[atable, ri[[2]]]; btable = Append[btable, ri[[3]]]; If[i == 1, xtable[[1]] = ri[[1]], (xtable = Append[xtable, ri[[1]]]; ei = (xtable[[i]] - xtable[[i - 1]])/xtable[[i]]; ErrorTable = Append[ErrorTable, ei])]; If[Abs[ErrorTable[[i]]] > eps, Flag = 1, Flag = 0]; i++] Title = {"Iteration", "a", "b", "x_i", "f[a]", "f[b]", "f[x_i]", "er"}; T2 = Table[{i, atable[[i]], btable[[i]], xtable[[i]], f[atable[[i]]], f[btable[[i]]], f[xtable[[i]]], ErrorTable[[i]]}, {i, 1,Length[xtable]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm (*Second Root*) ErrorTable = {1}; atable = {-0.3}; btable = {-0.2}; xtable = {0}; i = 1; Flag = 1; Title = {"Iteration", "a", "b", "x_i", "e_r", "f[a]", "f[b]", "f[x_i]"}; While[ And[i <= MaxIter, Flag == 1], ri = bisec[f, atable[[i]], btable[[i]]]; If[ri == "Error, root is not bracketed", ErrorTable[[1]] = ri;Break[]]; atable = Append[atable, ri[[2]]]; btable = Append[btable, ri[[3]]]; If[i == 1, xtable[[1]] = ri[[1]], (xtable = Append[xtable, ri[[1]]]; ei = (xtable[[i]] - xtable[[i - 1]])/xtable[[i]]; ErrorTable = Append[ErrorTable, ei])]; If[Abs[ErrorTable[[i]]] > eps, Flag = 1, Flag = 0]; i++] Title = {"Iteration", "a", "b", "x_i", "f[a]", "f[b]", "f[x_i]", "er"}; T2 = Table[{i, atable[[i]], btable[[i]], xtable[[i]], f[atable[[i]]], f[btable[[i]]], f[xtable[[i]]], ErrorTable[[i]]}, {i, 1, Length[xtable]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm (*Third Root*) ErrorTable = {1}; atable = {0.6}; btable = {0.7}; xtable = {0}; i = 1; Flag = 1; Title = {"Iteration", "a", "b", "x_i", "e_r", "f[a]", "f[b]","f[x_i]"}; While[ And[i <= MaxIter, Flag == 1], ri = bisec[f, atable[[i]], btable[[i]]]; If[ri == "Error, root is not bracketed", ErrorTable[[1]] = ri;Break[]]; atable = Append[atable, ri[[2]]]; btable = Append[btable, ri[[3]]]; If[i == 1, xtable[[1]] = ri[[1]], (xtable = Append[xtable, ri[[1]]]; ei = (xtable[[i]] - xtable[[i - 1]])/xtable[[i]]; ErrorTable = Append[ErrorTable, ei])]; If[Abs[ErrorTable[[i]]] > eps, Flag = 1, Flag = 0]; i++] Title = {"Iteration", "a", "b", "x_i", "f[a]", "f[b]", "f[x_i]", "er"}; T2 = Table[{i, atable[[i]], btable[[i]], xtable[[i]], f[atable[[i]]], f[btable[[i]]], f[xtable[[i]]], ErrorTable[[i]]}, {i, 1,Length[xtable]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm

The following tool illustrates this process for and . Use the slider to view the process after each iteration. In the first iteration, the interval . , so, . In the second iteration, the interval becomes and the new estimate . The relative approximate error in the estimate . You can view the process to see how it converges after 12 iterations.

##### Error Estimation

If is the true value of the root and is the estimate, then, the number of iterations needed to ensure that the absolute value of the error is less than or equal to a certain value can be easily obtained. Let be the length of the original interval used. The first estimate and so, in the next iteration, the interval where the root is contained has a length of . As the process evolves, the interval for the iteration number has a length of . Since the true value exists in an interval of length , the absolute value of the error is such that:

Therefore, for a desired estimate of the absolute value of the error, say , the number of iterations required is:

###### Example

As an example, consider , if we wish to find the root of the equation in the interval with an absolute error less than or equal to 0.004, the number of iterations required is 8:

The actual root with 10 significant digits is .

Using the process above, after the first iteration, and so, the root lies between and . So, the length of the interval is equal to 0.5 and the error in the estimate is less than 0.5. The length of the interval after iteration 8 is equal to 0.0039 and so the error in the estimate is less than 0.0039. It should be noted however that the actual error was less than this upper bound after the seventh iteration.

Clear[f, x, tt, ErrorTable, nn]; f[x_] := x^3 + x^2 - 10; bisec[f_, a_, b_] := If[f[a] f[b] <= 0, If[f[(a + b)/2] f[a] <= 0, {(a + b)/2, a, (a + b)/2}, If[f[(a + b)/2] f[b] <= 0, {(a + b)/2, (a + b)/2, b}]], "Error, root is not bracketed"]; (*Exact Solution*) t = Solve[x^3 + x^2 - 10 == 0, x] Vt = N[x /. t[[1]], 10] (*Problem Setup*) MaxIter = 20; eps = 0.0005; (*First root*) x = {bisec[f, 1., 2]}; ErrorTable = {1}; ErrorTable2 = {"N/A"}; IntervalLength = {0.5}; i = 2; While[And[i <= MaxIter, Abs[ErrorTable[[i - 1]]] > eps], ri = bisec[f, x[[i - 1, 2]], x[[i - 1, 3]]]; If[ri=="Error, root is not bracketed",ErrorTable[[1]]="Error, root is not bracketed";Break[]]; x = Append[x, ri]; ei = (x[[i, 1]] - x[[i - 1, 1]])/x[[i, 1]]; e2i = x[[i, 1]] - Vt; ErrorTable = Append[ErrorTable, ei]; IntervalLength = Append[IntervalLength, (x[[i - 1, 3]] - x[[i - 1, 2]])/2]; ErrorTable2 = Append[ErrorTable2, e2i]; i++] x // MatrixForm ErrorTable // MatrixForm Title = {"Iteration", "x_i", "a", "b", "e_r", "Actual E", "Interval Length (Upper bound for E)"}; T2 = Table[{i, x[[i, 1]], x[[i, 2]], x[[i, 3]], ErrorTable[[i]], ErrorTable2[[i]], IntervalLength[[i]]}, {i, 1, Length[x]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm

#### False Position Method

In the false position method, the new estimate at iteration is obtained by considering the linear function passing through the two points and . The point of intersection of this line with the axis can be obtained using one of the following formulas:

Upon evaluating , the next iteration would be to set either or such that for the next iteration the root is between and . The following describes an algorithm for the false position method method given , , , and maximum number of iterations:

**Step 1:** Evaluate and to ensure that . Set .

**Step 2:** Set . If , then set the new interval as , . Otherwise, if , then set the new interval as , . A new estimate for the root can be evaluated as . The value of .

**Step 3:** If reaches the maximum number of iterations or if , then the iterations are stopped. Otherwise, return to step 2.

###### Example

Setting and applying this process to with and yields the estimate after 3 iterations with as shown below. Similarly, applying this process to with and yields the estimate after 4 iterations with while applying this process to with and yields the estimate after 3 iterations with :

View Mathematica CodeClear[f, x, ErrorTable, ei] f[x_] := Sin[5 x] + Cos[2 x] (*The following function returns x_i and the new interval (a,b). Otherwise, it returns: "Error, root is not bracketed"*) falseposition[f_, a_, b_] := ((xr = (a*f[b] - b*f[a])/(f[b] - f[a])); If[f[a] f[b] <= 0, If[f[xr] f[a] <= 0, {xr, a, xr}, If[f[xr] f[b] <= 0, {xr, xr, b}]], "Error, root is not bracketed"]); (*Problem Setup*) MaxIter = 20; eps = 0.0005; (*First root*) ErrorTable = {1}; atable = {-0.6}; btable = {-0.5}; xtable = {0}; i = 1; Flag = 1; Title = {"Iteration", "a", "b", "x_i", "e_r", "f[a]", "f[b]", "f[x_i]"}; While[ And[i <= MaxIter, Flag == 1], ri = falseposition[f, atable[[i]], btable[[i]]]; If[ri=="Error, root is not bracketed", ErrorTable[[1]]=ri;Break[]]; atable = Append[atable, ri[[2]]]; btable = Append[btable, ri[[3]]]; If[i == 1, xtable[[1]] = ri[[1]], (xtable = Append[xtable, ri[[1]]]; ei = (xtable[[i]] - xtable[[i - 1]])/xtable[[i]]; ErrorTable = Append[ErrorTable, ei])]; If[Abs[ErrorTable[[i]]] > eps, Flag = 1, Flag = 0]; i++] Title = {"Iteration", "a", "b", "x_i", "f[a]", "f[b]", "f[x_i]", "er"}; T2 = Table[{i, atable[[i]], btable[[i]], xtable[[i]], f[atable[[i]]], f[btable[[i]]], f[xtable[[i]]], ErrorTable[[i]]}, {i, 1,Length[xtable]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm (*Second Root*) ErrorTable = {1}; atable = {-0.3}; btable = {-0.2}; xtable = {0}; i = 1; Flag = 1; Title = {"Iteration", "a", "b", "x_i", "e_r", "f[a]", "f[b]", "f[x_i]"}; While[ And[i <= MaxIter, Flag == 1], ri = falseposition[f, atable[[i]], btable[[i]]]; If[ri=="Error, root is not bracketed", ErrorTable[[1]]=ri;Break[]]; atable = Append[atable, ri[[2]]]; btable = Append[btable, ri[[3]]]; If[i == 1, xtable[[1]] = ri[[1]], (xtable = Append[xtable, ri[[1]]]; ei = (xtable[[i]] - xtable[[i - 1]])/xtable[[i]]; ErrorTable = Append[ErrorTable, ei])]; If[Abs[ErrorTable[[i]]] > eps, Flag = 1, Flag = 0]; i++] Title = {"Iteration", "a", "b", "x_i", "f[a]", "f[b]", "f[x_i]", "er"}; T2 = Table[{i, atable[[i]], btable[[i]], xtable[[i]], f[atable[[i]]], f[btable[[i]]], f[xtable[[i]]], ErrorTable[[i]]}, {i, 1, Length[xtable]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm (*Third Root*) ErrorTable = {1}; atable = {0.6}; btable = {0.7}; xtable = {0}; i = 1; Flag = 1; Title = {"Iteration", "a", "b", "x_i", "e_r", "f[a]", "f[b]", "f[x_i]"}; While[ And[i <= MaxIter, Flag == 1], ri = falseposition[f, atable[[i]], btable[[i]]]; If[ri=="Error, root is not bracketed", ErrorTable[[1]]=ri;Break[]]; atable = Append[atable, ri[[2]]]; btable = Append[btable, ri[[3]]]; If[i == 1, xtable[[1]] = ri[[1]], (xtable = Append[xtable, ri[[1]]]; ei = (xtable[[i]] - xtable[[i - 1]])/xtable[[i]]; ErrorTable = Append[ErrorTable, ei])]; If[Abs[ErrorTable[[i]]] > eps, Flag = 1, Flag = 0]; i++] Title = {"Iteration", "a", "b", "x_i", "f[a]", "f[b]", "f[x_i]", "er"}; T2 = Table[{i, atable[[i]], btable[[i]], xtable[[i]], f[atable[[i]]], f[btable[[i]]], f[xtable[[i]]], ErrorTable[[i]]}, {i, 1, Length[xtable]}]; T2 = Prepend[T2, Title]; T2 // MatrixForm

The following tool illustrates this process for and . Use the slider to view the process after each iteration. In the first iteration, the interval . , so, . In the second iteration, the interval becomes and the new estimate . The relative approximate error in the estimate . You can view the process to see how it converges after very few iterations.

### Open Methods

Open methods do not rely on having the root squeezed between two values, but rather rely on an initial guess and then apply an iterative process to get better estimates for the root. Open methods are usually faster in convergence if they converge, but they don’t always converge. For multi-dimensions, i.e., for solving multiple nonlinear equations, open methods are easier to implement than bracketing methods which cannot be easily extended to multi-dimensions.

#### Fixed-Point Iteration Method

The fixed-point iteration method relies on replacing the expression with the expression . Then, an initial guess for the root is assumed and input as an argument for the function . The output is then the estimate . The process is then iterated until the output . The following is the algorithm for the fixed-point iteration method. Assuming , , and maximum number of iterations :

Set , and calculate and compare with . If or if , then stop the procedure, otherwise, repeat.

The Babylonian method for finding roots described in the introduction section is a prime example of the use of this method. If we seek to find the solution for the equation or , then a fixed-point iteration scheme can be implemented by writing this equation in the form:

###### Example

Consider the function . We wish to find the root of the equation , i.e., . The expression can be rearranged to the fixed-point iteration form and an initial guess can be used. The tolerance is set to 0.001. The following is the Microsoft Excel table showing that the tolerance is achieved after 19 iterations:

Mathematica has a built-in algorithm for the fixed-point iteration method. The function “FixedPoint[f,Expr,n]” applies the fixed-point iteration method with the initial guess being “Expr” with a maximum number of iterations “n”. As well, the function “FixedPointList[f,Expr,n]” returns the list of applying the function “n” times. If “n” is omitted, then the software applies the fixed-point iteration method until convergence is achieved. Here is a snapshot of the code and the output for the fixed-point iteration . The software finds the solution . Compare the list below with the Microsoft Excel sheet above.

Alternatively, simple code can be written in Mathematica with the following output

View Mathematica Code

x = {0.1}; er = {1}; es = 0.001; MaxIter = 100; i = 1; While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = Cos[x[[i]]]; x = Append[x, xnew]; ernew = (xnew - x[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[x]; SolutionTable = Table[{i - 1, x[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; T // MatrixForm

##### Convergence

The fixed-point iteration method converges easily if in the region of interest we have . Otherwise, it does not converge. Here is an example where the fixed-point iteration method fails to converge.

###### Example

Consider the function . To find the root of the equation , the expression can be converted into the fixed-point iteration form as:

. Implementing the fixed-point iteration procedure shows that this expression almost never converges but oscillates:

Clear[x, g] x = {-0.9}; er = {1}; es = 0.001; MaxIter = 100; i = 1; g[x_] := (Sin[5 x] + Cos[2 x]) + x While[And[i <= MaxIter, Abs[er[[i]]] > es],xnew = g[x[[i]]]; x = Append[x, xnew]; ernew = (xnew - x[[i]])/xnew;er = Append[er, ernew]; i++]; T = Length[x]; SolutionTable = Table[{i - 1, x[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; T // MatrixForm

The following is the output table showing the first 45 iterations. The value of the error oscillates and never decreases:

The expression can be converted to different forms . For example, assuming :

If this expression is used, the fixed-point iteration method does converge depending on the choice of . For example, setting gives the estimate for the root with the required accuracy:

Clear[x, g] x = {5.}; er = {1}; es = 0.001; MaxIter = 100; i = 1; g[x_] := (Sin[5 x] + Cos[2 x])/x + x While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = g[x[[i]]]; x = Append[x, xnew]; ernew = (xnew - x[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[x]; SolutionTable = Table[{i - 1, x[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; T // MatrixForm

Obviously, unlike the bracketing methods, this open method cannot find a root in a specific interval. The root is a function of the initial guess and the form , but the user has no other way of forcing the root to be within a specific interval. It is very difficult, for example, to use the fixed-point iteration method to find the roots of the expression in the interval .

###### Analysis of Convergence of the Fixed-Point Method

The objective of the fixed-point iteration method is to find the true value that satisfies . In each iteration we have the estimate . Using the mean value theorem, we can write the following expression:

for some in the interval between and the true value . Replacing and in the above expression yields:

The error after iteration is equal to while that in iteration is equal to . Therefore, the above expression yields:

For the error to reduce after each iteration, the first derivative of , namely , should be bounded by 1 in the region of interest (around the required root):

We can now try to understand why, in the previous example, the expression does not converge. When we plot and we see that oscillates rapidly with values higher than 1:

On the other hand, the expression converges for roots that are away from zero. When we plot and we see that the oscillations in decrease when is away from zero and is bounded by 1 in some regions:

###### Example

In this example, we will visualize the example of finding the root of the expression . There are three different forms for the fixed-point iteration scheme:

To visualize the convergence, notice that if we plot the separate graphs of the function and the function , then, the root is the point of intersection when . For , the slope is not bounded by 1 and so, the scheme diverges no matter what is. Here we start with :

For , the slope is bounded by 1 and so, the scheme converges really fast no matter what is. Here we start with :

For , the slope is bounded by 1 and so, the scheme converges but slowly. Here we start with :

The following is the Mathematica code used to generate one of the tools above:

View Mathematica Code

Manipulate[ x = {5.}; er = {1}; es = 0.001; MaxIter = 20; i = 1; g[x_] := (x + 10)^(1/4); While[And[i <= MaxIter, Abs[er[[i]]] > es],xnew = g[x[[i]]]; x = Append[x, xnew]; ernew = (xnew - x[[i]])/xnew;er = Append[er, ernew]; i++]; T1 = Length[x]; SolutionTable = Table[{i - 1, x[[i]], er[[i]]}, {i, 1, T1}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; LineTable1 = Table[{{T[[i, 2]], T[[i, 2]]}, {T[[i, 2]], g[T[[i, 2]]]}}, {i, 2, n}]; LineTable2 = Table[{{T[[i + 1, 2]], T[[i + 1, 2]]}, {T[[i, 2]], g[T[[i, 2]]]}}, {i, 2, n - 1}]; Grid[{{Plot[{x, g[x]}, {x, 0, 5}, PlotLegends -> {"x", "g3(x)"},ImageSize -> Medium, Epilog -> {Dashed, Line[LineTable1], Line[LineTable2]}]}, {Row[{"Iteration=", n - 2, " x_n=", T[[n, 2]], " g(x_n)=", g[T[[n, 2]]]}]}}], {n, 2, Length[T], 1}]

The following shows the output if we use the built-in fixed-point iteration function for each of , , and . oscillates and so, it will never converge. converges really fast (3 to 4 iterations). converges really slow, taking up to 120 iterations to converge.

#### Newton-Raphson Method

The Newton-Raphson method is one of the most used methods of all root-finding methods. The reason for its success is that it converges very fast in most cases. In addition, it can be extended quite easily to multi-variable equations. To find the root of the equation , the Newton-Raphson method depends on the Taylor Series Expansion of the function around the estimate to find a better estimate :

where is the estimate of the root after iteration and is the estimate at iteration . Assuming and rearranging:

The procedure is as follows. Setting an initial guess , tolerance , and maximum number of iterations :

At iteration , calculate and . If or if , stop the procedure. Otherwise repeat.

**Note:** unlike the previous methods, the Newton-Raphson method relies on calculating the first derivative of the function . This makes the procedure very fast, however, it has two disadvantages. The first is that this procedure doesn’t work if the function is not differentiable. Second, the inverse can be slow to calculate when dealing with multi-variable equations.

##### Example

As an example, let’s consider the function . The derivative of is . Setting the maximum number of iterations , , , the following is the Microsoft Excel table produced:

Mathematica has a built-in algorithm for the Newton-Raphson method. The function âFindRoot[lhs==rhs,{x,x0}]â applies the Newton-Raphson method with the initial guess being âx0â. The following is a screenshot of the input and output of the built-in function evaluating the roots based on three initial guesses.

Alternatively, a Mathematica code can be written to implement the Newton-Raphson method with the following output for three different initial guesses:

View Mathematica Code

Clear[x] f[x_] := Sin[5 x] + Cos[2 x] fp = D[f[x], x] xtable = {-0.25}; er = {1}; es = 0.0005; MaxIter = 100; i = 1; While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = xtable[[i]] - (f[xtable[[i]]]/fp /. x -> xtable[[i]]); xtable = Append[xtable, xnew]; ernew = (xnew - xtable[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[xtable]; SolutionTable = Table[{i - 1, xtable[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; T // MatrixForm

###### Analysis of Convergence of the Newton-Raphson Method

The error in the Newton-Raphson Method can be roughly estimated as follows. The estimate is related to the previous estimate using the equation:

Additionally, using Taylor’s theorem, and if is the true root with we have:

for some in the interval between and . Subtracting the above two equations yields:

(1)

If the method is converging, we have and therefore:

Therefore, the error is squared after each iteration, i.e., the number of correct decimal places approximately doubles with each iteration. This behaviour is called quadratic convergence. Look at the tables in the Newton-Raphson example above and compare the relative error after each step!

The following tool can be used to visualize how the Newton-Raphson method works. Using the slope , the difference can be calculated and thus, the value of the new estimate can be computed accordingly. Use the slider to see how fast the method converges to the true solution using , , and solving for the root of .

View Mathematica codeManipulate[ f[x_] := Sin[5 x] + Cos[2 x]; fp = D[f[x], x]; xtable = {0.4}; er = {1}; es = 0.0005; MaxIter = 100; i = 1; While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = xtable[[i]] - (f[xtable[[i]]]/fp /. x -> xtable[[i]]); xtable = Append[xtable, xnew]; ernew = (xnew - xtable[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[xtable]; SolutionTable = Table[{i - 1, xtable[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; LineTable1 = Table[{{T[[i, 2]], 0}, {T[[i, 2]], f[T[[i, 2]]]}, {T[[i + 1, 2]],0}}, {i, 2, n - 1}]; Grid[{{Plot[f[x], {x, 0, 1}, PlotLegends -> {"f(x)"}, ImageSize -> Medium, Epilog -> {Dashed, Line[LineTable1]}]}, {Row[{"Iteration=", n - 2, " x_n=", T[[n, 2]], " f(x_n)=", f[T[[n, 2]]]}]}}], {n, 2, 7, 1}]

Depending on the shape of the function and the initial guess, the Newton-Raphson method can get stuck around the locations of oscillations of the function. The tool below visualizes the algorithm when trying to find the root of with an initial guess of . It takes 33 iterations before reaching convergence.

Depending on the shape of the function and the initial guess, the Newton-Raphson method can get stuck in a loop. The tool below visualizes the algorithm when trying to find the root of with an initial guess of . The algorithm goes into an infinite loop.

In general, an initial guess that is close enough to the true root will guarantee quick convergence. The tool below visualizes the algorithm when trying to find the root of with an initial guess of . The algorithm quickly converges to the desired root.

The following is the Mathematica code used to generate one of the tools above:

View Mathematica Code

Manipulate[ f[x_] := x^3 - x + 3; fp = D[f[x], x]; xtable = {-0.1}; er = {1.}; es = 0.0005; MaxIter = 100; i = 1; While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = xtable[[i]] - (f[xtable[[i]]]/fp /. x -> xtable[[i]]); xtable = Append[xtable, xnew]; ernew = (xnew - xtable[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[xtable]; SolutionTable = Table[{i - 1, xtable[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; LineTable1 = Table[{{T[[i, 2]], 0}, {T[[i, 2]], f[T[[i, 2]]]}, {T[[i + 1, 2]], 0}}, {i, 2, n - 1}]; Grid[{{Plot[f[x], {x, -3, 2}, PlotLegends -> {"f(x)"}, ImageSize -> Medium, Epilog -> {Dashed, Line[LineTable1]}]}, {Row[{"Iteration=", n - 2, " x_n=", T[[n, 2]], " f(x_n)=", f[T[[n, 2]]]}]}}] , {n, 2, 33, 1}]

#### Secant Method

The secant method is an alternative to the Newton-Raphson method by replacing the derivative with its finite-difference approximation. The secant method thus does not require the use of derivatives especially when is not explicitly defined. In certain situations, the secant method is preferable over the Newton-Raphson method even though its rate of convergence is slightly less than that of the Newton-Raphson method. Consider the problem of finding the root of the function . Starting with the Newton-Raphson equation and utilizing the following approximation for the derivative :

the estimate for iteration can be computed as:

Obviously, the secant method requires two initial guesses and .

##### Example

As an example, let’s consider the function . Setting the maximum number of iterations , , , and , the following is the Microsoft Excel table produced:

The Mathematica code below can be used to program the secant method with the following output:

f[x_] := Sin[5 x] + Cos[2 x]; xtable = {0.5, 0.4}; er = {1,1}; es = 0.0005; MaxIter = 100; i = 2; While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = xtable[[i]] - (f[xtable[[i]]]) (xtable[[i]] - xtable[[i - 1]])/(f[xtable[[i]]] -f[xtable[[i - 1]]]); xtable = Append[xtable, xnew]; ernew = (xnew - xtable[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[xtable]; SolutionTable = Table[{i - 1, xtable[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; T // MatrixForm

##### Convergence Analysis of the Secant Method

The estimate in the secant method is obtained as follows:

Multiplying both sides by -1 and adding the true value of the root where for both sides yields:

Using algebraic manipulations:

Using the Mean Value Theorem, the denominator on the right-hand side can be replaced with:

for some between and . Therefore,

Using Taylor’s theorem for and around we get:

for some between and and some between and . Using the above expressions we can reach the equation:

and can be assumed to be identical and equal to , therefore:

(2)

Comparing 1 with 2 shows that the convergence in the secant method is not quite quadratic. To find the order of convergence, we need to solve the following equation for a positive and :

Substituting into equation 2 yields:

But we also have:

Therefore: . This equation is called the golden ratio and has the positive solution for :

while

implying that the error convergence is not quadratic but rather:

The following tool visualizes how the secant method converges to the true solution using two initial guesses. Using , , , and solving for the root of yields .

The following Mathematica Code was utilized to produce the above tool:

View Mathematica Code

Manipulate[ f[x_] := x^3 - x + 3; f[x_] := Sin[5 x] + Cos[2 x]; xtable = {-0.5, -0.6}; xtable = {0.35, 0.4}; er = {1, 1}; es = 0.0005; MaxIter = 100; i = 2; While[And[i <= MaxIter, Abs[er[[i]]] > es], xnew = xtable[[i]] - (f[xtable[[i]]]) (xtable[[i]] - xtable[[i-1]])/(f[xtable[[i]]] -f[xtable[[i - 1]]]); xtable = Append[xtable, xnew]; ernew = (xnew - xtable[[i]])/xnew; er = Append[er, ernew]; i++]; T = Length[xtable]; SolutionTable = Table[{i - 1, xtable[[i]], er[[i]]}, {i, 1, T}]; SolutionTable1 = {"Iteration", "x", "er"}; T = Prepend[SolutionTable, SolutionTable1]; T // MatrixForm; If[n > 3, (LineTable1 = {{T[[n - 2, 2]], 0}, {T[[n - 2, 2]], f[T[[n - 2, 2]]]}, {T[[n - 1, 2]], f[T[[n - 1, 2]]]}, {T[[n, 2]], 0}}; LineTable2 = {{T[[n - 1, 2]], 0}, {T[[n - 1, 2]], f[T[[n - 1, 2]]]}}), LineTable1 = {{}}; LineTable2 = {{}}]; Grid[{{Plot[f[x], {x, 0, 1}, PlotLegends -> {"f(x)"}, ImageSize -> Medium, Epilog -> {Dashed, Line[LineTable1], Line[LineTable2]}]}, {Row[{"Iteration=", n - 2, " x_n=", T[[n, 2]], " f(x_n)=", f[T[[n, 2]]]}]}}], {n, 2, 8, 1}]

### Problems

- Let be such that . Use the graphical method to find the number and estimates of the roots of each of the equations and .
- Compare the bisection method and the false position method in finding the roots of the two equations and in the interval where is:
Compare with the result using the Solve function and comment on the use of as a measure of the relative error.

- Locate the first nontrivial root of where is in radians. Use the graphical method and the bisection method with .
- Water is flowing in a trapezoidal channel at a rate of . The critical depth for such a channel must satisfy the equation:
where , is the cross sectional area (), and is the width of the channel at the surface (). Assuming that the width and the crossâsectional area can be related to the depth by:

Solve for the critical depth using the graphical method, the bisection method, and the false position method to find the critical depth in the interval . Use . Discuss your results (difference in the methods, accuracy, number of iterations, etc.).

(Note: The critical depth is the depth below which the flow of the fluid becomes relatively fast and affected by the upstream conditions (supercritical flow). Above that depth, the flow is subcritical, relatively slow and is controlled by the downstream conditions)

- Use the graphical method to find all real roots of the equation
You are required to

- Plot the function several times by using smaller ranges for the axis to obtain the roots up to 3 significant digits.
- Explain the steps you have taken to identify the number and estimates of the roots.
- Explain the steps you have taken to obtain the roots to the required accuracy.
- Compare your results to the solution obtained using the “Solve” function in Mathematica.

- Use the bisection method and the false position method to find all real roots of the equation
Use .

- Consider the function:
Determine a root for the expression

- using fixed-point iteration
- using the Newton-Raphson method

Use an initial guess of and . Compare your final answer with the Solve function in Mathematica.

- Consider the function:
Find the lowest positive root for the expression

- graphically
- using the Newton-Raphson method
- using the secant method

- Use the Newton-Raphson method to find the root of:
Employ initial guesses of 2, 6, and 8. Explain your results.

- The Manning equation can be written for a rectangular open channel as:
where is the fluid flow in , is the slope in , is the depth in , and is the Manning roughness coefficient. Develop a fixed-point iteration scheme to solve this equation for given , , , and . Consider . Prove that your scheme converges for all initial guesses greater than or equal to zero.

- Why does the Babylonian method almost always converge?
- Consider the function
Compare the secant method and the Newton-Raphson method in finding the root of the equation .

whats was the error formula in the newton raphson method?

I don’t understand the question

how can we find the error if we find the root using the graphical method

I don’t think you can quantify the error using the graphical method except visually.

Why does the bisection method not work if the root is exactly in the middle of your intersection?

Why does the bisection method no work when your root is exactly in the middle of the interval.

It should work by adding an if condition in the bisection method code. The code presented here does not take this case into consideration.