- Open Access
Demiclosed principle and convergence theorems for asymptotically strictly pseudononspreading mappings and mixed equilibrium problems
© Ma and Wang; licensee Springer. 2014
- Received: 19 December 2013
- Accepted: 8 April 2014
- Published: 6 May 2014
In this paper, the demiclosed principle for a k-asymptotically strictly pseudononspreading mapping is shown. Meanwhile, an iterative scheme is introduced to approximate a common element of the set of common fixed points of k-asymptotically strictly pseudononspreading mappings and the set of solutions of mixed equilibrium problems in Hilbert spaces, and some weak and strong convergence theorems are proved. The results presented in this paper improve and extend some recent corresponding results.
- k-asymptotically strictly pseudononspreading mapping
- mixed equilibrium problem
- weak and strong convergence
- demiclosed principle
The set of solutions of EP is denoted by . Given a mapping , let for all . Then if and only if is a solution of the variational inequality for all , i.e., is a solution of the variational inequality.
The set of solutions of is denoted by .
If , then mixed equilibrium problem (1.2) reduces to (1.1).
The set of solutions of (1.3) is denoted by .
The mixed equilibrium problem (MEP) includes several important problems arising in physics, engineering, science optimization, economics, transportation, network and structural analysis, Nash equilibrium problems in noncooperative games and others. It has been shown that variational inequalities and mathematical programming problems can be viewed as a special realization of abstract equilibrium problems (e.g., [1, 2]). Many authors have proposed some useful methods to solve the EP, ; see, for instance, [1–8] and the references therein.
In 1967, Browder and Petryshyn  introduced the concept of k-strictly pseudononspreading mapping.
Definition 1.1 
Clearly, every nonspreading mapping is k-strictly pseudononspreading.
In 2012, Osilike  introduced a class of nonspreading type mappings, which is more general than the mappings studied in  in Hilbert spaces, and proved some weak and strong convergence theorems in real Hilbert spaces. Recently, Chang  studied the multiple-set split feasibility problem for asymptotically strict pseudocontraction in the framework of infinite-dimensional Hilbert spaces.
Definition 1.2 
holds for all .
It is easy to see that the class of k-asymptotically strictly pseudononspreading mappings is more general than the classes of k-strictly pseudononspreading mappings and k-asymptotically strict pseudocontractions.
Next we prove that T is a k-asymptotically strictly pseudononspreading mapping.
In fact, for any .
Case 1. If and , then we have , , and so inequality (1.4) holds for any .
Therefore inequality (1.4) holds for any .
So, inequality (1.4) holds for any .
Thus inequality (1.4) still holds for any . Therefore the mapping defined by (1.5) is a k-asymptotically strictly pseudononspreading mapping.
A Banach space E is said to satisfy Opial’s condition if, for any sequence in E, implies that for all with . It is well known that every Hilbert space satisfies Opial’s condition.
A mapping T with domain and range in E is said to be demiclosed at p if whenever is a sequence in such that converges weakly to and converges strongly to p, then .
T is said to be semi-compact if for any bounded sequence with , there exists a subsequence of such that converges strongly to a point .
where , . Under some suitable conditions, they proved that the sequences , weakly and strongly converge to a solution of the problem .
where γ is a constant and , λ is the spectral of the operator , , and is a sequence in with . Under some suitable conditions, they proved that weakly and strongly converges to a split fixed point .
Inspired and motivated by the recent works of Zhao and Chang , Quan and Chang , etc., in this paper, we propose an iterative scheme to approximate a common element of the set of solutions of k-asymptotically strictly pseudononspreading mappings and mixed equilibrium problem in infinite-dimensional Hilbert spaces. Some weak and strong convergence theorems are proved. At the same time, the demiclosed principle of a k-asymptotically strictly pseudononspreading mapping is shown. The results presented in this paper improve and extend some recent corresponding results.
Throughout this paper, we denote the strong convergence and weak convergence of a sequence to a point by , , respectively.
For solving mixed equilibrium problems, we assume that the bifunction satisfies the following conditions:
(A1) , ;
(A2) , ;
(A3) For all , ;
(A4) For each , the function is convex and lower semi-continuous.
Lemma 2.1 
For each , ;
- (3)is firmly nonexpansive, that is, ,
is closed and convex.
Lemma 2.2 
- (i)For all and for all ,
- (iii)If is a sequence in H which converges weakly to , then
The demiclosed principle and the closeness and convexity of the set of fixed points of a nonlinear mapping play very important roles in investigating many nonlinear problems. We now show the demiclosed principle of k-asymptotically strictly pseudononspreading mapping and the closeness and convexity of the set of fixed points of such a mapping, respectively.
Lemma 2.3 Let C be a nonempty closed convex subset of a real Hilbert space H and let be a continuous k-asymptotically strictly pseudononspreading mapping. If , then it is closed and convex.
Since and as , we get that . Since T is continuous, which implies that . Hence, .
Now, we show that is convex.
Since as , we obtain that , which implies that , . Hence, , which means that is convex. □
Lemma 2.4 Let C be a nonempty closed convex subset of a real Hilbert space H, and let be a k-asymptotically strictly pseudononspreading and uniformly L-Lipschitzian mapping. Then, for any sequence in C converging weakly to a point p and converging strongly to 0, we have .
In fact, it is obvious that the conclusion is true for . Suppose that the conclusion holds for , now we prove that the conclusion is also true for .
This is , as desired. The proof is completed. □
Lemma 2.5 
if , then .
where is a sequence in with , is a sequence in with , , and the sequence satisfies that and . If , then the sequence converges weakly to a point .
Proof The proof is divided into four steps.
Step 1. Firstly, we prove that exists for any .
Using Lemma 2.5, we show that exists. Further, it follows from (3.2) and (3.12) that and are bounded.
Step 2. Now, we prove that , and .
Since exists for any and , it follows from (3.36) that holds. Similarly, holds for any .
Step 3. We show that .
Firstly, we show that .
In fact, since is bounded, there exists a subsequence such that . Hence, for any positive integer , there exists a subsequence with such that . Again, by (3.34) we know that as , therefore we have that .
Now, we show that .
This implies that . Hence .
Step 4. Finally, we prove that and , .
This is a contradiction. Therefore . By (3.1) and (3.22), we have . Therefore, the conclusion follows.
This completes the proof of Theorem 3.1. □
Taking , in Theorem 3.1, we have the following result.
where , , is a sequence in with , is a sequence in with and the sequence with and . If , then the sequence converges weakly to a point .
where , , is a sequence in with , is a sequence in with and the sequence with and . If , and there exists a positive integer j such that is semi-compact, then the sequence converges strongly to a point .
That is, , and converge strongly to the point . This completes the proof. □
4.1 Application to a convex minimization problem
It is well known that mixed equilibrium problem (1.2) reduces to the convex minimization problem as . Therefore, Theorem 3.1 can be used to solve convex minimization problem (1.3), and the following result can be directly deduced from Theorem 3.1.
where , , is a sequence in with , is a sequence in with , and the sequence with and . If , then the sequence converges weakly to a point .
4.2 Application to a convex feasibility problem
The so-called convex feasibility problem for a family of mappings (where ω may be a finite positive integer or +∞) is to find a point of the nonempty intersection , where is the fixed point set of mapping , .
In Theorem 3.1 if , , then the condition ‘ such that , ’ is equivalent to . Therefore, the following result can be directly obtained from Theorem 3.1.
where is a sequence in with and is a sequence in with , . If , then the sequence converges weakly to a point , which is a solution of the convex feasibility problem for mappings and .
4.3 Application to the mixed variational inequality problem of Browder type
A variational inequality problem (VIP) is formulated as a problem of finding a point with property , , . We will denote the solution set of VIP by . We know that given a mapping , let for all . Then if and only if is a solution of the variational inequality for all , i.e., is a solution of the variational inequality.
We will denote the solution set of a mixed variational inequality of Browder type by .
A mapping is said to be an α-inverse-strongly monotone mapping if there exists a constant such that for any . Setting , it is easy to show that F satisfies conditions (A1)-(A4) as A is an α-inverse-strongly monotone mapping. Then it follows from Theorem 3.1 that the following result holds.
where is a sequence in with , is a sequence in with , , and the sequence satisfies and . If , then the sequence converges weakly to a point .
The authors would like to express their thanks to the reviewers and editors for their helpful suggestions and advice. This work was supported by the National Natural Science Foundation of China (Grant No. 11361070).
- Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.MathSciNetMATHGoogle Scholar
- Noor M, Oettli W: On general nonlinear complementarity problems and quasi-equilibria. Matematiche 1994, 49: 313–346.MathSciNetMATHGoogle Scholar
- Jaiboon C, Kumam P: A hybrid extragradient viscosity approximation method for solving equilibrium problems and fixed point problems of infinitely many nonexpansive mappings. Fixed Point Theory Appl. 2009., 2009: Article ID 374815Google Scholar
- Chang SS, Chan CK, Joseph Lee HW: Modified block iterative algorithm for quasi- ϕ -asymptotically nonexpansive mappings and equilibrium problem in Banach spaces. Appl. Math. Comput. 2011, 217: 7520–7530. 10.1016/j.amc.2011.02.060View ArticleMathSciNetMATHGoogle Scholar
- Moudafi A, Thera M Lecture Notes in Economics and Mathematical Systems 477. In Proximal and Dynamical Approaches to Equilibrium Problems. Springer, Berlin; 1999:187–201.Google Scholar
- Peng JW, Yao JC: A viscosity approximation scheme for system of equilibrium problems, nonexpansive mappings and monotone mappings. Nonlinear Anal. 2009, 71: 6001–6010. 10.1016/j.na.2009.05.028View ArticleMathSciNetMATHGoogle Scholar
- Chang SS, Chan CK, Joseph Lee HW, Yang L: A system of mixed equilibrium problems, fixed point problems of strictly pseudo-contractive mappings and nonexpansive semi-groups. Appl. Math. Comput. 2010, 216: 51–60. 10.1016/j.amc.2009.12.060View ArticleMathSciNetMATHGoogle Scholar
- Kumam P, Jaiboon C: A new hybrid iterative method for mixed equilibrium problems and variational inequality problem for relaxed cocoercive mappings with application to optimization problems. Nonlinear Anal. Hybrid Syst. 2009, 3(4):510–530. 10.1016/j.nahs.2009.04.001View ArticleMathSciNetMATHGoogle Scholar
- Kohsaka F, Takahashi W: Fixed point theorems for a class of nonlinear mappings relate to maximal monotone operators in Banach spaces. Arch. Math. 2008, 91: 166–177. 10.1007/s00013-008-2545-8View ArticleMathSciNetMATHGoogle Scholar
- Kohsaka F, Takahashi W: Existence and approximation of fixed points of firmly nonexpansive-type mappings in Banach spaces. SIAM J. Optim. 2008, 19: 824–835. 10.1137/070688717View ArticleMathSciNetMATHGoogle Scholar
- Iemoto S, Takahashi W: Approximating common fixed points of nonexpansive mappings and nonspreading mappings in a Hilbert space. Nonlinear Anal. 2009, 71: 2080–2089.View ArticleMathSciNetGoogle Scholar
- Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert spaces. J. Math. Anal. Appl. 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6View ArticleMathSciNetMATHGoogle Scholar
- Osilike MO, Isiogugu FO: Weak and strong convergence theorems for nonspreading type mappings in Hilbert spaces. Nonlinear Anal. 2011, 74: 1814–1822. 10.1016/j.na.2010.10.054View ArticleMathSciNetMATHGoogle Scholar
- Kurokawa Y, Takahashi W: Weak and strong convergence theorems for nonspreading mappings in Hilbert spaces. Nonlinear Anal. 2010, 73: 1562–1568. 10.1016/j.na.2010.04.060View ArticleMathSciNetMATHGoogle Scholar
- Chang SS, Cho YJ, Kim JK, Zhang WB, Yang L: Multiple-set split feasibility problems for asymptotically strict pseudocontractions. Abstr. Appl. Anal. 2012., 2012: Article ID 491760 10.1155/2012/491760Google Scholar
- Zhao YH, Chang SS: Weak and strong convergence theorems for strictly pseudononspreading mappings and equilibrium problem in Hilbert spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 169206 10.1155/2013/169206Google Scholar
- Quan J, Chang SS, Zhang X: Multiple-set split feasibility problems for k -strictly pseudononspreading mapping in Hilbert spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 342545 10.1155/2013/342545Google Scholar
- Peng JW, Liou YC, Yao JC: An iterative algorithm combining viscosity method with parallel method for a generalized equilibrium problem and strict pseudocontractions. Fixed Point Theory Appl. 2009., 2009: Article ID 794178 10.1155/2009/794178Google Scholar
- Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 1993, 178: 301–308. 10.1006/jmaa.1993.1309View ArticleMathSciNetMATHGoogle Scholar
- Alber YI: Metric and generalized projection operators in Banach space: properties and application. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartosator AG. Dekker, New York; 1996:15–50.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.