We introduce a new iterative scheme with Meir-Keeler contractions for strict pseudocontractions in -uniformly smooth Banach spaces. We also discuss the strong convergence theorems for the new iterative scheme in -uniformly smooth Banach space. Our results improve and extend the corresponding results announced by many others.
1. Introduction
Throughout this paper, we denote by and a real Banach space and the dual space of , respectively. Let be a subset of , and lrt be a non-self-mapping of . We use to denote the set of fixed points of .
The norm of a Banach space is said to be Gâteaux differentiable if the limit
exists for all , on the unit sphere . If, for each , the limit (1.1) is uniformly attained for , then the norm of is said to be uniformly Gâteaux differentiable. The norm of is said to be Fréchet differentiable if, for each , the limit (1.1) is attained uniformly for . The norm of is said to be uniformly Fréchet differentiable (or uniformly smooth) if the limit (1.1) is attained uniformly for .
Let be the modulus of smoothness of defined by
A Banach space is said to be uniformly smooth if as . Let . A Banach space is said to be -uniformly smooth, if there exists a fixed constant such that . It is well known that is uniformly smooth if and only if the norm of is uniformly Fréchet differentiable. If is -uniformly smooth, then and is uniformly smooth, and hence the norm of is uniformly Fréchet differentiable, in particular, the norm of is Fréchet differentiable. Typical examples of both uniformly convex and uniformly smooth Banach spaces are , where . More precisely, is -uniformly smooth for every .
By a gauge we mean a continuous strictly increasing function defined such that and . We associate with a gauge a (generally multivalued) duality map defined by
In particular, the duality mapping with gauge function denoted by , is referred to the (generalized) duality mapping. The duality mapping with gauge function denoted by , is referred to the normalized duality mapping. Browder [1] initiated the study . Set for
Then it is known that is the subdifferential of the convex function at . It is well known that if is smooth, then is single valued, which is denoted by .
The duality mapping is said to be weakly sequentially continuous if the duality mapping is single valued and for any with , . Every space has a weakly sequentially continuous duality map with the gauge . Gossez and Lami Dozo [2] proved that a space with a weakly continuous duality mapping satisfies Opial's condition. Conversely, if a space satisfies Opial's condition and has a uniformly Gâteaux differentiable norm, then it has a weakly continuous duality mapping. We already know that in -uniformly smooth Banach space, there exists a constant such that
for all .
Recall that a mapping is said to be nonexpansive, if
is said to be a -strict pseudocontraction in the terminology of Browder and Petryshyn [3], if there exists a constant such that
for every , , and for some . It is clear that (1.7) is equivalent to the following:
The following famous theorem is referred to as the Banach contraction principle.
Theorem 1.1 (Banach [4]).
Let be a complete metric space and let be a contraction on , that is, there exists such that for all . Then has a unique fixed point.
Theorem 1.2 (Meir and Keeler [5]).
Let be a complete metric space and let be a Meir-Keeler contraction (MKC, for short) on , that is, for every , there exists such that implies for all . Then has a unique fixed point.
This theorem is one of generalizations of Theorem 1.1, because contractions are Meir-Keeler contractions.
In a smooth Banach space, we define an operator is strongly positive if there exists a constant with the property
where is the identity mapping and is the normalized duality mapping.
Attempts to modify the normal Mann's iteration method for nonexpansive mappings and -strictly pseudocontractions so that strong convergence is guaranteed have recently been made; see, for example, [6–11] and the references therein.
Kim and Xu [6] introduced the following iteration process:
where is a nonexpansive mapping of into itself is a given point. They proved the sequence defined by (1.10) converges strongly to a fixed point of , provided the control sequences and satisfy appropriate conditions.
Hu and Cai [12] introduced the following iteration process:
where is non-self--strictly pseudocontraction, is a contraction and is a strong positive linear bounded operator in Banach space. They have proved, under certain appropriate assumptions on the sequences , and , that defined by (1.11) converges strongly to a common fixed point of a finite family of -strictly pseudocontractions, which solves some variational inequality.
Question 1.
Can Theorem 3.1 of Zhou [8], Theorem 2.2 of Hu and Cai [12] and so on be extended from finite -strictly pseudocontraction to infinite -strictly pseudocontraction?
Question 2.
We know that the Meir-Keeler contraction (MKC, for short) is more general than the contraction. What happens if the contraction is replaced by the Meir-Keeler contraction?
The purpose of this paper is to give the affirmative answers to these questions mentioned above. In this paper we study a general iterative scheme as follows:
where is non-self -strictly pseudocontraction, is a MKC contraction and is a strong positive linear bounded operator in Banach space. Under certain appropriate assumptions on the sequences , , , and , that defined by (1.12) converges strongly to a common fixed point of an infinite family of -strictly pseudocontractions, which solves some variational inequality.
2. Preliminaries
In order to prove our main results, we need the following lemmas.
Lemma 2.1 (see [13]).
Let be bounded sequences in a Banach space and be a sequence in which satisfies the following condition: . Suppose that for all and . Then, .
Lemma 2.2 (see Xu [14]).
Assume that is a sequence of nonnegative real numbers such that , where is a sequence in (0, 1) and is a sequence in such that
(i),
(ii) or .
Then .
Lemma 2.3 (see [15] demiclosedness principle).
Let be a nonempty closed convex subset of a reflexive Banach space which satisfies Opial's condition, and suppose is nonexpansive. Then the mapping is demiclosed at zero, that is, , implies .
Lemma 2.4 (see [16, Lemmas 3.1, 3.3]).
Let be real smooth and strictly convex Banach space, and be a nonempty closed convex subset of which is also a sunny nonexpansive retraction of . Assume that is a nonexpansive mapping and is a sunny nonexpansive retraction of onto , then .
Lemma 2.5 (see [17, Lemma 2.2]).
Let be a nonempty convex subset of a real -uniformly smooth Banach space and be a -strict pseudocontraction. For , we define . Then, as , , is nonexpansive such that .
Lemma 2.6 (see [12, Remark 2.6]).
When is non-self-mapping, the Lemma 2.5 also holds.
Lemma 2.7 (see [12, Lemma 2.8]).
Assume that is a strongly positive linear bounded operator on a smooth Banach space with coefficient and . Then,
Lemma 2.8 (see [18, Lemma 2.3]).
Let be an MKC on a convex subset of a Banach space . Then for each , there exists such that
Lemma 2.9.
Let be a closed convex subset of a reflexive Banach space which admits a weakly sequentially continuous duality mapping from to . Let be a nonexpansive mapping with and be a MKC, is strongly positive linear bounded operator with coefficient . Assume that . Then the sequence define by converges strongly as to a fixed point of which solves the variational inequality:
Proof.
The definition of is well definition. Indeed, from the definition of MKC, we can see MKC is also a nonexpansive mapping. Consider a mapping on defined by
It is easy to see that is a contraction. Indeed, by Lemma 2.8, we have
Hence, has a unique fixed point, denoted by , which uniquely solves the fixed point equation
We next show the uniqueness of a solution of the variational inequality (2.3). Suppose both and are solutions to (2.3), not lost generality, we may assume there is a number such that . Then by Lemma 2.8, there is a number such that . From (2.3), we know
Adding up (2.7) gets
Noticing that
Therefore and the uniqueness is proved. Below, we use to denote the unique solution of (2.3).
We observe that is bounded. Indeed, we may assume, with no loss of generality, , for all , fixed , for each .
Case 1 ().
In this case, we can see easily that is bounded.
Case 2 ().
In this case, by Lemmas 2.7 and 2.8, there is a number such that
therefore, . This implies the is bounded.
To prove that as .
Since is bounded and is reflexive, there exists a subsequence of such that . By . We have , as . Since satisfies Opial's condition, it follows from Lemma 2.3 that . We claim
By contradiction, there is a number and a subsequence of such that . From Lemma 2.8, there is a number such that , we write
to derive that
It follows that
Therefore,
Using that the duality map is single valued and weakly sequentially continuous from to , by (2.15), we get that . It is a contradiction. Hence, we have .
We next prove that solves the variational inequality (2.3). Since
we derive that
Notice
It follows that, for ,
Now replacing in (2.19) with and letting , noticing for , we obtain . That is, is a solution of (2.3); Hence by uniqueness. In a summary, we have shown that each cluster point of (at ) equals , therefore, as .
Lemma 2.10 . (see, e.g., Mitrinović [19, page 63]).
Let . Then the following inequality holds:
for arbitrary positive real numbers , .
Lemma 2.11.
Let be a -uniformly smooth Banach space which admits a weakly sequentially continuous duality mapping from to and be a nonempty convex subset of . Assume that is a countable family of -strict pseudocontraction for some and such that . Assume that is a positive sequence such that . Then is a -strict pseudocontraction with and .
Proof.
Let
and . Then, is a -strict pseudocontraction with . Indeed, we can firstly see the case of .
which shows that is a -strict pseudocontraction with . By the same way, our proof method easily carries over to the general finite case.
Next, we prove the infinite case. From the definition of -strict pseudocontraction, we know
Hence, we can get
Taking , from (2.24), we have
Consquently, for all , if , and , then strongly converges. Let
we have
Hence,
So, we get is -strict pseudocontraction.
Finally, we show . Suppose that , it is sufficient to show that . Indeed, for , we have
where . Hence, for each , this means that .
3. Main Results
Lemma 3.1.
Let be a real -uniformly smooth, strictly convex Banach space and be a closed convex subset of such that . Let be also a sunny nonexpansive retraction of . Let be a MKC. Let be a strongly positive linear bounded operator with the coefficient such that and be -strictly pseudo-contractive non-self-mapping such that . Let . Let be a sequence of generated by (1.12) with the sequences , and in , assume for each , be an infinity sequence of positive number such that for all and . The following control conditions are satisfied
(i),
(ii), for some and for all ,
(iii), ,
(iv).
Then, .
Proof.
Write, for each , . By Lemma 2.11, each is a -strict pseudocontraction on and for all and the algorithm (1.12) can be rewritten as
The rest of the proof will now be split into two parts.
Step 1.
First, we show that sequences and are bounded. Define a mapping
Then, from the control condition (ii), Lemmas 2.5 and 2.6, we obtain is nonexpansive. Taking a point , by Lemma 2.4, we can get . Hence, we have
From definition of MKC and Lemma 2.8, for each there is a number , if then ; If then . It follow (3.1)
By induction, we have
which gives that the sequence is bounded, so are and .
Step 2.
In this part, we shall claim that , as . From (3.1), we get
Define
where
It follows that
which yields that
Next, we estimate . Notice that
Substituting (3.11) into (3.10), we have
Hence, we have
Observing conditions (i), (iii), (iv), and the boundedness of , , , , it follows that
Thus by Lemma 2.1, we have .
From (3.7), we have
Therefore,
Theorem 3.2.
Let be a real -uniformly smooth, strictly convex Banach space which admits a weakly sequentially continuous duality mapping from to and be a closed convex subset of which be also a sunny nonexpansive retraction of such that . Let be a MKC. Let be a strongly positive linear bounded operator with the coefficient such that and be -strictly pseudo-contractive non-self-mapping such that . Let . Let be a sequence of generated by (1.12) with the sequences , and in , assume for each , for all and for all . They satisfy the conditions (i), (ii), (iii), (iv) of Lemma 3.1 and (v) and . Then converges strongly to , which also solves the following variational inequality
Proof.
From (3.1), we obtain
So , which together with the condition (i), (iv) and Lemma 3.1 implies
Define , then is a -strict pseudocontraction such that by Lemma 2.11, furthermore as for all . Defines by
Then, is nonexpansive with by Lemma 2.5. It follows from Lemma 2.4 that . Notice that
which combines with (3.19) yielding that
Next, we show that
where with being the fixed point of the contraction
To see this, we take a subsequence of such that
We may also assume that . Note that in virtue of Lemma 2.3 and (3.22). It follow from the Lemma 2.9 and is weak weakly sequentially continuous duality mapping that
Hence, we have
Finally, We show . By contradiction, there is a number such that
Case 1.
Fixed (), if for some such that , and for the other such that .
Let
From (3.23), we know . Hence, there is a number , when , we have . We extract a number stastifying , then we estimate .
which implies that
Hence, we have
In the same way, we can get
It contradict the .
Case 2.
Fixed (), if for all , from Lemma 2.8, there is a number , such that
It follow (3.1) that
which implies that
Apply Lemma 2.2 to (3.36) to conclude as . It contradict the . This completes the proof.
Corollary 3.3.
Let be a closed convex subset of a Hilbert space such that and with the coefficient . Let be a strongly positive linear bounded operator with the coefficient such that and be -strictly pseudo-contractive non-self-mapping such that . Let . Let be a sequence of generated by (1.12) with the sequences , , and in , assume for each , for all and for all . They satisfy the conditions (i), (ii), (iii), (iv) of Lemma 3.1 and (v) , and . Then converges strongly to , which also solves the following variational inequality
Remark 3.4.
We conclude the paper with the following observations.
(i)Theorem 3.2 improve and extends Theorem 3.1 of Zhang and Su [17], Theorem 1 of Yao et al. [11], and Theorem 2.2 of Cai and Hu [12]. Corollary 3.3 also improve and extend Theorem 2.1 of Choa et al. [20], Theorem 2.1 of Jung [21], Theorem 2.1 of Qin et al. [22] and includes those results as special cases. Especially, Our results extends above results form contractions to more general Meir-Keeler contraction (MKC, for short). Our iterative scheme studied in present paper can be viewed as a refinement and modification of the iterative methods in [12, 13, 17, 22]. On the other hand, our iterative schemes concern an infinite countable family of -strict pseudocontractions mappings, in this respect, they can be viewed as an another improvement.
(ii)The advantage of the results in this paper is that less restrictions on the parameters , , and are imposed. Our results unify many recent results including the results in [12, 17, 22].
(iii)It is worth noting that we obtained two strong convergence results concerning an infinite countable family of -strict pseudocontractions mappings. Our result is new and the proofs are simple and different from those in [11, 12, 17, 19–25].
Acknowledgments
The authors are extremely grateful to the referee and the editor for their useful comments and suggestions which helped to improve this paper. This work was supported by the National Science Foundation of China under Grant (no. 10771175).
References
-
Browder, FE: Convergence theorems for sequences of nonlinear operators in Banach spaces. Mathematische Zeitschrift. 100, 201–225 (1967). Publisher Full Text
-
Gossez, J-P, Lami Dozo, E: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pacific Journal of Mathematics. 40, 565–573 (1972)
-
Browder, FE, Petryshyn, WV: Construction of fixed points of nonlinear mappings in Hilbert space. Journal of Mathematical Analysis and Applications. 20, 197–228 (1967). Publisher Full Text
-
Banach, S: Surles ope'rations dans les ensembles abstraits et leur application aux e'quations inte'grales. Fundamenta Mathematicae. 3, 133–181 (1922)
-
Meir, A, Keeler, E: A theorem on contraction mappings. Journal of Mathematical Analysis and Applications. 28, 326–329 (1969). Publisher Full Text
-
Kim, T-H, Xu, H-K: Strong convergence of modified Mann iterations. Nonlinear Analysis. Theory, Methods & Applications. 61(1-2), 51–60 (2005). PubMed Abstract | Publisher Full Text
-
Nakajo, K, Takahashi, W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. Journal of Mathematical Analysis and Applications. 279(2), 372–379 (2003). Publisher Full Text
-
Zhou, H: Convergence theorems of fixed points for κ-strict pseudo-contractions in Hilbert spaces. Nonlinear Analysis, Theory, Methods and Applications. 69(2), 456–462 (2008). Publisher Full Text
-
Qin, X, Su, Y: Approximation of a zero point of accretive operator in Banach spaces. Journal of Mathematical Analysis and Applications. 329(1), 415–424 (2007). Publisher Full Text
-
Marino, G, Xu, Hong-Kun: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces. Journal of Mathematical Analysis and Applications. 329(1), 336–346 (2007). Publisher Full Text
-
Yao, Y, Chen, R, Yao, J-C: Strong convergence and certain control conditions for modified Mann iteration. Nonlinear Analysis, Theory, Methods and Applications. 68(6), 1687–1693 (2008). Publisher Full Text
-
Cai, G, Hu, CS: Strong convergence theorems of a general iterative process for a finite family of -strict pseudo-contractions in -uniformly smooth Banach spaces. Computers & Mathematics with Applications. 59(1), 149–160 (2010). PubMed Abstract | Publisher Full Text | PubMed Central Full Text
-
Suzuki, T: Strong convergence of Krasnoselskii and Mann's type sequences for one-parameter nonexpansive semigroups without Bochner integrals. Journal of Mathematical Analysis and Applications. 305(1), 227–239 (2005). Publisher Full Text
-
Xu, HK: An iterative approach to quadratic optimization. Journal of Optimization Theory and Applications. 116(3), 659–678 (2003). Publisher Full Text
-
Jung, JS: Iterative approaches to common fixed points of nonexpansive mappings in Banach spaces. Journal of Mathematical Analysis and Applications. 302(2), 509–520 (2005). Publisher Full Text
-
Matsushita, S-Y, Takahashi, W: Strong convergence theorems for nonexpansive nonself-mappings without boundary conditions. Nonlinear Analysis. Theory, Methods & Applications. 68(2), 412–419 (2008). PubMed Abstract | Publisher Full Text
-
Zhang, H, Su, Y: Strong convergence theorems for strict pseudo-contractions in -uniformly smooth Banach spaces. Nonlinear Analysis. Theory, Methods & Applications. 70(9), 3236–3242 (2009). PubMed Abstract | Publisher Full Text
-
Suzuki, T: Moudafi's viscosity approximations with Meir-Keeler contractions. Journal of Mathematical Analysis and Applications. 325(1), 342–352 (2007). Publisher Full Text
-
Mitrinović, DS: Analytic Inequalities,p. xii+400. Springer, New York, NY, USA (1970)
-
Cho, YJ, Kang, SM, Qin, X: Some results on -strictly pseudo-contractive mappings in Hilbert spaces. Nonlinear Analysis. Theory, Methods & Applications. 70(5), 1956–1964 (2009). PubMed Abstract | Publisher Full Text
-
Jung, JS: Strong convergence of iterative methods for -strictly pseudo-contractive mappings in Hilbert spaces. Applied Mathematics and Computation. 215(10), 3746–3753 (2010). Publisher Full Text
-
Qin, X, Shang, M, Kang, SM: Strong convergence theorems of modified Mann iterative process for strict pseudo-contractions in Hilbert spaces. Nonlinear Analysis. Theory, Methods & Applications. 70(3), 1257–1264 (2009). PubMed Abstract | Publisher Full Text
-
Moudafi, A: Viscosity approximation methods for fixed-points problems. Journal of Mathematical Analysis and Applications. 241(1), 46–55 (2000). Publisher Full Text
-
Marino, G, Xu, H-K: A general iterative method for nonexpansive mappings in Hilbert spaces. Journal of Mathematical Analysis and Applications. 318(1), 43–52 (2006). Publisher Full Text
-
Zhou, H: Convergence theorems of fixed points for Lipschitz pseudo-contractions in Hilbert spaces. Journal of Mathematical Analysis and Applications. 343(1), 546–556 (2008). Publisher Full Text