Open Access

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

Fixed Point Theory and Applications20102010:642584

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

Received: 21 May 2010

Accepted: 22 December 2010

Published: 29 December 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
(1.1)
for all and is called -inverse strongly monotone mapping if there exists a positive real number such that
(1.2)

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,
(1.3)

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

Remark 1.1.

It is not hard to check that solving (1.3) is equivalent to the fixed point problem
(1.4)
where stands for the metric projection on the closed convex set . By using the definition of the normal cone to , that is,
(1.5)
we easily prove that (1.3) is equivalent to the variational inequality
(1.6)

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
(1.7)

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:
(1.8)

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]:
(1.9)
Let be a nonlinear mapping, and let be a bifunction of into . Consider the following equilibrium problem of finding such that
(1.10)
If , then (1.10) reduces to
(1.11)

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 [1430] 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
(1.12)

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
(2.1)

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

(1) is single-valued;

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

(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
(2.3)

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
(2.4)
is equivalent to the dual variational inequality
(2.5)

Proof.

Assume that solves (2.4). For all , set
(2.6)
We note that
(2.7)
Hence, we have
(2.8)
which implies that
(2.9)
Letting , we have
(2.10)

which is exactly (2.5).

Assume that solves (2.5). Hence,
(2.11)
Noting that and are monotone, we have
(2.12)
It follows that
(2.13)
which implies that
(2.14)

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:
(3.1)
where is defined by Lemma 2.1. We note that the mapping is a contraction. As a matter of fact, we have
(3.2)
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
(3.3)

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:
(3.4)

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
(3.5)
This implies that
(3.6)

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
(3.7)
By (3.3), we have
(3.8)
This together with (3.7) implies that
(3.9)
It follows that
(3.10)
Therefore
(3.11)
Using Lemma 2.1, we obtain
(3.12)
which implies that
(3.13)
From (3.3), we have
(3.14)
Hence,
(3.15)
It follows that
(3.16)
Next, we show that, for each fixed , the net is relatively norm-compact as . It follows from (3.8) that
(3.17)
It turns out that
(3.18)
Assume that is such that as . By (3.18), we conclude immediately that
(3.19)

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
(3.20)
From the monotonicity of , we have
(3.21)
Hence,
(3.22)
Put for all and . From (3.22), we have
(3.23)
Note that . Further, from monotonicity of , we have . Letting in (3.23), we have
(3.24)
From (F1), (F4), and (3.24), we also have
(3.25)
and hence
(3.26)
Letting in (3.26), we have, for each ,
(3.27)

This implies that .

We can then substitute for in (3.19) to get
(3.28)

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
(3.29)
In particular, solves the following variational inequality:
(3.30)
or the equivalent dual variational inequality (see Lemma 2.4)
(3.31)

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
(3.32)
By virtue of the monotonicity of and the fact that , we have
(3.33)
It follows from (3.32) and (3.33) that
(3.34)
Hence,
(3.35)
Therefore,
(3.36)
In particular,
(3.37)

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
(3.38)
However, since is monotone,
(3.39)
Combining the last two relations yields
(3.40)
Letting as in (3.40), we get
(3.41)
which is equivalent to its dual variational inequality
(3.42)

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)
(3.43)
Therefore, the weak convergence to of implies that in norm. Now we can let in (3.36) to get
(3.44)

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
(3.45)

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
(3.46)
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:
(3.47)

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
(3.48)
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:
(3.49)

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
(3.50)
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:
(3.51)

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, Tianjin Polytechnic University
(2)
Department of Information Management, Cheng Shiu University
(3)
Department of Computer Science and Engineering, National Sun Yat-sen University

References

  1. 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.MathSciNetMATHGoogle Scholar
  2. 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-0MathSciNetView ArticleMATHGoogle Scholar
  3. Moudafi A: Krasnoselski-Mann iteration for hierarchical fixed-point problems. Inverse Problems 2007,23(4):1635–1640. 10.1088/0266-5611/23/4/015MathSciNetView ArticleMATHGoogle Scholar
  4. Moudafi A, Maingé P-E: Towards viscosity approximations of hierarchical fixed-point problems. Fixed Point Theory and Applications 2006, 2006:-10.Google Scholar
  5. Yao Y, Liou Y-C: Weak and strong convergence of Krasnoselski-Mann iteration for hierarchical fixed point problems. Inverse Problems 2008,24(1):-8.MathSciNetView ArticleMATHGoogle Scholar
  6. 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.Google Scholar
  7. 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/S0004972709000082MathSciNetView ArticleMATHGoogle Scholar
  8. Lu 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.067MathSciNetView ArticleMATHGoogle Scholar
  9. Yao 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.029MathSciNetView ArticleMATHGoogle Scholar
  10. Yamada 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.MathSciNetView ArticleMATHGoogle Scholar
  11. Luo Z-Q, Pang J-S, Ralph D: Mathematical Programs with Equilibrium Constraints. Cambridge University Press, Cambridge, UK; 1996:xxiv+401.View ArticleMATHGoogle Scholar
  12. 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/S105262340343467XMathSciNetView ArticleMATHGoogle Scholar
  13. Solodov M: An explicit descent method for bilevel convex optimization. Journal of Convex Analysis 2007,14(2):227–237.MathSciNetMATHGoogle Scholar
  14. 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.032MathSciNetView ArticleMATHGoogle Scholar
  15. Ceng 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.022MathSciNetView ArticleMATHGoogle Scholar
  16. Yao 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.021MathSciNetView ArticleMATHGoogle Scholar
  17. Peng 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.MathSciNetMATHGoogle Scholar
  18. 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.MathSciNetMATHGoogle Scholar
  19. 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-9MathSciNetView ArticleMATHGoogle Scholar
  20. Yao 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.Google Scholar
  21. 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.Google Scholar
  22. 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-zMathSciNetView ArticleMATHGoogle Scholar
  23. Yao 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.Google Scholar
  24. 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.055MathSciNetView ArticleMATHGoogle Scholar
  25. Yao 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.236MathSciNetView ArticleMATHGoogle Scholar
  26. Marino 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/S000497270800107XMathSciNetView ArticleMATHGoogle Scholar
  27. Ceng 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.033MathSciNetView ArticleMATHGoogle Scholar
  28. Zeng LC, Lin YC, Yao JC: Iterative schemes for generalized equilibrium problem and two maximal monotone operators. Journal of Inequalities and Applications 2009, 2009:-34.Google Scholar
  29. 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.MathSciNetMATHGoogle Scholar
  30. 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.Google Scholar
  31. Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. Journal of Nonlinear and Convex Analysis 2005,6(1):117–136.MathSciNetMATHGoogle Scholar
  32. 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:1025407607560MathSciNetView ArticleMATHGoogle Scholar
  33. Goebel K, Kirk WA: Topics in Metric Fixed Point Theory, Cambridge Studies in Advanced Mathematics. Volume 28. Cambridge University Press, Cambridge, UK; 1990:viii+244.View ArticleMATHGoogle Scholar

Copyright

© Yonghong Yao et al. 2010

This article is published under license to BioMed Central Ltd. 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.