Abstract
When exploring the literature, it can be observed that the operator obtained when applying Newtonlike root finding algorithms to the quadratic polynomials z^{2} − c has the same form regardless of which algorithm has been used. In this paper, we justify why this expression is obtained. This is done by studying the symmetries of the operators obtained after applying Newtonlike algorithms to a family of degree d polynomials p(z) = z^{d} − c. Moreover, we provide an iterative procedure to obtain the expression of new Newtonlike algorithms. We also carry out a dynamical study of the given generic operator and provide general conclusions of this type of methods.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Numerical methods allow finding solutions of nonlinear equations that cannot be solved by algebraic procedures. The development and improvement of these methods and their behaviour constitute a field of intense research and a vast literature related to this topic can be found (see, for example [21, 24, 25, 28] [26] and references therein).
Iterative methods solve nonlinear equations by generating successive approximations that may eventually converge to the solution. The socalled onepointmethods (see [28]) start with an initial guess of the solution to proceed iteratively so that each approximation is used to obtain the next one, until a desired level of convergence is reached. That is, an approximation of the solution x^{∗} of an equation f(x) = 0 can be found by applying an iterative scheme of the form:
where x_{k} is an approximation of x^{∗} and ϕ is the iteration operator. The function ϕ may depend on derivatives of f in order to increase the order of convergence.
The simplest and most popular method using this scheme is the wellknown Newton’s method, also known as Newton–Raphson’s method (see [4]), given by:
To improve the efficiency of onepoint methods, multipoint methods were introduced. For them, each step is not exclusively based on the previous iteration, but also includes information of intermediate evaluations. These schemes, mainly variants of Newton’s method, have recently gained interest because they provide rootfinding algorithms which improve both convergence order and computational efficiency in comparison with onepoint ones. Such advantages allow to optimise computational resources. However, the radii of convergence which ensure that the solution of the method is correct decrease when the order of the method increases (see [23], for example).
One way to assess the balance between benefits and drawbacks is to study the dynamical behaviour of these methods. By considering a discrete dynamical system and performing a qualitative study of it, we can obtain dynamical spaces that identify the regions where the method displays good behaviour. Moreover, if the method has parameter dependence constituting a family of methods, we can plot the corresponding parameter spaces to find the members of the family with better behaviour (see [6, 14], for example).
The first works in this sense ([19], for example) show the dynamical planes of the best known numerical methods acting on polynomials of degree two or three. In [14], the authors began the dynamical study of the oneparameter family called ChebyshevHalley.
In the present paper, we study multipoint Newtonlike methods, that is, methods where the intermediate evaluations are variations of Newton’s scheme.
As can be observed in the literature (see [2, 5, 7, 8, 12,13,14, 20, 30], for example), when Newtonlike algorithms are applied to the quadratic polynomials p(z) = z^{2} − c, the operator obtained is conjugated (via a Möbius map that sends the \(\pm \sqrt {c}\) to 0 and \(\infty \)) with a rational map which has the following generic expression:
The main goal of this paper is to justify why this kind of operator is obtained regardless of the Newtonlike algorithm used. This is done in Theorem 2.7. This theorem follows from a more general symmetry property of the iterative schemes obtained from Newtonlike algorithms applied to the degree d polynomials p(z) = z^{d} − c (Theorem 2.2). The symmetry was noted by Chun et al. [11], but they did not draw conclusions.
The idea of how to justify that operator (1) is obtained when applying Newtonlike algorithms to p(z) = z^{2} − c is the following. In Theorem 2.2, we describe a recurrent procedure which can be used to describe the operators obtained from Newtonlike rootfinding algorithms when applied to the degree d polynomials p(z) = z^{d} − c. Moreover, we prove that the maps obtained from Theorem 2.2 are symmetric with respect to rotation by a d th root of the unity. By restricting to d = 2 and applying a conjugacy, we conclude (Theorem 2.7) that the operators obtained for the different families of Newtonlike methods when they are applied on quadratic polynomials are given by (1).
In Section 3, we carry out a dynamical study of the operator (1) in order to obtain generic conclusions of this type of methods. In Proposition 3.4, we show that the points z = 0, \(z=\infty \) and z = 1 are always fixed points of this operator and z = − 1 is also a fixed point if n + k is odd. The points z = 0 and \(z=\infty \) correspond to the zeros of the quadratic polynomial, which are superattracting fixed points of local degree n (the numerical methods have order of convergence n to the roots). In order to establish the existence of stable behaviour other than the basins of attraction of the roots, we also study the sets of parameters where z = 1 and z = − 1 are attracting fixed points (Propositions 3.5 and 3.6). This study is done under the extra hypothesis that the relation between the coefficients of the rational function and the parameter of the family is linear, which is a common phenomenon in the literature.
Section 4 is devoted to display some known examples of Newtonlike algorithms that correspond to families with one free critical point, which allows us to draw the parameter planes of the families. The operators of this section follow (1). It is also observed that, under given conditions, two different methods whose operators, expressed as (1), have the same values of n and k present similar dynamics (Section 4.1). Moreover, in Section 4.3, we study the particular case in which n = k and all the coefficients of the rational function, except a_{k}, are real.
Finally, we want to emphasise that the functions introduced in Theorem 2.2 can be used to generate new Newtontype algorithms for solving nonlinear equations. In fact, in Section 2, we show that the algorithms of the most usual methods, such as Newton, Traub, Halley, Chebyshev and Jarratt, are obtained from the functions introduced in Theorem 2.2. Although we do not intend to carry out an exhaustive verification, it is easy to extend this assertion to other Newtonlike algorithms.
In the construction of new Newtontype algorithms, parameters must be introduced in the iterative procedure applied to functions given in Theorem 2.2. These parameters must be adjusted so that the method obtained has the desired order of convergence.
We also want to emphasise that the main goal of this paper is to study general properties of Newtonlike algorithms and to make a qualitative study of them. The construction of methods using the iterative procedure provided by Theorem 2.2 is the aim of a coming paper.
For the sake of completeness, in Section 1.1, we present some of the best known Newtonlike methods of different degree and in Section 1.2, we recall some basic concepts of complex dynamics.
1.1 Newtonlike methods
As mentioned before, multipoint iteration methods were introduced to improve the order of convergence and the efficiency of iterative methods and they are described by means of the expressions w_{1}(x_{k}),w_{2}(x_{k}),...,w_{n}(x_{k}). The iteration function ϕ, defined as
is called a multipoint iteration function without memory.
The simplest examples are Steffensen’s method, with w_{1}(x_{k}) = x_{k} + f(x_{k}):
and TraubSteffensen’s method, with w_{1}(x_{k}) = x_{k} + γf(x_{k}):
There are many multipoint methods and we do not pretend here to do an exhaustive study of them; we only point out those that we consider best known. A more comprehensive study can be seen in [24, 25] and [28], for example.
Following the summary provided in [26], different twostep methods can be built by using Newton’s method as preconditioner, such as Traub’s scheme [28]:
or Ostrowski’s scheme [24]:
The latest was generalised by King [18], who defined the scheme:
obtaining a family of iterative methods depending on one parameter. It was shown by Chun et al. [11] that the best parameter is β = 0.
If instead of using the Newton’s method as the first step, the socalled Jarratt method step is used, a method of order of convergence four is obtained. The resulting scheme is called Jarratt method [16]:
where:
From the twostep methods, other threestep methods can be obtained, with general scheme:
Some examples of schemes obtained using this procedure are the sixthorder convergence method deduced by Wang et al. [29],
the fourthorder family of iterative method introduced by Amat et al. in [1],
and the family of sixthorder methods defined by Chun [10],
One of the best known Newtonlike method corresponds to the oneparameter family called ChebyshevHalley.
This family includes the Chebyshev’s method when the parameter α is equal to 0, Halley’s scheme for α = 1/2 and Newton’s method when α tends to \( \infty \). In [14], the authors began the dynamical study of this family applied on arbitrary polynomials of degree two.
This type of dynamical study has been extended to other families of numerical methods, such as the King family [12] and the cfamily [7]. Nowadays, there is a wide literature expanding this study to methods with higher order of convergence (see, for example [2, 11, 17] and references therein). In these papers, the dynamical behaviour of these families applied on quadratic polynomials is considered. Dynamical studies of methods, or families of numerical methods, applied on polynomials of higher degree can be found (see [5, 6, 15], for example).
1.2 Basic concepts of complex dynamics
Before starting the dynamical study of these operators, we briefly recall the basic concepts of complex (as opposed to real) dynamics that we use in this paper. For a more detailed introduction to the topic of complex dynamics, we refer to [22].
Given a rational map \(R:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\), where \(\widehat {\mathbb {C}}\) denotes the Riemann sphere, we consider the dynamical system given by the iterates of R. We say that a point \(z_{0}\in \widehat {\mathbb {C}}\) is fixed if R(z_{0}) = z_{0} and periodic of period p if R^{p}(z_{0}) = z_{0}, where p is minimal. The multiplier of a fixed point is given by \(\lambda (z_{0})=R^{\prime }(z_{0})\). Analogously, the multiplier of a periodic point is given by \(\lambda (z_{0})=(R^{p})'(z_{0})=R^{\prime }(z_{0})\cdot R^{\prime }(R(z))\cdot \ldots \cdot R^{\prime }(R^{p1}(z))\). A fixed or periodic point z_{0} is called attracting if λ(z_{0}) < 1 (superattracting if λ(z_{0}) = 0), repelling if λ(z_{0}) > 1 and indifferent if λ(z_{0}) = 1. An indifferent point is called parabolic if λ(z_{0}) = e^{2πip/q}, where \(p,q\in \mathbb {N}\). All attracting and parabolic fixed points have a basin of attraction associated to them which consists of the set of points which converge to z_{0} under iteration of R. Analogously, every attracting or parabolic periodic point z_{0} has a basin of attraction associated to it which consists of the set of points which converge to the cycle 〈z_{0}〉 = {z_{0},R(z_{0}),⋯ ,R^{p− 1}(z_{0})}.
The dynamics of R provides a totally invariant partition of the Riemann sphere. The Fatou set \(\mathcal {F}(R)\) consists of the set of points \(z\in \widehat {\mathbb {C}}\) for which the family of iterates of R(z), {R(z),R^{2}(z),…,R^{n}(z),…}, is normal (or equivalently equicontinuous) in some open neighbourhood of z. The Fatou set is open and consists of the set of points for which the dynamics presents stable behaviour. Its complement, the Julia set \(\mathcal {J}(f)\), is closed and consists of the set of points which present chaotic behaviour. The connected components of the Fatou set, called Fatou components, are mapped amongst themselves under iteration of R. In view of Sullivan’s NoWandering Theorem (see [27]), all Fatou components are either periodic or preperiodic. Every periodic Fatou component either belongs to the basin of attraction of an attracting or parabolic point, or is a simply connected rotation domain (a Siegel disk), or is a doubly connected rotation domain (a Herman ring). Moreover, periodic Fatou components of rational maps can be related to critical points, i.e. points where \(R^{\prime }(z)=0\). Indeed, every cycle of attracting or parabolic Fatou components contains, at least, a critical point. On the other hand, Siegel disks and Herman rings have critical points whose orbits accumulate on their boundaries.
Along the paper, we use these concepts to draw both dynamical and parameter planes. Dynamical planes show the dynamics of points in a given range. They are drawn by creating a grid of points in the specified range. Afterwards, the point is iterated up to 150 times. If the point converges to a root (the distance to the root is smaller than 10^{− 4}), the iteration stops and we use a scaling from red (fast convergence), to yellow, to green, to blue and to grey (slow convergence) to draw the point. If after 150 iterates the point has not converged to a root, the point is plotted in black.
When a family depends on parameters, it also makes sense to draw parameter planes. Parameter planes describe the possible dynamics of a map depending on the parameter. Since all Fatou components of rational maps are related to critical points, in order to draw parameter planes, it is enough to study the orbits of the critical points, the critical orbits. In this paper, we restrict our drawings to families which only have one free critical orbit, i.e. an orbit of a critical point other than the superattracting fixed points of the method, up to symmetry (compare Section 2). Therefore, in order to draw a parameter plane, we restrict to a grid of points in a given range of parameters and iterate a free critical point. If the orbit of the critical point converges to a root (the distance to the root is smaller than 10^{− 4}), we conclude that there can be no stable behaviour other than convergence to the roots. In that case, the iteration stops and we use a scaling from red (fast convergence), to yellow, to green, to blue and to grey (slow convergence) to draw the point. If after 150 iterates the point has not converged to a root, the point is plotted in black. These points correspond to parameters for which there might be other stable behaviour than convergence to the roots.
2 Symmetries of operators
Symmetries in the dynamical planes of Newtonlike rootfinding algorithms applied on polynomials z^{d} − c have been observed for different families (see, e.g. [6] and [9]). In this section, we prove the need for this symmetry to appear and use it to obtain the operator that appears by applying Newtonlike rootfinding algorithms on degree 2 polynomials. We start studying the families of maps presenting these symmetry properties and we show that these maps which can be used to write the expressions of Newtonlike rootfinding algorithms. First, we introduce the concepts of λ^{d}odd and λ^{d}even.
Definition 2.1
Let d ≥ 2. We say that a map \(f:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) is λ^{d}odd if f(λz) = λf(z) for all \(\lambda \in \mathbb {C}\) such that λ^{d} = 1 and all \(z\in \mathbb {C}\). Respectively, we say that f is λ^{d}even if f(λz) = f(z).
Notice that λ^{2}odd and λ^{2}even maps are, precisely, odd and even maps (the only second roots of the unity are 1 and 1). The dynamics of a λ^{d}odd map is symmetric with respect to rotation by d th roots of the unity. Indeed, λ^{d}odd maps are conjugated with themselves by multiplication with a d throot of the unity: f(z) = λ^{− 1}f(λz). We refer to this property as the symmetry of λ^{d}odd maps. This symmetry is relevant since it allows us to decrease the degrees of freedom of λ^{d}odd maps. It is easy to show that if \(\kappa \neq 0,\infty \) is a critical point of a λ^{d}odd map f, then the points λ^{d}κ, where λ^{d} = 1, are also critical points of f. Moreover, their dynamics is tied by the symmetry, so it is enough to control the dynamics of a single critical orbit to know the asymptotic behaviour of d different critical points. The next proposition shows different ways in which we can use the polynomials p(z) = z^{d} − c, \(c\in \mathbb {C}\setminus \{0\}\), to obtain λ^{d}odd maps.
Theorem 2.2
Let p(z) = z^{d} − c, where d ≥ 2, \(c\in \mathbb {C}\setminus \{0\}\). Let \(g,h:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) be λ^{d}odd maps and let \(H:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) be a λ^{d}even map. Then, the following maps are λ^{d}odd:

i)
(the identity) f(z) = z;

ii)
(the linear combination) f(z) = a ⋅ g(z) + b ⋅ h(z), where \(a,b\in \mathbb {C}\);

iii)
(the composition) f(z) = g(h(z));

iv)
\( f(z)=\frac {p(g(z))}{p^{\prime }(h(z))}\);

v)
f(z) = h(z) ⋅ H(z). In particular, H(z) can be obtained as follows:

v.1)
\(H(z)={\prod }_{i=1}^{k} \frac { p^{(n_{i})}\left (g_{i}(z)\right )}{ p^{(m_{i})}\left (h_{i}(z)\right )}\) is λ^{d}even, where p^{(n)} denotes the n th derivative of p, k ≥ 1, 0 ≤ n_{i},m_{i} ≤ d, \({\sum }_{i=1}^{k} m_{i}={\sum }_{i=1}^{k} n_{i}\) and \(g_{i},h_{i}:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) are λ^{d}odd maps.

v.2)
\(H(z)=\frac { \sum \limits _{i=1}^{k} a_{i} \cdot p^{(n)}\left (g_{i}(z)\right ) }{ \sum \limits _{i=1}^{\ell } b_{i}\cdot p^{(n)}\left (h_{i}(z) \right )}\), where n ≥ 0, p^{(n)} denotes the n th derivative of p, k,ℓ ≥ 1, \(a_{i},b_{i}\in \mathbb {C}\setminus \{0\}\) and \(g_{i},h_{i}:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) are λ^{d}odd maps.

v.3)
H(z) = a_{1} ⋅ H_{1}(z) + a_{2} ⋅ H_{2}(z), where \(H_{1}, H_{2}:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) are λ^{d}even and \(a_{1},a_{2}\in \mathbb {C}\).

v.4)
H(z) = H_{1}(z)/H_{2}(z), where \(H_{1},H_{2}:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) are λ^{d}even.

v.1)
Proof
The cases i), ii) and iii) are straightforward. We prove now case iv). Let \(f(z)=p(g(z))/p^{\prime }(h(z))\). Using that λ^{d} = 1 and λ^{d− 1} = λ^{− 1}, we have
For v), the fact that f(z) = h(z) ⋅ H(z) is λ^{d}odd follows directly from the definition of λ^{d}odd and λ^{d}even. We have to see that the proposed functions H(z) are λ^{d}even. We start with
Notice that if n_{i} = 0 (or m_{i} = 0) then
If 0 < n_{i} ≤ d, then
Analogously, if 0 < m_{i} ≤ d, then
The same equalities work if we replace g_{i} by h_{i}. Then, the fact that H is λ^{d}even follows then easily from \({\sum }_{i=1}^{k} m_{i}={\sum }_{i=1}^{k} n_{i}\).
Similarly, the fact that the function H in v.2) is λ^{d}even holds easily using that \(p^{(n)}\left (\lambda g_{i}(z)\right )= \lambda ^{n}p^{(n)}\left (g_{i}(z)\right )\). The cases v.3) and v.4) follow directly from the definition of λ^{d}even. □
Remark 2.3
An important property of the maps constructed in Theorem 2.2 is that they can be used to obtain new Newtonlike algorithms.
Another important feature of the maps constructed in the previous Theorem is that they generally have \(z=\infty \) as a simple fixed point: f is a rational map and the degree of its numerator equals the degree of its denominator plus 1. In the next proposition, we describe how this property is preserved under the different constructions in Theorem 2.2. The proof is straightforward by computing the degree of the numerator and the denominator of the resulting maps.
Proposition 2.4
Let p(z) = z^{d} − c, where d ≥ 2, \(c\in \mathbb {C}\setminus \{0\}\). Let \(g,h:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) be two maps that have \(z=\infty \) as simple fixed point. Then, the maps f(z) = g(h(z)) and \( f(z)=\frac {p(g(z))}{p^{\prime }(h(z))}\) have \(z=\infty \) as simple fixed point. Moreover:

i.)
The map f(z) = a ⋅ g(z) + b ⋅ h(z), where \(a,b\in \mathbb {C}\), has \(z=\infty \) as simple fixed point unless the linear combinations cancel out the highest order term of the numerator.

ii.)
The map f(z) = h(z) ⋅ H(z), where \(H:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\), has \(z=\infty \) as simple fixed point provided that H(z) is a rational map whose numerator and the denominator have the same degree.
Remark 2.5
We can analyse whether the different options for H in Theorem 2.2 v) satisfy the conditions of Proposition 2.4 ii). The numerator and denominator of the map H obtained from v.1) have the same degree. The map obtained from v.2) also satisfies the property provided that the lineal combinations do not decrease the degree at the numerator or the denominator. Analogously, the map H in v.3) satisfies the property provided that H_{1} and H_{2} also do and there are no simplifications of the higher order term at the numerator. Finally, the numerator and denominator of the map H in v.4) have the same degree provided that H_{1} and H_{2} also do.
Since the base map used in Theorem 2.2, f(z) = z (the identity map), has \(z=\infty \) as simple fixed point, we can conclude that the maps obtained from Theorem 2.2 have \(z=\infty \) as simple fixed point provided that the linear combinations given by ii), v.2) and v.3) keep the maximal degree. Otherwise, the degree of \(z=\infty \) as a fixed point may increase (it becomes a superattracting fixed point) or decrease (\(z=\infty \) is no longer a fixed point).
As it has been stated, the different steps in Theorem 2.2 are relevant for rootfinding algorithms since they can be used to obtain many different methods. For instance:

Newton’s method \(N_{p}(z)=zp(z)/p^{\prime }(z)\) can be obtained from i), ii) and iv);

Traub’s method \(T_{p}(z)=N_{p}(z)p\left (N_{p}(z)\right )/p^{\prime }(z)\) can be obtained from i), ii) and iv);

Chebyshev’s method \(C_{p}(z)=z\left (1+\frac {1}{2}L(z)\right )p(z)/p^{\prime }(z)\), where \(L(z)=p(z)p^{\prime \prime }(z)/p^{\prime }(z)^{2}\), can be obtained from i), ii), iv) and v.1).

Halley’s method \(H_{p}(z)=zL(z)p(z)/p^{\prime }(z)\), where \(L(z)=\left (1\frac {p(z)\cdot p^{\prime \prime }(z)}{2p^{\prime }(z)^{2}}\right )^{1}\), can be obtained from i), ii), iv) and v) (L(z) is obtained combining v.1), v.3) and v.4)).

Jarratt’s method (see (3)) can be obtained from i), ii), iii), iv) and v.2).
Let f be a map which is obtained by applying a root finding algorithm that can be built using Theorem 2.2 with p(z) = z^{2} − c. Then, f is odd (by definition λ^{2}odd maps are odd) and \(f(\pm \sqrt {c})=\pm \sqrt {c}\) (the roots need to be attracting fixed points of f ). Following Proposition 2.4, we may also assume that \(f(\infty )=\infty \). By taking a conjugation τ which sends \(\sqrt {c}\) to \(\infty \), \(\sqrt {c}\) to 0 and \(\infty \) to 1, we obtain a new map \(\tilde {f}\) with the same dynamics (we just move the roots to 0 and \(\infty \)). In the next proposition, we describe some properties of \(\tilde {f}\).
Proposition 2.6
Let \(c\in \mathbb {C}\setminus \{0\}\) and let \(f:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) be such that \(f(\sqrt {c})=\sqrt {c}\), \(f(\sqrt {c})=\sqrt {c}\), \(f(\infty )=\infty \) and f(−z) = −f(z) for all \(z\in \mathbb {C}\). Let \(\tau (z)=(z+\sqrt {c})/(z\sqrt {c})\). Then the map \(\tilde {f}(z)=\tau \circ f\circ \tau ^{1}(z)\) satisfies \(\tilde {f}(1)=1\) and \(\iota \circ \tilde {f}\circ \iota ^{1}(z)=\tilde {f}(z)\), where ι(z) = 1/z.
Proof
Notice that \(\tau ^{1}(z)=\sqrt {c}(z+1)/(z1)\) and ι(z) = ι^{− 1}(z). Let ς(z) = −z. We have
Using that f(z) = ς ∘ f ∘ ς(z) we conclude:
□
In Proposition 2.6, we have proved that \(\tilde {f}\) satisfies \(\tilde {f}(1)=1\) and \(\iota \circ \tilde {f}\circ \iota (z)=\tilde {f}(z)\), where ι(z) = 1/z. In the next theorem, we provide a classification of all rational maps satisfying these properties.
Theorem 2.7
Let \(R:\widehat {\mathbb {C}}\rightarrow \widehat {\mathbb {C}}\) be a degree n rational map and let ι(z) = 1/z. Then, the following items are equivalent:

1.
R(z) satisfies (i) R(1) = 1 and (ii) ι ∘ R ∘ ι^{− 1}(z) = R(z).

2.
\( R(z)=\prod \limits _{i=1}^{n}\frac {zr_{i}}{1r_{i}z}\), where \(r_{i}\in \mathbb {C}\), i = 1,...,n.

3.
\( R(z)=\frac {a_{n} +a_{n1} z+...+a_{1} z^{n1}+a_{0} z^{n}}{a_{0}+a_{1}z+...+a_{n1} z^{n1}+a_{n} z^{n}}=\frac {P(z)}{\widehat {P}(z)}\), where \(a_{i}\in \mathbb {C}\), i = 0,...,n.
Proof
1 ⇒ 2) As R(z) is a degree n rational map, it can be written as:
where at least n_{1} = n or n_{2} = n and \(C\in \mathbb {C}\). Since ι^{− 1}(z) = ι(z), we have that:
From this expression and comparing with (6), we have that:
Let us write \(\frac {1}{s_{i}}=r_{i},\) i = 1,...,n. Then, we have that:
Denominators in (6) and (7) are two degree n polynomials p(z) and q(z) with the same roots (including multiplicity), then p(z) = Kq(z) with \(K\in \mathbb {C}\ \) and
Since R(1) = 1, we have that \(\frac {C}{K}=1\). We obtain
2 ⇒ 3) For this implication, we use the induction method. This is obviously true for n = 1:
Let us suppose that it is true for n − 1:
and we check that it is true for n:
3 ⇒ 1) Any rational function that satisfies 3) also satisfies 1). Indeed, it verifies R(1) = 1 and
□
3 Dynamical study of Newtonlike operators
In Section 2, we have justified that Newtonlike methods applied on complex quadratic polynomials p(z) = z^{2} − c lead to an operator O(z) of the form (1), where n denotes the order of convergence to the roots of p(z). Examples of this fact can be found in [5, 7, 8, 13, 14, 30], among many other papers. In [5], we study this family of operators when the polynomials of the rational function have k equal roots. In this paper, we delve deeper into the dynamical study of the operator O(z). Following the results from Section 2, we can write the operator O(z) as follows:
with a_{k}≠ 0. Its derivative can be written as follows:
The relations among the coefficients a_{i} and the roots r_{i} of the polynomial \(P(z)=a_{k}+a_{k1} z+...+a_{1} z^{k1}+ z^{k}={\prod }_{i=1}^{k}(zr_{i})\) are given by:
Observe that the subscript of the coefficients indicates the number of roots that appear in the different products.
Remark 3.1
Along this paper, we suppose that z = 1 is not a root of the polynomial P(z) since, if z = 1 were a root of P(z), we could simplify the rational function of the operator. Let us suppose that r_{k} = 1. Then,
In this case, the point z = 1 is not a fixed point of the operator, it forms an orbit of period 2 with z = − 1 if k + n even or it is a preimage of z = − 1 if k + n odd. Therefore, in this paper, we assume that 1 + a_{1} + ... + a_{k}≠ 0.
In the following lemma, we provide another relation between the roots and the coefficients of the polynomial.
Lemma 3.2
Given a polynomial P(z) = a_{k} + a_{k− 1}z + ... + a_{1}z^{k− 1} + z^{k} with roots r_{i}, i = 1,...,k, the following relationship holds:
Proof
Let us prove this relation by induction. For k = 1, we have the polynomial P_{1}(z) = a_{1} + z with a_{1} = −r_{1}. Therefore,
Now we assume that for the degree k − 1 polynomial
the relationship
holds. Finally, we prove the relation for the degree k polynomial P_{k}(z) = (z − r_{k})P_{k− 1}(z) = b_{k} + b_{k− 1}z + ... + b_{1}z^{k− 1} + z^{k}:
where the relations (10) have been used. □
Lemma 3.3
Given a polynomial P(z) = a_{k} + a_{k− 1}z + ... + a_{1}z^{k− 1} + z^{k} with roots r_{i}, i = 1,...,k, the following relationship holds:
Proof
The proof is similar to the previous lemma. □
We continue by studying some properties of the Newtonlike operators. We focus on fixed points. Let f be an operator obtained by applying a root finding algorithm, that can be described by Theorem 2.2, on a quadratic polynomial p(z) = z^{2} − c. Then, the points \(\pm \sqrt {c}\) are attracting fixed points of f. Assume also that \(f(\infty )=\infty \). In Proposition 2.6, the operator (8) was obtained by applying a conjugacy that sends the fixed points \(\sqrt {c}, \sqrt {c},\) and \(\infty \) to 0, \(\infty \), and 1, respectively. Therefore, 0 and \(\infty \) are fixed points under (8) which correspond to the roots of the polynomial while 1 is a strange fixed point (a fixed point which does not correspond to a root). Moreover, the term z^{n} in (8) indicates that the method has order of convergence n to the roots. Next statement, whose proof is straightforward, indicates that the points 0, 1 and \(\infty \) are fixed points of (8) (even if the operator does not come from a root finding algorithm).
Proposition 3.4
The points z = 0, \(z=\infty \) and z = 1 are fixed points of operator (8). Moreover, z = − 1 is also a fixed point of (8) if n + k is odd and z = − 1 is a preimage of z = 1 if n + k is even.
When a Newtonlike operator (8) comes from a oneparameter family of numerical methods, the coefficients a_{i} usually have a linear dependence with respect to the parameter of the family, as it can be observed in the following subsections. In paper [5], we study a family of Newtonlike operators where the coefficients have a quadratic dependence on the parameter that produces a duplicity of the information in the parameter plane. This duplicity was avoided by redefining the parameter in order to obtain a linear dependence.
As mentioned before, the point z = 1 is a strange fixed point of the operator (8), so it is important to analyse its dynamical behaviour. Assuming a linear relationship between the coefficients and the parameter of the family and using Lemma 3.2, we obtain the regions where the point z = 1 is attracting in terms of the coefficients.
Proposition 3.5
Let a_{i} = A_{i} + B_{i}α be the linear relationships between the coefficient a_{i} of the operator (8) and the parameter α of the family of rational operators, with \(A_{i}, B_{i}\in \mathbb {R} \) and \(\alpha \in \mathbb {C}\). Let us denote:
Then, the fixed point z = 1 satisfies the following statements:

1.
For \(B^{2}B^{\prime 2} \neq 0 \),

i)
z = 1 is indifferent on the circle C: \( \left  \alpha +c \right  =\left  r\right  \),

ii)
z = 1 is attracting inside C if \(B^{2}B^{{\prime}{2}} > 0\) and outside C if \(B^{2}B^{\prime 2} < 0\).

iii)
z = 1 is repelling outside C if \(B^{2}B^{\prime 2} > 0\) and inside C if \(B^{2}B^{\prime 2} < 0\).

i)

2.
For \(B^{2}B^{\prime 2} =0\):

a)
If \(B=B^{\prime }\neq 0\), then

i)
z = 1 is indifferent if \(A=A^{\prime }\),

ii)
z = 1 is attracting if \(Re(\alpha )<\frac {A+A^{\prime }}{2B}\) and \(B(AA^{\prime })>0\) or HCode \(Re(\alpha )>\frac {A+A^{\prime }}{2B}\) and \(B(AA^{\prime })<0\).

(i)
z = 1 is repelling in other case.

i)

b)
If \(B=B^{\prime }\neq 0\), then

i)
z = 1 is indifferent if \(A=A^{\prime }\),

ii)
z = 1 is attracting if \(Re(\alpha )<\frac {A^{\prime }A}{2B}\) and \(B(A+A^{\prime })>0\) or \(Re(\alpha )>\frac {A^{\prime }A}{2B}\) and \(B(A+A^{\prime })<0\).

iii)
z = 1 is repelling in other case.

i)

c)
If \(B=B^{\prime }= 0\), then

i)
z = 1 is indifferent if \(A=A^{\prime }\),

ii)
z = 1 is attracting if \(A<A^{\prime }\),

iii)
z = 1 is repelling \(A>A^{\prime }\).

i)

a)
Moreover, if \( \alpha =\frac {A}{B} \) the fixed point z = 1 is superattracting.
Proof
By sustituting the point z = 1 in (9) and by applying the result obtained in Lemma 3.2, we have:
Assuming the relation a_{i} = A_{i} + B_{i}α, we obtain:
that can be written as:
Now, we look for the values of the parameter that make \(\left  O^{\prime } (1)\right <1\). As α is a complex parameter, we can write it as α = p + iq, \(\ p,q\in \mathbb {R} \). Then,
For the case \(B^{2}B^{\prime 2} \neq 0\), this expression can be divided by \(B^{2}B^{\prime 2}\) and, after looking for a perfect square, it can be written, in the complex plane, as the equation of the disk:
if \(B^{2}B^{\prime 2}>0\), or the disk
if \(B^{2}B^{\prime 2}<0\), obtaining the regions where the point z = 1 is attractive.
The point z = 1 is indifferent on the circle
and the point z = 1 is repelling for the other regions.
For the case \(B^{2}B^{\prime 2} =0\), the proof of the latter cases is straightforward without more than substituting the conditions in \(\left  O^{\prime }(1)\right \).
Finally, from \(O^{\prime }(1)=0\), we obtain that the point z = 1 is superattracting for α = −A/B. □
Moreover, if z = − 1 is also a fixed point of (8), i.e. n + k is odd, we have the following result. The proof is similar to the previous proposition from the substitution of z = − 1 in (8) and using Lemma 3.3.
Proposition 3.6
Let a_{i} = A_{i} + B_{i}α be the lineal relationship between the coefficients a_{i} of the operator (8) and the parameter α of the family of rational operators, with \(A_{i}, B_{i} \in \mathbb {R} \), \(\alpha \in \mathbb {C}\) and n + k odd. Let us denote:
Then, the fixed point z = − 1 satisfies the following statements:

1.
For \(D^{2}D^{\prime 2} \ne 0 \),

i.)
z = − 1 is indifferent on the circle S: \( \left  \alpha +c \right  =\left  r\right  \).

ii.)
z = − 1 is attracting inside the circle S if \(D^{2}D^{\prime 2} > 0 \) and outside the circle S if \(D^{2}D^{\prime 2}<0 \).

iii.)
z = − 1 is repelling outside the circle S if \(D^{2}D^{\prime 2}>0 \) and inside the circle S if \(D^{2}D^{\prime 2}<0 \).

i.)

2.
For \(D^{2}D^{\prime 2} =0\),

a.)
If \(D=D^{\prime }\neq 0\), then

i.)
z = − 1 is indifferent if \(C=C^{\prime }\).

ii.)
z = − 1 is attracting if \(Re(\alpha )<\frac {C+C^{\prime }}{2D}\) and \(D(CC^{\prime })>0\) or \(Re(\alpha )>\frac {C+C^{\prime }}{2D}\) and \(D(CC^{\prime })<0\).

iii.)
z = − 1 is repelling in other case.

i.)

b.)
If \(D=D^{\prime }\neq 0\), then

i.)
z = − 1 is indifferent if \(C=C^{\prime }\),

ii.)
z = − 1 is attracting if \(Re(\alpha )<\frac {C^{\prime }C}{2D}\) and \(D(C+C^{\prime })>0\) or \(Re(\alpha )>\frac {C^{\prime }C}{2D}\) and \(D(C+C^{\prime })<0\).

iii.)
z = − 1 is repelling in other case.

i.)

c.)
If \(D=D^{\prime }= 0\), then

i.) z = − 1 is indifferent if \(C=C^{\prime }\),

ii.) z = − 1 is attracting if \(C<C^{\prime }\),

iii.) z = − 1 is repelling \(C>C^{\prime }\).


a.)
Moreover, if \( \alpha =\frac {C}{D} \) the fixed point z = − 1 is superattracting.
As was observed in [5], the dynamical behaviour of the rational operators depends on the relationship between the exponent n of z and the degree k of the polynomial in the rational function of the operator. In fact, the numerical behaviour of the method is very bad when n < k and the better numerical behaviour occurs when n > k + 1.
4 Examples of Newtonlike operators
In this section, we overview different methods in the literature. For the case n = k, we show some results for a particular case of dependence of the parameter. Along the paper, we mention examples of numerical methods for which there is exactly one free critical point, modulo symmetry; so, we can plot their parameter planes iterating a single critical point.
4.1 The case n > k
The first family of numerical methods that we studied satisfying these conditions is the ChebyshevHalley family, defined by (5). A more complete study of the dynamical behaviour of this family can be found in [14] when this family is applied on quadratic polynomials and in [6], when it is applied on a family of ndegree polynomials.
After applying the corresponding algorithm on twodegree polynomials p(z) = z^{2} − c and enforcing the conjugacy map, we obtained the operator:
which corresponds to the operator (8) for n = 3 and k = 1. The parameter plane can be seen in Fig. 1.
As described in Section 1.2, the black zones correspond to values of the parameter for which the corresponding dynamical planes have attractors that do not correspond to the roots of the polynomial p(z) = z^{2} − c.
King’s family is another example of a family that leads to an operator of the form (8) for n = 4 and k = 2, see [12]. The operator of this iterative scheme is given in (2) which leads to:
after applying it on a quadratic family of polynomials. The parameter plane is shown in Fig. 2 (left).
As mentioned in the introduction, many methods built from Jarratt’s method also satisfy the conditions of Theorem 2.2. For example, the family of order four studied by Amat et al. in [1] with scheme (4). Applying it on twodegree polynomials p(z) = z^{2} − c and enforcing the conjugacy map, the operator obtained is:
The parameter plane can be seen in Fig. 2 (right).
Remark 4.1
Let us notice that the operators given in (12) and (13) correspond to the case n = 4 and k = 2. In fact, a change \(\beta \Rightarrow \frac {4}{3}\beta 2\) leads to the same operator. So, the parameter planes are the same except for the symmetry induced by the negative sign in the change.
We find an example of n = 5 and k = 3 in the subfamily S2 coming from the OstrowskiChun methods (see [8]), whose operator is
The parameter plane can be seen in Fig. 3.
Let us notice that the numerical behaviour of these families is quite good due to the fact that the operators with presence of strange attractors correspond to values of the parameter included in the small black zones of the parameter plane.
4.2 A degenerate case
An example that coincides with the degenerate case of Remark 3.1 can be seen in paper [8] for the subfamily S5 of the OstrowskiChun methods. The operator is:
The points z = 1 and z = − 1 form an attractive 2cycle of this operator.
The parameter plane can be seen in Fig. 4 (top). In this figure, green color corresponds to values of the parameter where the free critical point is located in the basin of attraction of the 2cycle. Black color corresponds to values of the parameter where the orbit of the free critical point does not converge neither to any of the roots of the polynomial nor to the 2cycle {− 1,1}.
In Fig. 4 (bottom), we also show two dynamical planes of this family. Colour green indicates the basin of attraction of the 2cycle {− 1,1}. The left figure corresponds to a value of the parameter where the critical point belongs to the basin of attraction of another attracting cycle. The right figure corresponds to a value of the parameter for which there is no other stable behaviour than the basins of attraction of the roots of the polynomial or to the 2cycle {− 1,1}.
4.3 The case n = k
For n = k, the operator is:
This operator is obtained in many cases (see [7, 8, 13, 30], for example).
Next, we consider that all the coefficients of the operator (8) are real except a_{n}; that is, \(a_{i}\in \mathbb {R}\) for 1 = 1,2,...,n − 1 and \(a_{n}=\alpha \in \mathbb {C}\) and we delve deeper into the study of this type of operators.
In this case, the point z = − 1 is a preimage of z = 1. In the following result, we establish the set of parameters where the fixed point z = 1 is attracting for operator (16). We obtain that z = 1 is attracting outside a disk with radius related with the coefficients of the polynomial in the numerator of (16). The next proposition is a particular case of Proposition 3.5.
Proposition 4.2
The fixed point z = 1 of O_{α} satisfies the following statements:

i)
z = 1 is attracting if \(\left  \alpha +A^{\prime } \right  > \left A\right  \),

ii)
z = 1 is indifferent if \(\left \alpha +A^{\prime } \right  = \left A\right  \),

iii)
z = 1 is repelling if \(\left  \alpha +A^{\prime } \right  < \left A\right  \),
where A and \(A^{\prime }\neq 0\) are defined as follows:
Moreover, if A = 0 the fixed point z = 1 is superattracting.
Proof
The proof is straightforward from Proposition 3.5 taking into account that, in this case, a_{n} = α, a_{i} = A_{i} for i = 1...n − 1, A_{n} = 0, B_{i} = 0 for i = 1...n − 1, B_{n} = 1; so B = 0 and \(B^{\prime }=1\) and \(A= 2n+ 2{\sum }_{j=1}^{n1} (nj)a_{j}\) and \(A^{\prime }= 1+ {\sum }_{j=1}^{n1} a_{j}\). Then,
From the previous expression, it is easy to see that z = 1 is superattracting, i.e. HCode \(O_{\alpha }^{\prime }(1)=0\), for A = 0. □
This type of operator is obtained in [7], where the cfamily of iterative methods is applied on quadratic polynomials. After applying the conjugacy map (see [3]), the operator is:
and the parameter plane can be observed in Fig. 5 (left). Notice that the set of parameters for which z = 1 is attracting corresponds to the unbounded black disk.
A threestep iterative method for solving nonlinear equations is studied in [13]. It is obtained by using the technique of undetermined coefficients and the composition of Newton’s scheme with itself, with frozen Jacobian. The authors denote it as M4 and its iterative expression is:
After applying it on quadratic polynomials and enforce the conjugacy map, the operator obtained is:
This operator can be transformed into an operator of the type (16) by means of the change of the parameter \(\alpha =\frac {1+5\beta }{\beta }\):
Its parameter plane (see Fig. 5 right) is similar to the previous one (Fig. 5 left). Despite they correspond to different values of n, the main difference between these parameter planes comes from the different sign of the parameters c and α. This leads to a change of positions of the main interior bulb.
Another example of n = 4 is obtained from a subfamily of operators coming from the Ostrowski Chun methods (see [8]). Applying this method on quadratic polynomials, and studying one of the subfamilies obtained, the resulting operator is:
The parameter plane of this family is shown in Fig. 6 (top). Let us realise that, in this case, the fixed point z = 1 is superattracting. Therefore, this family has bad initial conditions for every parameter. Since z = 1 is superattracting for all values of the parameter, we cannot observe the disks that appears in the parameter planes of Fig. 5. Since z = 1 is superattracting, z = 1 does not need to have a critical point (other than itself) in its basin of attraction. As in Fig. 4, we use the green colour when the critical orbit converges to the basins of attraction of the fixed point z = 1.
In Fig. 6 (bottom), we also show two dynamical planes of this family. Colour green indicates the basin of attraction of z = 1. The left figure corresponds to a value of the parameter where the critical point belongs to the basin of attraction of another attracting cycle. The right figure corresponds to a value of the parameter for which there is not other stable behaviour than the basins of attraction of the roots of the polynomial or z = 1.
Let us remark that in Fig. 5 the region of parameters where z = 1 is attracting corresponds to the exterior black zone. Similar parameter planes are also obtained in [13, 30]. Although in each of these papers a different numerical method is studied, the operator obtained after applied it on quadratic polynomials is of the type given in Eq. (16). We also want to point out that for Fig. 6 (top) the unbounded region corresponds to a set of parameters for which the free critical points are captured by the basin of attraction of z = 1.
Another example where the operator is given by (8) for n = k = 4 can be found in the S3 family studied in paper [8], whose operator is:
Let us notice that, in this case, there is not a linear relationship between the coefficients of the operator and the parameter of the family. The parameter plane can be seen in Fig. 7.
5 Conclusions
When Newtonlike algorithms are applied on quadratic polynomials, an intrinsic symmetry appears in the operator obtained.
Firstly, we study some symmetry properties of certain families of maps which can be used to obtain the expressions of Newtonlike finding algorithms. We show that many of the current numerical methods can be obtained from the functions defined in the Theorem 2.2.
Moreover, the functions introduced in Theorem 2.2 can be used to generate new Newtontype algorithms for solving nonlinear equations.
We conclude from Theorem 2.7 that the operators obtained for the different families of numerical Newtonlike methods have the same expression, regardless of the method used, when they are applied on quadratic polynomials p(z) = z^{2} − c.
We carry out a dynamical study for this generic operator. Moreover, except for the degenerate cases, z = 1 is always a fixed point of the operator and we study its stability region (Proposition 3.5). We also prove that z = − 1 is a fixed point when the degree of the operator is odd and we locate its stability region (Proposition 3.6).
Along this paper, we exhibit some parameter planes coming from different papers of literature where predicted results are observed.
References
Amat, S., Busquier, S., Plaza, S.: Dynamics of the King and Jarratt iterations. Aequationes Math. 69(3), 212–223 (2005)
Argyros, I.K., Magreñán, A.A.: On the convergence of an optimal fourthorder family of methods and its dynamics. Appl. Math. Comput. 252, 336–346 (2015)
Blanchard, P.: Complex analytic dynamics on the Riemann sphere. Bull. Amer. Math. Soc. (N.S.) 11(1), 85–141 (1984)
Blanchard, P.: The dynamics of Newton’s method, volume 49 of Proc. Sympos. Appl. Math. Amer. Math. Soc., Providence, RI Complex dynamical systems (Cincinnati OH, 1994) (1994)
Campos, B., Canela, J., Garijo, A., Vindel, P.: Dynamics of a family of rational operators of arbitrary degree. Math. Model Anal. 26(2), 188–208 (2021)
Campos, B., Canela, J., Vindel, P.: Convergence regions for the ChebyshevHalley family. Commun. Nonlinear Sci. Numer Simul. 56(3), 508–525 (2018)
Campos, B., Cordero, A., Torregrosa, J.R., Vindel, P.: Dynamics of the family of citerative methods. Int. J Comput. Math. 92(9), 1815–1825 (2015)
Campos, B., Vindel, P.: Dynamics of subfamilies of OstrowskiChun methods. Math Comput. Simulation 181, 57–81 (2021)
Canela, J., Evdoridou, V., Garijo, A., Jarque, X: On the basins of attraction of a one dimensional family of root finding algorithms. From newton to traub. Preprint (2021)
Chun, C.H.: Some improvements of Jarratt’s method with sixthorder convergence. Appl. Math. Comput. 190(2), 1432–1437 (2007)
Chun, C.H., Lee, M.Y., Neta, B., Džunić, J.: On optimal fourthorder iterative methods free from second derivative and their dynamics. Appl. Math. Comput. 218(11), 6427–6438 (2012)
Cordero, A., GarcíaMaimó, J., Torregrosa, J.R., Vassileva, M.P., Vindel, P.: Chaos in King’s iterative family. Appl. Math. Lett. 26 (8), 842–848 (2013)
Cordero, A., Gutiérrez, J.M., Magreñán, A.A., Torregrosa, J.R.: Stability analysis of a parametric family of iterative methods for solving nonlinear models. Appl. Math Comput. 285, 26–40 (2016)
Cordero, A., Torregrosa, J.R., Vindel, P.: Dynamics of a family of ChebyshevHalley type methods. Appl. Math Comput. 219(16), 8568–8583 (2013)
Gutiérrez, J.M., Varona, J.L.: Superattracting extraneous fixed points and ncycles for Chebyshev’s method on cubic polynomials. Qual. Theory Dyn. Syst. 19(2), 54–23 (2020)
Jarratt, P.: Some efficient fourth order multipoint methods for solving equations. BIT. 9(2), 119–124 (1969)
Junjua, M., Akram, S., Yasmin, N., Zafar, F.: A new Jarratttype fourthorder method for solving system of nonlinear equations and applications. J. Appl. Math., 2015:Art. ID 805278 14 pp. (2015)
King, R.F.: A family of fourth order methods for nonlinear equations. SIAM J. Numer. Anal. 10(5), 876–879 (1973)
Kneisl, K.: Julia sets for the superNewton method, Cauchy’s method and Halley’s method. Chaos 11(2), 359–370 (2001)
Magreñán, A.A., Argyros, I.K.: On the local convergence and the dynamics of chebyshevHalley methods with six and eight order of convergence. J. Comput. Appl. Math. 298, 236–251 (2016)
McNamee, J.M., Pan, V.: Numerical methods for roots of polynomials part II newnes (2013)
Milnor, J.: Dynamics in one complex variable, volume 160 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, third edition (2006)
Mǎruşter, S.: Local convergence and radius of convergence for modified newton method. Annals of West University of Timisoara  Mathematics and Computer Science 55, 12 (2017)
Ostrowski, A.M.: Solution of Equations and Systems of Equations, volume 9 of Pure and Applied Mathematics, A series of monographs and textbooks elsevier (2016)
Petković, M.S., Neta, B., Petković, L.D., Džunić, J.: Multipoint Methods for Solving Nonlinear Equations. Academic Press, Boston (2013)
Petković, M.S., Neta, B., Petković, L.J., Džunić, J.: Multipoint methods for solving nonlinear equations: a survey. Appl. Math. Comput. 226, 635–660 (2014)
Sullivan, D.: Quasiconformal homeomorphisms and dynamics. I. Solution of the FatouJulia problem on wandering domains. Ann. of Math. (2) 122(3), 401–418 (1985)
Traub, J.F.: Iterative Methods for the Solution of Equations. vol 312, American Mathematical Soc. (1982)
Wang, X., Kou, J., Li, Y.: Modified Jarratt method with sixthorder convergence. Appl. Math. Lett. 22(12), 1798–1802 (2009)
Zafar, F., Cordero, A., Torregrosa, J.R.: Stability analysis of a family of optimal fourthorder methods for multiple roots. Numer Algorithms 81 (3), 947–981 (2019)
Funding
Open Access funding provided thanks to the CRUECSIC agreement with Springer Nature. The authors are supported the project UJIB201918. The first and the last authors are also supported by by the grant PGC2018095896BC22. The second author is supported by PID2020118281GBC32. (MCIU/AEI/FEDER/UE).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Consent for publication
All authors give their consent for publication.
Competing interests
The authors declare no competing interests.
Additional information
Author contribution
These authors contributed equally.
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Campos, B., Canela, J. & Vindel, P. Dynamics of Newtonlike root finding methods. Numer Algor 93, 1453–1480 (2023). https://doi.org/10.1007/s1107502201474w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1107502201474w