Volume 2012, Issue 1 927450
Research Article
Open Access

Some New Variants of Cauchy′s Methods for Solving Nonlinear Equations

Tianbao Liu

Corresponding Author

Tianbao Liu

Fundamental Department, Aviation University of Air Force, Changchun 130022, China chinamil.com.cn

Search for more papers by this author
Hengyan Li

Hengyan Li

College of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou 450011, China chinatefl.com

Search for more papers by this author
First published: 24 October 2012
Citations: 4
Academic Editor: Changbum Chun

Abstract

We present and analyze some variants of Cauchy′s methods free from second derivative for obtaining simple roots of nonlinear equations. The convergence analysis of the methods is discussed. It is established that the methods have convergence order three. Per iteration the new methods require two function and one first derivative evaluations. Numerical examples show that the new methods are comparable with the well-known existing methods and give better numerical results in many aspects.

1. Introduction

In this paper, we consider iterative methods to find a simple root α; that is, f(α) = 0 and f(α) ≠ 0, of a nonlinear equation
(1.1)
where f : IRR for an open interval I is a scalar function.
Finding the simple roots of the nonlinear equation (1.1) is one of the most important problems in numerical analysis of science and engineering, and iterative methods are usually used to approximate a solution of these equations. We know that Newton’s method is an important and basic approach for solving nonlinear equations [1, 2], and its formulation is given by
(1.2)
this method converges quadratically.
The classical Cauchy’s methods [2] are expressed as
(1.3)
where
(1.4)
This family of methods given by (1.3) is a well-known third-order method. However, the methods depend on the second derivatives in computing process, and therefore their practical applications are restricted rigorously. In the recent years, several methods with free second derivatives have been developed; see [39] and references therein.

In this paper, we will improve the family defined by (1.3) and obtain a three-parameter family of second-derivative-free variants of Cauchy’s methods. The rest of the paper is organized as follows. In Section 2, we describe new variants of Cauchy’s methods and analyze the order of convergence. In Section 3, we obtain some different iterative methods by taking several parameters. In Section 4, different numerical tests confirm the theoretical results, and the new methods are comparable with other known methods and give better results in many cases. Finally, we infer some conclusions.

2. Development of Methods and Convergence Analysis

Consider approximating the equation f(x) = 0 around the point (xn, f(xn)) by the quadratic equation in x and y in the following form:
(2.1)
We impose the tangency conditions
(2.2)
where xn is nth iterate and
(2.3)
By using the tangency conditions from (2.2), we obtain the value of g is determined in terms of a, b, c in the following:
(2.4)
From (2.1), we have
(2.5)
Substituting (2.4) into (2.5) yields
(2.6)
Using (2.6) we can approximate
(2.7)
We define
(2.8)
Using Ka,b,c(xn, wn) instead of Lf(xn), we obtain a new three-parameter family of methods free from second derivative
(2.9)
where a, b, cR. Similar to the classical Cauchy’s method, a square root is required in (2.9). However, this may cost expensively, even fail in the case 1 − 2Ka,b,c(xn, wn) < 0. In order to avoid the calculation of the square roots, we will derive some forms free from square roots by the Taylor approximation [10].
It is easy to know that the Taylor approximation of is
(2.10)
Using (2.10) in (2.9), we can obtain the following form:
(2.11)
where a, b, c, βR, m ≥ 0.
On the other hand, it is clear that
(2.12)
Then, Using (2.12) in (2.9), we also can construct a new family of iterative methods as follows:
(2.13)
where a, b, cR, m ≥ 0.

We have the convergence analysis of the methods by (2.13).

Theorem 2.1. Let αI be a simple zero of sufficiently differentiable function f : IRR for an open interval I. If x0 is sufficiently close to α, for m ≥ 1, the methods defined by (2.13) are at least cubically convergent; as particular cases, if m = 1,   a = c = 0 or m ≥ 2,   b = c = 0 the methods have convergence order four.

Proof. Let en = xnα; we use the following Taylor expansions:

(2.14)
where ck = (1/k!)(f(k)(α)/f(α)). Furthermore, we have
(2.15)
Dividing (2.14) by (2.15),
(2.16)
From (2.16), we get
(2.17)
Expanding f(wn), f(wn) in Taylor’s series about α and using (2.17), we get
(2.18)
(2.19)
From (2.14) and (2.18), we have
(2.20)
Because of (2.15), we obtain
(2.21)
From (2.20) and (2.21), we have
(2.22)
Because of (2.15) and (2.20), we get
(2.23)
From (2.20), (2.22), and (2.23), we also easily obtain
(2.24)
Because of (2.14) and (2.18), we get
(2.25)
(2.26)
Furthermore, we have
(2.27)
Because of (2.21) and (2.27), we have
(2.28)
From (2.14) and (2.15), we also easily have
(2.29)
By a simple manipulation with (2.26) and (2.29), we obtain
(2.30)
Substituting (2.25), (2.29), and (2.30) in the denominator of Ka,b,c(xn), we obtain
(2.31)
Dividing (2.24) by (2.31) gives us
(2.32)
where
(2.33)
Since
(2.34)
If we consider m = 1, from (2.12) we obtain
(2.35)
Because of (2.13), we have
(2.36)
From en+1 = xn+1α, we have
(2.37)
This means that if m = 1, the methods defined by (2.13) are at least of order three for any a, b, cR. Furthermore, we consider that if
(2.38)
then the methods defined by (2.9) are shown to converge of the order four. From (2.37) and (2.38), it is obvious that the methods defined by (2.13) are of order four by taking a = c = 0.

If considering m ≥ 2, we from (2.32) have

(2.39)
From (2.13), we can obtain
(2.40)
From (2.40) and en+1 = xn+1α, we have
(2.41)

This means that the methods defined by (2.13) are at least of order three for any a, b, cR. Furthermore, we consider that if

(2.42)
then the methods defined by (2.13) are shown to converge of the order four. From (2.41) and (2.42), it is obvious that the methods defined by (2.13) are of order four by taking b = c = 0.

Similar to the proof of Theorem 2.1, we can prove that for m ≥ 1, the methods defined by (2.9) and (2.11) are at least cubically convergent; as particular cases, if m = 1, a = c = 0, or m ≥ 2, b = c = 0, the methods have convergence order four.

3. Some Special Cases

(10) If a = b = c = 1, from (2.8) we obtain
(3.1)
For m = 1, we obtain from (2.13) a third-order method (LM1)
(3.2)
For m = 2, we obtain from (2.13) a third-order method (LM2)
(3.3)
(20) If a = 0, c = 0, from (2.8) we obtain
(3.4)
For m = 1, we obtain from (2.13) a fourth-order method [11]
(3.5)
For m = 2, we obtain from (2.13) a third-order method (LM3)
(3.6)
(30) If b = 0, c = 0, from (2.8) we obtain
(3.7)
For m = 1, we obtain from (2.13) a third-order method (LM4)
(3.8)
For m = 2, we also obtain the fourth-order method
(3.9)
which was obtained in [10].
For m = 3, we obtain a fourth-order method as follows [11]:
(3.10)
For m = 4, we obtain the new fourth-order method
(3.11)
(40) If a = 0, c = 0, for m = 1, we obtain a fourth-order method from (2.11) and (3.4)
(3.12)
For m = 2, we obtain from (2.11) a third-order method
(3.13)
(50) If b = 0, c = 0, from (2.11) we obtain some iterative methods as follows:
For m = 1, we obtain a third-order method (LM5)
(3.14)
where Ka,0,0(xn, wn) is defined by (3.7).
For m = 2, we obtain a fourth-order method (LM6)
(3.15)
For m = 3, we obtain the fourth-order method as follows [10]:
(3.16)

4. Numerical Examples

In this section, firstly, we present some numerical test results about the number of iterations (n) for some cubically convergent iterative methods in Table 1. The following methods were compared: Newton’s method (NM), the method of Weerakoon and Fernando [12] (WF), Halley’s method (HM), Chebyshev’s method (CHM), Super-Halley’s method (SHM), and our new methods (3.2) (LM1), (3.3) (LM2), (3.6) (LM3), (3.8) (LM4), and (3.14) (LM5).

Table 1. Comparison of various third-order methods and newton′s method.
f(xn) x0 n
NM WF HM CHM SHM LM1 LM2 LM3 LM4 LM5
  f1 −0.5 131 6 45 5 40 9 9 7 8 10
2 5 4 3 4 3 3 4 4 4 4
  
f2 0 4 3 3 3 3 2 3 3 3 3
0.5 4 3 3 3 3 2 3 3 3 3
  
f3 −3 6 4 4 4 4 3 5 4 4 4
−5 7 5 4 5 4 4 4 5 5 5
  
f4 1 7 4 5 5 4 4 4 4 5 4
2 6 4 6 7 5 4 4 4 4 4
  
f5 2.5 6 4 4 4 3 4 4 4 4 4
3.5 7 5 4 5 4 4 4 4 5 5
  
f6 −0.3 5 3 4 4 3 4 4 6 4
2.7 6 4 4 5 4 3 4 4 3 4
  
f7 1 6 4 4 5 3 3 4 4 16 4
3 6 3 4 4 4 3 4 4 4 4
  
f8 3.25 8 6 5 6 5 4 4 6 5
3.45 11 8 6 7 6 5 5 8 7

Secondly, we employ our new fourth-order methods defined by (3.15) (LM6) and the super cubic convergence method by (3.2) (LM1), to solve some nonlinear equations and compare them with Newton’s method (NM), Newton-secant method [13] (NSM), and Ostrowski’s method [14] (OM). Displayed in Table 2 are the number of iterations (n) and the number of function evaluations (NFEs) counted as the sum of the number of evaluations of the function itself plus the number of evaluations of the derivative.

Table 2. Comparison of the methods and Newton′s method.
f(xn) x0 n NEF
NM NSM OM LM6 LM1 NM NSM OM LM6 LM1
f1 −0.5 131 10 14 27 9 262 30 42 81 27
2 5 4 3 3 3 10 12 9 9 9
  
f2 0 4 3 2 2 2 8 9 6 6 6
0.5 4 3 2 2 2 8 9 6 6 6
  
f3 −3 6 4 3 3 3 12 12 9 9 9
−5 7 5 4 4 4 14 15 12 12 12
  
f4 1 7 4 4 4 4 14 12 12 12 12
2 6 4 4 4 4 12 12 12 12 12
  
f5 2.5 6 4 3 3 4 12 12 9 9 12
3.5 7 5 4 4 4 14 15 12 12 12
  
f6 −0.3 5 4 3 4 3 10 12 9 12 9
2.7 6 4 3 3 3 12 12 9 9 9
  
f7 1 6 4 3 4 3 12 12 9 12 9
3 6 4 3 3 3 12 12 9 9 9
  
f8 3.25 8 5 5 4 5 16 15 15 12 15
3.45 11 7 6 6 6 22 21 18 18 18

All computations were done using Matlab7.1. We accept an approximate solution rather than the exact root, depending on the precision ϵ of the computer. We use the following stopping criteria for computer programs: |f(xn+1)| < ϵ, we used the fixed stopping criterion ϵ = 10−15. In table, “−” is divergence.

We used the following test functions and display the computed approximate zero x* [15]:
(4.1)

5. Conclusions

In this paper, we presented some variants of Cauchy’s methods free from second derivative for solving nonlinear equations. Per iteration the methods require two-function and one first-derivative evaluations. These methods are at least three-order convergence, if m = 1, a = c = 0, or m ≥ 2, b = c = 0, the methods have convergence order four, respectively, and if m = 1, a = b = c = 1, the method has super cubic convergence. We observed from numerical examples that the proposed methods are efficient and demonstrate equal or better performance as compared with other well-known methods.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.