Abstract and Applied Analysis

Volume 2012, Article ID 543040, 14 pages

http://dx.doi.org/10.1155/2012/543040

## Some Results on Strictly Pseudocontractive Nonself-Mappings and Equilibrium Problems in Hilbert Spaces

^{1}School of Mathematics Physics and Information Science, Zhejiang Ocean University, Zhoushan 316004, China^{2}Department of Mathematics, Gyeongsang National University, Jinju 660-701, Republic of Korea

Received 12 September 2012; Accepted 6 October 2012

Academic Editor: Yonghong Yao

Copyright © 2012 Yan Hao and Sun Young Cho. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

An equilibrium problem and a strictly pseudocontractive nonself-mapping are investigated. Strong convergence theorems of common elements are established based on hybrid projection algorithms in the framework of real Hilbert spaces.

#### 1. Introduction

Bifunction equilibrium problems which were considered by Blum and Oettli [1] have intensively been studied. It has been shown that the bifunction equilibrium problem covers fixed point problems, variational inequalities, inclusion problems, saddle problems, complementarity problem, minimization problem, and the Nash equilibrium problem; see [1–4] and the references therein. Iterative methods have emerged as an effective and powerful tool for studying a wide class of problems which arise in economics, finance, image reconstruction, ecology, transportation, network, elasticity, and optimization; see [5–16] and the references therein. In this paper, we investigate an equilibrium problem and a strictly pseudocontractive nonself-mapping based on hybrid projection algorithms. Strong convergence theorems of common elements lie in the solution set of the equilibrium problem and the fixed point set of the strictly pseudocontractive nonself-mapping.

Throughout this paper, we always assume that is a real Hilbert space with the inner product and the norm . Let be a nonempty closed convex subset of and a bifunction of into , where denotes the set of real numbers. In this paper, we consider the following equilibrium problem: The set of such an is denoted by , that is,

Given a mapping , let for all . Then if and only if for all , that is, is a solution of the variational inequality.

To study the equilibrium problem (1.1), we may assume that satisfies the following conditions:(A1) for all ; (A2) is monotone, that is, for all ; (A3) for each , (A4) for each , is convex and lower semicontinuous.

If is an Euclidean space, then we see that is a simple example satisfying the above assumptions. See [2] for more details. Let , where and denote the domain and the range of the mapping . If , then the mapping is said to be a self-mapping. If , then the mapping is said to be a nonself-mapping. Let be a nonself-mapping. In this paper, we use to denote the fixed point set of . Recall the following definitions. is said to be nonexpansive if

is said to be strictly pseudocontractive if there exists a constant such that

For such a case, is also said to be -strict pseudocontraction. It is clear that (1.5) is equivalent to

is said to be pseudocontractive if

It is clear that (1.7) is equivalent to

The class of -strict pseudocontractions which was introduced by Browder and Petryshyn [17] in 1967 has been considered by many authors. It is easy to see that the class of strict pseudocontractions falls into the one between the class of nonexpansive mappings and the class of pseudocontractions. For studying the class of strict pseudocontractions, Zhou [18] proposed the following convex combination method: define a mapping by

He showed that is nonexpansive if ; see [18] for more details.

Recently, many authors considered the problem of finding a common element in the fixed point set of a nonexpansive mapping and in the solution set of the equilibrium problem (1.1) based on iterative methods; see, for instance, [19–27].

In 2007, Tada and Takahashi [23] considered an iterative method for the equilibrium problem (1.1) and a nonexpansive nonself-mapping. To be more precise, they obtained the following results.

Theorem TT. *Let be a closed convex subset of a real Hilbert space , let be a bifunction satisfying (A1)–(A4), and let be a nonexpansive mapping of into such that . Let and be sequences generated by , and let
**
for every , where , for some and satisfies . Then the sequence converges strongly to .*

We remark that the iterative process (1.10) is called the hybrid projection iterative process. Recently, the hybrid projection iterative process which was first considered by Haugazeau [28] in 1968 has been studied for fixed point problem of nonlinear mappings and equilibrium problems by many authors. Since the sequence generated in the hybrid projection iterative process depends on the sets and , the hybrid projection iterative process is also known as “CQ” iterative process; see [29] and the reference therein.

Recently, Takahashi et al. [30] considered the shrinking projection process for the fixed point problem of nonexpansive self-mapping. More precisely, they obtain the iterative sequence monontonely without the help of the set ; see [30] for more details.

In this paper, we reconsider the same shrinking projection process for the equilibrium problem (1.1) and a strictly pseudocontractive nonself-mapping. We show that the sequence generated in the proposed iterative process converges strongly to some common element in the fixed point set of a strictly pseudocontractive nonself-mapping and in the solution set of the equilibrium problem (1.1). The main results presented in this paper mainly improved the corresponding results in Tada and Takahashi [23].

#### 2. Preliminaries

Let be a nonempty closed and convex subset of a real Hilbert space . Let be the metric projection from onto . That is, for , is the only point in such that . We know that the mapping is firmly nonexpansive, that is,

The following lemma can be found in [1, 2].

Lemma 2.1. *Let be a nonempty closed convex subset of , and let be a bifunction satisfying (A1)–(A4). Then, for any and , there exists such that **
Further, define
**
for all and . Then, the following hold: *(a)* is single valued; *(b)* is firmly nonexpansive, that is,
*(c)*; *(d)* is closed and convex. *

Lemma 2.2 (see [18]). *Let be a real Hilbert space, a nonempty closed convex subset of , and a strict pseudocontraction. Then the mapping is demiclosed at zero, that is, if is a sequence in such that and , then .*

Lemma 2.3 (see [18]). *Let be a nonempty closed convex subset of a real Hilbert space and a -strict pseudocontraction. Define a mapping for all . If , then the mapping is a nonexpansive mapping such that . *

#### 3. Main Results

Theorem 3.1. *Let be a nonempty closed convex subset of a real Hilbert space . Let and be two bifunctions from to which satisfy (A1)–(A4), respectively. Let be a -strict pseudocontraction. Assume that . Let , , and be sequences in . Let be a sequence generated in the following manner:
**
where is chosen such that
**
and is chosen such that
**
Assume that the control sequences , , , , and satisfy the following restrictions:*(a)*;
*(b)*
for some . Then the sequence generated in the converges strongly to some point , where .*

* Proof. *First, we show that is closed and convex for each . It is easy to see that is closed for each . We only show that is convex for each . Note that is convex. Suppose that is convex for some positive integer . Next, we show that is convex for the same . Note that is equivalent to

Take and in , and put . It follows that ,,
Combining (3.4), we can obtain that , that is, . In view of the convexity of , we see that . This shows that . This concludes that is closed and convex for each .

Define a mapping by for all . It follows from Lemma 2.3 that is nonexpansive and for all . Next, we show that for all . It is easy to see that . Suppose that for some integer . We intend to claim that for the same . For any , we have

This shows that . This proves that for all .

Since and , we have that

It follows that

On the other hand, for any , we see that . In particular, we have

This shows that the sequence is bounded. In view of (3.7), we see that exists. It follows from (3.6) that

This yields that

Since , we see that

It follows that

From (3.10), we obtain that

On the other hand, we have

From the restriction (a), we obtain from (3.13) that

For any , we have that

This implies that

In a similar way, we get that

It follows from (3.17) and (3.18) that

This implies that

In view of the restriction (a), we obtain from (3.13) that

It also follows from (3.19) that

In view of the restriction (a), we obtain from (3.13) that

Since is bounded, there exists a subsequence of such that . From (3.21) and (3.23), we see that and , respectively. From (3.21) and the restriction (b), we see that

Now, we are in a position to show that . Note that

From (A2), we see that

Replacing by , we arrive at

In view of (3.24) and (A4), we get that
For any with and , let . Since and , we have and hence . It follows that

which yields that

Letting , we obtain from (A3) that
This means that . In the same way, we can obtain that . Next, we show that . Note that

It follows from (3.21) and (3.23) that

On the other hand, we have

It follows from (3.15) and (3.33) that

Note that

which yields that

This implies from the restriction (a) and (3.35) that

It follows from Lemma 2.2 that . This shows that . Since , we obtain that

which yields that
It follows that converges strongly to . Therefore, we can conclude that the sequence converges strongly to . This completes the proof.

From Theorem 3.1, we have the following results.

Corollary 3.2. *Let be a nonempty closed convex subset of a real Hilbert space . Let be a bifunction from to which satisfies (A1)–(A4). Let be a -strict pseudocontraction. Assume that . Let and be sequences in . Let be a sequence generated in the following manner:
**
where is chosen such that
**
Assume that the control sequences , , and satisfy the following restrictions: *(a)*;
*(b)*
for some . Then the sequence converges strongly to some point , where .*

* Proof. *Putting and in Theorem 3.1, we see that . From the proof of Theorem 3.1, we can conclude the desired conclusion immediately.

*Remark 3.3. *Corollary 3.2 improves Theorem TT in the following aspects.(1)From the viewpoint of mappings, the class of nonexpansive mappings is extended to the class of strict pseudocontractions. (2)From the viewpoint of computation, the set is removed.

Corollary 3.4. *Let be a nonempty closed convex subset of a real Hilbert space . Let be a -strict pseudocontraction with fixed points. Let and be sequences in . Let be a sequence generated in the following manner:
**
Assume that the control sequences and satisfy the restrictions and for some . Then the sequence converges strongly to some point , where .*

* Proof. *Putting and , we can obtain from Theorem 3.1 the desired conclusion easily.

If is nonexpansive and , then Corollary 3.4 is reduced to the following.

Corollary 3.5. *Let be a nonempty closed convex subset of a real Hilbert space . Let be a nonexpansive mapping with fixed points. Let be a sequence in . Let be a sequence generated in the following manner:
**
Assume that the control sequence satisfies the restriction for some . Then the sequence converges strongly to some point , where .*

Recently, many authors studied the following convex feasibility problem (CFP): where is an integer and each is a nonempty closed and convex subset of a real Hilbert space . There is a considerable investigation on CFP in the setting of Hilbert spaces which captures applications in various disciplines such as image restoration, computer tomography, and radiation therapy treatment planning.

Next, we consider the case that each is the solution set of an equilibrium problem.

Theorem 3.6. *Let be a nonempty closed convex subset of a real Hilbert space . Let be a bifunction from to which satisfies (A1)–(A4) for each . Assume that . Let , , and be sequences in . Let , and be sequences in . Let be a sequence generated in the following manner:
**
Assume that the control sequences satisfy the following restrictions:*(a)*,, ;*(b)*,
** where . Then the sequence generated in the above iterative process converges strongly to some point , where .*

* Proof. *Let be the identity mapping and , then we can obtain from Theorem 3.1 the desired conclusion easily.

#### Acknowledgment

This work was supported by Natural Science Foundation of Zhejiang Province (Y6110270).

#### References

- E. Blum and W. Oettli, “From optimization and variational inequalities to equilibrium problems,”
*The Mathematics Student*, vol. 63, no. 1–4, pp. 123–145, 1994. View at Google Scholar · View at Zentralblatt MATH - P. L. Combettes and S. A. Hirstoaga, “Equilibrium programming in Hilbert spaces,”
*Journal of Nonlinear and Convex Analysis*, vol. 6, no. 1, pp. 117–136, 2005. View at Google Scholar · View at Zentralblatt MATH - S. Park, “Some equilibrium problems in generalized convex spaces,”
*Acta Mathematica Vietnamica*, vol. 26, no. 3, pp. 349–364, 2001. View at Google Scholar · View at Zentralblatt MATH - Q. H. Ansari, S. Schaible, and J.-C. Yao, “The system of generalized vector equilibrium problems with applications,”
*Journal of Global Optimization*, vol. 22, no. 1–4, pp. 3–16, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Qin, S.-S. Chang, and Y. J. Cho, “Iterative methods for generalized equilibrium problems and fixed point problems with applications,”
*Nonlinear Analysis: Real World Applications.*, vol. 11, no. 4, pp. 2963–2972, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - L.-J. Lin, Z.-T. Yu, Q. H. Ansari, and L.-P. Lai, “Fixed point and maximal element theorems with applications to abstract economies and minimax inequalities,”
*Journal of Mathematical Analysis and Applications*, vol. 284, no. 2, pp. 656–671, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Y. Cho and S. M. Kang, “Approximation of common solutions of variational inequalities via strict pseudocontractions,”
*Acta Mathematica Scientia B*, vol. 32, no. 4, pp. 1607–1618, 2012. View at Publisher · View at Google Scholar - S. Y. Cho and S. M. Kang, “Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative process,”
*Applied Mathematics Letters*, vol. 24, no. 2, pp. 224–228, 2011. View at Publisher · View at Google Scholar - T. Kotzer, N. Cohen, and J. Shamir, “Image restoration by a novel method of parallel projection onto constraint sets,”
*Optimization Letters*, vol. 20, pp. 1772–1774, 1995. View at Google Scholar - C. Byrne, “A unified treatment of some iterative algorithms in signal processing and image reconstruction,”
*Inverse Problems*, vol. 20, no. 1, pp. 103–120, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. N. Iusem and W. Sosa, “Iterative algorithms for equilibrium problems,”
*Optimization*, vol. 52, no. 3, pp. 301–316, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. Censor, T. Elfving, N. Kopf, and T. Bortfeld, “The multiple-sets split feasibility problem and its applications for inverse problems,”
*Inverse Problems*, vol. 21, no. 6, pp. 2071–2084, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. J. Cho and X. Qin, “Systems of generalized nonlinear variational inequalities and its projection methods,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 12, pp. 4443–4451, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. Lopez, V. Martin, and H.-K. Xu, “Perturbation techniques for nonexpansive mappings with applications,”
*Nonlinear Analysis: Real World Applications*, vol. 10, no. 4, pp. 2369–2383, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Qin and Y. Su, “Strong convergence theorems for relatively nonexpansive mappings in a Banach space,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 67, no. 6, pp. 1958–1965, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. M. Kang, S. Y. Cho, and Z. Liu, “Convergence of iterative sequences for generalized equilibrium problems involving inverse-strongly monotone mappings,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 827082, 16 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - F. E. Browder and W. V. Petryshyn, “Construction of fixed points of nonlinear mappings in Hilbert space,”
*Journal of Mathematical Analysis and Applications*, vol. 20, pp. 197–228, 1967. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - H. Zhou, “Convergence theorems of fixed points for $\kappa $-strict pseudo-contractions in Hilbert spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 2, pp. 456–462, 2008. View at Publisher · View at Google Scholar - X. Qin, Y. J. Cho, and S. M. Kang, “Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces,”
*Journal of Computational and Applied Mathematics*, vol. 225, no. 1, pp. 20–30, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Qin, S. Y. Cho, and S. M. Kang, “Strong convergence of shrinking projection methods for quasi-$\phi $-nonexpansive mappings and equilibrium problems,”
*Journal of Computational and Applied Mathematics*, vol. 234, no. 3, pp. 750–760, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Ye and J. Huang, “Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in Banach spaces,”
*Journal of Mathematical and Computational Science*, vol. 1, no. 1, pp. 1–18, 2011. View at Google Scholar - J. K. Kim, S. Y. Cho, and X. Qin, “Some results on generalized equilibrium problems involving strictly pseudocontractive mappings,”
*Acta Mathematica Scientia B*, vol. 31, no. 5, pp. 2041–2057, 2011. View at Publisher · View at Google Scholar - A. Tada and W. Takahashi, “Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem,”
*Journal of Optimization Theory and Applications*, vol. 133, no. 3, pp. 359–370, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. K. Kim, “Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi-$\varphi $-nonexpansive mappings,”
*Fixed Point Theory and Applications*, vol. 2011, article 10, 2011. View at Google Scholar - X. Qin, S. Y. Cho, and S. M. Kang, “On hybrid projection methods for asymptotically quasi-$\phi $-nonexpansive mappings,”
*Applied Mathematics and Computation*, vol. 215, no. 11, pp. 3874–3883, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Yang and W. Li, “Iterative solutions of a system of equilibrium problems in Hilbert spaces,”
*Advances in Fixed Point Theory*, vol. 1, pp. 15–26, 2011. View at Google Scholar - A. Moudafi, “Weak convergence theorems for nonexpansive mappings and equilibrium problems,”
*Journal of Nonlinear and Convex Analysis*, vol. 9, no. 1, pp. 37–43, 2008. View at Google Scholar · View at Zentralblatt MATH - Y. Haugazeau,
*Sur les inéquations variationnelles et la minimisation de fonctionnelles convexes [Thése]*, Université de Paris, Paris, France, 1968. - C. Martinez-Yanes and H.-K. Xu, “Strong convergence of the CQ method for fixed point iteration processes,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 64, no. 11, pp. 2400–2411, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Takahashi, Y. Takeuchi, and R. Kubota, “Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 341, no. 1, pp. 276–286, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH