Abstract
In infinite-dimensional Hilbert spaces, we prove that the iterative sequence generated by the extragradient method for solving pseudo-monotone variational inequalities converges weakly to a solution. A class of pseudo-monotone variational inequalities is considered to illustrate the convergent behavior. The result obtained in this note extends some recent results in the literature; especially, it gives a positive answer to a question raised in Khanh (Acta Math Vietnam 41:251–263, 2016).
Avoid common mistakes on your manuscript.
1 Introduction
Variational inequalities serve as a powerful mathematical model, which unifies important concepts in applied mathematics like systems of nonlinear equations, necessary optimality conditions for optimization problems, complementarity problems, obstacle problems, or network equilibrium problems [1]. Therefore, this model has numerous applications in the fields of engineering, mathematical programming, network economics, transportation research, game theory, and regional sciences [2].
Several techniques for the solution of a variational inequality (VI) in finite-dimensional spaces have been suggested such as projection method, extragradient method, Tikhonov regularization method and proximal point method; see, e.g., [1]. Typically, for guaranteeing the convergence to a solution of the VI, some kinds of monotonicity of the assigned mapping is required. In case of gradient maps, generalized monotonicity characterizes generalized convexity of the underlying function [3]. The well-known gradient projection method can be successfully applied for solving strongly monotone VIs and inverse strongly monotone VIs [1, 4]. In practice, these assumptions are rather strong. The Tikhonov regularization and proximal point methods can serve as an efficient solution method for solving monotone VIs. For pseudo-monotone VIs, however, it may happen that every regularized problem generated by the Tikhonov regularization (resp. every problem generated by the proximal point method) is not pseudo-monotone [5]. This implies that the regularization procedures performed in Tikhonov regularization and proximal point methods may destroy completely the given pseudo-monotone structure of the original problem and can make auxiliary problems more difficult to solve than the original one.
To overcome this drawback, Korpelevich introduced the extragradient method [6]. In the original paper, this method was applied for solving monotone VIs in finite-dimensional spaces. It is a known fact [1, Theorem 12.2.11] that the extragradient method can be successfully applied for solving pseudo-monotone VIs. Because of its importance, extragradient-type methods have been widely studied and generalized [1].
Recently, the extragradient method has been considered for solving VIs in infinite-dimensional Hilbert spaces [7,8,9]. Providing that the VI has solutions and the assigned mapping is monotone and Lipschitz continuous, it is proved that the iterative sequence generated by the extragradient method converges weakly to a solution. However, as stated in [9, Section 6, Q2], it is not clear if the weak convergence is still available when monotonicity is replaced by pseudo-monotonicity. The aim of this paper is to give a positive answer to this question. As a consequence, the scope of the related optimization problems can be enlarged from convex optimization problems to pseudo-convex optimization problems. This guarantees the advantage of extragradient method in comparing with the other solution methods.
The paper is organized as follows: We first recall some basic definitions and results in Sect. 2. The weak convergence of the extragradient method for solving pseudo-monotone, Lipschitz continuous VIs is discussed in Sect. 3. An example is presented in Sect. 4 to illustrate the behavior of the extragradient method. We conclude the note with some final remarks in Sect. 5.
2 Preliminaries
Let H be real Hilbert space with inner product \(\langle \cdot , \cdot \rangle \) and induced norm \(\Vert .\Vert \) and K be a nonempty, closed and convex subset of H. For each \(u\in H\), there exists a unique point in K (see [2, p. 8]), denoted by \(P_K(u)\), such that
It is well known [2, 10] that the projection operator can be characterized by
Let \(F: H \rightarrow H\) be a mapping. The variational inequality VI(K, F) defined by K and F consists in finding a point \(u^*\in K\) such that
The solution set of VI(K, F) is abbreviated to Sol(K, F).
Remark 2.1
\(u^*\in \mathrm{Sol}(K, F)\) if and only if \(u^*=P_K(u^*-\lambda F(u^*))\) for all \(\lambda >0\).
We recall some concepts which are useful in the sequel.
Definition 2.1
The mapping \(F: H \rightarrow H\) is said to be
-
(a)
pseudo-monotone if
$$\begin{aligned} \langle F(u),v-u\rangle \ge 0\;\Rightarrow \; \langle F(v),v-u\rangle \ge 0 \quad \forall u,v \in H; \end{aligned}$$ -
(b)
monotone if
$$\begin{aligned} \langle F(u)-F(v), u-v\rangle \ge 0\quad \forall u,v \in H; \end{aligned}$$ -
(c)
Lipschitz continuous if there exists \(L>0\) such that
$$\begin{aligned} \Vert F(u)-F(v)\Vert \le L \Vert u-v \Vert \quad \forall u,v \in H; \end{aligned}$$ -
(d)
sequentially weakly continuous if for each sequence \(\{u^n\}\) we have: \(\{u^n\}\) converges weakly to u implies \(\{F(u^n)\}\) converges weakly to F(u).
Remark 2.2
It is clear that monotonicity implies pseudo-monotonicity. However, the converse does not hold. For example, the mapping \(F:\left]0,+\infty \right[ \rightarrow \left]0,+\infty \right[\), defined by \(F(u)=\frac{a}{a+u}\) with \(a>0\) is pseudo-monotone but not monotone.
We recall a result which is called Minty lemma [11, Lemma 2.1].
Proposition 2.1
Consider the problem VI(K, F) with K being a nonempty, closed, convex subset of a real Hilbert space H and \(F: K\rightarrow H\) being pseudo-monotone and continuous. Then, \(u^*\) is a solution of VI(K, F) if and only if
3 Weak Convergence of the Extragradient Method
In this section, we consider the problem VI(K, F) with K being nonempty, closed, convex and F being pseudo-monotone on H and Lipschitz continuous with modulus \(L>0\) on K. We also assume that the solution set Sol(K, F) is nonempty.
Extragradient Algorithm
-
Data: \(u^0\in K\) and \(\{ \lambda _k \} \in [a,b]\), where \(0<a\le b<1/L\).
-
Step 0: Set \(k=0\).
-
Step 1: If \(u^k=P_K(u^k-\lambda _k F(u^k))\) then stop.
-
Step 2: Otherwise, set
$$\begin{aligned} \bar{u}^k= & {} P_K(u^k-\lambda _k F(u^k)),\\ u^{k+1}= & {} P_K(u^k-\lambda _k F(\bar{u}^k)). \end{aligned}$$
Replace k by \(k+1\); go to Step 1.
Remark 3.1
If at some iteration we have \(F(u^k)=0\), then \(u^k=P_K(u^k-\lambda _k F(u^k))\) and the Extragradient Algorithm terminates at step k with a solution \(u^k\). From now on, we assume that \(F(u^k)\not =0 \) for all k and the Extragradient Algorithm generates an infinite sequence.
We recall an important property of the iterative sequence \(\{u^k\}\) generated by the Extragradient Algorithm; see, e.g., [6, 9].
Proposition 3.1
Assume that F is pseudo-monotone and L-Lipschitz continuous on K and Sol(K, F) is nonempty. Let \(u^*\) be a solution of VI(K, F). Then, for every \(k\in \mathbb {N}\), we have
We are now in the position to establish the main result of this note. The following theorem states that the sequence \(\{u^k\}\) converges weakly to a solution of VI(K, F). This result extends the Extragradient Algorithm for solving monotone VIs [7, 9] to pseudo-monotone VIs.
Theorem 3.1
Assume that F is pseudo-monotone on H, sequentially weakly continuous and L-Lipschitz continuous on K. Assume also that Sol(K, F) is nonempty. Then, the sequence \(\{u^k\}\) generated by the Extragradient Algorithm converges weakly to a solution of VI(K, F).
Proof
Since \(0<a \le \lambda _k \le b <1/L\), it holds that
Therefore, from Proposition 3.1, the sequence \(\{u^k\}\) is bounded and
Since F is Lipschitz continuous on K we have
Hence
As \(\{u^k\}\) is a bounded sequence in a Hilbert space, there exists a subsequence \(\{u^{k_i}\}\) of \(\{u^k\}\) converging weakly to an element \(\hat{u} \in K\). Since \(\lim _{k \rightarrow \infty }\Vert u^k-\bar{u}^{k}\Vert =0\), \(\{\bar{u}^{k_i}\}\) also converges weakly to \(\hat{u}\). We will prove that \(\hat{u} \in \mathrm{Sol}(K,F)\). Indeed, since
by the projection characterization (1), it holds
or equivalently,
This implies that
Fixing \(v \in K\) and letting \(i \rightarrow +\infty \) in the last inequality, remembering that \(\lim _{k \rightarrow \infty }\Vert u^k-\bar{u}^{k}\Vert =0\) and \(\lambda _k \in [a,b] \subset ]0,1/L[\) for all k, we have
Now we choose a sequence \(\{\epsilon _i\}_i\) of positive numbers decreasing and tending to 0. For each \(\epsilon _i\), we denote by \(n_i\) the smallest positive integer such that
where the existence of \(n_i\) follows from (5). Since \(\left\{ \epsilon _i \right\} \) is decreasing, it is easy to see that the sequence \( \left\{ n_i \right\} \) is increasing. Furthermore, for each i, \(F(u^{k_{n_i}}) \not = 0\) and, setting
we have \( \left\langle F(u^{k_{n_i}}),v^{k_{n_i}} \right\rangle =1\) for each i. Now we can deduce from (6) that for each i
and, since F is pseudo-monotone, that
On the other hand, we have that \(\left\{ u^{k_i} \right\} \) converges weakly to \(\hat{u}\) when \(i \rightarrow \infty \). Since F is sequentially weakly continuous on K, \(\left\{ F(u^{k_i}) \right\} \) converges weakly to \(F(\hat{u})\). We can suppose that \(F(\hat{u}) \not = 0\) (otherwise, \(\hat{u}\) is a solution). Since the norm mapping is sequentially weakly lower semicontinuous, we have
Since \(\left\{ u^{k_{n_i}} \right\} \subset \left\{ u^{k_i} \right\} \) and \(\epsilon _i \rightarrow 0\) as \(i \rightarrow 0\), we obtain
Hence, taking the limit as \(i \rightarrow \infty \) in (7), we obtain
It follows from Proposition 2.1 that \(\hat{u} \in \mathrm{Sol}(K,F)\).
Finally, we prove that the sequence \(\{u^k\}\) converges weakly to \(\hat{u}\). To do this, it is sufficient to show that \(\{u^k\}\) cannot have two distinct weak sequential cluster points in Sol(K, F). Let \(\{u^{k_j}\}\) be another subsequence of \(\{u^k\}\) converging weakly to \(\bar{u}\). We have to prove that \(\hat{u}=\bar{u}\). As it has been proven above, \(\bar{u} \in \mathrm{Sol}(K,F)\). From Proposition 3.1, the sequences \(\{\Vert u^k-\hat{u}\Vert \}\) and \(\{\Vert u^k-\bar{u}\Vert \}\) are monotonically decreasing and therefore converge. Since for all \(k \in \mathbb {N}\),
we deduce that the sequence \(\{\left\langle u^{k},\bar{u}-\hat{u} \right\rangle \}\) also converges. Setting
and passing to the limit along \(\{u^{k_i}\}\) and \(\{u^{k_j}\}\) yields, respectively,
This implies that \(\Vert \hat{u}-\bar{u}\Vert ^2=0\) and therefore \(\hat{u}=\bar{u}\).\(\square \)
Remark 3.2
The author in [13] studied the extragradient method for solving strongly pseudo-monotone variational inequalities with the following choice of stepsizes:
It was proved that the iterative sequence generated by the extragradient method converges strongly to a solution. By considering an example [13, Example 4.2], the author stated that the condition \(\lim _{k \rightarrow \infty } \lambda _k=0\) cannot be omitted. We have shown that if this condition is violated then the strong convergence reduces to the weak convergence.
It is also worth stressing that, the basic extragradient method can serve as an adequate solution method for solving pseudo-monotone VIs, which was not guaranteed by the method studied in [13].
Remark 3.3
If we replace the Lipschitz continuity of F on K by its Lipschitz continuity on the whole space H, then the conclusion in Theorem 3.1 still holds for the subgradient extragradient method [7]. Indeed, a careful reviewing shows that Lemma 5.2 in [7] is also guaranteed for pseudo-monotone mappings instead of monotone ones (see also [12]). The conclusion can be obtained by using a similar technique as in Theorem 3.1.
Remark 3.4
When the function F is monotone, it is not necessary to impose the sequential weak continuity on F. Indeed, in that case, it follows from (4) and the monotonicity of F that
Letting \(i \rightarrow +\infty \) in the last inequality, remembering that \(\lim _{k \rightarrow \infty }\Vert u^k-\bar{u}^{k}\Vert =0\) and \(\lambda _k \in [a,b] \subset ]0,1/L[\) for all k, we have
4 An Illustrative Example
In this section, we present an example to illustrate the main results obtained in Sect. 3. Another example can be found in [9, Example 5.2], where the mapping F is monotone and Lipchitz continuous. The following example is considered in [13], where the mapping F is pseudo-monotone but not monotone.
Let \(H=\ell _2\), the real Hilbert space, whose elements are the square-summable sequences of real numbers, i.e., \(H=\{u=(u_1,u_2,\ldots ,u_i,\ldots ): \sum _{i=1}^{\infty }|u_i|^2<+\infty \}\). The inner product and the norm on H are given by setting
for any \(u=(u_1,u_2,\ldots ,u_i,\ldots ), v=(v_1,v_2,\ldots ,v_i,\ldots )\in H\).
Let \(\alpha ,\beta \in \mathbb {R}\) be such that \(\displaystyle \beta>\alpha>\frac{\beta }{2}>0\). Put
where \(\alpha \) and \(\beta \) are parameters. It is easy to verify that \(F_\beta \) is sequentially weakly continuous on H and \( \mathrm{Sol}(K_\alpha ,F_\beta )=\{0\}.\) Note that \(F_\beta \) is Lipschitz continuous and pseudo-monotone on \(K_\alpha \). Indeed, for any \(u, v\in K_\alpha \),
Hence, \(F_\beta \) is Lipschitz continuous on \(K_\alpha \) with the Lipschitz constant \(L:=\beta +2\alpha \). Let \(u,v\in K_\alpha \) be such that \(\langle F_\beta (u), v-u\rangle \ge 0\). Then
Since \(\Vert u\Vert \le \alpha <\beta \), we have \(\langle u, v-u\rangle \ge 0\). Hence,
We have thus shown that \(F_\beta \) is pseudo-monotone on \(K_\alpha \). It is worthy to stress that \(F_\beta \) is not monotone on \(K_\alpha \). To see this, it suffices to choose \(u=(\frac{\beta }{2}, 0, \ldots , 0, \ldots ), v=(\alpha ,0, \ldots ,0, \ldots )\in K_\alpha \) and note that
We now apply the Extragradient Algorithm for solving the variational inequality VI(\(K_{\alpha }, F_{\beta }\)). We choose \(\lambda _k=\lambda \in \left] 0,\frac{1}{L}\right[=\left] 0,\frac{1}{\beta +2\alpha }\right[ \) and we take starting point as any \(u^0 \in K_{\alpha }\). The projection onto \(K_{\alpha }\) is explicitly calculated as
Since for all k,
then we have
Therefore,
Similarly, we can deduce that
Indeed, we have
Since
we can write
This and (9) imply that
We have
Considering the function \(f(x):=\beta -\left( 1-\lambda \beta \right) x-\lambda x^2\) with \(x\in [0,\alpha ]\), it is easy to see that f is decreasing on \([0,\alpha ]\). Therefore, the minimal value of f is
which is attained at \(x=\alpha \). Combining this with (11) and (10) yields
We claim that
Indeed, since \(\alpha <\beta \) and \(0<\lambda <\frac{1}{\beta +2\alpha }\), we have \(q>0\). To verify that \(q<1\), it is sufficient to show that \(\left( \beta -\alpha \right) \lambda \left( 1+\alpha \lambda \right) <1\). Since \(\beta /2< \alpha <\beta \) and \(0<\lambda <\frac{1}{\beta +2\alpha }\) we have
This implies that \(q \in ]0,1[\) and we can deduce from (12) that
for all \(k\in \mathbb {N}\). This means that the sequence \(\{u^k\}\) converges strongly to 0, the unique solution of VI(\(K_{\alpha }, F_{\beta }\)).
5 Conclusions
We have considered the extragradient method for solving infinite-dimensional variational inequalities with a pseudo-monotone and Lipschitz continuous mapping. We have shown that the iterative sequence generated by the extragradient method converges weakly to a solution of the considered variational inequality, provided that such a solution exists. The strong convergence of the iteration sequence is still an open question that could be an interesting topic for a future research.
References
Facchinei, F., Pang, J.-S.: Finite-Dimensional Variational Inequalities and Complementarity Problems, Vols. I and II. Springer, New York (2003)
Kinderlehrer, D., Stampacchia, G.: An Introduction to Variational Inequalities and Their Applications. Academic Press, New York (1980)
Karamardian, S., Schaible, S.: Seven kinds of monotone maps. J. Optim. Theory Appl. 66, 37–46 (1990)
Zhu, D.L., Marcotte, P.: Co-coercivity and its role in the convergence of iterative schemes for solving variational inequalities. SIAM J. Control Optim. 6, 714–726 (1996)
Tam, N.N., Yao, J.-C., Yen, N.D.: Solution methods for pseudomonotone variational inequalities. J. Optim. Theory Appl. 138, 253–273 (2008)
Korpelevich, G.M.: The extragradient method for finding saddle points and other problems. Metody 12, 747–756 (1976)
Censor, Y., Gibali, A., Reich, S.: The subgradient extragradient method for solving variational inequalities in Hilbert space. J. Optim. Theory Appl. 148, 318–335 (2011)
Censor, Y., Gibali, A., Reich, S.: Strong convergence of subgradient extragradient methods for the variational inequality problem in Hilbert space. Optim. Methods Softw. 26, 827–845 (2011)
Khanh, P.D.: A modified extragradient method for infinite-dimensional variational inequalities. Acta. Math. Vietnam. 41, 251–263 (2016)
Goebel, K., Reich, S.: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Marcel Dekker, New York (1984)
Cottle, R.W., Yao, J.C.: Pseudo-monotone complementarity problems in Hilbert space. J. Optim. Theory Appl. 75, 281–295 (1992)
Censor, Y., Gibali, A., Reich, S.: Extensions of Korpelevich’s extragradient method for the variational inequality problem in Euclidean space. Optimization 61, 1119–1132 (2012)
Khanh, P.D.: A new extragradient method for strongly pseudomonotone variational inequalities. Numer. Funct. Anal. Optim. 37, 1131–1143 (2016)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). The author wishes to express his gratitude to the Editor-in-Chief, the two anonymous referees and Prof. Jean Jacques Strodiot for their detailed comments and useful suggestions that allowed to improve significantly the presentation of this paper. This research is supported by the Austrian Science Foundation (FWF) under Grant No. P26640-N25.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Vuong, P.T. On the Weak Convergence of the Extragradient Method for Solving Pseudo-Monotone Variational Inequalities. J Optim Theory Appl 176, 399–409 (2018). https://doi.org/10.1007/s10957-017-1214-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-017-1214-0