- Research Article
- Open access
- Published:

# Convergence Theorems Concerning Hybrid Methods for Strict Pseudocontractions and Systems of Equilibrium Problems

*Journal of Inequalities and Applications*
**volumeÂ 2010**, ArticleÂ number:Â 396080 (2010)

## Abstract

Let be strict pseudo-contractions defined on a closed and convex subset of a real Hilbert space . We consider the problem of finding a common element of fixed point set of these mappings and the solution set of a system of equilibrium problems by parallel and cyclic algorithms. In this paper, new iterative schemes are proposed for solving this problem. Furthermore, we prove that these schemes converge strongly by hybrid methods. The results presented in this paper improve and extend some well-known results in the literature.

## 1. Introduction

Let be a real Hilbert space with inner product and norm . Let be a nonempty, closed, and convex subset of .

Let be a countable family of bifunctions from to , where is the set of real numbers. Combettes and Hirstoaga [1] considered the following system of equilibrium problems:

where is an arbitrary index set. If is a singleton, then problem (1.1) becomes the following equilibrium problem:

The solution set of (1.2) is denoted by .

A mapping of is said to be a -strict pseudocontraction if there exists a constant such that

for all ; see [2]. We denote the fixed point set of by , that is, .

Note that the class of strict pseudocontractions properly includes the class of nonexpansive mappings which are mapping on such that

for all . That is, is nonexpansive if and only if is a 0-strict pseudocontraction.

The problem (1.1) is very general in the sense that it includes, as special cases, optimization problems, variational inequalities, minimax problems, Nash equilibrium problem in noncooperative games, and others; see, for instance, [1, 3, 4] and the references therein. Some methods have been proposed to solve the equilibrium problem (1.1); related work can also be found in [5â€“8].

Recently, Acedo and Xu [9] considered the problem of finding a common fixed point of a finite family of strict pseudo-contractive mappings by the parallel and cyclic algorithms. Very recently, Duan and Zhao [10] considered new hybrid methods for equilibrium problems and strict pseudocontractions. In this paper, motivated by [5, 8â€“12], applying parallel and cyclic algorithms, we obtain strong convergence theorems for finding a common element of the fixed point set of a finite family of strict pseudocontractions and the solution set of the system of equilibrium problems (1.1) by the hybrid methods.

We will use the following notations:

(1) for the weak convergence and for the strong convergence,

(2) denotes the weak -limit set of .

## 2. Preliminaries

We will use the facts and tools in a real Hilbert space which are listed below.

Lemma 2.1.

Let be a real Hilbert space. Then the following identities hold:

(i)

(ii)

Lemma 2.2 (see [6]).

Let be a real Hilbert space. Given a nonempty, closed, and convex subset , points , and a real number , then the set

is convex (and closed).

Recall that given a nonempty, closed, and convex subset of a real Hilbert space , for any , there exists the unique nearest point in, denoted by , such that

for all . Such a is called the metric (or the nearest point) projection of onto . As we all know if and only if there holds the relation

Lemma 2.3 (see [13]).

Let be a nonempty, closed, and convex subset of . Let be a sequence in and . Let . Suppose that is such that and satisfies the following condition:

Then .

Proposition 2.4 (see [9]).

Let be a nonempty, closed, and convex subset of a real Hilbert space .

(i)If is a -strict pseudocontraction, then satisfies the Lipschitz condition

(ii)If is a -strict pseudocontraction, then the mapping is demiclosed (at 0). That is, if is a sequence in such that and , then .

(iii)If is a -strict pseudocontraction, then the fixed point set of is closed and convex. Therefore the projection is well defined.

(iv)Given an integer , assume that, for each , is a -strict pseudocontraction for some . Assume that is a positive sequence such that . Then is a -strict pseudocontraction, with

(v)Let and be given as in item (iv). Suppose that has a common fixed point. Then

Lemma 2.5 (see [2]).

Let be a -strict pseudocontraction. Define by for any . Then, for any , is a nonexpansive mapping with .

For solving the equilibrium problem, let one assume that the bifunction satisfies the following conditions:

(A1) for all

(A2) is monotone, that is, for any

(A3)for each

(A4) is convex and lower semicontinuous for each

Lemma 2.6 (see [3]).

Let be a nonempty, closed, and convex subset of , let be bifunction from to which satisfies conditions (A1)â€“(A4), and let and . Then there exists such that

Lemma 2.7 (see [1]).

For , define the mapping as follows:

for all . Then, the following statements hold:

(i) is single valued;

(ii) is firmly nonexpansive, that is, for any ,

(iii);

(iv) is closed and convex.

## 3. Parallel Algorithm

In this section, we apply the hybrid methods to the parallel algorithm for finding a common element of the fixed point set of strict pseudocontractions and the solution set of the problem (1.1) in Hilbert spaces.

Theorem 3.1.

Let be a nonempty, closed, and convex subset of a real Hilbert space , and let be bifunctions from to which satisfies conditions (A1)â€“(A4). Let, for each , be a -strict pseudocontraction for some . Let Assume that . Assume also that is a finite sequence of positive numbers such that for all and for all . Let the mapping be defined by

Given , let , and , be sequences which are generated by the following algorithm:

where for some , for some , and satisfies for all . Then, converge strongly to .

Proof.

Denote for every and for all . Therefore . The proof is divided into six steps.

Step 1.

The sequence is well defined.

It is obvious that is closed and is closed and convex for every . From Lemma 2.2, we also get that is convex.

Take , since for each , is nonexpansive, , and , we have

for all . From Proposition 2.4, Lemma 2.5, and (3.3), we get

So for all . Thus Next we will show by induction that for all . For , we have . Assume that for some . Since , we obtain

As by induction assumption, the inequality holds, in particular, for all . This together with the definition of implies that . Hence holds for all Thus , and therefore the sequence is well defined.

Step 2.

From the definition of we imply that . This together with the fact that further implies that

Then is bounded and (3.6) holds. From (3.3), (3.4), and Proposition 2.4 (i), we also obtain that , ,and are bounded.

Step 3.

The following limit holds:

From and , we get . This together with Lemma 2.1 (i) implies that

Then , that is, the sequence is nondecreasing. Since is bounded, exists. Then (3.8) holds.

Step 4.

The following limit holds:

From , we have

By (3.6), we obtain

Next we will show that

Indeed, for , it follows from the firm nonexpansivity of that for each we have

Thus we get

which implies that, for each

Therefore, by the convexity of and Lemma 2.5, we get

It follows that

Since , we get from (3.12) that (3.13) holds; then we have

Observe that we also have as . On the other hand, from , we observe that

From , (3.19), and , we obtain as . It is easy to see that

Combining the above arguments and (3.2), we have

Now, it follows from that as .

Step 5.

The following implication holds:

We first show that . To this end, we take and assume that as for some subsequence of .Without loss of generality, we may assume that

It is easily seen that each and . We also have

where Note that, by Proposition 2.4, is a -strict pseudocontraction and . Since

we obtain by virtue of (3.10) and (3.24) that

So by the demiclosedness principle (Proposition 2.4 (ii)), it follows that , and hence .

Next we will show that . Indeed, by Lemma 2.6, we have that, for each

From (A2), we get

Hence,

From (3.13), we obtain that as for each (especially, ). Together with (3.13) and (A4) we have, for each that

For any and , let . Since and , we obtain that , and hence . So, we have

Dividing by t, we get, for each that

Letting and from (A3), we get

for all and for each that is, Hence (3.23) holds.

Step 6.

From (3.6) and Lemma 2.3, we conclude that , where .

Remark 3.2.

In 2007, Acedo and Xu studied the following CQ method [9]:

In this paper, we first turn the strict pseudocontraction into nonexpansive mapping then replace with a more simple form in the iterative algorithm.

Remark 3.3.

If , , and , we can obtain [14, Theorem ].

Remark 3.4.

If , , , and and we use to replace , we can get the result that has been studied by Tada and Takahashi in [8] for nonexpansive mappings. If , , , and , we can get [7, Theorem ].

Theorem 3.5.

Let be a nonempty, closed, and convex subset of a real Hilbert space , and let be bifunctions from to which satisfies conditions (A1)â€“(A4). Let, for each , be a -strict pseudocontraction for some . Let Assume that . Assume also that is a finite sequence of positive numbers such that for all and for all . Let the mapping be defined by

Given , let {}, {}, and {} be sequences which are generated by the following algorithm:

where for some , for some , and, satisfies for all . Then, converge strongly to .

Proof.

The proof of this theorem is similar to that of Theorem 3.1.

Step 1.

The sequence is well defined. We will show by induction that is closed and convex for all . For , we have which is closed and convex. Assume that for some is closed and convex; from Lemma 2.2, we have that is also closed and convex; The proof of is similar to the one in Step 1 of Theorem 3.1.

Step 2.

for all , where

Step 3.

as

Step 4.

as

Step 5.

Step 6.

.

The proof of Step 2â€“Step 6 is similar to that of Theorem 3.1.

Remark 3.6.

If , we can obtain the two corresponding theorems in [10].

## 4. Cyclic Algorithm

Let be a closed, and convex subset of a Hilbert space , and let be -strict pseudocontractions on such that the common fixed point set

Let and let be a sequence in . The cyclic algorithm generates a sequence in the following way:

In general, is defined by

where , with .

Theorem 4.1.

Let be a nonempty, closed, and convex subset of a real Hilbert space and let be bifunctions from to which satisfies conditions (A1)â€“(A4). Let, for each , be a -strict pseudocontraction for some . Let Assume that . Given , let {}, {}, and {} be sequences which are generated by the following algorithm:

where for some , for some , and satisfies for all . Then, converge strongly to .

Proof.

The proof of this theorem is similar to that of Theorem 3.1. The main points are the following.

Step 1.

The sequence is well defined.

Step 2.

for all , where

Step 3.

Step 4.

To prove the above steps, one simply replaces with in the proof of Theorem 3.1.

Step 5.

Indeed, let and for some subsequence of . We may assume that for all . Since, by , we also have for all , we deduce that

Then the demiclosedness principle implies that for all . This ensures that .The Proof of is similar to that of Theorem 3.1.

Step 6.

The sequence converges strongly to

The strong convergence to of is a consequence of Step 2, Step 5, and Lemma 2.3.

Theorem 4.2.

Let be a nonempty, closed, and convex subset of a real Hilbert space , and let be bifunctions from to which satisfies conditions (A1)â€“(A4). Let, for each , be a -strict pseudocontraction for some . Let Assume that . Given , let {}, {}, and {} be sequences whic are generated by the following algorithm:

where for some , for some , and satisfies for all . Then, converge strongly to .

Proof.

The proof of this theorem is similar to that of Step 1 in Theorem 3.5 and Step 2â€“Step 6 in Theorem 4.1.

Remark 4.3.

If , we can obtain the two corresponding theorems in [10].

## References

Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces.

*Journal of Nonlinear and Convex Analysis*2005, 6(1):117â€“136.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-6Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems.

*The Mathematics Student*1994, 63(1â€“4):123â€“145.Colao V, Marino G, Xu HK: An iterative method for finding common solutions of equilibrium and fixed point problems.

*Journal of Mathematical Analysis and Applications*2008, 344(1):340â€“352. 10.1016/j.jmaa.2008.02.041Liu Y: A general iterative method for equilibrium problems and strict pseudo-contractions in Hilbert spaces.

*Nonlinear Analysis. Theory, Methods & Applications*2009, 71(10):4852â€“4861. 10.1016/j.na.2009.03.060Marino G, Xu HK: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces.

*Journal of Mathematical Analysis and Applications*2007, 329(1):336â€“346. 10.1016/j.jmaa.2006.06.055Nakajo 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-4Tada A, Takahashi W: Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem.

*Journal of Optimization Theory and Applications*2007, 133(3):359â€“370. 10.1007/s10957-007-9187-zAcedo GL, Xu HK: Iterative methods for strict pseudo-contractions in Hilbert spaces.

*Nonlinear Analysis. Theory, Methods & Applications*2007, 67(7):2258â€“2271. 10.1016/j.na.2006.08.036Duan PC, Zhao J: Strong convergence theorems by hybrid methods for strict pseudo-contractions and equilibrium problems.

*Fixed Point Theory and Applications*2010, 2010:-13.Kumam P: A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and a nonexpansive mapping.

*Nonlinear Analysis. Hybrid Systems*2008, 2(4):1245â€“1255. 10.1016/j.nahs.2008.09.017Takahashi 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.062Martinez-Yanes C, Xu HK: Strong convergence of the CQ method for fixed point iteration processes.

*Nonlinear Analysis. Theory, Methods & Applications*2006, 64(11):2400â€“2411. 10.1016/j.na.2005.08.018Yao YH, Chen RD: Strong convergence theorems for strict pseudo-contractions in Hilbert spaces.

*Journal of Applied Mathematics and Computing*2010, 32(1):69â€“82. 10.1007/s12190-009-0233-x

## Acknowledgment

This research is supported by Fundamental Research Funds for the Central Universities (GRANT:ZXH2009D021).

## 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

Duan, P. Convergence Theorems Concerning Hybrid Methods for Strict Pseudocontractions and Systems of Equilibrium Problems.
*J Inequal Appl* **2010**, 396080 (2010). https://doi.org/10.1155/2010/396080

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/396080