Next Article in Journal
A Class of Smoothing Modulus-Based Iterative Methods for Solving the Stochastic Mixed Complementarity Problems
Previous Article in Journal
Quantum Geometry of Spacetime and Quantum Equilibrium
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Family of Higher Order Scheme for Multiple Roots

1
Department of Mathematics, Guru Nanak Dev University, Amritsar 143005, Punjab, India
2
Institute of Doctoral Studies, Babeş-Bolyai University, 400084 Cluj-Napoca, Romania
3
Department of Physics and Chemistry, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania
*
Authors to whom correspondence should be addressed.
Symmetry 2023, 15(1), 228; https://doi.org/10.3390/sym15010228
Submission received: 9 December 2022 / Revised: 10 January 2023 / Accepted: 11 January 2023 / Published: 13 January 2023

Abstract

:
We have developed a two-point iterative scheme for multiple roots that achieves fifth order convergence by using two function evaluations and two derivative evaluations each iteration. Weight function approach is utilized to frame the scheme. The weight function named as R ( υ t ) is used, which is a function of υ t , and υ t is a function of ω t , i.e., υ t = ω t 1 + a ω t , where a is a real number and ω t = g ( y t ) g ( x t ) 1 m ˜ is a multi-valued function. The consistency of the newly generated methods is ensured numerically and through the basins of attraction. Four complex functions are considered to compare the new methods with existing schemes via basins of attraction, and all provided basins of attraction possess reflection symmetry. Further, five numerical examples are used to verify the theoretical results and to contrast the presented schemes with some recognized schemes of fifth order. The results obtained have proved that the new schemes are better than the existing schemes of the same nature.

1. Introduction

The approximate solution of a function g , where g : C C , is a complex valued function possessing the nth order derivatives and roots with multiplicity m ˜ > 1 , can be evaluated through iterative methods. These types of methods have attracted interest for some recent research [1,2], including symmetry-related works [3,4,5,6]. There are two types of iterative methods which can serve the purpose: one-point iterative methods and multi-point iterative methods. One-point iterative methods of order ρ use high order derivatives, namely g ( 1 ) ( x ) , g ( 2 ) ( x ) , , g ( ρ 1 ) ( x ) of function g . For example, the methods presented by Chun et al. [7], Hansen et al. [8], Neta [9], Osada [10] and Sharma et al. [11] are some one-point iterative methods. However, it is very difficult to find out the higher order derivatives when the function g is complex. To reduce this ambiguity, multi-point iterative methods are used as they are free to use any number of evaluations of derivatives. In most of the multi-point iterative methods, the most reputable modified Newton–Raphson’s Method [12] for multiple roots of a non linear function is used as the first step, sometimes as it is and sometimes by making some modifications to it. The scheme for modified Newton–Raphson’s Method is
x t + 1 = x t m ˜ g ( x t ) g ( x t ) , t = 0 , 1 , 2 ,
This method has quadratic order of convergence for m ˜ 1 . The multipoint iterative methods by Zhou et al. [13], Geum et al. [14,15] and Behl et al. [16] have used a modified Newton’s method as the first phase of their suggested schemes. Further, the methods by Li et al. [17], Zhou et al. [18], Behl et al. [19], Kansal et al. [20] and Rani et al. [21] are some examples of multi-point iterative methods whose first step is based upon a modified Newton–Raphson’s method.
From the literature, one can observe that the primary goal behind the construction of the multi-point iterative method is to bring the order of convergence as high as possible without using the higher order derivatives. Different types of approaches [22,23,24,25,26,27,28,29] (for example, quadrature formula, adomian polynomial, divided difference approach, the weight function approach) have been applied by researchers to develop the multi-point iterative methods. Below, we provide some of the multi-point methods which are based on a weight function approach. In 2015, Artidiello et al. [30] developed a two-point scheme using weight function as follows:
y t = x t β g ( x t ) g ( x t ) , x t + 1 = y t H ( μ t ) g ( y t ) g ( x t ) ,
where H : R R is weight function, μ t = a 1 g ( x t ) + a 2 g ( y t ) b 1 g ( x t ) + b 2 g ( y t ) , and β , a 1 , a 2 , b 1 and b 2 are real parameters.
Very recently, in August 2022, Cordero et al. [31] developed a new iterative scheme with the help of weight function, which is given below:
y t = x t β g ( x t ) g ( x t ) , x t + 1 = y t H ( u t ) g ( x t ) g ( y t ) ,
where H : R R is weight function, u t = g ( y t ) g ( x t ) and β is a free parameter.
Further, Chanu et al. [32] created a new scheme using the weight function and divided difference in September 2022, as follows:
y t = x t g ( x t ) g ( x t ) , x t + 1 = y t H ( v t ) g ( y t ) ( 1 + A 2 ) g [ y t , x t ] ,
where A = g ( y t ) ( g ( x t ) g [ y t , x t ] ) g ( x t ) g [ y t , x t ] ,   H : R R is weight function, and v t = g ( y t ) g ( x t ) .
Motivated by this weight function approach, we are fully concentrated on developing a multi-point iterative method for multiple roots of order five which uses two function evaluations and two derivative evaluations per iteration. The first step of our new scheme is also a modified Newton–Raphson’s Method, and the second step involves a weight function. Mathematica [33] is used in the whole work for symbolic and numerical computation.
The outline of the rest of the paper is as follows: Section 2 of the paper includes the development of the new family and also an investigation of its convergence. Section 3 discusses a few distinctive members of the newly formed family. The basins of attraction are contained in Section 4 of the paper. The theoretical findings are validated in Section 5 by a number of numerical instances. Finally, Section 6 includes the closing remarks.

2. Construction of the Fifth-Order Family

Here, we derive a fifth-order mechanism for multiple zeros ( m ˜ 2 ) in the following, by considering the scheme:
y t = x t m ˜ g ( x t ) g ( x t ) , x t + 1 = y t m ˜ R ( υ t ) g ( y t ) g ( y t ) ,
where m ˜ 2 is the multiplicity of the required zero and R ( υ t ) is a single variable weight function. Moreover, υ t = ω t 1 + a ω t , where a R and ω t = g ( y t ) g ( x t ) 1 m ˜ are multi-valued functions.
Theorem 1.
Let α D be a multiple root with multiplicity m ˜ 2 of a holomorphic function g : D C C for an open interval D . If x 0 is sufficiently close to α then the new Scheme (5) has fifth-order of convergence, provided
R ( 0 ) = 1 , R ( 0 ) = 0 , R ( 0 ) = 2 , | R ( 0 ) | < ,
and fulfils the aforementioned error equation,
e t + 1 = ( 18 + 12 a + 6 m ˜ R ( 0 ) ) D 1 4 12 m ˜ D 1 2 D 2 6 m ˜ 4 e t 5 + O ( e t 6 ) .
Proof of Theorem 1.
If x t and e t denote the approximate solution and the corresponding error in t–th iteration, then e t = x t α .
For the function g ( x t ) , apply Taylor’s series expansion about x = α ,
g ( x t ) = g ( α ) + g ( 1 ) ( α ) e t + g ( 2 ) ( α ) 2 ! e t 2 + . . . + g ( m ˜ 1 ) ( α ) m ˜ 1 ! e t m ˜ 1 + g ( m ˜ ) ( α ) m ˜ ! e t m ˜ +
since the root α has multiplicity m ˜ . Therefore, g ( α ) = g ( 1 ) ( α ) = g ( 2 ) ( α ) = g ( m ˜ 1 ) ( α ) = 0 and g ( m ˜ ) ( α ) 0 . Thus, Equation (8) becomes
g ( x t ) = g ( m ˜ ) ( α ) m ˜ ! e t m ˜ 1 + D 1 e t + D 2 e t 2 + D 3 e t 3 + D 4 e t 4 + D 5 e t 5 + O ( e t 6 ) .
Here, the asymptotic error constants D i = m ˜ ! ( m ˜ + i ) ! g ( m ˜ + i ) ( α ) g ( m ˜ ) ( α ) , i = 1 , 2 , 3 ,
g ( x t ) = g ( m ˜ ) ( α ) ( m ˜ 1 ) ! e t m ˜ 1 [ 1 + 1 + m ˜ m ˜ D 1 e t + 2 + m ˜ m ˜ D 2 e t 2 + 3 + m ˜ m ˜ D 3 e t 3 4 + m ˜ m ˜ D 4 e t 4 + 5 + m ˜ m ˜ D 5 e t 5 + O ( e t 6 ) ] .
Dividing (9) by (10), we obtain
g ( x t ) g ( x t ) = e t m ˜ D 1 m ˜ 2 e t 2 + [ ( 1 + m ˜ ) D 1 2 2 m ˜ D 2 ] m ˜ 3 e t 3 + L m ˜ 4 e t 4 + L m ˜ 5 e t 5 + O ( e t 6 ) ,
where L = [ ( 1 + m ˜ ) 2 D 1 3 + m ˜ ( 4 + 3 m ˜ ) D 1 D 2 3 m ˜ 2 D 3 ] ,   L = ( ( 1 + m ˜ ) 3 D 1 4 2 m ˜ ( 3 + 5 m ˜ + 2 m ˜ 2 ) D 1 2 D 2 + 2 m ˜ 2 ( 3 + 2 m ˜ ) D 1 D 3   + 2 m ˜ 2 [ ( 2 + m ˜ ) D 2 2 2 m ˜ D 4 ] ) .
Put (11) in the first step of (5),
e y t = D 1 m ˜ e t 2 + 2 m ˜ D 2 ( 1 + m ˜ ) D 1 2 m ˜ 2 e t 3 + L m ˜ 3 e t 4 + O ( e t 5 ) .
Now, we have
g ( y t ) = g ( m ˜ ) ( x 0 ) m ˜ ! e y k m ˜ 1 + D 1 e y k + D 2 e y k 2 + D 3 e y k 3 + D 4 e y k 4 + D 5 e y k 5 + O ( e y k 6 ) ,
and
g ( y t ) = g ( m ˜ ) ( α ) ( m ˜ 1 ) ! e y k m ˜ 1 [ 1 + 1 + m ˜ m ˜ D 1 e y k + 2 + m ˜ m ˜ D 2 e y k 2 + 3 + m ˜ m ˜ D 3 e y k 3 + 4 + m ˜ m ˜ D 4 e y k 4 + 5 + m ˜ m ˜ D 5 e y k 5 + O ( e y k 6 ) ] .
Divide (13) by (9),
g ( y t ) g ( x t ) = D 1 m ˜ e m ˜ 1 + L 1 D 1 e t + L 2 2 m ˜ D 1 2 e t 2 + L 3 6 m ˜ 2 D 1 3 e t 3 + o ( e t 4 ) ,
where L 1 = 2 m ˜ D 2 ( 2 + m ˜ ) D 1 2 ,   L 2 = ( 1 + m ˜ ) 2 ( 3 + m ˜ ) D 1 4 2 m ˜ ( 3 + 5 m ˜ + 2 m ˜ 2 ) D 1 2 D 2 + 4 m ˜ 2 ( m ˜ 1 ) D 2 2 + 6 m ˜ 2 D 1 D 3 ,   L 3 = ( m ˜ + 1 ) 3 ( m ˜ 2 + 6 m ˜ + 8 ) D 1 6 + 6 m ˜ ( m ˜ 4 + 6 m ˜ 3 + 13 m ˜ 2 + 13 m ˜ + 4 ) D 1 4 D 2 + 8 m ˜ 3 ( m ˜ 2 3 m ˜ + 2 ) D 2 3 + 6 m ˜ 2 D 1 3 ( 3 m ˜ 2 + 7 m ˜ + 4 ) D 3 + 36 m ˜ 3 ( m ˜ 1 ) D 1 D 2 D 3 12 m ˜ 3 D 1 2 [ ( m ˜ + 1 ) 2 D 2 2 2 D 4 ] .
Also,
ω t = g ( y t ) g ( x t ) 1 / m ˜ = D 1 m ˜ e m ˜ + L 1 m ˜ 2 e t 2 + M 1 2 m ˜ 3 e t 3 + M 2 6 m ˜ 4 e t 4 + o ( e t 5 ) ,
where M 1 = [ ( 7 + m ˜ ( 7 + 2 m ˜ ) ) D 1 3 2 m ˜ ( 7 + 3 m ˜ ) D 1 D 2 + 6 m ˜ 2 D 3 ] ,   M 2 = [ ( 2 + m ˜ ) ( 17 + m ˜ ( 17 + 6 m ) ) D 1 4 + 6 m ˜ ( 17 + 4 m ˜ ( 4 + m ˜ ) ) D 1 2 D 2 12 m ˜ 2 ( 5 + 2 m ˜ ) D 1 D 3 + 12 m ˜ 2 ( ( 3 + m ˜ ) D 2 2 + 2 m ˜ D 4 ) ] .
From Scheme (5), we have υ t = ω t 1 + a ω t . Using (16) in it, we obtain
υ t = D 1 m ˜ e t m ˜ + 2 m ˜ D 2 ( 2 + a + m ˜ ) D 1 2 m ˜ 2 e t 2 + N 1 2 m ˜ 3 e t 3 + N 2 6 m ˜ 4 e t 4 + o ( e t 5 ) ,
where N 1 = [ ( 7 + 2 a 2 + m ˜ ( 7 + 2 m ˜ ) + 4 a ( 2 + m ˜ ) ) D 1 3 2 m ˜ ( 7 + 4 a + 3 m ˜ ) D 1 D 2 + 6 m ˜ 2 D 3 ] ,   N 2 = [ ( 34 + 6 a 3 + 51 m ˜ + 29 m ˜ 2 + 6 m ˜ 3 + 18 a 2 ( 2 + m ˜ ) + 6 a ( 11 + 11 m ˜ + 3 m ˜ 2 ) ) D 1 4 6 m ˜ ( 17 + 6 a 2 + 16 m ˜ + 4 m ˜ 2 + 2 a ( 11 + 5 m ˜ ) ) D 1 2 D 2 + 12 m ˜ 2 ( 5 + 3 a + 2 m ˜ ) D 1 D 3 + 12 m ˜ 2 ( ( 3 + 2 a + m ˜ ) D 2 2 2 m ˜ D 4 ) ] .
Expanding weight function R ( υ t ) around the locality of origin, as follows,
R ( υ t ) = R ( 0 ) + R ( 0 ) υ t + 1 2 ! R ( 0 ) υ t 2 + 1 3 ! R ( 0 ) υ t 3 +
At last, using the result of step one of schemes (5), (13), ( 14) and (18) in the second step of Mechanism (5), we obtain
e t + 1 = [ 1 + R ( 0 ) ] D 1 m ˜ e t 2 + [ 2 ( 1 + R ( 0 ) ) m ˜ D 2 + D 1 2 ( ( 1 + R ( 0 ) ) ( 1 + m ˜ ) R ( 0 ) ] m ˜ 2 e t 3 + Q 1 2 m ˜ 3 e t 4 + Q 2 6 m ˜ 4 e t 5 + O ( e t 6 ) ,
where Q 1 = ( 6 ( 1 + R ( 0 ) ) m ˜ 2 D 3 + 2 m ˜ D 1 D 2 ( ( 1 + R ( 0 ) ) ( 4 + 3 m ˜ ) 4 R ( 0 ) ) + D 1 3 ( 2 + 4 m ˜ 4 m ˜ ( R ( 0 ) + 2 m ˜ 2 2 R ( 0 ) m ˜ 2 + 2 ( 3 + a + 2 m ˜ ) R ( 0 ) R ( 0 ) ) ) ,   Q 2 = ( 12 m ˜ 2 ( 2 ( 1 + R ( 0 ) ) m ˜ D 4 + D 2 2 ( ( 1 + R ( 0 ) ) ( 2 + m ˜ ) 2 R ( 0 ) ) ) + 12 m ˜ 2 D 1 D 3 ( ( 1 + R ( 0 ) ) ( 3 + 2 m ˜ ) 3 R ( 0 ) ) + 6 m ˜ D 1 2 D 2 ( 2 ( 3 + R ( 0 ) 5 m ˜ + 5 R ( 0 ) m ˜ 2 m ˜ 2 + 2 R ( 0 ) m ˜ 2 ) ( 17 + 6 a + 10 m ˜ ) R ( 0 ) + 3 R ( 0 ) ) + D 1 4 ( 6 6 R ( 0 ) 18 m ˜ + 6 R ( 0 ) m ˜ 18 m ˜ 2 + 18 R ( 0 ) m ˜ 2 6 m ˜ 3 + 6 R ( 0 ) m ˜ 3 3 ( 11 + 2 a 2 + 17 m ˜ + 6 m ˜ 2 + 2 a ( 5 + 3 m ˜ ) ) R ( 0 ) + 3 ( 5 + 2 a + 3 m ˜ ) R ( 0 ) R ( 0 ) ) .
Using the Expression (19), we can quickly determine that Mechanism (5) obtains the convergence of at least fifth-order, if
R ( 0 ) = 1 , R ( 0 ) = 0 , R ( 0 ) = 2 .
Next, by using (20) in (19), we obtain
e t + 1 = ( 18 + 12 a + 6 m ˜ R ( 0 ) ) D 1 4 12 m ˜ D 1 2 D 2 6 m ˜ 4 e t 5 + O ( e t 6 ) ,
Provided | R ( 0 ) | < . Hence, Scheme (5) has fifth-order convergence.    □

3. Special Cases

This section provides the new methods of fifth order for multiple roots by making different choices of weight functions adhering the constraints of Theorem 1. A few special cases are stated in the preceding Table 1.

4. Basins of Attraction

The graphical images known as the basins of attraction of the roots of a polynomial g ( w ) in the Complex plane are used to inspect the convergence of the scheme. The major significance of using the basins of attraction is that it widens the scope of inceptive guesses to obtain the zeros of an equation. These graphical images have been used by many researchers [34,35,36,37,38,39,40,41,42] to measure the stability and effectiveness of the iterative formulae. We use 10 3 as tolerance, with a maximum of 25 iterations to exhibit the basins. The procedure is closed down with the comment that the iteration method starting from w 0 is divergent, if the tolerance is not gained in the needed number of iterations. There are some basic rules that are used to draw the basins of attraction, given as below:
  • The first rule is to select a rectangular area and make sure that every root of the considered polynomial lies inside this region.
  • Each initial guess of a root is given a color in the basins of attraction. Similarly, another color is given to each initial guess of another root in the basins of attraction. For each of the complex polynomial’s roots, this operation is repeated.
  • If the iterative formula which started with the initial approximation w 0 converges to a root, then the basins of attraction display the color which is allotted to the initial guess of that root at point w 0 . Otherwise, the initial guess w 0 is painted with black color.
We now proceed to compare our newly proposed methods, TM1, TM2, TM3 and TM4, with some existing schemes of the same nature. For comparison, we consider the three subcases of the scheme by Sharma et al. [40] and three subcases of the family presented by Chanu et al. [41]. The first method developed by Sharma et al. [40], which we denoted by SM1, is given as:
y t = x t m ˜ g ( x t ) g ( x t ) , x t + 1 = y t m ˜ ( 1 + ω t 2 ) g ( y t ) g ( y t ) .
We designate the second subcase of the method by Sharma et al. [40] as SM2, which is given below:
y t = x t m ˜ g ( x t ) g ( x t ) , x t + 1 = y t m ˜ 1 + ω t + ω t 2 1 + ω t g ( y t ) g ( y t ) .
Here, ω t = g ( y t ) g ( x t ) 1 m ˜ is a multi-valued function in both the subcases SM1 and SM2.
We write the third subcase of the method by Sharma et al. [40] as SM3, which is given below:
y t = x t m ˜ g ( x t ) g ( x t ) , x t + 1 = y t m ˜ ( g ( x t ) ) 2 m ( g ( y t ) ) 2 m ( g ( x t ) ) 2 m 2 ( g ( y t ) ) 2 m g ( y t ) g ( y t ) ,
We denote the first subcase of the method by Chanu et al. [41] as NPM1. The scheme for NPM1 is:
y t = x t + m ˜ g ( x t ) g ( x t ) , z t = x t m ˜ 2 m ˜ g ( y t ) g ( x t ) , x t + 1 = z t m ˜ 1 2 m ˜ + 4 m ˜ 2 + 4 m ˜ 8 m ˜ 2 h + 4 m ˜ 2 2 m ˜ h 2 g ( z t ) g ( z t ) ,
The second subcase of the method by Chanu et al. [41] is expressed as NPM2. This scheme is given by:
y t = x t + m ˜ g ( x t ) g ( x t ) , z t = x t m ˜ 2 m ˜ g ( y t ) g ( x t ) , x t + 1 = z t m ˜ 1 + 4 ( h 3 3 h + 2 ) 3 m ˜ 2 2 ( h 3 3 h + 2 ) 3 m ˜ g ( z t ) g ( z t ) ,
The third subcase of the method by Chanu et al. [41] is denoted by NPM3. The method is presented by:
y t = x t + m ˜ g ( x t ) g ( x t ) , z t = x t m ˜ 2 m ˜ g ( y t ) g ( x t ) , x t + 1 = z t m ˜ 1 + 4 ( h 1 ) 2 ( 2 h + 1 ) 3 m ˜ 2 2 ( h 1 ) 2 ( 2 h + 1 ) 3 m ˜ g ( z t ) g ( z t ) ,
where h = 2 m ˜ g ( x t ) g ( y t ) is a multi-valued function in schemes NPM1, NPM2 and NPM3.
We compare our newly proposed methods TM1, TM2, TM3 and TM4 with SM1, SM2, SM3, NPM1, NPM2 and NPM3 by using the following four problems through basins of attraction. To view dynamical vision, we assume a rectangle D = [ 3 , 3 ] × [ 3 , 3 ] C with 500 × 500 grid points.
Problem 1.
Let us assume the polynomial g 1 ( w ) = ( w 2 1 ) 3 , having zeros w = 1 , 1 with multiplicity 3. Distribute the colours blue and green among each starting point in the basins of attraction of roots 1 and 1 , respectively. Figure 1 shows the basins that were obtained for the methods TM1, TM2, TM3, TM4, SM1, SM2, SM3, NPM1, NPM2 and NPM3. From Figure 1, one can easily observe that the methods TM1, TM2, TM3 and TM4 divide the complex plane into two equal halves without any disturbance in the regions, but in case of the methods SM1, SM2, SM3, NPM1, NPM2 and NPM3, the complex plane is divided into two equal halves, which have disturbances. Therefore, the basins of attraction for the proposed methods, TM1, TM2, TM3 and TM4, are more stable than those for SM1, SM2, SM3, NPM1, NPM2 and NPM3. Among the newly proposed methods, all performed equally well.
Problem 2.
Now, consider the polynomial g 2 ( w ) = ( w 4 + 4 w 2 + 16 ) 2 , having zeros w = 1 + 3 i , 1 3 i , 1 + 3 i , 1 3 i with multiplicity 2 . We have assigned the colors blue, green, magenta and cyan for each initial point in the basins of attraction of zeros 1 + 3 i , 1 3 i , 1 + 3 i , 1 3 i , respectively. Figure 2 displays the basins created using the techniques TM1, TM2, TM3, TM4, SM1, SM2, SM3, NPM1, NPM2 and NPM3. Black spots in Figure 2 show the points which are not convergent to any of the roots. It is clear from Figure 2 that the convergence area is more for methods TM1, TM2, TM3, TM4 and SM3 as compared to the methods SM1, SM2, NPM1, NPM2 and NPM3. Furthermore, it can be seen that the new proposed methods, SM2 and SM3, do not contain any black spots which indicate the divergent points.
Problem 3.
Consider the polynomial g 3 ( w ) = ( w 4 + w 2 + 1 ) 2 . The roots of this polynomial are w = 1 3 i 2 , 1 + 3 i 2 , 1 3 i 2 and 1 + 3 i 2 with multiplicity 2 . Assign the colours green, blue, cyan, and magenta to each initial point on the roots 1 3 i 2 , 1 + 3 i 2 , 1 3 i 2 and 1 + 3 i 2 . It is observed from Figure 3 that the proposed methods TM1, TM2, TM3 and TM4, as well as the method SM3, are adequate to converge to all the roots, and the divergent points occur in case of the methods SM1, SM2, NPM1, NPM2 and NPM3.
Problem 4.
The fourth polynomial we consider is g 4 ( w ) = ( w 4 w 3 + w 2 w + 1 ) 3 . For this polynomial, w = e π i 5 , e π i 5 , e 3 π i 5 and e 3 π i 5 are the roots of the polynomial with multiplicity 3 . We assign the colors to each initial guess of zero e π i 5 , e π i 5 , e 3 π i 5 and e 3 π i 5 as green, blue, cyan and magenta, respectively. It is observed from Figure 4 that the methods TM1, TM2, TM3, TM4 and SM3 do not contain any black spots, but the methods SM1, SM2, NPM1, NPM2 and NPM3 do contain them, which means that the methods TM1, TM2, TM3, TM4 and SM3 have performed better than the methods SM1, SM2, NPM1, NPM2 and NPM3.
As is visible in all figures, the basins of attraction possess reflection symmetry, and one can even go further to provide a proof for their symmetry [42], while in other instances [3] the behavior was identified as near to symmetric.

5. Numerical Results

The convergence of the newly generated methods is ensured in this section, numerically. Some nonlinear problems are solved by the newly generated methods. Other existing schemes mentioned in the previous section are also considered for comparison.
Mathematica programming software [33] is used to bring off the computational work. The numerical results are summarized in tabular form. The table embraces the number of iterations necessary to procure the root with finishing benchmark | x t + 1 x t | + | f ( x t ) | < 10 200 and estimated error | x t + 1 x t | in the last three iterations, residual error of the considered function | f ( x t ) | and computational order of convergence (COC), by exerting the formula:
C O C = l o g | x t + 2 α x t + 1 α | l o g | x t + 1 α x t α | , where t = 1 , 2 ,
The CPU running time is also presented in numerical results. For all the numerical computations, we have used Mathematica 12.0 programming software on Windows 10 on Intel Core i3. The problems considered for comparison are mentioned in Table 2. For our methods, in all the problems we have taken a = 1 .
The computational results in Table 3 and Table 4 show that the methods NPM1, NPM2 and NPM3 have the best residuals, but the major drawback of these methods is that they do not retain their order of convergence. Therefore, our proposed methods have performed better and possess lower residual error as well as low CPU-time for functions f 1 ( x ) and f 2 ( x ) . They also preserve their fifth order of convergence. The numerical data for the function f 3 ( x ) shown in Table 5 demonstrate that TM4 performs better than the existing methods, with low error and precise result estimations. Further, the elapsed CPU time is minimal in the case of TM3. The numerical results obtained for function f 4 ( x ) are shown in Table 6. One can observe that each scheme has extremely high precision, with the lowest residual calculated by TM4. Table 7 shows the numerical results of the methods for function f 5 ( x ) . The best performer for this function is TM4. Furthermore, it is worth mentioning here that the methods NPM1–NPM3 do not converge to the required root for the problems f 3 ( x ) and f 5 ( x ) , or we can say that they are divergent for these problems.

6. Concluding Remarks

We have introduced a new multi-point iterative algorithm that can solve nonlinear equations having multiple zeros. The scheme is based on the weight function approach. Per iteration, the presented scheme requires two assessments of functions and two assessments of its derivatives to achieve the fifth order convergence. Some special cases of the new family are also presented. The presented basins of attraction have confirmed that the performance of the new methods is on par with or better than the established schemes in the literature. The theoretical results proved in the paper regarding the order of convergence are verified through various numerical examples. A comparison with the existing methods is also made. The results obtained have once again proved the robustness of the new schemes. Moreover, the CPU time is also evaluated, which is lesser for the newly proposed schemes. In a nutshell, we can say that the new methods have performed better than the existing methods in terms of basins of attraction, the number of iterations required to converge to the root, residual errors and CPU-time for the considered problems.

Author Contributions

Conceptualization, methodology, T.S.; Formal analysis, validation, resources, L.J.; Software, writing—original draft preparation, H.A. All authors have read and agreed to the published version of the manuscript.

Funding

The study was partly supported by Council of Scientific and Industrial Research India, grant number 09/0254(11217)/2021-EMR-I.

Data Availability Statement

Not applicable.

Acknowledgments

The authors wish to thank the anonymous referees for their valuable suggestions on the first version of this paper.

Conflicts of Interest

No conflicts of interest have been disclosed by the authors.

References

  1. Kumar, D.; Sharma, J.R.; Cesarano, C. One-Point Optimal Family of Multiple Root Solvers of Second-Order. Mathematics 2019, 7, 655. [Google Scholar] [CrossRef] [Green Version]
  2. Sharma, J.R.; Kumar, S.; Jäntschi, L. On Derivative Free Multiple-Root Finders with Optimal Fourth Order Convergence. Mathematics 2020, 8, 1091. [Google Scholar] [CrossRef]
  3. Alharbey, R.A.; Kansal, M.; Behl, R.; Machado, J.A.T. Efficient Three-Step Class of Eighth-Order Multiple Root Solvers and Their Dynamics. Symmetry 2019, 11, 837. [Google Scholar] [CrossRef] [Green Version]
  4. Sharma, J.R.; Kumar, S.; Jäntschi, L. On a Class of Optimal Fourth Order Multiple Root Solvers without Using Derivatives. Symmetry 2019, 11, 1452. [Google Scholar] [CrossRef] [Green Version]
  5. Sharma, J.R.; Kumar, D.; Cattani, C. An Efficient Class of Weighted-Newton Multiple Root Solvers with Seventh Order Convergence. Symmetry 2019, 11, 1054. [Google Scholar] [CrossRef] [Green Version]
  6. Sharma, J.R.; Kumar, D.; Argyros, I.K. An Efficient Class of Traub-Steffensen-Like Seventh Order Multiple-Root Solvers with Applications. Symmetry 2019, 11, 518. [Google Scholar] [CrossRef] [Green Version]
  7. Chun, C.; Neta, B. A Third-Order Modification of Newton’s Method for Multiple Roots. Appl. Math. Comput. 2009, 211, 474–479. [Google Scholar] [CrossRef] [Green Version]
  8. Hansen, E.; Patrick, M. A family of root finding methods. Numer. Math. 1977, 27, 257–269. [Google Scholar] [CrossRef]
  9. Neta, B. New third order nonlinear solvers for multiple roots. Appl. Math. Comput. 2008, 202, 162–170. [Google Scholar] [CrossRef] [Green Version]
  10. Osada, N. An optimal multiple root finding method of order three. J. Comput. Appl. Math. 1994, 51, 131–133. [Google Scholar] [CrossRef]
  11. Sharma, J.R.; Sharma, R. Modified Chebyshev–Halley Type Method and Its Variants for Computing Multiple Roots. Numer. Algorithms 2012, 61, 567–578. [Google Scholar] [CrossRef]
  12. Schröder, E. Über unendlich viele Algorithmen zur Auflösung der Gleichungen. Math. Ann. 1870, 2, 317–365. [Google Scholar] [CrossRef] [Green Version]
  13. Zhou, X.; Chen, X.; Song, Y. Families of third and fourth order methods for multiple roots of nonlinear equations. Appl. Math. Comput. 2013, 219, 6030–6038. [Google Scholar] [CrossRef]
  14. Geum, Y.H.; Kim, Y.I.; Neta, B. A class of two-point sixth-order multiple-zero finders of modified double-Newton type and their dynamics. Appl. Math. Comput. 2015, 270, 387–400. [Google Scholar] [CrossRef] [Green Version]
  15. Geum, Y.H.; Kim, Y.I.; Neta, B. A sixth-order family of three-point modified Newton-like multiple-root finders and the dynamics behind their extraneous fixed points. Appl. Math. Comput. 2016, 283, 120–140. [Google Scholar] [CrossRef] [Green Version]
  16. Behl, R.; Cordero Barbero, A.; Motsa, S.S.; Torregrosa Sánchez, J.R. An eighth-order family of optimal multiple root finders and its dynamics. Numer. Algorithms 2018, 77, 1249–1272. [Google Scholar] [CrossRef] [Green Version]
  17. Li, S.; Liao, X.; Cheng, L. A new fourth-order iterative method for finding multiple roots of nonlinear equations. Appl. Math. Comput. 2009, 215, 1288–1292. [Google Scholar]
  18. Zhou, X.; Chen, X.; Song, Y. Constructing higher-order methods for obtaining the multiple roots of nonlinear equations. Comput. Appl. Math. 2011, 235, 4199–4206. [Google Scholar] [CrossRef] [Green Version]
  19. Behl, R.; Kansal, M.; Salimi, M. Modified King’s Family for Multiple Zeros of Scalar Nonlinear Functions. Mathematics 2020, 8, 827. [Google Scholar] [CrossRef]
  20. Kansal, M.; Cordero, A.; Torregrosa Sánchez, J.R.; Bhalla, S. A stable class of modified Newton-like methods for multiple roots and their dynamics. Int. J. Nonlinear Sci. Numer. Simul. 2020, 21, 603–621. [Google Scholar] [CrossRef]
  21. Rani, L.; Soleymani, F.; Kansal, M.; Kumar Nashine, H. An optimized Chebyshev–Halley type family of multiple solvers: Extensive analysis and applications. Math. Methods Appl. Sci. 2022, 8699. [Google Scholar] [CrossRef]
  22. Sharma, J.R. A family of third-order methods to solve nonlinear equations by quadratic curves approximation. Appl. Math. Comput. 2007, 184, 210–215. [Google Scholar] [CrossRef]
  23. Sharma, J.R. A family of methods for solving nonlinear equations using quadratic interpolation. Comput. Math. Appl. 2004, 48, 709–714. [Google Scholar] [CrossRef] [Green Version]
  24. Cordero, A.; Hueso, J.L.; Martinez, E.; Torregrosa, J.R. A new technique to obtain derivative-free optimal iterative methods for solving nonlinear equations. J. Comput. Appl. Math. 2013, 252, 95–102. [Google Scholar] [CrossRef]
  25. Ostrowski, A.M. Solution of Equations and Systems of Equations; Academic Press: New York, NY, USA, 1966. [Google Scholar]
  26. Behl, R. A Derivative Free Fourth-Order Optimal Scheme for Applied Science Problems. Mathematics 2022, 10, 1372. [Google Scholar] [CrossRef]
  27. Abbasbandy, S. Improving Newton-Raphson method for nonlinear equations by modified Adomian decomposition method. Appl. Math. Comput. 2003, 145, 887–893. [Google Scholar] [CrossRef]
  28. Babajee, D.K.R.; Cordero, A.; Soleymani, F.; Torregrosa, J.R. On improved three-step schemes with high efficiency index and their dynamics. Numer. Algorithms 2014, 65, 153–169. [Google Scholar] [CrossRef]
  29. Behl, R.; Bhalla, S.; Magreñán, Á.A.; Moysi, A. An Optimal Derivative Free Family of Chebyshev–Halley’s Method for Multiple Zeros. Mathematics 2021, 9, 546. [Google Scholar] [CrossRef]
  30. Artidiello, S.; Cordero, A.; Torregrosa, J.R.; Vassileva, M.P. Multidimensional generalization of iterative methods for solving nonlinear problems by means of weight-function procedure. Appl. Math. Comput. 2015, 268, 1064–1071. [Google Scholar] [CrossRef] [Green Version]
  31. Cordero, A.; Iqbal, S.; Torregrosa, J.R.; Zafar, F. New Iterative Schemes to Solve Nonlinear Systems with Symmetric Basins of Attraction. Symmetry 2022, 14, 1742. [Google Scholar] [CrossRef]
  32. Chanu, W.H.; Panday, S.; Thangkhenpau, G. Development of Optimal Iterative Methods with Their Applications and Basins of Attraction. Symmetry 2022, 14, 2020. [Google Scholar] [CrossRef]
  33. Wolfram, S. The Mathematica Book, 5th ed.; Wolfram Media: Champaign, IL, USA, 2003. [Google Scholar]
  34. Said Solaiman, O.; Hashim, I. Efficacy of Optimal Methods for Nonlinear Equations with Chemical Engineering Applications. Math. Probl. Eng. 2019, 11, 1–11. [Google Scholar] [CrossRef] [Green Version]
  35. Said Solaiman, O.; Hashim, I. An iterative scheme of arbitrary odd order and its basins of attraction for nonlinear systems. Comput. Mater. Cont. 2021, 66, 1427–1444. [Google Scholar] [CrossRef]
  36. Fatou, P. Sur les équations fonctionelles. Bull. Soc. Math. France 1919, 47, 161–271. [Google Scholar] [CrossRef] [Green Version]
  37. Julia, G.M. Mémoire sur l’itération des fonctions rationelles. J. Math. Pures Appl. 1918, 1, 47–246. [Google Scholar]
  38. Sharma, J.R.; Arora, H. Some novel optimal eighth order derivative-free root solvers and their basins of attraction. Appl. Math. Comput. 2016, 284, 149–161. [Google Scholar] [CrossRef]
  39. Kumar, S.; Bhagwan, J.; Jäntschi, L. Optimal Derivative-Free One-Point Algorithms for Computing Multiple Zeros of Nonlinear Equations. Symmetry 2022, 14, 1881. [Google Scholar] [CrossRef]
  40. Sharma, J.R.; Arora, H. A Family of Fifth-Order Iterative Methods for Finding Multiple Roots of Nonlinear Equations. Numer. Anal. Appl. 2021, 14, 186–199. [Google Scholar] [CrossRef]
  41. Henarita Chanu, W.; Panday, S.; Dwivedi, M. New Fifth Order Iterative Method for Finding Multiple Root of Nonlinear Function. Eng. Lett. 2021, 29, 942–947. [Google Scholar]
  42. Bray, K.; Dwyer, J.; Barnard, R.W.; Williams, G.B. Fixed Points, Symmetries, and Bounds for Basins of Attraction of Complex Trigonometric Functions. Int. J. Math. Math. Sci. 2020, 2020, 1853467. [Google Scholar] [CrossRef]
Figure 1. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 1 ( w ) .
Figure 1. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 1 ( w ) .
Symmetry 15 00228 g001
Figure 2. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 2 ( w ) .
Figure 2. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 2 ( w ) .
Symmetry 15 00228 g002
Figure 3. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 3 ( w ) .
Figure 3. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 3 ( w ) .
Symmetry 15 00228 g003
Figure 4. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 4 ( w ) .
Figure 4. Basins of attraction of TM1TM4, SM1SM3 and NPM1NPM3 for polynomial g 4 ( w ) .
Symmetry 15 00228 g004
Table 1. Some special cases of Mechanism (5).
Table 1. Some special cases of Mechanism (5).
Cases (Naming)Weight FunctionsEquivalent Iterative Method
Case-1 (TM1) R ( υ t ) = 1 + υ t 2 y t = x t m ˜ g ( x t ) g ( x t ) ,
x t + 1 = y t m ˜ ( 1 + υ t 2 ) g ( y t ) g ( y t ) .
Case-2 (TM2) R ( υ t ) = e υ t + υ t + υ t 2 2 y t = x t m ˜ g ( x t ) g ( x t ) ,
x t + 1 = y t m ˜ ( e υ t + υ t + υ t 2 2 ) g ( y t ) g ( y t ) .
Case-3 (TM3) R ( υ t ) = ( 1 υ t ) e υ t + 3 2 υ t 2 y t = x t m ˜ g ( x t ) g ( x t ) ,
x t + 1 = y t m ˜ ( ( 1 υ t ) e υ t + 3 2 υ t 2 ) g ( y t ) g ( y t ) .
Case-4 (TM4) R ( υ t ) = 2 υ t 1 1 + υ t + 2 υ t 2 y t = x t m ˜ g ( x t ) g ( x t ) ,
x t + 1 = y t m ˜ ( 2 υ t 1 1 + υ t + 2 υ t 2 ) g ( y t ) g ( y t ) .
Table 2. Test functions.
Table 2. Test functions.
Test FunctionsRootp x 0
f 1 ( x ) = sin 2 x x 2 + 1 2 1.404491622
f 2 ( x ) = x 3 5.22 x 2 + 9.0825 x 5.2675 1.750000022.2
f 3 ( x ) = ( x 2 ) 15 ( x 4 ) 5 ( x 3 ) 10 ( x 1 ) 20 1.0000000200.7
f 4 ( x ) = x 9 29 x 8 + 349 x 7 2261 x 6 + 8455 x 5 17663 x 4 + 15927 x 3 + 6993 x 2 24732 x + 12960 3.000000042.5
f 5 ( x ) = [ ( x 1 ) 3 1 ] 50 2.0000000502.1
Table 3. Computational results for function f 1 ( x ) .
Table 3. Computational results for function f 1 ( x ) .
Methodst | e t 2 | | e t 1 | | e t | | f ( x t + 1 ) | COCCPU Time
TM15 9.65 × 10 12 5.42 × 10 56 3.03 × 10 277 1.66 × 10 2765 5.000000.00186139
TM25 1.21 × 10 11 1.87 × 10 55 1.64 × 10 274 4.44 × 10 2738 5.000000.00216832
TM35 1.57 × 10 11 7.36 × 10 55 1.67 × 10 271 6.13 × 10 2708 5.000000.00231683
TM45 1.87 × 10 12 6.12 × 10 60 2.32 × 10 297 2.00 × 10 2967 5.000000.00247525
SM15 6.71 × 10 11 1.90 × 10 51 3.48 × 10 254 3.11 × 10 2534 5.000000.00279208
SM25 1.17 × 10 10 3.82 × 10 50 1.45 × 10 247 8.09 × 10 2468 5.000000.00278218
SM35 5.76 × 10 11 8.90 × 10 52 7.82 × 10 256 1.03 × 10 2550 5.000000.00263366
NPM15 2.83 × 10 15 3.23 × 10 88 7.21 × 10 526 4.85 × 10 6302 6.000000.00279208
NPM25 2.83 × 10 15 3.23 × 10 88 7.21 × 10 526 4.85 × 10 6302 6.000000.00279208
NPM35 2.83 × 10 15 3.23 × 10 88 7.21 × 10 526 4.85 × 10 6302 6.000000.00279208
Table 4. Computational results for function f 2 ( x ) .
Table 4. Computational results for function f 2 ( x ) .
Methodst | e t 2 | | e t 1 | | e t | | f ( x t + 1 ) | COCCPU Time
TM16 4.66 × 10 12 5.07 × 10 52 7.73 × 10 252 1.22 × 10 2502 5.000000.00154455
TM26 5.77 × 10 12 1.57 × 10 51 2.31 × 10 249 7.59 × 10 2478 5.000000.00170297
TM36 7.45 × 10 12 5.92 × 10 51 1.87 × 10 246 1.02 × 10 2448 5.000000.00138614
TM46 1.29 × 10 12 5.41 × 10 55 7.17 × 10 267 2.57 × 10 2653 5.000000.00169307
SM16 3.21 × 10 11 1.31 × 10 47 1.46 × 10 229 2.01 × 10 2279 5.000000.00215842
SM26 5.73 × 10 11 2.87 × 10 46 8.98 × 10 223 2.18 × 10 2211 5.000000.00262376
SM36 2.65 × 10 11 5.00 × 10 48 1.21 × 10 231 3.03 × 10 2300 5.000000.00231683
NPM16 1.48 × 10 18 1.03 × 10 100 1.16 × 10 593 1.72 × 10 7103 6.000000.00232673
NPM26 1.48 × 10 18 1.03 × 10 100 1.16 × 10 593 1.72 × 10 7103 6.000000.00247525
NPM36 1.48 × 10 18 1.03 × 10 100 1.16 × 10 593 1.72 × 10 7103 6.000000.00200990
Table 5. Computational results for function f 3 ( x ) .
Table 5. Computational results for function f 3 ( x ) .
Methodst | e t 2 | | e t 1 | | e t | | f ( x t + 1 ) | COCCPU Time
TM15 1.52 × 10 14 2.00 × 10 69 7.74 × 10 344 1.03 × 10 34298 5.000000.00139604
TM25 2.12 × 10 14 1.15 × 10 68 5.39 × 10 340 1.13 × 10 33913 5.000000.00139604
TM35 3.08 × 10 14 8.08 × 10 68 9.98 × 10 336 3.42 × 10 33486 5.000000.00108911
TM45 1.46 × 10 15 7.05 × 10 75 1.84 × 10 371 2.49 × 10 37068 5.000000.00154455
SM15 2.29 × 10 13 3.26 × 10 63 1.92 × 10 312 9.26 × 10 31153 5.000000.00262376
SM25 4.77 × 10 13 1.62 × 10 61 7.34 × 10 304 2.06 × 10 30292 5.000000.00247525
SM35 1.84 × 10 13 1.08 × 10 63 7.68 × 10 315 1.82 × 10 31392 5.000000.00171683
NPM1Div
NPM2Div
NPM3Div
Here, Div means divergent.
Table 6. Computational results for function f 4 ( x ) .
Table 6. Computational results for function f 4 ( x ) .
Methodst | e t 2 | | e t 1 | | e t | | f ( x t + 1 ) | COCCPU Time
TM15 9.88 × 10 24 2.43 × 10 117 2.19 × 10 585 2.27 × 10 11698 5.000000.00216832
TM25 1.02 × 10 23 2.91 × 10 117 5.48 × 10 585 2.26 × 10 11690 5.000000.00200990
TM35 1.05 × 10 23 3.48 × 10 117 1.37 × 10 584 2.22 × 10 11682 5.000000.00247525
TM45 8.10 × 10 24 7.87 × 10 118 6.84 × 10 588 1.05 × 10 11748 5.000000.00263366
SM15 1.40 × 10 23 1.75 × 10 116 5.27 × 10 581 2.31 × 10 11610 5.000000.00278218
SM25 1.64 × 10 23 4.13 × 10 116 4.26 × 10 579 4.79 × 10 11572 5.000000.00294059
SM35 1.40 × 10 23 1.71 × 10 116 4.76 × 10 581 3.02 × 10 11611 5.000000.00340595
NPM15 2.50 × 10 18 3.16 × 10 90 1.02 × 10 449 1.21 × 10 8984 5.000000.00309901
NPM25 2.70 × 10 18 4.94 × 10 90 1.00 × 10 448 1.18 × 10 8964 5.000000.00324752
NPM35 2.90 × 10 18 7.52 × 10 90 8.78 × 10 448 1.04 × 10 8945 5.000000.00308911
Table 7. Computational results for function f 5 ( x ) .
Table 7. Computational results for function f 5 ( x ) .
Methodst | e t 2 | | e t 1 | | e t | | f ( x t + 1 ) | COCCPU Time
TM15 1.11 × 10 25 2.25 × 10 125 7.74 × 10 624 1.96 × 10 155748 5.000000.00200990
TM25 2.01 × 10 25 4.90 × 10 124 4.26 × 10 617 8.03 × 10 154061 5.000000.00170301
TM35 3.61 × 10 25 1.02 × 10 122 1.82 × 10 610 1.64 × 10 152400 5.000000.00200990
TM45 4.50 × 10 28 6.15 × 10 138 2.92 × 10 687 2.36 × 10 171634 5.000000.00170297
SM15 1.08 × 10 23 4.79 × 10 115 8.42 × 10 572 2.36 × 10 142719 5.000000.00247525
SM25 3.65 × 10 23 2.79 × 10 112 7.39 × 10 558 6.33 × 10 139228 5.000000.00231683
SM35 8.89 × 10 24 1.85 × 10 115 7.26 × 10 574 1.87 × 10 143235 5.000000.00757426
NPM1Div
NPM2Div
NPM3Div
Here, Div means divergent.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Singh, T.; Arora, H.; Jäntschi, L. A Family of Higher Order Scheme for Multiple Roots. Symmetry 2023, 15, 228. https://doi.org/10.3390/sym15010228

AMA Style

Singh T, Arora H, Jäntschi L. A Family of Higher Order Scheme for Multiple Roots. Symmetry. 2023; 15(1):228. https://doi.org/10.3390/sym15010228

Chicago/Turabian Style

Singh, Tajinder, Himani Arora, and Lorentz Jäntschi. 2023. "A Family of Higher Order Scheme for Multiple Roots" Symmetry 15, no. 1: 228. https://doi.org/10.3390/sym15010228

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop