Abstract
We introduce an iterative method for a pair of hemirelatively nonexpansive mappings. Strong convergence of the purposed iterative method is obtained in a Banach space.
Similar content being viewed by others
1. Introduction and Preliminaries
Let be a Banach space with the dual . We denote by the normalized duality mapping from to defined by
where denotes the generalized duality pairing. A Banach space is said to be strictly convex if for all with and It is said to be uniformly convex if for any two sequences in such that and . Let be the unit sphere of . Then the Banach space is said to be smooth provided that
exists for each It is also said to be uniformly smooth if the limit (1.2) is attained uniformly for . It is well known that if is uniformly smooth, then is uniformly norm-to-norm continuous on each bounded subset of . It is also well known that is uniformly smooth if and only if is uniformly convex.
Recall that a Banach space has the Kadec-Klee property if for any sequences and with and then as ; for more details on Kadec-Klee property, the readers is referred to [1, 2] and the references therein. It is well known that if is a uniformly convex Banach space, then enjoys the Kadec-Klee property.
Let be a nonempty closed and convex subset of a Banach space and : → a mapping. The mapping is said to be closed if for any sequence such that and , then . A point is a fixed point of provided . In this paper, we use to denote the fixed point set of and use and to denote the strong convergence and weak convergence, respectively.
Recall that the mapping is said to be nonexpansive if
It is well known that if is a nonempty bounded closed and convex subset of a uniformly convex Banach space , then every nonexpansive self-mapping on has a fixed point. Further, the fixed point set of is closed and convex.
As we all know that if is a nonempty closed convex subset of a Hilbert space and : → is the metric projection of onto , then is nonexpansive. This fact actually characterizes Hilbert spaces and consequently, it is not available in more general Banach spaces. In this connection, Alber [3] recently introduced a generalized projection operator in a Banach space which is an analogue of the metric projection in Hilbert spaces.
Next, we assume that is a smooth Banach space. Consider the functional defined by
Observe that, in a Hilbert space , (1.4) is reduced to The generalized projection : → is a map that assigns to an arbitrary point , the minimum point of the functional that is, where is the solution to the minimization problem
Existence and uniqueness of the operator follow from the properties of the functional and strict monotonicity of the mapping (see, e.g., [1–4]). In Hilbert spaces, It is obvious from the definition of function that
Remark 1.1.
If is a reflexive, strictly convex and smooth Banach space, then for , if and only if . It is sufficient to show that if then . From (1.6), we have . This implies that From the definition of we have . Therefore, we have see [1, 2] for more details.
Let be a nonempty closed convex subset of and a mapping from into itself. A point in is said to be an asymptotic fixed point of [5] if contains a sequence which converges weakly to such that . The set of asymptotic fixed points of will be denoted by . A mapping from into itself is said to be relatively nonexpansive [3, 6, 7] if and for all and . The mapping is said to be hemirelatively nonexpansive [8–12] if and for all and . The asymptotic behavior of a relatively nonexpansive mappings was studied in [3, 6, 7].
Remark 1.2.
The class of hemirelatively nonexpansive mappings is more general than the class of relatively nonexpansive mappings which requires the restriction: . From Su et al. [11], we see that every hemirelatively nonexpansive mapping is relatively nonexpansive, but the inverse is not true. Hemirelatively nonexpansive mapping is also said to be quasi--nonexpansive; see [13–17].
Recently, fixed point iterations of relatively nonexpansive mappings and hemirelatively nonexpansive mappings have been considered by many authors; see, for example [14–25] and the references therein. In 2005, Matsushita and Takahashi [8] considered fixed point problems of a single relatively nonexpansive mapping in a Banach space. To be more precise, they proved the following theorem.
Theorem 1 MT.
Let be a uniformly convex and uniformly smooth Banach space; let be a nonempty closed convex subset of let be a relatively nonexpansive mapping from into itself; let be a sequence of real numbers such that and . Suppose that is given by
where is the duality mapping on . If is nonempty, then converges strongly to , where is the generalized projection from onto
In 2007, Plubtieng and Ungchittrakool [9] further improved Theorem MT by considering a pair of relatively nonexpansive mappings. To be more precise, they proved the following theorem.
Theorem PU
Let be a uniformly convex and uniformly smooth Banach space, and let be a nonempty closed convex subset of Let and be two relatively nonexpansive mappings from into itself with being nonempty. Let a sequence be defined by
with the following restrictions:
for each and
for each , and .
Then the sequence converges strongly to , where is the generalized projection from onto
Very recently, Su et al. [11] improved Theorem PU partially by considering a pair of hemirelatively nonexpansive mappings. To be more precise, they obtained the following results.
Theorem SWX
Let be a uniformly convex and uniformly smooth Banach space, and let be a nonempty closed convex subset of Let and be two closed hemirelatively nonexpansive mappings from into itself with being nonempty. Let a sequence be defined by
with the following restrictions:
(1);
(2);
(3) for some .
Then the sequence converges strongly to , where is the generalized projection from onto
In this paper, motivated by Theorems MT, PU, and SWX, we consider the problem of finding a common fixed point of a pair of hemirelatively nonexpansive mappings by shrinking projection methods which were introduced by Takahashi et al. [26] in Hilbert spaces. Strong convergence theorems of common fixed points are established in a Banach space. The results presented in this paper mainly improve the corresponding results announced in Matsushita and Takahashi [8], Nakajo and Takahahsi [27], and Su et al. [11].
In order to prove our main results, we need the following lemmas.
Lemma 1.3 (see [3]).
Let be a nonempty closed convex subset of a smooth Banach space and . Then, if and only if
Lemma 1.4 (see [3]).
Let be a reflexive, strictly convex and smooth Banach space, a nonempty closed convex subset of , and Then
The following lemma can be deduced from Matsushita and Takahashi [8].
Lemma 1.5.
Let be a strictly convex and smooth Banach space, a nonempty closed convex subset of and a hemirelatively nonexpansive mapping. Then is a closed convex subset of .
Lemma 1.6 (see [28]).
Let be a uniformly convex Banach space and a closed ball of Then there exists a continuous strictly increasing convex function with such that
for all and with
2. Main Results
Theorem 2.1.
Let be a uniformly smooth and strictly convex Banach space which enjoys the Kadec-Klee property and a nonempty closed and convex subset of Let and be two closed and hemirelatively nonexpansive mappings such that is nonempty. Let be a sequence generated in the following manner:
where , , , and are real sequences in satisfying the following restrictions:
and .
Then converges strongly to , where is the generalized projection from onto .
Proof.
First, we show that is closed and convex for each It is obvious that is closed and convex. Suppose that is closed and convex for some . For , we see that is equivalent to
It is easy to see that is closed and convex. Then, for each , is closed and convex. Now, we are in a position to show that for each Indeed, is obvious. Suppose that for some . Then, for all , we have
It follows that
which shows that . This implies that for each On the other hand, we obtain from Lemma 1.4 that
for each and for each This shows that the sequence is bounded. From (1.6), we see that the sequence is also bounded. Since the space is reflexive, we may, without loss of generality, assume that . Note that is closed and convex for each . It is easy to see that for each Note that
It follows that
This implies that
Hence, we have as In view of the Kadec-Klee property of we obtain that as
Next, we show that By the construction of we have that and It follows that
Letting in (2.9), we obtain that . In view of , we arrive at It follows that
From (1.6), we can obtain that
It follows that
This implies that is bounded. Note that is reflexive and is also reflexive. We may assume that In view of the reflexivity of , we see that This shows that there exists an such that It follows that
Taking , the both sides of equality above yield that
That is, which in turn implies that It follows that From (2.12) and since enjoys the Kadec-Klee property, we obtain that
Note that is demicontinuous. It follows that From (2.11) and since enjoys the Kadec-Klee property, we obtain that
Note that
It follows that
Since is uniformly norm-to-norm continuous on any bounded sets, we have
On the other hand, we see from the definition of that
In view of the assumption on and (2.19), we see that
On the other hand, since is demicontinuous, we have In view of
we arrive at as By virtue of the Kadec-Klee property of , we obtain that as Note that
In view of (2.21), we arrive at Since is demicontinuous, we have Note that
It follows that as . Since enjoys the Kadec-Klee property, we obtain that Note that
It follows that
Let . Fixing we have from Lemma 1.6 that
It follows that
On the other hand, we have
It follows from (2.21) and (2.26) that
In view of (2.28) and the assumption , we see that
It follows from the property of that
Note that
On the other hand, we have
From (2.32) and (2.33), we arrive at
Note that is demicontinuous. It follows that On the other hand, we have
In view of (2.35), we obtain that as . Since enjoys the Kadec-Klee property, we obtain that
It follows from the closedness of that By repeating (2.27)–(2.37), we can obtain that . This shows that
Finally, we show that From we have
Taking the limit as in (2.38), we obtain that
and hence by Lemma 1.3. This completes the proof.
Remark 2.2.
Theorem 2.1 improves Theorem SWX in the following aspects:
from the point of view on computation, we remove the set in Theorem SWX;
from the point of view on the framework of spaces, we extend Theorem SWX from a uniformly smooth and uniformly convex Banach space to a uniformly smooth and strictly convex Banach space which enjoys the Kadec-Klee property. Note that every uniformly convex Banach space enjoys the Kadec-Klee property.
If for each , then Theorem 2.1 is reduced to the following.
Corollary 2.3.
Let be a uniformly smooth and strictly convex Banach space which enjoys the Kadec-Klee property and a nonempty closed and convex subset of Let : and : be two closed and hemirelatively nonexpansive mappings such that is nonempty. Let be a sequence generated in the following manner:
where , , and are real sequences in satisfying the following restrictions:
and .
Then converges strongly to , where is the generalized projection from onto .
If , then Corollary 2.3 is reduced to the following.
Corollary 2.4.
Let be a uniformly smooth and strictly convex Banach space which enjoys the Kadec-Klee property and a nonempty closed and convex subset of . Let be a closed and hemirelatively nonexpansive mapping with a nonempty fixed point set. Let be a sequence generated in the following manner:
where is a real sequence in satisfying . Then converges strongly to , where is the generalized projection from onto .
References
Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Mathematics and Its Applications. Volume 62. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1990:xiv+260.
Takahashi W: Nonlinear Functional Analysis, Fixed Point Theory and Its Application. Yokohama, Yokohama, Japan; 2000:iv+276.
Alber YaI: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics. Volume 178. Edited by: Kartsatos AG. Marcel Dekker, New York, NY, USA; 1996:15–50.
Alber YaI, Reich S: An iterative method for solving a class of nonlinear operator equations in Banach spaces. Panamerican Mathematical Journal 1994,4(2):39–54.
Reich S: A weak convergence theorem for the alternating method with Bregman distances. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics. Volume 178. Edited by: Kartsatos AG. Marcel Dekker, New York, NY, USA; 1996:313–318.
Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces. Journal of Applied Analysis 2001,7(2):151–174. 10.1515/JAA.2001.151
Butnariu D, Reich S, Zaslavski AJ: Weak convergence of orbits of nonlinear operators in reflexive Banach spaces. Numerical Functional Analysis and Optimization 2003,24(5–6):489–508. 10.1081/NFA-120023869
Matsushita SY, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach space. Journal of Approximation Theory 2005,134(2):257–266. 10.1016/j.jat.2005.02.007
Plubtieng S, Ungchittrakool K: Strong convergence theorems for a common fixed point of two relatively nonexpansive mappings in a Banach space. Journal of Approximation Theory 2007,149(2):103–115. 10.1016/j.jat.2007.04.014
Qin X, Su Y: Strong convergence theorems for relatively nonexpansive mappings in a Banach space. Nonlinear Analysis: Theory, Methods & Applications 2007,67(6):1958–1965. 10.1016/j.na.2006.08.021
Su Y, Wang Z, Xu H: Strong convergence theorems for a common fixed point of two hemi-relatively nonexpansive mappings. Nonlinear Analysis: Theory, Methods & Applications 2009,71(11):5616–5628. 10.1016/j.na.2009.04.053
Su Y, Wang D, Shang M: Strong convergence of monotone hybrid algorithm for hemi-relatively nonexpansive mappings. Fixed Point Theory and Applications 2008, 2008:-8.
Qin X, Cho YJ, Kang SM, Zhou H: Convergence of a modified Halpern-type iteration algorithm for quasi--nonexpansive mappings. Applied Mathematics Letters 2009,22(7):1051–1055. 10.1016/j.aml.2009.01.015
Qin X, Cho YJ, Kang SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. Journal of Computational and Applied Mathematics 2009,225(1):20–30. 10.1016/j.cam.2008.06.011
Qin X, Cho SY, Kang SM: Strong convergence of shrinking projection methods for quasi--nonexpansive mappings and equilibrium problems. Journal of Computational and Applied Mathematics 2010, 234: 750–760. 10.1016/j.cam.2010.01.015
Qin X, Cho YJ, Cho SY, Kang SM: Strong convergence theorems of common fixed points for a family of quasi--nonexpansive mappings. Fixed Point Theory and Applications 2010, 2010:-11.
Zhou H, Gao G, Tan B: Convergence theorems of a modified hybrid algorithm for a family of quasi--asymptotically nonexpansive mappings. Journal of Applied Mathematics and Computing 2010, 32: 453–464. 10.1007/s12190-009-0263-4
Kimura Y, Takahashi W: On a hybrid method for a family of relatively nonexpansive mappings in a Banach space. Journal of Mathematical Analysis and Applications 2009,357(2):356–363. 10.1016/j.jmaa.2009.03.052
Lewicki G, Marino G: On some algorithms in Banach spaces finding fixed points of nonlinear mappings. Nonlinear Analysis: Theory, Methods & Applications 2009,71(9):3964–3972. 10.1016/j.na.2009.02.066
Qin X, Cho SY, Kang SM: On hybrid projection methods for asymptotically quasi--nonexpansive mappings. Applied Mathematics and Computation 2010,215(11):3874–3883. 10.1016/j.amc.2009.11.031
Qin X, Su Y: Approximation of a zero point of accretive operator in Banach spaces. Journal of Mathematical Analysis and Applications 2007,329(1):415–424. 10.1016/j.jmaa.2006.06.067
Qin XL, Cho YJ, Kang SM, Zhou HY: Convergence of a hybrid projection algorithm in Banach spaces. Acta Applicandae Mathematicae 2009,108(2):299–313. 10.1007/s10440-008-9313-4
Wei L, Cho YJ, Zhou H: A strong convergence theorem for common fixed points of two relatively nonexpansive mappings and its applications. Journal of Applied Mathematics and Computing 2009,29(1–2):95–103. 10.1007/s12190-008-0092-x
Wattanawitoon K, Kumam P: Strong convergence theorems by a new hybrid projection algorithm for fixed point problems and equilibrium problems of two relatively quasi-nonexpansive mappings. Nonlinear Analysis: Hybrid Systems 2009,3(1):11–20. 10.1016/j.nahs.2008.10.002
Zegeye H, Shahzad N: Strong convergence theorems for monotone mappings and relatively weak nonexpansive mappings. Nonlinear Analysis: Theory, Methods & Applications 2009,70(7):2707–2716. 10.1016/j.na.2008.03.058
Takahashi W, Takeuchi Y, Kubota R: Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces. Journal of Mathematical Analysis and Applications 2008,341(1):276–286. 10.1016/j.jmaa.2007.09.062
Nakajo K, Takahashi W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. Journal of Mathematical Analysis and Applications 2003,279(2):372–379. 10.1016/S0022-247X(02)00458-4
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
Acknowledgment
This project is supported by the National Natural Science Foundation of China (no. 10901140).
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
Hao, Y., Cho, S. Fixed Point Iterations of a Pair of Hemirelatively Nonexpansive Mappings. Fixed Point Theory Appl 2010, 270150 (2010). https://doi.org/10.1155/2010/270150
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/270150