Next Article in Journal
Optimal Almost Sure Rate of Convergence for the Wavelets Estimator in the Partially Linear Additive Models
Previous Article in Journal
Estimation of Biresponse Semiparametric Regression Model for Longitudinal Data Using Local Polynomial Kernel Estimator
Previous Article in Special Issue
Common Fixed Point Theorems in Complex-Valued Controlled Metric Spaces with Application
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Convergence on Kirk Iteration of Cesàro Means for Asymptotically Nonexpansive Mappings

1
Faculty of Engineering and Natural Sciences, Mathematical Engineering, Gumushane University, Gumushane 29100, Turkey
2
Mathematical, Institute of Graduate Education, Gumushane University, Gumushane 29100, Turkey
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(3), 393; https://doi.org/10.3390/sym17030393
Submission received: 5 February 2025 / Revised: 24 February 2025 / Accepted: 26 February 2025 / Published: 5 March 2025
(This article belongs to the Special Issue Elementary Fixed Point Theory and Common Fixed Points II)

Abstract

:
This article addresses the convergence of iteration sequences in Cesàro means for asymptotically nonexpansive mappings. Specifically, this study explores the behavior of Kirk iteration in the Cesàro means in the context of uniformly convex and reflexive Banach spaces equipped with uniformly Gâteaux differentiable norms. The focus is to determine the conditions under which the Kirk iteration sequence converges strongly or weakly to a fixed point. Finally, some examples are given in this article to demonstrate the advantages of the preferred iteration method and to verify the results obtained.

1. Introduction

The theory of fixed points is one of the most enjoyable and energetic areas of research in the evolution of mathematical analysis. In this context, the most well-established and useful theorem is the Banach contraction principle [1]. This theorem is just a primer on the subject of fixed points for mathematicians. It has been developed considerably over more than a hundred years of studies and has found applications in many branches of science, especially mathematics. In parallel with the development of fixed-point theory, many mapping classes and iteration techniques have been developed [2,3,4,5,6,7,8,9].
Many fixed point and approximation theorems have been studied by many authors in reflexive Banach space by imposing different restrictions on the operators. Asymptotically nonexpansive mappings, which form the basis of our work, were introduced by Goebel and Kirk in 1972. In fact, asymptotically nonexpansive mappings are a generalization of class nonexpansive mappings. Also, Goebel and Kirk demonstrated the existence of a fixed point of asymptotically nonexpansive mappings in uniformly convex Banach spaces [10,11]. Halpern first introduced the following iteration scheme for a nonexpansive  S mapping for  ι = 0 , known as the Halpern iteration [12]:  ι , u 0 C , α n 0,1 ,
u n + 1 = α n ι + 1 α n S u n , n 0 .
In the last forty years, many important studies have been conducted on the strong convergence of approximate fixed points of  S under different additional conditions using the (1) iteration scheme. The findings of these studies can be briefly summarized as follows. Lions obtained strong convergence with  α n = 1 n a , where  a 0,1 in iteration (1) [13]. Wittmann obtained strong convergence under certain conditions in iteration (1) [14]. Reich obtained strong convergence using iteration (1) in a Hilbert space [15]. Shioji and Takahashi showed strong convergence in uniformly convex Banach spaces with a uniformly Gâteaux differentiable norm in iteration (1) [16,17]. In particular, since the early 2000s, research on nonexpansive mappings has gained momentum, leading to the definition of new classes of mappings. These classes of mappings have found extensive applications in fixed-point theory within metric and Banach spaces, as well as in approximation theory. Researchers can explore the literature in this field in greater depth by referring to sources [18,19,20,21,22,23,24,25,26] and the references therein.
On the other hand, researchers have conducted extensive work on ergodic theory using asymptotically nonexpansive mappings. For this purpose, various iteration techniques such as Mann, viscosity, and Halpern in Cesàro means iterations were used. Now, some work on the approximation of the fixed point for nonexpansive and asymptotically nonexpansive mapping will be presented. Baillon first proved the following nonlinear ergodic theorem in 1975 [27]: “Let  C be a nonempty closed convex subset of a Hilbert space  H , and the mapping  S : C C satisfy  F S . Then for each  u C ,
S n u = 1 n + 1 j = 0 n S j u
Cesàro summability converges weakly to a fixed point of the mapping  S . In 1979, Bruck conducted a study that established the nonlinear ergodic theorem for nonexpansive mappings in uniformly convex Banach spaces equipped with Fréchet differentiable norms [28]. Hirano and Takahashi extended Baillon’s theorem for nonexpansive mappings in their work [29]. Song and Chen [30] defined the following viscosity iteration in Cesàro means for the nonexpansive  S mapping:
                                                                  u n + 1 = α n f u n + 1 α n 1 n + 1 j = 0 n S j u n .
Song studied strong convergence using Mann iteration within Cesàro means for nonexpansive mappings [31]. Then, Zhang and Song introduced the theorem on the strong convergence of Halpern iteration Cesàro means for asymptotically nonexpansive mappings [32]. That is, they proved the strong convergence of  u n by the following iteration (4) for a nonexpansive  S mapping in uniformly convex Banach spaces:
                                                                                                        u n + 1 = α n ι + 1 α n 1 n + 1 j = 0 n S j u n .
Moreover, the same authors proved that the weak continuous dual mappings of the sequence  u n defined in a uniformly convex Banach space converge strongly to some fixed points  F S . Zhu and Chen [33] defined the following iterations (5 and 6) for viscosity iteration in Cesàro means for nonexpansive mappings:
u n + 1 = α n ι + β n u n + γ n 1 n + 1 j = 0 n S j u n , n 0 ,
u n + 1 = α n f x n + β n u n + γ n 1 n + 1 j = 0 n S j u n ,   n 0 .
They considered  C as a nonempty closed convex subset of a uniformly Banach space and  S : C C as a nonexpansive mapping such that  F S , and assumed that the sequences  α n , β n and  γ n in (0, 1) satisfy the following conditions for all  n 0 :
  • α n + β n + γ n = 1 ,
  • lim n α n = 0 and  n = 0 α n = ,
  • lim n γ n = 0 .
Then, they proved that the sequence  u n defined by (5) strongly converges to a fixed point of  S . Moreover, the same authors proved that for an arbitrary point  u 0 C , the sequence  u n defined by (6) strongly converges to a fixed point of  S .
In the first section of this article, studies in the literature are examined. In the second section, the basic concepts underlying this study are included. The third section, inspired by the results presented above, investigates under what conditions the sequence defined by Kirk iteration in the Cesàro means converges strongly and weakly for an asymptotically nonexpansive self-mapping  S . The last section includes numerical sections. Now, before moving on to the preliminary information, let us introduce some concepts that we will use in our study.

2. Preliminaries

Let  E be a Banach space. Throughout this paper, when  u n is a sequence in  E , then  u n u will denote the strong convergence of  u n to  u , and  u n u will denote the weak convergence of  u n to  u .
C is a nonempty set. If the distance function  d satisfies  d p , q = d q , p for all  p , q C , then  d is symmetric.  C endowed with metric  d forms a symmetric space. A set equipped with a symmetric distance function is called a symmetric space. It is well known that Banach space has symmetry and metric spaces inherently possess this symmetry. However, pseudo-metric spaces do not always exhibit this symmetric property.
Definition 1 ([34]).
E is called uniformly convex, if there exists  δ ε > 0   such that  x + y 2 < 1 δ ε   ,  where  u = v = 1 ,  u v ε ,   ε 0,2 .   f : 0 , + 0 , +  is a strictly increasing convex and continuous function with  f 0 = 0 . If  f  satisfies
λ u + 1 λ v 2 λ u 2 + 1 λ v 2 λ 1 λ f u v   ,
then the Banach space is uniformly convex.
Definition 2 ([2]).
Let the unit sphere of a normed space  L  be defined as  B = u L :   u = 1 . If the limit for  u B
lim t 0 u + t v u t  
exists, then the norm of the space  L  is said to be as Gâteaux differentiable at the point  u B . If the norm is Gâteaux differentiable at all points of  B , then the norm of  L  is said to be Gâteaux differentiable.
Summability methods aim to assign limits to divergent series and enhance their rate of convergence. The Cesàro summation method is one of the most fundamental and widely used techniques for summing divergent series, alongside methods such as Riesz, Nörlund, and Hölder [35,36]. Cesàro introduced the first formal approach to summing divergent series using such methods.
Definition 3 ([36]).
Let  F  be a field of real or complex numbers and let  A = a n k  be an infinite matrix, with  a n k F  for  n , k = 0,1 , 2,3 ,    and  s n  be a sequence. In this case, a mapping from  s n  to  A n  is that
A n = k = 0 a n k s k   .
The sequence  A n    is called a mapping sequence of the sequence  s n  and  A  or a mapping from sequence to sequence. For this mapping to exist, the infinite sum in (8) must be convergent for every  n .
Definition 4 ([36]).
Let  a n  be the sequence of partial sums  s n . Then, let the  A n  mapping sequence, which is created with the help of the  A = a n k    matrix of the  s n  sequence, be defined as in (8). If  lim n t n = s , the  a n    series or the  s n  series be a summable to the value of  s .
Definition 5 ([35]).
Let  a n  be the sequence of partial sums  s n . Matrix elements of  a n    series or  s n  series
a n v = 1 n + 1     ,       v n           0         ,       v > n    
A n  mapping sequence obtained with the help of the matrix  A = a n v  given by
A n = 1 n + 1 v = 0 n s v   .
It is Cesàro summable and said to be  C , 1  for short if  lim n A n = s .
Definition 6 ([9]).
Let  E  be a non-empty set and  S   : E E  be a mapping. If there is  u E  that satisfies the equation
S u = u ,  
then  u  is called a fixed point of mapping  S . The set of all fixed points of mapping  S  is denoted by  F S ,  F S , or  F i x ( S ) F S  notation will be used throughout this study.
Definition 7 ([9]).
Let  E , d  be a metric space and  S : E E  be a mapping. If at least one real number  λ 0,1  can be found that satisfies the condition such that
d S u , S v λ d u , v ,
then  S  is called a contraction mapping for all  u , v E . The real number  λ  is called the contraction ratio.
Definition 8 ([9]).
Let  E , d  be a metric space and  S : E E  be a Lipschitz mapping. If for all  u , v E ,
d S u , S v d u , v
the condition is met;  S  is called a nonexpasive mapping.
Definition 9 ([10]).
Let  E  be a normed space and  C  be a nonempty closed convex subset of  E . Let  S : C C  be a mapping. If for each  n 1 ,  there exists a sequence  t n  of nonnegative real numbers satisfying  lim n t n = 1  such that
S n u S n v t n u v   , u , v C ,
then  S  mapping is said to be asymptotically nonexpansive. Here, when  t n 1 ,  S  is called nonexpansive mapping.
The iteration method was first defined by the Italian mathematician Picard [3]. Since then, many iteration methods have been introduced by researchers. There are two important issues when defining the iteration method. The first is that the newly defined iteration method should be faster than the iteration methods in the literature, and the second is that this defined iteration method should be simple. Let  E , d be a metric space and  S : E E a mapping. In its most general form, a fixed-point iteration method, with  f being a function, is defined by the iteration
u 0 E ,                                                                                   u n + 1 = f S , u n ,       n = 0,1 , 2 , .
Definition 10 ([3]).
For  n N , if  f S , u n = S u n  in the iteration (11) such that
u n + 1 = f S , u n = S u n = S n u 0 ,
then this iteration method is called the Picard iteration method.
Definition 11 ([6]).
In iteration (11), if for  k 1  and  0 i k ,    we have  α i 0 ,   α 1 > 0 ,   i = 0 k α i = 1 ,   and if the iteration function  f S , u n  is given by
u n + 1 = f S , u n = i = 0 k α i S i u n ,
this iteration is called Kirk iteration, and this method is called the Kirk iteration method.
Now, let us state the following two lemmas, which are very important for our study [31].
Lemma 1.
Let  a n ,  b n , and  c n  be sequences of nonnegative real numbers satisfying the inequality for  n N
a n + 1 1 + b n a n + c n .
If  n = 0 b n < +  and  n = 0 c n < + , then  lim n a n  exists. In particular,  lim n a n = 0  whenever there exists a subsequence  a n k  in  a n  which strongly converges to zero.
Lemma 2.
Let  C  be a nonempty closed convex subset of a uniformly convex Banach space  E . Assume  S : C C  is an asymptotically nonexpansive mapping with  t n [ 1 , + ) . Suppose that for the bounded sequence  u n  in  C , there exists a subsequence  u n k  satisfying one of two conditions for each  z C :
  • lim k u n k 1 n k + 1 j = 0 n k S j u n k = 0 and  h z = limsup k u n k z 2 ,
  • lim k u n k + 1 1 n k + 1 j = 0 n k S j u n k = 0 and  h z = limsup k u n k + 1 z 2 .
Under these conditions, there exists a unique  u C  such that
h u = inf z C h z   a n d   u = S u .
Additionally, a Banach space  E is said to satisfy Opial’s condition if, for any sequence  u n in  E such that  u n u , n , the following inequality holds:
limsup n u n u < limsup n u n v , v E with   u v
Corollary 1.
Let  C  be a nonempty closed convex subset of uniformly convex Banach space  E . Assume  S : C C  is an asymptotically nonexpansive mapping with  t n [ 1 , + ) . Furthermore, let there exist a bounded sequence  u n  in  C ; there exists a subsequence  u n k  that fulfills one of the following two conditions:
  • lim k u n k 1 n k + 1 j = 0 n k S j u n k = 0 ;
  • lim k u n k + 1 1 n k + 1 j = 0 n k S j u n k = 0 .
If either  u n u  or  u n k u  and  E  satisfies Opial’s condition, then  u = S u .

3. Results

Ergodic theory, which emerged through the work of Neumann and Birkhoff in 1931, can be expressed as a part of dynamical systems theory, or in other words, as the mathematical formulation of designed physical thought. Later, it was frequently used in many fields such as functional analysis, probability theory, measure theory, and number theory, and research in this area continues today. To express the relationship of ergodic theory with functional analysis and summability theory in the most general way, let  S E be a linear operator on Banach space, and let  S n n N   ( S 0 = I and  S n = S S n 1 ) be an iteration sequence that  1 n j = 0 n 1 S j . It examines the convergence of the mapping sequence given in the form and the consequences of this situation.
In our study, we define the Kirk iteration in the Cesaro means for the asymptotically nonexpansive mapping  S condition as
                                                                                                u n + 1 = i = 0 k α i 1 n + 1 j = 0 n S j u n ,
where  k 1 and  0 i k ,   α i 0 ,   α 1 > 0 ,   i = 0 k α i = 1 .
Lemma 3.
Let  E  be a uniformly convex Banach space given by the uniformly Gâteaux differentiable norm. Assume that  C  is a nonempty closed convex subset of  E  and let  S : C C  be an asymptotically nonexpansive mapping with  t n [ 1 , + ) . Let  u n  be defined by Equation (12). Also, suppose that  δ n = 1 n + 1   j = 0 n t j 1  is defined as satisfying the condition  n = 0 δ n < + . Then, sequences  u n  and  S n u n  are bounded.
Proof. 
Let  p F S  and we estimate as follows from the iteration process (12):
u n + 1 p = = 1 n + 1 i = 0 k α i j = 0 n S j u n p = 1 n + 1 i = 0 k α i j = 0 n S j u n S j p = 1 n + 1 j = 0 n S j u n S j p 1 n + 1 j = 0 n t j u n p = 1 n + 1 u n p j = 0 n t j = 1 n + 1 u n p j = 0 n t j 1 + u n p                                 = 1 + 1 n + 1 j = 0 n t j 1 u n p .
Therefore,
u n + 1 p 1 + δ n u n p .
Applying Lemma 1 to yield the existence of the limit  lim n u n p , the boundedness of the  u n sequence is thus proven.
On the other hand, let  S n = 1 n + 1 j = 0 n S j . We show the bounded of  S n u n . Therefore,
S n u n = 1 n + 1 j = 0 n S j u n                                             S n u n p = 1 n + 1 j = 0 n S j u n p                                                                                     = 1 n + 1 j = 0 n S j u n S j p
and if the necessary operations are made by taking the norm of both sides in this last equation, then
S n u n p 1 n + 1 j = 0 n S j u n S j p 1 n + 1 j = 0 n t j u n p u n p 1 n + 1 j = 0 n t j 1 + 1 n + 1 u n p n + 1 1 + δ n u n p .
Thus, we determine that  S n u n is bounded. □
Theorem 1.
Let  E  be a uniformly convex Banach space given by the uniformly Gâteaux differentiable norm. Suppose that  C  is a nonempty closed convex subset of  E  and  S : C C  is an asymptotically nonexpansive mapping with  t n [ 1 , + ) . Let  u n  be defined by Equation (12). Also, suppose that  δ n = 1 n + 1   j = 0 n t j 1  is defined as satisfying the condition  n = 0 δ n < + . In this case, the sequence  u n  given by Equation (12) is strongly convergent to some fixed points  u  of  n ,   S .
Proof. 
According to Lemma 3, we know that the sequences  u n and  S n u n are bounded. First, let us show that  lim n u n + 1 S n u n = 0 under the hypotheses of Theorem 1:
u n + 1 S n u n = i = 0 k α i 1 n + 1 j = 0 n S j u n 1 n + 1 j = 0 n S j u n = 1 n + 1 j = 0 n S j u n i = 0 k α i 1
In this case,
lim n u n + 1 S n u n = 0 .
Due to the compactness of  C , the sequence  u n has a strongly convergent subsequence  u n k , which converges to a limit denoted by  u :
lim k u n k + 1 S n k u n k = 0 .
From Corollary 1, it follows that  u F S . Moreover, since the limit  lim n u n u exists as established by inequality (13),  u is indeed the strong limit of the sequence  u n . □
Theorem 2.
Let  C  be a nonempty closed convex subset of uniformly convex Banach space  E  with Opial’s condition. Suppose that  S : C C  is an asymptotically nonexpansive mapping with  t n [ 1 , + ) . Assume that  u n  is defined by
u n + 1 = i = 0 k α i 1 n + 1 j = 0 n S j u n   ,   n 0 ,
where  k 1  and  0 i k ,   α i 0   ,   α 1 > 0   ,   i = 0 k α i = 1 . Suppose that  δ n = 1 n + 1   j = 0 n t j 1  and  n = 0 c n < +   . Then, as  n ,  u n  weakly converges to some fixed point  u  of  S .
Proof. 
It follows from the reflexivity of  E  that there exists a subsequence  u n k of  u n such that  u n k u C . By Theorem 1,
lim k u n k + 1 S n k u n k = 0 .
By applying Corollary 1, it follows that  u = S u . We now demonstrate that  u n converges weakly to  u . If this were not the case, there would exist a subsequence  u n j of  u n that weakly converges to some  u u , u C . We also have  u F S . Because  lim n u n u exists for each  u F S by inequality (13) and  E satisfies Opial’s condition,
lim n u n u = lim k u n k u < lim k u n k u = lim j u n j u < lim j u n j u = lim n u n u .
This leads to a contradiction, so we conclude that  u = u . Therefore,  u n converges weakly to  u F S . The proof is complete. □

4. Numerical Examples

Let us start with a numerical example that shows that the Kirk iteration we prefer in our study is faster and more useful than the Mann iteration and Halpern iteration techniques used previously in ergodic theory.
Example 1:
Let us take a mapping  S u = u + 2 3 that is asymptotically nonexpansive on a Banach space  R . Let us see the convergence speed of this transformation to the fixed point  F S = 1 with the three-iteration method on the graph as shown in Figure 1.
The Kirk iteration outperforms Mann and Halpern iterations by incorporating a weighted summation of multiple iterates, ensuring faster and more stable convergence. While the Mann iteration progresses with smaller steps and converges slowly, the Halpern iteration initially converges rapidly but slows down over time. In contrast, the Kirk iteration is both fast in the beginning and maintains efficiency in the long run, making it particularly advantageous for optimization problems and numerical approximations. By ensuring that the weights in the summation sum to 1  i = 1 α i , the Kirk iteration stabilizes the sequence and enhances performance in nonexpansive and asymptotically nonexpansive settings. However, in some cases, standard Kirk iteration may experience oscillatory behavior or slow convergence when applied to sequences that do not naturally stabilize.
To address these limitations, Cesàro summability is introduced, improving stability and accelerating convergence by acting as an averaging process that reduces oscillations. This aligns the Kirk iteration with ergodic theory, where summability techniques have been effective in stabilizing iteration sequences. The Cesàro mean Kirk iteration enhances standard Kirk iteration by ensuring strong convergence in Banach spaces, eliminating oscillatory effects, and improving efficiency in practical applications. Therefore, when dealing with asymptotically nonexpansive mappings or numerical fixed-point problems, Cesàro mean Kirk iteration should be preferred for superior performance and reliability.
Now, consider the linear mapping S u = u + 2 3 in Example 1 as shown in Figure 2.
Let us take a mapping  S u = u + 1 that is asymptotically nonexpansive on a Banach space  R . Let us compare the Kirk iteration for the nonlinear  S mapping and the Cesàro mean Kirk iteration as shown in Figure 3.
As can be seen from both examples, the Kirk iteration shows a direct approach to the fixed point, with oscillations gradually decreasing. Cesàro mean Kirk iteration smooths out fluctuations, leading to a more stable convergence. Both methods ultimately reach the same limit, but the Cesàro mean provides a more stable and averaged trajectory.
Now, let us give numerical examples for the lemmas and theorems presented in the results section.
Example 2:
Let us consider the Banach space  E = R and the closed convex subset  C = [ 0,1 ] . We define an asymptotically nonexpansive mapping  S : C C as follows:
S u = u 2 + 1 4 .
This mapping satisfies the asymptotic nonexpansiveness condition because for any  u , v C ,
S u S v = u 2 + 1 4 v 2 + 1 4 = u v 2 .
Since the contraction factor  1 2 is less than  1 S ( u ) is an asymptotically nonexpansive mapping. We define the parameters  t n and  δ n as follows:
t n = 1 + 1 n + 1 ,
δ n = 1 n + 1 j = 0 n t j 1 = 1 n + 1 j = 0 n 1 j + 1 .
From the properties of the harmonic series, we know that
n = 0 δ n < +
which ensures the boundedness of the sequence.
We initialize the sequence with  u 0 = 1 and generate the next terms using
u n + 1 = S u n = u n 2 + 1 4 .
Computing the first few terms:
u 1 = S u 0 = 1 2 + 1 4 = 3 4 ,
u 2 = S u 1 = 3 8 + 1 4 = 5 8 ,
u 3 = S u 2 = 5 16 + 1 4 = 9 16 ,
Observing the sequence, we notice that
1 2 u n 1 , n N
which means the sequence is bounded. Since  u n is bounded and remains within  1 2 , 1 , iterating the function  S multiple times will also produce values within the same interval. Therefore,  S n u n will remain bounded, and the conditions of Lemma 3 will be satisfied.
We can give the following examples for Theorem 1 and Theorem 2, which we put forward in the results.
Example 3:
Let  E = R with the standard absolute value norm and  C = 0,1 E , which is a nonempty closed convex subset. Let us consider the mapping  S given in Example 2. Also, let  t n = 1 + 1 n + 1 . We know the sequence  u n is bounded in  [ 0,1 ] , and the mapping  S is asymptotically nonexpansive. Then,  δ n is given by
δ n = 1 1 + n j = 0 t j 1 = 1 1 + n j = 0 1 j + 1 .
From the harmonic series property, we know that
n = 0 δ n < +
which satisfies Theorem 1’s requirement. Now, let us create the iterative sequence for  u 0 = 1 , and compute iterates using
u n = S u n = u n 2 + 1 4 .
Compute the first few iterations:
u 1 = S u 0 = 1 2 + 1 4 = 3 4 ,
u 2 = S u 1 = 3 8 + 1 4 = 5 8 ,
u 3 = S u 2 = 5 16 + 1 4 = 9 16 ,
u 4 = S u 3 = 9 32 + 1 4 = 17 32 .
We notice from observing the sequence that  u n 1 2 as  n , which suggests strong convergence to the fixed point  u = 1 2 . On the other hand,  u = 1 2 from  u = S u . Thus, Since the sequence  u n converges to  u = 1 2 , this satisfies Theorem 1. Let us examine this situation on the graph as shown in Figure 4.
Example 4:
Let  E = L 2 0,1 with the standard absolute value norm and  C be a convex subset of  E , such as  C = f L 2 0,1 | 0 f x 1 C is a nonempty closed convex subset of a uniformly convex Banach space  L 2 0,1 with Opial’s condition. Consider the mapping
S u n x = 1 2 u n x + 1 n + 1 s i n n x .
This mapping satisfies asymptotic nonexpansiveness because
S u n S u m L 2 0.5 u n u m L 2
if  t n = 1 + 1 n + 1 is taken
S u n S u m L 2 0.5 u n u m L 2 t n u n u m L 2 ,
the inequality holds. Also,
δ n = 1 1 + n j = 0 t j 1 = 1 1 + n j = 0 1 j + 1
From the harmonic series, we know  n = 0 δ n < + .
On the other hand,  k = 2 considering two weighted terms for  u n + 1 = i = 0 k α i 1 n + 1 j = 0 n S j u n . Let  α 0 = 0.4 α 1 = 0.6 , and  u 0 x = x , then compute
u 1 = 0.4 S x 1 + 0.6 S 2 x 1 ,
S x = 1 2 x + 1 2 s i n x ,
S 2 x = S 1 2 x + 1 2 s i n x .
Therefore, following this process, we see that the sequence remains oscillatory but bounded. All conditions of Theorem 2 are verified, here, we need to solve  S u = u to find the fixed point  u .
u = 1 2 u + 1 2 s i n n x ,
approaching  u 0.5 u , which only holds if  u 0 . The oscillatory term  s i n n x n + 1 causes weak convergence rather than strong convergence. As  n , the Cesàro mean smooths out oscillations, making  u n x weakly converge to zero. This means that the sequence  u n x weakly converges to a fixed point of  S in  L 2 0,1 . Now, let us examine this situation on the graph as shown in Figure 5.

5. Discussion

While the Mann and Halpern iterations are useful tools in fixed point approximation, the Kirk iteration offers notable advantages, particularly in terms of convergence speed, stability, and its alignment with Cesàro means. The ability to incorporate multiple iterates in a weighted manner makes the Kirk iteration a valuable alternative for iterative schemes involving asymptotically nonexpansive mappings. The Kirk iteration extends classical Mann [31] and Halpern iteration [32] schemes, offering a broader framework that enhances convergence analysis. Moreover, the established strong convergence results offer new tools to solve recently emerging nonlinear optimization, variational inequality, and equilibrium problems [34,37,38,39,40].

6. Conclusions

Let  C be a subset of a Banach space  E . A mapping  S : C C is said to be asymptotically nonexpansive if there exists a sequence  t n of real numbers with  t n 1 as  n such that  S n u S n v t n u v all  u , v C . In a reflexive and uniformly convex Banach space that has a uniformly Gâteaux differentiable norm, we consider the problem of the convergence by using the Cesàro means Kirk iteration for  S asymptotically nonexpansive mappings. In the literature, the Mann, Halpern, and viscosity iterations in the Cesàro means available have results with strong and weak convergence to some fixed points of nonexpansive mapping in reflexive and uniformly convex Banach space. In this article, these results are developed using the Kirk iteration in the Cesàro means. Finally, we demonstrate the faster convergence speed of our algorithm and the obtained results by giving four numerical examples. When we look at these examples in detail, Figure 1 shows that the Kirk iteration method is faster than other iteration methods; Figure 2 and Figure 3 show the comparison of the Kirk iteration method and the Kirk iteration method in the Cesaro mean; Figure 4 and Figure 5 (for Theorem 1 and Theorem 2) show the strong and weak convergence results, respectively. Studies on strong and weak convergence to the fixed point can be carried out for different types of iterations and mappings.

Author Contributions

Conceptualization, L.C.; Software, D.Ş. and L.C.; Validation, L.C.; Formal analysis, L.C. and D.Ş.; Investigation, D.Ş. and L.C.; Resources, D.Ş.; Data curation, D.Ş.; Writing—original draft, L.C. Writing—review and editing, L.C. and D.Ş.; Visualization, D.Ş. and L.C.; Supervision, L.C.; Project administration, L.C.; Funding acquisition, L.C. and D.Ş. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

We would like to thank all the authors who contributed to this article and the referees who contributed to the article with their comments and suggestions. We would also like to thank the authors of all the studies in the references that inspired us when determining our work.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

  1. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Takahashi, W. Nonlinear Functional Analysis Fixed Point Theory and Its Applications; Yokohama Publishers: Yokohama, Japan, 2000. [Google Scholar]
  3. Picard, E. Memoire sur la théoire dés équations aux dérivées partielles et la méthode des approximations successives. J. Mathématiques Pures Appliquées 1890, 6, 145–210. [Google Scholar]
  4. Mann, W.R. Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4, 506–510. [Google Scholar] [CrossRef]
  5. Krasnoselskii, M.A. Two remarks on the method of successive approximations. Uspekhi Mat. Nauk 1955, 10, 123–127. [Google Scholar]
  6. Kirk, W.A. On successive approximations for nonexpansive mappings in Banach spaces. Glas. Math. J. 1971, 12, 6–9. [Google Scholar] [CrossRef]
  7. Rhoades, B.; Soltuz, S.M. The equivalence between Mann–Ishikawa iterations and multistep iteration. Nonlinear Anal. Theory Methods Appl. 2004, 58, 219–228. [Google Scholar] [CrossRef]
  8. Berinde, V. Summable almost stability of fixed point iteration procedures. Carpathian J. Math. 2003, 19, 81–88. [Google Scholar]
  9. Berinde, V. Iterative Approximation of Fixed Points; Springer: Berlin/Heidelberg, Germany, 2007. [Google Scholar] [CrossRef]
  10. Goebel, K.; Kirk, W.A. A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35, 171–174. [Google Scholar] [CrossRef]
  11. Kirk, W.; Yañez, C.M.; Shin, S.S. Asymptotically nonexpansive mappings. Nonlinear Anal. Theory Methods Appl. 1998, 33, 1–12. [Google Scholar] [CrossRef]
  12. Halpern, B. Fixed points of nonexpanding maps. Bull. Am. Math. Soc. 1967, 73, 957–961. [Google Scholar] [CrossRef]
  13. Lions, P.L. Approximation de points fixes de contraction. Comptes Rendus Acad. Sci. Paris 1977, 284, 1357–1359. [Google Scholar]
  14. Wittmann, R. Approximation of fixed points of nonexpansive mappings. Arch. Math. 1992, 58, 486–491. [Google Scholar] [CrossRef]
  15. Reich, S. Approximating fixed points of nonexpansive mappings. Panam. Math. J. 1994, 4, 23–28. [Google Scholar]
  16. Shioji, N.; Takahashi, W. A strong convergence theorem for asymptotically nonexpansive mappings in Banach spaces. Arch. Math. 1999, 72, 354–359. [Google Scholar] [CrossRef]
  17. Shiojia, N.; Takahashib, W. Strong Convergence of Averaged Approximants for Asymptotically Nonexpansive Mappings in Banach Spaces. J. Approx. Theory 1999, 97, 53–64. [Google Scholar] [CrossRef]
  18. Osilike, M.; Aniagbosor, S. Weak and strong convergence theorems for fixed points of asymptotically nonexpensive mappings. Math. Comput. Model. 2000, 32, 1181–1191. [Google Scholar] [CrossRef]
  19. Xu, H.-K. Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 2004, 298, 279–291. [Google Scholar] [CrossRef]
  20. Song, Y.; Chen, R. Strong convergence theorems on an iterative method for a family of finite nonexpansive mappings. Appl. Math. Comput. 2006, 180, 275–287. [Google Scholar] [CrossRef]
  21. Song, Y.; Chen, R. Viscosity approximation methods for nonexpansive nonself-mappings. J. Math. Anal. Appl. 2005, 321, 316–326. [Google Scholar] [CrossRef]
  22. Song, Y.; Xu, S. Strong convergence theorems for nonexpansive semigroup in Banach spaces. J. Math. Anal. Appl. 2008, 338, 152–161. [Google Scholar] [CrossRef]
  23. Song, Y.; Chen, R. Strong convergence of an iterative method for non-expansive mappings. Math. Nachrichten 2008, 281, 1196–1204. [Google Scholar] [CrossRef]
  24. Hassan, S.; De la Sen, M.; Agarwal, P.; Ali, Q.; Hussain, A. A New Faster Iterative Scheme for Numerical Fixed Points Estimation of Suzuki’s Generalized Nonexpansive Mappings. Math. Probl. Eng. 2020, 2020, 3863819. [Google Scholar] [CrossRef]
  25. Shukla, R.; Panicker, R. Approximating Fixed Points of Nonexpansive Type Mappings via General Picard–Mann Algorithm. Computation 2022, 10, 151. [Google Scholar] [CrossRef]
  26. Rawat, S.; Dimri, R.C.; Bartwal, A. A new iterative scheme for approximation of fixed points of Suzuki’s generalized non-expansive mappings. Palest. J. Math. 2023, 12, 512–525. [Google Scholar] [CrossRef]
  27. Baillon, J.B. Un theoreme de type ergodique pour les contractions non lineairs dans un espaces de Hilbert. Comptes Rendus Acad. Sci. Paris 1975, 280, 1511–1541. [Google Scholar]
  28. Bruck, R.E. A simple proof of the mean ergodic theorem for nonlinear contractions in Banach spaces. Isr. J. Math. 1979, 32, 107–116. [Google Scholar] [CrossRef]
  29. Hirano, N.; Takahashi, W. Nonlinear ergodic theorems for nonexpansive mappings in Hilbert spaces. Kodai Math. J. 1979, 2, 11–25. [Google Scholar] [CrossRef]
  30. Song, Y.; Chen, R. Viscosity approximative methods to Cesàro means for non-expansive mappings. Appl. Math. Comput. 2007, 186, 1120–1128. [Google Scholar] [CrossRef]
  31. Song, Y. Mann iteration of Cesàro means for asymptotically non-expansive mappings. Nonlinear Anal. Theory Methods Appl. 2009, 72, 176–182. [Google Scholar] [CrossRef]
  32. Zhang, Q.; Song, Y. Halpern iteration of Cesàro means for asymptotically nonexpansive mappings. ScienceAsia 2011, 37, 145–151. [Google Scholar] [CrossRef]
  33. Zhu, Z.; Chen, R. Strong Convergence on Iterative Methods of Cesàro Means for Nonexpansive Mapping in Banach Space. Abstr. Appl. Anal. 2014, 2014, 205875. [Google Scholar] [CrossRef]
  34. Zhang, H.; Qu, Y.; Su, Y. Strong Convergence Theorems for Fixed Point Problems for Nonexpansive Mappings and Zero Point Problems for Accretive Operators Using Viscosity Implicit Midpoint Rules in Banach Spaces. Mathematics 2018, 6, 257. [Google Scholar] [CrossRef]
  35. Cesàro, E. Sur la multiplication des series. Bull. Sci. Math. 1890, 14, 114–120. [Google Scholar]
  36. Boos, J.; Cass, P. Classical and Modern Methods in Summability; Oxford University Press: New York, NY, USA, 2000. [Google Scholar] [CrossRef]
  37. Wang, G.; Yang, X. Characterizing Levitin–Polyak well-posedness of split equilibrium problems. Positivity 2025, 29, 16. [Google Scholar] [CrossRef]
  38. Yin, T.-C.; Hussain, N.; Alamri, H.; Asiri, A.; Saeed, M.M. A nonlinear split problem regarding variational inequalities and equilibrium problems. J. Inequalities Appl. 2024, 2024, 126. [Google Scholar] [CrossRef]
  39. Filali, D.; Ali, F.; Akram, M.; Dilshad, M. A Novel Fixed-Point Iteration Approach for Solving Troesch’s Problem. Symmetry 2024, 16, 856. [Google Scholar] [CrossRef]
  40. Zhang, H. The Application of Generalized Viscosity Implicit Midpoint Rule for Nonexpansive Mappings. Symmetry 2024, 16, 1528. [Google Scholar] [CrossRef]
Figure 1. Comparison of iteration for asymptotically nonexpansive mapping.
Figure 1. Comparison of iteration for asymptotically nonexpansive mapping.
Symmetry 17 00393 g001
Figure 2. Comparison of Kirk iteration and Cesàro mean Kirk iteration for  S u = u + 2 3 .
Figure 2. Comparison of Kirk iteration and Cesàro mean Kirk iteration for  S u = u + 2 3 .
Symmetry 17 00393 g002
Figure 3. Comparison of Kirk iteration and Cesàro mean Kirk iteration for  S u = u + 1 .
Figure 3. Comparison of Kirk iteration and Cesàro mean Kirk iteration for  S u = u + 1 .
Symmetry 17 00393 g003
Figure 4. Strong convergence of the mapping  S u = u 2 + 1 4 to the fixed point  u = 1 2 .
Figure 4. Strong convergence of the mapping  S u = u 2 + 1 4 to the fixed point  u = 1 2 .
Symmetry 17 00393 g004
Figure 5. Weak convergence of the mapping  S u n x = 1 2 u n x + 1 n + 1 s i n n x to the fixed point  u = 1 2 .
Figure 5. Weak convergence of the mapping  S u n x = 1 2 u n x + 1 n + 1 s i n n x to the fixed point  u = 1 2 .
Symmetry 17 00393 g005
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

Cona, L.; Şimşek, D. Convergence on Kirk Iteration of Cesàro Means for Asymptotically Nonexpansive Mappings. Symmetry 2025, 17, 393. https://doi.org/10.3390/sym17030393

AMA Style

Cona L, Şimşek D. Convergence on Kirk Iteration of Cesàro Means for Asymptotically Nonexpansive Mappings. Symmetry. 2025; 17(3):393. https://doi.org/10.3390/sym17030393

Chicago/Turabian Style

Cona, Lale, and Deniz Şimşek. 2025. "Convergence on Kirk Iteration of Cesàro Means for Asymptotically Nonexpansive Mappings" Symmetry 17, no. 3: 393. https://doi.org/10.3390/sym17030393

APA Style

Cona, L., & Şimşek, D. (2025). Convergence on Kirk Iteration of Cesàro Means for Asymptotically Nonexpansive Mappings. Symmetry, 17(3), 393. https://doi.org/10.3390/sym17030393

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop