- Research Article
- Open access
- Published:
Relaxed Composite Implicit Iteration Process for Common Fixed Points of a Finite Family of Strictly Pseudocontractive Mappings
Fixed Point Theory and Applications volume 2009, Article number: 402602 (2009)
Abstract
We propose a relaxed composite implicit iteration process for finding approximate common fixed points of a finite family of strictly pseudocontractive mappings in Banach spaces. Several convergence results for this process are established.
1. Introduction and Preliminaries
Let be a real Banach space, and let
be its dual space. Denote by
the normalized duality mapping from
into
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ1_HTML.gif)
where is the generalized duality pairing between
and
. If
is smooth, then
is single valued and continuous from the norm topology of
to the weak* topology of
.
A mapping with domain
and range
in
is called
-strictly pseudocontractive in the terminology of Browder and Petryshyn [1], if there exists a constant
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ2_HTML.gif)
for all and all
. Without loss of generality, we may assume
. If
denotes the identity operator, then (1.2) can be written in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ3_HTML.gif)
for all and all
. In (1.2) and (1.3), the positive number
is said to be a strictly pseudocontractive constant.
The class of strictly pseudocontractive mappings has been studied by several authors (see, e.g., [1–10]). It is shown in [4] that a strictly pseudocontractive map is -Lipschitzian (i.e.,
for some
). Indeed, it follows immediately from (1.3) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ4_HTML.gif)
and hence where
. It is clear that in Hilbert spaces the important class of nonexpansive mappings (mappings
for which
) is a subclass of the class of strictly pseudocontractive maps.
Let be a nonempty convex subset of
, and let
be a finite family of nonexpansive self-maps of
. In [11], Xu and Ori introduced the following implicit iteration process; for any initial
and
, the sequence
is generated as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ5_HTML.gif)
The scheme is expressed in a compact form as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ6_HTML.gif)
where . Moreover, they proved the following convergence theorem in a Hilbert space.
Theorem 1.1 ([11]).
Let be a Hilbert space, and let
be a nonempty closed convex subset of
. Let
be
nonexpansive self-maps of
such that
where
. Let
, and let
be a sequence in
, such that
. Then the sequence
defined implicitly by (1.6) converges weakly to a common fixed point of the mappings
.
Subsequently, Osilike [12] extended their results from nonexpansive mappings to strictly pseudocontractive mappings and derived the following convergence theorems in Hilbert and Banach spaces.
Theorem 1.2 ([12]).
Let be a real Hilbert space, and let
be a nonempty closed convex subset of
. Let
be
strictly pseudocontractive self-maps of
such that
, where
. Let
, and let
be a sequence in
such that
. Then the sequence
defined by (1.6) converges weakly to a common fixed point of the mappings
.
Theorem 1.3 ([12]).
Let be a real Banach space, and let
be a nonempty closed convex subset of
. Let
be
strictly pseudocontractive self-maps of
such that
, where
, and let
be a real sequence satisfying the conditions:
(i)
(ii);
(iii).
Let , and let
be defined by (1.6). Then
(i) exists for all
;
(ii).
Let be a nonempty closed convex subset of a real Banach space
. Very recently, Su and Li [13] introduced a new implicit iteration process for
strictly pseudocontractive self-maps
of
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ7_HTML.gif)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ8_HTML.gif)
where and
. First, they established the following convergence theorem.
Theorem 1.4 ([13, Theorem ]).
Let be a real Banach space, and let
be a nonempty closed convex subset of
. Let
be
strictly pseudocontractive self-maps of
such that
, where
, and let
be two real sequences satisfying the conditions:
(i);
(ii);
(iii);
(iv), where
is common Lipschitz constant of
.
For , let
be defined by (1.8). Then
(i) exists for all
;
(ii).
Second, they derived the following result by using Theorem 1.4.
Theorem 1.5 ([13, Theorem ]).
Let be a nonempty closed convex subset of a real Banach space
, let
be a semicompact strictly pseudocontractive self-map of
such that
, where
, and let
be a real sequence satisfying the conditions:
(i);
(ii).
Then for , the sequence
defined by Mann iterative process,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ9_HTML.gif)
converges strongly to a fixed point of .
On the other hand, Zeng and Yao [14] introduced a new implicit iteration scheme with perturbed mapping for approximation of common fixed points of a finite family of nonexpansive self-maps of a real Hilbert space and established some convergence theorems for this implicit iteration scheme. To be more specific, let
be a finite family of nonexpansive self-maps of
, and let
be a mapping such that for some constants
is a
-Lipschitz and
-strongly monotone mapping. Let
and
and take a fixed number
. The authors proposed the following implicit iteration process with perturbed mapping
.
For an arbitrary initial point , the sequence
is generated as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ10_HTML.gif)
The scheme is expressed in a compact form as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ11_HTML.gif)
It is clear that if , then the implicit iteration scheme (1.11) with perturbed mapping reduces to the implicit iteration process (1.6).
Theorem 1.6 ([14, Theorem ]).
Let be a real Hilbert space, and let
be a mapping such that for some constants
;
is
-Lipschitz and
-strongly monotone. Let
be
nonexpansive self-maps of
such that
. Let
, let
,
, and let
satisfying the conditions:
and
, for some
. Then the sequence
defined by (1.11) converges weakly to a common fixed point of the mappings
.
The above Theorem 1.6 extends Theorem 1.1 from the implicit iteration process (1.6) to the implicit iteration scheme (1.11) with perturbed mapping.
Let be a real Banach space, and let
be a nonempty convex subset of
. Recall that a mapping
is said to be
-strongly accretive if there exists a constant
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ12_HTML.gif)
for all and all
.
Proposition 1.7.
Let be a real Banach space, and let
be a mapping:
(i)if is
-strictly pseudocontractive, then
is a Lipschitz mapping with constant
.
(ii)if is both
-strictly pseudocontractive and
-strongly accretive with
, then
is nonexpansive.
Proof.
It is easy to see that statement (i) immediately follows from the definition of strict pseudocontraction. Now utilizing the definitions of strict pseudocontraction and strong accretivity, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ13_HTML.gif)
Since ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ14_HTML.gif)
and hence is nonexpansive.
Let be a real Banach space, and let
be a nonempty convex subset of
such that
. Let
be
strictly pseudocontractive self-maps of
, and let
be a perturbed mapping which is both
-strongly accretive and
-strictly pseudocontractive with
. In this paper we introduce a general implicit iteration process as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ15_HTML.gif)
where , and
. In particular, whenever
, it is easy to see that (1.15) reduces to (1.8).
Let denote common Lipschitz constant of
strictly pseudocontractive self-maps
of
. Since
is a nonempty convex subset of
such that
, for each
, the operator
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ16_HTML.gif)
maps into itself.
Utilizing Proposition 1.7, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ17_HTML.gif)
for all . Thus,
is strongly pseudocontractive, if
for each
. Since
is also Lipschitz mapping, it follows from [12, 15, 16] that
has a unique fixed point
, that is, for each
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ18_HTML.gif)
Therefore, if , then the composite implicit iteration process (1.15) with perturbed mapping can be employed for the approximation of common fixed points of
strictly pseudocontractive self-maps of
.
The purpose of this paper is to investigate the problem of approximating common fixed points of strictly pseudocontractive mappings of Browder-Petryshyn in an arbitrary real Banach space by this general implicit iteration process (1.15). To this end, we need the following lemma and definition.
Lemma 1.8 ([8]).
Let , and
be sequences of nonnegative real numbers satisfying the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ19_HTML.gif)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ20_HTML.gif)
then exists.
The following definition can be found, for example, in [13].
Definition 1.9.
Let be a closed subset of a real Banach space
, and let
be a mapping.
is said to be semicompact if, for any bounded sequence
in
such that
, there must exist a subsequence
such that
.
2. Main Results
We are now in a position to prove our main results in this paper.
Theorem 2.1.
Let be a real Banach space, and let
be a nonempty closed convex subset of
such that
. Let
be a perturbed mapping which is both
-strongly accretive and
-strictly pseudocontractive with
. Let
be
strictly pseudocontractive self-maps of
such that
, where
, and let
, and
be three real sequences in
satisfying the conditions:
(i);
(ii);
(iii);
(iv);
(v), where
is the common Lipschitz constant of
.
For , let
be defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ21_HTML.gif)
where , then
(i) exists for all
;
(ii).
Proof.
First, since each strictly pseudocontractive mapping is a Lipschitz mapping, there exists a constant such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ22_HTML.gif)
It is now well known (see, e.g., [15]) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ23_HTML.gif)
for all and all
. Take
arbitrarily. Then it follows from (2.1) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ24_HTML.gif)
Utilizing (2.3), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ25_HTML.gif)
Since each , is strictly pseudocontractive, there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ26_HTML.gif)
Thus, utilizing Proposition 1.7(ii) we know from (2.5) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ27_HTML.gif)
From (2.1), we also have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ28_HTML.gif)
Since is a Lipschitz mapping with constant
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ29_HTML.gif)
Substituting (2.8) and (2.9) into (2.7), we deduce that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ30_HTML.gif)
and hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ31_HTML.gif)
Setting
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ32_HTML.gif)
we conclude from (2.11) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ33_HTML.gif)
Thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ34_HTML.gif)
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ35_HTML.gif)
and , we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ36_HTML.gif)
Setting , it follows from condition (ii) that
and so there must exist a natural number
such that for all
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ37_HTML.gif)
Therefore, it follows from (2.14) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ38_HTML.gif)
In order to consider the second term on the right-hand side of (2.18), we will prove that is bounded. Indeed, utilizing (2.8) and (2.9) and simplifying these inequalities, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ39_HTML.gif)
and hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ40_HTML.gif)
This implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ41_HTML.gif)
Now, we consider the second term on the right-hand side of (2.21). Since , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ42_HTML.gif)
Since , there exists a natural number
such that for all
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ43_HTML.gif)
Again, it follows from condition that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ44_HTML.gif)
Therefore, it follows from (2.21) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ45_HTML.gif)
According to conditions (ii)–(iv), we can readily see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ46_HTML.gif)
Thus, in terms of Lemma 1.8 we deduce that exists, and hence
is bounded.
Now, we consider the second term on the right-hand side of (2.18). Since is bounded, and
, there exists a constant
and a natural number
such that for all
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ47_HTML.gif)
Thus, it follows from (2.18) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ48_HTML.gif)
Since is bounded, there exists a constant
such that
. It follows from (2.28) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ49_HTML.gif)
and hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ50_HTML.gif)
Utilizing conditions (ii)–(iv), we know from (2.30) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ51_HTML.gif)
Since , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ52_HTML.gif)
This completes the proof of Theorem 2.1.
The iterative scheme (1.15) becomes the explicit version as follows, whenever :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ53_HTML.gif)
In the case when , (2.33) is the Mann iteration process as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ54_HTML.gif)
The conclusion of Theorem 2.1 remains valid for the iteration processes (2.33) and (2.34). Furthermore, we have the following result.
Theorem 2.2.
Let be a real Banach space, and let
be a nonempty closed convex subset of
such that
. Let
be a perturbed mapping which is both
-strongly accretive and
-strictly pseudocontractive with
. Let
be a semicompact strictly pseudocontractive self-map of
such that
, where
, and let
and
be two real sequences in
satisfying the conditions:
(i);
(ii);
(iii).
Then Mann iteration process (2.34) converges strongly to a fixed point of .
Proof.
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ55_HTML.gif)
there exists a subsequence of
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ56_HTML.gif)
By the semicompactness of , there must exist a subsequence
of
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ57_HTML.gif)
It follows from (2.36) that , and hence
. Since
exists, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F402602/MediaObjects/13663_2008_Article_1139_Equ58_HTML.gif)
This completes the proof of Theorem 2.2.
References
Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. Journal of Mathematical Analysis and Applications 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6
Hicks TL, Kubicek JD: On the Mann iteration process in a Hilbert space. Journal of Mathematical Analysis and Applications 1977,59(3):498–504. 10.1016/0022-247X(77)90076-2
Măruşter Ş: The solution by iteration of nonlinear equations in Hilbert spaces. Proceedings of the American Mathematical Society 1977,63(1):69–73.
Osilike MO, Udomene A: Demiclosedness principle and convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type. Journal of Mathematical Analysis and Applications 2001,256(2):431–445. 10.1006/jmaa.2000.7257
Osilike MO: Strong and weak convergence of the Ishikawa iteration method for a class of nonlinear equations. Bulletin of the Korean Mathematical Society 2000,37(1):153–169.
Rhoades BE: Comments on two fixed point iteration methods. Journal of Mathematical Analysis and Applications 1976,56(3):741–750. 10.1016/0022-247X(76)90038-X
Rhoades BE: Fixed point iterations using infinite matrices. Transactions of the American Mathematical Society 1974, 196: 161–176.
Osilike MO, Aniagbosor SC, Akuchu BG: Fixed points of asymptotically demicontractive mappings in arbitrary Banach spaces. PanAmerican Mathematical Journal 2002,12(2):77–88.
Zeng L-C, Lee GM, Wong NC: Ishikawa iteration with errors for approximating fixed points of strictly pseudocontractive mappings of Browder-Petryshyn type. Taiwanese Journal of Mathematics 2006,10(1):87–99.
Zeng L-C, Wong N-C, Yao J-C: Strong convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type. Taiwanese Journal of Mathematics 2006,10(4):837–849.
Xu H-K, Ori RG: An implicit iteration process for nonexpansive mappings. Numerical Functional Analysis and Optimization 2001,22(5–6):767–773. 10.1081/NFA-100105317
Osilike MO: Implicit iteration process for common fixed points of a finite family of strictly pseudocontractive maps. Journal of Mathematical Analysis and Applications 2004,294(1):73–81. 10.1016/j.jmaa.2004.01.038
Su Y, Li S: Composite implicit iteration process for common fixed points of a finite family of strictly pseudocontractive maps. Journal of Mathematical Analysis and Applications 2006,320(2):882–891. 10.1016/j.jmaa.2005.07.038
Zeng L-C, Yao J-C: Implicit iteration scheme with perturbed mapping for common fixed points of a finite family of nonexpansive mappings. Nonlinear Analysis: Theory, Methods & Applications 2006,64(11):2507–2515. 10.1016/j.na.2005.08.028
Chang S-S: Some problems and results in the study of nonlinear analysis. Nonlinear Analysis: Theory, Methods & Applications 1997,30(7):4197–4208. 10.1016/S0362-546X(97)00388-X
Sun Z-H: Strong convergence of an implicit iteration process for a finite family of asymptotically quasi-nonexpansive mappings. Journal of Mathematical Analysis and Applications 2003,286(1):351–358. 10.1016/S0022-247X(03)00537-7
Acknowledgments
The first author was partially supported by the National Science Foundation of China (10771141), Ph.D. Program Foundation of Ministry of Education of China (20070270004), and Science and Technology Commission of Shanghai Municipality grant (075105118), Leading Academic Discipline Project of Shanghai Normal University (DZL707), Shanghai Leading Academic Discipline Project (S30405) and Innovation Program of Shanghai Municipal Education Commission (09ZZ133). The third author was partially supported by the Grant NSF 97-2115-M-110-001
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
Ceng, L.C., Shyu, D.S. & Yao, J.C. Relaxed Composite Implicit Iteration Process for Common Fixed Points of a Finite Family of Strictly Pseudocontractive Mappings. Fixed Point Theory Appl 2009, 402602 (2009). https://doi.org/10.1155/2009/402602
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/402602