1,405
Views
0
CrossRef citations to date
0
Altmetric
Research Article

Efficient iterative scheme for solving non-linear equations with engineering applications

ORCID Icon, ORCID Icon, ORCID Icon & ORCID Icon
Pages 708-735 | Received 24 Mar 2022, Accepted 27 Sep 2022, Published online: 19 Oct 2022

ABSTRACT

A family of three-step optimal eighth-order iterative algorithm is developed in this paper in order to find single roots of nonlinear equations using the weight function technique. The newly proposed iterative methods of eight order convergence need three function evaluations and one first derivative evaluation that satisfies the Kung–Traub optimality conjecture in terms of computational cost per iteration (i.e.2n1). Furthermore, using the primary theorem that establishes the convergence order, the theoretical convergence properties of our schemes are thoroughly investigated. On several engineering applications, the performance and efficiency of our optimal iteration algorithms are examined to those of existing competitors. The new iterative schemes are more efficient than the existing methods in the literature, as illustrated by the basins of attraction, dynamical planes, efficiency, log of residual, and numerical test examples.

1 Introduction

The earliest problem in science, and primarily in mathematics, is finding the roots of nonlinear equation (1) f(x)=0.(1) Nonlinear equations are used in a broad variety of fields in science and engineering [Citation1–3]. When real problems exist, such as weather forecasting, the correct placement of satellite systems in desired trajectories, earthquake magnitude estimation, and other advanced technical issues, only approximate techniques are frequently developed. Only in rare situations is it possible to solve the governing equations exactly. To determine the roots of nonlinear equation (1), several iterative approaches have been explored such as the Newton–Raphson method, decomposition methods, homotopy analysis method, and various modified forms of the Newton–Raphson method. The Newton–Raphson method [Citation4] iterative scheme is the most well-known single root finding method: (2) yi=xif(xi)f(xi),(i=1,2,), f(xi)0.(2)

The method described by (2) has optimum convergence order 2 with efficiency 1.43. Several higher order iterative algorithms for solving nonlinear equations have already been developed and researched in the past decade, namely Newton’s method, Chebyshev method, Halley’s iteration technique, and others see e.g. Wang et al. [Citation6] present Modified Ostrowski’s method of eight-order convergence, Li et al. [Citation7] proposed a higher order iterative method, Kung et al. [Citation20] presented optimal order of one point and multipoint iterative schemes, Chicharro, et al. [Citation28] illustrate the stability and applicability of iterative methods with memory, Zafar et al. [Citation29] proposed efficient family of the iterative method of eight order convergence, Tao et al. [Citation30] used divide difference techniques to construct optimal fourth- and eighth-order convergent scheme and Shacham et al. [Citation31] proposed higher order improved memory methods for finding roots of non-linear equations. As the order of convergence increases, the number of function evaluations per iteration increases. As a result, a new performance criterion has emerged: efficiency, which indicates that any multi-point technique without memory that performs n function evaluations cannot have an order of convergence higher than 2n1, which is the optimum order. Thus, for three evaluations per iteration, the optimal order is four, for four evaluations per iteration, eight, and so on. As a consequence, the overall aim of this study is to develop more efficient iterative schemes in comparison with existing methods in the literature. We developed a new iterative method to increase the order of convergence without increasing the functional evaluations. We can easily acquire the optimal order; as we will see, the obtained three-step method is of eighth-order convergence and takes four evaluations of the function f(x). The efficiency of an iterative method is commonly analysed in the literature using the efficiency index Ip1d, where p is the order of convergence and d is the total number of functional evaluations or its derivative evaluations in each iteration. As a result, this technique has an efficiency index of 8141.6874, indicating that it is the first to achieve the optimal order of convergence according to the Kung–Traub conjecture [Citation20].

The weight function technique motivates us to propose a family of the eighth-order numerical iterative scheme for finding roots of (1). In [Citation10–13,Citation21–24], which use a variety of weight functions, how weight function processes can be applied is given. In this article, we employ the weight functions technique to construct a family of iterative algorithms with a high convergence order and efficiency index. Each iteration requires the evaluation of three functions and one first order derivative in terms of computational cost.

The conditions of Theorem 1.1 presented in this article are broad and fundamental for constructing an iterative technique for finding roots of nonlinear equations. Selecting functions that satisfy the theorem’s conditions is all that is required for a certain iterative technique. For example, one may write out the desired functions first, then use the theorem’s criterion to calculate the coefficients in the functions. Specific iterative techniques are illustrated in subsection (Concrete’s eight-order methods). The method’s attractiveness is because the developed scheme is directly applicable and requires the minimum number of functional evaluations available. Using a complex dynamical system, we choose the parameter values in the numerical scheme that yield the highest convergence rate. In terms of basins of attraction, we may compare our newly developed algorithms to a number of existing iterative techniques with the same convergence order and computational cost.

Here, we discuss some optimal eighth-order iterative methods for finding roots of nonlinear equations that exist in the literature.

The optimal eighth-order iterative method (abbreviated as MM1) due to Kung–Traub et al. [Citation20] based on the Hermite interpolation is given by (3) vi=tif(ti)K(ti),(3) where yi=xif(xi)f(xi), ti=xif(yi)f(xi)(1(1f(yi)f(xi))2), K(ti)=2(f(xi)f[xi,yi])+f[yi,ti]+yitiyixi(f[xi,yi]f(xi)).

The following optimal eighth-order iterative approach was introduced by Babajee et al. [Citation15] (abbreviated as MM2) (4) vi=tif(ti)f(xi)(1+u2+5u4+v1uw),(4) where yi=xif(xi)f(xi)(1+f(xi)f(xi))5, ti=yif(yi)f(xi)(1(1u)2),u=f(yi)f(xi), v=f(ti)f(xi), w=f(ti)f(yi).

The optimal eighth-order iterative technique (abbreviated as MM3) given by Cordero et al. [Citation16] is as follows: (5) vi=ti13w1+wf(ti)f[ti,yi]+f[ti,xi,xi](tiyi),(5) where yi=xif(xi)f(xi), ti=yif(yi)f(xi)(112uu2u32), f[ti,xi]=f(ti)f(xi)tixi and f[ti,xi,xi]=f[ti,xi]f(x)tixi.

Sharm’s family [Citation17] of the optimal eighth-order method (abbreviated as MM4) is (6) vi=tiW(f(ti)f[xi,yi]f[xi,ti]f[yi,ti]),(6) where yi=xif(xi)f(xi), ti=yif(yi)f(yi)(112u), W=1+w1+αw and α=1.

Thukral [Citation18] presented the following optimal eighth-order iterative method (abbreviated as MM5): (7) vi=ti[(1u21u)22u26u3+v+4w]f(ti)f(xi),(7) where yi=xif(xi)f(xi), ti=xi1f(xi)((f(xi))2+(f(yi))2(f(xi)f(yi))), u=f(yi)f(xi), v=f(ti)f(xi), w=f(ti)f(yi).

Wang and Liu [Citation19] presented Hermite interpolation based optimal eighth-order iterative method (abbreviated as MM6): (8) vi=tif(ti)f(xi)K(ti),(8) where yi=xif(xi)f(xi), ti=xif(xi)f(xi)(4(f(xi))25f(xi)f(yi)(f(yi))2(4(f(xi))29f(xi)f(yi))), .1K(ti)=(1+4f(ti)f(xi))(8f(yi)4f(xi)11f(yi)+1+f(ti)f(yi))

Liu and Wang’s [Citation33] presented the following optimal eighth-order iterative method (abbreviated as MM7): (9) vi=tif(ti)f(xi)((f(xi)f(yi)f(xi)2f(yi))2+(f(ti)f(yi)α1f(ti))+(4f(ti)f(xi)+α2f(ti))),(9) where yi=xif(xi)f(xi), ti=yif(yi)f(xi)(f(xi)f(xi)2f(yi)) and α1, α2R.

Here, we proposed the following family of optimal eighth order methods: (10) vi=tif(yi)f(xi)(ϑ1(u)ϑ2(v)+ϑ3(w)ϑ3(w)+ϑ3(w)ϑ2(v)),(10) where yi=xif(xi)f(xi), ti=yif(yi)f(xi)(f(xi)f(xi)2f(yi)), ϑ1(u),ϑ2(v) and ϑ3(w) are real-valued functions to be determined later on. For the iteration scheme (10), we have the following convergence theorem [Citation11]:

Theorem 1.1:

Let ζI be a simple root of a sufficiently differentiable function f:IRR in an open interval I. If x0 is sufficiently close to ζ and ϑ be a real-valued function satisfying ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10,ϑ1(0)=72,ϑ2(0)=1, ϑ2(0)=4,ϑ3(0)=0, ϑ3(0)=1 and ϑ1(0)=ϑ2(0)=ϑ3(0)< then the convergence order of the family of iterative method (10) is eight and the error equation is given by (11) ei+1=(c24c437c25c3+5c23c32+32c27c22c4c3+32ϑ3(0)c25c332c23c32ϑ3(0)+12c2c33ϑ3(0)+124ϑ1(0)c25c312c27ϑ3(0)124ϑ1(0)c27)ei8+O(ei9),(11) where cm=fm(ζ)m!f(ζ),m2.

Proof:

Let ζ be a simple root of f and xi=ζ+ei. By Taylor’s series about ζ, taking f(ζ)=0, we get: (12) f(xi)=f(ζ)(ei+c2ei2+c3ei3+c4ei4+c5ei5+c6ei6+c7e7+c8ei8+O(ei9))(12) and (13) f(xi)=f(ζ)(1+2c2ei+3c3ei2+4c4ei3++O(ei9)).(13) Dividing (12) by (13), we have (14) f(xi)f(xi)=ei+c2ei2+(2c222c3)ei3+(7c2c33c44c23)ei4++O(ei9)(14) Using (14) in the first step of (10), we have: (15) yi=ζ+c2ei2+(2c32c22)ei3++O(ei9).(15) Thus, using Taylor series, we have: (16) f(yi)=f(ζ)(c2ei2+2(c3c22)ei3+(3c47c2c3+5c23)ei4++O(ei8).(16) Dividing (16) by (13), we have: (17) f(yi)f(xi)=c2+1ei+(c22+2c3)ei+(2c235c2c3+4c4)ei2++O(ei9).(17) (18) f(xi)2f(yi)=eic2ei2+(4c223c3)ei3+(14c2c35c410c23)ei4++O(ei8).(18) This gives (19) f(xi)f(xi)2f(yi)=14+12c2ei+(12c22+c3)ei2+(c2c3+32c4)ei3++O(ei8).(19) Multiplying (19) and (17), we have: (20) (f(yi)f(xi))(f(xi)f(xi)2f(yi))=c2ei2+(2c22+2c3)ei3+(3c226c2c3+3c4)ei4++O(ei9).(20) This implies, (21) ti=ζ+(c23c2c3)ei4+(4c24+8c22c32c2c42c32)ei5++O(ei9).(21) (22) f(ti)f(xi)=(c23c2c3)ei4+(6c24+10c22c32c2c42c32)++(22) (23) u=f(yi)f(xi)=c2ei+(3c22+2c3)ei2+(8c2310c2c3+3c4),(23) (24) v=f(ti)f(xi)=(c23c2c3)ei3+(5c24+9c22c32c2c42c32)ei4++(24) (25) w=f(ti)f(yi)=(c22c3)ei2+(2c23+4c2c32c4)ei3++(25) By Taylor series, we obtain: (26) ϑ1(u)=ϑ1(0)+ϑ1(0)u+ϑ1(0)u22!+ϑ1(0)u33!(26) (27) ϑ2(v)=ϑ2(0)+ϑ2(0)v+ϑ2(0)v22!+(27) (28) ϑ3(w)=ϑ3(0)+ϑ3(0)w+ϑ3(0)w22!+(28) This implies (29) H(u,v,w)=(ϑ1(u)ϑ2(v)+ϑ3(w)ϑ3(w)+ϑ3(w)ϑ2(v)),(29) (30) =(c23ϑ2(0)ϑ3(0)+c23ϑ1(0)ϑ2(0)+c23ϑ3(0)ϑ3(0),(30) (31) c2c3ϑ2(0)ϑ3(0)c2c3ϑ1(0)ϑ2(0)c2c3ϑ3(0)ϑ3(0))ei4+(31) (32) f(ti)f(xi)H(u,v,w)=(c23ϑ2(0)ϑ3(0)+c23ϑ2(0)ϑ1(0)+c23F2+c2c3ϑ2(0)ϑ3(0)c2c3ϑ2(0)ϑ1(0)c2c3ϑ3(0)2)ei4,(32) (33) ei+1=viζ=(c2c3+c23+c2c3ϑ2(0)ϑ1(0)+c2c3ϑ2(0)ϑ3(0)+c2c3ϑ3(0)2c23ϑ2(0)ϑ1(0)c23ϑ2(0)ϑ3(0)c23ϑ3(0)2)ei4++O(ei9).(33) Now putting ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10,ϑ1(0)=72,ϑ2(0)=1,ϑ2(0)=4,ϑ3(0)=0 and ϑ3(0)=1, in (33), we have: (34) ei+1=(c24c437c25c3+5c23c32+32c27c22c4c3+32ϑ3(0)c25c332c23c32ϑ3(0)+12c2c33ϑ3(0)+124ϑ1(0)c25c312c27ϑ3(0)124ϑ1(0)c27)ei8+O(ei9).(34) Hence the result is proved.

1.1 Concrete's eight-order methods

We develop some concrete forms of iterative methods described by algorithm (10) in this section. Let us take the function ϑh(.) where h=1,2,3 and u=f(yi)f(xi), v=f(ti)f(xi), w=f(ti)f(yi) satisfying the condition ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10,ϑ1(0)=72, ϑ2(0)=1,ϑ2(0)=4,ϑ3(0)=0 and ϑ3(0)=1 of Theorem 1.1 and choose α=β=0.2. Therefore, we get following five new three-step iterative methods of order eight:

Method-1 (S1): Choosing ϑ1(u)=1+2u+5u2+12u3,ϑ2(v)=1+4v+αv2 and ϑ3(w)=w satisfying the conditions ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10,ϑ1(0)=72,ϑ2(0)=1,ϑ2(0)=4,ϑ3(0)=0, ϑ3(0)=1 and ϑ1(0)=ϑ2(0)=ϑ3(0)< of Theorem 1.1. Thus, we have the following iterative scheme as (35) vi=ti(f(yi)f(xi))((1+2(f(yi)f(xi))+5(f(yi)f(xi))2+12(f(yi)f(xi))3)(1+4(f(ti)f(xi))+α(f(ti)f(xi))2)+(f(ti)f(yi))2+(1+4(f(ti)f(xi))+α(f(ti)f(xi))2)(f(ti)f(yi))),(35) where yi=xif(xi)f(xi), ti=yi(f(yi)f(xi))(f(xi)f(xi)2f(yi))αR.

Method-2 (S2): Choosing ϑ1(u)=52u+u2512u,ϑ2(v)=5+8v+2v2512v, and ϑ3(w)=w+αβw2 where α,βR satisfying the conditions ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10, ϑ1(0)=72,ϑ2(0)=1,ϑ2(0)=4,ϑ3(0)=0,ϑ3(0)=1 and ϑ1(0)=ϑ2(0)=ϑ3(0)< of Theorem 1.1. Thus, we have the following iterative scheme as (36) vi=ti(f(yi)f(xi))((52(f(yi)f(xi))+(f(yi)f(xi))2512(f(yi)f(xi)))(5+8(f(ti)f(xi))+2(f(ti)f(xi))2512(f(ti)f(xi)))+((f(ti)f(yi))+αβ(f(ti)f(yi))2)2+(5+8(f(ti)f(xi))+2(f(ti)f(xi))2512(f(ti)f(xi)))((f(ti)f(yi))+αβ(f(ti)f(yi))2)),(36) where yi=xif(xi)f(xi), ti=yi(f(yi)f(xi))(f(xi)f(xi)2f(yi)).

Method-3 (S3): Choosing ϑ1(u)=1112u625720+625144(512u),ϑ2(v)=16v5372+62572(512v) and ϑ3(w)=0.2w0.2+w satisfying the conditions ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10,ϑ1(0)=72,ϑ2(0)=1, ϑ2(0)=4,ϑ3(0)=0,ϑ3(0)=1 and ϑ1(0)=ϑ2(0)=ϑ3(0)< of Theorem 1.1. Thus, we have the following iterative scheme as follows: (37) vi=tif(yi)f(xi)((1112(f(yi)f(xi))625720+625144(512(f(yi)f(xi))))(16(f(ti)f(xi))5372+62572(512(f(ti)f(xi))))+(0.2(f(ti)f(yi))0.2+(f(ti)f(yi)))2+(16(f(ti)f(xi))5372+62572(512(f(ti)f(xi))))(0.2(f(ti)f(yi))0.2+(f(ti)f(yi)))),(37) where ti=yi(f(yi)f(xi))(f(xi)f(xi)2f(yi)), yi=xif(xi)f(xi).

Method-4 (S4): Choosing ϑ1(u)=1+4u25uu32+αu4,ϑ2(v)=1+4v1+γv and ϑ3(w)=w+βw3 where α,γ,βR satisfying the condition ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10, ϑ1(0)=72,ϑ2(0)=1,ϑ2(0)=4,ϑ3(0)=0, ϑ3(0)=1 and ϑ1(0)=ϑ2(0)=ϑ3(0)< of Theorem 1.1. Thus, we have the following iterative scheme as (38) vi=ti(f(yi)f(xi))((1+4(f(yi)f(xi))25(f(yi)f(xi))(f(yi)f(xi))32+α(f(yi)f(xi))4)(1+4(f(ti)f(xi))1+γ(f(ti)f(xi)))+((f(ti)f(yi))+β(f(ti)f(yi))3)2+(1+4(f(ti)f(xi))1+γ(f(ti)f(xi)))((f(ti)f(yi))+β(f(ti)f(yi))3)),(38) where ti=yi(f(yi)f(xi))(f(xi)f(xi)2f(yi)), yi=xif(xi)f(xi)..

Method-5 (S5): Choosing ϑ1(u)=12u55u4u2+2u55+12u,ϑ2(v)=4+8v48v, and ϑ3(w)=w1+w satisfying the condition ϑ1(0)=1,ϑ1(0)=2,ϑ1(0)=10,ϑ1(0)=72,ϑ2(0)=1,ϑ2(0)=4,ϑ3(0)=0, ϑ3(0)=1 and ϑ1(0)=ϑ2(0)=ϑ3(0)< of Theorem 1.1. Thus, we have the following iterative scheme as

(39) vi=ti(f(yi)f(xi))((12(f(yi)f(xi))55(f(yi)f(xi))4(f(yi)f(xi))2+2(f(yi)f(xi))55+12(f(yi)f(xi)))(4+8(f(ti)f(xi))48(f(ti)f(xi)))+((f(ti)f(yi))1+(f(ti)f(yi)))2+(4+8(f(ti)f(xi))48(f(ti)f(xi)))((f(ti)f(yi))1+(f(ti)f(yi)))),(39)

where ti=yi(f(yi)f(xi))(f(xi)f(xi)2f(yi)), yi=xif(xi)f(xi).

2 Dynamical analysis

In this study, we characterize the stability of all fixed points and investigate the behaviour of these various approaches when applied to quadratic polynomials. The numerical iterative method for finding the roots of nonlinear equations generates the following rational map is given as (40) S1(z,α)=t(f(y)f(x))((1+2(f(y)f(x))+5(f(y)f(x))2+12(f(y)f(x))3)(1+4(f(t)f(x))+α(f(t)f(x))2)+(f(t)f(y))2+(1+4(f(t)f(x))+α(f(t)f(x))2)(f(t)f(y))),(40) where y=xf(x)f(x), t=y(f(y)f(x))(f(x)f(x)2f(y)).

The dynamical theories of complex dynamics that we apply in this work will now be reviewed (see [Citation28,Citation32]). The orbit of a point z0C is defined as follows {z0,(z0),2(z0),,n(z0),} given a rational function :CC, where C is the Riemann sphere. A point zC is called fixed point if (z)=z. A periodic point z is a point such that k1(z)=z and k2(z)z, for k2<k1. In particular, a fixed point is attractor if |(z)|<1, superattractor if |(z)|=0, repulsor if |(z)|>1 and parabolic if |(z)|=1. Therefore, the super attracting fixed point is also known as the critical point. An attracting point zC is defined on the basis of attraction, (z), as the set of starting points whose orbit tends to z. The scaling theorem enables an appropriate modification of the coordinate to reduce dynamics of iteration of general maps and examines a particular family of iterations of similar maps. As all of the numerical techniques S1–S5 and MM1–MM5 satisfy the scaling theorem and allows dynamics studies.

Theorem 2.1:

Rational map arsis from iterative methods S1 applied to an arbitrary quadratic polynomial p(z)=(za)(zb) where a,bR is conjugate via Möbius transformation by M(u)=uaub as (41) S1(z,α)=z8(Δ11+Δ12+Δ13)(Δ15+Δ16+Δ17),(41) where Δ11=32z22+12z21+73z20+304z19+977z18+2572z17+5737z16+11072z15+18757z14+2809z13,Δ12=σ11z12+σ12z11+σ13z10+σ14z9+σ15z8+σ16z7+σ17z6+σ18z5+σ19z4+σ10z3,Δ13=(α+578)z2+162z,Δ14=1+32z22+162z21+(α+57)z20,Δ15=σ21z19+σ22z18+σ23z17+σ24z16+σ25z17+σ26z16+σ27z15+σ28z14+σ29z13+σ20z14,Δ16=(75α+43730)z13+(31α+46657)z12+(8α+44292)z11+(α+37359)z10,Δ17=28094z9+1875z8+110872z7+5737z6+2572z5+977z4+304z3+73z2+12z, σ11=α+37,359,σ21=8α+1812,σ12=8α+44,292,σ22=31α+4444,σ13=31α+46,657,σ23=76α+9398,σ14=76α+43,730,σ24=100α+16,998,σ15=100α+36,327,σ25=144α+26,488,σ16=144α+26,481,σ26=100α+36,323,σ17=100α+16,889,σ27=76α+43,730,σ18=76α+9398,σ28=31α+46,657,σ19=31α+4444,σ29=8α+44,292,σ10=8α+1812,σ20=α+37,359.

Proof:

Let p(z)=(za)(zb) where a,bR. Möbius transformation is (42) M[u]=uaub(42) and inverse Möbius transformation is given as (43) (M[u])1=ubaua(43) which is considered as a map C. Then, we have (44) S1(z,α)=z8(Δ11+Δ12+Δ13)(Δ15+Δ16+Δ17),(44) where Δ11=32z22+12z21+73z20+304z19+977z18+2572z17+5737z16+11072z15+18757z14+2809z13,Δ12=σ11z12+σ12z11+σ13z10+σ14z9+σ15z8+σ16z7+σ17z6+σ18z5+σ19z4+σ10z3,Δ13=(α+578)z2+162z,Δ14=1+32z22+162z21+(α+57)z20,Δ15=σ21z19+σ22z18+σ23z17+σ24z16+σ25z17+σ26z16+σ27z15+σ28z14+σ29z13+σ20z14,Δ16=(75α+43730)z13+(31α+46657)z12+(8α+44292)z11+(α+37359)z10,Δ17=28094z9+1875z8+110872z7+5737z6+2572z5+977z4+304z3+73z2+12z, σ11=α+37,359,σ21=8α+1812,σ12=8α+44,292,σ22=31α+4444,σ13=31α+46,657,σ23=76α+9398,σ14=76α+43,730,σ24=100α+16,998,σ15=100α+36,327,σ25=144α+26,488,σ16=144α+26,481,σ26=100α+36,323,σ17=100α+16,889,σ27=76α+43,730,σ18=76α+9398,σ28=31α+46,657,σ19=31α+4444,σ29=8α+44,292,σ10=8α+1812,σ20=α+37,359.Similarly, we prove theorem for S2–S5 and MM1–MM7. The unions of the associated stability functions of all the strange fixed points of rational maps (S1–S5) are shown in Figure (a)-1 (41) (Figures ).

Figure 1. (a–e), shows the strange fixed point of iterative methods S1–S5, respectively.

Figure 1. (a–e), shows the strange fixed point of iterative methods S1–S5, respectively.

Figure 2. Shows zone of the stability region of iterative method S1 for α=1.

Figure 2. Shows zone of the stability region of iterative method S1 for α=1.

Figure 3. (a–d) depicts the dynamical planes corresponding to the  stable behaviour of iterative method S1 for various values of α=2i,10,20,000±20,000i respectively.

Figure 3. (a–d) depicts the dynamical planes corresponding to the  stable behaviour of iterative method S1 for various values of α=−2i,10,20,000±20,000i respectively.

Figure 4. (a,b) depicts the dynamical planes corresponding to the unstable behaviour of iterative method S1 for various values of α=200±200i.

Figure 4. (a,b) depicts the dynamical planes corresponding to the unstable behaviour of iterative method S1 for various values of α=200±200i.

Figure 5. (a-l) depicts the dynamical planes of iterative methods S1–S5, MM1–MM5 for α=10, respectively.

The fixed point of for rational map M1(z,α) are z=1, z=0 and z=. For the stability of fixed point of iterative maps M1(z,α), we compute M1(z,α).

The fixed points z=0 and z= are always super attractive, as seen in (1d) but the stability of other fixed points depends on the value of the parameter α, which is present in this case.

For z=1, the operator M1(z,α) yields (45) S1(z,α)=|327689α5248|.(45) The stability of the strange fixed point for z=1 is illustrated in the next result.

Theorem 2.2:

The character of the strange point z=1 is as follows.

  1. if |α52489|<132689, then z=1 is an attractor and it can be super attractor for α=1

  2. when |α52489|=132689, z=1 is a parabolic point.

  3. if α0 and |α52489|>132689, then z=1 is a repulsive.

Proof:

It is easy to prove (46) S1(1,α)=|327689α5248|.(46) So, (47) |32,7689α5248|1 is equivalent to |32,768||9α5248|.(47)

Let us consider α=a+ib an arbitrary complex number.

Then (48) (9a5248)2+b2(32,768)2,a14.(48) therefore |S1(1,α)|1 iff |α52489|327689. Finally, if α varies, then |α52489|327689 then |S1(1,α)|1 and z=1 is a repulsive, except if α=1,α=52489 for which z=1 is not a fixed point .

The functions where we examine stability of iterative method S1 are given as (49) S1(1,α)=min{S1(1,α),1}.(49) Dynamical Planes: Parametric planes are obtained by taking α over a mesh of 500×500 values in complex plane in Re(α)×Im(α) . [4,4],[4,4]. Taking 103 as a tolerance used as a stopping criterion. If the technique converges to either of the roots (0 and 1), the complex value of the parameter in the complex plane is painted in various colours, and black in all other cases.

Basins of Attraction: To provoke the basins of attraction of iterative schemes S1–S5, MM1–MM5 for determining the roots of the nonlinear equations, we execute the real and imaginary parts of the starting approximations represented as two axes over a mesh of 250×250 in complex plane. Use |xi+1xi|<103 as a stopping criterion and consider maximum 20 iterations. We allow different colours to mark to which root the iterative scheme converges and black in other cases. Colour brightness in basins shows a less number of iterations.

Table  clearly shows that the elapsed time of S1–S5 is better than MM1–MM7 for generating the basins of attraction of f3(x),f3(x),f5(x),f6(x), respectively. Elapsed time and brightness in colour of Figures (a–f) show dominance in efficiency of our methods S1–S5 as compared to MM1–MM7, respectively.

Figure 6. (a–l) show basins of attraction for methods S1–S5 and MM1–MM7, respectively, for function f1(x).

Figure 6. (a–l) show basins of attraction for methods S1–S5 and MM1–MM7, respectively, for function f1(x).

Figure 7. (a–l) show basin of attraction for methods S1–S5 and MM1–MM7, respectively, for function f2(x).

Figure 7. (a–l) show basin of attraction for methods S1–S5 and MM1–MM7, respectively, for function f2(x).

Figure 8. (a–l) show basins of attraction for methods S1–S5 and MM1–MM7, respectively, for function f3(x).

Figure 8. (a–l) show basins of attraction for methods S1–S5 and MM1–MM7, respectively, for function f3(x).

Figure 9. (a–l) show basins of attraction for methods S1–S5 and MM1–MM7, respectively, for function f4(x).

Figure 9. (a–l) show basins of attraction for methods S1–S5 and MM1–MM7, respectively, for function f4(x).

Table 1. Elapsed time in seconds.

3 Numerical outcomes

Some numerical examples [Citation5,Citation9,Citation10,Citation18,Citation25–32] are being used to test the efficiency of our three-step eight-order single root finding methods S1–S5 compared to MM1–MM7. All computations are performed in Maple 18 with 2500 significant digits and the following termination criteria: ei=|f(xi)|<∈,(ii)ei=|xiζ|<∈,where ei represents the absolute error of function values in (i) and norm-2 in (ii) [Citation8]. We take ∈=10200 for single root finding method. Numerical tests examples are provided in Tables . In all tables, ρ represents computational order of convergence [Citation14] and CPU represents computational time in seconds.

3.1 Real-world application

In this section, we discuss some real-world applications whose solutions are approximated by our newly constructed methods S1–S5.

Table 2. Numerical comparison of S1–S5 and MM1–MM7.

Table 3. Numerical comparison of S1–S5 and MM1–MM7.

Table 4. Numerical comparison of S1–S5 and MM1–MM7.

Table 5. Numerical comparison of S1–S5 and MM1–MM7.

Table 6. Numerical comparison of S1–S5 and MM1–MM7.

Table 7. Numerical comparison of S1–S5 and MM1–MM7.

3.1.1 Solar energy system: a mechanical engineering problem

In studies of solar energy collection by focusing a field of plane mirrors on a central collector, one researcher obtained the following equation for geometrical concentration factor c: (50) c=π(hcos(x))2F0.5πD2(1+sin(x)0.5cos(x)),(50) (51) f1(x)=cπ(hcos(x))2F0.5πD2(1+sin(x)0.5cos(x)),(51) where x is the rim angle of the field. F is the fraction coverage of the field with mirrors. D is the diameter of the collector and h is the height of the collector. To find rim angle x i.e. solution of (51), we choose h = 300, c = 1200, F = 0.8, and D = 14 and choose x0=0.9, where ζ=0.8570854843.

The corresponding results for f1(x) are clearly shown in Table . The theoretical order of convergence matches the computational order of convergence. On the same number of iterations, the computation residual error of our iterative schemes S1–S5 are better than MM1–MM5.

3.1.2 Water discharge problem

Water is discharged from a reservoir through a long pipe. By neglecting the change in the level of the reservoir, the transient velocity v(t) of the water flowing from the pipe at time t is given by (52) v(t)=2gx×tanh(t2l2gx),(52) (53) f2(x)=v(t)2gx×tanh(t2l2gx),(53) where h is the height of the fluid in the reservoir, l is the length of the pipe, g = 9.81 m/s2 is gravity. Finding the value of h necessary to achieve a velocity of v = 4 m/s at time t = 4 sec, when l = 5 m. Using S1–S5, MM1–MM7 numerical iterative methods for calculating the exact root of (53), we start with x0=1 and obtain the following results.

The corresponding results for f2(x) are clearly shown in Table . The theoretical order of convergence matches the computational order of convergence. On the same number of iterations, the computation residual error of our iterative schemes S1–S5 are better than MM1–MM5.

3.1.3 Projectile motion

Consider a projectile [Citation17,Citation18,Citation30] which is projected from a tower of height h>0 onto a hill with initial speed v with angle θ. Define an impact function ω(x) which depends on horizontal distance x. The path function of projectile is defined as (54) P(x)=h+xtanθgx22v2sec2θ.(54) When the projectile hits the hill there exist a value of x for which P(x)=ω(x). We have to find such a value of θ which maximizes x, therefore differentiating (54) with respect to θ i.e. (55) ω(x)dxdθ=xsec2θ+dxdθgv2(x2sec2θtanθ+xdxdθsec2θ),(55) putting dxdθ=0, we have: (56) x=v2gcotθ,(56) (57) θ=tan1(v2gx).(57) Taking enveloping parabola ω=tanθ [Citation27], we have: (58) y=P(x)=h+xωgx22v2(1+ω2).(58) Differentiating (58) and setting y=0, we have: (59) y=xxg2v2(ω),(59) (60) ω=v2gx.(60) Thus, our enveloping parabola becomes: (61) y=ρ(x)=h+v22ggx22v2.(61) For the solution of the parabola first we find x by taking ω(x)=0.4x and h=10,v=20,g=9.8, in (47), we can write: f(x)=ρ(x)ω(x)=h+v22ggx22v20.4x, (62) f3(x)=9.8800x20.4x+10+40019.6=0.01225x20.4x+30.40816327,(62) and (63) θm=tan1(v2gxm)=48.5o.(63) The exact roots of (62) are ζ1=36.102970117,ζ2=68.756.

The initial estimate for f3(x) is taken as x0=30:

The corresponding results for f3(x) are clearly shown in Table . The theoretical order of convergence matches the computational order of convergence. On the same number of iterations, the computation residual errors of our iterative schemes S1–S5 are better than MM1–MM5.

3.1.4 Fluid permeability in bio gels:

Specific hydraulic permeability [Citation34] relates the pressure gradient to fluid velocity in a porous medium (agarose gel or extracellular fibre matrix) and is shown in the following non-linear polynomial equations: (64) k=Re2x320(1x)2,(64) or (65) Rex320k(1x)2=0,(65) where k is specific hydraulic permeability, Re radius of the fibre, and x is the porosity [Citation35]. Using k=0.4655 and Re=100109, we have: (66) f4(x)=100109x3+9.3100x218.6200x+9.3100.(66) The exact roots of (66) are ζ1=0.9999999997,ζ2=1.000000000,ζ3=9.311018.

We choose x(0)=9.31017 as an estimate for determination of roots (66).

The corresponding results for f4(x) are clearly shown in Table . The theoretical order of convergence matches the computational order of convergence. On the same number of iterations, the computation residual error of our iterative schemes S1–S5 are better than MM1–MM5.

3.1.5 Beam designing model [29]

Consider a problem of beam positioning [Citation25,Citation26], resulting in a nonlinear function given as (67) f5(x)=x4+4x324x2+16x+16=(x2)2(x2+8x+4).(67) The exact roots of (67) are ζ1,2=2, ζ3=423, ζ3=2, ζ4=4+23.

The initial estimates for f5(x) are taken as x0=0.5 our required exact root is 2.

The corresponding results for f5(x) are clearly shown in Table . The theoretical order of convergence matches the computational order of convergence. On the same number of iterations, the computation residual error of our iterative schemes S1–S5 are better than MM1–MM5.

3.1.6 Fractional conversion [28,29]

The following expression [Citation31,Citation32] describes the fractional conversion of nitrogen, hydrogen feed at 250 atm. and 227 K. (68) f6(x)=x47.79075x3+14.7445x2+2.511x1.674.(68) The exact roots of (68) are ζ1=3.9485+0.3161i,ζ2=3.94850.3161i,ζ3=0.3841,ζ4=0.2778.

The initial estimate for f6(x) is taken as x0=0.1 and our desired exact roots is 0.2778.

The corresponding results for f6(x) are clearly shown in Table . The theoretical order of convergence matches the computational order of convergence. On the same number of iterations, the computation residual error of our iterative schemes S1–S5 are better than MM1–MM5.

4 Conclusion

A new family of optimal three-point eighth-order numerical iterative algorithms for approximating a simple root of a given nonlinear equation is developed using the weight function technique. The software CAS-Maple has been used to prove that the optimal technique is convergent with convergence order equals eight. The methods require only four function evaluations every iteration, resulting in an optimal order eight method. As a result, the Kung and Traub conjecture holds true for the new methods. The proposed schemes are tested against various existing schemes, demonstrating the superiority of the proposed methods. Six  engineering application problems are solved, including projectile motion, beam designing model, and fractional conversion, with the new approaches excelling the other methods. Further research has been done on the complex plane for such methods to expose their basins of attraction for solving complex polynomials by presenting the fractal graphs that correlate to them. The numerical results of the proposed methods, as well as the elapsed time for their fractal graphs in Table , indicate that the novel methods are a feasible alternative for solving scalar nonlinear equations. Tables  show the numerical results. On the third iteration, Tables  clearly show that the residual error, CPU time, and local computational order of convergence of newly proposed methods S1–S5 are significantly superior to existing methods MM1–MM7.

Disclosure statement

No potential conflict of interest was reported by the author(s).

References

  • Consnard M, Fraigniaud P. Finding the roots of a polynomial on an MIMD multicomputer. Parallel Comput. 1990;15(1):75–85.
  • Agarwal P, Filali D, Akram M, et al. Convergence analysis of a three-step iterative algorithm for generalized set-valued mixed-ordered variational inclusion problem. Symmetry (Basel). 2021;13(3):444.
  • Sunarto A, Agarwal P, Sulaiman J, et al. Iterative method for solving one-dimensional fractional mathematical physics model via quarter-sweep and PAOR. Adv Differ Equ. 2021;1:147.
  • Attary M, Agarwal P. On developing an optimal Jarratt-like class for solving nonlinear equations. Ital J Pure Appl Math. 2020;43:523–530.
  • Sendov B, Andereev A, Kjurkchiev N. Numerical solutions of polynomial equations. New York: Elsevier science; 1994.
  • Wang X, Liu L. Modified Ostrowski’s method with eight -order convergence and high efficiency index. Appl Math Lett. 2010;23:549–554.
  • Li TF, Li DS, Xu ZD, et al. New iterative methods for non-linear equations. Appl Math Comput. 2008;2:755–759.
  • Kumar S, Kumar D, Sharma JR, et al. An optimal fourth order derivative-free numerical algorithm for multiple roots. Symmetry (Basel). 2020;12(6):1038.
  • Mir NA, Muneer R, Jabeen I. Some families of two-step simultaneous methods for determining zeros of non-linear equations. ISRN Appl Math. 2011;2011:1–11.
  • Farmer MR. Computing the zeros of polynomials using the divide and conquer approach. [dissertation]. Ph.D Thesis. Department of Computer Science and Information Systems, Birkbeck: University of London; 2014.
  • Bi W, Ren H, Wu Q. Three-step iterative methods with eighth-order convergence for solving nonlinear equations. J Comput Appl Math. 2009;225:105–112.
  • Chun C, Ham YM. Some sixth-order variants of Ostrowski root-finding methods. Appl Math Comput. 2007;193:389–394.
  • Wang X, Liu L. Two new families of sixth-order methods for solving non-linear equations. Appl Math Comput. 2009;213(1):73–78.
  • Jay LO. A note on Q-order of convergence. Bit Numer Math. 2001;41:422–429.
  • Babajee DKR, Cordero A, Soleymani F, et al. On improved three-step schemes with high efficiency index and their dynamics. Numer Algor. 2014;65:153–169.
  • Cordero A, Fardi M, Ghasemi M, et al. Accelerated iterative methods for finding solutions of nonlinear equations and their dynamical behavior. Calcolo. 2014;51:17–30.
  • Sharma JR, Sharma R. A new family of modified Ostrowski’s methods with accelerated eighth order convergence. Numer Algor. 2010;54:445–458.
  • Liu L, Wang X. Eighth-order methods with high efficiency index for solving nonlinear equations. Appl Math Comput. 2010;215:3449–3454.
  • Wang X, Liu L. New eighth-order iterative methods for solving nonlinear equations. J Comput Appl Math. 2010;234:1611–1620.
  • Kung HT, Traub JF. Optimal order of one-point and multipoint iteration. J Assoc Comput Mach. 1974;21(643):651.
  • Shacham M. An improved memory method for the solution of a nonlinear equation. Chem Eng Sci. 1989;44:1495–1501.
  • Balaji GV, Seader JD. Application of interval Newton’s method to chemical engineering problems. Reliab Comput. 1995;1:215–223.
  • Babajee DKR, Madhu K. Comparing two techniques for developing higher order two-point iterative methods for solving quadratic equations. SeMA J. 2018; 76(2):1–22.
  • Kantrowitz R, Neumann MM. Some real analysis behind optimization of projectile motion. Mediterr J Math. 2014;11:1081–1097.
  • Keshet EL. Differential calculus for the life sciences. Vancouver, BC: University of British Columbia; 2017.
  • Zachary JL. Introduction to scientific programming: computational problem solving using Maple and C. New York (NY): Springer; 2012.
  • Henelsmith N. Finding the optimal launch angle. Walla Walla (WA): Whitman College; 2016.
  • Chicharro FI, Cordero A, Garrido N, et al. Stability and applicability of iterative methods with memory. J Math Chem. 2019;57(5):1282–1300.
  • Zafar F, Cordero A, Torregrosa JR. An efficient family of optimal eighth-order multiple root finders. Mathematics. 2018;6:310.
  • Tao Y, Madhu K. Optimal fourth, eighth and sixteenth order methods by using divided difference techniques and their basins of attraction and its application. Mathematics. 2019;7:322.
  • Shacham M. An improved memory method for the solution of a nonlinear equation. Chem Eng Sci. 1989;44:1495–1501.
  • Argyros IK, Magreñán AA, Orcos L. Local convergence and a chemical application of derivative free root finding methods with one parameter based on interpolation. J Math Chem. 2016;54:1404–1416.
  • Liu L, Wang X. Eighth-order methods with high efficiency index for solving nonlinear equations. Appl Math Comput. 2010;215:3449–3454.
  • Fournier RL. Basic transport phenomena in biomedical engineering. New York (NY): Taylor & Franics; 2007.
  • Saltzman WM. Drug delivery: engineering principal for drug therapy. New York (NY): Oxford University Press; 2001.