Next Article in Journal
A Rigorous Analysis of Integro-Differential Operators with Non-Singular Kernels
Next Article in Special Issue
A Seventh Order Family of Jarratt Type Iterative Method for Electrical Power Systems
Previous Article in Journal
A Study of Fractional-Order Memristive Ant Colony Algorithm: Take Fracmemristor into Swarm Intelligent Algorithm
Previous Article in Special Issue
Structured Doubling Algorithm for a Class of Large-Scale Discrete-Time Algebraic Riccati Equations with High-Ranked Constant Term
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Convergence Analysis of a New Implicit Iterative Scheme and Its Application to Delay Caputo Fractional Differential Equations

1
School of Mathematics, Statistics and Computer Science, University of KwaZulu-Natal, Durban 4001, South Africa
2
Department of Mathematics, Akwa Ibom State University, Ikot Akpaden, Mkpat Enin P.M. Box 1167, Nigeria
3
Department of Mathematics, University of Calabar, Calabar P.M. Box 1115, Nigeria
4
Department of Mathematics, College of Science and Humanities in Al-Kharj, Prince Sattam Bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia
*
Author to whom correspondence should be addressed.
Fractal Fract. 2023, 7(3), 212; https://doi.org/10.3390/fractalfract7030212
Submission received: 23 December 2022 / Revised: 16 February 2023 / Accepted: 20 February 2023 / Published: 24 February 2023
(This article belongs to the Special Issue Applications of Iterative Methods in Solving Nonlinear Equations)

Abstract

:
This article presents a new three-step implicit iterative method. The proposed method is used to approximate the fixed points of a certain class of pseudocontractive-type operators. Additionally, the strong convergence results of the new iterative procedure are derived. Some examples are constructed to authenticate the assumptions in our main result. At the end, we use our new method to solve a fractional delay differential equation in the sense of Caputo. Our main results improve and generalize the results of many prominent authors in the existing literature.

1. Introduction

Let  E  be a nonempty closed subset of a Banach space G with a dual  G * . The normalized duality mapping from G into  2 G *  is denoted by J and defined by
J ( t ) = { v * G * : t , v * = t 2 = v * 2 } , t G ,
where  . , .  stands for the generalized duality pairing. In this manuscript, we use j to stand for the single-valued normalized duality. The set of all positive real numbers is denoted by  + , the set of all natural numbers is denoted by  N  and the set of all the fixed points of a mapping  H : G G  is denoted by  F ( H ) = { t G : H t = t } .
Most problems in engineering and applied sciences are formulated as functional equations. Such equations can be formulated as fixed-point equations. Operator equations representing phenomena occurring in diverse fields, such as chemical reactions, steady-state temperature distribution, economic theories, epidemics and neutron transport theory, often require adequate and appropriate solutions. Thus, the target of finding a solution to these equations is to locate the fixed point and approximate its value. However, once we are certain of the existence of fixed points of given operators, it is always desirable to develop methods that can be efficiently used to approximate that fixed point. The iterative process is one of the fundamental tools that can be used to locate a fixed point [1,2]. Computing the value of a given fixed point of an operator analytically is quite tedious. Therefore, obtaining an efficient iterative method is required. In the last few years, various authors have introduced numerous iterative schemes that have been utilized widely to estimate the fixed points of operators. The Banach contraction theorem, which is one of the most widely and extensively utilized results, incorporates the Picard iteration method for locating the fixed point.
It was observed that the Picard iterative method cannot approximate the fixed points of mappings that are higher than contraction mappings. In order to overcome this drawback, several authors started introducing various iterative methods (see, e.g., [3,4,5,6,7] and the references therein).
The fixed-point approximation of the class of TAP mappings using iterative methods has been studied by several authors in recent years (see [8,9,10] and the reference therein).
Over the course of time, due to the advantages of implicit iterative schemes over explicit schemes, many iterative schemes have been developed by several authors for the approximation of the fixed points of different classes of mappings (see, e.g., [3,5,11]).
One of the first iterative methods was studied by Xu and Ori [11] in Hilbert spaces for the common fixed point of nonexpansive mappings. The implicit scheme of Xu and Ori [12] has been studied in diverse directions for the past two decades (see [5,13,14,15,16,17,18] and the references therein).
In [19], Saluja introduced the following averaging iterative scheme in Hilbert spaces:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) t k 1 , k N ,
where  { α k }  is a sequence in [0,1],  k = ( n 1 ) N + i i = k ( i ) I = { 1 , 2 , . . . , N } n = n ( k ) N  and  n ( k ) +  as  k + . The author proved some convergence results of the implicit scheme (2) for the common fixed point of a finite family of strictly AP mappings in the intermediate sense.
In 2021, Ofem and Igbokwe [20] introduced the following two-step implicit iterative scheme for approximating the common fixed point of two total asymptotically pseudocontractive mappings:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) z k z k = ( 1 u k v k s k ) t k + u k t k 1 + v k S i ( k ) n ( k ) t k + s k t k 1 , k N ,
where  { α k } , { β k } , { u k } { v k }  and  { s k }  are sequences in [0,1] such that  u k + v k + s k 1 k = ( n 1 ) N + i i = k ( i ) I = { 1 , 2 , . . . , N } n = n ( k ) N  and  n ( k ) +  as  k + .
Very recently, Ofem et al. [21] introduced the following three-step implicit iterative scheme for approximating the common fixed point of two total asymptotically pseudocontractive mappings:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) w k , w k = ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) z k , z k = ( 1 v k ) t k + v k S i ( k ) n ( k ) t k , k N ,
where  k = ( n 1 ) N + i i = k ( i ) I = { 1 , 2 , . . . , N } n = n ( k ) N  and  n ( k ) +  as  k + .
On the other hand, for some years now, fractional calculus theory has attracted the attention of several authors in diverse fields. Indeed, it was noticed that fractional derivatives are useful tools for modeling many problems in sciences and engineering (see e.g., [22,23] and the references therein). To gain a better understanding of the models’ behavior, different kinds of fractional operators have been constructed. Some of these operators include the Hadamard, Riemann–Liouville, Atangana–Baleanu, Katugampola, Caputo, Caputo–Fabrizio, Atangana–Koca, Atangana–Gomez, Atangana beta-derivative, Atangana bi-order, truncated  M –derivative and several others; each of these has some advantages and disadvantages over the others. For instance, Riemann–Liouville fractional operators require the presence of fractional order conditions to solve mathematical models under study, which makes them difficult to utilize. Interestingly, the Caputo fractional operator deals with this drawback and permits one to use the initial conditions with integer-order derivatives that have a clear physical meaning. For the past few decades, many methods have been constructed to solve fractional integro-differential equations, fractional partial differential equations and dynamic systems containing fractional derivatives, such as He’s variational iteration method, the Adomian decomposition method, the homotopy analysis method, the homotopy perturbation method and existence and uniqueness results via the monotone method. Another well-known method that can also give the explicit form of the solution is the Laplace transform method, which permits one to transform fractional differential equations into algebraic equations, and, thus, by solving these algebraic equations, one can derive the unknown function via the inverse Laplace transform [24]. In this article, we use an iterative method to estimate the solution to a delay Caputo fractional differential equation.
Motivated by the above results, the aim of this manuscript is to propose a three-step iterative scheme for finite families of three uniformly L-Lipschitzian TAP mappings as follows:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) w k w k = ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) z k , z k = ( 1 u k v k s k ) t k + u k t k 1 + v n S i ( k ) n ( k ) t k + s k t k 1 , k N ,
where  { α k } , { β k } , { u k } { v k }  and  { s k }  are sequences in [0,1] such that  u k + v k + s k 1 k = ( n 1 ) N + i i = k ( i ) I = { 1 , 2 , . . . , N } n = n ( k ) N  and  n ( k ) +  as  k + .
Additionally, by using a different approach, we prove the strong convergence theorem of the new iterative method (5) for the common fixed points of the finite families of three uniformly L-Lipschitzian TAP mappings in Banach spaces. Furthermore, we provide a nontrivial example to validate the assumptions in our main results and also show the efficiency of our new method over some existing methods. Finally, we apply our result to the solution of a delay Caputo fractional differential equation.
Remark 1.
Clearly, if we use  β k = 0  in (5), we obtain (3), and, if we set  u k = s k = 0  in (5), then we obtain (4). Thus, our new method properly includes the methods considered by Ofem and Igbokwe [20] and Ofem et al. [21]. Again, observe that the proposed method properly contains the corresponding methods in [25,26,27].
The article is arranged as follows: In Section 2, we list certain definitions and lemmas that will be helpful in deriving our main results. In Section 3, we prove our main results and also add some corollaries. In Section 4, we numerically show the convergence of our new iterative scheme through some examples. In Section 5, we approximate the solution of a delay Caputo fractional differential equation via a special case of our new iterative method. In Section 6, we discuss the summary of the results obtained in this article.

2. Preliminaries

The following definition, lemmas and proposition are used to obtain our main results.
Definition 1.
Let  H : E E  be a mapping. Then, H is called
(i) 
Uniformly L-Lipschitzian, if, for all  t , m E , there exists a constant  L 0  such that
H k t H k m L t m , k N .
(ii) 
Pseudocontractive, if, for all  t , m E , there exists  j ( t m ) J ( t m )  such that
H t H m , j ( t m ) t m 2 .
(iii) 
Asymptotically pseudocontractive if a sequence  { h k } [ 1 , )  exists with  h k 1  as  k  such that
H k t H k m , j ( t m ) h k t m 2 , k N , and t , m E .
(iv) 
Total asymptotically pseudocontractive mappings in the intermediate sense, if a sequence  { h k } [ 1 , )  exists with  h k 1  as  k  and  j ( t m ) J ( t m )  such that
lim sup k sup ( t , m ) E ( H k t H k m , j ( t m ) h k t m 2 ) 0 .
Put
ρ k = max 0 , sup t , m E ( H k t H k m , j ( t m ) h k t m 2 ) .
This implies that  ρ k 0 ρ k 0  as  k . Thus, (9) gives the inequality:
H k t H k m , j ( t m ) h k t m 2 + ρ k , k N , t , m E .
This class of mappings was introduced by Qin et al. [28].
(v) 
total asymptotically pseudocontractive (TAP) [29], if  { μ k } [ 0 , + )  and  { ξ k } [ 0 , + )  exist with  μ k 0  and  ξ k 0  as  k +  such that
H k t H k m , j ( t m ) t m 2 + μ k ϕ ( t m ) + ξ k ,
k N  and  t , m E , where ϕ is a self-map that is continuously strictly increasing as defined on  [ + 0 , )  with  ϕ ( 0 ) = 0 .
Remark 2.
Suppose  ϕ ( t ) = t 2 ; then, () becomes a class of the asymptotically pseudocontractive mappings in the intermediate sense, as follows:
H k t H k m , j ( t m ) ( 1 + μ k ) t m 2 + ξ k
for all  k N , t , m E . Set
ρ k = max 0 , sup t , m E ( H k t H k m , j ( t m ) ( 1 + μ k ) t m 2 ) .
Remark 3.
For  ρ k = 0 , k N , it is not hard to see that the class of asymptotically pseudocontractive mappings in the intermediate sense reduces to a class of asymptotically pseudocontractive mappings.
As demonstrated in Remarks 2 and 3, it is clear that the class of TAP mappings is a superclass of the class mappings mentioned above.
Definition 2
([30]). A family  { H i } i = 1 N : E E  with Γ  = i = 1 N F ( T i )  is said to satisfy condition (B) on  E  if there exists a nondecreasing function  g : [ 0 , + ) [ 0 , + )  with  g ( 0 ) = 0  and  g ( p ) > 0 , for all  0 < p < 1 , such that for all  t E
max 1 i N { t H i t } f ( d ( t , Γ ) ) .
Lemma 1
([12]). Let the normalized duality mapping be defined by  J : G 2 G * . Then, for all  t , m E , one has
t + m 2 t 2 + 2 m , j ( t + m ) , j ( t + m ) J ( t + m ) .
Lemma 2
([31]). Let  { ϑ k } { Λ k }  and  { Ω k }  be nonnegative real number sequences such that:
ϑ k ( 1 + Λ k ) ϑ n + Ω k , k N .
Suppose  k = 1 Λ k < +  and  k = 1 + Ω k < + . Then,  lim k + ϑ k  exists. Furthermore, if  { ϑ k }  has a subsequence  { ϑ k i }  with  ϑ k i 0 , it implies  lim k + ϑ k = 0 .

3. Main Results

In the sequel,  i I = [ 1 , N ] , where  N N . Now, we prove that (5) is suitable for the convergence of the common fixed points of three continuous TAP mappings. Let  H i  be a  L h i –Lipschitz TAP mapping with sequences  ν k i [ 0 , )  and  λ k i [ 0 , + )  with  ν k i 0  and  λ k i 0  as  k . Let  R i  be a  L r i –Lipschitz TAP mapping with the sequences  c k i [ 0 , + )  and  d k i [ 0 , + )  with  c n i 0  and  d k i 0  as  k + . Let  S i  be a  L s i –Lipschitz TAP mapping with the sequences  η k i [ 0 , + )  and  l k i [ 0 , + )  with  η k i 0  and  l k i 0  as  k + .
Let  W k : E E  be the mapping defined by
W k ( t ) = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) { ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) [ ( 1 u k v k s k ) t + u k t k 1 + v k S i ( k ) n ( k ) t + s k H i ( k ) n ( k ) t k 1 ] } , k N .
From (16), we have
W k ( t ) W k ( m ) = α k H i ( k ) n ( k ) { ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) [ ( 1 u k v k s k ) t + u k t k 1 + v k S i ( k ) n ( k ) t + s n H i ( k ) n ( k ) t k 1 ] } H i ( k ) n ( k ) { ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) [ ( 1 u k v k s k ) m + u k t k 1 + v k S i ( k ) n ( k ) m + s k H i ( k ) n ( k ) t k 1 ] } α k β k L R i ( k ) n ( k ) [ ( 1 u k v k s k ) t + u k t k 1 + v k S i ( k ) n ( k ) t + s k H i ( k ) n ( k ) t k 1 ] R i ( k ) n ( k ) [ ( 1 u k v k s k ) m + u k t k 1 + v k S i ( k ) n ( k ) m + s k H i ( k ) n ( k ) t k 1 ] α k β k L 2 [ ( 1 u k v k s k ) t m + v n k S i ( k ) n ( k ) t S i ( k ) n ( k ) m ] α k β k L 2 [ ( 1 u k v k s k ) t m + v k L t m ] = α k β k L 2 [ ( 1 u k + v k ( L 1 ) s k ) ] t m ,
for all  t , m E , where  L = max { L h 1 , . . . , L h N , L r 1 , . . . , L r N , L s 1 , . . . , L s N } .
If  α k β k L 2 [ ( 1 u k + v k ( L 1 ) s k ) ] < 1 , for all  k N , then, from (17), it follows that the mapping  W k  is a contraction. According to the contraction principle, this implies that a unique point  t k E  exists such that
t k = W ( t k ) .
This shows that the implicit iteration method (5) is well defined. Thus, we can employ the iterative method (5) to estimate the fixed point of the mapping in Definition 1(v).
Lemma 3.
Let G denote an arbitrary Banach space and  E  denote a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mappings with the sequences  { ν k i } [ 0 , )  and  { λ k i } [ 0 , ) , where  ν k i 0  and  λ k i 0  as  k . Let  R i : E E  be a finite family of uniformly  L r i –Lipschitzian TAP mappings with the sequences  { c k i } [ 0 , )  and  { d k i } [ 0 , ) , where  c k i 0  and  d k i 0  as  k , and let  S i : E E  be a finite family of uniformly  L s i –Lipschitzian TAP mappings with the sequences  { η k i } [ 0 , )  and  { l k i } [ 0 , ) , where  η k i 0  and  l k i 0  as  n , for all  i I . Let  μ k = max { ν k , c k , η k } , where  ν k = max { ν k i } c k = max { c k i }  and  η k = max { η k i } . Let  ξ k = max { λ k , d k , l k } , where  λ k = max { λ k i } d k = max { d k i }  and  l k = max { l k i } . Assume that  Γ = ( i = 1 N F ( H i ) ) ( i = 1 N F ( R i ) ) ( i = 1 N F ( S i ) ) , and there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let  { α k } { β k } { u k } { v k }  and  { s k }  be sequences in [0,1] such that  u k + v k + s k 1 , for all  k N . Let  { t k }  be the sequence defined by (5). Suppose the following assumptions hold:
(J1) 
k = 1 α k = ;
(J2
k = 1 α k 2 < ;
(J3
k = 1 α k μ k < k = 1 α k ξ k < ;
(J4
k = 1 α k β k < k = 1 α k β k u k < k = 1 α k β k s k < ;
(J5
α k β k L 2 [ ( 1 u k + v k ( L 1 ) s k ) ] < 1 k N , where  L = max { L h 1 , . . . , L h N , L r 1 , . . . , L r N , L s 1 , . . . , L s N } .
Then,  lim k t k q  exists for all  q Γ .
Proof. 
Suppose  q Γ . Using (5), we obtain
z k q = ( 1 u k v k s k ) ( t k q ) + u k ( t k 1 q ) + v k ( S i ( k ) n ( k ) t k q ) + s k ( H i ( k ) n ( k ) t k 1 q ) ( 1 u k v k s k ) t k q + u k t k 1 q + v k S i ( k ) n ( k ) t k q + s k H i ( k ) n ( k ) t k 1 q t k q + u k t k 1 q + v k S i ( k ) n ( k ) t k q + s k H i ( k ) n ( k ) t k 1 q t k q + u k t k 1 q + v k L t k q + s k L t k 1 q ( 1 + L ) t k q + ( u k + s k L ) t k 1 q .
Using (5) and (18), we obtain
w k q = ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) z k q ( 1 β k ) t k 1 q + β k R i ( k ) n ( k ) z k q t k 1 q + β k L z k q t k 1 q + β k L [ ( 1 + L ) t k q + ( u k + s k L ) t k 1 q ] = [ 1 + β k L ( u k + s k L ) ] t k 1 q + β k L ( 1 + L ) t k q .
Now, from (5) and Lemma 1, we obtain
t k q 2 ( 1 α K ) 2 t k 1 q 2 + 2 α n H i ( k ) n ( k ) w k q , j ( t k q ) = ( 1 α k ) 2 t k 1 q 2 + 2 α k H i ( k ) n ( k ) w k H i ( k ) n ( k ) t k + H i ( k ) n ( k ) t k q , j ( t k q ) = ( 1 α k ) 2 t k 1 q 2 + 2 α k H i ( k ) n ( k ) w k H i ( k ) n ( k ) t k , j ( t k q ) + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) ( 1 α k ) 2 t k 1 q 2 + 2 α k H i ( k ) n ( k ) w k H i ( k ) n ( k ) t k t k q + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) ( 1 α k ) 2 t k 1 q 2 + 2 α k L w k t k t k q + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) .
According to (5), we have that
w k t k β k R i ( k ) n ( k ) z k q + β k t k 1 q + α k t k 1 q + α k H i ( k ) n ( k ) w k q β k L [ ( 1 + L ) t k q + ( u k + s k L ) t k 1 q ] + β k t k 1 q + α k t k 1 q + α k L { [ 1 + β k L ( u k + s k L ) ] t k 1 q + β k L ( 1 + L ) t k q } β k L ( 1 + L ) t k q + β n L ( u k + s k L ) t k 1 q + β k t k 1 q + α k t k 1 q + α k L [ 1 + β k L ( u k + s k L ) ] t k 1 q + α k β k L 2 ( 1 + L ) t k q = [ β k L ( u k + s k L ) + α k + β k + α k L β k L ( u k + s k L ) ] t k 1 q + [ β k L ( 1 + L ) + α k β k L 2 ( 1 + L ) ] t k q = [ β k L ( u k + s k L ) ( 1 + α L ) + α k ( 1 + L ) + β k ] t k 1 q + [ β k L ( 1 + L ) ( 1 + α k L ) ] t k q [ β k L ( u k + s k L ) ( 1 + L ) + α k ( 1 + L ) + β k ] t k 1 q + [ β k L ( 1 + L ) ( 1 + L ) ] t k q = { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } t k 1 q + β k L ( 1 + L ) 2 t k q
Putting (21) into (20), we have
t k q 2 ( 1 α k ) 2 t k 1 p 2 + 2 α k L [ { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } t k 1 q + β k L ( 1 + L ) 2 t k q ] t k q + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) = ( 1 α k ) 2 t k 1 p 2 + 2 α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } t k 1 q t k q + 2 α k β k L 2 ( 1 + L ) 2 t k q 2 + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) .
From a classical analysis, it is well known that
t k 1 q t k q 1 2 ( t k 1 q 2 + t k q 2 ) .
Using (22) and (23), we have
t k q 2 ( 1 α k ) 2 t k 1 q 2 + 2 α n L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } × 1 2 ( t k 1 q 2 + t k q 2 ) + 2 α k β k L 2 ( 1 + L ) 2 t k q 2 + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) [ ( 1 α k ) 2 + α k L { [ β n L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k 1 q 2 + [ 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k q 2 + 2 α k H i ( k ) n ( k ) t k q , j ( t k q ) .
Since each H is a total asymptotically pseudocontractive mapping, from (24), we have
t n q 2 [ ( 1 α k ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k 1 p 2 + [ 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k q 2 + 2 α k ( t k q 2 + μ k ϕ ( t k q ) + ξ k ) = [ ( 1 α k ) 2 + α k L { [ β n L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k 1 q 2 + [ 2 α k β n L 2 ( 1 + L ) 2 + α n L { [ β n L ( u n + s n L ) + α k ] ( 1 + L ) + β k } + 2 α k ] t n q 2 + 2 α k μ k ϕ ( t k p ) + 2 α k ξ k .
Since we know that  ϕ  is a strictly increasing function, it follows that  ϕ ( e ) ϕ ( V ) , if  e V ϕ ( e ) V * e 2 , if  e V . In either case, we can obtain
ϕ ( e ) ϕ ( V ) + V * e 2 .
Using (24), we obtain
t k q 2 [ ( 1 α k ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k 1 p 2 + [ 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } + 2 α n ] t k q 2 + 2 α k μ k ϕ ( V ) + 2 α k V * μ k t k q 2 + 2 α k ξ k = [ ( 1 α k ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } ] t k 1 p 2 + [ 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } + 2 α k + 2 α k V * μ k ] t k q 2 + 2 α k μ k ϕ ( V ) + 2 α k ξ k = H k t k 1 q 2 + Q k t k q 2 + 2 α k μ k ϕ ( M ) + 2 α k ξ k ,
where
H k = ( 1 α k ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } , Q k = 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } + 2 α k + 2 α k V * μ k .
By transposing and simplifying (25), we obtain
t k q 2 H k 1 Q k t k 1 q 2 + 2 α k μ k ϕ ( V ) 1 Q k + 2 α k ξ k 1 Ψ k = 1 + H k + Q k 1 1 Q k t k 1 p 2 + 2 α k μ k ϕ ( M ) 1 Q k + 2 α k ξ k 1 Q k .
Observe that
H k + Q k 1 = α k 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } + 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } + 2 α k V * μ k .
Now, set
K k = H k + Q k 1 .
Since  lim n α k = 0 , then, from conditions  ( J 3 ) ( J 4 ) , we obtain
Q k = 2 α k β k L 2 ( 1 + L ) 2 + α k L { [ β k L ( u k + s k L ) + α k ] ( 1 + L ) + β k } + 2 α k + 2 α k V * μ k 0 as k .
Therefore, a positive integer  k 0  exists such that
1 2 < 1 Q k 1 , k k 0 .
Thus, using (26) we obtain
t k q 2 1 + 2 K k t k 1 q 2 + 4 α k μ k ϕ ( V ) + 4 α k ξ k = 1 + Υ k t k 1 q 2 + φ k , , k k 0 ,
where
Υ k = 2 K k , φ k = 4 α k μ k ϕ ( V ) + 4 α k ξ k .
According to assumptions  ( J 2 ) ( J 4 ) , it follows that  k = 1 Υ k <  and  k = 1 φ k < . Obviously, from (29), it clear that all the assumptions in Lemma 2 are performed. Hence,  lim k t k q  exists for all  q Γ . □
Theorem 1.
Let G denote an arbitrary Banach space and  E  denote a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mappings with the sequences  { ν k i } [ 0 , + )  and  { λ k i } [ 0 , + ) , where  ν k i 0  and  λ k i 0  as  k + . Let  R i : E E  be a finite family of uniformly  L r i –Lipschitzian TAP mappings with the sequences  { c k i } [ 0 , + )  and  { d k i } [ 0 , + ) , where  c k i 0  and  d k i 0  as  k , and let  S i : E E  be a finite family of uniformly  L s i –Lipschitzian TAP mappings with the sequences  { η k i } [ 0 , + )  and  { l k i } [ 0 , + ) , where  η k i 0  and  l k i 0  as  k + , for all  i I . Let  μ k = max { ν k , c k , η k } , where  ν k = max { ν k i } c k = max { c k i : i I }  and  η k = max { η k i } . Let  ξ k = max { λ k , d k , l k } , where  λ k = max { λ k i } d k = max { d k i }  and  l k = max { l k i } . Assume that  Γ = ( i = 1 N F ( H i ) ) ( i = 1 N F ( R i ) ) ( i = 1 N F ( S i ) )  and there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let  { α k } { β k } { u k } { v k }  and  { s k }  be sequences in [0,1] such that  u k + v k + s k 1 , for all  k N . Suppose the following assumptions hold:
(J1
k = 1 α k = ;
(J2
k = 1 α k 2 < ;
(J3
k = 1 α k μ k < k = 1 α k ξ k < ;
(J4
k = 1 α k β k < k = 1 α k β k u k < k = 1 α k β k s k < ;
(J5
α k β k L 2 [ ( 1 u k + v k ( L 1 ) s k ) ] < 1 k N , where  L = max { L h 1 , . . . , L h N , L r 1 , . . . , L r N , L s 1 , . . . , L s N } .
Then, the sequence  { t k } , defined by (5), converges strongly to an element in Γ if and only if
lim inf k d ( t k , F ) = 0 .
Proof. 
Observe that the necessity of condition (30) is trivial.
Now, we prove the sufficiency of Theorem 1. For all  q Γ , then, from (29) in Lemma 2, we have that
[ d ( t k , Γ ) ] 2 ( 1 + Υ k ) [ d ( t k 1 , Γ ) ] 2 + φ k , for all k k 0 .
Obviously, from assumptions  ( J 2 ) ( J 4 ) , we know that  k = 1 Υ k <  and  k = 1 φ k < . According to (31) and Lemma 2,  lim k [ d ( t k , , F ) ] 2  exists. Furthermore,  lim n d ( t k , Γ )  exists. According to (30), we obtain
lim k d ( t k , Γ ) = 0 .
Now, we show that the sequence  { t k }  is Cauchy in  E . Clearly, since  k = 1 φ k < , then  1 + x e x  for each  x > 0 , and, from (29), we therefore have
t k q 2 e Υ k t k 1 q 2 + φ k , for all k k 0 .
For any given positive integers  k , l k 0 , using (33), we obtain
t k + l q 2 e Υ k + l t k + l 1 q 2 + φ k + l e Υ k + l [ e Υ k + l 1 t k + l 2 q 2 + φ k + l 1 ] + σ k + l e Υ k + l + Υ k + l 1 t k + l 2 q 2 + φ k + l 1 ] + φ k + l e i = k + 1 k + l Υ i t k q 2 + e i = k + 2 k + l Υ i i = k + 1 k + l φ i ϱ t k q 2 + ϱ i = k + 1 ψ i ,
where  ϱ = e k = 1 Υ k < .
Since  lim k φ k < , then using (32) and for any given  ϵ > 0 , there exists a positive integer  k 1 k 0  such that
[ d ( t k , Γ ) ] 2 < ϵ 2 8 ( ϱ + 1 ) , i = k + 1 φ i < ϵ 2 4 ϱ , for all k k 1 .
Therefore, there exists  q 1 Γ  such that
t k q 1 2 < ϵ 2 8 ( ϱ + 1 ) , for all k k 1 .
Consequently, for any  k k 1  and for all  l 1 , we obtain
t k + l t k 2 2 ( t k + l q 1 2 + t n q 1 2 ) 2 ( 1 + ϱ ) t k q 1 2 + 2 ϱ i = k + 1 φ i < 2 · ϵ 2 4 ( ϱ + 1 ) ( 1 + ϱ ) + 2 ϱ · ϵ 2 4 ϱ = ϵ 2 ,
i.e.,
t k + l t k < ϵ .
It follows that the sequence  { t k }  is Cauchy in  E . Since  E  is a complete space, we can say that  t k q * E .
Next, we show that  q * Γ . To prove by contradiction, we assume that  q *  is not in  Γ = ( i = 1 N F ( H i ) ) ( i = 1 N F ( R i ) ) ( i = 1 N F ( S i ) ) . Since  Γ  is a closed subset of G, it follows that  d ( q * , Γ ) > 0 . Thus, for all  q * Γ , we have
q * q q * t k + t k q ,
which implies that
d ( q * , Γ ) t k q * + d ( t k , Γ ) .
Therefore, we have  d ( q * , Γ ) = 0  as  k , which is in contradiction to  d ( q * , Γ ) > 0 . Hence,  q * F . This completes the proof. □
The following results are obtained directly from Theorem 1:
Corollary 1.
Let G denote an arbitrary Banach space and  E  denote a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mappings with the sequences  { ν k i } [ 0 , + )  and  { λ k i } [ 0 , + ) , where  ν k i 0  and  λ k i 0  as  k + . Let  R i : E E  be a finite family of uniformly  L r i –Lipschitzian TAP mappings with the sequences  { c k i } [ 0 , + )  and  { d k i } [ 0 , + ) , where  c k i 0  and  d k i 0  as  k + , and let  S i : E E  be a finite family of uniformly  L s i –Lipschitzian TAP mappings with the sequences  { η k i } [ 0 , + )  and  { l k i } [ 0 , + ) , where  η k i 0  and  l k i 0  as  k + , for all  i I . Let  μ k = max { ν k , c k , η k } , where  ν k = max { ν k i } c k = max { c k i : i I }  and  η k = max { η k i } . Let  ξ k = max { λ k , d k , l k } , where  λ k = max { λ k i } d k = max { d k i }  and  l k = max { l k i } . Suppose that  Γ = ( i = 1 N F ( H i ) ) ( i = 1 N F ( R i ) ) ( i = 1 N F ( S i ) )  and there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let  { α k } { β k }  and  { v k }  be sequences in [0,1], for all  k N . Suppose the following assumptions hold:
(J1) 
k = 1 α k = ;
(J2) 
k = 1 α k 2 < ;
(J3) 
k = 1 α k μ k < k = 1 α k ξ k < ;
(J4) 
k = 1 α k β k < k = 1 α k β k u k < ,
(J5) 
α k β k L 2 [ v k ( L 1 ) ] < 1 k N , where  L = max { L h 1 , . . . , L h N , L r 1 , . . . , L r N , L s 1 , . . . , L s N } .
Let be  { t k }  the sequence defined by:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) w k , w k = ( 1 β k ) t k 1 + β k R i ( k ) n ( k ) z k , z k = ( 1 v k ) t k + v n S i ( k ) n ( k ) t k , k N .
Then,  { t k }  converges to an element in Γ if and only if
lim inf k d ( t k , Γ ) = 0 .
Proof. 
Put  u k = s k = 0  in Theorem (1). □
Corollary 2.
Let G denote an arbitrary Banach space and  E  a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mappings with sequences  { ν k i } [ 0 , + )  and  { λ k i } [ 0 , + ) , where  ν k i 0  and  λ k i 0  as  k + . Let  μ k = max { ν k i }  and  ξ k = max { λ k i } . Assume that  Γ  and there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let  { α k } { β k } { u k } { v k }  and  { s k }  be sequences in [0,1] such that  u k + v k + s k 1 , for all  k N . Suppose the following assumptions hold:
(J1) 
k = 1 α k = ;
(J2) 
k = 1 α k 2 < ;
(J3) 
k = 1 α k μ k < k = 1 α k ξ k < ;
(J4) 
k = 1 α k β k < k = 1 α k β k u k < k = 1 α k β k s k < ;
(J5) 
α k β k L 2 [ ( 1 u k + v k ( L 1 ) s k ) ] < 1 k N , where  L = max { L h 1 , . . . , L h N } .
Let be  { t k }  the sequence defined by:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) w k , w k = ( 1 β k ) t k 1 + β k H i ( k ) n ( k ) z k , z k = ( 1 u k v k s k ) t k + u k t k 1 + v n H i ( k ) n ( k ) t k + s k t k 1 , k N .
Then,  { t k }  converges to a unique element in Γ if and only if
lim inf k d ( t k , Γ ) = 0 .
Proof. 
If we set  S i = R i = H i  in Theorem 1, then the required result follows. □
Corollary 3.
Let G denote an arbitrary Banach space and  E  a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mappings with sequences  { ν k i } [ 0 , + )  and  { λ k i } [ 0 , + ) , where  ν k i 0  and  λ k i 0  as  k . Let  μ k = max { ν k i }  and  ξ k = max { λ k i } . Assume that Γ  = i = 1 N F ( H i )  and there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let  { α k } { β k }  and  { v k }  be sequences in [0,1], for all  k N . Suppose the following assumptions hold:
(J1) 
k = 1 α k = ;
(J2) 
k = 1 α k 2 < ;
(J3) 
k = 1 α k μ k < k = 1 α k ξ k < ;
(J4) 
k = 1 α k β k < ;
(J5) 
α k β k L 2 [ ( 1 v k ( L 1 ) ] < 1 k N , where  L = max { L t 1 , . . . , L t N } .
Let  { t k }  be the sequence defined by:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) w k , w k = ( 1 β k ) t k 1 + β k H i ( k ) n ( k ) z k , z k = ( 1 v k ) t k + v n H i ( k ) n ( k ) t k , k N .
Then,  { t k }  converges to a unique element in Γ if and only if
lim inf n d ( t k , Γ ) = 0 .
Proof. 
Put  u k = s k = 0  in Corollary 2; then, the desired result follows immediately. □
Corollary 4.
Let G denote an arbitrary Banach space and  E  denote a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mapping with the sequences  { ν k i } [ 0 , + )  and  { λ k i } [ 0 , + ) , where  ν k i 0  and  λ k i 0  as  k + . Let  μ k = max { ν k i }  and  ξ k = max { λ k i } . Assume that  Γ  and there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let the sequences  { α k }  and  { β k }  be in [0,1], for all  k N . Suppose the following assumptions hold:
(J1)
k = 1 α k = ;
(J2)
k = 1 α k 2 < ;
(J3)
k = 1 α k μ k < k = 1 α k ξ k < ;
(J4)
k = 1 α k β k < ;
(J5)
α k β k L 2 < 1 k N , where  L = max { L t 1 , . . . , L t N } .
Let  { t k }  be the sequence defined by:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) w k , w k = ( 1 β k ) t k 1 + β k H i ( k ) n ( k ) t k , k N .
Then,  { t k }  converges to an element in Γ if and only if
lim inf k d ( t k , Γ ) = 0 .
Proof. 
Set  v k = 0  in Corollary 3. □
Corollary 5.
Let G denote an arbitrary Banach space and  E  denote a nonempty closed convex subset of G. Let  H i : E E  be a finite family of uniformly  L h i –Lipschitzian TAP mappings with the sequences  { ν k i } [ 0 , + )  and  { λ k i } [ 0 , + ) , where  ν k i 0  and  λ k i 0  as  k + . Let  μ k = max { ν k i }  and  ξ k = max { λ k i } . Suppose Γ  = i = 1 N F ( H i ) . Assume that there exist  V , V * > 0  such that  ϕ ( e ) V * e 2  for all  e V . Let  { α k }  be a sequence in [0,1], for all  k N . Suppose that the following assumptions hold:
(J1)
k = 1 α k = ;
(J2)
k = 1 α k 2 < ;
(J3)
k = 1 α k μ k < k = 1 α k ξ k < .
Let be  { t k }  the sequence defined by:
t 0 E , t k = ( 1 α k ) t k 1 + α k H i ( k ) n ( k ) t k 1 , k N .
Then,  { t k }  converges to a unique element in Γ if and only if
lim inf k d ( t k , Γ ) = 0 .
Proof. 
If we set  β k = 0  in Corollary 4, then the required result follows immediately. □
Corollary 6.
Let G and  E  be as defined in Lemma (3). Let  H : E E  be a  L h –Lipschitzian pseudocontractive mapping. Suppose  Γ = F ( H ) . Let  { α k }  be a sequence in [0,1], for all  k N . Suppose the following assumptions hold:
(J1
k = 1 α k = ;
(J2
k = 1 α k 2 < .
Let  { t k }  be the sequence defined by:
t 0 E , t k = ( 1 α k ) t k 1 + α k H t k 1 . k N ,
Then,  { t k }  converges a unique element in Γ if and only if
lim inf k d ( t k , Γ ) = 0 .
Proof. 
For  k = 1 , set  N = 1  and  ξ k = μ k = 0  in Corollary 5. □
Corollaries 1–6 are some of the several results one can derive from Theorem 1.

4. Numerical Example

In this section, we give some numerical examples to support the claims in our main results.
Example 1.
Let  G = ( , + )  with the usual norm and  E = [ 0 , + ) . Let  ϕ : [ 0 , + ) [ 0 , + )  be a strictly increasing function with  ϕ ( 0 ) = 0 . For  N = 2 , let  { H i } i = 1 2 , { R i } i = 1 2 a n d { S i } i = 1 2 : E E  be defined by:
H 1 p = 5 t 2 ( 1 + t ) , t [ 0 , + ) , H 2 p = 4 t ( 1 + t ) , t [ 0 , + ) , R 1 p = 2 p 1 + 2 t , t [ 0 , + ) , R 2 p = 6 t 1 + α t , t [ 0 , + ) and α is closing to zero , v N ,
S 1 p = t 3 1 + t 2 , t [ 0 , + ) , S 2 p = 3 t 4 , t [ 0 , + ) .
Now, if we define two sequences  { ξ k } , { μ k } R +  by  ξ k = μ k = 1 k k N , then we know that  ξ k 0  and  μ k 0  as  k + . Clearly,  { H i } i = 1 2 , { R i } i = 1 2  and  { S i } i = 1 2  are asymptotically pseucontractive mappings with the constant sequence  { h k } = { 1 }  for all  k 1  and also uniformly Lipschitzian mappings on  [ 0 , + ) , and, hence, they are total asymptotically pseudocontractive mappings. Obviously,  Γ = ( i = 1 2 F ( M i ) ) ( i = 1 2 F ( H i ) ) ( i = 1 2 F ( G i ) ) = { 0 } .
Let the control parameters be defined as:
α k = β k = u k = v k = s k = 1 k + 1 , k N .
For arbitrary  t 0 E , the sequence  { t k } k = 1 + E , defined by (5), converges strongly to the common fixed point of  H i R i  and  S i ( i = 1 , 2 )  which is 0.
From the above example, it is easy to see that all of the assumptions in Theorem 1 are fulfilled. Hence, it implies that our results are applicable.
Example 2.
Let  G = 2  and  E = { t = ( t 1 , t 2 ) : ( t 1 , t 2 ) [ 0 , 1 ] × [ 0 , 1 ] }  be subset of G with the norm  t = ( t 1 , t 2 ) = | t 1 | + | t 2 | . For  N = 1 , let  H , R , S : E E  be defined by
H ( t 1 , t 2 ) = t 1 2 , t 2 2 , if ( t 1 , t 2 ) [ 0 , 1 2 ) × [ 0 , 1 2 ) ( 0 , 0 ) , if ( t 1 , t 2 ) [ 1 2 , 1 ] × [ 1 2 , 1 ] .
R ( t 1 , t 2 ) = t 1 3 , t 2 3 , if ( t 1 , t 2 ) [ 0 , 1 2 ) × [ 0 , 1 2 ) ( 0 , 0 ) , if ( t 1 , t 2 ) [ 1 2 , 1 ] × [ 1 2 , 1 ] .
S ( t 1 , t 2 ) = t 1 4 , t 2 4 , if ( t 1 , t 2 ) [ 0 , 1 2 ) × [ 0 , 1 2 ) ( 0 , 0 ) , if ( t 1 , t 2 ) [ 1 2 , 1 ] × [ 1 2 , 1 ] .
Let ϕ be a strictly increasing self-function defined on  [ 0 , )  such that  ϕ ( 0 ) = 0 . Now, if we define two sequences  { ξ k } , { μ k } +  by  ξ k = μ k = 1 k k N , then we know that  ξ k 0  and  μ k 0  as  k + . Clearly, the mappings  H , R  and S are asymptotically pseudocontractive mappings with  h k = 1 . This implies that  H , R  and S are total asymptotically pseudocontractive mappings. Observe that the common fixed point of  H , R  and S is (0,0), i.e., Γ =  F ( H ) F ( R ) F ( S ) = { ( 0 , 0 ) } .
For the initial values  ( 0.2 , 0.4 ) , ( 0.1 , 0.3 ) ( 0.5 , 0.7 )  and parameters  α k = β k = u k = v k = s k = 1 k + 1 k N , in five iterations, we show that our new iterative method (5) converges to  ( 0 , 0 )  as follows:
For  k = 1  and from (5), we have
z 1 = 1 2 t 1 + 1 2 t 0 + 1 8 t 1 + 1 2 t 0 = 3 8 t 1 + t 0 . w 1 = 1 2 t 0 + 1 6 3 8 t 1 + t 0 = 1 16 t 1 + 2 3 t 0 . t 1 = 1 2 t 0 + 1 4 1 16 t 1 + 2 3 t 0 t 1 = 128 195 t 0 .
For  k = 2  and from (5), we have
z 2 = 1 3 t 1 + 1 12 t 2 + 1 3 t 1 = 2 3 t 1 + 1 12 t 2 . w 2 = 2 3 t + 1 9 2 3 t 1 + 1 12 t 2 = 20 27 t 1 + 1 108 t 2 . t 2 = 2 3 t 1 + 1 6 20 27 t 1 + 1 108 t 2 t 2 = 41408 52488 t 1 .
For  k = 3  and from (5), we have
z 3 = 1 4 t 3 + 1 4 t 2 + 1 16 t 3 + 1 4 t 2 = 5 16 t 3 + 1 2 t 2 . w 3 = 3 4 t 2 + 1 12 5 16 t 3 + 1 2 t 2 = 19 24 t 2 + 5 192 t 3 . t 3 = 3 4 t 2 + 1 8 19 24 t 2 + 5 192 t 3 t 3 = 250368 293952 t 2
For  k = 4  and from (5), we have
z 4 = 2 5 t 4 + 1 5 t 3 + 1 20 t 4 + 1 5 t 3 = 9 20 t 4 + 2 5 t 3 . w 4 = 4 5 t 3 + 1 15 9 20 t 4 + 2 5 t 3 = 62 75 t 3 + 3 100 t 4 . t 4 = 4 5 t 3 + 1 10 62 75 t 3 + 3 100 t 4 t 4 = 33100 373875 t 3 .
Now, in Table 1, we illustrate the convergence of (5) for various initial values.
Figure 1 shows the convergence of new method for different initial values.

5. Application to Delay Caputo Fractional Differential Equations

In [32], Mandelbort noticed that there are several fractional dimension phenomena existing in technology and nature; namely, several physical systems have fractional-order dynamical behaviors because of their chemical properties and special materials. For this, fractional calculus, which is a generalization of the ordinary differentiation and integration to an arbitrary non-integer order, has been applied in various fields of science and engineering, specifically, control systems, electrical engineering, signal processing, viscoelastic mechanics, physics, biology and many others [33,34]. In [35], Richard observed that phenomena of delay exist in many physical processes.
In this section, we consider the following delay Caputo fractional differential equation:
c D t ( w ) = f ( w , t ( w ) , t ( w ρ ) , w [ e , V ] ,
with the initial conditions
t ( w ) = ϱ ( w ) , w [ e η , e ] ,
where  γ ( 0 , 1 ) ρ > 0 V > 0 η > 0 ϱ C ( [ e ρ , e ] : k ) t k  is a continuous mapping, and  f : [ e , V ] × k × k k  is a continuous mapping. We opine that the following assumptions are performed:
(Z1)
There exists a Lipschitz constant  L f > 0  such that
f ( w , t 1 , h 1 ) f ( w , t 2 , h 2 ) L f ( t 1 h 1 + t 2 h 2 )
for each  w +  and  g 1 , h 1 , g 2 , h 2 k ;
(Z2)
There exists a constant  δ L > 0  such that  2 L δ L < 1 .
If  q C ( [ e ρ , V ] : k ) C 1 ( [ e , V ] : k )  is a function that satisfies (51) and (52), then q is called the solution to problems (51) and (52). It is shown in [36] that the solution to the following integral equation is equivalent to the solution to problems (51) and (52):
t ( w ) = ϱ ( e ) + 1 Γ ( γ ) e w ( w η ) ( γ 1 ) f ( η , t ( η ) , t ( η ρ ) ) d η , w [ e , V ] ,
where  t ( w ) = ϱ ( w ) [ e η , e ] . Let the norm  · δ L  on  C ( [ e ρ , V ] : k )  be defined by
ϱ δ L = sup ϱ ( w ) E γ ( δ L w γ ) for all ϱ C ( [ e ρ , e ] : k ) ,
where  E γ :  is called the Mittag–Leffler function, which is defined as follows:
E γ ( w ) = k = 0 w k Γ ( γ k + 1 ) , for all w .
Obviously,  C ( [ e ρ , e ] : k , · δ L )  is a Banach space [4].
Under assumption ( Z 1 ), Wang et al. [34] gave the existence and uniqueness results of problems (51) and (52). In this article, we apply the iterative scheme (49) in Corollary 6 to approximate the solution to the delay Caputo fractional differential Equations (51) and (52).
Now, our main result is given here in the following theorem:
Theorem 2.
Let the functions t and ϱ be the same as defined above. Suppose assumptions ( Z 1 )–( Z 2 ) are fulfilled. Then, the sequence defined by (49) converges to a unique solution of problems (51) and (52), denoted as q, in  G = C ( [ e ρ , V ] : k ) C 1 ( [ e , V ] : k ) .
Proof. 
We define an operator  H : G G  as:
H t ( w ) = ϱ ( e ) + 1 Γ ( γ ) e w ( w η ) ( γ 1 ) f ( η , t ( η ) , t ( η ρ ) ) d η , w [ e , V ] , ϱ ( w ) , w [ e η , e ] .
Now, we show that  t k q  as  k . If  w [ e η , e ] , then it is not hard to see that  t k q  as  k . Next, if  w [ e , V ] , then using (49) and assumptions ( Z 1 )–( Z 2 ), we have
g k q = ( 1 α k ) t k 1 + α k H t k 1 q ( 1 α k ) t k 1 q + α k H t k 1 q .
Using the supremum over  [ e ρ , V ]  on both sides of (55), we obtain
sup w [ e ρ , V ] g k q ( 1 α k ) sup w [ e ρ , V ] t k 1 q + α k sup w [ e ρ , V ] H t k 1 H q ( 1 α k ) sup w [ e ρ , V ] t k 1 q + α k sup w [ e ρ , V ] 1 Γ ( γ ) e w ( w η ) ( γ 1 ) f ( η , t k 1 ( η ) , t k 1 ( η ρ ) ) d η 1 Γ ( γ ) e w ( w η ) ( γ 1 ) f ( η , q ( η ) , q ( η ρ ) ) d η ( 1 α k ) sup w [ e ρ , V ] t k 1 q + α k sup w [ e ρ , V ] 1 Γ ( γ ) e w ( w η ) ( γ 1 ) × L f ( t k 1 ( η ) q ( η ) + t k 1 ( η ρ ) q ( η ρ ) ) d η ( 1 α k ) sup w [ e ρ , V ] t k 1 q + α k 1 Γ ( γ ) e w ( w η ) ( γ 1 ) d η × L f ( sup w [ e ρ , V ] t k 1 ( η ) q ( η ) + sup w [ e ρ , V ] t k 1 ( η ρ ) q ( η ρ ) )
If we divide both sides of (56) by  E γ ( δ L w γ ) , then we have
sup w [ e ρ , V ] g k q E γ ( δ L w γ ) ( 1 α k ) sup w [ e ρ , V ] t k 1 q E γ ( δ L w γ ) + α k L f Γ ( γ ) e w ( w η ) ( γ 1 ) d η × sup w [ e ρ , V ] t k 1 ( η ) q ( η ) E γ ( δ L w γ )
+ sup w [ e ρ , V ] t k 1 ( η ρ ) q ( η ρ ) E γ ( δ L w γ ) .
According to (54), (58) becomes
t k q δ L ( 1 α k ) t k 1 q δ L + α k Γ ( γ ) e w ( w η ) ( γ 1 ) d η × L f ( t k 1 ( η ) q ( η ) δ L + t k 1 ( η ρ ) q ( η ρ ) δ L ) = ( 1 α k ) t k 1 q δ L + α k ( 2 L f ) t k 1 q δ L 1 Γ ( γ ) e w ( w η ) ( γ 1 ) d η = ( 1 α k ) t k 1 q δ L + α k ( 2 L f ) E γ ( δ L w γ ) t k 1 q δ L 1 Γ ( γ ) e w ( w η ) ( γ 1 ) E γ ( δ L w γ ) d η = ( 1 α k ) t k 1 q δ L + α k ( 2 L f ) E γ ( δ L w γ ) t k 1 q δ L . c I γ c D E γ ( δ L w γ ) δ L = ( 1 α k ) t k 1 q δ L + α k ( 2 L f ) E γ ( δ L w γ ) . E γ ( δ L w γ ) δ L t k 1 q δ L = ( 1 α k ) t k 1 q δ L + α k ( 2 L f ) δ L t k 1 q δ L .
Since  2 L f δ L < 1 , we have
t k q δ L t k 1 q δ L .
If we put  t k 1 q δ L = ψ k , then we obtain
ψ k + 1 ψ k , k N .
Hence,  { ψ k }  is a monotone decreasing sequence of real numbers. Furthermore, it is a bounded sequence, so we have
lim k ψ k = inf { ψ k } = 0 .
Therefore,
lim k t k q δ L = 0 .

6. Conclusions

In this article, we have introduced an implicit iterative method (5), which properly includes several other existing iterative methods. The class of TAP mappings considered in our main results properly contains the classes of pseudocontractive-type and nonexpansive mappings considered by so many authors in the literature. We provided a nontrivial example to authenticate the conditions in our main result, and, with this example, we study the common fixed point convergence behavior of our new iterative method (5). Finally, we apply our result to the solution of a delay Caputo fractional differential equation. Our results complement, generalize, improve and extend the corresponding results of Osilike and Akuchu [17], Qin et al. [28], Thakur [37], Saluja [19], Chen [13], Xu and Ori [12] and several others in the existing literature.

Author Contributions

Conceptualization, A.E.O.; Software, A.E.O.; Investigation, M.O.U.; Resources, O.J.; Writing–original draft, A.E.O.; Project administration, C.F.C.; Funding acquisition, R.G. These authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No data were used to support this study.

Acknowledgments

This study was supported via funding from Prince Sattam bin Abdulaziz University project number (No. PSAU/2023/R/1444).

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gu, X.; Huang, T.; Li, H.; Wang, S.; Li, L. Two Cscs-Based Iteration Methods For Solving Absolute Value Equations. J. Appl. Anal. Comput. 2017, 7, 1336–1356. [Google Scholar] [CrossRef]
  2. Hu, Q.; Wen, C.; Huang, T.; Shen, Z.; Gu, X. A variant of the Power–Arnoldi algorithm for computing PageRank. J. Comput. Appl. Math. 2021, 381, 113034. [Google Scholar] [CrossRef]
  3. Agarwal, P.; Jleli, M.; Samet, B. Fixed Point Theory in Metric Spaces Recent Advances and Applications; Springer: Singapore, 2018. [Google Scholar] [CrossRef]
  4. Abbas, M.; Asghar, M.; De la Sen, M. Approximation of the solution of delay fractional differential equation using AA-Iterative Scheme. Mathematics 2022, 10, 273. [Google Scholar] [CrossRef]
  5. Ofem, A.E. Strong convergence of a multi-step implicit iterative scheme with errors for common fixed points of uniformly L-Lipschitzian total asymptotically strict pseudocontractive mappings, Results in Nonlinear Analysis 2020. Results Nonlinear Anal. 2020, 3, 100–116. [Google Scholar]
  6. Stojiljkovic, V.; Ramaswamy, R.; Ola, A.; Abdelnaby, A.; Radenovic, S. Some Novel Inequalities for LR-(k,h-m)-p Convex Interval Valued Functions by Means of Pseudo Order Relation. Fractal Fract. 2022, 6, 726. [Google Scholar] [CrossRef]
  7. Ramaswamy, R.; Mani, G.; Gnanaprakasam, A.J.; Ola, A.A. Abdelnaby and Stojan Radenovic, Solving an Integral Equation via Tricomplex-Valued Controlled Metric Spaces. Axioms 2023, 12, 56. [Google Scholar] [CrossRef]
  8. Chima, E.E.; Osilike, M.O. Split Common Fixed Point Problem for a Class of Total Asymptotic Pseudocontractions. J. Appl. Math. 2016, 2016, 3435078. [Google Scholar] [CrossRef] [Green Version]
  9. Kanzow, C.; Shehu, Y. Generalized Krasnoselskii-Mann-type iterations for nonexpansive mappings in Hilbert spaces. Comput. Optim. Appl. 2017, 67, 595–620. [Google Scholar] [CrossRef]
  10. Zhou, M.; Saleem, N.; Liu, X.L.; Özgür, N. On two new contractions and discontinuity on fixed points. AIMS Math. 2022, 7, 1628–1663. [Google Scholar] [CrossRef]
  11. Xu, H.; Ori, R. An implicit iteration process for nonexpansive mappings. Numer. Funct. Anal. Optim. 2001, 22, 767–773. [Google Scholar] [CrossRef]
  12. Xu, H.K. Inequalities in Banach spaces with applications. Nonlinear Anal. 1991, 16, 1127–1138. [Google Scholar] [CrossRef]
  13. Chen, R.; Song, Y.; Zhou, H. Convergence theorems for implicit iteration process for a finite family of continuous pseudocontractive mappings. J. Math. Anal. Appl. 2006, 314, 701–706. [Google Scholar] [CrossRef] [Green Version]
  14. Ofem, A.E.; Igbokwe, D.I.; Udo-utun, X.A. Implicit iteration process for Lipschitzian α-hemicontraction semigroup. MathLAB J. 2020, 7, 43–52. [Google Scholar]
  15. Ofem, A.E.; Isik, H.; Ali, F.; Ahmad, J. A new iterative approximation scheme for Reich–Suzuki type nonexpansive operators with an application. J. Inequal. Appl. 2022, 28, 102–124. [Google Scholar] [CrossRef]
  16. Ofem, A.E.; Udofia, U.E.; Igbokwe, D.I. A robust iterative approach for solving nonlinear Volterra Delay integro-differential equations. Ural Math. J. 2021, 7, 59–85. [Google Scholar] [CrossRef]
  17. Osilike, M.O.; Akuchu, B. Common fixed points of finite family of asymptotically pseudocontractive maps. Fixed Point Theory Appl. 2004, 2004, 81–88. [Google Scholar] [CrossRef] [Green Version]
  18. Zhou, Y.; Chang, S.S. Convergence of implicit iteration process for a finite family of asymptotically nonexpansive mappings in Banach spaces. Numer. Funct. Anal. Optim. 2002, 23, 911–921. [Google Scholar] [CrossRef]
  19. Saluja, G.S. Convergence of the explicit iteration method for strictly asymptotically pseudocontractive mappings in the intermediate sense. Novi Sad J. Math. 2014, 44, 75–90. [Google Scholar]
  20. Ofem, A.E.; Igbokwe, D.I. Neww modified implicit iterative algorithm for finite families of two total asymptotically pseudocontractive mappings. Math. Convex Optim. 2021, 2, 31–44. [Google Scholar]
  21. Udo, M.O.; Ofem, A.E.; Oboyi, J.; Chikwe, C.F.; Ekoro, S.E.; Adie, F.A. Some common fixed point results for three total asymptotically pseudocontractive mappings. J. Anal. 2023, 2023, 1–8. [Google Scholar] [CrossRef]
  22. Baleanu, D.; Diethelm, K.; Diethelm, K.; Trujillo, J.J. Fractional Calculus Models and Numerical Methods, 2nd ed.; World Scientific: Singapore, 2016. [Google Scholar] [CrossRef]
  23. Frunzo, L.; Garra, R.; Giusti, A.; Luongo, V. Modeling biological systems with an improved fractional Gompertz law. Commun. Nonlinear Sci. Num. 2019, 74, 260–267. [Google Scholar] [CrossRef] [Green Version]
  24. Li, B.; Ma, S. Exponential convolution quadrature for nonlinear subdiffusion equations with nonsmooth initial data. SIAM J. Numer. Anal. 2022, 60, 503–528. [Google Scholar] [CrossRef]
  25. Mann, W. Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4, 506–510. [Google Scholar] [CrossRef]
  26. Ishikawa, S. Fixed points and iteration of a nonexpansive mapping in a Banach space. Proc. Am. Math. Soc. 1976, 59, 65–71. [Google Scholar] [CrossRef]
  27. Noor, M. New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 2000, 251, 217–229. [Google Scholar] [CrossRef] [Green Version]
  28. Qin, X.; Cho, S.; Kim, J. Convergence theorems on asymptotically pseudocontractive mappings in the intermediate sense. Fixed Point Theory Appl. 2010, 2010, 186874. [Google Scholar] [CrossRef] [Green Version]
  29. Qin, X.; Cho, S.Y.; Kang, S.M. Weak Convergence Theorem for Total Asymptotically Pseudocontractive Mappings in Hilbert Spaces. Fixed Point Theory Appl. 2011, 2011, 859795. [Google Scholar] [CrossRef] [Green Version]
  30. Chidume, C.E.; Shahzad, N. Strong convergence of an implicit iteration process for a finite family of nonexpansive mappings. Nonlinear Anal. 2005, 62, 1149–1156. [Google Scholar] [CrossRef]
  31. Wang, Y.; Wang, C. Convergence of a new modified Ishikawa type iteration for common fixed Points of total asymptotically strict pseudocontractive semigroups. Abstr. Appl. Anal. 2013, 2013, 319241. [Google Scholar] [CrossRef] [Green Version]
  32. Mandelbrot, B. The Fractal Geometry of Nature, 1st ed.; WH Freeman: New York, NY, USA, 1974. [Google Scholar]
  33. Ofem, A.E.; Hussain, A.; Joseph, O.; Udo, M.O.; Ishtiaq, U.; Al Sulami, H.; Chikwe, C.F. Solving Fractional Volterra–Fredholm Integro-Differential Equations via A** Iteration Method. Axioms 2022, 11, 470. [Google Scholar] [CrossRef]
  34. Wang, F.; Chen, D.Y.; Zhang, X.; Wu, Y. The existence and uniqueness theorem of the solution to a class of nonlinear fractional order system with time delay. Appl. Math. Lett. 2016, 53, 45–51. [Google Scholar] [CrossRef]
  35. Richard, J. Time-delay systems: An overview of some recent advances and open problems. Automatica 2003, 39, 1667–1694. [Google Scholar] [CrossRef]
  36. Kilbas, A.; Marzan, S. Cauchy problem for differential equation with Caputo derivative. Fract. Calc. Appl. Anal. 2004, 7, 297–321. [Google Scholar]
  37. Thakur, B.S.; Dewangan, R.; Postolache, M. General composite implicit iteration process for a finite family of asymptotically pseudo-contractive mappings. Fixed Point Theory Appl. 2014, 2014, 90. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Graph corresponding to Table 1.
Figure 1. Graph corresponding to Table 1.
Fractalfract 07 00212 g001
Table 1. Convergence of (5) for various initial values.
Table 1. Convergence of (5) for various initial values.
StepInitial Value 1Initial Value 2Initial Value 3
1(0.20000, 0.40000)(0.10000, 0.30000)(0.50000, 0.70000)
1(0.13128, 0.26256)(0.06564, 0.19692)(0.32821, 0.45949)
2(0.10357, 0.20713)(0.05178, 0.15535)(0.25893, 0.36249)
3(0.08821, 0.17642)(0.04410, 0.13232)(0.22054, 0.30874)
4(0.07809, 0.15619)(0.03904, 0.11715)(0.19525, 0.27333)
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ofem, A.E.; Udo, M.O.; Joseph, O.; George, R.; Chikwe, C.F. Convergence Analysis of a New Implicit Iterative Scheme and Its Application to Delay Caputo Fractional Differential Equations. Fractal Fract. 2023, 7, 212. https://doi.org/10.3390/fractalfract7030212

AMA Style

Ofem AE, Udo MO, Joseph O, George R, Chikwe CF. Convergence Analysis of a New Implicit Iterative Scheme and Its Application to Delay Caputo Fractional Differential Equations. Fractal and Fractional. 2023; 7(3):212. https://doi.org/10.3390/fractalfract7030212

Chicago/Turabian Style

Ofem, Austine Efut, Mfon Okon Udo, Oboyi Joseph, Reny George, and Chukwuka Fernando Chikwe. 2023. "Convergence Analysis of a New Implicit Iterative Scheme and Its Application to Delay Caputo Fractional Differential Equations" Fractal and Fractional 7, no. 3: 212. https://doi.org/10.3390/fractalfract7030212

Article Metrics

Back to TopTop