Preprint
Article

An Iterative Scheme for Evaluating Simultaneous Roots of Nonlinear Problems with Applications

Altmetrics

Downloads

123

Views

54

Comments

0

Submitted:

29 September 2023

Posted:

30 September 2023

You are already at the latest version

Alerts
Abstract
In this article, an iterative method of two step is proposed for finding all roots simultaneously of polynomial equations. The order of convergence of the proposed algorithm is 2m, by using any iterative scheme of order m. Numerical tests are performed to confirm the theoretical results and to compare the proposed scheme with existing methods for finding all roots simultaneously.
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. Introduction

Let us consider the problem of solving any polynomial equation f ( x ) = 0 , where f : D C C a is nonlinear, continuous function on any domain D. Nonlinear equations have wide range of applications in various fields of science and engineering like in the theory of control systems, nonlinear circuits, analysis of transfer functions, various mathematical models, differential and difference equations, eigenvalue problems etc. [1]. This arises the development of large number of numerical methods which take the form of iterative procedures. These algorithms are distributed into single roots, multiple roots and simultaneous root finding methods.
In recent years, methods of finding simultaneous roots are very popular as these methods are more stable and can be applied for parallel computing (for example [2,3,4,5]). One of the best known schemes, for approximating the n simple roots α i , i = 1 , 2 , , n , of a polynomial f of degree n, is the Weierstrass method [6] defined by the expression
x i ( k + 1 ) = x i ( k ) W ( x i ( k ) ) = x i ( k ) f ( x i ( k ) ) j = 1 , j i n ( x i k x j k ) , k = 0 , 1 ,
In the 1960s, the Weierstrass method was rediscovered by Durand [7], Dochev [8], Kerner [9] and Prešić [10].
The main objective of this paper is to construct iterative schemes, of high order of convergence, for finding all roots of a polynomial equation, simultaneously. For any fixed point iterative method of order m, we construct a new root finding method of order of convergence 2 m , in Section 2. The convergence of the proposed technique is proved in Section 3. We compare the results obtained with the proposed methods and with other known schemes like Newton’s method, Ostrowki method [11], Jarratt’s method [12], Cordero et al. methods [13,14], Mir et al. schemes [15,16], Shams et al. method [17] and Petkovic et al. scheme [2]. Several numerical experiments are performed in Section 4 by using the mentioned algorithms. With some conclusion in Section 5, we finish the manuscript.

2. Simultaneous methods construction

Let us consider a polynomial equation f ( x ) = 0 having n simple roots, denoted by ξ i , i = 1 , 2 , , n . Consider well-known Newton’s scheme, with quadratic convergence:
x i ( k + 1 ) = x i ( k ) f ( x i ( k ) ) f ( x i ( k ) ) , k = 0 , 1 ,
We take Weierstrass’s correction as follows
f ( x i ( k ) ) f ( x i ( k ) ) = W ( x i ( k ) ) = f ( x i ( k ) ) j = 1 , j i n ( x i k x j k ) ,
Using (2.2) in (2.1), we have
x i ( k + 1 ) = x i ( k ) f ( x i ( k ) ) j = 1 , j i n ( x i k x j k ) ,
Replacing x i k by x i ¯ k , kth-iteration obtained by any scheme, in (2.3), we obtain
x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) , k = 0 , 1 ,
Thus, a new two-step iterative method is constructed for finding all roots simultaneously by taking first step of any existing fixed point iterative method with order of convergence m, having the form x ¯ k + 1 = ψ ( x k ) , and by taking second step as equation (2.4), which is denoted by ϕ t and having order of convergence 2 m as follows:
x ¯ i k = ψ ( x i k ) , x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) , i = 1 , 2 , . . . , n .

2.1. Some special cases

We are going to describe some special cases that we will use in the numerical section.
(1)
Taking as first step Newton’s method we obtain the following iterative scheme of fourth-order of convergence, denoted by N 2 t , with the following expression
x ¯ i ( k ) = x i ( k ) f ( x i ( k ) ) f ( x i ( k ) ) , x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) , k = 0 , 1 ,
(2)
Now, we consider as first step Ostrowski’s method [11], having order of convergence four, then by applying the proposed idea, we obtain an eighth-order of convergence, denoted by T 4 t , as follows
y i ( k ) = x i ( k ) f ( x i ( k ) ) f ( x i ( k ) ) , x ¯ i ( k ) = x i ( k ) f ( y i ( k ) ) f ( x i ( k ) ) 2 f ( y i ( k ) ) f ( x i ( k ) ) f ( x i ( k ) ) f ( x i ( k ) ) , x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) , k = 0 , 1 ,
(3)
Consider as first step of Jarratt’s method [12], which has order of convergence four, then applying the second step of (5) we obtain an iterative method of eighth-order convergence, denoted by J 4 t , as follows
y i ( k ) = x i ( k ) 2 f ( x i ( k ) ) 3 f ( x i ( k ) ) , x ¯ i ( k ) = x i ( k ) 1 3 2 f ( y i ( k ) ) f ( x i ( k ) ) 3 f ( y i ( k ) ) f ( x i ( k ) ) f ( x i ( k ) ) f ( x i ( k ) ) , x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) , k = 0 , 1 ,
(4)
Considering as first step the Cordero et al. scheme [13], which have four order of convergence and applying the proposed scheme, result an iterative scheme on eighth-order convergence, denoted by M 4 t , as follows
y i ( k ) = x i ( k ) f ( x i ( k ) ) f [ w i ( k ) , x i ( k ) ] , x ¯ i ( k ) = y i ( k ) H ( μ i ( k ) ) f ( y i ( k ) ) f [ y i ( k ) , x i ( k ) ] f ( x i ( k ) ) , x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) , k = 0 , 1 , ,
where w i ( k ) = x i ( k ) + β f ( x i ( k ) ) and μ i ( k ) = f ( y i ( k ) ) f ( w i ( k ) ) , being β an arbitrary parameter.

3. Convergence Analysis

The convergence analysis of the family of simultaneous method (5) is presented in the following result.
Theorem 1.
Let ξ 1 , ξ 2 , , ξ n be all simple roots of the polynomial equation f ( x ) = 0 . If x 1 ( 0 ) , x 2 ( 0 ) , , x n ( 0 ) are the initial approximations of the roots ξ 1 , ξ 2 , , ξ n , respectively, and they are sufficiently close of them, then the order of convergence of method (5) is 2 m .
Proof. 
Let
ϵ i = x i ( k ) ξ i ,
ϵ i = x ¯ i ( k ) ξ i ,
ϵ i = x i ( k + 1 ) ξ i ,
be the errors of approximations x i ( k ) , x ¯ i ( k ) and x i ( k + 1 ) , respectively.
Now, we consider the second step of proposed scheme
x i ( k + 1 ) = x ¯ i ( k ) f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) ,
and subtract ξ i from both sides of (13)
x i ( k + 1 ) ξ i = x ¯ i ( k ) ξ i f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) ,
Then using the errors defined before, we have
ϵ i = ϵ i f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) ,
ϵ i = ϵ i 1 1 ϵ i f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) ,
ϵ i = ϵ i ( 1 E i ) ,
where
E i = 1 ϵ i f ( x ¯ i ( k ) ) j = 1 , j i n ( x ¯ i k x ¯ j k ) .
Now, as f ( x ) can be described in the form
f ( x ) = j = 1 n ( x ξ j ) ,
equation (18), becomes
E i = j = 1 , j i n ( x ¯ i k ξ j ) ( x ¯ i k x ¯ j k ) ,
( x ¯ i k ξ j ) ( x ¯ i k x ¯ j k ) = 1 + ( x ¯ j k ξ j ) ( x ¯ i k x ¯ j k ) ,
and from (3.2) ( x ¯ j k ξ j ) = O ( ϵ ) . For a simple root ξ and small enough ϵ , | ( x ¯ i k x ¯ j k ) | is bounded and away from zero, so equation (3.12) becomes,
( x ¯ i k ξ j ) ( x ¯ i k x ¯ j k ) = 1 + ( x ¯ j k ξ j ) ( x ¯ i k x ¯ j k ) = 1 + O ( ϵ ) ,
Using (3.13) in (3.11)
j i j = 1 n ( x ¯ i ( k ) ξ j ) ( x ¯ i k x ¯ j k ) = 1 + O ( ϵ ) n 1 = 1 + ( n 1 ) O ( ϵ ) = 1 + O ( ϵ ) ,
E i = 1 + O ( ϵ ) ,
E i 1 = O ( ϵ ) .
Thus, (3.8) gives
ϵ i = O ( ϵ ) 2 .
Since the first step has order m, we have ϵ i = O ( ϵ m ) . Thus
ϵ i = O ( ϵ m ) 2 = O ( ϵ ) 2 m .
Therefore, the order of convergence 2 m is proved. □

4. Numerical experiments

In this section, different numerical experiments are performed in order to analyze the behavior of the proposed scheme. As discussed in the previous section, we consider Newton’s method (denoted by N 2 t ), Ostrowski’s scheme (denoted by T 4 t ), Jarratt’s method (denoted by J 4 t ), Cordero et al. method (denoted by M 4 t ) modified by applying the second step of our proposal. We compare the results obtained from these modified methods with the known schemes for finding simultaneous roots given by Mir et al. (denoted by M M N 8 , M R 6 , M R 4 ), Shams (denoted by S 5 ) and Petkovic et al. (denoted by P 10 ). The iterative expressions of these schemes for finding all roots simultaneously are:
  • Mir et al. scheme [15], ( M M N 8 ) :
    y i ( k ) = x i ( k ) f ( x i ( k ) ) f ( x i ( k ) ) , z i ( k ) = x i ( k ) 1 f ( x i ( k ) ) f ( x i ( k ) ) j = 1 , j i n 1 ( x i ( k ) y j ( k ) ) , x i ( k + 1 ) = z i ( k ) 1 f ( z i ( k ) ) f ( z i ( k ) ) j = 1 , j i n 1 ( z i ( k ) z j ( k ) ) α .
  • Mir et al. scheme [16], ( M R 6 ) :
    z i ( k ) = x i ( k ) 1 f ( x i ( k ) ) f ( x i ( k ) ) j = 1 , j i n 1 ( x i ( k ) x j ( k ) ) , x i ( k + 1 ) = z i ( k ) 1 f ( z i ( k ) ) f ( z i ( k ) ) j = 1 , j i n 1 ( z i ( k ) z j ( k ) ) α .
  • Mir et al. scheme [16], ( M R 4 ) :
    w i ( x i ) = f ( x i ) j = 1 , j i n ( x i y j ) , y i = x i w i ( x i ) , z i = y i W i ( y i ) 1 α W i ( y i ) .
  • Shams et al. scheme [17], ( S 5 ) :
    y i ( k ) = x i ( k ) f ( x i ( k ) ) f ( x i ( k ) ) , z i ( k ) = y i ( k ) f ( x i ( k ) ) f ( y i ( k ) ) α f ( y i ( k ) ) + ( 2 α ) f ( x i ( k ) ) f ( x i ( k ) ) f ( x i ( k ) ) , x i ( k + 1 ) = x i ( k ) 1 f ( x i ( k ) ) f ( x i ( k ) ) j = 1 , j i n 1 ( x i ( k ) z j ( k ) ) .
  • Petkovic et al. scheme [2], ( P 10 ) :
    y i ( k ) = x i ( k ) f ( x i ( k ) ) f ( x i ( k ) ) , z i ( k ) = y i ( k ) f ( y i ( k ) ) f ( x i ( k ) ) ( f ( x i ( k ) ) f ( y i ( k ) ) ) 2 f ( x i ( k ) ) f ( x i ( k ) ) , t i ( k ) = z i ( k ) f ( y i ( k ) ) ( f ( x i ( k ) ) ) 2 ( f ( y i ( k ) ) f ( z i ( k ) ) ) 2 x i ( k ) z i ( k ) ( f ( x i ( k ) ) f ( z i ( k ) ) ) 2 1 ( f ( x i ( k ) ) f ( z i ( k ) ) ) f ( x i ( k ) ) f ( y i ( k ) ) f ( x i ( k ) ) ( f ( x i ( k ) ) f ( y i ( k ) ) ) 2 , x i ( k + 1 ) = x i ( k ) 1 f ( x i ( k ) ) f ( x i ( k ) ) j = 1 , j i n 1 ( x i ( k ) t j ( k ) ) .
In the Mir et al. scheme and Shames et al. scheme, we consider the value of α = 30 . The outcomes of the experiments have been completed in Mathematica version 11.1 software. We choose
x ( k + 1 ) x ( k ) 2 + F ( x ( k + 1 ) ) 2 < T o l
as stopping criterion, with a tolerance, T o l = 10 300 , where
F ( x ( k + 1 ) ) = f ( x 1 ( k + 1 ) ) , . . . . . . , f ( x n ( k + 1 ) ) .
The norm of the distance between two approximations is given by x ( k + 1 ) x ( k ) 2 and the approximated computational order of convergence (ACOC), [18], which is an estimation of the theoretical order of convergence ρ whose expression is
ρ A C O C = ln x ( k + 2 ) x ( k + 1 ) 2 x ( k + 1 ) x ( k ) 2 ln x ( k + 1 ) x ( k ) 2 x ( k ) x ( k 1 ) 2 .
Example 1.
Consider the polynomial
f ( x ) = ( x + 1 ) ( x + 3 ) ( x 2 2 x + 2 ) ( x 1 ) ( x 2 4 x + 5 ) ( x 2 + 4 x + 5 ) ,
whose exact roots are
ξ 1 = 1 , ξ 2 = 3 , ξ 3 = 1 + ι ˙ , ξ 4 = 1 ι ˙ , ξ 5 = 1 , ξ 6 = 2 + ι ˙ , ξ 7 = 2 ι ˙ , ξ 8 = 2 + ι ˙ , ξ 9 = 2 ι ˙ .
The initial approximation has been taken as:
x 1 ( 0 ) = 1.3 + 0.2 ι ˙ , x 2 ( 0 ) = 2.8 0.2 ι ˙ , x 3 ( 0 ) = 1.2 + 1.3 ι ˙ , x 4 ( 0 ) = 0.8 1.2 ι ˙ , x 5 ( 0 ) = 0.8 0.3 ι ˙ , x 6 ( 0 ) = 1.8 + 1.2 ι ˙ ,
x 7 ( 0 ) = 1.8 1.2 ι ˙ , x 8 ( 0 ) = 1.8 + 0.8 ι ˙ , x 9 ( 0 ) = 1.8 0.8 ι ˙ .
Table 1 represents the results obtained from the different iterative methods. We can observed that the proposed methods T 4 t , J 4 t , N 2 t and M 4 t have less absolute error than other methods and are faster than existing schemes.
Example 2.
In this example, let us consider the polynomial
f ( x ) = ( x 4 ) ( x 2 1 ) ( x 4 16 ) ( x 2 + 9 ) ( x 2 + 16 ) ( x 2 + 2 x + 5 ) ( x 2 + 2 x + 2 ) ( x 2 2 x + 2 ) ( x 2 4 x + 5 ) ( x 2 2 x + 10 ) ,
with the exact roots
ξ 1 = 4 , ξ 2 = 1 , ξ 3 = 2 , x i 4 = 2 , ξ 5 = 2 ι ˙ , ξ 6 = 2 ι ˙ , ξ 7 = 3 ι ˙ , ξ 8 = 3 ι ˙ , ξ 9 = 1 + 2 ι ˙ , ξ 10 = 1 2 ι ˙ , ξ 11 = 1 + ι ˙ , ξ 12 = 1 ι ˙ , ξ 13 = 1 + ι ˙ , ξ 14 = 1 ι ˙ , ξ 15 = 2 + ι ˙ , ξ 16 = 2 ι ˙ , ξ 17 = 1 + 3 ι ˙ , ξ 18 = 1 3 ι ˙ , ξ 19 = 4 ι ˙ , ξ 20 = 4 ι ˙ , ξ 21 = 1 .
The initial approximations we have taken are:
x 1 ( 0 ) = 4.2 + 0.1 ι ˙ , x 2 ( 0 ) = 1.2 + 0.1 ι ˙ , x 3 ( 0 ) = 2.2 + 0.1 ι ˙ , x 4 ( 0 ) = 2.2 0.1 ι ˙ , x 5 ( 0 ) = 0.2 + 2.1 ι ˙ , x 6 ( 0 ) = 0.2 2.1 ι ˙ , x 7 ( 0 ) = 0.2 + 3.1 ι ˙ , x 8 ( 0 ) = 0.2 3.1 ι ˙ , x 9 ( 0 ) = 1.2 + 2.1 ι ˙ , x 10 ( 0 ) = 1.2 2.1 ι ˙ , x 11 ( 0 ) = 1.2 + 1.1 ι ˙ , x 12 ( 0 ) = 1.2 1.1 ι ˙ , x 13 ( 0 ) = 1.2 + 1.1 ι ˙ , x 14 ( 0 ) = 1.2 1.1 ι ˙ , x 15 ( 0 ) = 2.2 + 1.1 ι ˙ , x 16 ( 0 ) = 2.2 1.1 ι ˙ , x 17 ( 0 ) = 1.2 + 3.1 ι ˙ , x 18 ( 0 ) = 1.2 3.1 ι ˙ , x 19 ( 0 ) = 0.2 + 4.1 ι ˙ , x 20 ( 0 ) = 0.2 4.1 ι ˙ , x 21 ( 0 ) = 1.1 + 0.2 ι ˙ .
Table 2 represents the results obtained from different iterative methods, observing that the number of iterations in most of the proposed method is less than the number of iterations of the known schemes. We can observe that T 4 t and M 4 t obtain the best results as compared to existing schemes.
Example 3.
Consider the polynomial of degree seven
f ( x ) = x 7 + x 5 10 x 4 x 3 x + 10 ,
with exact roots
ξ 1 = 2 , ξ 2 = 1 , ξ 3 = 1 , ξ 4 = ι ˙ , ξ 5 = ι ˙ , ξ 6 = 1 + 2 ι ˙ , ξ 7 = 1 2 ι ˙ .
The initial approximations taken are:
x 1 ( 0 ) = 1.66 + 0.23 ι ˙ , x 2 ( 0 ) = 1.36 0.31 ι ˙ , x 3 ( 0 ) = 0.76 + 0.18 ι ˙ , x 4 ( 0 ) = 0.35 + 1.17 ι ˙ , x 5 ( 0 ) = 0.29 1.37 ι ˙ , x 6 ( 0 ) = 0.75 + 2.36 ι ˙ , x 7 ( 0 ) = 1.27 1.62 ι ˙ .
Table 3 represents the results obtained from the different iterative methods used until now.
Example 4.
Now, let us consider the polynomial
f ( x ) = ( x + 1 ) ( x + 2 ) ( x 2 2 x + 2 ) ( x 2 + 1 ) ( x 2 ) ( x + 2 ι ˙ ) ,
whose exact roots are
ξ 1 = 1 , ξ 2 = 2 , ξ 3 = 1 + ι ˙ , ξ 4 = 1 ι ˙ , ξ 5 = + ι ˙ , ξ 6 = ι ˙ , ξ 7 = 2 , ξ 8 = 2 + ι ˙ .
In this example, we take as initial approximations:
x 1 ( 0 ) = 1.3 + 0.2 ι ˙ , x 2 ( 0 ) = 2.2 0.3 ι ˙ , x 3 ( 0 ) = 1.3 + 1.2 ι ˙ , x 4 ( 0 ) = 0.7 1.2 ι ˙ , x 5 ( 0 ) = 0.2 + 0.8 ι ˙ , x 6 ( 0 ) = 0.2 1.3 ι ˙ , x 7 ( 0 ) = 2.2 0.3 ι ˙ , x 8 ( 0 ) = 2.2 + 0.7 ι ˙ .
In Table 4 we can observe the results for this example. Some proposed methods show much better results than the other ones.
Example 5.
In this example, we consider
f ( x ) = ( x + 3 ) ( x 2 ι ˙ ) ( x 2 + 4 x + 5 ) ( x 2 4 x + 5 ) ,
whose roots are
ξ 1 = 3 , ξ 2 = 2 ι ˙ , ξ 3 = 2 + ι ˙ , ξ 4 = 2 ι ˙ , ξ 5 = 2 + ι ˙ , ξ 6 = 2 ι ˙ .
In this case, we use the initial approximations:
x 1 ( 0 ) = 0.33 + 0.2 ι ˙ , x 2 ( 0 ) = 0.3 + 2.3 ι ˙ , x 3 ( 0 ) = 2.3 + 1.2 ι ˙ , x 4 ( 0 ) = 2.3 1.2 ι ˙ , x 5 ( 0 ) = 2.3 + 1.2 ι ˙ , x 6 ( 0 ) = 2.3 1.2 ι ˙ .
Based on the results obtained, shown in Table 5, it is clear that proposed methods are, in general, faster than the existing ones.
Example 6.
To show the real life problems of nonlinear equations, we apply the proposed methods, for Classical Dynamics of Blocks on an inclined planes [19]. The role of eigenvalue/eigenvector pairs is presented here. It is shown that the lower frequencies of eigenvalue/eigenvector pairs dominant the solution of this system. The dynamical problem is to determine block acceleration a B and cable tensions T A , T B and T C just after the system is released from rest. The fourth order matrix from Newton’s laws are given by:
0.5 m A 1 0 0 m B 0 1 0 0.5 J R 0 R R 0.5 m p 1 1 1   a B T A T B T C = μ m A g m B g ( s i n ( 45 ) μ c o s ( 45 ) ) 0 0
The following numerical values are used:
  • Block & Pulley Weights:
    W A = 200 l b , W B = 300 l b , W P = 50 l b ,
  • Surface coefficient of friction μ = 0.2,
  • Pulley Mass Moment of Inertia
    J = 1 2 m P R 2 , A B = a B g , F A = T A m A g , F A = T B m A g , F C = T C m A g , K B = m B m A , K B = T B m A
    with KB = 0.67, KP = 0.25.
The dimensionless numerical matrix A is as follows:
A = 0.5 1 0 0 0.67 0 1 0 0.063 0 1 1 0.13 1 1 1
The characteristic equation of matrix A is given by:
f(x) = (x2 - 0.807213 x + 0.072386)(x2 + 0.230721x + 0.280855),
whose roots are
ζ1 ≈ − 1.153605 + 1.215626ι, ζ2 ≈ − 1.153605 − 1.215626ι, ζ3 ≈ 0.4036065 + 0.7489738ι, ζ4 ≈ 0.4036065 − 0.7489738ι.
The initial approximation used are:
x 1 ( 0 ) = 3 + 3 ι ˙ , x 2 ( 0 ) = 3 3 ι ˙ , x 3 ( 0 ) = 2 + 2 ι ˙ , x 4 ( 0 ) = 2 2 ι ˙ .
The results obtained by the different methods appear in Table 6. The characteristics of these numerical results are similar to those in the other examples.
Example 7.
In this example, we apply the proposed methods for a mechanism composed of a block and disc connected by a pulley system [19]. The role of eigenvalue/eigenvector pairs is shown that the lower frequencies of eigenvalue/eigenvector pairs dominant the solution of this system. The dynamical problem is to determine block acceleration a B and disc acceleration a A disc friction force F A , cable tensions T A , T B , T C and T D just after the system is released from rest. The seventh order matrix from Newton’s laws are given by:
m A 0 1 1 0 0 0 5 J A 0 0.2 0 0 0 0 10 J C 0 0 0.1 0 0.1 0 0 m D 0 0 1 1 1 0 10 J D 0 0 0 0.1 0.1 0 m B 0 0 1 0 0 0.5 1 0 0 0 0 0 a A a B F A T A T B T C T D = 0 τ A 0 m D g 0 m B g 0 .
The following numerical values are used:
  • Disk & Block Masses: m A = 20 k g , m B = 10 k g ,
  • Pulley Masses: m C = m D = 15 k g ,
  • Disk Mass Moment of Inertia: J A = 0 . 4 k g m 2 ,
  • Pulleys Mass Moment of Inertia: J C = J D = 0 . 075 k g m 2 ,
  • External Torque: τ A = 10 N m .
The dimensionless numerical matrix A is as follows:
A = 20 0 1 1 0 0 0 2 0 0.2 0 0 0 0 0.75 0 0 0.1 0 0.1 0 0 15 0 0 1 1 1 0 0.75 0 0 0 0.1 0.1 0 10 0 0 1 0 0 0.5 1 0 0 0 0 0 .
The characteristic equation of matrix A is given by
f ( x ) = ( x 20.0364 ) ( x 0.765264 ) ( x 0.0923177 ) ( x 2 + 0.388177 x + 0.180708 ) ( x 2 + 0.505777 x + 0.071346 ) ,
whose roots are
ξ 1 20.0364 , ξ 2 0.765264 , ξ 3 0.0923177 , ξ 4 0.194088 + 1.33019 ι ˙ , ξ 5 0.194088 1.33019 ι ˙ , ξ 6 0.252888 + 0.085985 ι ˙ , ξ 7 0.252888 0.085985 ι ˙ .
The initial approximation has been taken as:
x 1 ( 0 ) = 21.5 + 0.01 ι ˙ , x 2 ( 0 ) = 1.7 + 0.02 ι ˙ , x 3 ( 0 ) = 0.5 + 0.03 ι ˙ , x 4 ( 0 ) = 0.55 + 2.3 ι ˙ , x 5 ( 0 ) = 0.55 2.3 ι ˙ , x 6 ( 0 ) = 0.55 + 0.02 ι ˙ , x 7 ( 0 ) = 0.55 0.02 ι ˙ .
The obtained numerical results for this example appear in Table 7.
In the last table, we show the number of iterations needed in each example for satisfying the stopping criterion.
Table 8. Comparison of the number of iterations with different examples and methods.
Table 8. Comparison of the number of iterations with different examples and methods.
Method N I e x 1 N I e x 2 N I e x 3 N I e x 4 N I e x 5 N I e x 6 N I e x 7 Total NI Average NI
T 4 t 5 5 6 5 5 5 6 37 5.29
J 4 t 5 5 6 5 5 5 6 37 5.29
N 2 t 7 7 7 7 6 8 9 51 7.29
M 4 t 7 6 7 6 6 7 7 46 6.57
M M N 8 6 5 6 5 5 6 8 41 5.86
M R 6 6 6 6 6 6 7 8 45 6.43
M R 4 9 8 8 8 7 10 11 61 8.71
S 5 6 6 7 6 6 7 9 47 6.71
P 10 5 5 5 5 4 5 7 36 5.14
14.1cm NI = Number of iterations.

5. Conclusions

In this manuscript, we combine the Weierstrass method with any iterative scheme for designing new iterative algorithms for approximating simultaneously all the roots of a real or complex polynomial. The order of convergence of the proposed schemes is 2 m , being m the order of the iterative method that combine with Weierstrass’s scheme.
Several numerical tests confirm the theoretical results and allow us to compare the proposed schemes with other known in the literature.

Author Contributions

Conceptualization, R.B. and A.C.; methodology, J.R.T. and A.C.; software, M.P.; validation, R.B. and J.R.T.; formal analysis, P.T.-N.; investigation, S.B.; resources, S.B.; writing—original draft preparation, M.P.; writing—review and editing, P.T.-N.; visualization, R.B.; supervision, A.C. and J.R.T. All authors have read and agreed to the published version of the manuscript.

Data Availability Statement

Not applicable

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Sendov, B., Andreev, A., and Kjurkchiev, N. (1994). Numerical solution of polynomial equations. Handbook of numerical analysis, 3, 625–778. [CrossRef]
  2. Petković, M. S., Petković, L. D., and Džunić, J. (2014). On an efficient simultaneous method for finding polynomial zeros. Appl. Math. Letters, 28, 60–65. [CrossRef]
  3. Cordero, A., Garrido, N., Torregrosa, J.R., and Triguero-Navarro, P. (2022). Iterative schemes for finding all roots simultaneously of nonlinear equations. Appl. Math. Letters, 134, 108325. [CrossRef]
  4. Chinesta, F., Cordero, A., Garrido, N., Torregrosa, J., and Triguero-Navarro, P. (2023). Simultaneous roots for vectorial problems. Comput. Appl. Math., 42:227. [CrossRef]
  5. Proinov, P., and Ivanov, S. (2019). Convergence analysis of Sakurai-Torii-Sugiura iterative method for simultaneous approximation of polynomial zeros. J. Comput. Appl. Math., 357, 56–70. [CrossRef]
  6. Weierstrass, K. (1891). Neuer beweis des satzes, dass jede ganze rationale function einer Veranderlichen dargestellt werden kann als ein product aus linearen functionen derselben Veranderlichen, Sitzungsber. K. Preuss. Akad. Wiss. (Berlin), 1085–1101.
  7. Durand, E. (1960). Numériques des Equations Algébriques, Tome 1: Equations du tipe F(x)=0, Racines d’un Polynome, Masson, Paris.
  8. Dochev, K. (1962). Modified Newton method for the simultaneous computation of all roots of a given algebraic equation. Phys. Math. J. Bulg. Acad. Sci. 5, 136–139.
  9. Kerner, I.O. (1966). Ein gesamtschrittverfahren zur Berechnung der Nullstellen van Polynomen. Numer. Math. 8, 290–294. [CrossRef]
  10. Prešsić, S.B. (1966). Un proced e iteratif pour la factorisation des polynomes. C.R. Acad. Sci. Paris Ser. A, 262, 862–863.
  11. King, R. F. (1973). A family of fourth order methods for nonlinear equations. SIAM J. on Numer Anal., 10(5), 876–879. [CrossRef]
  12. Jarratt, P. (1966). Some fourth order multipoint iterative methods for solving equations. Math. of Comput., 20(95), 434–437. [CrossRef]
  13. Cordero, A., Garrido, N., Torregrosa, J. R., and Triguero-Navarro, P. (2021). Memory in the iterative processes for nonlinear problems. Math. Meth. in the Appl. Sci., 46, 4145–4158. [CrossRef]
  14. Cordero, A., Torregrosa, J. R., and Triguero-Navarro, P. (2021). A general optimal iterative scheme with arbitrary order of convergence. Symmetry, 13(5), 884. [CrossRef]
  15. Mir, N. A., Shams, M., Rafiq, N., Akram, S., and Ahmed, R. (2020). On Family of Simultaneous Method for Finding Distinct as Well as Multiple Roots of Non-linear Equation. Punjab University J. of Math., 52(6).
  16. Mir, N. A., Muneer, R., and Jabeen, I. (2011). Some families of two-step simultaneous methods for determining zeros of nonlinear equations. ISRN Appl. Math., 1–11. [CrossRef]
  17. Shams, M., Rafiq, N., Kausar, N., Agarwal, P., Park, C., and Mir, N. A. (2021). On iterative techniques for estimating all roots of nonlinear equation and its system with application in differential equation. Adv. Diff. Equations, 1, 1–18. [CrossRef]
  18. Cordero, A., and Torregrosa, J. R. (2007). Variants of Newton’s method using fifth-order quadrature formulas. Applied Mathematics and Computation, 190(1), 686-698. [CrossRef]
  19. Panza, M. J. (2018). Application of power method and dominant eigenvector/eigenvalue concept for approximate eigenspace solutions to mechanical engineering algebraic systems. American Journal of Mechanical Engineering, 6(3), 98–113. [CrossRef]
Table 1. Numerical results for Example 1 based on various methods.
Table 1. Numerical results for Example 1 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | ρ Time (s)
T 4 t 2.2 ( 7 ) 5.7 ( 53 ) 1.3 ( 417 ) 1.9 ( 3331 ) 8.0232 0.671
J 4 t 1.9 ( 7 ) 2.2 ( 53 ) 7.2 ( 421 ) 1.7 ( 3357 ) 8.0230 1.017
N 2 t 1.0 ( 2 ) 2.3 ( 8 ) 6.8 ( 31 ) 7.0 ( 118 ) 4.1001 0.532
M 4 t 1.6 ( 2 ) 3.2 ( 5 ) 1.4 ( 24 ) 4.4 ( 175 ) 9.8547 0.657
M M N 8 2.3 ( 5 ) 1.2 ( 37 ) 2.5 ( 297 ) 4.9 ( 2375 ) 8.1617 0.734
M R 6 9.1 ( 5 ) 2.5 ( 26 ) 6.4 ( 158 ) 1.0 ( 948 ) 6.1057 0.812
M R 4 3.5 ( 1 ) 8.1 ( 2 ) 2.3 ( 4 ) 4.0 ( 11 ) 4.3266 0.531
S 5 5.4 ( 4 ) 9.8 ( 16 ) 8.0 ( 77 ) 2.5 ( 379 ) 5.2340 1.390
P 10 2.5 ( 7 ) 2.2 ( 68 ) 8.6 ( 681 ) 4.9 ( 6800 ) 10.020 3.313
Table 2. Numerical results for Example 2 based on various methods.
Table 2. Numerical results for Example 2 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | A C O C Time (s)
T 4 t 5.6 ( 15 ) 4.8 ( 113 ) 8.4 ( 897 ) 5.8 ( 7155 ) 8.0159 3.203
J 4 t 9.5 ( 15 ) 4.1 ( 111 ) 3.0 ( 881 ) 1.5 ( 7030 ) 8.0145 6.812
N 2 t 2.7 ( 4 ) 1.3 ( 14 ) 2.0 ( 55 ) 6.7 ( 207 ) 4.0848 2.359
M 4 t 2.7 ( 4 ) 1.3 ( 14 ) 2.4 ( 64 ) 1.9 ( 448 ) 8.0343 1.703
M M N 8 3.0 ( 14 ) 1.9 ( 108 ) 3.1 ( 862 ) 5.5 ( 6883 ) 8.0215 4.345
M R 6 9.7 ( 7 ) 7.2 ( 38 ) 6.3 ( 227 ) 4.9 ( 1358 ) 6.0741 3.734
M R 4 2.6 ( 1 ) 1.3 ( 2 ) 1.0 ( 7 ) 9.7 ( 19 ) 5.7548 1.328
S 5 8.8 ( 7 ) 4.2 ( 30 ) 6.0 ( 146 ) 2.9 ( 716 ) 5.0487 9.390
P 10 1.7 ( 17 ) 7.1 ( 166 ) 3.7 ( 1652 ) 7.8 ( 16500 ) 10.018 31.219
Table 3. Numerical results for Example 3 based on various methods.
Table 3. Numerical results for Example 3 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | A C O C Time (s)
T 4 t 6.8 ( 5 ) 7.7 ( 34 ) 2.2 ( 265 ) 2.3 ( 2115 ) 8.0366 0.985
J 4 t 1.2 ( 4 ) 8.5 ( 32 ) 4.9 ( 249 ) 1.7 ( 1989 ) 8.0390 0.927
N 2 t 5.5 ( 2 ) 6.9 ( 6 ) 2.0 ( 21 ) 2.1 ( 81 ) 4.1600 0.311
M 4 t 5.7 ( 2 ) 4.6 ( 6 ) 2.1 ( 35 ) 2.6 ( 266 ) 8.0321 1.109
M M N 8 3.6 ( 3 ) 1.9 ( 23 ) 1.5 ( 183 ) 1.3 ( 1462 ) 8.1090 0.735
M R 6 8.5 ( 3 ) 4.8 ( 13 ) 7.5 ( 76 ) 4.7 ( 453 ) 6.1383 0.422
M R 4 1.9 ( 1 ) 5.8 ( 3 ) 9.0 ( 9 ) 9.2 ( 30 ) 4.4467 0.376
S 5 6.5 ( 3 ) 2.5 ( 11 ) 3.1 ( 52 ) 4.6 ( 256 ) 5.1550 0.530
P 10 7.7 ( 5 ) 6.8 ( 42 ) 3.7 ( 411 ) 3.9 ( 4103 ) 10.121 2.219
Table 4. Numerical results for Example 4 based on various methods.
Table 4. Numerical results for Example 4 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | A C O C Time (s)
T 4 t 6.0 ( 11 ) 3.2 ( 82 ) 2.7 ( 652 ) 1.9 ( 5210 ) 8.0151 1.047
J 4 t 1.2 ( 10 ) 1.3 ( 79 ) 1.7 ( 631 ) 4.4 ( 5044 ) 8.0154 1.738
N 2 t 1.3 ( 3 ) 3.2 ( 12 ) 1.7 ( 46 ) 2.1 ( 181 ) 4.0672 0.511
M 4 t 1.2 ( 3 ) 1.1 ( 15 ) 3.9 ( 111 ) 4.3 ( 872 ) 8.1326 0.500
M M N 8 3.0 ( 9 ) 7.4 ( 69 ) 5.2 ( 545 ) 3.8 ( 4357 ) 8.0358 1.113
M R 6 2.0 ( 4 ) 3.4 ( 22 ) 8.4 ( 129 ) 2.8 ( 766 ) 6.0439 1.578
M R 4 8.9 ( 2 ) 2.5 ( 4 ) 2.2 ( 14 ) 1.9 ( 52 ) 4.4202 0.390
S 5 3.2 ( 5 ) 9.6 ( 22 ) 2.4 ( 104 ) 3.5 ( 515 ) 5.0449 1.828
P 10 9.1 ( 5 ) 1.1 ( 42 ) 6.4 ( 420 ) 1.2 ( 4192 ) 10.139 2.593
Table 5. Numerical results for Example 5 based on various methods.
Table 5. Numerical results for Example 5 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | A C O C Time (s)
T 4 t 4.4 ( 30 ) 2.4 ( 236 ) 1.7 ( 1886 ) 2.9 ( 15085 ) 8.0051 0.735
J 4 t 6.3 ( 30 ) 4.4 ( 235 ) 2.9 ( 1876 ) 1.6 ( 15003 ) 8.0051 0.875
N 2 t 1.7 ( 7 ) 1.2 ( 28 ) 3.7 ( 113 ) 6.7 ( 449 ) 4.0305 0.36
M 4 t 1.6 ( 5 ) 4.3 ( 32 ) 1.2 ( 244 ) 1.3 ( 1942 ) 8.0400 0.360
M M N 8 1.0 ( 18 ) 8.8 ( 146 ) 3.7 ( 1162 ) 5.9 ( 9291 ) 8.0086 0.422
M R 6 1.6 ( 7 ) 9.2 ( 43 ) 2.6 ( 256 ) 1.4 ( 1538 ) 6.0637 0.468
M R 4 2.2 ( 2 ) 1.5 ( 7 ) 1.5 ( 27 ) 1.2 ( 105 ) 4.0698 0.344
S 5 8.9 ( 9 ) 6.3 ( 41 ) 8.6 ( 202 ) 9.9 ( 1004 ) 5.0354 0.937
P 10 9.4 ( 37 ) 2.1 ( 362 ) 1.9 ( 3617 ) 1.9 ( 36170 ) 10.014 0.891
Table 6. Numerical results for Example 6 based on various methods.
Table 6. Numerical results for Example 6 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | A C O C Time (s)
T 4 t 2.7 ( 5 ) 1.9 ( 39 ) 1.9 ( 312 ) 2.7 ( 2495 ) 8.0544 0.359
J 4 t 2.8 ( 5 ) 3.3 ( 39 ) 1.8 ( 3101 ) 2.0 ( 2479 ) 8.0541 0.359
N 2 t 1.9 ( 1 ) 2.5 ( 4 ) 8.7 ( 16 ) 1.1 ( 60 ) 4.3190 0.375
M 4 t 1.9 ( 1 ) 1.6 ( 5 ) 7.9 ( 38 ) 4.2 ( 295 ) 8.4883 0.515
M M N 8 1.2 ( 1 ) 2.4 ( 8 ) 6.9 ( 62 ) 2.3 ( 489 ) 8.1543 0.406
M R 6 3.9 ( 1 ) 2.6 ( 3 ) 3.0 ( 16 ) 4.6 ( 93 ) 6.4975 0.406
M R 4 8.7 ( 1 ) 5.0 ( 1 ) 2.1 ( 1 ) 7.2 ( 2 ) -1.4440 0.327
S 5 1.2 ( 1 ) 4.0 ( 5 ) 2.8 ( 22 ) 4.4 ( 107 ) 5.2972 0.407
P 10 5.4 ( 1 ) 6.6 ( 6 ) 5.5 ( 54 ) 1.1 ( 533 ) 10.047 0.641
Table 7. Numerical results for Example 7 based on various methods.
Table 7. Numerical results for Example 7 based on various methods.
Method | | x ( 3 ) x ( 2 ) | | | | x ( 4 ) x ( 3 ) | | | | x ( 5 ) x ( 4 ) | | | | f ( x ( 5 ) ) | | A C O C Time (s)
T 4 t 2.3 ( 2 ) 1.9 ( 9 ) 6.3 ( 66 ) 2.3 ( 517 ) 8.0187 0.953
J 4 t 2.4 ( 2 ) 3.3 ( 9 ) 6.1 ( 64 ) 1.8 ( 501 ) 8.1425 2.125
N 2 t 1.6 ( 1 ) 1.5 ( 2 ) 5.4 ( 6 ) 2.3 ( 19 ) 3.9359 0.766
M 4 t 9.0 ( 2 ) 3.4 ( 4 ) 3.3 ( 22 ) 6.5 ( 166 ) 8.0586 0.812
M M N 8 5.5 ( 1 ) 8.7 ( 2 ) 1.2 ( 5 ) 1.2 ( 35 ) 6.8550 5.359
M R 6 4.7 ( 1 ) 1.7 ( 1 ) 2.5 ( 3 ) 1.9 ( 14 ) 8.0862 5.435
M R 4 3.0 ( 1 ) 4.3 ( 1 ) 1.6 ( 1 ) 3.6 ( 2 ) 0.16920 2.735
S 5 5.5 ( 1 ) 1.3 ( 1 ) 2.9 ( 3 ) 1.1 ( 9 ) 4.8264 1.172
P 10 1.4 ( 1 ) 3.0 ( 4 ) 1.1 ( 28 ) 9.0 ( 276 ) 10.067 5.688
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated