- Research Article
- Open access
- Published:

# Hierarchical Convergence of a Double-Net Algorithm for Equilibrium Problems and Variational Inequality Problems

*Fixed Point Theory and Applications*
**volumeÂ 2010**, ArticleÂ number:Â 642584 (2010)

## Abstract

We consider the following hierarchical equilibrium problem and variational inequality problem (abbreviated as HEVP): find a point such that , for all , where , are two monotone operators and is the solution of the equilibrium problem of finding such that , for all . We note that the problem (HEVP) includes some problems, for example, mathematical program and hierarchical minimization problems as special cases. For solving (HEVP), we propose a double-net algorithm which generates a net . We prove that the net hierarchically converges to the solution of (HEVP); that is, for each fixed , the net converges in norm, as , to a solution of the equilibrium problem, and as , the net converges in norm to the unique solution of (HEVP).

## 1. Introduction

Let be a real Hilbert space with inner product and norm , respectively, and let be a nonempty closed convex subset of . Recall that a mapping of into is called monotone if

for all and is called-inverse strongly monotone mapping if there exists a positive real number such that

for all . It is obvious that any-inverse strongly monotone mapping is monotone and -Lipschitz continuous.

Recently, the following problem has attracted much attention: find hierarchically a fixed point of a nonexpansive mapping with respect to a nonexpansive mapping , namely,

Some algorithms for solving the hierarchical fixed point problem (1.3) have been introduced by many authors. For related works, please see, for instance, [1â€“9] and the references therein.

Remark 1.1.

It is not hard to check that solving (1.3) is equivalent to the fixed point problem

where stands for the metric projection on the closed convex set . By using the definition of the normal cone to , that is,

we easily prove that (1.3) is equivalent to the variational inequality

At this point, we wish to point out the link with some monotone variational inequalities and convex programming problems as follows.

Example 1.2.

Setting , where is -Lipschitzian and -strongly monotone with , then (1.3) reduces to

a variational inequality studied by Yamada and Ogura [10].

Example 1.3.

Let be a maximal monotone operator. Taking and , where is a convex function such that is -Lipschitzian (which is equivalent to the fact that is cocoercive) with , and . Then (1.3) reduces to the following mathematical program with generalized equation constraint:

a problem considered by Luo et al. [11].

Example 1.4.

Taking , where is the subdifferential of a lower semicontinuous convex function, then (1.8) reduces to the following hierarchical minimization problem considered in Cabot [12] and Solodov [13]:

Let be a nonlinear mapping, and let be a bifunction of into . Consider the following equilibrium problem of finding such that

If , then (1.10) reduces to

The solution set of equilibrium problems (1.10) and (1.11) are denoted by and , respectively. The equilibrium problem (1.10) is very general in the sense that it includes, as special cases, optimization problems, variational inequalities, fixed point problems, minimax problems, Nash equilibrium problem in noncooperative games, and others. We remind the readers to refer to [14â€“30] and the references therein.

Motivated and inspired by the above works, in this paper, we consider the following hierarchical equilibrium problem and variational inequality problem: find a point such that

where are two monotone operators. The solution set of (1.12) is denoted by .

Remark 1.5.

It is clear that the hierarchical variational inequality problem and equilibrium problem (1.12) includes the variational inequality problem studied by Yamada and Ogura [10], mathematical program studied by Luo et al. [11], hierarchical minimization problem considered by Cabot [12] and Solodov [13], as special cases.

For solving (1.12), we propose a double-net algorithm which generates a net . We prove that the net hierarchically converges to the solution of (1.12); that is, for each fixed , the net converges in norm, as , to a solution of the equilibrium problem, and as , the net converges in norm to the unique solution of (1.12).

## 2. Preliminaries

Let be a real Hilbert space. Throughout this paper, let us assume that a bifunction â€‰ satisfies the following conditions:

(F1) for all ;

(F2) is monotone, that is, for all ;

(F3) for each , ;

(F4) for each , is convex and lower semicontinuous.

On the equilibrium problems, we have the following important lemma. You can find it in [31].

Lemma 2.1.

Let be a real Hilbert space, and let be a bifunction of into satisfying conditions (F1)â€“(F4). Let , and . Then, there exists such that

Further, if , for all , then the following hold:

(1) is single-valued;

(2) is firmly nonexpansive; that is, for any ,

(3);

(4) is closed and convex.

Below we gather some basic facts that are needed in the argument of the subsequent sections.

Lemma 2.2 (see [32]).

Let be a real Hilbert space. Let the mapping be *Î±*-inverse strongly monotone, and let be a constant. Then, one has

In particular, if , then is nonexpansive.

Lemma 2.3 (demiclosedness principle for nonexpansive mappings, see [33]).

Let be a nonempty closed convex subset of a real Hilbert space and let be a nonexpansive mapping with . If is a sequence in weakly converging to , and if converges strongly to , then ; in particular, if , then .

Lemma 2.4.

Let be a real Hilbert space. Let be a -contraction with coefficient . Let the mapping be *Î±*-inverse strongly monotone. Let , and . Then the variational inequality

is equivalent to the dual variational inequality

Proof.

Assume that solves (2.4). For all , set

We note that

Hence, we have

which implies that

Letting , we have

which is exactly (2.5).

Assume that solves (2.5). Hence,

Noting that and are monotone, we have

It follows that

which implies that

This implies that solves (2.4). The proof is completed.

## 3. Main Results

In this section, we first introduce our double-net algorithm.

Let be a real Hilbert space. Let be a -contraction with coefficient . Let the mappings be-inverse strongly monotone and-inverse strongly monotone, respectively. Let be a bifunction from â€‰â€‰**,** and let and be two constants. For , we define the following mapping:

where is defined by Lemma 2.1. We note that the mapping is a contraction. As a matter of fact, we have

which implies that the mapping is contractive. Hence, by Banach's contraction principle, has a unique fixed point which is denoted ; that is, is the unique solution in of the fixed point equation

Below is our main result of this paper which displays the behavior of the net as and successively.

Theorem 3.1.

Let be a real Hilbert space. Let be a -contraction with coefficient . Let the mappings be *Î±*-inverse strongly monotone and *Î²*-inverse strongly monotone, respectively. Let and be two constants. Let be a bifunction from satisfying (F1)â€“(F4). Suppose the solution set of (1.12) is nonempty. Let, for each , be defined implicitly by (3.3). Then, the net hierarchically converges to the unique solution of the hierarchical equilibrium problem and variational inequality problem (1.12). That is to say, for each fixed , the net converges in norm, as , to a solution of the equilibrium problem (1.10). Moreover, as , the net converges in norm to the unique solution . Furthermore, also solves the following variational inequality:

We divide our detailed proofs into several conclusions as follows. Throughout, we assume all assumptions of Theorem 3.1 are satisfied.

Conclusion.

For each fixed , the net is bounded.

Proof.

Take any . It is clear that . Set for all . Since , and are nonexpansive (by Lemmas 2.1 and 2.2), we have from (3.3) that

This implies that

It follows that for each fixed , is bounded, so are the nets , and . Note that we use as a positive constant which bounds all bounded terms appearing in the following.

Conclusion.

as .

Proof.

From Lemma 2.2, we have

By (3.3), we have

This together with (3.7) implies that

It follows that

Therefore

Using Lemma 2.1, we obtain

which implies that

From (3.3), we have

Hence,

It follows that

Next, we show that, for each fixed , the net is relatively norm-compact as . It follows from (3.8) that

It turns out that

Assume that is such that as . By (3.18), we conclude immediately that

Since is bounded, without loss of generality, we may assume that as , converges weakly to a point . Note that also converges weakly to a point .

Now we show that . Since , for any , we have

From the monotonicity of , we have

Hence,

Put for all and . From (3.22), we have

Note that . Further, from monotonicity of , we have . Letting in (3.23), we have

From (F1), (F4), and (3.24), we also have

and hence

Letting in (3.26), we have, for each ,

This implies that .

We can then substitute for in (3.19) to get

Consequently, the weak convergence of to actually implies that strongly. This has proved the relative norm-compactness of the net as .

Now we return to (3.19) and take the limit, as , to get

In particular, solves the following variational inequality:

or the equivalent dual variational inequality (see Lemma 2.4)

Notice that (3.31) is equivalent to the fact that . That is, is the unique element in of the contraction . Clearly, this is sufficient to conclude that the entire net converges in norm to as .

Conclusion.

The net is bounded.

Proof.

In (3.31), we take any to deduce

By virtue of the monotonicity of and the fact that , we have

It follows from (3.32) and (3.33) that

Hence,

Therefore,

In particular,

which implies that is bounded.

Conclusion.

The net which solves the variational inequality VI (3.4).

Proof.

First, we note that the solution of the variational inequality VI (3.4) is unique.

We next prove that ; namely, if is a null sequence in such that weakly as , then . To see this, we use (3.31) to get

However, since is monotone,

Combining the last two relations yields

Letting as in (3.40), we get

which is equivalent to its dual variational inequality

Namely, is a solution of VI (1.12); hence, .

We further prove that , the unique solution of VI (3.4). As a matter of fact, we have by (3.36)

Therefore, the weak convergence to of implies that in norm. Now we can let in (3.36) to get

It turns out that solves VI (3.4). By uniqueness, we have . This is sufficient to guarantee that in norm, as . The proof is complete.

Proof.

By Conclusions 1â€“4, the proof of Theorem 3.1 is completed.

Take . Then (1.12) reduces to the following: find a point such that

The solution of (3.45) is denoted by .

Corollary 3.2.

Let be a real Hilbert space. Let be a -contraction with coefficient . Let the mapping be *Î±*-inverse strongly monotone. Let be a constant. Let be a bifunction from satisfying (F1)â€“(F4). Suppose the solution set is nonempty. Let, for each , be defined implicitly by

Then, the net hierarchically converges to the unique solution of the hierarchical equilibrium problem and variational inequality problem (3.45). That is to say, for each fixed , the net converges in norm, as , to a solution of the equilibrium problem (1.11). Moreover, as , the net converges in norm to the unique solution . Furthermore, solves the following variational inequality:

Taking in Theorem 3.1, we have the following corollary.

Corollary 3.3.

Let be a real Hilbert space. Let be a -contraction with coefficient . Let the mapping be *Î²*-inverse strongly monotone. Let be a constant. Let be a bifunction from satisfying (F1)â€“(F4). Suppose that the solution set of (1.10) is nonempty. Let, for each , be defined implicitly by

Then, the net hierarchically converges to the unique solution of the equilibrium problem (1.10). That is to say, for each fixed , the net converges in norm, as , to a solution of the equilibrium problem (1.10). Moreover, as , the net converges in norm to the unique solution . Furthermore, solves the following variational inequality:

Taking in Theorem 3.1, we have the following corollary.

Corollary 3.4.

Let be a real Hilbert space. Let be a -contraction with coefficient . Let be a bifunction from satisfying (F1)â€“(F4). Suppose the solution set of (1.11) is nonempty. Let, for each , be defined implicitly by

Then, the net hierarchically converges to the unique solution of the equilibrium problem (1.11). That is to say, for each fixed , the net converges in norm, as , to a solution of the equilibrium problem (1.11). Moreover, as , the net converges in norm to the unique solution . Furthermore, solves the following variational inequality:

## References

MaingÃ© P-E, Moudafi A:

**Strong convergence of an iterative method for hierarchical fixed-point problems.***Pacific Journal of Optimization*2007,**3**(3):529â€“538.Ceng LC, PetruÅŸel A:

**Krasnoselski-Mann iterations for hierarchical fixed point problems for a finite family of nonself mappings in Banach spaces.***Journal of Optimization Theory and Applications*2010,**146**(3):617â€“639. 10.1007/s10957-010-9679-0Moudafi A:

**Krasnoselski-Mann iteration for hierarchical fixed-point problems.***Inverse Problems*2007,**23**(4):1635â€“1640. 10.1088/0266-5611/23/4/015Moudafi A, MaingÃ© P-E:

**Towards viscosity approximations of hierarchical fixed-point problems.***Fixed Point Theory and Applications*2006,**2006:**-10.Yao Y, Liou Y-C:

**Weak and strong convergence of Krasnoselski-Mann iteration for hierarchical fixed point problems.***Inverse Problems*2008,**24**(1):-8.Cianciaruso F, Marino G, Muglia L, Yao Y:

**On a two-step algorithm for hierarchical fixed point problems and variational inequalities.***Journal of Inequalities and Applications*2009,**2009:**-13.Cianciaruso F, Colao V, Muglia L, Xu H-K:

**On an implicit hierarchical fixed point approach to variational inequalities.***Bulletin of the Australian Mathematical Society*2009,**80**(1):117â€“124. 10.1017/S0004972709000082Lu X, Xu H-K, Yin X:

**Hybrid methods for a class of monotone variational inequalities.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(3â€“4):1032â€“1041. 10.1016/j.na.2008.11.067Yao Y, Chen R, Xu H-K:

**Schemes for finding minimum-norm solutions of variational inequalities.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(7â€“8):3447â€“3456. 10.1016/j.na.2009.12.029Yamada I, Ogura N:

**Hybrid steepest descent method for variational inequality problem over the fixed point set of certain quasi-nonexpansive mappings.***Numerical Functional Analysis and Optimization*2004,**25**(7â€“8):619â€“655.Luo Z-Q, Pang J-S, Ralph D:

*Mathematical Programs with Equilibrium Constraints*. Cambridge University Press, Cambridge, UK; 1996:xxiv+401.Cabot A:

**Proximal point algorithm controlled by a slowly vanishing term: applications to hierarchical minimization.***SIAM Journal on Optimization*2005,**15**(2):555â€“572. 10.1137/S105262340343467XSolodov M:

**An explicit descent method for bilevel convex optimization.***Journal of Convex Analysis*2007,**14**(2):227â€“237.Ceng L-C, Al-Homidan S, Ansari QH, Yao J-C:

**An iterative scheme for equilibrium problems and fixed point problems of strict pseudo-contraction mappings.***Journal of Computational and Applied Mathematics*2009,**223**(2):967â€“974. 10.1016/j.cam.2008.03.032Ceng L-C, Yao J-C:

**A hybrid iterative scheme for mixed equilibrium problems and fixed point problems.***Journal of Computational and Applied Mathematics*2008,**214**(1):186â€“201. 10.1016/j.cam.2007.02.022Yao Y, Noor MA, Liou Y-C:

**On iterative methods for equilibrium problems.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(1):497â€“509. 10.1016/j.na.2007.12.021Peng J-W, Yao J-C:

**A new hybrid-extragradient method for generalized mixed equilibrium problems, fixed point problems and variational inequality problems.***Taiwanese Journal of Mathematics*2008,**12**(6):1401â€“1432.Peng J-W, Yao J-C:

**Some new iterative algorithms for generalized mixed equilibrium problems with strict pseudo-contractions and monotone mappings.***Taiwanese Journal of Mathematics*2009,**13**(5):1537â€“1582.Ceng LC, PetruÅŸel A, Yao JC:

**Iterative approaches to solving equilibrium problems and fixed point problems of infinitely many nonexpansive mappings.***Journal of Optimization Theory and Applications*2009,**143**(1):37â€“58. 10.1007/s10957-009-9549-9Yao Y, Liou Y-C, Yao J-C:

**A new hybrid iterative algorithm for fixed-point problems, variational inequality problems, and mixed equilibrium problems.***Fixed Point Theory and Applications*2008,**2008:**-15.Peng J-W, Liou Y-C, Yao J-C:

**An iterative algorithm combining viscosity method with parallel method for a generalized equilibrium problem and strict pseudocontractions.***Fixed Point Theory and Applications*2009,**2009:**-21.Ceng LC, Mastroeni G, Yao JC:

**Hybrid proximal-point methods for common solutions of equilibrium problems and zeros of maximal monotone operators.***Journal of Optimization Theory and Applications*2009,**142**(3):431â€“449. 10.1007/s10957-009-9538-zYao Y, Liou Y-C, Yao J-C:

**Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings.***Fixed Point Theory and Applications*2007,**2007:**-12.Yao Y, Noor MA, Zainab S, Liou Y-C:

**Mixed equilibrium problems and optimization problems.***Journal of Mathematical Analysis and Applications*2009,**354**(1):319â€“329. 10.1016/j.jmaa.2008.12.055Yao Y, Cho YJ, Chen R:

**An iterative algorithm for solving fixed point problems, variational inequality problems and mixed equilibrium problems.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(7â€“8):3363â€“3373. 10.1016/j.na.2009.01.236Marino G, Colao V, Muglia L, Yao Y:

**Krasnoselski-Mann iteration for hierarchical fixed points and equilibrium problem.***Bulletin of the Australian Mathematical Society*2009,**79**(2):187â€“200. 10.1017/S000497270800107XCeng L-C, Yao J-C:

**A relaxed extragradient-like method for a generalized mixed equilibrium problem, a general system of generalized equilibria and a fixed point problem.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(3â€“4):1922â€“1937. 10.1016/j.na.2009.09.033Zeng LC, Lin YC, Yao JC:

**Iterative schemes for generalized equilibrium problem and two maximal monotone operators.***Journal of Inequalities and Applications*2009,**2009:**-34.Honda T, Takahashi W, Yao J-C:

**Nonexpansive retractions onto closed convex cones in Banach spaces.***Taiwanese Journal of Mathematics*2010,**14**(3B):1023â€“1046.Zeng L-C, Ansari QH, Shyu DS, Yao J-C:

**Strong and weak convergence theorems for common solutions of generalized equilibrium problems and zeros of maximal monotone operators.***Fixed Point Theory and Applications*2010,**2010:**-33.Combettes PL, Hirstoaga SA:

**Equilibrium programming in Hilbert spaces.***Journal of Nonlinear and Convex Analysis*2005,**6**(1):117â€“136.Takahashi W, Toyoda M:

**Weak convergence theorems for nonexpansive mappings and monotone mappings.***Journal of Optimization Theory and Applications*2003,**118**(2):417â€“428. 10.1023/A:1025407607560Goebel K, Kirk WA:

*Topics in Metric Fixed Point Theory, Cambridge Studies in Advanced Mathematics*.*Volume 28*. Cambridge University Press, Cambridge, UK; 1990:viii+244.

## Acknowledgment

The work of the second author was partially supported by the Grant NSC 98-2923-E-110-003-MY3 and the work of the third author was partially supported by the Grant NSC 98-2221-E-110-064.

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

Yao, Y., Liou, YC. & Chen, CP. Hierarchical Convergence of a Double-Net Algorithm for Equilibrium Problems and Variational Inequality Problems.
*Fixed Point Theory Appl* **2010**, 642584 (2010). https://doi.org/10.1155/2010/642584

Received:

Accepted:

Published:

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