Research article Special Issues

Local convergence study of tenth-order iterative method in Banach spaces with basin of attraction

  • Many applications from computational mathematics can be identified for a system of non-linear equations in more generalized Banach spaces. Analytical methods do not exist for solving these type of equations, and so we solve these equations using iterative methods. We introduced a new numerical technique for finding the roots of non-linear equations in Banach space. The method is tenth-order and it is an extension of the fifth-order method which is developed by Arroyo et.al. [1]. We provided a convergence analysis to demonstrate that the method exhibits tenth-order convergence. Also, we discussed the local convergence properties of the suggested method which depends on the fundamental supposition that the first-order Fréchet derivative of the involved function Υ satisfies the Lipschitz conditions. This new approach is not only an extension of prior research, but also establishes a theoretical concept of the radius of convergence. We validated the efficacy of our method through various numerical examples. Our method is comparable with the methods of Tao Y et al. [2]. We also compared it with higher-order iterative methods, and we observed that it either performs similarly or better for the numerical examples. We also gave the basin of attraction to demonstrate the behaviour in the complex plane.

    Citation: Kasmita Devi, Prashanth Maroju. Local convergence study of tenth-order iterative method in Banach spaces with basin of attraction[J]. AIMS Mathematics, 2024, 9(3): 6648-6667. doi: 10.3934/math.2024324

    Related Papers:

    [1] Kasmita Devi, Prashanth Maroju . Complete study of local convergence and basin of attraction of sixth-order iterative method. AIMS Mathematics, 2023, 8(9): 21191-21207. doi: 10.3934/math.20231080
    [2] G Thangkhenpau, Sunil Panday, Bhavna Panday, Carmen E. Stoenoiu, Lorentz Jäntschi . Generalized high-order iterative methods for solutions of nonlinear systems and their applications. AIMS Mathematics, 2024, 9(3): 6161-6182. doi: 10.3934/math.2024301
    [3] Xiaofeng Wang, Ning Shang . Semi-local convergence of Cordero's sixth-order method. AIMS Mathematics, 2024, 9(3): 5937-5950. doi: 10.3934/math.2024290
    [4] Xiaofeng Wang, Yufan Yang, Yuping Qin . Semilocal convergence analysis of an eighth order iterative method for solving nonlinear systems. AIMS Mathematics, 2023, 8(9): 22371-22384. doi: 10.3934/math.20231141
    [5] Mudassir Shams, Nasreen Kausar, Serkan Araci, Liang Kong, Bruno Carpentieri . Highly efficient family of two-step simultaneous method for all polynomial roots. AIMS Mathematics, 2024, 9(1): 1755-1771. doi: 10.3934/math.2024085
    [6] Xiaofeng Wang, Ying Cao . A numerically stable high-order Chebyshev-Halley type multipoint iterative method for calculating matrix sign function. AIMS Mathematics, 2023, 8(5): 12456-12471. doi: 10.3934/math.2023625
    [7] Fei Ma, Jun Yang, Min Yin . A strong convergence theorem for solving pseudo-monotone variational inequalities and fixed point problems using subgradient extragradient method in Banach spaces. AIMS Mathematics, 2022, 7(4): 5015-5028. doi: 10.3934/math.2022279
    [8] Alicia Cordero, Arleen Ledesma, Javier G. Maimó, Juan R. Torregrosa . Design and dynamical behavior of a fourth order family of iterative methods for solving nonlinear equations. AIMS Mathematics, 2024, 9(4): 8564-8593. doi: 10.3934/math.2024415
    [9] Dalal Khalid Almutairi, Ioannis K. Argyros, Krzysztof Gdawiec, Sania Qureshi, Amanullah Soomro, Khalid H. Jamali, Marwan Alquran, Asifa Tassaddiq . Algorithms of predictor-corrector type with convergence and stability analysis for solving nonlinear systems. AIMS Mathematics, 2024, 9(11): 32014-32044. doi: 10.3934/math.20241538
    [10] Velusamy Kavitha, Mani Mallika Arjunan, Dumitru Baleanu . Non-instantaneous impulsive fractional-order delay differential systems with Mittag-Leffler kernel. AIMS Mathematics, 2022, 7(5): 9353-9372. doi: 10.3934/math.2022519
  • Many applications from computational mathematics can be identified for a system of non-linear equations in more generalized Banach spaces. Analytical methods do not exist for solving these type of equations, and so we solve these equations using iterative methods. We introduced a new numerical technique for finding the roots of non-linear equations in Banach space. The method is tenth-order and it is an extension of the fifth-order method which is developed by Arroyo et.al. [1]. We provided a convergence analysis to demonstrate that the method exhibits tenth-order convergence. Also, we discussed the local convergence properties of the suggested method which depends on the fundamental supposition that the first-order Fréchet derivative of the involved function Υ satisfies the Lipschitz conditions. This new approach is not only an extension of prior research, but also establishes a theoretical concept of the radius of convergence. We validated the efficacy of our method through various numerical examples. Our method is comparable with the methods of Tao Y et al. [2]. We also compared it with higher-order iterative methods, and we observed that it either performs similarly or better for the numerical examples. We also gave the basin of attraction to demonstrate the behaviour in the complex plane.



    In the realm of scientific and engineering applications, many problems often lead to the formulation of nonlinear equations that resist straightforward analytical solutions. These equations, encompassing a wide range of complexities, arise in various fields such as biology, economics, engineering, and physics. While linear equations can be tackled through well-established methods, nonlinear equations necessitate more sophisticated techniques. Among these, iterative methods play a pivotal role in approximating solutions.

    Iterative methods involve the process of repeatedly refining an initial estimate to converge towards the true solution of an equation. These methods find extensive usage in both linear and nonlinear scenarios. When it comes to nonlinear equations, they provide a powerful tool kit for solving equations that do not involve derivatives. In particular, higher-order iterative methods bring for a class of techniques capable of yielding accurate solutions for nonlinear non-differential equations of various orders.

    One crucial aspect of numerical analysis is understanding the behavior and performance of numerical methods, especially in the context of iterative techniques used to solve nonlinear equations. Local convergence analysis [1,3,4,5,6] is a fundamental tool in assessing the behavior of iterative methods in the vicinity of a potential solution. When dealing with iterative methods, it is important to consider not only whether the method converges, i.e. approaches a solution, but also how quickly and reliably it converges. Local convergence analysis specifically examines the behavior of an iterative method when starting from an initial guess that is close to the true solution. In local convergence analysis, the convergence behavior is often characterized by a convergence radius. This radius defines a region around the true solution within which the iterative method is expected to converge. If the initial guess falls within this region, the method is likely to converge to the solution.

    Many researchers have developed a higher-order iterative methods for the solution of nonlinear equations [7,8,9,10,11]. One of the most demanding iterative methods is Newton-Rapshon method denoted which has second order of convergence. The Halley and Chebyshev methods third order of convergence [12]. Fourth-order convergence developed by [12,13,14,15]. In [7,16,17] the reserachers developed fifth-order convergence. In [18,19] the reserachers developed sixth-order convergence. Eighth-order convergence analysis was discussed by [2,14].

    The main motive of this paper is to develop a higher tenth-order iterative technique by extending the fifth-order method proposed by Arroyo and Cordero[1] for finding the roots of nonlinear equations in Banach space. In our research, we analyze how well our proposed method works within a specific region, focusing on the behavior of its first Fréchet derivative and Lipschitz constants. We also determine the range within which our method is effective and provide ways to estimate errors in the distances χnχ. We solved various numerical problems using Mathematica 11.3 in order to demonstrate the efficacy of the methods. The results of the proposed methods are compared with the results of the Tao and Madhu [2]. The proposed technique represented in the complex plane by using the basin of attraction.

    This paper is organized as follows: In Section 2, we have given the proposed tenth-order iterative technique. In Section 3, we have derived the convergence analysis of proposed technique. In Section 4, we proved the local convergence analysis of our method. In Section 5, we gave some numerical examples to verify the results obtained in Section 2. In Section 6, we studied the basin of attraction of the proposed iterative method. Finally, in Section 7, we have given the conclusion.

    In this section, we developed our tenth-order iterative method using the fifth-order method.

    In 2015, Arroyo and Cordero [1] developed the fifth-order iterative method as follows:

    ψn=χn[Υ(χn)]1Υ(χn),zn=ψn5[Υ(χn)]1Υ(ψn),χn+1=zn15[Υ(χn)]1[16Υ(ψn)+Υ(zn)]. (2.1)

    We have generalized (2.1) by adding the 4th step as follows:

    ψn=χn[Υ(χn)]1Υ(χn),zn=ψn5[Υ(χn)]1Υ(ψn),wn+1=zn15[Υ(χn)]1[16Υ(ψn)+Υ(zn)],χn+1=wn[Υ(wn)]1(Υ(wn)). (2.2)

    Now, we discuss the convergence analysis of our proposed method.

    Theorem 3.1. Assume we have a function Υ defined on an open interval Ω, with a simple root χ within that interval. If Υ(χ) is smooth in the vicinity of the root χ, we can employ the methods described by (2.2), which have a high accuracy, specifically being of order 10 and satisfying the following error equation:

    en+1=4c52(7c22+2c3)2e105+O(e115). (3.1)

    Proof. Let en=χnχ be the error in nth iteration. Using Taylor's series expansion around χ, we get

    Υ(χn)=Υ(χ)+Υ(χ)1!(χnχ)+Υ(χ)2!(χnχ)2+Υ(χ)3!(χnχ)3+,Υ(χn)=Υ(χ)[en+c2e2n+c2e3n+c3e4n+c4e4n+c5e5n+c6e6n+c7e7n],Υ(χn)=Υ(χ)[1+2c2en+3c2e2n+4c3e3n+4c4e3n+5c5e4n+c6e5n+c7e6n].

    From the first step of (2.2), we get

    ψn=c2e2n+(2c32c22)e3n+(4c327c3c2+3c4)e4n+(8c42+20c3c2210c4c26c23+4c5)e5n+(16c5252c3c32+28c4c22+(33c2313c5)c217c3c4+5c6)e6n2(16c6264c3c42+36c4c32+9(7c232c5)c22+(8c646c3c4)c29c33+6c24+11c3c5)e7n+,

    From the second step of (2.2), we get

    zn=4c2e2n+(18c228c3)e3n+(61c32+63c3c212c4)e4n+2(91c42150c3c22+45c4c2+27c238c5)e5n+(504c52+1148c3c32422c4c22+(117c5482c23)c2+153c3c420c6)e6n+2(664c621936c3c42+804c4c32+4(333c2368c5)c22+(72c6674c3c4)c2126c33+54c24+99c3c5)e7n+.

    From the third step of (2.2), we get

    wn=(14c42+4c3c22)e5n+c2(140c42+65c3c22+4c4c2+17c23)e6n+2(430c62535c3c42+44c4c32+(37c23+2c5)c22+22c3c4c2+9c33)e7n+.

    Finally, we get

    en+1=4c52(7c22+2c3)2e10n+O(e11n). (3.2)

    Equation (3.2) shows that the order of convergence of (2.2) is tenth-order.

    This completes the proof.

    In this section, we discuss the local convergence of (2.2) in Banach space.

    Theorem 4.1. Let, Υ:ΩSS be a differentiable function. Suppose that there exists χΩ, given parameters λ0>0,λ>0,M1, and for each χ,ψΩ the following are true:

    Υ(χ)=0,(Υ(χ))1L(S,S),||Υ(χ)1(Υ(χ)Υ(χ))||λ0||χχ||, (4.1)
    ||Υ(χ)1(Υ(χ)Υ(ψ)||λ||χψ||, (4.2)
    ||Υ(χ)1(Υ(χ)||M, (4.3)
    ¯U(χ,r)Ω. (4.4)

    Then, the sequence generated by method (2.2) for χ0U(χ,r)χ is well defined in ¯U(χ,r) for each n=0,1,2,3,..... and converges to χ. Moreover the following estimates hold.

    ||ψnχ||τ1(χnχ)||χnχ||<||χnχ||<1, (4.5)
    ||znχ||τ2(χnχ)||χnχ||<||χnχ||<1, (4.6)
    ||wnχ||τ3(χnχ)||χnχ||<||χnχ||<1, (4.7)
    ||χn+1χ||τ4(χnχ)||χnχ||<||χnχ||<1. (4.8)

    Furthermore, suppose that there existsR[r,2λ0) such that ¯U(χ,R). Then, the limit point χ is the only solution of Υ(χ)=0 in ¯U(χ,R).

    Proof. In this section, we present the local convergence analysis of our developed iterative method (2.2). Let λ0>0, L>0, M>0 be the given parameters. Suppose, there exists χΩ such that Υ(χ)=0. Let us assume that

    ||Υ(χ)1(Υ(χ)Υ(χ))||λ0||χχ||.

    Since χ0D,

    ||Υ(χ)1(Υ(χ0)Υ(χ))||λ0||χ0χ||. (4.9)

    Let us assume that ||χ0χ||<1λ0, which implies

    ||Υ(χ)1Υ(χ0)I||<1,

    (Υ(χ0))1L(S,S), and the value of ||(Υ(χ0))1|| is

    ||(Υ(χ0))1Υ(χ)||=11λ0||χ0χ||. (4.10)

    From the first step of (2.2),

    ψn=χn(Υ(χn))1Υ(χn). (4.11)

    Putting n=0 in (4.11),

    ψ0=χ0(Υ(χ0))1Υ(χ0),
    ψ0χ=(Υ(χ0))110[Υ(χ+θ(χ0χ))Υ(χ0)]dθ(χ0χ).

    Taking the norm on both sides, we get

    ||ψ0χ||=||(Υ(χ0))110[Υ(χ+θ(χ0χ))Υ(χ0)]dθ(χ0χ)||,
    ||ψ0χ||||(Υ(χ0))1Υ(χ)10(Υ(χ))1[Υ(χ+θ(χ0χ))Υ(χ0) dθ]||||χ0χ||,
    ||ψ0χ||λ||χ0χ||22(1λ0||χ0χ||),
    ||ψ0χ||τ1||χ0χ||||χ0χ||,

    for n=0, ψ0U(χ,r),

    τ1(t)=λt2(1λ0t). (4.12)

    From the second step of (2.2), we get

    z0=ψ05[Υ(χ0)]1Υ(ψ0).

    Taking the norm on both sides, we get

    ||z0χ||=||(ψ0χ)5[Υ(χ0)]1Υ(ψ0)||,
    ||z0χ||||ψ0χ||+5||Υ(ψ0)[Υ(χ0)]1||||ψ0χ||+5M||ψ0χ||11λ0||χ0χ||=||ψ0χ||+[1+5M1λ0||χ0χ||]τ1||χ0χ||+[1+5M1λ0||χ0χ||]||χ0χ||=τ2(||χ0χ||)||χ0χ||<r.

    Since ||z0χ0||<r, then z0U(χ,r), where

    τ2(t)=τ1(t)[1+5M1λ0t]. (4.13)

    From the third step of (2.2), we get

    wn+1=zn15[Υ(χn]1[16Υ(ψn)+Υ(zn)]. (4.14)

    Taking the norm on both sides, we get

    ||w0χ0||||z0χ0||+165||Υ(ψ0)(Υ(χ0))1||+15||Υ(z0)(Υ(χ0))1||||z0χ0||+165M||ψ0χ||11λ0||χ0χ||+15M||z0χ||11λ0||χ0χ||τ2(||χ0χ||)||χ0χ||+165Mτ1(χ0χ)χ0χ11λ0||χ0χ||+15Mτ2||(χ0χ)||||(χ0χ)||11λ0||χ0χ||=(τ2||(χ0χ)||[1+M511λ0||χ0χ||]+165Mτ1(χ0χ11λ0||χ0χ||)χ0χτ3(χ0χ)χ0χ<r,

    where

    τ3(t)=τ2(t)[1+M5(1λ0t)]+165Mτ1(t)11λ0t. (4.15)

    From the final step of (2.2),

    χn+1=wn[Υ(wn)]1(Υ(wn)).

    Taking the norm on both sides, we get

    ||χ1χ||=||w0χΥ(w0)(Υ(w0))1||τ3(χ0χ)χ0χ+M||w0χ||11λ0||w0χ||τ3(χ0χ)χ0χ+Mτ3(χ0χ)χ0χ11λ0τ3(χ0χ)χ0χ=(τ3(χ0χ)[1+M11λ0τ3(χ0χ])χ0χ=τ4(χ0χ)χ0χ<r,

    where

    τ4(t)=τ3(t)[1+M11λ0τ3(t)]. (4.16)

    From this, we can conclude that χ1U(χ,r) for n=0. By simply replacing χ0,ψ0,z0,w0,χ1 as χk,ψk,zk,wk,χk+1 we get

    ||χk+1χ||<||χkχ||<r.

    Since ||χk+1χ||<r, that means χk+1U(χ,r).

    Uniqueness: To show the uniqueness part, let ψ be another root. Then, by definition, Υ(ψ)=0 and ψ¯U(χ,R).

    Let T=10Υ(ψ+θ(χψ))dθ.

    Now,

    ||Υ(χ)1(TΥ(χ)||||10λ0(ψ+θ(χψ))dθ||<1. (4.17)

    By applying the Banach Inversion Lemma, T1 exists. Hence, ψ=χ.

    This completes the proof.

    In this section, we present a comprehensive numerical comparison between our newly developed tenth-order iterative method and the existing higher-order iterative method[2]. We demonstrate the performance of the methods. All experiments were conducted on Mathematica 11.3.

    Example 5.1. (Classical projectile problem) [2] Suppose someone is standing on a tower and want to launch an object (like a ball) off the tower at a certain speed and angle so that it reaches a hill in the distance. The hill is represented by a function which tells us its height at any horizontal distance. To figure out the best angle to launch the object (the projectile) so that it travels the farthest horizontally and hits the hill, we need the following:

    The height of the tower = h;

    The initial speed of launching an object = v;

    From the horizontal the angle = θ;

    There's a hill in the distance described by a function = w(χ);

    The height of the hill at any horizontal distance = χ.

    We want to maximize the horizontal distance travelled by the projectile.

    To do this, we find the launch angle θm that gives the maximum horizontal distance. The path function

    p(χ)=h+χtanθgχ22v2sec2θ, (5.1)

    where y=p(χ) is the motion of projectile.

    When the projectile hits the hill, there is a value of χ for which P(χ)=w(χ) for each value of x. We wish to find the value of θ that maximizes x.

    w(χ)=p(χ)=h+xtanθgχ22v2sec2θ. (5.2)

    Differentiating (5.1) implicitly with respect to θ, we have

    w(χ)dχdθ=χsec2θ+dχdθtanθgv2(χ2sec2θtanθ+χdxdθsec2θ). (5.3)

    Setting dxdθ=0 in Eq (5.3), we have

    χm=v2gcotθm (5.4)

    or

    θm=arctan(v2gχm). (5.5)

    An enveloping parabola encloses and intersects all potential projectile paths. Henelsmith determined this parabola by maximizing the projectile height for a given horizontal distance, encompassing all possible paths.

    Letting w=tan(θ), in Eq (5.1), we get

    ψ=P(χ)=h+χwgχ22v2(1+w2). (5.6)

    Differentiating (5.6) with respect to w and setting ψ=0, we get, as Henelsmith obtained,

    ψ=χχg2v2(w)=0, (5.7)
    w=v2gχ, (5.8)

    so that the enveloping parabola defined by

    ψm=ρ(χ)=h+v22gχg2v2. (5.9)

    To solve the projectile problem, first determine the value of χm that makes the density function ρ(χ) equal to the function w(χ). Solving for θm in (5.5) because we want to find the point at which the enveloping parabola ρ intersects the impact function w, and then find θ that corresponds to this point on the enveloping parabola. We choose a linear impact function w(χ)=0.4x with h = 10 and v = 20. Let g=9.8, then the nonlinear equation is given by,

    Υ(χ)=ρ(χ)w(χ)=h+v22ggχ22v20.4χ, (5.10)

    χ0=30,χ=36.103018.

    The Table 1 summarizes the numerical results, showcasing the performance of both the proposed method and 16th-order method demonstrating its superiority. To further emphasize this point, the Figure 1 visually represents the error bounds for both methods. The reduction in error bounds signifies the enhanced accuracy and efficiency of our approach.

    Table 1.  Numerical comparison between proposed iterative method PM and 16th-order.
    method n χn Υ(χn) χn1χn COC CPU Time
    PM 1 36.103 4.1079×108 3.19557×108
    2 36.103 0 0 10 0.125
    16th YM 3 36.103 - 0 16.01 0.512152

     | Show Table
    DownLoad: CSV
    Figure 1.  Graphical comparison between proposed iterative method PM and 16th-order.

    Example 5.2. This problem is related to Plank's radiation law [2],

    ϕ(t)=8πcht5echtkT1.

    Planck's radiation law is a formula used to calculate the energy density within a black body at

    specific temperature = T;

    speed of light = c;

    wavelength = t;

    Planck's constant = h;

    Boltzmann's constant = k.

    By finding the maximum of the function ϕ(t) and its corresponding wavelength (t), one can use the derivative ϕ(t)=0 to derive the maximum wavelength according to the law. This law is crucial in understanding the radiation emitted by black bodies at different temperatures. The maximum of the function ϕ(t) and the associated wavelength t can be derived from ϕ(t)=0, and, therefore, by setting χ=chtkT, we get the equation

    eχ+χ51,(χ0=3).

    Initial point χ0=3 will be used in the following numerical tests for finding the simple root α=4.965114.

    The Table 2 summarizes the numerical results, showcasing the performance of both the proposed method and 16th-order method demonstrating its superiority. To further emphasize this point, the Figure 2 visually represents the error bounds for both methods. The reduction in error bounds signifies the enhanced accuracy and efficiency of our approach.

    Table 2.  Numerical comparison between proposed iterative method PM and 16th-order.
    method n χn Υ(χn) χn1χn COC CPU Time
    PM 1 4.9651170871159177010 5.5×107 2.9×106
    2 4.9651142317442763037 5.1×1069 2.6×1068 10 0.265
    3 4.9651142317442763037 2.4×10689 1.2×10688
    16th YM 1 4.9650723894771912524 8.1×106 0.000042
    2 4.9651142317442763037 9.2×1051 4.8×1050 16 0.828
    3 4.9651142317442763037 3.1×10455 1.6×10454

     | Show Table
    DownLoad: CSV
    Figure 2.  Graphical comparison between proposed iterative method PM and 16th-order.

    Example 5.3. [12] Let X=Y=C[0,1] represent the space of continuous functions defined on [0,1], and both the spaces are equipped with the max-norm. Consider a subset of X denoted by Ω defined by Ω={χC[0,1];||χ||R}, with R>1, and Υ be defined on Ω by

    Υ(χ)(ς)=χ(ς)Υ(ς)μ10G(ς,t)χ(t)3dt,xC[0,1],ς[0,1], (5.11)

    where, ΥC[0,1] is a given function, μ is a real constant, and the kernel G is the Green's function

    G(ς,t)={(1ς)t,tς,(1ς)t,ςt. (5.12)

    In this case, for each xΩ, Υ(χ) is a linear operator defined on Ω by the following expression:

    Υ(χ)(v)(ς)=V(ς)3λ10G(ς,t)χ(t)2v(t)dt,vC[0,1],ς[0,1]. (5.13)

    By choosing, λ0=2.16,λ=3.12,M=1+λ0t, then applying Theorem 4.1, r=min{r1,r2,r3,r4}=0.0155207.

    From the tabulated results in Table 3, the radius of convergence for our method suggests a wider range of initial conditions for which a solution exists and it provides numerical aspects of existence of solution. Hence, the solution exists in the region U(χ,0.0155207).

    Table 3.  Radii of convergence.
    λ0 λ M r1 r2 r3 r4
    2.16 3.12 1+λ0t 0.268817 0.0699475 0.0454709 0.0155027

     | Show Table
    DownLoad: CSV

    Example 5.4. Let X=Y=R3, Ω=¯U(0,1), [12] and

    x=(000). (5.14)

    Define the function F on Ω for

    w=(χψz), (5.15)
    Υ(w)=(eχe12ψ2+ψz). (5.16)

    Then, the Fréchet-derivative is given by

    Υ(v)=[eχ000(eψ)+10001]. (5.17)

    By choosing, λ0=2,λ=e,M=1+λ0t, then applying Theorem 4.1, r=min{r1,r2,r3,r4}=0.0183063.

    From the tabulated results in Table 4, the radius of convergence for our method suggests a wider range of initial conditions for which a solution exists and it provides snumerical aspects of existence of solution. Hence, the solution exists in the region U(χ,0.0183063).

    Table 4.  Radii of convergence.
    λ0 λ M r1 r2 r3 r4
    2 e 1+λ0t 0.297695 0.0787637 0.0514214 0.0183063

     | Show Table
    DownLoad: CSV

    Example 5.5. Let X=[1,1], Y=R, χ0=0, and let F:XY be the polynomial [12]

    Υ(χ)=χ36+χ265χ6+19. (5.18)

    By choosing, λ0=1310,λ=2210,M=1+λ0t, then applying the Theorem 4.1, r=min{r1,r2,r3,r4}=0.0340465.

    From the tabulated results in Table 5, the radius of convergence for our method suggests a wider range of initial conditions for which a solution exists and it provides numerical aspects of existence of solution. Hence, the solution exists in the region U(χ,0.0340465).

    Table 5.  Radii of convergence.
    λ0 λ M r1 r2 r3 r4
    1310 2210 1+λ0t 0.571429 0.121991 0.0753055 0.0340465

     | Show Table
    DownLoad: CSV

    Example 5.6. Let us consider an equation

    χ30.49=0. (5.19)

    Consider the domain Ω=U(χ0,0.5), where χ0=1. By choosing λ0=2.5, λ=3, M=1+λ0t, then applying Theorem 4.1, r=min{r1,r2,r3,r4}=0.510028.

    From the tabulated results in Table 6, the radius of convergence for our method suggests a wider range of initial conditions for which a solution exists and it provides numerical aspects of existence of solution. Hence, the solution exists in the region U(χ,0.510028).

    Table 6.  Radii of convergence.
    λ0 λ M r1 r2 r3 r4
    2.5 3 1+λ0t 0.25 0.0684962 0.51078 0.510028

     | Show Table
    DownLoad: CSV

    We focus here on the visual representation of the basins of attraction where Ψ(ϕ) is a predefined complex polynomial, written as ϕ(z), which is an important part of our proposed strategy. The concept of basins of attraction is fundamental in understanding the behaviour of iterative methods in complex dynamics. When ϕ represents a root of the function Ψ(ϕ), the basins of attraction for ϕ can be defined as the collection of all ϕ0 values, such that initiating the method at ϕ0 will ultimately converge to ϕ. Mathematically,

    B(ϕ)={z0C:ϕ(z)ϕasn}. (6.1)

    The basins of attraction are able to be pictured as regions on a a complex plane. The complex polynomial ϕ(z) has several roots, and each one corresponds to a distinct basin. When we commence the iterative process from a particular starting point ϕ0, it gravitates towards a root ϕ if it falls within the basin corresponding to that particular root.

    Expanding the range of initial points across the complex plane allows for a more comprehensive analysis of the method's behavior. Even when the function's roots are real, a viable solution can be obtained. Illustrating the basins of attraction through figures proves to be an effective technique in understanding the method's behavior within the complex plane. Mathematica software is highly valuable for generating these visual representations. These have been discussed by many researchers.

    Numerical approaches help understand complex dynamical systems by analyzing their behavior and exploring their outcomes based on foundational principles. It is crucial to examine each numerical method individually as they can yield differing results.

    A complex polynomial of order n has n distinct roots, essentially the complex plane into "n" basins. However, the important thing is that these basins may not necessarily be uniformly distributed or even linked to each other.

    Basin colouring is a technique for visualizing the regions created by complex polynomials. In this basin colouring, each of the distinct basins resulting from the polynomial's roots is assigned a unique color out of the total of "n" basins. By applying numerical methods, the initial points within a defined region or mesh are analyzed to determine which basin they converge to. The corresponding color is then applied to represent the specific basin. Varying color intensities indicate the number of iterations required for convergence to a root, i.e., converging faster shows with higher intensity. This coloring approach shows a meaningful geometric interpretations of nearly all types of complex polynomials.

    The concept of a basin of attraction in the context of the complex approach is pioneered by Cayley. This section is dedicated to utilizing this graphical tool to visually represent the basins associated with our proposed method. Taking advantage of the computational capabilities of the Mathematica 11.3 software, we aim to illustrate the basins of attraction for complex functions. This approach enables a detailed and insightful exploration of the method's basin of attraction through a graphical representation of its convergence patterns.

    In the complex plane, we take a rectangle denoted as Ω=[3,3]×[3,3]C consisting of a grid of 450 points along each axis. Employing our iterative methods, we initiate the process from every zero point z(0). With a cap of 100 iterations and a tolerance criterion of |ϕ(z(k))|<104, we ascertain whether z(0) is the basin of attraction for a particular zero or not. This determination is made if the iterative procedure leads to a zero of the polynomial within the defined tolerance. This systematic approach provides valuable insights into the basins of attraction associated with different zeros of the polynomial.

    Problem 6.1. Let ϕ(z)=z(z2+1)(z2+4) having five zeros {0,i,i,2i,2i}. In Figure 3 we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point black. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 3, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 3.  Comparison of basins of attraction.

    Problem 6.2. Let ϕ(z)=(z1)31 [20] having three zeros {0.50.866025i,0.5+0.866025i,2}. In Figure 4, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point black. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 4, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 4.  Comparison of basins of attraction.

    Problem 6.3. Let ϕ(z)=z7+1 having seven zeros {0.62349+0.781831i,0.623490.781831i, 0.22521+0.9749281i,0.225210.9749281i, 0.9009690.433884i,0.900969+0.433884,1}. In Figure 5, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point peach while in right side the technique fails to converge for a specific starting point z0, we colored the point black. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 5, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 5.  Comparison of basins of attraction.

    Problem 6.4. Let ϕ(z)=z3z [21] having three zeros {1,0,1}. In Figure 6, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point red. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 6, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 6.  Comparison of basins of attraction.

    Problem 6.5. Let ϕ(z)=z45z2+4 [21] having four zeros {2,1,1,2}. In Figure 7, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point white. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 7, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 7.  Comparison of basins of attraction.

    Problem 6.6. Let ϕ(z)=z71 having seven zeros {0.62349+0.781831i,0.623490.781831i,0.22521+0.9749281i, 0.225210.9749281i,0.9009690.433884i, 0.900969+0.433884,1}. In Figure 8, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point white. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 8, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 8.  Comparison of basins of attraction.

    Problem 6.7. Let ϕ(z)=(z3i)(z+2i) [10] having four zeros {i,2i,0.866025+0.5i,0.866025+0.5i}. In Figure 9, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point yellow. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behaviour and convergence patterns. In Figure 9, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 9.  Comparison of basins of attraction.

    Problem 6.8. Let ϕ(z)=(z21)(z2+0.16) [10] having four zeros {1,0.4i,0.4i,1}. In Figure 10, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point light white shades. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns.

    Figure 10.  Comparison of basins of attraction.

    Problem 6.9. Let ϕ(z)=(z2+1)(z1)2 [10] having zeros {i,i,1,1}. In Figure 11, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point light white shades. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 11, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 11.  Comparison of basins of attraction.

    Problem 6.10. Let ϕ(z)=z3+z+40 having zeros {3.32251,1.661263.0462i,1.66126+3.0462i}. In Figure 12, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point black. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete.The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 12, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 12.  Comparison of basins of attraction.

    Problem 6.11. Let ϕ(z)=z4+4z324z2+16z+16 having four zeros {2,2,7.4641,0.535898}. In Figure 13, we carefully consider a rectangular area in the complex plane, denoted as Ω=[3,3]×[3,3]C. Our approach involves initiating the iterative process from various points within this region. When the iterative technique fails to converge for a specific starting point z0, we colored the point white. Conversely, points where convergence occurs are colorized. A convergence criterion of less than 104 guides us in determining when the convergence process is deemed complete. The interesting patterns and shapes formed by the edges of attraction areas is the Julia set. It serves to delineate the intricate structure of iteration functions and provides valuable insights into their behavior and convergence patterns. In Figure 13, the left side represents the basin of attraction for the proposed iterative method (10th PM), while the right side represents the basin of attraction for the 16th-order iterative method (16th YM).

    Figure 13.  Comparison of basins of attraction.

    In this research article, we embarked on a journey to explore and develop 10th-order iterative methods for the solution of nonlinear equations with efficiency index 1.4677992. By employing the Frechet derivative of the first order, we established a foundation for achieving local convergence. This mathematical framework allowed us to tailor our iterative methods to exhibit efficient and reliable convergence behavior within specific regions, enhancing the applicability of our approach to a diverse array of nonlinear problems. The basin of attraction not only provides insights into the reliability of our methods, but also enables practitioners to strategically select starting points that expedite convergence. The results of our research not only contribute to the theoretical understanding of iterative methods, but also offer practical tools for solving nonlinear equations encountered in various scientific and engineering domains.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors do not have any conflict of interest.



    [1] A. Cordero, J. A. Ezquerro, M. A. Hernández-Verón, J. R. Torregrosa, On the local convergence of a fifth-order iterative method in Banach spaces, Appl. Math. Comput., 251 (2015), 396–403. https://doi.org/10.1016/j.amc.2014.11.084 doi: 10.1016/j.amc.2014.11.084
    [2] Y. Tao, K. Madhu, Optimal fourth, eighth and sixteenth order methods by using divided difference techniques and their basins of attraction and its application, Mathematics, 7 (2019), 322. https://doi.org/10.3390/math7040322 doi: 10.3390/math7040322
    [3] I. K. Argyros, S. K. Khattri, S. George, Local convergence of an at least sixth-order method in Banach spaces, J. Fixed Point Theory Appl., 21 (2019), 23. https://doi.org/10.1007/s11784-019-0662-6 doi: 10.1007/s11784-019-0662-6
    [4] S. Amat, I. K. Argyros, S. Busquier, M. A. Hernández-Verón, E. Martínez, On the local convergence study for an efficient k-step iterative method, J. Comput. Appl. Math., 343 (2018), 753–761. https://doi.org/10.1016/j.cam.2018.02.028 doi: 10.1016/j.cam.2018.02.028
    [5] T. M. Pavkov, V. G. Kabadzhov, I. K. Ivanov, S. I. Ivanov, Local convergence analysis of a one parameter family of simultaneous methods with applications to real-world problems, Algorithms, 16 (2023), 103. https://doi.org/10.3390/a16020103 doi: 10.3390/a16020103
    [6] P. Maroju, Á. A. Magreñán, Í. Sarría, A. Kumar, Local convergence of fourth and fifth order parametric family of iterative methods in Banach spaces, J. Math. Chem., 58 (2020), 686–705. https://doi.org/10.1007/s10910-019-01097-y doi: 10.1007/s10910-019-01097-y
    [7] A. Kumar, P. Maroju, R. Behl, D. K. Gupta, S. S. Motsa, A family of higher order iterations free from second derivative for nonlinear equations in R, J. Comput. Appl. Math., 330 (2018), 676–694. https://doi.org/10.1016/j.cam.2017.07.005 doi: 10.1016/j.cam.2017.07.005
    [8] F. Soleimani, F. Soleymani, S. Shateyi, Some iterative methods free from derivatives and their basins of attraction for nonlinear equations, Discrete Dyn. Nat. Soc., 2013 (2013), 301718. https://doi.org/10.1155/2013/301718 doi: 10.1155/2013/301718
    [9] S. Singh, D. K. Gupta, Iterative methods of higher order for nonlinear equations, Vietnam J. Math., 44 (2016), 387–398. https://link.springer.com/article/10.1007/s10013-015-0135-1
    [10] S. Sutherland, Finding roots of complex polynomials with Newton’s method, Boston University, 1989.
    [11] H. Singh, J. R. Sharma, Simple yet highly efficient numerical techniques for systems of nonlinear equations, Comput. Appl. Math., 42 (2023), 22. https://doi.org/10.1007/s40314-022-02159-9 doi: 10.1007/s40314-022-02159-9
    [12] A. A. Magreñán-Ruiz, I. K. Argyros, Two-step Newton methods, J. Complexity, 30 (2014), 533–553. https://doi.org/10.1016/j.jco.2013.10.002 doi: 10.1016/j.jco.2013.10.002
    [13] G. A. Nadeem, W. Aslam, F. Ali, An optimal fourth-order second derivative free iterative method for nonlinear scientific equations, Kuwait J. Sci., 50 (2023), 1–15. https://doi.org/10.48129/kjs.18253 doi: 10.48129/kjs.18253
    [14] P. Maroju, R. Behl, S. S. Motsa, Some novel and optimal families of King's method with eighth and sixteenth-order of convergence, J. Comput. Appl. Math., 318 (2017), 136–148. https://doi.org/10.1016/j.cam.2016.11.018 doi: 10.1016/j.cam.2016.11.018
    [15] A. K. Maheshwari, A fourth order iterative method for solving nonlinear equations, Appl. Math. Comput., 211 (2009), 383–391. https://doi.org/10.1016/j.amc.2009.01.047 doi: 10.1016/j.amc.2009.01.047
    [16] V. Arroy, A. Cordero, J. R. Torregrosa, M. P. Vassileva, Artificial satellites preliminary orbit determination by the modified high-order Gauss method, Int. J. Comput. Math., 89 (2012), 347–356. https://doi.org/10.1080/00207160.2011.560266 doi: 10.1080/00207160.2011.560266
    [17] N. Y. Abdul-Hassan, A. H. Ali, C. Park, A new fifth-order iterative method free from second derivative for solving nonlinear equations, J. Appl. Math. Comput., 68 (2022), 2877–2886. https://doi.org/10.1007/s12190-021-01647-1 doi: 10.1007/s12190-021-01647-1
    [18] A. S. Alshomrani, R. Behl, P. Maroju, Local convergence of parameter based method with six and eighth order of convergence, J. Math. Chem., 58 (2020), 841–853. https://doi.org/10.1007/s10910-020-01113-6 doi: 10.1007/s10910-020-01113-6
    [19] O. S. Solaiman, I. Hashim, Two new efficient sixth order iterative methods for solving nonlinear equations, J. King Saud Univ. Sci., 31 (2019), 701–705, https://doi.org/10.1016/j.jksus.2018.03.021 doi: 10.1016/j.jksus.2018.03.021
    [20] R. Behl, P. Maroju, S. S. Motsa, A family of second derivative free fourth order continuation method for solving nonlinear equations, J. Comput. Appl. Math., 318 (2017), 38–46. https://doi.org/10.1016/j.cam.2016.12.008 doi: 10.1016/j.cam.2016.12.008
    [21] A. G. Wiersma, The complex dynamics of Newton's method, University of Groningen, 2016.
  • This article has been cited by:

    1. Sunil Panday, Shubham Kumar Mittal, Carmen Elena Stoenoiu, Lorentz Jäntschi, A New Adaptive Eleventh-Order Memory Algorithm for Solving Nonlinear Equations, 2024, 12, 2227-7390, 1809, 10.3390/math12121809
    2. Srilakshmi Katuri, Prashanth Maroju, A new approach for solving fuzzy non-linear equations using higher order iterative method, 2025, 15, 2045-2322, 10.1038/s41598-025-97612-0
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1254) PDF downloads(47) Cited by(2)

Figures and Tables

Figures(13)  /  Tables(6)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog