 Research
 Open Access
 Published:
A new extragradientlike method for solving variational inequality problems
Fixed Point Theory and Applications volume 2012, Article number: 223 (2012)
Abstract
In this paper, we present a new extragradientlike method for the classical variational inequality problem based on our constructed novel descent direction. Furthermore, we show the global convergence and Rlinear convergence rate of the new method under certain conditions. Numerical results also confirm the good theoretical properties of our approach.
MSC:90C33, 65K10.
1 Introduction
In this paper, we consider the classical variational inequality problem, which is to find a vector {x}^{\ast}\in K such that
where F is a continuous mapping from {R}^{n} into {R}^{n}, K is a nonempty closed convex subset of {R}^{n}, and \u3008\cdot ,\cdot \u3009 is the usual Euclidean inner product in {R}^{n}. We denote problem (1.1) by \mathrm{VI}(F,K) and its solution set by {K}^{\ast}. \mathrm{VI}(F,K) was first introduced by Hartman and Stampacchia (see [1]) in 1966, primarily with the goal of computing stationary points for nonlinear programs. It provides a broad unifying setting for the study of optimization and equilibrium problems and servers as the main computational framework for the practical solution of a host of continuum problems in the mathematical sciences. It has a wide range of important applications in economics, engineering, operations research etc.; we will not dwell further on this. The problem we are interested in is how to find the vector {x}^{\ast}\in {K}^{\ast}.
Recently, there have been many methods proposed in the literature to tackle this problem (see [2]), among which we think the projection method is one of the most excellent ones. The projection method for solving problem (1.1) came originally from the Goldstein (see [3]) and LevitinPolyak (see [4]) gradient projection method for the boxconstrained minimization and was studied by many researchers such as Auslender (see [5]), BakusinskiiPolyak (see [6]), Bruck (see [7]), NoorWangXiu (see [8]) and XiuWangZhang (see [9]). Its original iterative scheme is finding an {x}^{k}\in K such that
where {P}_{K}[\cdot ] is the orthogonal projection from {R}^{n} onto K, and \alpha >0 is a fixed number. Korpelevich (see [10]) combined two neighboring iterations in (1.2) and then got a new projection method:
That is the extragradient method which has Rlinear convergence rate. The vector F({\overline{x}}^{k}) in (1.3) is the descent direction of f(x)=\frac{1}{2}{\parallel x{x}^{\ast}\parallel}^{2} (x\in K, {x}^{\ast}\in {K}^{\ast}) at a point {x}^{k} under certain conditions, which is the key to the convergence of the algorithm. There are several studies on the descent direction. To our knowledge, just five descent directions are found so far (see [9, 11–28]). In this paper, we construct a novel descent direction and present a new extragradientlike method based on the direction. Furthermore, we prove that the new method has the same Rlinear convergence rate as the extragradient method. Some numerical experiments are given to prove our analysis.
The rest of this article is organized as follows. In Section 2, some preliminaries are stated and an extragradientlike method is proposed. In Section 3, the global convergence and the local convergence rate of the algorithm are proved. The results of some preliminary experiments on a few test examples are reported in Section 4, and the conclusions are given in Section 5.
2 Preliminaries and algorithm
We first provide some necessary conclusions from convex analysis and related papers.
Definition 2.1 K is a nonempty closed convex subset of {R}^{n}, x\in K is the projection of y\in {R}^{n} onto K if
Then call x as {P}_{K}[y].
Definition 2.2 C\subset {R}^{n} is a nonempty subset, F(x) is a mapping from C into {R}^{n}. F(x) is pseudomonotone on C if for all x,y\in C, x\ne y, the following implication relation is established:
Lemma 2.1 The variational inequality (1.1) has a solution {x}^{\ast}\in {K}^{\ast} if and only if {x}^{\ast} satisfies the relation
where \alpha >0 is a constant and {P}_{K}[\cdot ] is an orthogonal projection from {R}^{n} onto K.
This alternative equivalent formulation has played an important role in studying the existence of a solution and suggesting the projectiontype algorithms for solving variational inequalities. To prove the convergence and convergence rate of our algorithm later, the other two lemmas are presented here.
Lemma 2.2 (Property 3.1.1 in [29])
Let {P}_{K}[\cdot ] be the projection from {R}^{n} onto K, then for y,z\in {R}^{n},
Specially, it follows from the CauchySchwarz inequality that
Lemma 2.3 (Property 3.1.3 in [29])
Let {P}_{K}[\cdot ] be the projection from {R}^{n} onto K, take x\in K and d\in {R}^{n} arbitrarily, then

(1)
\frac{\parallel x{P}_{K}[x\alpha d]\parallel}{\alpha} is monotonic nonincreasing on the variable \alpha >0.

(2)
\parallel x{P}_{K}[x\alpha d]\parallel is monotonic nondecreasing on the variable \alpha >0.
Lemma 2.4 For any \alpha >0 and x\in {R}^{n},
where e(x,\alpha )=x{P}_{K}[x\alpha F(x)].
Proof If \alpha \le 1, from Lemma 2.3, we know that \parallel e(x,\alpha )\parallel is monotonic nondecreasing and \frac{\parallel e(x,\alpha )\parallel}{\alpha} is monotonic nonincreasing on the variable \alpha >0. Then we have
and
Combining the above two inequalities, we can easily get the result.
From the same argument, we can get the result if \alpha >1. Summing up the two cases completes the proof. □
Now, we begin to establish the following iterative method for solving problem (1.1).
Algorithm 2.1 (A new extragradientlike method)
Step 0 (Initialization) Choose the initial values {x}^{0}\in {R}^{n}, l\in (0,1), \mu \in (0,1) and \theta \in (0,1], take the stopping criterion \u03f5>0. Set k:=0.
Step 1 (The predictor step) Compute the predictor
where {\alpha}_{k}={l}^{{m}_{k}} and {m}_{k} is the smallest nonnegative integer m such that
Step 2 (The corrector step) Computing the corrector
where
Step 3 If \parallel {x}^{k+1}{x}^{k}\parallel \le \u03f5, then stop; otherwise, set k:=k+1 go to Step 1.
Remark 2.1 To our knowledge, the search direction {d}^{k} in Algorithm 2.1 is new; moreover, {d}^{k} is a descent direction of f(x)=\frac{1}{2}{\parallel x{x}^{\ast}\parallel}^{2} (x\in K, {x}^{\ast}\in {K}^{\ast}) at a point {x}^{k} under certain conditions. We will prove it in the next section.
Remark 2.2 If F({x}^{k})=0, then \u3008F({x}^{k}),x{x}^{\ast}\u3009=0, \mathrm{\forall}x\in K, namely {x}^{k}\in {K}^{\ast}, so the algorithm will be stopped. Therefore, F({x}^{k})\ne 0 when the algorithm is running, by (2.2) and Lemma 2.2, we have
Thus by (2.4) we get \parallel {d}^{k}\parallel >0 in the algorithm, that is, Step 2 of Algorithm 2.1 is well posed.
3 Convergence analysis
In this section, we discuss the convergence and convergence rate of Algorithm 2.1. Firstly, we prove an important lemma.
Lemma 3.1 Assume that F(x) is pseudomonotone on K and {K}^{\ast} is nonempty. If {x}^{k}\in K is not a solution to problem (1.1), then for any {x}^{\ast}\in {K}^{\ast},
Proof Take {x}^{\ast}\in {K}^{\ast} arbitrarily. As {x}^{\ast}\in {K}^{\ast}, we have
Specially, for {x}^{k}\in K and {\overline{x}}^{k}\in K, we can get
and
From the pseudomonotonicity of F(x), we have
and
From Lemma 2.2 we get
namely
By the CauchySchwarz inequality and (2.2), we get
Combining (3.3), (3.4) and (3.5) yields
Thus, from (2.4), (3.2), (3.6) and \theta \in (0,1], we obtain
which completes the proof. □
By using Lemma 3.1 and the proof technique usual in projectiontype methods, we easily conclude the global convergence of Algorithm 2.1.
Theorem 3.1 Assume that F(x) is continuous and pseudomonotone on K and {K}^{\ast} is nonempty. If \{{x}^{k}\} and \{{\overline{x}}^{k}\} are two infinite sequences produced by Algorithm 2.1, then
and \{{x}^{k}\} converges to a solution of problem (1.1).
Proof For any {x}^{\ast}\in {K}^{\ast}, it follows from (2.3), (2.5), Lemma 2.2 and Lemma 3.1 that for all k,
Thus, the sequence \{{x}^{k}\} generated by Algorithm 2.1 is bounded, and
So \frac{{\parallel {x}^{k}{\overline{x}}^{k}\parallel}^{4}}{{\parallel {d}^{k}\parallel}^{2}}\to 0 as k\to \mathrm{\infty}. Notice that F(x) is continuous on K, {P}_{K}[\cdot ] is continuous on {R}^{n} and \{{x}^{k}\}\subseteq K is bounded, the sequence \{{\overline{x}}^{k}\} is bounded, thereby the sequence \{{d}^{k}\} is bounded. Then we have
and then we get the (3.7). Suppose {lim}_{{k}_{i}\to \mathrm{\infty}}{x}^{{k}_{i}}={x}^{\mathrm{\infty}}, we will prove that {x}^{\mathrm{\infty}}\in {K}^{\ast}.
If {\alpha}_{{k}_{i}}\ge {\alpha}_{min}>0, from Lemma 2.4 we can get
If {\alpha}_{{k}_{i}}\to 0, for all sufficiently large {k}_{i}, it follows from (2.2) and Lemma 2.3(1) that
where {x}^{{k}_{i}}(\frac{{\alpha}_{{k}_{i}}}{l})={P}_{K}[{x}^{{k}_{i}}\frac{{\alpha}_{{k}_{i}}}{l}F({x}^{{k}_{i}})], so
In both cases, we have \parallel e({x}^{\mathrm{\infty}},1)\parallel =0. From Lemma 2.1 we have {x}^{\mathrm{\infty}}\in {K}^{\ast}. Combining it with (3.8), we obtain
Then \mathrm{\forall}k=1,2,\dots , choose {k}_{{i}_{j}}\in \{{k}_{i}\} satisfying {k}_{{i}_{j}}\le k, we can get
thus, \{{x}^{k}\} converges to a solution of problem (1.1). □
From Theorem 3.1, we can easily get the following result.
Corollary 3.1 Assume that F(x) is continuous and pseudomonotone on K and {K}^{\ast} is nonempty. If \{{x}^{k}\} is an infinite sequence produced by Algorithm 2.1, then
Proof From (2.3), (2.5) and Lemma 2.2, we have
From the proving process of Theorem 3.1, we have
which implies that
That is, \parallel {x}^{k+1}{x}^{k}\parallel \to 0 as k\to +\mathrm{\infty}. □
The above corollary shows that Algorithm 2.1 is terminable. The following theorem implies that Algorithm 2.1 has Rlinear convergence rate.
Theorem 3.2 Assume that variational inequality problem \mathrm{VI}(F,K) meets the following conditions:

(a)
F(x) is pseudomonotone on K and {K}^{\ast} is nonempty;

(b)
F(x) is Lipschitz continuous on K with Lipconstant L>0;

(c)
the local error bound holds, that is, there exist constants \tau >1 and \delta >0 such that
dist(x,{K}^{\ast})\le \tau \parallel e(x,1)\parallel ,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in K,\phantom{\rule{0.1em}{0ex}}\mathit{\text{with}}\phantom{\rule{0.1em}{0ex}}\parallel e(x,1)\parallel \le \delta .(3.9)
If \{{x}^{k}\} is an infinite sequence produced by Algorithm 2.1, then it converges to a solution of (1.1) Rlinearly.
Proof From the condition (b) and (2.2), we can easily get
After appropriate simplification, we get
Then by Lemma 2.4 and Theorem 3.1, we have
So, there exists sufficiently large {k}_{0} such that
Thus, from the condition (c), we get
From the proving process of Theorem 3.1, we know that \{{d}^{k}\} is bounded, so there exists a constant M>0 such that \parallel {d}^{k}\parallel \le M. Choosing {x}^{\ast}\in {K}^{\ast} closest to {x}^{k}, from (3.8), (3.10) and (3.11), we obtain for all k\ge {k}_{0},
Thus, \{dist({x}^{k},{K}^{\ast})\} converge to zero at a Qlinear rate, then the desired result follows. □
4 Numerical examples
In this section, we present some examples to illustrate the efficiency and performance of the newly developed method (Algorithm 2.1) (denoted by HMM). This new method was compared with the classical extragradient method (denoted by EGM) in the number of iterations (Iter.), CPU time (CPU) and residual error (Err.). All computations were done using the PC with Intel(R) Core(TM)i3 CPU M370 @ 2.40 GHz. All the programming is implemented in MATLAB R2011b.
Throughout the computational experiments, unless otherwise stated, the parameters in Algorithm 2.1 were set as l=0.65 and \mu =0.95. As the descent direction {d}^{k} changes with the parameter θ, we use different θ in different experiments and then find something interesting.
Example 4.1 This test problem is from Ahn (see [30]). Let F(x)=Mx+q, where
We test this problem by using {x}^{0}={(0,0,\dots ,0)}^{T} as a starting point and set the parameter \theta =0.1 for different dimensions n. The test results are listed in Table 1.
Example 4.2 This problem was tested by Kanzow (see [31]) with five variables defined by
This example has one degenerate solution {x}^{\ast}={(0,0,1,2,3)}^{T}. The numerical results are given in Table 2 using different start points (SP). The parameter \theta =0.1 in this example as well.
Example 4.3 The Nash problem. This is a Nash equilibrium model with ten variables. The test function F(x)={({F}_{1}(x),\dots ,{F}_{10}(x))}^{T} is defined by
where \gamma =1.2, c={(5.0,3.0,8.0,5.0,1.0,3.0,7.0,4.0,6.0,3.0)}^{T}, {L}_{i}=10 (1\le i\le 10) and \beta ={(1.2,1.0,0.9,0.6,1.5,1.0,0.7,1.1,0.95,0.75)}^{T}. The test results for Example 4.3 are summarized in Table 3 using the following standard starting points: (1) e; (2) 4e; (3) 7e; (4) 10e; (5) {(1.0,1.2,1.4,1.6,1.8,2.1,2.3,2.5,2.7,2.9)}^{T}; (6) {(7,4,3,1,8,4,1,6,3,2)}^{T}. This time we set \theta =0.25.
Example 4.4 The Kojshin problem. This example was used by Pang and Gabriel (see [32]), and Kanzow (see [31]) with four variables. Let
This problem has one degenerate solution {(\frac{\sqrt{6}}{2},0,0,\frac{1}{2})}^{T} and one nondegenerate solution {(1,0,3,0)}^{T}. The numerical results are listed in Table 4 using different initial points. The asterisk (∗) denotes that the limit point generated by the algorithms is the degenerate solution; otherwise, it is the nondegenerate solution. We also set \theta =0.1 in this example.
Example 4.5 This is a boxconstrained variational inequality \mathrm{VI}(F,K) with four variables, and the constraint set K={[{a}_{i},{b}_{i}]}^{n}, i=1,\dots ,n is a box region. The function is given as follows:
We consider the following two cases:

(1)
K={[0,5]}^{4}. The solution {x}^{\ast}={(2,0,1,0)}^{T}, F({x}^{\ast})={(0,2,0,0)}^{T} is degenerate but not Rregular.

(2)
K={[1,1]}^{4}. The solution {x}^{\ast}={(1,1,1,0)}^{T}, F({x}^{\ast})={(7,0,1,0)}^{T} is also degenerate but not Rregular.
In the example, the parameter θ in Algorithm 2.1 is chosen as \theta =0.2. The test results are listed in Table 5 and Table 6 using different starting points for K={[0,5]}^{4} and K={[1,1]}^{4}, respectively.
Example 4.6 This is a boxconstrained affine variational inequality \mathrm{VI}(F,K) with four variables, and the constraint set K={[{a}_{i},{b}_{i}]}^{n}, i=1,\dots ,n is a box region. The function is given as follows:
where
We consider the following two cases:

(1)
K={[1,1]}^{4}. The solution {x}^{\ast}={(1,8/9,5/9,4/9)}^{T}, F({x}^{\ast})={(2/3,0,0,0)}^{T};

(2)
K={[5,5]}^{4}. The solution {x}^{\ast}={(4/3,7/9,4/9,2/9)}^{T}, F({x}^{\ast})={(0,0,0,0)}^{T}.
In the example, the parameter θ in Algorithm 2.1 is chosen as \theta =0.55. The test results are listed in Table 7 and Table 8 using different starting points for K={[1,1]}^{4} and K={[5,5]}^{4}, respectively.
From the above experiments, we find that the newly developed method (Algorithm 2.1) enjoys obvious advantages in the number of iterations and CPU time. In Example 4.1, the iterations of our algorithm always keep 20 with the increasing of dimension, but the extragradient method is growing. What is more, in this example, the CPU time for the extragradient method is seven times than our algorithm. In Example 4.2, although our algorithm’s error is sometimes larger than that of the extragradient method (when the start point is (1,0,1,3,5)), our algorithm is more steady obviously (when we choose {(1,2,3,4,5)}^{T} and {(10,9,8,7,6)}^{T} as start points, the extragradient method does not work). Moreover, the CPU time for our algorithm is just about one sixth of that for the extragradient method. The last two examples are boxconstrained variational inequality problems. In these two examples, our algorithm is also obviously advantageous. In addition, the parameter θ is very small, which implies the importance of F({x}^{k}) in the descent direction {d}^{k}. In some examples we set parameter θ small enough, however, Algorithm 2.1 even works less well than the extragradient method. In a word, our algorithm is promising.
5 Conclusion
In this work, we present a new extragradientlike method for the classical variational inequality problem based on a novel descent direction that we constructed. The numerical results show the perfect performance of our algorithm. In the paper, we request 0<\theta \le 1, but sometimes Algorithm 2.1 also performs perfectly when the constant \theta =0, which makes sense for our further studying. In addition, the {\beta}_{k} in Algorithm 2.1 is not perfect enough, and the convergence rate is not enough as well. Maybe they can be modified to some extent. The progress yet needs to be made in the numerical methods of the variational inequality problem.
References
Hartman P, Stampacchia G: On some nonlinear elliptic differential functional equations. Acta Math. 1966, 115: 153–188.
Xiu N, Zhang J: Some recent advances in projectiontype methods for variational inequalities. J. Comput. Appl. Math. 2003, 152: 559–585. 10.1016/S03770427(02)007306
Goldstein AA: Convex programming in Hilbert space. Bull. Am. Math. Soc. 1964, 70: 709–710. 10.1090/S000299041964111782
Levitin ES, Polyak BT: Constrained minimization problems. U.S.S.R. Comput. Math. Math. Phys. 1966, 6: 1–50.
Auslender A: Optimization Moethodes Numoeriques. Masson, Paris; 1976.
Bakusinskii AB, Polyak BT: On the solution of variational inequalities. Sov. Math. Dokl. 1974, 15: 1705–1710.
Bruck RE: An iterative solution of a variational inequality for certain monotone operators in Hilbert space. Bull. Am. Math. Soc. 1975, 81: 890–892. 10.1090/S000299041975138742
Aslam Noor M, Wang Y, Xiu N: Some new projection methods for variational inequalities. Appl. Math. Comput. 2003, 137: 423–435. 10.1016/S00963003(02)001480
Xiu N, Wang Y, Zhang X: Modified fixedpoint equations and related iterative methods for variational inequalities. Comput. Math. Appl. 2004, 47: 913–920. 10.1016/S08981221(04)900752
Korpelevich GM: The extragradient method for finding saddle points and other problems. Matecon 1976, 12: 747–756.
He B, Stoer J: Solution of projection problems over polytopes. Numer. Math. 1992, 61: 73–90. 10.1007/BF01385498
He B: A new method for a class of linear variational inequalities. Math. Program. 1994, 66: 137–144. 10.1007/BF01581141
He B: A class of projection and contraction methods for monotone variational inequalities. Appl. Math. Optim. 1997, 35(1):69–76.
Solodov MV, Tseng P: Modified projectiontype methods for monotone variational inequalities. SIAM J. Control Optim. 1996, 34(5):1814–1830. 10.1137/S0363012994268655
Sun D: A class of iterative methods for solving nonlinear projection equations. J. Optim. Theory Appl. 1996, 91(1):123–140. 10.1007/BF02192286
Bello Cruz JY, Iusem AN: A strongly convergent direct method for monotone variational inequalities in Hilbert spaces. Numer. Funct. Anal. Optim. 2009, 30: 23–36. 10.1080/01630560902735223
Bello Cruz JY, Iusem AN: Convergence of direct methods for paramonotone variational inequalities. Comput. Optim. Appl. 2010, 46: 247–263. 10.1007/s1058900992465
Censor Y, Gibali A, Reich S: The subgradient extragradient method for solving variational inequalities in Hilbert space. J. Optim. Theory Appl. 2011, 148: 318–335. 10.1007/s1095701097573
Iusem AN: An iterative algorithm for the variational inequality problem. J. Comput. Appl. Math. 1994, 13: 103–114.
Iusem AN, Svaiter BF: A variant of Korpelevich’s method for variational inequalities with a new search strategy. Optimization 1997, 42: 309–321. Addendum Optimization 43, 85 (1998) 10.1080/02331939708844365
Khobotov EN: Modifications of the extragradient method for solving variational inequalities and certain optimization problems. U.S.S.R. Comput. Math. Math. Phys. 1987, 27: 120–127.
Konnov IV: Combined Relaxation Methods for Variational Inequalities. Springer, Berlin; 2001.
Konnov IV: A class of combined iterative methods for solving variational inequalities. J. Optim. Theory Appl. 1997, 94: 677–693. 10.1023/A:1022605117998
Konnov IV: A combined relaxation method for variational in equalities with nonlinear constraints. Math. Program. 1998, 80: 239–252.
Korpelevich GM: The extragradient method for finding saddle points and other problems. Èkon. Mat. Metody 1976, 12: 747–756.
Marcotte P: Application of Khobotov’s algorithm to variational inequalities and network equilibrium problems. Inf. Syst. Oper. Res. 1991, 29: 258–270.
Solodov MV, Svaiter BF: A new projection method for monotone variational inequality problems. SIAM J. Control Optim. 1999, 37: 765–776. 10.1137/S0363012997317475
Solodov MV, Tseng P: Modified projectiontype methods for monotone variational inequalities. SIAM J. Control Optim. 1996, 34: 1814–1830. 10.1137/S0363012994268655
Han J, Xiu N, Qi H: Nonlinear Complementarity Theory and Algorithm. Shanghai Sci. Technol., Shanghai; 2006.
Ahn BH: Iterative methods for linear complementarity problem with upperbounds and lowerbounds. Math. Program. 1983, 26: 265–315.
Kanzow C: Some equationbased methods for the nonlinear complementarity problem. Optim. Methods Softw. 1994, 3: 327–340. 10.1080/10556789408805573
Pang JS, Gabriel SA: NE/SQP: a robust algorithm for the nonlinear complementarity problem. Math. Program. 1993, 60: 295–337. 10.1007/BF01580617
Acknowledgements
The project was supported by the National Natural Science Foundation of China (Grant No. 11071041) and Fujian Natural Science Foundation (Grant No. 2009J01002).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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
Huang, N., Ma, C. & Liu, Z. A new extragradientlike method for solving variational inequality problems. Fixed Point Theory Appl 2012, 223 (2012). https://doi.org/10.1186/168718122012223
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122012223
Keywords
 variational inequality problem
 extragradientlike method
 global convergence
 Rlinear convergence
 numerical experiment