SlideShare a Scribd company logo
Fractional Newton-Raphson Method and Some
Variants for the Solution of Nonlinear Systems
A. Torres-Hernandez ,a, F. Brambila-Paz โ€ ,b, and E. De-la-Vega โ€ก,c
a
b
Abstract
The following document presents some novel numerical methods valid for one and several variables, which
using the fractional derivative, allow us to ๏ฌnd solutions for some nonlinear systems in the complex space using
real initial conditions. The origin of these methods is the fractional Newton-Raphson method, but unlike the
latter, the orders proposed here for the fractional derivatives are functions. In the ๏ฌrst method, a function is
used to guarantee an order of convergence (at least) quadratic, and in the other, a function is used to avoid the
discontinuity that is generated when the fractional derivative of the constants is used, and with this, it is possible
that the method has at most an order of convergence (at least) linear.
Keywords: Iteration Function, Order of Convergence, Fractional Derivative.
1. Introduction
When starting to study the fractional calculus, the ๏ฌrst di๏ฌƒculty is that, when wanting to solve a problem related
to physical units, such as determining the velocity of a particle, the fractional derivative seems to make no sense,
this is due to the presence of physical units such as meter and second raised to non-integer exponents, opposite
to what happens with operators of integer order. The second di๏ฌƒculty, which is a recurring topic of debate in the
study of fractional calculus, is to know what is the order โ€œoptimalโ€ ฮฑ that should be used when the goal is to solve
a problem related to fractional operators. To face these di๏ฌƒculties, in the ๏ฌrst case, it is common to dimensionless
any equation in which non-integer operators are involved, while for the second case di๏ฌ€erent orders ฮฑ are used
in fractional operators to solve some problem, and then it is chosen the order ฮฑ that provides the โ€œbest solutionโ€
based about an established criteria.
Based on the two previous di๏ฌƒculties, arises the idea of looking for applications with dimensionless nature
such that the need to use multiple orders ฮฑ can be exploited in some way. The aforementioned led to the study
of Newton-Raphson method and a particular problem related to the search for roots in the complex space for
polynomials: if it is needed to ๏ฌnd a complex root of a polynomial using Newton-Raphson method, it is necessary
to provide a complex initial condition x0 and, if the right conditions are selected, this leads to a complex solution,
but there is also the possibility that this leads to a real solution. If the root obtained is real, it is necessary to
change the initial condition and expect that this leads to a complex solution, otherwise, it is necessary to change
the value of the initial condition again.
The process described above, it is very similar to what happens when using di๏ฌ€erent values ฮฑ in fractional
operators until we ๏ฌnd a solution that meets some desired condition. Seeing Newton-Raphson method from the
perspective of fractional calculus, one can consider that an order ฮฑ remains ๏ฌxed, in this case ฮฑ = 1, and the initial
conditions x0 are varied until obtaining one solution that satis๏ฌes an established criteria. Then reversing the be-
havior of ฮฑ and x0, that is, leave the initial condition ๏ฌxed and varying the order ฮฑ, the fractional Newton-Raphson
method [1, 2] is obtained, which is nothing other things than Newton-Raphson method using any de๏ฌnition of
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
c
DOI :10.5121/mathsj.2020.7102
13
Department of Physics, Faculty of Science - UNAM, Mexico
Department of Mathematics, Faculty of Science - UNAM, Mexico
Faculty of Engineering, Universidad Panamericana - Aguascalientes, Mexico
*Electronic address: anthony.torres@ciencias.unam.mx; Corresponding author; ORCID: 0000-0001-6496-9505
โ€ Electronic address: fernandobrambila@gmail.com; ORCID: 0000-0001-7896-6460
โ€กElectronic address: evega@up.edu.mx; ORCID: 0000-0001-9491-6957
fractional derivative that ๏ฌts the function with which one is working. This change, although in essence simple,
allows us to ๏ฌnd roots in the complex space using real initial conditions because fractional operators generally do
not carry polynomials to polynomials.
1.1. Fixed Point Method
A classic problem in applied mathematics is to ๏ฌnd the zeros of a function f : โ„ฆ โŠ‚ Rn โ†’ Rn, that is,
{ฮพ โˆˆ โ„ฆ : f (ฮพ) = 0},
this problem often arises as a consequence of wanting to solve other problems, for instance, if we want to
determine the eigenvalues of a matrix or want to build a box with a given volume but with minimal surface; in
the ๏ฌrst example, we need to ๏ฌnd the zeros (or roots) of the characteristic polynomial of the matrix, while in
the second one we need to ๏ฌnd the zeros of the gradient of a function that relates the surface of the box with its
volume.
Although ๏ฌnding the zeros of a function may seem like a simple problem, in general, it involves solving non-
linear equations, which in many cases does not have an analytical solution, an example of this is present when we
are trying to determine the zeros of the following function
f (x) = sin(x) โˆ’
1
x
.
Because in many cases there is no analytical solution, numerical methods are needed to try to determine the
solutions to these problems; it should be noted that when using numerical methods, the word โ€œdetermineโ€ should
be interpreted as approach a solution with a degree of precision desired. The numerical methods mentioned above
are usually of the iterative type and work as follows: suppose we have a function f : โ„ฆ โŠ‚ Rn โ†’ Rn and we search
a value ฮพ โˆˆ Rn such that f (ฮพ) = 0, then we can start by giving an initial value x0 โˆˆ Rn and then calculate a value xi
close to the searched value ฮพ using an iteration function ฮฆ : Rn โ†’ Rn as follows [3]
xi+1 := ฮฆ(xi), i = 0,1,2,ยทยทยท , (1)
this generates a sequence {xi}โˆž
i=0, which under certain conditions satis๏ฌes that
lim
iโ†’โˆž
xi โ†’ ฮพ.
To understand the convergence of the iteration function ฮฆ it is necessary to have the following de๏ฌnition [4]:
De๏ฌnition 1.1. Let ฮฆ : Rn โ†’ Rn be an iteration function. The method given in (1) to determine ฮพ โˆˆ Rn, it is called
(locally) convergent, if exists ฮด > 0 such that for all initial value
x0 โˆˆ B(ฮพ;ฮด) := y โˆˆ Rn
: y โˆ’ ฮพ < ฮด ,
it holds that
lim
iโ†’โˆž
xi โˆ’ ฮพ โ†’ 0 โ‡’ lim
iโ†’โˆž
xi = ฮพ, (2)
where ยท : Rn โ†’ R denotes any vector norm.
When it is assumed that the iteration function ฮฆ is continuous at ฮพ and that the sequence {xi}โˆž
i=0 converges to
ฮพ under the condition given in (2), it is true that
ฮพ = lim
iโ†’โˆž
xi+1 = lim
iโ†’โˆž
ฮฆ(xi) = ฮฆ lim
iโ†’โˆž
xi = ฮฆ(ฮพ), (3)
the previous result is the reason why the method given in (1) is called Fixed Point Method [4].
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
14
1.1.1. Convergence and Order of Convergence
The (local) convergence of the iteration function ฮฆ established in (2), it is useful for demonstrating certain intrinsic
properties of the ๏ฌxed point method. Before continuing it is necessary to have the following de๏ฌnition [3]
De๏ฌnition 1.2. Let ฮฆ : โ„ฆ โŠ‚ Rn โ†’ Rn. The function ฮฆ is a contraction on a set โ„ฆ0 โŠ‚ โ„ฆ, if exists a non-negative
constant ฮฒ < 1 such that
ฮฆ(x) โˆ’ ฮฆ(y) โ‰ค ฮฒ x โˆ’ y , โˆ€x,y โˆˆ โ„ฆ0, (4)
where ฮฒ is called a contraction constant.
The previous de๏ฌnition guarantee that if the iteration function ฮฆ is a contraction on a set โ„ฆ0, then it has at
least one ๏ฌxed point. The existence of a ๏ฌxed point is guaranteed by the following theorem [5]
Theorem 1.3. Contraction Mapping Theorem: Let ฮฆ : โ„ฆ โŠ‚ Rn โ†’ Rn. Assuming that ฮฆ is a contraction on a closed
set โ„ฆ0 โŠ‚ โ„ฆ, and that ฮฆ(x) โˆˆ โ„ฆ0 โˆ€x โˆˆ โ„ฆ0. Then ฮฆ has a unique ๏ฌxed point ฮพ โˆˆ โ„ฆ0 and for any initial value x0 โˆˆ โ„ฆ0, the
sequence {xi}โˆž
i=0 generated by (1) converges to ฮพ. Moreover
xk+1 โˆ’ ฮพ โ‰ค
ฮฒ
1 โˆ’ ฮฒ
xk+1 โˆ’ xk , k = 0,1,2,ยทยทยท , (5)
where ฮฒ is the contraction constant given in (4).
When the ๏ฌxed point method given by (1) is used, in addition to convergence, exists a special interest in the
order of convergence, which is de๏ฌned as follows [4]
De๏ฌnition 1.4. Let ฮฆ : โ„ฆ โŠ‚ Rn โ†’ Rn be an iteration function with a ๏ฌxed point ฮพ โˆˆ โ„ฆ. Then the method (1) is called
(locally) convergent of (at least) order p (p โ‰ฅ 1), if exists ฮด > 0 and exists a non-negative constant C (with C < 1 if
p = 1) such that for any initial value x0 โˆˆ B(ฮพ;ฮด) it is true that
xk+1 โˆ’ ฮพ โ‰ค C xk โˆ’ ฮพ p
, k = 0,1,2,ยทยทยท , (6)
where C is called convergence factor.
The order of convergence is usually related to the speed at which the sequence generated by (1) converges. For
the particular cases p = 1 or p = 2 it is said that the method has (at least) linear or quadratic convergence, respec-
tively. The following theorem for the one-dimensional case [4], allows characterizing the order of convergence of
an iteration function ฮฆ with its derivatives
Theorem 1.5. Let ฮฆ : โ„ฆ โŠ‚ R โ†’ R be an iteration function with a ๏ฌxed point ฮพ โˆˆ โ„ฆ. Assuming that ฮฆ is p-times
di๏ฌ€erentiable in ฮพ for some p โˆˆ N, and furthermore
ฮฆ(k)(ฮพ) = 0, โˆ€k โ‰ค p โˆ’ 1, if p โ‰ฅ 2,
ฮฆ(1)(ฮพ) < 1, if p = 1,
(7)
then ฮฆ is (locally) convergent of (at least) order p.
Proof. Assuming that ฮฆ : โ„ฆ โŠ‚ R โ†’ R is an iteration function p-times di๏ฌ€erentiable with a ๏ฌxed point ฮพ โˆˆ โ„ฆ, then
we can expand in Taylor series the function ฮฆ(xi) around ฮพ and order p
ฮฆ(xi) = ฮฆ(ฮพ) +
p
s=1
ฮฆ(s)(ฮพ)
s!
(xi โˆ’ ฮพ)s
+ o((xi โˆ’ ฮพ)p
),
then we obtain
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
15
|ฮฆ(xi) โˆ’ ฮฆ(ฮพ)| โ‰ค
p
s=1
ฮฆ(s)(ฮพ)
s!
|xi โˆ’ ฮพ|s
+ o(|xi โˆ’ ฮพ|p
),
assuming that the sequence {xi}โˆž
i=0 generated by (1) converges to ฮพ and also that ฮฆ(s)(ฮพ) = 0 โˆ€s < p, the previous
expression implies that
|xi+1 โˆ’ ฮพ|
|xi โˆ’ ฮพ|p =
|ฮฆ(xi) โˆ’ ฮฆ(ฮพ)|
|xi โˆ’ ฮพ|p โ‰ค
ฮฆ(p)(ฮพ)
p!
+
o(|xi โˆ’ ฮพ|p
)
|xi โˆ’ ฮพ|p โˆ’โ†’
iโ†’โˆž
ฮฆ(p)(ฮพ)
p!
,
as consequence, exists a value k > 0 such that
|xi+1 โˆ’ ฮพ| โ‰ค
ฮฆ(p)(ฮพ)
p!
|xi โˆ’ ฮพ|p
, โˆ€i โ‰ฅ k.
A version of the previous theorem for the case n-dimensional may be found in the reference [3].
1.2. Newton-Raphson Method
The previous theorem in its n-dimensional form is usually very useful to generate a ๏ฌxed point method with an
order of convergence desired, an order of convergence that is usually appreciated in iterative methods is the (at
least) quadratic order. If we have a function f : โ„ฆ โŠ‚ Rn โ†’ Rn and we search a value ฮพ โˆˆ โ„ฆ such that f (ฮพ) = 0, we
may build an iteration function ฮฆ in general form as [6]
ฮฆ(x) = x โˆ’ A(x)f (x), (8)
with A(x) a matrix like
A(x) := [A]jk(x) =
๏ฃซ
๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃญ
[A]11(x) [A]12(x) ยทยทยท [A]1n(x)
[A]21(x) [A]22(x) ยทยทยท [A]2n(x)
...
...
...
...
[A]n1(x) [A]n2(x)
... [A]nn(x)
๏ฃถ
๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃธ
, (9)
where [A]jk : Rn โ†’ R (1 โ‰ค j,k โ‰ค n). Notice that the matrix A(x) is determined according to the order of
convergence desired. Before continuing, it is necessary to mention that the following conditions are needed:
1. Suppose we can generalize the Theorem 1.5 to the case n-dimensional, although for this it is necessary to
guarantee that the iteration function ฮฆ given by (8) near the value ฮพ can be expressed in terms of its Taylor
series in several variables.
2. It is necessary to guarantee that the norm of the equivalent of the ๏ฌrst derivative in several variables of the
iteration function ฮฆ tends to zero near the value ฮพ.
Then, we will assume that the ๏ฌrst condition is satis๏ฌed; for the second condition we have that the equivalent
to the ๏ฌrst derivative in several variables is the Jacobian matrix of the function ฮฆ, which is de๏ฌned as follows [5]
ฮฆ(1)
(x) := [ฮฆ]
(1)
jk (x) =
๏ฃซ
๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃญ
โˆ‚1[ฮฆ]1(x) โˆ‚2[ฮฆ]1(x) ยทยทยท โˆ‚n[ฮฆ]1(x)
โˆ‚1[ฮฆ]2(x) โˆ‚2[ฮฆ]2(x) ยทยทยท โˆ‚n[ฮฆ]2(x)
...
...
...
...
โˆ‚1[ฮฆ]n(x) โˆ‚2[ฮฆ]n(x)
... โˆ‚n[ฮฆ]n(x)
๏ฃถ
๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃธ
, (10)
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
16
where
[ฮฆ]
(1)
jk = โˆ‚k[ฮฆ]j(x) :=
โˆ‚
โˆ‚[x]k
[ฮฆ]j(x), 1 โ‰ค j,k โ‰ค n,
with [ฮฆ]k : Rn โ†’ R, the competent k-th of the iteration function ฮฆ. Now considering that
lim
xโ†’ฮพ
ฮฆ(1)
(x) = 0 โ‡’ lim
xโ†’ฮพ
โˆ‚k[ฮฆ]j(x) = 0, โˆ€j,k โ‰ค n, (11)
we can assume that we have a function f (x) : โ„ฆ โŠ‚ Rn โ†’ Rn with a zero ฮพ โˆˆ โ„ฆ, such that all of its ๏ฌrst partial
derivatives are de๏ฌned in ฮพ. Then taking the iteration function ฮฆ given by (8), the k-th component of the iteration
function may be written as
[ฮฆ]k(x) = [x]k โˆ’
n
j=1
[A]kj(x)[f ]j(x),
then
โˆ‚l[ฮฆ]k(x) = ฮดlk โˆ’
n
j=1
[A]kj(x)โˆ‚l[f ]j(x) + โˆ‚l[A]kj(x) [f ]j(x) ,
where ฮดlk is the Kronecker delta, which is de๏ฌned as
ฮดlk =
1, si l = k,
0, si l k.
Assuming that (11) is ful๏ฌlled
โˆ‚l[ฮฆ]k(ฮพ) = ฮดlk โˆ’
n
j=1
[A]kj(ฮพ)โˆ‚l[f ]j(ฮพ) = 0 โ‡’
n
j=1
[A]kj(ฮพ)โˆ‚l[f ]j(ฮพ) = ฮดlk, โˆ€l,k โ‰ค n,
the previous expression may be written in matrix form as
A(ฮพ)f (1)
(ฮพ) = In โ‡’ A(ฮพ) = f (1)
(ฮพ)
โˆ’1
,
where f (1) and In are the Jacobian matrix of the function f and the identity matrix of n ร— n, respectively.
Denoting by det(A) the determinant of the matrix A, then any matrix A(x) that ful๏ฌll the following condition
lim
xโ†’ฮพ
A(x) = f (1)
(ฮพ)
โˆ’1
, det f (1)(ฮพ) 0, (12)
guarantees that exists ฮด > 0 such that the iteration function ฮฆ given by (8), converges (locally) with an order of
convergence (at least) quadratic in B(ฮพ;ฮด). The following ๏ฌxed point method can be obtained from the previous
result
xi+1 := ฮฆ(xi) = xi โˆ’ f (1)
(xi)
โˆ’1
f (xi), i = 0,1,2,ยทยทยท , (13)
which is known as Newton-Raphson method (n-dimensional), also known as Newtonโ€™s method [7].
Although the condition given in (12) could seem that Newton-Raphson method always has an order of conver-
gence (at least) quadratic, unfortunately, this is not true; the order of convergence is now conditioned by the way
in which the function f is constituted, the mentioned above may be appreciated in the following proposition
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
17
Proposition 1.6. Let f : โ„ฆ โŠ‚ R โ†’ R be a function that is at least twice di๏ฌ€erentiable in ฮพ โˆˆ โ„ฆ. So if ฮพ is a zero of f with
algebraic multiplicity m (m โ‰ฅ 2), that is,
f (x) = (x โˆ’ ฮพ)m
g(x), g(ฮพ) 0,
the Newton-Raphson method (one-dimensional) has an order of convergence (at least) linear.
Proof. Suppose we have f : โ„ฆ โŠ‚ R โ†’ R a function with a zero ฮพ โˆˆ โ„ฆ of algebraic multiplicity m โ‰ฅ 2, and that f is
at least twice di๏ฌ€erentiable in ฮพ, then
f (x) =(x โˆ’ ฮพ)m
g(x), g(ฮพ) 0,
f (1)
(x) =(x โˆ’ ฮพ)mโˆ’1
mg(x) + (x โˆ’ ฮพ)g(1)
(x) ,
as consequence, the derivative of the iteration function ฮฆ of Newton-Raphson method may be expressed as
ฮฆ(1)(x) = 1 โˆ’
mg2(x) + (x โˆ’ ฮพ)2 g(1)(x)
2
โˆ’ g(x)g(2)(x)
mg(x) + (x โˆ’ ฮพ)g(1)(x)
2
,
therefore
lim
xโ†’ฮพ
ฮฆ(1)
(x) = 1 โˆ’
1
m
,
and by the Theorem 1.5, the Newton-Raphson method under the hypothesis of the proposition converges
(locally) with an order of convergence (at least) linear.
2. Basic Definitions of the Fractional Derivative
2.1. Introduction to the Definition of Riemann-Liouville
One of the key pieces in the study of fractional calculus is the iterated integral, which is de๏ฌned as follows [8]
De๏ฌnition 2.1. Let L1
loc(a,b), the space of locally integrable functions in the interval (a,b). If f is a function such that
f โˆˆ L1
loc(a,โˆž), then the n-th iterated integral of the function f is given by
aIn
x f (x) = aIx aInโˆ’1
x f (x) =
1
(n โˆ’ 1)!
x
a
(x โˆ’ t)nโˆ’1
f (t)dt, (14)
where
aIxf (x) :=
x
a
f (t)dt.
Considerate that (n โˆ’ 1)! = ฮ“ (n) , a generalization of (14) may be obtained for an arbitrary order ฮฑ > 0
aIฮฑ
x f (x) =
1
ฮ“ (ฮฑ)
x
a
(x โˆ’ t)ฮฑโˆ’1
f (t)dt, (15)
similarly, if f โˆˆ L1
loc(โˆ’โˆž,b), we may de๏ฌne
xIฮฑ
b f (x) =
1
ฮ“ (ฮฑ)
b
x
(t โˆ’ x)ฮฑโˆ’1
f (t)dt, (16)
the equations (15) and (16) correspond to the de๏ฌnitions of right and left fractional integral of Riemann-
Liouville, respectively. The fractional integrals satisfy the semigroup property, which is given in the following
proposition [8]
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
18
Proposition 2.2. Let f be a function. If f โˆˆ L1
loc(a,โˆž), then the fractional integrals of f satisfy that
aIฮฑ
x aI
ฮฒ
x f (x) = aI
ฮฑ+ฮฒ
x f (x), ฮฑ,ฮฒ > 0. (17)
From the previous result, and considering that the operator d/dx is the inverse operator to the left of the
operator aIx, any integral ฮฑ-th of a function f โˆˆ L1
loc(a,โˆž) may be written as
aIฮฑ
x f (x) =
dn
dxn
(aIn
x aIฮฑ
x f (x)) =
dn
dxn
(aIn+ฮฑ
x f (x)). (18)
Considering (15) and (18), we can built the operator Fractional Derivative of Riemann-Liouville aDฮฑ
x , as
follows [8, 9]
aDฮฑ
x f (x) :=
๏ฃฑ
๏ฃด๏ฃด๏ฃฒ
๏ฃด๏ฃด๏ฃณ
aIโˆ’ฮฑ
x f (x), if ฮฑ < 0,
dn
dxn
(aInโˆ’ฮฑ
x f (x)), if ฮฑ โ‰ฅ 0,
(19)
where n = ฮฑ + 1. Applying the operator (19) with a = 0 and ฮฑ โˆˆ R  Z to the function xยต, we obtain
0Dฮฑ
x xยต
=
๏ฃฑ
๏ฃด๏ฃด๏ฃด๏ฃด๏ฃด๏ฃฒ
๏ฃด๏ฃด๏ฃด๏ฃด๏ฃด๏ฃณ
(โˆ’1)ฮฑ ฮ“ (โˆ’(ยต + ฮฑ))
ฮ“ (โˆ’ยต)
xยตโˆ’ฮฑ, if ยต โ‰ค โˆ’1,
ฮ“ (ยต + 1)
ฮ“ (ยต โˆ’ ฮฑ + 1)
xยตโˆ’ฮฑ, if ยต > โˆ’1.
(20)
2.2. Introduction to the Definition of Caputo
Michele Caputo (1969) published a book and introduced a new de๏ฌnition of fractional derivative, he created this
de๏ฌnition with the objective of modeling anomalous di๏ฌ€usion phenomena. The de๏ฌnition of Caputo had already
been discovered independently by Gerasimov (1948). This fractional derivative is of the utmost importance since it
allows us to give a physical interpretation of the initial value problems, moreover to being used to model fractional
time. In some texts, it is known as the fractional derivative of Gerasimov-Caputo.
Let f be a function, such that f is n-times di๏ฌ€erentiable with f (n) โˆˆ L1
loc(a,b), then the (right) fractional
derivative of Caputo is de๏ฌned as [9]
C
a Dฮฑ
x f (x) :=aInโˆ’ฮฑ
x
dn
dxn
f (x) =
1
ฮ“ (n โˆ’ ฮฑ)
x
a
(x โˆ’ t)nโˆ’ฮฑโˆ’1
f (n)
(t)dt, (21)
where n = ฮฑ + 1. It should be mentioned that the fractional derivative of Caputo behaves as the inverse
operator to the left of fractional integral of Riemann-Liouville , that is,
C
a Dฮฑ
x (aIฮฑ
x f (x)) = f (x).
On the other hand, the relation between the fractional derivatives of Caputo and Riemann-Liouville is given
by the following expression [9]
C
a Dฮฑ
x f (x) = aDฮฑ
x
๏ฃซ
๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃญf (x) โˆ’
nโˆ’1
k=0
f (k)(a)
k!
(x โˆ’ a)k
๏ฃถ
๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃธ,
then, if f (k)(a) = 0 โˆ€k < n, we obtain
C
a Dฮฑ
x f (x) = aDฮฑ
x f (x),
considering the previous particular case, it is possible to unify the de๏ฌnitions of fractional integral of Riemann-
Liouville and fractional derivative of Caputo as follows
C
a Dฮฑ
x f (x) :=
๏ฃฑ
๏ฃด๏ฃด๏ฃด๏ฃฒ
๏ฃด๏ฃด๏ฃด๏ฃณ
aIโˆ’ฮฑ
x f (x), if ฮฑ < 0,
aInโˆ’ฮฑ
x
dn
dxn
f (x) , if ฮฑ โ‰ฅ 0.
(22)
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
19
3. Fractional Newton-Raphson Method
Let Pn(R), the space of polynomials of degree less than or equal to n with real coe๏ฌƒcients. The zeros ฮพ of a
function f โˆˆ Pn(R) are usually named as roots. The Newton-Raphson method is useful for ๏ฌnding the roots of a
function f . However, this method is limited because it cannot ๏ฌnd roots ฮพ โˆˆ CR, if the sequence {xi}โˆž
i=0 generated
by (13) has an initial condition x0 โˆˆ R. To solve this problem and develop a method that has the ability to ๏ฌnd
roots, both real and complex, of a polynomial if the initial condition x0 is real, we propose a new method called
fractional Newton-Raphson method, which consists of Newton-Raphson method with the implementation of the
fractional derivative. Before continuing, it is necessary to de๏ฌne the fractional Jacobian matrix of a function
f : โ„ฆ โŠ‚ Rn โ†’ Rn as follows
f (ฮฑ)
(x) := [f ]
(ฮฑ)
jk (x) , (23)
where
[f ]
(ฮฑ)
jk = โˆ‚ฮฑ
k [f ]j(x) :=
โˆ‚ฮฑ
โˆ‚[x]ฮฑ
k
[f ]j(x), 1 โ‰ค j,k โ‰ค n.
with [f ]j : Rn โ†’ R. The operator โˆ‚ฮฑ/โˆ‚[x]ฮฑ
k denotes any fractional derivative, applied only to the variable [x]k,
that satis๏ฌes the following condition of continuity respect to the order of the derivative
lim
ฮฑโ†’1
โˆ‚ฮฑ
โˆ‚[x]ฮฑ
k
[f ]j(x) =
โˆ‚
โˆ‚[x]k
[f ]j(x), 1 โ‰ค j,k โ‰ค n,
then, the matrix (23) satis๏ฌes that
lim
ฮฑโ†’1
f (ฮฑ)
(x) = f (1)
(x), (24)
where f (1)(x) denotes the Jacobian matrix of the function f .
Taking into account that a polynomial of degree n it is composed of n+1 monomials of the form xm, with m โ‰ฅ 0,
we can take the equation (20) with (13), to de๏ฌne the following iteration function that results in the Fractional
Newton-Raphson Method [1, 2]
xi+1 := ฮฆ (ฮฑ,xi) = xi โˆ’ f (ฮฑ)(xi)
โˆ’1
f (xi), i = 0,1,2,ยทยทยท . (25)
3.1. Fractional Newton Method
To try to guarantee that the sequence {xi}โˆž
i=0 generated by (25) has an order of convergence (at least) quadratic, the
condition (12) is combined with (24) to de๏ฌne the following function
ฮฑf ([x]k,x) :=
ฮฑ, if |[x]k| 0 and f (x) โ‰ฅ ฮด,
1, if |[x]k| = 0 or f (x) < ฮด,
(26)
then, for any fractional derivative that satis๏ฌes the condition (24), and using (26), the Fractional Newton
Method may be de๏ฌned as
xi+1 := ฮฆ(ฮฑ,xi) = xi โˆ’ Nฮฑf
(xi)
โˆ’1
f (xi), i = 0,1,2,ยทยทยท , (27)
with Nฮฑf
(xi) given by the following matrix
Nฮฑf
(xi) := [Nฮฑf
]jk(xi) = โˆ‚
ฮฑf ([xi]k,xi)
k [f ]j(xi) . (28)
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
20
The di๏ฌ€erence between the methods (25) and (27), is that the just for the second can exists ฮด > 0 such that if
the sequence {xi}โˆž
i=0 generated by (27) converges to a root ฮพ of f , exists k > 0 such that โˆ€i โ‰ฅ k, the sequence has an
order of convergence (at least) quadratic in B(ฮพ;ฮด).
The value of ฮฑ in (25) and (26) is assigned with the following reasoning: when we use the de๏ฌnitions of
fractional derivatives given by (19) and (22) in a function f , it is necessary that the function be n-times integrable
and n-times di๏ฌ€erentiable, where n = ฮฑ +1, therefore |ฮฑ| < n and, on the other hand, for using Newton method it
is just necessary that the function be one-time di๏ฌ€erentiable, as a consequence of (26) it is obtained that
โˆ’2 < ฮฑ < 2, ฮฑ โˆ’1,0,1. (29)
Without loss of generality, to understand why the sequence {xi}โˆž
i=0 generated by the method (25) or (27) when
we use a function f โˆˆ Pn(R), has the ability to enter the complex space starting from an initial condition x0 โˆˆ R, it
is only necessary to observe the fractional derivative of Riemann-Liouville of order ฮฑ = 1/2 of the monomial xm
0D
1
2
x xm
=
โˆš
ฯ€
2ฮ“ m + 1
2
xmโˆ’ 1
2 , m โ‰ฅ 0,
whose result is a function with a rational exponent, contrary to what would happen when using the conven-
tional derivative. When the iteration function given by (25) or (27) is used, we must taken an initial condition
x0 0, as a consequence of the fact that the fractional derivative of order ฮฑ > 0 of a constant is usually propor-
tional to the function xโˆ’ฮฑ.
The sequence {xi}โˆž
i=0 generated by the iteration function (25) or (27), presents among its behaviors, the follow-
ing particular cases depending on the initial condition x0:
1. If we take an initial condition x0 > 0, the sequence {xi}โˆž
i=0 may be divided into three parts, this occurs because
it may exists a value M โˆˆ N for which {xi}Mโˆ’1
i=0 โŠ‚ R+ with {xM} โŠ‚ Rโˆ’, in consequence {xi}iโ‰ฅM+1 โŠ‚ C.
2. On the other hand, if we take an initial x0 < 0 condition, the sequence {xi}โˆž
i=0 may be divided into two parts,
{x0} โŠ‚ Rโˆ’ and {xi}iโ‰ฅ1 โŠ‚ C.
Unlike classical Newton-Raphson method; which uses tangent lines to generate a sequence {xi}โˆž
i=0, the frac-
tional Newton-Raphson method uses lines more similar to secants (see Figure 1). A consequence of the fact that
the lines are not tangent when using (25), is that di๏ฌ€erent trajectories can be obtained for the same initial condition
x0 just by changing the order ฮฑ of the derivative (see Figure 2).
Figure 1: Illustration of some lines generated by the fractional Newton-Raphson method, the red line corresponds
to the Newton-Raphson method.
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
21
a) ฮฑ = โˆ’0.77 b) ฮฑ = โˆ’0.32 c) ฮฑ = 0.19 d) ฮฑ = 1.87
Figure 2: llustrations of some trajectories generated by the fractional Newton-Raphson method for the same initial
condition x0 but with di๏ฌ€erent values of ฮฑ.
3.1.1. Finding Zeros
A typical inconvenience that arises in problems related to fractional calculus, it is the fact that it is not always
known what is the appropriate order ฮฑ to solve these problems. As a consequence, di๏ฌ€erent values of ฮฑ are
generally tested and we choose the value that allows to ๏ฌnd the best solution considering an criterion of precision
established. Based on the aforementioned, it is necessary to follow the instructions below when using the method
(25) or (27) to ๏ฌnd the zeros ฮพ of a function f :
1. Without considering the integers โˆ’1, 0 and 1, a partition of the interval [โˆ’2,2] is created as follows
โˆ’2 = ฮฑ0 < ฮฑ1 < ฮฑ2 < ยทยทยท < ฮฑs < ฮฑs+1 = 2,
and using the partition, the following sequence {ฮฑm}s
m=1 is created.
2. We choose a non-negative tolerance T OL < 1, a limit of iterations LIT > 1 for all ฮฑm, an initial condition
x0 0 and a value M > LIT .
3. We choose a value ฮด > 0 to use ฮฑf given by (26), such that T OL < ฮด < 1. In addition, it is taken a fractional
derivative that satis๏ฌes the condition of continuity (24), and it is uni๏ฌed with the fractional integral in the
same way as in the equations (19) and (22).
4. The iteration function (25) or (27) is used with all the values of the partition {ฮฑm}s
m=1, and for each value ฮฑm
is generated a sequence {mxi}
Rm
i=0, where
Rm =
๏ฃฑ
๏ฃด๏ฃด๏ฃด๏ฃฒ
๏ฃด๏ฃด๏ฃด๏ฃณ
K1 โ‰ค LIT , if exists k > 0 such that f (mxk) โ‰ฅ M โˆ€k โ‰ฅ i,
K2 โ‰ค LIT , if exists k > 0 such that f (mxk) โ‰ค T OL โˆ€k โ‰ฅ i.
LIT , if f (mxi) > T OL โˆ€i โ‰ฅ 0,
then is generated a sequence xRmk
r
k=1
, with r โ‰ค s, such that
f xRmk
โ‰ค T OL, โˆ€k โ‰ฅ 1.
5. We choose a value ฮต > 0 and we take the values xRm1
and xRm2
, then is de๏ฌned X1 = xRm1
. If the following
condition is ful๏ฌlled
X1 โˆ’ xRm2
X1
โ‰ค ฮต and Rm2
โ‰ค Rm1
, (30)
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
22
is taken X1 = xRm2
. On the other hand if
X1 โˆ’ xRm2
X1
> ฮต, (31)
is de๏ฌned X2 = xRm2
. Without loss of generality, it may be assumed that the second condition is ful๏ฌlled,
then is taken X3 = XRm3
and are checked the conditions (30) and (31) with the values X1 and X2. The process
described before is repeated for all values Xk = xRmk
, with k โ‰ฅ 4, and that generates a sequence {Xm}t
m=1, with
t โ‰ค r, such that
Xi โˆ’ Xj
Xi
> ฮต, โˆ€i j.
By following the steps described before to implement the methods (25) and (27), a subset of the solution set of
zeros, both real and complex, may be obtained from the function f . We will proceed to give an example where is
found the solution set of zeros of a function f โˆˆ Pn(R).
Example 3.1. Let the function:
f (x) = โˆ’57.62x16 โˆ’ 56.69x15 โˆ’ 37.39x14 โˆ’ 19.91x13 + 35.83x12 โˆ’ 72.47x11 + 44.41x10 + 43.53x9
+59.93x8 โˆ’ 42.9x7 โˆ’ 54.24x6 + 72.12x5 โˆ’ 22.92x4 + 56.39x3 + 15.8x2 + 60.05x + 55.31,
(32)
then the following values are chosen to use the iteration function given by (27)
T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = 0.74, M = e + 17,
and using the fractional derivative given by (20), we obtain the results of the Table 1
ฮฑm
mฮพ mฮพ โˆ’ mโˆ’1ฮพ 2
f (mฮพ) 2 Rm
1 โˆ’1.01346 โˆ’1.3699527 1.64700e โˆ’ 5 7.02720e โˆ’ 5 2
2 โˆ’0.80436 โˆ’1.00133957 9.82400e โˆ’ 5 4.36020e โˆ’ 5 2
3 โˆ’0.50138 โˆ’0.62435277 9.62700e โˆ’ 5 2.31843e โˆ’ 6 2
4 0.87611 0.58999224 โˆ’ 0.86699687i 3.32866e โˆ’ 7 6.48587e โˆ’ 6 11
5 0.87634 0.36452488 โˆ’ 0.83287821i 3.36341e โˆ’ 6 2.93179e โˆ’ 6 11
6 0.87658 โˆ’0.28661369 โˆ’ 0.80840642i 2.65228e โˆ’ 6 1.06485e โˆ’ 6 10
7 0.8943 0.88121183 + 0.4269622i 1.94165e โˆ’ 7 6.46531e โˆ’ 6 14
8 0.89561 0.88121183 โˆ’ 0.4269622i 2.87924e โˆ’ 7 6.46531e โˆ’ 6 11
9 0.95944 โˆ’0.35983764 + 1.18135267i 2.82843e โˆ’ 8 2.53547e โˆ’ 5 24
10 1.05937 1.03423976 1.80000e โˆ’ 7 1.38685e โˆ’ 5 4
11 1.17776 โˆ’0.70050491 โˆ’ 0.78577099i 4.73814e โˆ’ 7 9.13799e โˆ’ 6 15
12 1.17796 โˆ’0.35983764 โˆ’ 1.18135267i 4.12311e โˆ’ 8 2.53547e โˆ’ 5 17
13 1.17863 โˆ’0.70050491 + 0.78577099i 8.65332e โˆ’ 7 9.13799e โˆ’ 6 18
14 1.17916 0.58999224 + 0.86699687i 7.05195e โˆ’ 7 6.48587e โˆ’ 6 12
15 1.17925 0.36452488 + 0.83287821i 2.39437e โˆ’ 6 2.93179e โˆ’ 6 9
16 1.22278 โˆ’0.28661369 + 0.80840642i 5.36985e โˆ’ 6 1.06485e โˆ’ 6 9
Table 1: Results obtained using the iterative method (27).
Although the methods (25) and (27) were originally de๏ฌned for polynomials, the methods can be extended to
a broader class of functions, as shown in the following examples
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
23
Example 3.2. Let the function:
f (x) = sin(x) โˆ’
3
2x
, (33)
then the following values are chosen to use the iteration function given by (27)
T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = 0.26, M = e + 6,
and using the fractional derivative given by (20), we obtain the results of Table 2
ฮฑm
mฮพ mฮพ โˆ’ mโˆ’1ฮพ 2
f (mฮพ) 2 Rm
1 โˆ’1.92915 1.50341195 2.80000e โˆ’ 7 2.93485e โˆ’ 9 6
2 โˆ’0.07196 โˆ’2.49727201 9.99500e โˆ’ 5 6.53301e โˆ’ 9 8
3 โˆ’0.03907 โˆ’1.50341194 6.29100e โˆ’ 5 4.37493e โˆ’ 9 7
4 0.19786 โˆ’18.92888307 4.00000e โˆ’ 8 1.97203e โˆ’ 9 20
5 0.20932 โˆ’9.26211143 9.60000e โˆ’ 7 4.77196e โˆ’ 9 12
6 0.2097 โˆ’15.61173324 5.49000e โˆ’ 6 2.05213e โˆ’ 9 18
7 0.20986 โˆ’12.6848988 3.68000e โˆ’ 5 3.29282e โˆ’ 9 15
8 0.21105 โˆ’6.51548968 9.67100e โˆ’ 5 2.05247e โˆ’ 9 10
9 0.21383 โˆ’21.92267274 6.40000e โˆ’ 6 2.03986e โˆ’ 8 24
10 1.19522 6.51548968 7.24900e โˆ’ 5 2.05247e โˆ’ 9 13
11 1.19546 9.26211143 1.78200e โˆ’ 5 4.77196e โˆ’ 9 14
12 1.19558 12.6848988 7.92100e โˆ’ 5 3.29282e โˆ’ 9 14
13 1.19567 15.61173324 7.90000e โˆ’ 7 2.05213e โˆ’ 9 12
14 1.1957 18.92888307 1.00000e โˆ’ 8 1.97203e โˆ’ 9 12
15 1.19572 21.92267282 1.46400e โˆ’ 5 5.91642e โˆ’ 8 14
16 1.23944 2.4972720 6.30000e โˆ’ 7 9.43179e โˆ’ 10 11
Table 2: Results obtained using the iterative method (27).
In the previous example, a subset of the solution set of zeros of the function (33) was obtained, because this
function has an in๏ฌnite amount of zeros. Using the methods (25) and (27) do not guarantee that all zeros of a
function f can be found, leaving an initial condition x0 ๏ฌxed and varying the orders ฮฑm of the derivative. As in
the classical Newton-Raphson method, ๏ฌnding most of the zeros of the function will depend on giving a proper
initial condition x0. If we want to ๏ฌnd a larger subset of zeros of the function (33), there are some strategies that
are usually useful, for example:
1. To change the initial condition x0.
2. To use a larger amount of values ฮฑm.
3. To increase the value of M.
4. To increase the value of LIT .
In general, the last strategy is usually the most useful, but this causes the methods (25) and (27) to become
more costly, because a longer runtime is required for all values ฮฑm.
Example 3.3. Let the function:
f (x) = x2
1 + x3
2 โˆ’ 10,x3
1 โˆ’ x2
2 โˆ’ 1
T
, (34)
then the following values are chosen to use the iteration function given by (27)
T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = (0.88,0.88)T , M = e + 6,
and using the fractional derivative given by (20), we obtain the results of Table 3
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
24
ฮฑm
mฮพ1
mฮพ2
mฮพ โˆ’ mโˆ’1ฮพ 2
f (mฮพ) 2 Rm
1 โˆ’0.58345 0.22435853 + 1.69813926i โˆ’1.13097646 + 2.05152306i 3.56931e โˆ’ 7 8.18915e โˆ’ 8 12
2 โˆ’0.50253 0.22435853 โˆ’ 1.69813926i โˆ’1.13097646 โˆ’ 2.05152306i 1.56637e โˆ’ 6 8.18915e โˆ’ 8 10
3 0.74229 โˆ’1.42715874 + 0.56940338i โˆ’0.90233562 โˆ’ 1.82561764i 1.13040e โˆ’ 6 7.01649e โˆ’ 8 11
4 0.75149 1.35750435 + 0.86070348i โˆ’1.1989996 โˆ’ 1.71840823i 3.15278e โˆ’ 7 4.26428e โˆ’ 8 12
5 0.76168 โˆ’0.99362838 + 1.54146499i 2.2675011 + 0.19910814i 8.27969e โˆ’ 5 1.05527e โˆ’ 7 13
6 0.76213 โˆ’0.99362838 โˆ’ 1.54146499i 2.2675011 โˆ’ 0.19910815i 2.15870e โˆ’ 7 6.41725e โˆ’ 8 15
7 0.77146 โˆ’1.42715874 โˆ’ 0.56940338i โˆ’0.90233562 + 1.82561764i 3.57132e โˆ’ 6 7.01649e โˆ’ 8 15
8 0.78562 1.35750435 โˆ’ 0.86070348i โˆ’1.1989996 + 1.71840823i 3.16228e โˆ’ 8 4.26428e โˆ’ 8 17
9 1.22739 1.67784847 1.92962117 9.99877e โˆ’ 5 2.71561e โˆ’ 8 4
Table 3: Results obtained using the iterative method (27).
Example 3.4. Let the function:
f (x) = x1 + x2
2 โˆ’ 37,x1 โˆ’ x2
2 โˆ’ 5,x1 + x2 + x3 โˆ’ 3
T
, (35)
then the following values are chosen to use the iteration function given by (27)
T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = (4.35,4.35,4.35)T , M = e + 6,
and using the fractional derivative given by (20), we obtain the results of Table 4
ฮฑm
mฮพ1
mฮพ2
mฮพ3
mฮพ โˆ’ mโˆ’1ฮพ 2
f (mฮพ) 2 Rm
1 0.78928 โˆ’6.08553731 + 0.27357884i 0.04108101 + 3.32974848i 9.04445631 โˆ’ 3.60332732i 6.42403e โˆ’ 5 3.67448e โˆ’ 8 14
2 0.79059 โˆ’6.08553731 โˆ’ 0.27357884i 0.04108101 โˆ’ 3.32974848i 9.04445631 + 3.60332732i 1.05357e โˆ’ 7 3.67448e โˆ’ 8 15
3 0.8166 6.17107462 โˆ’1.08216201 โˆ’2.08891261 6.14760e โˆ’ 5 4.45820e โˆ’ 8 9
4 0.83771 6.0 1.0 โˆ’4.0 3.38077e โˆ’ 6 0.0 6
Table 4: Results obtained using the iterative method (27).
3.2. Fractional Quasi-Newton Method
Although the previous methods are useful for ๏ฌnding multiple zeros of a function f , they have the disadvantage
that in many cases calculating the fractional derivative of a function is not a simple task. To try to minimize this
problem, we use that commonly for many de๏ฌnitions of the fractional derivative, the arbitrary order derivative of
a constant is not always zero, that is,
โˆ‚ฮฑ
โˆ‚[x]ฮฑ
k
c 0, c = constant. (36)
Then, we may de๏ฌne the function
gf (x) := f (x0) + f (1)
(x0)x, (37)
it should be noted that the previous function is almost a linear approximation of the function f in the initial
condition x0. Then, for any fractional derivative that satis๏ฌes the condition (36), and using (23) the Fractional
Quasi-Newton Method may be de๏ฌned as
xi+1 := ฮฆ(ฮฑ,xi) = xi โˆ’ Qgf ,ฮฒ(xi)
โˆ’1
f (xi), i = 0,1,2,ยทยทยท , (38)
with Qg,ฮฒ(xi) given by the following matrix
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
25
Qgf ,ฮฒ(xi) := [Qgf ,ฮฒ]jk(xi) = โˆ‚
ฮฒ(ฮฑ,[xi]k)
k [gf ]j(xi) , (39)
where the function ฮฒ is de๏ฌned as follows
ฮฒ(ฮฑ,[xi]k) :=
ฮฑ, if |[xi]k| 0,
1, if |[xi]k| = 0.
(40)
Since the iteration function (38), the same way that (25), does not satisfy the condition (12), then any sequence
{xi}โˆž
i=0 generated by this iteration function has at most one order of convergence (at least) linear. As a consequence,
the speed of convergence is slower compared to what would be obtained when using (27), and then it is necessary
to use a larger value of LIT . It should be mentioned that the value ฮฑ = 1 in (40), is not taken to try to guarantee
an order of convergence as in (26), but to avoid the discontinuity that is generated when using the fractional
derivative of constants in the value [xi]k = 0. An example is given using the fractional quasi-Newton method,
where is found a subset of the solution set of zeros of the function f .
Example 3.5. Let the function:
f (x) =
1
2
sin(x1x2) โˆ’
x2
4ฯ€
โˆ’
x1
2
, 1 โˆ’
1
4ฯ€
e2x1 โˆ’ e +
e
ฯ€
x2 โˆ’ 2ex1
T
, (41)
then the following values are chosen to use the iteration function given by (38)
T OL = e โˆ’ 4, LIT = 200, x0 = (1.52,1.52)T , M = e + 6,
and using the fractional derivative given by (20), we obtain the results of Table 5
ฮฑm
mฮพ1
mฮพ2
mฮพ โˆ’ mโˆ’1ฮพ 2
f (mฮพ) 2 Rm
1 โˆ’0.28866 2.21216549 โˆ’ 13.25899819i 0.41342314 + 3.94559327i 1.18743e โˆ’ 7 9.66251e โˆ’ 5 163
2 1.08888 1.29436489 โˆ’3.13720898 1.89011e โˆ’ 6 9.38884e โˆ’ 5 51
3 1.14618 1.43395246 โˆ’6.82075021 2.24758e โˆ’ 6 9.74642e โˆ’ 5 94
4 1.33394 0.50000669 3.14148062 9.74727e โˆ’ 6 9.99871e โˆ’ 5 133
5 1.35597 0.29944016 2.83696105 8.55893e โˆ’ 5 4.66965e โˆ’ 5 8
6 1.3621 1.5305078 โˆ’10.20223066 2.38437e โˆ’ 6 9.88681e โˆ’ 5 120
7 1.37936 1.60457254 โˆ’13.36288413 2.32459e โˆ’ 6 9.52348e โˆ’ 5 93
8 1.88748 โˆ’0.26061324 0.62257513 2.69146e โˆ’ 5 9.90792e โˆ’ 5 21
Table 5: Results obtained using the iterative method (38).
4. Conclusions
The fractional Newton-Raphson method and its variants are useful for ๏ฌnding multiple solutions of nonlinear
systems, in the complex space using real initial conditions. However, it should be clari๏ฌed that they present
some advantages and disadvantages between each of them, for example, although the fractional Newton method
generally has an order of convergence (at least) quadratic, this method has the disadvantage that it is not an
easy task to ๏ฌnd the fractional Jacobian matrix for many functions, and also the need to reverse this matrix must
be added for each new iteration. But it has an advantage over the other methods, and this is because it can be
used with few iterations, which allows occupying a greater number of ฮฑm values belonging to the partition of the
interval (โˆ’2,2).
The quasi-Newton fractional method has the advantage that the fractional Jacobian matrix with which it works,
compared to the fractional Newton method, is easy to obtain. But a disadvantage is that the method may have
at most an order of convergence (at least) linear, so the speed of convergence is lower and it is necessary to use a
greater number of iterations to ensure success in the search for solutions. As a consequence, the method is more
costly because it requires a longer runtime to use all values ฮฑm. An additional advantage of the method is that
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
26
if the initial condition is close enough to a solution, its behavior is very similar to fractional Newton-Raphson
method and may converge with a relatively small number of iterations, but it still has the disadvantage that we
need to reverse a matrix in each iteration.
These methods may solve some nonlinear systems and are really e๏ฌƒcient to ๏ฌnd multiple solutions, both real
and complex, using real initial conditions. It should be mentioned that these methods are extremely recommended
in systems that have in๏ฌnite solutions or a large number of them.
All the examples in this document were created using the Julia language (version 1.3.1.), it is necessary to
mention that for future works, it is intended to use the numerical methods presented here on applications related
to physics and engineering.
References
[1] F. Brambila-Paz and A. Torres-Hernandez. Fractional newton-raphson method. arXiv preprint
arXiv:1710.07634, 2017. https://arxiv.org/pdf/1710.07634.pdf.
[2] F. Brambila-Paz, A. Torres-Hernandez, U. Iturrarยดan-Viveros, and R. Caballero-Cruz. Fractional newton-
raphson method accelerated with aitkenโ€™s method. arXiv preprint arXiv:1804.08445, 2018. https://arxiv.
org/pdf/1804.08445.pdf.
[3] Josef Stoer and Roland Bulirsch. Introduction to numerical analysis, volume 12. Springer Science & Business
Media, 2013.
[4] Robert Plato. Concise numerical mathematics. Number 57. American Mathematical Soc., 2003.
[5] James M Ortega. Numerical analysis: a second course. SIAM, 1990.
[6] Richard L Burden and J Douglas Faires. Anยดalisis numยดerico. Thomson Learning,, 2002.
[7] James M Ortega and Werner C Rheinboldt. Iterative solution of nonlinear equations in several variables, vol-
ume 30. Siam, 1970.
[8] Rudolf Hilfer. Applications of fractional calculus in physics. World Scienti๏ฌc, 2000.
[9] AA Kilbas, HM Srivastava, and JJ Trujillo. Theory and Applications of Fractional Di๏ฌ€erential Equations. Elsevier,
2006.
[10] A. Torres-Hernandez, F. Brambila-Paz, and C. Torres-Martยดฤฑnez. Proposal for use the fractional derivative
of radial functions in interpolation problems. arXiv preprint arXiv:1906.03760, 2019. https://arxiv.org/
pdf/1906.03760.pdf.
[11] Carlos Alberto Torres Martยดฤฑnez and Carlos Fuentes. Applications of radial basis function schemes to frac-
tional partial di๏ฌ€erential equations. Fractal Analysis: Applications in Physics, Engineering and Technology,
2017. https://www.intechopen.com/books/fractal-analysis-applications-in-physics
-engineering-and-technology.
[12] Benito F Martยดฤฑnez-Salgado, Rolando Rosas-Sampayo, Anthony Torres-Hernยดandez, and Carlos Fuentes. Ap-
plication of fractional calculus to oil industry. Fractal Analysis: Applications in Physics, Engineering and Tech-
nology, 2017. https://www.intechopen.com/books/fractal-analysis-applications-in-physics
-engineering-and-technology.
Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020
27

More Related Content

PDF
Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlin...
PDF
Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlin...
PDF
Boyd chap10
PDF
patel
PDF
PDF
Numerical
ย 
PDF
What are free particles in quantum mechanics
PDF
Berans qm overview
Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlin...
Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlin...
Boyd chap10
patel
Numerical
ย 
What are free particles in quantum mechanics
Berans qm overview

What's hot (18)

PPTX
ROOT OF NON-LINEAR EQUATIONS
DOCX
stochastic notes
DOC
Applications of differential equations by shahzad
PPTX
Matlab Assignment Help
PPT
Limits And Derivative
PPTX
Cramer row inequality
PDF
Quantum physics the bottom up approach
PDF
MetiTarski: An Automatic Prover for Real-Valued Special Functions
PPTX
Physical Chemistry Homework Help
PPT
Partial
PDF
General relativity 2010
PDF
Convergence
PDF
Friedrichs1958
PPTX
Physical Chemistry Assignment Help
PDF
Existance Theory for First Order Nonlinear Random Dfferential Equartion
PDF
Fractional pseudo-Newton method and its use in the solution of a nonlinear sy...
PPT
MATLAB ODE
ย 
PDF
Mit18 330 s12_chapter4
ย 
ROOT OF NON-LINEAR EQUATIONS
stochastic notes
Applications of differential equations by shahzad
Matlab Assignment Help
Limits And Derivative
Cramer row inequality
Quantum physics the bottom up approach
MetiTarski: An Automatic Prover for Real-Valued Special Functions
Physical Chemistry Homework Help
Partial
General relativity 2010
Convergence
Friedrichs1958
Physical Chemistry Assignment Help
Existance Theory for First Order Nonlinear Random Dfferential Equartion
Fractional pseudo-Newton method and its use in the solution of a nonlinear sy...
MATLAB ODE
ย 
Mit18 330 s12_chapter4
ย 
Ad

Similar to lassomodel, sparsity, multivariate modeling, NIR spectroscopy, biodiesel from recyclable sources. (20)

PDF
Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlin...
PDF
Fractional Newton-Raphson Method The Newton-Raphson
PDF
AJMS_402_22_Reprocess_new.pdf
PDF
B02110105012
ย 
PDF
The International Journal of Engineering and Science (The IJES)
ย 
PDF
Roots equations
ย 
PDF
Roots equations
ย 
PDF
Uniformity of the Local Convergence of Chord Method for Generalized Equations
PPTX
ppt.pptx fixed point iteration method no
PDF
Fractional pseudo-Newton method and its use in the solution of a nonlinear sy...
PDF
Fractional pseudo-Newton method and its use in the solution of a nonlinear sy...
PDF
A Comparison Of Iterative Methods For The Solution Of Non-Linear Systems Of E...
PDF
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
PDF
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
PDF
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
PDF
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
PDF
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
PDF
Ijetcas14 546
PDF
Methods of calculate roots of equations
ย 
PDF
Newtons Method An Updated Approach Of Kantorovichs Theory Jos Antonio Ezquerr...
Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlin...
Fractional Newton-Raphson Method The Newton-Raphson
AJMS_402_22_Reprocess_new.pdf
B02110105012
ย 
The International Journal of Engineering and Science (The IJES)
ย 
Roots equations
ย 
Roots equations
ย 
Uniformity of the Local Convergence of Chord Method for Generalized Equations
ppt.pptx fixed point iteration method no
Fractional pseudo-Newton method and its use in the solution of a nonlinear sy...
Fractional pseudo-Newton method and its use in the solution of a nonlinear sy...
A Comparison Of Iterative Methods For The Solution Of Non-Linear Systems Of E...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...
Ijetcas14 546
Methods of calculate roots of equations
ย 
Newtons Method An Updated Approach Of Kantorovichs Theory Jos Antonio Ezquerr...
Ad

More from mathsjournal (20)

PDF
DID FISHING NETS WITH CALCULATED SHELL WEIGHTS PRECEDE THE BOW AND ARROW? DIG...
PDF
MULTIPOINT MOVING NODES FOR P ARABOLIC EQUATIONS
PDF
THE VORTEX IMPULSE THEORY FOR FINITE WINGS
PDF
On Ideals via Generalized Reverse Derivation On Factor Rings
PDF
A PROBABILISTIC ALGORITHM FOR COMPUTATION OF POLYNOMIAL GREATEST COMMON WITH ...
PDF
DID FISHING NETS WITH CALCULATED SHELL WEIGHTS PRECEDE THE BOW AND ARROW? DIG...
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
PDF
MODIFIED ALPHA-ROOTING COLOR IMAGE ENHANCEMENT METHOD ON THE TWO-SIDE 2-DQUAT...
PDF
APPROXIMATE ANALYTICAL SOLUTION OF NON-LINEAR BOUSSINESQ EQUATION FOR THE UNS...
PDF
On Nano Semi Generalized B - Neighbourhood in Nano Topological Spaces
PDF
A Mathematical Model in Public Health Epidemiology: Covid-19 Case Resolution ...
PDF
On a Diophantine Proofs of FLT: The First Case and the Secund Case zโ‰ก0 (mod p...
PDF
APPROXIMATE ANALYTICAL SOLUTION OF NON-LINEAR BOUSSINESQ EQUATION FOR THE UNS...
PDF
MODELING OF REDISTRIBUTION OF INFUSED DOPANT IN A MULTILAYER STRUCTURE DOPANT...
PDF
Numerical solution of fuzzy differential equations by Milneโ€™s predictor-corre...
PDF
A NEW STUDY OF TRAPEZOIDAL, SIMPSONโ€™S1/3 AND SIMPSONโ€™S 3/8 RULES OF NUMERICAL...
PDF
LASSO MODELING AS AN ALTERNATIVE TO PCA BASED MULTIVARIATE MODELS TO SYSTEM W...
PDF
SENTIMENT ANALYSIS OF COMPUTER SCIENCE STUDENTSโ€™ ATTITUDES TOWARD PROGRAMMING...
PDF
SENTIMENT ANALYSIS OF COMPUTER SCIENCE STUDENTSโ€™ ATTITUDES TOWARD PROGRAMMING...
PDF
OPTIMIZATION OF WEIGHT FUNCTION FOR (3+1)D PHONON PROPAGATION IN WEYL FERMION...
DID FISHING NETS WITH CALCULATED SHELL WEIGHTS PRECEDE THE BOW AND ARROW? DIG...
MULTIPOINT MOVING NODES FOR P ARABOLIC EQUATIONS
THE VORTEX IMPULSE THEORY FOR FINITE WINGS
On Ideals via Generalized Reverse Derivation On Factor Rings
A PROBABILISTIC ALGORITHM FOR COMPUTATION OF POLYNOMIAL GREATEST COMMON WITH ...
DID FISHING NETS WITH CALCULATED SHELL WEIGHTS PRECEDE THE BOW AND ARROW? DIG...
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
MODIFIED ALPHA-ROOTING COLOR IMAGE ENHANCEMENT METHOD ON THE TWO-SIDE 2-DQUAT...
APPROXIMATE ANALYTICAL SOLUTION OF NON-LINEAR BOUSSINESQ EQUATION FOR THE UNS...
On Nano Semi Generalized B - Neighbourhood in Nano Topological Spaces
A Mathematical Model in Public Health Epidemiology: Covid-19 Case Resolution ...
On a Diophantine Proofs of FLT: The First Case and the Secund Case zโ‰ก0 (mod p...
APPROXIMATE ANALYTICAL SOLUTION OF NON-LINEAR BOUSSINESQ EQUATION FOR THE UNS...
MODELING OF REDISTRIBUTION OF INFUSED DOPANT IN A MULTILAYER STRUCTURE DOPANT...
Numerical solution of fuzzy differential equations by Milneโ€™s predictor-corre...
A NEW STUDY OF TRAPEZOIDAL, SIMPSONโ€™S1/3 AND SIMPSONโ€™S 3/8 RULES OF NUMERICAL...
LASSO MODELING AS AN ALTERNATIVE TO PCA BASED MULTIVARIATE MODELS TO SYSTEM W...
SENTIMENT ANALYSIS OF COMPUTER SCIENCE STUDENTSโ€™ ATTITUDES TOWARD PROGRAMMING...
SENTIMENT ANALYSIS OF COMPUTER SCIENCE STUDENTSโ€™ ATTITUDES TOWARD PROGRAMMING...
OPTIMIZATION OF WEIGHT FUNCTION FOR (3+1)D PHONON PROPAGATION IN WEYL FERMION...

Recently uploaded (20)

PDF
Pre independence Education in Inndia.pdf
PDF
Bร€I TแบฌP Bแป” TRแปข 4 Kแปธ Nฤ‚NG TIแบพNG ANH 9 GLOBAL SUCCESS - Cแบข Nฤ‚M - BรM SรT FORM ฤ...
PPTX
Renaissance Architecture: A Journey from Faith to Humanism
PDF
O7-L3 Supply Chain Operations - ICLT Program
PPTX
Cell Structure & Organelles in detailed.
PDF
Computing-Curriculum for Schools in Ghana
PPTX
Lesson notes of climatology university.
PDF
Basic Mud Logging Guide for educational purpose
PPTX
Pharma ospi slides which help in ospi learning
PDF
Supply Chain Operations Speaking Notes -ICLT Program
PDF
VCE English Exam - Section C Student Revision Booklet
PDF
TR - Agricultural Crops Production NC III.pdf
PDF
RMMM.pdf make it easy to upload and study
PDF
Module 4: Burden of Disease Tutorial Slides S2 2025
PPTX
Microbial diseases, their pathogenesis and prophylaxis
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
PDF
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
PPTX
Final Presentation General Medicine 03-08-2024.pptx
PPTX
Institutional Correction lecture only . . .
PPTX
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
Pre independence Education in Inndia.pdf
Bร€I TแบฌP Bแป” TRแปข 4 Kแปธ Nฤ‚NG TIแบพNG ANH 9 GLOBAL SUCCESS - Cแบข Nฤ‚M - BรM SรT FORM ฤ...
Renaissance Architecture: A Journey from Faith to Humanism
O7-L3 Supply Chain Operations - ICLT Program
Cell Structure & Organelles in detailed.
Computing-Curriculum for Schools in Ghana
Lesson notes of climatology university.
Basic Mud Logging Guide for educational purpose
Pharma ospi slides which help in ospi learning
Supply Chain Operations Speaking Notes -ICLT Program
VCE English Exam - Section C Student Revision Booklet
TR - Agricultural Crops Production NC III.pdf
RMMM.pdf make it easy to upload and study
Module 4: Burden of Disease Tutorial Slides S2 2025
Microbial diseases, their pathogenesis and prophylaxis
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
Final Presentation General Medicine 03-08-2024.pptx
Institutional Correction lecture only . . .
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...

lassomodel, sparsity, multivariate modeling, NIR spectroscopy, biodiesel from recyclable sources.

  • 1. Fractional Newton-Raphson Method and Some Variants for the Solution of Nonlinear Systems A. Torres-Hernandez ,a, F. Brambila-Paz โ€ ,b, and E. De-la-Vega โ€ก,c a b Abstract The following document presents some novel numerical methods valid for one and several variables, which using the fractional derivative, allow us to ๏ฌnd solutions for some nonlinear systems in the complex space using real initial conditions. The origin of these methods is the fractional Newton-Raphson method, but unlike the latter, the orders proposed here for the fractional derivatives are functions. In the ๏ฌrst method, a function is used to guarantee an order of convergence (at least) quadratic, and in the other, a function is used to avoid the discontinuity that is generated when the fractional derivative of the constants is used, and with this, it is possible that the method has at most an order of convergence (at least) linear. Keywords: Iteration Function, Order of Convergence, Fractional Derivative. 1. Introduction When starting to study the fractional calculus, the ๏ฌrst di๏ฌƒculty is that, when wanting to solve a problem related to physical units, such as determining the velocity of a particle, the fractional derivative seems to make no sense, this is due to the presence of physical units such as meter and second raised to non-integer exponents, opposite to what happens with operators of integer order. The second di๏ฌƒculty, which is a recurring topic of debate in the study of fractional calculus, is to know what is the order โ€œoptimalโ€ ฮฑ that should be used when the goal is to solve a problem related to fractional operators. To face these di๏ฌƒculties, in the ๏ฌrst case, it is common to dimensionless any equation in which non-integer operators are involved, while for the second case di๏ฌ€erent orders ฮฑ are used in fractional operators to solve some problem, and then it is chosen the order ฮฑ that provides the โ€œbest solutionโ€ based about an established criteria. Based on the two previous di๏ฌƒculties, arises the idea of looking for applications with dimensionless nature such that the need to use multiple orders ฮฑ can be exploited in some way. The aforementioned led to the study of Newton-Raphson method and a particular problem related to the search for roots in the complex space for polynomials: if it is needed to ๏ฌnd a complex root of a polynomial using Newton-Raphson method, it is necessary to provide a complex initial condition x0 and, if the right conditions are selected, this leads to a complex solution, but there is also the possibility that this leads to a real solution. If the root obtained is real, it is necessary to change the initial condition and expect that this leads to a complex solution, otherwise, it is necessary to change the value of the initial condition again. The process described above, it is very similar to what happens when using di๏ฌ€erent values ฮฑ in fractional operators until we ๏ฌnd a solution that meets some desired condition. Seeing Newton-Raphson method from the perspective of fractional calculus, one can consider that an order ฮฑ remains ๏ฌxed, in this case ฮฑ = 1, and the initial conditions x0 are varied until obtaining one solution that satis๏ฌes an established criteria. Then reversing the be- havior of ฮฑ and x0, that is, leave the initial condition ๏ฌxed and varying the order ฮฑ, the fractional Newton-Raphson method [1, 2] is obtained, which is nothing other things than Newton-Raphson method using any de๏ฌnition of Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 c DOI :10.5121/mathsj.2020.7102 13 Department of Physics, Faculty of Science - UNAM, Mexico Department of Mathematics, Faculty of Science - UNAM, Mexico Faculty of Engineering, Universidad Panamericana - Aguascalientes, Mexico *Electronic address: anthony.torres@ciencias.unam.mx; Corresponding author; ORCID: 0000-0001-6496-9505 โ€ Electronic address: fernandobrambila@gmail.com; ORCID: 0000-0001-7896-6460 โ€กElectronic address: evega@up.edu.mx; ORCID: 0000-0001-9491-6957
  • 2. fractional derivative that ๏ฌts the function with which one is working. This change, although in essence simple, allows us to ๏ฌnd roots in the complex space using real initial conditions because fractional operators generally do not carry polynomials to polynomials. 1.1. Fixed Point Method A classic problem in applied mathematics is to ๏ฌnd the zeros of a function f : โ„ฆ โŠ‚ Rn โ†’ Rn, that is, {ฮพ โˆˆ โ„ฆ : f (ฮพ) = 0}, this problem often arises as a consequence of wanting to solve other problems, for instance, if we want to determine the eigenvalues of a matrix or want to build a box with a given volume but with minimal surface; in the ๏ฌrst example, we need to ๏ฌnd the zeros (or roots) of the characteristic polynomial of the matrix, while in the second one we need to ๏ฌnd the zeros of the gradient of a function that relates the surface of the box with its volume. Although ๏ฌnding the zeros of a function may seem like a simple problem, in general, it involves solving non- linear equations, which in many cases does not have an analytical solution, an example of this is present when we are trying to determine the zeros of the following function f (x) = sin(x) โˆ’ 1 x . Because in many cases there is no analytical solution, numerical methods are needed to try to determine the solutions to these problems; it should be noted that when using numerical methods, the word โ€œdetermineโ€ should be interpreted as approach a solution with a degree of precision desired. The numerical methods mentioned above are usually of the iterative type and work as follows: suppose we have a function f : โ„ฆ โŠ‚ Rn โ†’ Rn and we search a value ฮพ โˆˆ Rn such that f (ฮพ) = 0, then we can start by giving an initial value x0 โˆˆ Rn and then calculate a value xi close to the searched value ฮพ using an iteration function ฮฆ : Rn โ†’ Rn as follows [3] xi+1 := ฮฆ(xi), i = 0,1,2,ยทยทยท , (1) this generates a sequence {xi}โˆž i=0, which under certain conditions satis๏ฌes that lim iโ†’โˆž xi โ†’ ฮพ. To understand the convergence of the iteration function ฮฆ it is necessary to have the following de๏ฌnition [4]: De๏ฌnition 1.1. Let ฮฆ : Rn โ†’ Rn be an iteration function. The method given in (1) to determine ฮพ โˆˆ Rn, it is called (locally) convergent, if exists ฮด > 0 such that for all initial value x0 โˆˆ B(ฮพ;ฮด) := y โˆˆ Rn : y โˆ’ ฮพ < ฮด , it holds that lim iโ†’โˆž xi โˆ’ ฮพ โ†’ 0 โ‡’ lim iโ†’โˆž xi = ฮพ, (2) where ยท : Rn โ†’ R denotes any vector norm. When it is assumed that the iteration function ฮฆ is continuous at ฮพ and that the sequence {xi}โˆž i=0 converges to ฮพ under the condition given in (2), it is true that ฮพ = lim iโ†’โˆž xi+1 = lim iโ†’โˆž ฮฆ(xi) = ฮฆ lim iโ†’โˆž xi = ฮฆ(ฮพ), (3) the previous result is the reason why the method given in (1) is called Fixed Point Method [4]. Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 14
  • 3. 1.1.1. Convergence and Order of Convergence The (local) convergence of the iteration function ฮฆ established in (2), it is useful for demonstrating certain intrinsic properties of the ๏ฌxed point method. Before continuing it is necessary to have the following de๏ฌnition [3] De๏ฌnition 1.2. Let ฮฆ : โ„ฆ โŠ‚ Rn โ†’ Rn. The function ฮฆ is a contraction on a set โ„ฆ0 โŠ‚ โ„ฆ, if exists a non-negative constant ฮฒ < 1 such that ฮฆ(x) โˆ’ ฮฆ(y) โ‰ค ฮฒ x โˆ’ y , โˆ€x,y โˆˆ โ„ฆ0, (4) where ฮฒ is called a contraction constant. The previous de๏ฌnition guarantee that if the iteration function ฮฆ is a contraction on a set โ„ฆ0, then it has at least one ๏ฌxed point. The existence of a ๏ฌxed point is guaranteed by the following theorem [5] Theorem 1.3. Contraction Mapping Theorem: Let ฮฆ : โ„ฆ โŠ‚ Rn โ†’ Rn. Assuming that ฮฆ is a contraction on a closed set โ„ฆ0 โŠ‚ โ„ฆ, and that ฮฆ(x) โˆˆ โ„ฆ0 โˆ€x โˆˆ โ„ฆ0. Then ฮฆ has a unique ๏ฌxed point ฮพ โˆˆ โ„ฆ0 and for any initial value x0 โˆˆ โ„ฆ0, the sequence {xi}โˆž i=0 generated by (1) converges to ฮพ. Moreover xk+1 โˆ’ ฮพ โ‰ค ฮฒ 1 โˆ’ ฮฒ xk+1 โˆ’ xk , k = 0,1,2,ยทยทยท , (5) where ฮฒ is the contraction constant given in (4). When the ๏ฌxed point method given by (1) is used, in addition to convergence, exists a special interest in the order of convergence, which is de๏ฌned as follows [4] De๏ฌnition 1.4. Let ฮฆ : โ„ฆ โŠ‚ Rn โ†’ Rn be an iteration function with a ๏ฌxed point ฮพ โˆˆ โ„ฆ. Then the method (1) is called (locally) convergent of (at least) order p (p โ‰ฅ 1), if exists ฮด > 0 and exists a non-negative constant C (with C < 1 if p = 1) such that for any initial value x0 โˆˆ B(ฮพ;ฮด) it is true that xk+1 โˆ’ ฮพ โ‰ค C xk โˆ’ ฮพ p , k = 0,1,2,ยทยทยท , (6) where C is called convergence factor. The order of convergence is usually related to the speed at which the sequence generated by (1) converges. For the particular cases p = 1 or p = 2 it is said that the method has (at least) linear or quadratic convergence, respec- tively. The following theorem for the one-dimensional case [4], allows characterizing the order of convergence of an iteration function ฮฆ with its derivatives Theorem 1.5. Let ฮฆ : โ„ฆ โŠ‚ R โ†’ R be an iteration function with a ๏ฌxed point ฮพ โˆˆ โ„ฆ. Assuming that ฮฆ is p-times di๏ฌ€erentiable in ฮพ for some p โˆˆ N, and furthermore ฮฆ(k)(ฮพ) = 0, โˆ€k โ‰ค p โˆ’ 1, if p โ‰ฅ 2, ฮฆ(1)(ฮพ) < 1, if p = 1, (7) then ฮฆ is (locally) convergent of (at least) order p. Proof. Assuming that ฮฆ : โ„ฆ โŠ‚ R โ†’ R is an iteration function p-times di๏ฌ€erentiable with a ๏ฌxed point ฮพ โˆˆ โ„ฆ, then we can expand in Taylor series the function ฮฆ(xi) around ฮพ and order p ฮฆ(xi) = ฮฆ(ฮพ) + p s=1 ฮฆ(s)(ฮพ) s! (xi โˆ’ ฮพ)s + o((xi โˆ’ ฮพ)p ), then we obtain Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 15
  • 4. |ฮฆ(xi) โˆ’ ฮฆ(ฮพ)| โ‰ค p s=1 ฮฆ(s)(ฮพ) s! |xi โˆ’ ฮพ|s + o(|xi โˆ’ ฮพ|p ), assuming that the sequence {xi}โˆž i=0 generated by (1) converges to ฮพ and also that ฮฆ(s)(ฮพ) = 0 โˆ€s < p, the previous expression implies that |xi+1 โˆ’ ฮพ| |xi โˆ’ ฮพ|p = |ฮฆ(xi) โˆ’ ฮฆ(ฮพ)| |xi โˆ’ ฮพ|p โ‰ค ฮฆ(p)(ฮพ) p! + o(|xi โˆ’ ฮพ|p ) |xi โˆ’ ฮพ|p โˆ’โ†’ iโ†’โˆž ฮฆ(p)(ฮพ) p! , as consequence, exists a value k > 0 such that |xi+1 โˆ’ ฮพ| โ‰ค ฮฆ(p)(ฮพ) p! |xi โˆ’ ฮพ|p , โˆ€i โ‰ฅ k. A version of the previous theorem for the case n-dimensional may be found in the reference [3]. 1.2. Newton-Raphson Method The previous theorem in its n-dimensional form is usually very useful to generate a ๏ฌxed point method with an order of convergence desired, an order of convergence that is usually appreciated in iterative methods is the (at least) quadratic order. If we have a function f : โ„ฆ โŠ‚ Rn โ†’ Rn and we search a value ฮพ โˆˆ โ„ฆ such that f (ฮพ) = 0, we may build an iteration function ฮฆ in general form as [6] ฮฆ(x) = x โˆ’ A(x)f (x), (8) with A(x) a matrix like A(x) := [A]jk(x) = ๏ฃซ ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃญ [A]11(x) [A]12(x) ยทยทยท [A]1n(x) [A]21(x) [A]22(x) ยทยทยท [A]2n(x) ... ... ... ... [A]n1(x) [A]n2(x) ... [A]nn(x) ๏ฃถ ๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃธ , (9) where [A]jk : Rn โ†’ R (1 โ‰ค j,k โ‰ค n). Notice that the matrix A(x) is determined according to the order of convergence desired. Before continuing, it is necessary to mention that the following conditions are needed: 1. Suppose we can generalize the Theorem 1.5 to the case n-dimensional, although for this it is necessary to guarantee that the iteration function ฮฆ given by (8) near the value ฮพ can be expressed in terms of its Taylor series in several variables. 2. It is necessary to guarantee that the norm of the equivalent of the ๏ฌrst derivative in several variables of the iteration function ฮฆ tends to zero near the value ฮพ. Then, we will assume that the ๏ฌrst condition is satis๏ฌed; for the second condition we have that the equivalent to the ๏ฌrst derivative in several variables is the Jacobian matrix of the function ฮฆ, which is de๏ฌned as follows [5] ฮฆ(1) (x) := [ฮฆ] (1) jk (x) = ๏ฃซ ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃญ โˆ‚1[ฮฆ]1(x) โˆ‚2[ฮฆ]1(x) ยทยทยท โˆ‚n[ฮฆ]1(x) โˆ‚1[ฮฆ]2(x) โˆ‚2[ฮฆ]2(x) ยทยทยท โˆ‚n[ฮฆ]2(x) ... ... ... ... โˆ‚1[ฮฆ]n(x) โˆ‚2[ฮฆ]n(x) ... โˆ‚n[ฮฆ]n(x) ๏ฃถ ๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃธ , (10) Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 16
  • 5. where [ฮฆ] (1) jk = โˆ‚k[ฮฆ]j(x) := โˆ‚ โˆ‚[x]k [ฮฆ]j(x), 1 โ‰ค j,k โ‰ค n, with [ฮฆ]k : Rn โ†’ R, the competent k-th of the iteration function ฮฆ. Now considering that lim xโ†’ฮพ ฮฆ(1) (x) = 0 โ‡’ lim xโ†’ฮพ โˆ‚k[ฮฆ]j(x) = 0, โˆ€j,k โ‰ค n, (11) we can assume that we have a function f (x) : โ„ฆ โŠ‚ Rn โ†’ Rn with a zero ฮพ โˆˆ โ„ฆ, such that all of its ๏ฌrst partial derivatives are de๏ฌned in ฮพ. Then taking the iteration function ฮฆ given by (8), the k-th component of the iteration function may be written as [ฮฆ]k(x) = [x]k โˆ’ n j=1 [A]kj(x)[f ]j(x), then โˆ‚l[ฮฆ]k(x) = ฮดlk โˆ’ n j=1 [A]kj(x)โˆ‚l[f ]j(x) + โˆ‚l[A]kj(x) [f ]j(x) , where ฮดlk is the Kronecker delta, which is de๏ฌned as ฮดlk = 1, si l = k, 0, si l k. Assuming that (11) is ful๏ฌlled โˆ‚l[ฮฆ]k(ฮพ) = ฮดlk โˆ’ n j=1 [A]kj(ฮพ)โˆ‚l[f ]j(ฮพ) = 0 โ‡’ n j=1 [A]kj(ฮพ)โˆ‚l[f ]j(ฮพ) = ฮดlk, โˆ€l,k โ‰ค n, the previous expression may be written in matrix form as A(ฮพ)f (1) (ฮพ) = In โ‡’ A(ฮพ) = f (1) (ฮพ) โˆ’1 , where f (1) and In are the Jacobian matrix of the function f and the identity matrix of n ร— n, respectively. Denoting by det(A) the determinant of the matrix A, then any matrix A(x) that ful๏ฌll the following condition lim xโ†’ฮพ A(x) = f (1) (ฮพ) โˆ’1 , det f (1)(ฮพ) 0, (12) guarantees that exists ฮด > 0 such that the iteration function ฮฆ given by (8), converges (locally) with an order of convergence (at least) quadratic in B(ฮพ;ฮด). The following ๏ฌxed point method can be obtained from the previous result xi+1 := ฮฆ(xi) = xi โˆ’ f (1) (xi) โˆ’1 f (xi), i = 0,1,2,ยทยทยท , (13) which is known as Newton-Raphson method (n-dimensional), also known as Newtonโ€™s method [7]. Although the condition given in (12) could seem that Newton-Raphson method always has an order of conver- gence (at least) quadratic, unfortunately, this is not true; the order of convergence is now conditioned by the way in which the function f is constituted, the mentioned above may be appreciated in the following proposition Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 17
  • 6. Proposition 1.6. Let f : โ„ฆ โŠ‚ R โ†’ R be a function that is at least twice di๏ฌ€erentiable in ฮพ โˆˆ โ„ฆ. So if ฮพ is a zero of f with algebraic multiplicity m (m โ‰ฅ 2), that is, f (x) = (x โˆ’ ฮพ)m g(x), g(ฮพ) 0, the Newton-Raphson method (one-dimensional) has an order of convergence (at least) linear. Proof. Suppose we have f : โ„ฆ โŠ‚ R โ†’ R a function with a zero ฮพ โˆˆ โ„ฆ of algebraic multiplicity m โ‰ฅ 2, and that f is at least twice di๏ฌ€erentiable in ฮพ, then f (x) =(x โˆ’ ฮพ)m g(x), g(ฮพ) 0, f (1) (x) =(x โˆ’ ฮพ)mโˆ’1 mg(x) + (x โˆ’ ฮพ)g(1) (x) , as consequence, the derivative of the iteration function ฮฆ of Newton-Raphson method may be expressed as ฮฆ(1)(x) = 1 โˆ’ mg2(x) + (x โˆ’ ฮพ)2 g(1)(x) 2 โˆ’ g(x)g(2)(x) mg(x) + (x โˆ’ ฮพ)g(1)(x) 2 , therefore lim xโ†’ฮพ ฮฆ(1) (x) = 1 โˆ’ 1 m , and by the Theorem 1.5, the Newton-Raphson method under the hypothesis of the proposition converges (locally) with an order of convergence (at least) linear. 2. Basic Definitions of the Fractional Derivative 2.1. Introduction to the Definition of Riemann-Liouville One of the key pieces in the study of fractional calculus is the iterated integral, which is de๏ฌned as follows [8] De๏ฌnition 2.1. Let L1 loc(a,b), the space of locally integrable functions in the interval (a,b). If f is a function such that f โˆˆ L1 loc(a,โˆž), then the n-th iterated integral of the function f is given by aIn x f (x) = aIx aInโˆ’1 x f (x) = 1 (n โˆ’ 1)! x a (x โˆ’ t)nโˆ’1 f (t)dt, (14) where aIxf (x) := x a f (t)dt. Considerate that (n โˆ’ 1)! = ฮ“ (n) , a generalization of (14) may be obtained for an arbitrary order ฮฑ > 0 aIฮฑ x f (x) = 1 ฮ“ (ฮฑ) x a (x โˆ’ t)ฮฑโˆ’1 f (t)dt, (15) similarly, if f โˆˆ L1 loc(โˆ’โˆž,b), we may de๏ฌne xIฮฑ b f (x) = 1 ฮ“ (ฮฑ) b x (t โˆ’ x)ฮฑโˆ’1 f (t)dt, (16) the equations (15) and (16) correspond to the de๏ฌnitions of right and left fractional integral of Riemann- Liouville, respectively. The fractional integrals satisfy the semigroup property, which is given in the following proposition [8] Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 18
  • 7. Proposition 2.2. Let f be a function. If f โˆˆ L1 loc(a,โˆž), then the fractional integrals of f satisfy that aIฮฑ x aI ฮฒ x f (x) = aI ฮฑ+ฮฒ x f (x), ฮฑ,ฮฒ > 0. (17) From the previous result, and considering that the operator d/dx is the inverse operator to the left of the operator aIx, any integral ฮฑ-th of a function f โˆˆ L1 loc(a,โˆž) may be written as aIฮฑ x f (x) = dn dxn (aIn x aIฮฑ x f (x)) = dn dxn (aIn+ฮฑ x f (x)). (18) Considering (15) and (18), we can built the operator Fractional Derivative of Riemann-Liouville aDฮฑ x , as follows [8, 9] aDฮฑ x f (x) := ๏ฃฑ ๏ฃด๏ฃด๏ฃฒ ๏ฃด๏ฃด๏ฃณ aIโˆ’ฮฑ x f (x), if ฮฑ < 0, dn dxn (aInโˆ’ฮฑ x f (x)), if ฮฑ โ‰ฅ 0, (19) where n = ฮฑ + 1. Applying the operator (19) with a = 0 and ฮฑ โˆˆ R Z to the function xยต, we obtain 0Dฮฑ x xยต = ๏ฃฑ ๏ฃด๏ฃด๏ฃด๏ฃด๏ฃด๏ฃฒ ๏ฃด๏ฃด๏ฃด๏ฃด๏ฃด๏ฃณ (โˆ’1)ฮฑ ฮ“ (โˆ’(ยต + ฮฑ)) ฮ“ (โˆ’ยต) xยตโˆ’ฮฑ, if ยต โ‰ค โˆ’1, ฮ“ (ยต + 1) ฮ“ (ยต โˆ’ ฮฑ + 1) xยตโˆ’ฮฑ, if ยต > โˆ’1. (20) 2.2. Introduction to the Definition of Caputo Michele Caputo (1969) published a book and introduced a new de๏ฌnition of fractional derivative, he created this de๏ฌnition with the objective of modeling anomalous di๏ฌ€usion phenomena. The de๏ฌnition of Caputo had already been discovered independently by Gerasimov (1948). This fractional derivative is of the utmost importance since it allows us to give a physical interpretation of the initial value problems, moreover to being used to model fractional time. In some texts, it is known as the fractional derivative of Gerasimov-Caputo. Let f be a function, such that f is n-times di๏ฌ€erentiable with f (n) โˆˆ L1 loc(a,b), then the (right) fractional derivative of Caputo is de๏ฌned as [9] C a Dฮฑ x f (x) :=aInโˆ’ฮฑ x dn dxn f (x) = 1 ฮ“ (n โˆ’ ฮฑ) x a (x โˆ’ t)nโˆ’ฮฑโˆ’1 f (n) (t)dt, (21) where n = ฮฑ + 1. It should be mentioned that the fractional derivative of Caputo behaves as the inverse operator to the left of fractional integral of Riemann-Liouville , that is, C a Dฮฑ x (aIฮฑ x f (x)) = f (x). On the other hand, the relation between the fractional derivatives of Caputo and Riemann-Liouville is given by the following expression [9] C a Dฮฑ x f (x) = aDฮฑ x ๏ฃซ ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃฌ๏ฃญf (x) โˆ’ nโˆ’1 k=0 f (k)(a) k! (x โˆ’ a)k ๏ฃถ ๏ฃท๏ฃท๏ฃท๏ฃท๏ฃท๏ฃธ, then, if f (k)(a) = 0 โˆ€k < n, we obtain C a Dฮฑ x f (x) = aDฮฑ x f (x), considering the previous particular case, it is possible to unify the de๏ฌnitions of fractional integral of Riemann- Liouville and fractional derivative of Caputo as follows C a Dฮฑ x f (x) := ๏ฃฑ ๏ฃด๏ฃด๏ฃด๏ฃฒ ๏ฃด๏ฃด๏ฃด๏ฃณ aIโˆ’ฮฑ x f (x), if ฮฑ < 0, aInโˆ’ฮฑ x dn dxn f (x) , if ฮฑ โ‰ฅ 0. (22) Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 19
  • 8. 3. Fractional Newton-Raphson Method Let Pn(R), the space of polynomials of degree less than or equal to n with real coe๏ฌƒcients. The zeros ฮพ of a function f โˆˆ Pn(R) are usually named as roots. The Newton-Raphson method is useful for ๏ฌnding the roots of a function f . However, this method is limited because it cannot ๏ฌnd roots ฮพ โˆˆ CR, if the sequence {xi}โˆž i=0 generated by (13) has an initial condition x0 โˆˆ R. To solve this problem and develop a method that has the ability to ๏ฌnd roots, both real and complex, of a polynomial if the initial condition x0 is real, we propose a new method called fractional Newton-Raphson method, which consists of Newton-Raphson method with the implementation of the fractional derivative. Before continuing, it is necessary to de๏ฌne the fractional Jacobian matrix of a function f : โ„ฆ โŠ‚ Rn โ†’ Rn as follows f (ฮฑ) (x) := [f ] (ฮฑ) jk (x) , (23) where [f ] (ฮฑ) jk = โˆ‚ฮฑ k [f ]j(x) := โˆ‚ฮฑ โˆ‚[x]ฮฑ k [f ]j(x), 1 โ‰ค j,k โ‰ค n. with [f ]j : Rn โ†’ R. The operator โˆ‚ฮฑ/โˆ‚[x]ฮฑ k denotes any fractional derivative, applied only to the variable [x]k, that satis๏ฌes the following condition of continuity respect to the order of the derivative lim ฮฑโ†’1 โˆ‚ฮฑ โˆ‚[x]ฮฑ k [f ]j(x) = โˆ‚ โˆ‚[x]k [f ]j(x), 1 โ‰ค j,k โ‰ค n, then, the matrix (23) satis๏ฌes that lim ฮฑโ†’1 f (ฮฑ) (x) = f (1) (x), (24) where f (1)(x) denotes the Jacobian matrix of the function f . Taking into account that a polynomial of degree n it is composed of n+1 monomials of the form xm, with m โ‰ฅ 0, we can take the equation (20) with (13), to de๏ฌne the following iteration function that results in the Fractional Newton-Raphson Method [1, 2] xi+1 := ฮฆ (ฮฑ,xi) = xi โˆ’ f (ฮฑ)(xi) โˆ’1 f (xi), i = 0,1,2,ยทยทยท . (25) 3.1. Fractional Newton Method To try to guarantee that the sequence {xi}โˆž i=0 generated by (25) has an order of convergence (at least) quadratic, the condition (12) is combined with (24) to de๏ฌne the following function ฮฑf ([x]k,x) := ฮฑ, if |[x]k| 0 and f (x) โ‰ฅ ฮด, 1, if |[x]k| = 0 or f (x) < ฮด, (26) then, for any fractional derivative that satis๏ฌes the condition (24), and using (26), the Fractional Newton Method may be de๏ฌned as xi+1 := ฮฆ(ฮฑ,xi) = xi โˆ’ Nฮฑf (xi) โˆ’1 f (xi), i = 0,1,2,ยทยทยท , (27) with Nฮฑf (xi) given by the following matrix Nฮฑf (xi) := [Nฮฑf ]jk(xi) = โˆ‚ ฮฑf ([xi]k,xi) k [f ]j(xi) . (28) Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 20
  • 9. The di๏ฌ€erence between the methods (25) and (27), is that the just for the second can exists ฮด > 0 such that if the sequence {xi}โˆž i=0 generated by (27) converges to a root ฮพ of f , exists k > 0 such that โˆ€i โ‰ฅ k, the sequence has an order of convergence (at least) quadratic in B(ฮพ;ฮด). The value of ฮฑ in (25) and (26) is assigned with the following reasoning: when we use the de๏ฌnitions of fractional derivatives given by (19) and (22) in a function f , it is necessary that the function be n-times integrable and n-times di๏ฌ€erentiable, where n = ฮฑ +1, therefore |ฮฑ| < n and, on the other hand, for using Newton method it is just necessary that the function be one-time di๏ฌ€erentiable, as a consequence of (26) it is obtained that โˆ’2 < ฮฑ < 2, ฮฑ โˆ’1,0,1. (29) Without loss of generality, to understand why the sequence {xi}โˆž i=0 generated by the method (25) or (27) when we use a function f โˆˆ Pn(R), has the ability to enter the complex space starting from an initial condition x0 โˆˆ R, it is only necessary to observe the fractional derivative of Riemann-Liouville of order ฮฑ = 1/2 of the monomial xm 0D 1 2 x xm = โˆš ฯ€ 2ฮ“ m + 1 2 xmโˆ’ 1 2 , m โ‰ฅ 0, whose result is a function with a rational exponent, contrary to what would happen when using the conven- tional derivative. When the iteration function given by (25) or (27) is used, we must taken an initial condition x0 0, as a consequence of the fact that the fractional derivative of order ฮฑ > 0 of a constant is usually propor- tional to the function xโˆ’ฮฑ. The sequence {xi}โˆž i=0 generated by the iteration function (25) or (27), presents among its behaviors, the follow- ing particular cases depending on the initial condition x0: 1. If we take an initial condition x0 > 0, the sequence {xi}โˆž i=0 may be divided into three parts, this occurs because it may exists a value M โˆˆ N for which {xi}Mโˆ’1 i=0 โŠ‚ R+ with {xM} โŠ‚ Rโˆ’, in consequence {xi}iโ‰ฅM+1 โŠ‚ C. 2. On the other hand, if we take an initial x0 < 0 condition, the sequence {xi}โˆž i=0 may be divided into two parts, {x0} โŠ‚ Rโˆ’ and {xi}iโ‰ฅ1 โŠ‚ C. Unlike classical Newton-Raphson method; which uses tangent lines to generate a sequence {xi}โˆž i=0, the frac- tional Newton-Raphson method uses lines more similar to secants (see Figure 1). A consequence of the fact that the lines are not tangent when using (25), is that di๏ฌ€erent trajectories can be obtained for the same initial condition x0 just by changing the order ฮฑ of the derivative (see Figure 2). Figure 1: Illustration of some lines generated by the fractional Newton-Raphson method, the red line corresponds to the Newton-Raphson method. Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 21
  • 10. a) ฮฑ = โˆ’0.77 b) ฮฑ = โˆ’0.32 c) ฮฑ = 0.19 d) ฮฑ = 1.87 Figure 2: llustrations of some trajectories generated by the fractional Newton-Raphson method for the same initial condition x0 but with di๏ฌ€erent values of ฮฑ. 3.1.1. Finding Zeros A typical inconvenience that arises in problems related to fractional calculus, it is the fact that it is not always known what is the appropriate order ฮฑ to solve these problems. As a consequence, di๏ฌ€erent values of ฮฑ are generally tested and we choose the value that allows to ๏ฌnd the best solution considering an criterion of precision established. Based on the aforementioned, it is necessary to follow the instructions below when using the method (25) or (27) to ๏ฌnd the zeros ฮพ of a function f : 1. Without considering the integers โˆ’1, 0 and 1, a partition of the interval [โˆ’2,2] is created as follows โˆ’2 = ฮฑ0 < ฮฑ1 < ฮฑ2 < ยทยทยท < ฮฑs < ฮฑs+1 = 2, and using the partition, the following sequence {ฮฑm}s m=1 is created. 2. We choose a non-negative tolerance T OL < 1, a limit of iterations LIT > 1 for all ฮฑm, an initial condition x0 0 and a value M > LIT . 3. We choose a value ฮด > 0 to use ฮฑf given by (26), such that T OL < ฮด < 1. In addition, it is taken a fractional derivative that satis๏ฌes the condition of continuity (24), and it is uni๏ฌed with the fractional integral in the same way as in the equations (19) and (22). 4. The iteration function (25) or (27) is used with all the values of the partition {ฮฑm}s m=1, and for each value ฮฑm is generated a sequence {mxi} Rm i=0, where Rm = ๏ฃฑ ๏ฃด๏ฃด๏ฃด๏ฃฒ ๏ฃด๏ฃด๏ฃด๏ฃณ K1 โ‰ค LIT , if exists k > 0 such that f (mxk) โ‰ฅ M โˆ€k โ‰ฅ i, K2 โ‰ค LIT , if exists k > 0 such that f (mxk) โ‰ค T OL โˆ€k โ‰ฅ i. LIT , if f (mxi) > T OL โˆ€i โ‰ฅ 0, then is generated a sequence xRmk r k=1 , with r โ‰ค s, such that f xRmk โ‰ค T OL, โˆ€k โ‰ฅ 1. 5. We choose a value ฮต > 0 and we take the values xRm1 and xRm2 , then is de๏ฌned X1 = xRm1 . If the following condition is ful๏ฌlled X1 โˆ’ xRm2 X1 โ‰ค ฮต and Rm2 โ‰ค Rm1 , (30) Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 22
  • 11. is taken X1 = xRm2 . On the other hand if X1 โˆ’ xRm2 X1 > ฮต, (31) is de๏ฌned X2 = xRm2 . Without loss of generality, it may be assumed that the second condition is ful๏ฌlled, then is taken X3 = XRm3 and are checked the conditions (30) and (31) with the values X1 and X2. The process described before is repeated for all values Xk = xRmk , with k โ‰ฅ 4, and that generates a sequence {Xm}t m=1, with t โ‰ค r, such that Xi โˆ’ Xj Xi > ฮต, โˆ€i j. By following the steps described before to implement the methods (25) and (27), a subset of the solution set of zeros, both real and complex, may be obtained from the function f . We will proceed to give an example where is found the solution set of zeros of a function f โˆˆ Pn(R). Example 3.1. Let the function: f (x) = โˆ’57.62x16 โˆ’ 56.69x15 โˆ’ 37.39x14 โˆ’ 19.91x13 + 35.83x12 โˆ’ 72.47x11 + 44.41x10 + 43.53x9 +59.93x8 โˆ’ 42.9x7 โˆ’ 54.24x6 + 72.12x5 โˆ’ 22.92x4 + 56.39x3 + 15.8x2 + 60.05x + 55.31, (32) then the following values are chosen to use the iteration function given by (27) T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = 0.74, M = e + 17, and using the fractional derivative given by (20), we obtain the results of the Table 1 ฮฑm mฮพ mฮพ โˆ’ mโˆ’1ฮพ 2 f (mฮพ) 2 Rm 1 โˆ’1.01346 โˆ’1.3699527 1.64700e โˆ’ 5 7.02720e โˆ’ 5 2 2 โˆ’0.80436 โˆ’1.00133957 9.82400e โˆ’ 5 4.36020e โˆ’ 5 2 3 โˆ’0.50138 โˆ’0.62435277 9.62700e โˆ’ 5 2.31843e โˆ’ 6 2 4 0.87611 0.58999224 โˆ’ 0.86699687i 3.32866e โˆ’ 7 6.48587e โˆ’ 6 11 5 0.87634 0.36452488 โˆ’ 0.83287821i 3.36341e โˆ’ 6 2.93179e โˆ’ 6 11 6 0.87658 โˆ’0.28661369 โˆ’ 0.80840642i 2.65228e โˆ’ 6 1.06485e โˆ’ 6 10 7 0.8943 0.88121183 + 0.4269622i 1.94165e โˆ’ 7 6.46531e โˆ’ 6 14 8 0.89561 0.88121183 โˆ’ 0.4269622i 2.87924e โˆ’ 7 6.46531e โˆ’ 6 11 9 0.95944 โˆ’0.35983764 + 1.18135267i 2.82843e โˆ’ 8 2.53547e โˆ’ 5 24 10 1.05937 1.03423976 1.80000e โˆ’ 7 1.38685e โˆ’ 5 4 11 1.17776 โˆ’0.70050491 โˆ’ 0.78577099i 4.73814e โˆ’ 7 9.13799e โˆ’ 6 15 12 1.17796 โˆ’0.35983764 โˆ’ 1.18135267i 4.12311e โˆ’ 8 2.53547e โˆ’ 5 17 13 1.17863 โˆ’0.70050491 + 0.78577099i 8.65332e โˆ’ 7 9.13799e โˆ’ 6 18 14 1.17916 0.58999224 + 0.86699687i 7.05195e โˆ’ 7 6.48587e โˆ’ 6 12 15 1.17925 0.36452488 + 0.83287821i 2.39437e โˆ’ 6 2.93179e โˆ’ 6 9 16 1.22278 โˆ’0.28661369 + 0.80840642i 5.36985e โˆ’ 6 1.06485e โˆ’ 6 9 Table 1: Results obtained using the iterative method (27). Although the methods (25) and (27) were originally de๏ฌned for polynomials, the methods can be extended to a broader class of functions, as shown in the following examples Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 23
  • 12. Example 3.2. Let the function: f (x) = sin(x) โˆ’ 3 2x , (33) then the following values are chosen to use the iteration function given by (27) T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = 0.26, M = e + 6, and using the fractional derivative given by (20), we obtain the results of Table 2 ฮฑm mฮพ mฮพ โˆ’ mโˆ’1ฮพ 2 f (mฮพ) 2 Rm 1 โˆ’1.92915 1.50341195 2.80000e โˆ’ 7 2.93485e โˆ’ 9 6 2 โˆ’0.07196 โˆ’2.49727201 9.99500e โˆ’ 5 6.53301e โˆ’ 9 8 3 โˆ’0.03907 โˆ’1.50341194 6.29100e โˆ’ 5 4.37493e โˆ’ 9 7 4 0.19786 โˆ’18.92888307 4.00000e โˆ’ 8 1.97203e โˆ’ 9 20 5 0.20932 โˆ’9.26211143 9.60000e โˆ’ 7 4.77196e โˆ’ 9 12 6 0.2097 โˆ’15.61173324 5.49000e โˆ’ 6 2.05213e โˆ’ 9 18 7 0.20986 โˆ’12.6848988 3.68000e โˆ’ 5 3.29282e โˆ’ 9 15 8 0.21105 โˆ’6.51548968 9.67100e โˆ’ 5 2.05247e โˆ’ 9 10 9 0.21383 โˆ’21.92267274 6.40000e โˆ’ 6 2.03986e โˆ’ 8 24 10 1.19522 6.51548968 7.24900e โˆ’ 5 2.05247e โˆ’ 9 13 11 1.19546 9.26211143 1.78200e โˆ’ 5 4.77196e โˆ’ 9 14 12 1.19558 12.6848988 7.92100e โˆ’ 5 3.29282e โˆ’ 9 14 13 1.19567 15.61173324 7.90000e โˆ’ 7 2.05213e โˆ’ 9 12 14 1.1957 18.92888307 1.00000e โˆ’ 8 1.97203e โˆ’ 9 12 15 1.19572 21.92267282 1.46400e โˆ’ 5 5.91642e โˆ’ 8 14 16 1.23944 2.4972720 6.30000e โˆ’ 7 9.43179e โˆ’ 10 11 Table 2: Results obtained using the iterative method (27). In the previous example, a subset of the solution set of zeros of the function (33) was obtained, because this function has an in๏ฌnite amount of zeros. Using the methods (25) and (27) do not guarantee that all zeros of a function f can be found, leaving an initial condition x0 ๏ฌxed and varying the orders ฮฑm of the derivative. As in the classical Newton-Raphson method, ๏ฌnding most of the zeros of the function will depend on giving a proper initial condition x0. If we want to ๏ฌnd a larger subset of zeros of the function (33), there are some strategies that are usually useful, for example: 1. To change the initial condition x0. 2. To use a larger amount of values ฮฑm. 3. To increase the value of M. 4. To increase the value of LIT . In general, the last strategy is usually the most useful, but this causes the methods (25) and (27) to become more costly, because a longer runtime is required for all values ฮฑm. Example 3.3. Let the function: f (x) = x2 1 + x3 2 โˆ’ 10,x3 1 โˆ’ x2 2 โˆ’ 1 T , (34) then the following values are chosen to use the iteration function given by (27) T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = (0.88,0.88)T , M = e + 6, and using the fractional derivative given by (20), we obtain the results of Table 3 Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 24
  • 13. ฮฑm mฮพ1 mฮพ2 mฮพ โˆ’ mโˆ’1ฮพ 2 f (mฮพ) 2 Rm 1 โˆ’0.58345 0.22435853 + 1.69813926i โˆ’1.13097646 + 2.05152306i 3.56931e โˆ’ 7 8.18915e โˆ’ 8 12 2 โˆ’0.50253 0.22435853 โˆ’ 1.69813926i โˆ’1.13097646 โˆ’ 2.05152306i 1.56637e โˆ’ 6 8.18915e โˆ’ 8 10 3 0.74229 โˆ’1.42715874 + 0.56940338i โˆ’0.90233562 โˆ’ 1.82561764i 1.13040e โˆ’ 6 7.01649e โˆ’ 8 11 4 0.75149 1.35750435 + 0.86070348i โˆ’1.1989996 โˆ’ 1.71840823i 3.15278e โˆ’ 7 4.26428e โˆ’ 8 12 5 0.76168 โˆ’0.99362838 + 1.54146499i 2.2675011 + 0.19910814i 8.27969e โˆ’ 5 1.05527e โˆ’ 7 13 6 0.76213 โˆ’0.99362838 โˆ’ 1.54146499i 2.2675011 โˆ’ 0.19910815i 2.15870e โˆ’ 7 6.41725e โˆ’ 8 15 7 0.77146 โˆ’1.42715874 โˆ’ 0.56940338i โˆ’0.90233562 + 1.82561764i 3.57132e โˆ’ 6 7.01649e โˆ’ 8 15 8 0.78562 1.35750435 โˆ’ 0.86070348i โˆ’1.1989996 + 1.71840823i 3.16228e โˆ’ 8 4.26428e โˆ’ 8 17 9 1.22739 1.67784847 1.92962117 9.99877e โˆ’ 5 2.71561e โˆ’ 8 4 Table 3: Results obtained using the iterative method (27). Example 3.4. Let the function: f (x) = x1 + x2 2 โˆ’ 37,x1 โˆ’ x2 2 โˆ’ 5,x1 + x2 + x3 โˆ’ 3 T , (35) then the following values are chosen to use the iteration function given by (27) T OL = e โˆ’ 4, LIT = 40, ฮด = 0.5, x0 = (4.35,4.35,4.35)T , M = e + 6, and using the fractional derivative given by (20), we obtain the results of Table 4 ฮฑm mฮพ1 mฮพ2 mฮพ3 mฮพ โˆ’ mโˆ’1ฮพ 2 f (mฮพ) 2 Rm 1 0.78928 โˆ’6.08553731 + 0.27357884i 0.04108101 + 3.32974848i 9.04445631 โˆ’ 3.60332732i 6.42403e โˆ’ 5 3.67448e โˆ’ 8 14 2 0.79059 โˆ’6.08553731 โˆ’ 0.27357884i 0.04108101 โˆ’ 3.32974848i 9.04445631 + 3.60332732i 1.05357e โˆ’ 7 3.67448e โˆ’ 8 15 3 0.8166 6.17107462 โˆ’1.08216201 โˆ’2.08891261 6.14760e โˆ’ 5 4.45820e โˆ’ 8 9 4 0.83771 6.0 1.0 โˆ’4.0 3.38077e โˆ’ 6 0.0 6 Table 4: Results obtained using the iterative method (27). 3.2. Fractional Quasi-Newton Method Although the previous methods are useful for ๏ฌnding multiple zeros of a function f , they have the disadvantage that in many cases calculating the fractional derivative of a function is not a simple task. To try to minimize this problem, we use that commonly for many de๏ฌnitions of the fractional derivative, the arbitrary order derivative of a constant is not always zero, that is, โˆ‚ฮฑ โˆ‚[x]ฮฑ k c 0, c = constant. (36) Then, we may de๏ฌne the function gf (x) := f (x0) + f (1) (x0)x, (37) it should be noted that the previous function is almost a linear approximation of the function f in the initial condition x0. Then, for any fractional derivative that satis๏ฌes the condition (36), and using (23) the Fractional Quasi-Newton Method may be de๏ฌned as xi+1 := ฮฆ(ฮฑ,xi) = xi โˆ’ Qgf ,ฮฒ(xi) โˆ’1 f (xi), i = 0,1,2,ยทยทยท , (38) with Qg,ฮฒ(xi) given by the following matrix Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 25
  • 14. Qgf ,ฮฒ(xi) := [Qgf ,ฮฒ]jk(xi) = โˆ‚ ฮฒ(ฮฑ,[xi]k) k [gf ]j(xi) , (39) where the function ฮฒ is de๏ฌned as follows ฮฒ(ฮฑ,[xi]k) := ฮฑ, if |[xi]k| 0, 1, if |[xi]k| = 0. (40) Since the iteration function (38), the same way that (25), does not satisfy the condition (12), then any sequence {xi}โˆž i=0 generated by this iteration function has at most one order of convergence (at least) linear. As a consequence, the speed of convergence is slower compared to what would be obtained when using (27), and then it is necessary to use a larger value of LIT . It should be mentioned that the value ฮฑ = 1 in (40), is not taken to try to guarantee an order of convergence as in (26), but to avoid the discontinuity that is generated when using the fractional derivative of constants in the value [xi]k = 0. An example is given using the fractional quasi-Newton method, where is found a subset of the solution set of zeros of the function f . Example 3.5. Let the function: f (x) = 1 2 sin(x1x2) โˆ’ x2 4ฯ€ โˆ’ x1 2 , 1 โˆ’ 1 4ฯ€ e2x1 โˆ’ e + e ฯ€ x2 โˆ’ 2ex1 T , (41) then the following values are chosen to use the iteration function given by (38) T OL = e โˆ’ 4, LIT = 200, x0 = (1.52,1.52)T , M = e + 6, and using the fractional derivative given by (20), we obtain the results of Table 5 ฮฑm mฮพ1 mฮพ2 mฮพ โˆ’ mโˆ’1ฮพ 2 f (mฮพ) 2 Rm 1 โˆ’0.28866 2.21216549 โˆ’ 13.25899819i 0.41342314 + 3.94559327i 1.18743e โˆ’ 7 9.66251e โˆ’ 5 163 2 1.08888 1.29436489 โˆ’3.13720898 1.89011e โˆ’ 6 9.38884e โˆ’ 5 51 3 1.14618 1.43395246 โˆ’6.82075021 2.24758e โˆ’ 6 9.74642e โˆ’ 5 94 4 1.33394 0.50000669 3.14148062 9.74727e โˆ’ 6 9.99871e โˆ’ 5 133 5 1.35597 0.29944016 2.83696105 8.55893e โˆ’ 5 4.66965e โˆ’ 5 8 6 1.3621 1.5305078 โˆ’10.20223066 2.38437e โˆ’ 6 9.88681e โˆ’ 5 120 7 1.37936 1.60457254 โˆ’13.36288413 2.32459e โˆ’ 6 9.52348e โˆ’ 5 93 8 1.88748 โˆ’0.26061324 0.62257513 2.69146e โˆ’ 5 9.90792e โˆ’ 5 21 Table 5: Results obtained using the iterative method (38). 4. Conclusions The fractional Newton-Raphson method and its variants are useful for ๏ฌnding multiple solutions of nonlinear systems, in the complex space using real initial conditions. However, it should be clari๏ฌed that they present some advantages and disadvantages between each of them, for example, although the fractional Newton method generally has an order of convergence (at least) quadratic, this method has the disadvantage that it is not an easy task to ๏ฌnd the fractional Jacobian matrix for many functions, and also the need to reverse this matrix must be added for each new iteration. But it has an advantage over the other methods, and this is because it can be used with few iterations, which allows occupying a greater number of ฮฑm values belonging to the partition of the interval (โˆ’2,2). The quasi-Newton fractional method has the advantage that the fractional Jacobian matrix with which it works, compared to the fractional Newton method, is easy to obtain. But a disadvantage is that the method may have at most an order of convergence (at least) linear, so the speed of convergence is lower and it is necessary to use a greater number of iterations to ensure success in the search for solutions. As a consequence, the method is more costly because it requires a longer runtime to use all values ฮฑm. An additional advantage of the method is that Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 26
  • 15. if the initial condition is close enough to a solution, its behavior is very similar to fractional Newton-Raphson method and may converge with a relatively small number of iterations, but it still has the disadvantage that we need to reverse a matrix in each iteration. These methods may solve some nonlinear systems and are really e๏ฌƒcient to ๏ฌnd multiple solutions, both real and complex, using real initial conditions. It should be mentioned that these methods are extremely recommended in systems that have in๏ฌnite solutions or a large number of them. All the examples in this document were created using the Julia language (version 1.3.1.), it is necessary to mention that for future works, it is intended to use the numerical methods presented here on applications related to physics and engineering. References [1] F. Brambila-Paz and A. Torres-Hernandez. Fractional newton-raphson method. arXiv preprint arXiv:1710.07634, 2017. https://arxiv.org/pdf/1710.07634.pdf. [2] F. Brambila-Paz, A. Torres-Hernandez, U. Iturrarยดan-Viveros, and R. Caballero-Cruz. Fractional newton- raphson method accelerated with aitkenโ€™s method. arXiv preprint arXiv:1804.08445, 2018. https://arxiv. org/pdf/1804.08445.pdf. [3] Josef Stoer and Roland Bulirsch. Introduction to numerical analysis, volume 12. Springer Science & Business Media, 2013. [4] Robert Plato. Concise numerical mathematics. Number 57. American Mathematical Soc., 2003. [5] James M Ortega. Numerical analysis: a second course. SIAM, 1990. [6] Richard L Burden and J Douglas Faires. Anยดalisis numยดerico. Thomson Learning,, 2002. [7] James M Ortega and Werner C Rheinboldt. Iterative solution of nonlinear equations in several variables, vol- ume 30. Siam, 1970. [8] Rudolf Hilfer. Applications of fractional calculus in physics. World Scienti๏ฌc, 2000. [9] AA Kilbas, HM Srivastava, and JJ Trujillo. Theory and Applications of Fractional Di๏ฌ€erential Equations. Elsevier, 2006. [10] A. Torres-Hernandez, F. Brambila-Paz, and C. Torres-Martยดฤฑnez. Proposal for use the fractional derivative of radial functions in interpolation problems. arXiv preprint arXiv:1906.03760, 2019. https://arxiv.org/ pdf/1906.03760.pdf. [11] Carlos Alberto Torres Martยดฤฑnez and Carlos Fuentes. Applications of radial basis function schemes to frac- tional partial di๏ฌ€erential equations. Fractal Analysis: Applications in Physics, Engineering and Technology, 2017. https://www.intechopen.com/books/fractal-analysis-applications-in-physics -engineering-and-technology. [12] Benito F Martยดฤฑnez-Salgado, Rolando Rosas-Sampayo, Anthony Torres-Hernยดandez, and Carlos Fuentes. Ap- plication of fractional calculus to oil industry. Fractal Analysis: Applications in Physics, Engineering and Tech- nology, 2017. https://www.intechopen.com/books/fractal-analysis-applications-in-physics -engineering-and-technology. Applied Mathematics and Sciences: An International Journal (MathSJ), Vol. 7, No. 1, March 2020 27