- Research Article
- Open access
- Published:
Convergence Theorems for Common Fixed Points of Nonself Asymptotically Quasi-Non-Expansive Mappings
Fixed Point Theory and Applications volume 2008, Article number: 428241 (2008)
Abstract
We introduce a new three-step iterative scheme with errors. Several convergence theorems of this scheme are established for common fixed points of nonself asymptotically quasi-non-expansive mappings in real uniformly convex Banach spaces. Our theorems improve and generalize recent known results in the literature.
1. Introduction
Let be a nonempty closed convex subset of real normed linear space
. Recall that a mapping
is called asymptotically nonexpansive if there exists a sequence
, with
such that
for all
and
. Moreover, it is uniformly
-Lipschitzian if there exists a constant
such that
for all
and each
. Denote and define by
the set of fixed points of
. Suppose
. A mapping
is called asymptotically quasi-non-expansive if there exists a sequence
, with
such that
for all
,
, and
.
It is clear from the above definitions that an asymptotically nonexpansive mapping must be uniformly -Lipschitzian as well as asymptotically quasi-non-expansive, but the converse does not hold. Iterative technique for asymptotically nonexpansive self-mapping in Hilbert spaces and Banach spaces including Mann-type and Ishikawa-type iteration processes has been studied extensively by many authors; see, for example, [1–6].
Recently, Chidume etal. [7] have introduced the concept of nonself asymptotically nonexpansive mappings, which is the generalization of asymptotically nonexpansive mappings. Similarly, the concept of nonself asymptotically quasi-non-expansive mappings can also be defined as the generalization of asymptotically quasi-non-expansive mappings and nonself asymptotically nonexpansive mappings. These mappings are defined as follows.
Definition 1.1.
Let be a nonempty closed convex subset of real normed linear space
, let
be the nonexpansive retraction of
onto
, and let
be a nonself mapping.
-
(i)
is said to be a nonself asymptotically nonexpansive mapping if there exists a sequence
, with
such that
(1.1)
for all and
.
-
(ii)
is said to be a nonself uniformly
-Lipschitzian mapping if there exists a constant
such that
(1.2)
for all and
.
-
(iii)
is said to be a nonself asymptotically quasi-non-expansive mapping if
and there exists a sequence
, with
such that
(1.3)
for all ,
, and
.
By studying the following iteration process (Mann-type iteration):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ4_HTML.gif)
where , Chidume etal. [7] obtained many convergence theorems for the fixed points of nonself asymptotically nonexpansive mapping
. Later on, Wang [8] generalized the iteration process (1.4) as follows (Ishikawa-type iteration):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ5_HTML.gif)
where are nonself asymptotically nonexpansive mappings and
. Also, he got several convergence theorems of the iterative scheme (1.5) under proper conditions.
In 2000, Noor [9] first introduced a three-step iterative sequence and studied the approximate solutions of variational inclusion in Hilbert spaces by using the techniques of updating the solution and the auxiliary principle. Glowinski and Tallec [10] showed that the three-step iterative schemes perform better than the Mann-type and Ishikawa-type iterative schemes. On the other hand, Xu and Noor [11] introduced and studied a three-step scheme to approximate fixed points of asymptotically nonexpansive mappings in Banach spaces. Cho etal. [12] and Plubtieng etal. [13] extended the work of Xu and Noor to the three-step iterative scheme with errors, and gave weak and strong convergence theorems for asymptotically nonexpansive mappings in Banach spaces.
Inspired and motivated by these facts, a new class of three-step iterative schemes with errors, for three nonself asymptotically quasi-non-expansive mappings, is introduced and studied in this paper. This scheme can be viewed as an extension for (1.4), (1.5), and others. This scheme is defined as follows.
Let be a nonempty convex subset of real normed linear space
, let
be the nonexpansive retraction of
onto
, and let
be three nonself asymptotically quasi-non-expansive mappings. Compute the sequences
,
, and
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ6_HTML.gif)
where ,
,
,
,
,
,
,
, and
are real sequences in
with
, and
,
, and
are bounded sequences in
.
Remark 1.2.
-
(i)
If
,
, and
, then scheme (1.6) reduces to the Mann-type iteration (1.4).
-
(ii)
If
,
, and
, then scheme (1.6) reduces to the Ishikawa-type iteration (1.5).
-
(iii)
If
, and
are three self-asymptotically nonexpansive mappings, then scheme (1.6) reduces to the three-step iteration with errors defined by [12, 13], and others.
The purpose of this paper is to study the iterative sequences (1.6) to converge to a common fixed point of three nonself asymptotically quasi-non-expansive mappings in real uniformly convex Banach spaces. Our results extend and improve the corresponding results in [5, 7, 8, 11–13], and many others.
2. Preliminaries and Lemmas
In this section, we first recall some well-known definitions.
A real Banach space is said to be uniformly convex if the modulus of convexity of
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ7_HTML.gif)
for all (i.e.,
is a function
).
A subset of
is said to be a retract if there exists continuous mapping
such that
, for all
, and every closed convex subset of a uniformly convex Banach space is a retract. A mapping
is said to be a retraction if
.
A mapping with
is said to satisfy condition (A) (see [14]) if there exists a nondecreasing function
with
, for all
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ8_HTML.gif)
for all , where
.
We modify this condition for three mappings as follows. Three mappings
, where
is a subset of
, are said to satisfy condition (B) if there exist a real number
and a nondecreasing function
with
, for all
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ9_HTML.gif)
for all , where
. Note that condition (B) reduces to condition (A) when
and
.
A mapping is said to be semicompact if, for any sequence
in
such that
, there exists subsequence
of
such that
converges strongly to
.
Next we state the following useful lemmas.
Lemma 2.1 (see [5]).
Let ,
, and
be sequences of nonnegative real numbers satisfying the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ10_HTML.gif)
If and
, then
exists.
Lemma 2.2 (see [15]).
Let be a real uniformly convex Banach space and
, for all positive integer
. Suppose that
and
are two sequences of
such that
,
, and
hold, for some
; then
.
3. Main Results
In this section, we will prove the strong convergence of the iteration scheme (1.6) to a common fixed point of nonself asymptotically quasi-non-expansive mappings , and
. We first prove the following lemmas.
Lemma 3.1.
Let be a nonempty closed convex subset of a real normed linear space
. Let
be nonself asymptotically quasi-non-expansive mappings with sequences
such that
, for all
. Suppose that
is defined by (1.6) with
,
, and
. If
, then
exists, for all
.
Proof..
Let . Since
, and
are bounded sequences in
, therefore there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ11_HTML.gif)
Let and
Then
and
. By (1.6), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ12_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ13_HTML.gif)
and similarly, we also have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ14_HTML.gif)
Substituting (3.4) into (3.3), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ15_HTML.gif)
where . Since
and
, then
. Substituting (3.5) into (3.2), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ16_HTML.gif)
where and
. Since
,
, and
, then
and
. It follows from Lemma 2.1 that
exists. This completes the proof.
Lemma 3.2.
Let be a nonempty closed convex subset of a real uniformly convex Banach space
. Let
be uniformly
-Lipschitzian nonself asymptotically quasi-non-expansive mappings with sequences
such that
, for all
. Suppose that
is defined by (1.6) with
,
, and
, where
, and
are three sequences in
, for some
. If
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ17_HTML.gif)
Proof..
For any , by Lemma 3.1, we see that
exists. Assume
, for some
. For all
, let
and
Then, and
. From (3.5), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ18_HTML.gif)
Taking on both sides in (3.8), since
and
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ19_HTML.gif)
so that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ20_HTML.gif)
Next consider
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ21_HTML.gif)
Since , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ22_HTML.gif)
In addition,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ23_HTML.gif)
This implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ24_HTML.gif)
Further, observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ25_HTML.gif)
By Lemma 2.2, (3.12), (3.14), and (3.15), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ26_HTML.gif)
Next we will prove that . Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ27_HTML.gif)
and , we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ28_HTML.gif)
Thus, it follows from (3.10) and (3.18) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ29_HTML.gif)
On the other hand, from (3.4), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ30_HTML.gif)
By boundedness of the sequence and by
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ31_HTML.gif)
so that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ32_HTML.gif)
Next consider
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ33_HTML.gif)
Thus, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ34_HTML.gif)
This implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ35_HTML.gif)
Note that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ36_HTML.gif)
It follows from Lemma 2.2, (3.24), and (3.25) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ37_HTML.gif)
Similarly, by using the same argument as in the proof above, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ38_HTML.gif)
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ39_HTML.gif)
and this implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ40_HTML.gif)
Since is uniformly
-Lipschitzian mapping, then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ41_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ42_HTML.gif)
It follows from (3.30), (3.31), and (3.32) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ43_HTML.gif)
Next consider
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ44_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ45_HTML.gif)
It follows from (3.30), (3.34), and (3.35) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ46_HTML.gif)
Finally, we consider
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ47_HTML.gif)
It follows from (3.29), (3.30), and (3.37) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ48_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ49_HTML.gif)
This completes the proof.
Now, we give our main theorems of this paper.
Theorem 3.3.
Let be a nonempty closed convex subset of a real uniformly convex Banach space
. Let
be uniformly
-Lipschitzian and nonself asymptotically quasi-non-expansive mappings with sequences
such that
, for all
satisfying condition (B). Suppose that
is defined by (1.6) with
,
, and
, where
, and
are three sequences in
, for some
. If
, then
converges strongly to a common fixed point of
, and
.
Proof..
It follows from Lemma 3.2 that . Since
, and
satisfy condition (B), we have
.
From Lemma 3.1 and the proof of Qihou [5], we can obtain that is a Cauchy sequence in
. Assume that
. Since
, by the continuity of
, and
, we have
, that is,
is a common fixed point of
, and
. This completes the proof.
Corollary 3.4.
Let be a nonempty closed convex subset of a real uniformly convex Banach space
. Let
be nonself asymptotically nonexpansive mappings with sequences
such that
, for all
satisfying condition (B). Suppose that
is defined by (1.6) with
,
, and
, where
, and
are three sequences in
for some
. If
, then
converges strongly to a common fixed point of
, and
.
Proof..
Since every nonself asymptotically nonexpansive mapping is uniformly -Lipschitzian and nonself asymptotically quasi-non-expansive, the result can be deduced immediately from Theorem 3.3. This completes the proof.
Theorem 3.5.
Let be a nonempty closed convex subset of a real uniformly convex Banach space
. Let
be uniformly
-Lipschitzian and nonself asymptotically quasi-non-expansive mappings with sequences
such that
for all
. Suppose that
is defined by (1.6) with
,
, and
, where
, and
are three sequences in
for some
. If
and one of
, and
is demicompact, then
converges strongly to a common fixed point of
, and
.
Proof..
Without loss of generality, we may assume that is demicompact. Since
, there exists a subsequence
such that
. Hence, from (3.39), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ50_HTML.gif)
This implies that . By the arbitrariness of
, from Lemma 3.1, and taking
, similarly we can prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F428241/MediaObjects/13663_2008_Article_1084_Equ51_HTML.gif)
where is some nonnegative number. From
, we know that
, that is,
. This completes the proof.
Corollary 3.6.
Let be a nonempty closed convex subset of a real uniformly convex Banach space
. Let
be nonself asymptotically nonexpansive mappings with sequences
such that
for all
. Suppose that
is defined by (1.6) with
,
, and
, where
, and
are three sequences in
for some
. If
and one of
, and
is demicompact, then
converges strongly to a common fixed point of
, and
.
References
Mann WR: Mean value methods in iteration. Proceedings of the American Mathematical Society 1953, 4(3):506-510. 10.1090/S0002-9939-1953-0054846-3
Ishikawa S: Fixed points and iteration of a nonexpansive mapping in a Banach space. Proceedings of the American Mathematical Society 1967, 59(1):65-71.
Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. Journal of Mathematical Analysis and Applications 1993, 178(2):301-308. 10.1006/jmaa.1993.1309
Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bulletin of the Australian Mathematical Society 1991, 43(1):153-159. 10.1017/S0004972700028884
Liu QH: Iterative sequences for asymptotically quasi-nonexpansive mappings with error member. Journal of Mathematical Analysis and Applications 2001, 259(1):18-24. 10.1006/jmaa.2000.7353
Shahzad N, Udomene A: Approximating common fixed points of two asymptotically quasi-nonexpansive mappings in Banach spaces. Fixed Point Theory and Applications 2006, 2006:-10.
Chidume CE, Ofoedu EU, Zegeye H: Strong and weak convergence theorems for asymptotically nonexpansive mappings. Journal of Mathematical Analysis and Applications 2003, 280(2):364-374. 10.1016/S0022-247X(03)00061-1
Wang L: Strong and weak convergence theorems for common fixed point of nonself asymptotically nonexpansive mappings. Journal of Mathematical Analysis and Applications 2006, 323(1):550-557. 10.1016/j.jmaa.2005.10.062
Noor MA: New approximation schemes for general variational inequalities. Journal of Mathematical Analysis and Applications 2000, 251(1):217-229. 10.1006/jmaa.2000.7042
Glowinski R, Le Tallec P: Augmented Lagrangian and Operator Splitting Methods in Nonlinear Mechanics, SIAM Studies in Applied Mathematics. Volume 9. SIAM, Philadelphia, Pa, USA; 1989:x+295.
Xu B, Noor MA: Fixed-point iterations for asymptotically nonexpansive mappings in Banach spaces. Journal of Mathematical Analysis and Applications 2002, 267(2):444-453. 10.1006/jmaa.2001.7649
Cho YJ, Zhou H, Guo G: Weak and strong convergence theorems for three-step iterations with errors for asymptotically nonexpansive mappings. Computers & Mathematics with Applications 2004, 47(4-5):707-717. 10.1016/S0898-1221(04)90058-2
Plubtieng S, Wangkeeree R, Punpaeng R: On the convergence of modified Noor iterations with errors for asymptotically nonexpansive mappings. Journal of Mathematical Analysis and Applications 2006, 322(2):1018-1029. 10.1016/j.jmaa.2005.09.078
Senter HF, Dotson WG Jr.: Approximating fixed points of nonexpansive mappings. Proceedings of the American Mathematical Society 1974, 44(2):375-380. 10.1090/S0002-9939-1974-0346608-8
Schu J: Iterative construction of fixed points of strictly pseudocontractive mappings. Applicable Analysis 1991, 40(2-3):67-72. 10.1080/00036819108839994
Acknowledgments
The authors would like to thank the referee and the editor for their careful reading of the manuscript and their many valuable comments and suggestions. This paper was supported by the National Natural Science Foundation of China (Grant no. 10671145).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wang, C., Zhu, J. Convergence Theorems for Common Fixed Points of Nonself Asymptotically Quasi-Non-Expansive Mappings. Fixed Point Theory Appl 2008, 428241 (2008). https://doi.org/10.1155/2008/428241
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/428241