Abstract
A new family of eighth-order derivative-free methods for solving nonlinear equations is presented. It is proved that these methods have the convergence order of eight. These new methods are derivative-free and only use four evaluations of the function per iteration. In fact, we have obtained the optimal order of convergence which supports the Kung and Traub conjecture. Kung and Traub conjectured that the multipoint iteration methods, without memory based on evaluations, could achieve optimal convergence order . Thus, we present new derivative-free methods which agree with Kung and Traub conjecture for . Numerical comparisons are made to demonstrate the performance of the methods presented.
1. Introduction
Consider iterative methods for finding a simple root of the nonlinear equation where is a scalar function on an open interval , and it is sufficiently smooth in a neighbourhood of It is well known that the techniques to solve nonlinear equations have many applications in science and engineering. In this paper, a new family of three-point derivative-free methods of the optimal order eight is constructed by combining optimal two-step fourth-order methods and a modified third step. In order to obtain these new derivative-free methods, we replace derivatives with suitable approximations based on divided difference. In fact, it is well known that the various methods have been used in order to approximate the derivatives by the Newton interpolation, the Hermite interpolation, the Lagrange interpolation, and ration function [1, 2].
The prime motive of this study is to develop a class of very efficient three-step derivative-free methods for solving nonlinear equations. The eighth-order methods presented in this paper are derivative-free and only use four evaluations of the function per iteration. In fact, we have obtained the optimal order of convergence which supports the Kung and Traub conjecture. Kung and Traub conjectured that the multipoint iteration methods, without memory based on evaluations, could achieve optimal convergence order Thus, we present new derivative-free methods which agree with the Kung and Traub conjecture for In addition, these new eighth-order derivative-free methods have an equivalent efficiency index to the established Kung and Traub eighth-order derivative-free method presented in [3]. Furthermore, the new eighth-order derivative-free methods have a better efficiency index than the three-step sixth-order derivative-free methods presented recently in [4, 5], and in view of this fact, the new methods are significantly better when compared with the established methods. Consequently, we have found that the new eighth-order derivative-free methods are consistent, stable, and convergent.
This paper is organised as follows. In Section 2 we construct the eighth-order methods that are free from derivatives and prove the important fact that the methods obtained preserve their convergence order. In Section 3 we will briefly state the established Kung and Traub method in order to compare the effectiveness of the new methods. Finally, in Section 4 we demonstrate the performance of each of the methods described.
2. Methods and Convergence Analysis
In this section we will define a new family of eighth-order derivative-free methods. In order to establish the order of convergence of these new methods, we state the three essential definitions.
Definition 2.1. Let be a real function with a simple root , and let be a sequence of real numbers that converge towards The order of convergence is given by where is the asymptotic error constant and
Definition 2.2. Suppose that , and are three successive iterations closer to the root of (1.1). Then, the computational order of convergence [6] may be approximated by where .
Definition 2.3. Let be the number of function evaluations of the new method. The efficiency of the new method is measured by the concept of efficiency index [7, 8] and defined as where is the order of the method.
2.1. The Eighth-Order Derivative-Free Method (RT)
We consider the iteration scheme of the form
This scheme consists of three steps in which the Newton method is repeated. It is clear that formula (2.4) requires six evaluations per iteration and has an efficiency index of , which is the same as the classical Newton method. In fact, scheme (2.4) does not increase the computational efficiency. The purpose of this paper is to establish new derivative-free methods with optimal order; hence, we reduce the number of evaluations to four by using some suitable approximation of the derivatives. To derive higher efficiency index, we consider approximating the derivatives by divided difference method. Therefore, the derivatives in (2.4) are replaced by Substituting (2.5) into (2.4), we get
The first step of formula (2.6) is the classical Steffensen second-order method [9], and the second step is the new fourth-order method. Furthermore, we have found that the third step does not produce an optimal order of convergence. Therefore, we have introduced two weight functions in the third step in order to achieve the desired eighth-order derivative-free method. The two weight functions are expressed as Then the iteration scheme (2.4) in its final form is given as where , , provided that the denominators in (2.8) are not equal to zero.
Thus the scheme (2.8) defines a new family of multipoint methods with two weight functions. To obtain the solution of (1.1) by the new derivative-free methods, we must set a particular initial approximation, ideally close to the simple root. In numerical mathematics it is very useful and essential to know the behaviour of an approximate method. Therefore, we will prove the order of convergence of the new eighth-order method.
Theorem 2.4. Assume that the function for an open interval D has a simple root . Letting be sufficiently smooth in the interval D and the initial approximation is sufficiently close to , then the order of convergence of the new derivative-free method defined by (2.8) is eight.
Proof. Let be a simple root of , that is, and , and the error is expressed as
Using the Taylor expansion, we have
Taking and simplifying, expression (2.10) becomes
where and
Expanding the Taylor series of and substituting given by (2.11), we have
Substituting (2.11) and (2.13) in expression (2.8) gives us
The expansion of about is given as
Simplifying (2.15), we have
The expansion of the particular term used in (2.8) is given as
Substituting appropriate expressions in (2.8), we obtain
The Taylor series expansion of about is given as
Simplifying (2.18), we have
In order to evaluate the essential terms of (2.8), we expand term by term
Collecting the above terms,
Substituting appropriate expressions in (2.8), we obtain
Simplifying (2.23), we obtain the error equation
Expression (2.24) establishes the asymptotic error constant for the eighth order of convergence for the new eighth-order derivative-free method defined by (2.8).
2.2. Method 2: Liu 1
The second of three-step eighth-order derivative-free method is constructed by combining the two-step fourth-order method presented by Liu et al. [2], and the third step is developed to achieve the eighth order. As before, we have introduced two weight functions in the third step in order to achieve the desired eighth-order method. In this particular case the two weight functions are expressed as Then the iteration scheme based on Liu et al. method is given as where are given in (2.8) and is the initial approximation provided that the denominators of (2.26)-(2.27) are not equal to zero.
Theorem 2.5. Assume that the function f is sufficiently differentiable and f has a simple root . If the initial approximation is sufficiently close to , then the method defined by (2.27) converges to with eighth order.
Proof. Using appropriate expressions in the proof of Theorem 2.4 and substituting them into (2.27), we obtain the asymptotic error constant
Expression (2.28) establishes the asymptotic error constant for the eighth order of convergence for the new eighth-order derivative-free method defined by (2.27).
2.3. Method 3: Liu 2
The third of three-step eighth-order derivative-free method is constructed by combining the two-step fourth-order method presented by Liu et al. [2], and the third step is developed to achieve the eighth-order. As before, we have introduced two weight functions in the third step in order to achieve the desired eighth-order method. In this particular case the two weight functions are expressed as Then the iteration scheme based on Liu et al. method is given as where are given in (2.8) and is the initial approximation provided that the denominators of (2.31)-(2.32) are not equal to zero.
Theorem 2.6. Assume that the function f is sufficiently differentiable and f has a simple root . If the initial approximation is sufficiently close to , then the method defined by (2.32) converges to with eighth order.
Proof. Using appropriate expressions in the proof of Theorem 2.4 and substituting them into (2.32), we obtain the asymptotic error constant
Expression (2.33) establishes the asymptotic error constant for the eighth order of convergence for the new eighth-order derivative-free method defined by (2.32).
2.4. Method 4: SKK
The fourth of three-step eighth-order derivative-free method is constructed by combining the two-point fourth-order method presented by Khattri and Agarwal [10], and the third point is developed to achieve the eighth order. Here also, we have introduced two weight functions in the third step in order to achieve the desired eighth-order method. In this particular case the two weight functions are expressed as Then the iteration scheme based on the Khattri and Agarwal method is given as where are given in (2.8) and is the initial approximation provided that the denominators of (2.35)–(2.37) are not equal to zero.
Theorem 2.7. Assume that the function f is sufficiently differentiable and f has a simple root . If the initial approximation is sufficiently close to , then the method defined by (2.38) converges to with eighth order.
Proof. Using appropriate expressions in the proof of Theorem 2.4 and substituting them into (2.38), we obtain the asymptotic error constant
Expression (2.38) establishes the asymptotic error constant for the eighth order of convergence for the new eighth-order derivative-free method defined by (2.38).
3. The Kung-Traub Eighth-Order Derivative-Free Method
The classical Kung-Traub eighth-order derivative-free method considered is given in [3]. Since this method is well established, we will state the essential expressions used in order to calculate the approximate solution of the given nonlinear equations and thus compare the effectiveness of the new eighth-order derivative-free methods. The Kung-Traub method is given as where are given in (2.8) and is the initial approximation provided that the denominators of (3.1) are not equal to zero.
4. Application of the New Derivative-Free Iterative Methods
To demonstrate the performance of the new eighth-order methods, we take ten particular nonlinear equations. We will determine the consistency and stability of results by examining the convergence of the new derivative-free iterative methods. The findings are generalised by illustrating the effectiveness of the eighth-order methods for determining the simple root of a nonlinear equation. Consequently, we will give estimates of the approximate solution produced by the eighth-order methods and list the errors obtained by each of the methods. The numerical computations listed in the tables were performed on an algebraic system called Maple. In fact, the errors displayed are of absolute value, and insignificant approximations by the various methods have been omitted in Tables 1, 2, and 3.
Remark 4.1. The family of three-step methods requires four function evaluations and has the order of convergence eight. Therefore, this family is of optimal order and supports the Kung-Traub conjecture [3]. To determine the efficiency index of these new derivative-free methods, we will use Definition 2.3. Hence, the efficiency index of the eighth-order derivative-free methods given is .
Remark 4.2. The test functions and their exact root are displayed in Table 1. The differences between the root and the approximation for test functions with initial approximation are displayed in Table 2. In fact, is calculated by using the same total number of function evaluations (TNFEs) for all methods. Here, the TNFE for all the methods is 12. Furthermore, the computational order of convergence (COC) is displayed in Table 3.
5. Remarks and Conclusion
We have demonstrated the performance of a new family of eighth-order derivative-free methods. Convergence analysis proves that the new methods preserve their order of convergence. There are two major advantages of the eighth-order derivative-free methods. Firstly, we do not have to evaluate the derivative of the functions; therefore they are especially efficient where the computational cost of the derivative is expensive, and secondly we have established a higher order of convergence method than the existing derivative-free methods [4, 5]. We have examined the effectiveness of the new derivative-free methods by showing the accuracy of the simple root of a nonlinear equation. The main purpose of demonstrating the new eighth-order derivative-free methods for many different types of nonlinear equations was purely to illustrate the accuracy of the approximate solution, the stability of the convergence, and the consistency of the results and to determine the efficiency of the new iterative method. In addition, it should be noted that like all other iterative methods, the new methods have their own domain of validity and in certain circumstances should not be used.