1. Introduction
There are several issues from chemistry, physics, applied mathematics, scientific computing, economics and engineering that can be transformed to
It is almost inaccessible to find the solution by an analytical approach. Therefore, we worry about the iterative schemes to find the multiple solution
with known multiplicity
of the uni-variate function in Equation (
1).
Construction of the iterative schemes [
1,
2,
3] (that do not essentially require the value of second-order derivative of
) having optimal convergence order [
4] is the foremost and most difficult issue in the region of numerical analysis. It is also interesting with practical perspective because sometimes it is very difficult to compute the second-order derivative.
Some high-order variants and modifications of Newton’s method that can solve multiple roots are suggested and investigated [
5,
6,
7,
8,
9,
10,
11]. Out of them, only two iterative methods by Li et al. [
6,
7], Sharma and Sharma [
8], and Zhou et al. [
9] have optimal fourth-order convergence. We have very limited fourth- or high-order schemes until now that are capable of solving multiple roots.
Khattri and Abbasbandy [
12] developed the following scheme for obtaining optimal families of fourth-order methods for simple zeros of uni-variate functions
where
.
Zhou et al. [
9] presented an optimal scheme of fourth-order that needs one value of
and two of derivative
at each step and is defined as:
where
m denotes the multiplicity of the zero.
No doubt, the above-mentioned scheme given by Zhou et al. [
9] is a more general form of the fourth-order iterative schemes. This scheme increases the order of convergence of methods from linear to quartic and gives an optimal family of fourth-order methods. However, the proposed family of methods is dependent upon the weight function. Thus, whenever someone wants to develop a new method from this family, he/she has to construct a new weight function that employs the hypotheses mentioned in [
9]. It is not easily accessible to obtain such a weight function. Therefore, this is the main drawback of this scheme.
We are keen to construct a new general class of Schröder’s method where there is no need for the weight function(s) to develop new methods having optimal fourth-order convergence. For this, we extend the idea of Khattri and Abbasbandy [
12] for the multiple zeros. The principle benefit of the scheme is that we have two free disposable parameters. Therefore, one can obtain several new and some existing optimal families by adjusting one of the parameters, unlike the weight function(s) in [
9]. Our iterative techniques are equally competent to the existing schemes.
2. Development of the Fourth-Order Methods
Here, we suggest a new optimal class of Schröder’s method. For this, we consider a Schröder’s method [
13] that is defined as follows:
The principle advantages of this method are that it does not depend upon the multiplicity of the required zero along and it has second-order convergence. The simplest way to obtain this method is to adopt the classical Newton’s method to the function that has a simple zero corresponding to the multiple root of function .
We assume the following Newton-like method for multiple roots
To abolish second-order derivative from the scheme in Equation (
4), expand the function
about the point
by Taylor’s series expansion, which leads us to
further yielding
Using Equation (
7) in the Schröder’s method in Equation (
4), we obtain
The method in Equation (
8) has the following error equation
Due to Kung–Traub conjecture [
4], Equation (
8) is a non optimal scheme because of linear convergence order. Additionally, it uses three functional evaluations at each step. To increase the convergence order of Equation (
8), we consider the following iterative scheme
where
are free variables. These variables are responsible for obtaining optimal fourth-order convergence. Theorem 1 illustrates the restrictions on the parameters, so the above scheme in Equation (
9) reaches at optimal convergence order.
Theorem 1. Let → be a holomorphic function in the region that encloses the desired multiple zero of , (say ) with known multiplicity . Then, the family in Equation (9) has fourth-order of convergence, whenwhere and are free variables. Proof. We assume that
is a multiple zero of multiplicity
m of
. Now, expand
and
about a point
with the help of the Taylor’s series expansion. Then, we yield
and
respectively, where
,
are the asymptotic error constants.
By adopting Equations (
11) and (
12), we obtain
Using Equations (
14) and (
15) in the scheme in Equation (
9), we have
where
For attaining fourth-order convergence of the scheme in Equation (
9), the coefficients of
,
, and
should be zero simultaneously. From Equation (
16), we obtain the following values of
involving two free disposable parameters
and
where
.
By inserting Equation (
17) into Equation (
16), we yield
where
.
This confirms that the new scheme in Equation (
14) attains the optimal convergence order by just consuming three functional evaluations at each step. Hence, it completes the proof. □
3. Particular Forms
Since we have two free disposable parameters, namely
and
, we can simply develop several new and some existing classical iterative functions by adjusting one of the free parameters in the scheme in Equation (
9).
Special cases:
Case 1. For
, general class (
9) gives
Equation (
18) is a new fourth-order optimal family for multiple roots.
Special cases of the scheme in Equation (18): - (i)
For
, Equation (
18) leads us to
which is another new fourth-order optimal technique.
- (ii)
For
, the family in Equation (
18) provides the following new fourth-order optimal scheme
- (iii)
For
, the scheme in Equation (
18) further yields
This is a well-known fourth-order optimal technique developed by Zhou et al. [
9].
Case 2. For
, the general class in Equation (
9) leads us to another new optimal fourth-order scheme:
Sub special case of the family in Equation (24): (i) For
, the family in Equation (
22) gives a well-known fourth-order method developed by Li et al. [
7], which is defined as follows:
It is obvious to observe that each step of the schemes in Equations (
18)–(
20) and (
22) consumr only three functional evaluations each iteration, viz. one value of
and two of
. For checking the efficiency of the new technique in Equation (
9), we adopt the efficiency index
(for more details, please see [
14]). Thus, we have
and
that provide us
, which is far better than third-order and modified Newton’s technique
and
, respectively.
4. Numerical Results
We verified the potency of the new optimal techniques. We computee them with the iterative expressions (35) and (37) described by Sharifi et al. in [
15], called by
and
, respectively. In addition, we considered method (11) from Zhou et al. [
9] (defined by
) for comparison with our methods. Further, we compared them with expressions (69) and (75) mentioned by Li et al. [
6], called by
and
, respectively. Finally, we computed them with expression (1) depicted by Sharma and Sharma [
8], known as
.
In
Table 1,
Table 2,
Table 3,
Table 4,
Table 5 and
Table 6, we display the values of iterates
, the absolute residual errors
and the absolute errors
. We adopted the the following formula [
16], for the computational order of convergence (COC)
In the above COC, we need the exact zero
. However, there are several practical situations where the exact solution is not accessible. Therefore, Ezquerro and Hernández, [
17] suggested the following technique
where
and there is no need of an exact zero.
During the current numerical experiments with programming language Mathematica (Version-9), all computations were done with 300 digits of mantissa, which minimizes round-off errors. The configuration of the used computer is given below:
Processor: Intel(R) Core(TM) i7-4790 CPU @ 3.60GHz
Made: HP
RAM: 8:00GB
System type: 64-bit-Operating System, x64-based processor.
In addition, the initial guesses of each are mentioned in the corresponding table. Further, express as .
Example 1. Study of multi-factor effect
The mathematical expression of the trajectory of an electron that moves between two parallel sheets along with air gap is defined as follows:where m and e stand for the mass and charge of an electron at the rest position, respectively. In addition, and are known as the velocity and position of an electron at the initial timing , respectively. Finally, denotes a RF electric field among two sheets. With the particular values of these parameters, Equation (18) leads us to The above function has a solution of multiplicity 3 and numerical results of Equation (25) are depicted in Table 1. Example 2. Eigen value problem:
We considered a matrix of order , defined as follows: We have the following characteristic equation of the above matrix: Equation (
26)
has a zero at of multiplicity . The computational results on Equation (26) are mentioned in Table 2. Example 3. Chemical engineering problem:
We next assumed a fourth-order polynomial expression from [18,19]. That expression outlines the fraction conversion problem of nitrogen and hydrogen when they are transformed into ammonia (such fractions are known as fractional conversion). Adopting 250 atm and 500 °C leads to Equation (27) has two real and two complex zeros. However, we chose complex zero to illustrate the application on complex roots.
Example 4. (Continuous stirred tank reactor(CSTR)):
We assumed a problem of continuous stirred tank reactor (CSTR). We observed a reaction scheme that develops in the chemical reactor (see [20] for more information), which is defined as follows:where the components T and are fed at the amount of q-Q and Q, respectively, to the chemical reactor. The above model was studied in detail by Douglas [21] to find a good and simple system that can control feedback problem. Finally, he transferred the above model to the following mathematical expression:where denotes for the gaining proportional controller. The control system in Equation (29) is balanced with the values of . If we assume , we obtain the poles of the open-loop transferred function as the solutions of following uni-variate expression:given as: 2.85, , and . It is straightforward to say that we have one root , having known multiplicity 2. The computational results for Example 4 are displayed in Table 4. Example 5. We considered an academic problem, which is given as follows: Equation (
31)
has a zero of multiplicity 20.
Example 6. We picked another academic problem from Zeng [22]: In the above function, we have four multiple zeros and 4 and multiplicity of the corresponding zero is and 5, respectively. All multiple zero are quite close to each other. We chose multiple zero of multiplicity 20 for the computational point of view and the results are depicted in Table 6. Remark 1. The main benefit of this paper is that we suggest a new family of fourth-order Schröder method having optimal convergence.
Remark 2. Finding a weight function with some pre-defined conditions is not an easy task. With the help of free disposable parameters, we can construct several new iterative schemes. Additionally, we also present some existing methods, i.e., those of Zhou et al. [9] and Li et al. [7], as special cases of our scheme (see Equations (22) and (23), respectively). Remark 3. It is important to note that Equation (4), consumes only three new functional values , at each iteration. Thus, Theorem 1 shows that new scheme in Equation (4) has optimal fourth-order convergence, as predicted by the Kung–Traub conjecture [4]. Remark 4. Our methods also work for simple and complex roots of nonlinear equations.
5. Concluding Remarks
We construct a new optimal family of Schröder’s method for computing the multiple zeros of uni-variate nonlinear functions. The presented scheme in Equation (
9) adopted only one value of
and two of derivative
at each step. Our methods do not use the values of second or high-order derivatives. The principle benefit of our family is that there is no need of weight functions to further construct new optimal fourth-order methods. We also show that we can easily obtain several new and some existing classical techniques by adjusting one of the parameters from
and/or
. We conclude from numerical experimentation that our methods have at least equal performance as compared to
and also demonstrate better behavior than
and
in Examples 1, 2, and 4–6. In Example 3, our method in Equation (20) illustrates the better performance as compared to all other considered methods and the results can be seen in
Table 3.