- Research Article
- Open access
- Published:
Strong Convergence Theorems of the Ishikawa Process with Errors for Strictly Pseudocontractive Mapping of Browder-Petryshyn Type in Banach Spaces
Fixed Point Theory and Applications volume 2011, Article number: 706206 (2011)
Abstract
We prove several strong convergence theorems for the Ishikawa iterative sequence with errors to a fixed point of strictly pseudocontractive mapping of Browder-Petryshyn type in Banach spaces and give sufficient and necessary conditions for the convergence of the scheme to a fixed point of the mapping. The results presented in this work give an affirmative answer to the open question raised by Zeng et al. 2006, and generalize the corresponding result of Zeng et al. 2006, Osilike and Udomene 2001, and others.
1. Introduction and Preliminaries
Let be a real Banach space and
its dual.
denotes the generalized duality pairing between
and
. Let
be the normalized duality mapping defined by the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ1_HTML.gif)
It is well known that if is smooth, then
is single-valued. In this paper, we denote a single-valued selection of the normalized duality mapping by
.
denotes the identity operator.
is the fixed point set of
, that is,
.
Definition 1.1 (see [1]).
A mapping is said to be strictly pseudocontractive if there exists
and
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ2_HTML.gif)
Remark 1.2.
-
(i)
Without loss of generality, we may assume
. Inequality (1.2) can be written in the form
(1.3)
-
(ii)
If
is a Hilbert space, then inequality (1.2) is equivalent to the following inequality:
(1.4)
-
(iii)
is a Lipschitz continuous mapping, that is,
, s.t,
. In fact, by (1.3), we have
(1.5)
so that,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ6_HTML.gif)
where .
Definition 1.3.
A mapping is said to be
(i)compact, if for any bounded sequence in
, there exists a strongly convergent subsequence of
, or
(ii)demicompact, if for any bounded sequence in
, whenever
is strongly convergent, there exists a strongly convergent subsequence of
.
Let us recall some important iterative processes.
Definition 1.4 (Ishikawa iterative process with errors in the sense of Liu [2]).
Let be a nonempty convex subset of
with
. For any
, the sequence
is defined as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ7_HTML.gif)
where and
are appropriate sequences in
, and
,
, are appropriate sequences in
.
If for all
, then (1.7) reduces to Mann iterative process with errors as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ8_HTML.gif)
Definition 1.5 (Ishikawa iterative process with errors in the sense of Xu [3]).
Let be a nonempty convex subset of
. For any
, the sequence
is defined as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ9_HTML.gif)
where and
are bounded sequences in
, and
,
,
,
are real sequences in
satisfying
,
, for all
.
If for all
, then (1.9) reduces to Mann iterative process with errors as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ10_HTML.gif)
Remark 1.6.
-
(i)
If
in (1.7) or
in (1.9), then (1.7) and (1.9) reduce to Ishikawa iterative process [4],
(1.11)
-
(ii)
If
in (1.8) or
in (1.10), then (1.8) and (1.10) reduce to Mann iterative process [5],
(1.12)
In 1974, Rhoades [6] proved strong convergence theorem by the Mann iterative process to a fixed point of strictly pseudocontractive mapping defined on a nonempty compact convex subset of a Hilbert space. In 2001, Osilike and Udomene [7] proved weak and strong convergence theorems for strictly pseudocontractive mapping in a real -uniformly smooth Banach space
which is also uniform convex.
In 2006, Zeng et al. [8] established the sufficient and necessary conditions on the strong convergence to a fixed point of strictly pseudocontractive mapping in a real -uniformly smooth Banach space. They got the following main results.
Theorem 1.7.
Let and
be a real
-uniformly smooth Banach space, let
be a nonempty closed convex subset of
with
, and let
be a strictly pseudocontractive mapping with
. Let
be a bounded sequence in
. Let
and
be real sequences in
satisfying the following conditions:
(i);
(ii), and
, where
and
is a constant depending on
.
From an arbitrary , let
be defined by the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ13_HTML.gif)
Then converges strongly to a fixed point of
if and only if
is bounded and
, where
.
In the end of Zeng et al. [8], they raised an open question.
Open Question 1.
Can the Ishikawa iterative process with errors (1.7) be extended to Theorem 1.7?
At the same year, Zeng et al. [9] proved the following strong convergence theorem for strictly pseudocontractive mappings.
Theorem 1.8.
Let and
be a real
-uniformly smooth Banach space. Let
be a nonempty closed convex subset of
, and let
be compact or demicompact, and strictly pseudocontractive with
. Let
be a bounded sequence in
. Let
,
, and
be real sequences in
satisfying the following conditions:
(i), for all
;
(ii),
and
;
(iii) and
, where
.
From an arbitrary , let
be defined by the following:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ14_HTML.gif)
If is the bounded sequence, then
converges strongly to a fixed point of
.
They raised another open question.
Open Question 2.
Can the Ishikawa iterative process with errors (1.9) be extended to Theorem 1.8?
We have answered the Open Question 1 in [10]. The purpose of this paper is to answer the Open Question 2, and we prove some strong convergence theorems for strictly pseudocontractive mapping in Banach spaces, which improve Theorem 1.8 in the following:
(i)-uniformly smooth Banach spaces can be replaced by general Banach spaces.
(ii)Remove the boundedness assumption of .
-
(iii)
Iterative process (1.14) can be replaced by Ishikawa iterative process with errors (1.9).
Respectively, our results improve and generalize the corresponding results of Zeng el al. [8], Osilike and Udomene [7], and others.
In the sequel, we will need the following lemmas.
Lemma 1.9 (see [11]).
Let ,
,
be sequences of nonnegative real numbers satisfying the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ15_HTML.gif)
If ,
, we have (i)
exists. (ii) In particular, if
, then
.
Lemma 1.10 (see [12]).
Let be a Banach space and
be the normalized duality mapping, then for any
, the following conclusions hold
(i), for all
;
(ii), for all
.
2. Main Results
In the rest of paper, we denote by the Lipschitz constant.
Lemma 2.1.
Let be a nonempty closed convex subset of a real Banach space
. Let
be a strictly pseudocontractive mapping with
. Let
;
is defined by (1.9) and satisfying the following conditions:
(i);
(ii).
Then
(1)there exist two sequences ,
in
, such that
,
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ16_HTML.gif)
Furthermore, exists.
(2)For any integer , there exists a constant
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ17_HTML.gif)
Proof.
-
(1)
Let
. Since
and
are bounded sequences in
, we have
(2.3)
Since is a strictly pseudocontractive mapping, by Remark 1.2(i),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ19_HTML.gif)
By Kato [13], the above inequality is equivalent to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ20_HTML.gif)
Let and from (1.9), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ21_HTML.gif)
It follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ22_HTML.gif)
Observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ23_HTML.gif)
From (2.7) and (2.8), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ24_HTML.gif)
By inequality (2.5), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ25_HTML.gif)
So
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ26_HTML.gif)
Furthermore, set , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ27_HTML.gif)
We make the following estimations.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ28_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ29_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ30_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ31_HTML.gif)
Substituting (2.14), (2.15), and (2.16) in (2.11), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ32_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ33_HTML.gif)
By conditions (i) and (ii), we have ,
. It follows from Lemma 1.9 that
exists. This completes the proof of part (1).
-
(2)
If
, then
. For any integer
and from part (1), we have
(2.19)
where . This completes the proof of part (2).
Lemma 2.2.
Let be a nonempty closed convex subset of a real Banach space
. Let
be a strictly pseudocontractive mapping with
. Let
be defined as in Lemma 2.1. Then there exists a subsequence
of
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ35_HTML.gif)
Proof.
Let . It follows from (1.3), (1.9), and Lemma 1.10(i) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ36_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ37_HTML.gif)
Then (2.21) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ38_HTML.gif)
From Lemma 2.1(1), exists. So
is bounded. By inequalities (2.14), (2.15), and (2.16), the sequences
,
,
are all bounded. Notice the conditions of
and
, then
. It follows from (2.23) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ39_HTML.gif)
so
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ40_HTML.gif)
Hence, . Since
, so we have
.
By virtue of Lemma 1.10(ii), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ41_HTML.gif)
therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ42_HTML.gif)
Observe the right side of the above inequality, since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ43_HTML.gif)
and ,
,
are all bounded. Together with
, then
, that is, there exists a subsequence
of
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ44_HTML.gif)
Theorem 2.3.
Let be a nonempty closed convex subset of a real Banach space
. Let
be a strictly pseudocontractive mapping with
. Let
be defined as in Lemma 2.1, then
converges strongly to a fixed point of
if and only if
, where
.
Proof.
The necessity is obvious. So, we will prove the sufficiency. From Lemma 2.1(1), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ45_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ46_HTML.gif)
Note that ,
. By Lemma 1.9 and
, we get
.
Next, we prove is a cauchy sequence. For each
, there exists a natural number
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ47_HTML.gif)
where is the constant in Lemma 2.1 (2). Hence, there exists
and a natural number
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ48_HTML.gif)
From Lemma 2.1(2) and (2.33), for all , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ49_HTML.gif)
Hence, is a cauchy sequence. Since
is a closed subset of
, so
converges strongly to a
.
Finally, we prove . In fact, since
. So, for any
, there exists
, such that
. Then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ50_HTML.gif)
By the arbitrary of , we know that
. Therefore,
.
A mapping is said to satisfy Condition(A) [14], if there exists a nondecreasing function
with
,
, for all
such that
for all
.
Theorem 2.4.
Let be a nonempty closed convex subset of a real Banach space
. Let
be a strictly pseudocontractive mapping with
, and satisfy Condition(A). Let
be defined as in Lemma 2.1. Then
converges strongly to a fixed point of
.
Proof.
By Lemma 2.2, there exists a subsequence of
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ51_HTML.gif)
By Condition(A), . Since
is a nondecreasing function and
, therefore
. The rest of the proof is the same to Theorem 2.3.
Theorem 2.5.
Let be a nonempty closed convex subset of a real Banach space
. Let
be a compact and strictly pseudocontractive mapping with
. Let
be defined as in Lemma 2.1. Then
converges strongly to a fixed point of
.
Proof.
From Lemma 2.1 (1), it follows that exists, for any
. By Lemma 2.2, there exists a subsequence
of
such that
. Since
is bounded and
is compact,
has a strongly convergent subsequence. Without loss of generality, we may assume that
converges strongly to
. Next, we prove
.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ52_HTML.gif)
that is, . By the Lipschitz continuity of
, it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F706206/MediaObjects/13663_2010_Article_740_Equ53_HTML.gif)
This means that . By Lemmas 1.9(ii) and 2.1(i), the sequence
converges strongly to
.
Theorem 2.6.
Let be a nonempty closed convex subset of a real Banach space
. Let
be a demicompact and strictly pseudocontractive mapping with
. Let
be defined as in Lemma 2.1. Then
converges strongly to a fixed point of
.
Proof.
From Lemma 2.1(1), it follows that exists, for any
. By Lemma 2.2, there exists a subsequence
of
such that
. Since
is bounded together with
being demicompact, there exists a subsequence of
which converges strongly to some
. Taking into account that
and the Lipschitz continuity of
, we have
. By Lemma 1.9,
converges strongly to
.
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
Liu LS: Ishikawa and Mann iterative process with errors for nonlinear strongly accretive mappings in Banach spaces. Journal of Mathematical Analysis and Applications 1995,194(1):114–125. 10.1006/jmaa.1995.1289
Xu Y: Ishikawa and Mann iterative processes with errors for nonlinear strongly accretive operator equations. Journal of Mathematical Analysis and Applications 1998,224(1):91–101. 10.1006/jmaa.1998.5987
Ishikawa S: Fixed points by a new iteration method. Proceedings of the American Mathematical Society 1974,44(1):147–150. 10.1090/S0002-9939-1974-0336469-5
Mann WR: Mean value methods in iteration. Proceedings of the American Mathematical Society 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3
Rhoades BE: Fixed point iterations using infinite matrices. Transactions of the American Mathematical Society 1974, 196: 161–176.
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
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.
Zeng LC, 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.
Tang YC, Peng JG: On the strong convergence of the Ishikawa process with errors for a strictly pseudocontractive mapping of Browder-Petryshyn type. submitted
Osilike MO, Aniagbosor SC: Weak and strong convergence theorems for fixed points of asymptotically nonexpansive mappings. Mathematical and Computer Modelling 2000,32(10):1181–1191. 10.1016/S0895-7177(00)00199-0
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
Kato T: Nonlinear semigroups and evolution equations. Journal of the Mathematical Society of Japan 1964, 19: 508–520.
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
Acknowledgments
This work was supported by National Natural Science Foundations of China (60970149) and the Natural Science Foundations of Jiangxi Province (2009GZS0021, 2007GQS2063).
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
Tang, YC., Cai, Y. & Liu, LW. Strong Convergence Theorems of the Ishikawa Process with Errors for Strictly Pseudocontractive Mapping of Browder-Petryshyn Type in Banach Spaces. Fixed Point Theory Appl 2011, 706206 (2011). https://doi.org/10.1155/2011/706206
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/706206