 Research
 Open access
 Published:
Analytic center cutting plane methods for variational inequalities over convex bodies
Journal of Inequalities and Applications volumeÂ 2018, ArticleÂ number:Â 87 (2018)
Abstract
An analytic center cutting plane method is an iterative algorithm based on the computation of analytic centers. In this paper, we propose some analytic center cutting plane methods for solving quasimonotone or pseudomonotone variational inequalities whose domains are bounded or unbounded convex bodies.
1 Introduction and preliminaries
Some recent developments in solving variational inequalities are analytic center cutting plane methods. An analytic center cutting plane method is an interior algorithm based on the computation of analytic centers. In order to work with analytic center cutting plane methods, some authors assume that the feasible sets of variational inequalities are polytopes, e.g., see [1â€“6], while others pay more attention to problems with infinitely many linear constraints, e.g., see [7, 8], etc. Analytic center cutting plane methods also can be used to other types of optimization problems, like mathematical programming with equilibrium constraints [9], convex programming [10, 11], conic programming [12], stochastic programming [13, 14], and combinatorial optimization [11]. In this paper, we propose some analytic center cutting plane methods for solving pseudomonotone or quasimonotone variational inequalities.
Let X be a nonempty subset of the ndimensional Euclidean space \(\mathbb{R}^{{n}}\), and let \(F:X \rightarrow\mathbb{R}^{{n}}\) be a function. We say that a point \(x ^{*} \in X\) is a solution of the variational inequality \(\mathit{VI} (F, X )\) if
The point \(x ^{*} \in X\) is a solution of the dual variational inequality \(\mathit{VID} (F, X )\) if
We denote by \(X ^{*}\) the set of solutions of \(\mathit{VI} (F, X )\), and by \(X_{D}^{*}\) the set of solutions of \(\mathit{VID} (F, X )\).
From Auslender [15] we have the following lemma.
Lemma 1
If F is continuous, then a solution of \(\mathit{VID} (F, X )\) is a solution of \(\mathit{VI} (F, X )\); and if F is continuous pseudomonotone, then \(x ^{*} \in X\) is a solution of \(\mathit{VI} (F, X )\) if and only if it is a solution of \(\textit{VID} (F, X )\).
Given \(\mathit{VI}[F, X]\) (\(\textit{VID}[F, X]\)), the gap function is defined as
Since \(g_{X}(x) \ge 0\), \(f_{X}(x) \ge 0\), and
we have the following lemma.
Lemma 2
A point \(x ^{*} \in X\) is a solution of \(\mathit{VI}[F,X]\) (\(\mathit{VID}[F, X]\)) if and only if \(g_{X}(x^{*}) = 0\) (\(f_{X}(x^{*}) = 0\)).
A point \(x^{*} \in X\) is said to be a Îµsolution of the variational inequality (1) if \(g_{X}(x^{*}) < \varepsilon\).
A function \(F: X \rightarrow \mathbb{R}^{{n}}\) is said to be monotone on X if
strongly monotone if there exists a constant \(M > 0\) such that
quasimonotone on X if
pseudomonotone on X if
pseudomonotone plus on X if it is pseudomonotone on X and if
and strongly pseudomonotone on X if there exist constants \(M > 0\), \(\alpha > 0\) such that
2 Results and discussion
We proposed some analytic center cutting plane methods (ACCPM) for convex feasibility problems. Convex feasibility problem is a problem of finding a point in a convex set, which contains a full dimensional ball and is contained in a compact convex set described by matrix inequalities. There are many applications of these types of problems in nonsmooth optimization. The ACCPM is an efficient technique for nondifferentiable optimization. We employed some nonpolyhedral models into the ACCPM.
We present five analytic center cutting plane methods for solving variational inequalities whose domains are bounded or unbounded convex bodies.
First four algorithms are for the variational inequalities with compact and convex feasible sets. If \(F: X \rightarrow\mathbb{R}^{{n}}\) is pseudomonotone plus on a compact convex body X, then our Algorithm 1 either stops with a solution of the variational inequality \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists an infinite sequence \(\{x_{j}\}\) in X that converges to a solution of \(\mathit{VI} (F, X )\). If \(F: X \rightarrow\mathbb{R}^{{n}}\) is pseudomonotone plus on a compact convex body X, then our Algorithm 2 stops with an Îµsolution of the variational inequality \(\mathit{VI} (F, X )\) after a finite number of iterations. If \(F: X \rightarrow\mathbb{R}^{{n}}\) is Lipschitz continuous on a compact convex body X, then our Algorithm 3 either stops with a solution of the variational inequality \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists an infinite sequence \(\{x_{j}\}\) in X that converges to a solution of \(\mathit{VI} (F, X )\). If \(F: X \rightarrow\mathbb{R}^{{n}}\) is Lipschitz continuous on a compact convex body X, then our Algorithm 4 stops with an Îµsolution of \(\mathit{VI} (F, X )\) after a finite number of iterations.
Our fifth algorithm is for variational inequalities with unbounded compact convex feasible regions, and these feasible regions can be the ndimensional Euclidean space \(\mathbb{R}^{{n}}\) itself. If \(F: X \rightarrow\mathbb{R}^{{n}}\) is strongly monotone on X, then our Algorithm 5 either stops with a solution of the variational inequality \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists an infinite sequence \(\{x_{j}^{k}\}\) in X that converges to a solution of \(\mathit{VI} (F, X )\). Furthermore, the proof of the previous result also indicates that, if \(F: X \rightarrow\mathbb{R}^{{n}}\) is strongly pseudomonotone on X, then our Algorithm 5 either stops with a solution of \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists an infinite sequence \(\{x_{j}\}\) in X that converges to a solution of \(\mathit{VI} (F, X )\).
3 Conclusions
This paper works with variational inequalities whose feasible sets are bounded or unbounded convex bodies. We present some analytic center cutting plane algorithms that extend the algorithms proposed in [1, 2, 16], from polytopes/polyhedron to convex regions, or from bounded convex region to unbounded convex regions. We should mention that our approach can be used to extend many interior methods which are associated with polyhedral feasible regions, e.g., the algorithms given by [3, 4]. We can also extend some other algorithms for variational inequalities over polyhedral feasible sets [17â€“19].
4 Compact convex bodies
A polytope is a set \(P \subseteq\mathbb{R}^{{n}}\) which is the convex hull of a finite set.
A polyhedron is a set
where \(b \in\mathbb{R}^{{n}}\), and A is an \(m \times n\) matrix.
Every polytope is a polyhedron, whereas not every polyhedron is a polytope.
Minkowski proved the following lemma in 1896.
Lemma 3
A set \(P \subseteq\mathbb{R}^{{n}}\) is a polytope if and only if it is a bounded polyhedron.
We make the following assumptions for polytopes throughout this paper.
(a) Interior assumption: A polytope is always a fulldimensional polytope and that includes \(0 \le x \le e\), where e is a vector of all ones.
We note that if a polytope has nonempty interior, then (a) can be met by rescaling.
A convex body \(X \subseteq\mathbb{R}^{{n}}\) is a convex and bounded subset with nonempty interior.
A rectangle \(B \subseteq\mathbb{R}^{{n}}\) is defined by
where \(a _{i}, b _{i} \in\mathbb{R}\).
A rectangle can also be given by some inequalities
where \(H^{T}x = b\) is a finite set of hyperplanes, H is an \(m \times n\) matrix. And, if we denote by V the finite set of all vertices of B, then
Theorem 1
A bounded subset \(X \subseteq\mathbb{R}^{{n}}\) is a compact convex body if and only if there exists a sequence of polytopes \(\{C _{j}\}\) satisfying \(C _{j} \subseteq C_{j + 1}\) (\(j = 1, \ldots\)) such that
Proof
The sufficiency is trivial. We only prove the necessity.
Since X is bounded, there exists a rectangle B such that \(X \subseteq B\).
Take a partition \(P _{1}\) of B. Then B is divided into a set of finite subrectangles by a finite set of hyperplanes. Let \(D _{1} = \bigcup_{j = 1}^{k_{1}} B_{1(j)}\), where \(B_{1(j)}\) (\(j = 1, \dots, k _{1}\)) are all the subrectangles that lie entirely within X. Let \(V _{1}\) be the set of all vertices of \(B_{1(j)}\) (\(j = 1, \dots, k _{1}\)), then \(V _{1}\) is a finite set. So, \(C _{1} = \operatorname{con}(V _{1})\) is a polytope, and it obviously satisfies
(For the case of a 2dimensional Euclidean space, see Fig. 1.)
Take a finer partition \(P _{2}\) of B. Similarly, we have a set \(D _{2} = \bigcup_{j = 1}^{k_{2}} B_{2(j)}\), where \(B_{2(j)}\) (\(j = 1, \dots, k _{2}\)) are all the subrectangles which correspond to \(P _{2}\) and lie entirely within X; and we have a polytope \(C _{2} = \operatorname{con}(V _{2})\), where \(V _{2}\) is the set of all vertices of \(B_{2(j)}\) (\(j = 1, \dots, k _{2}\)) such that
By mathematical induction, there exists a sequence of polytopes \(\{C_{j}\}\) which satisfies
It is easy to see that \((\bigcup_{j = 1}^{\infty} C_{j} )^{c} = X\).â€ƒâ–¡
It is quite straightforward to prove the following Corollary 1, Proposition 1, and Proposition 2.
Corollary 1
A subset \(X \subseteq\mathbb{R}^{{n}}\) is a compact convex body if there is a uniformly bounded sequence of polytopes \(\{C_{j}\}\), i.e., \(C _{j} \subseteq B \) for a given rectangle B, such that
Proposition 1
Let \(X \subseteq\mathbb{R}^{{n}}\) be a compact convex body and \(F: X \rightarrow\mathbb{R}^{{n}}\) be a continuous function, then the variational inequality \(\mathit{VI}[F, X]\) has solutions.
Proposition 2
Let \(X \subseteq\mathbb{R}^{{n}}\) be a compact convex body and \(F:X \rightarrow\mathbb{R}^{{n}}\) be a continuous and strictly pseudomonotone function, then the variational inequality \(\mathit{VI}[F, X]\) has a unique solution.
5 Generalized analytic center cutting plane algorithms for solving pseudomonotone variational inequalities
For any polytope \(\{ x \in \mathbb{R}^{n};A^{T}x \le b\}\),
is associated with the potential function
It is known that an analytic center is the maximizer of the potential function Ï†, and the unique solution of the system
where y is a positive dual vector, and Y the diagonal matrix built upon y.
An approximate analytic center [20] is the maximizer of the potential function Ï†, and the unique solution of the system
where z is a dual vector, and Z is the diagonal matrix built upon z.
Now we modify Goffin, Marcotte, and Zhuâ€™s [2] Algorithm 1 to solve \(\mathit{VI} (F, X )\). We propose an algorithm for solving variational inequalities, whose feasible sets are compact convex bodies.
From Theorem 1, there exists a sequence of variational inequalities \(\mathit{VI} [F, C _{j}]\) (\(j = 1, \ldots\)) induced by the original variational inequality \(\mathit{VI}[F, X]\), where the polytope \(C _{j}\) is given by the linear inequalities \(A_{j}^{T}x = b_{j}\), \(x, b _{j} \in\mathbb{R}^{{n}}\), and \(A _{j}\) is an \(m \times n\) matrix. So, we may apply the algorithm in [2] to each \(\mathit{VI} [F, C _{j}]\). Algorithm 1 uses this idea, but the algorithm in [2] is applied to \(\mathit{VI} [F, C _{j}]\) for only a certain number of iterations until we get
by use of Theorem 1 of [2].
Algorithm 1

Step 1. (initialization)
$$k = 0, \qquad j = 1,\qquad A^{k} = A_{j},\qquad b^{k} = b_{j},\qquad C_{j}^{k} = \bigl\{ x \in \mathbb{R}^{n};A_{j}^{k}x \le b_{j}^{k} \bigr\} ; $$ 
Step 2. (computation of an approximate analytic center)
Find an approximate analytic center \(x_{j}^{k}\) of \(C_{j}^{k}\);

Step 3. (stop criterion)
Compute \(g_{X}(x_{j}^{k}) = \max_{x \in X}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{X}(x_{j}^{k}) = 0\), then STOP,
else GO TO step 4;

Step 4. (find an Îµsolution for \(\varepsilon = \frac{1}{2^{j}}\))
Compute \(g_{C_{j}}(x_{j}^{k}) = \max_{x \in C_{j}}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{C_{j}}(x_{j}^{k}) < \frac{1}{2^{j}}\), then increase j by one RETURN TO Step 1,
else GO TO Step 5;

Step 5. (cut generation)
Set
$$A_{j}^{k + 1} = \left [ \textstyle\begin{array}{l} A_{j}^{k} \\ F(x_{j}^{k})^{T} \end{array}\displaystyle \right ],\qquad b_{j}^{k + 1} = \left [ \textstyle\begin{array}{l} b_{j}^{k} \\ F(x_{j}^{k})^{T}x_{j}^{k} \end{array}\displaystyle \right ], $$\(H_{j}^{k} = \{ x \in \mathbb{R}^{n};F(x_{j}^{k})^{T}(x  x_{j}^{k}) = 0\}\) is the new cutting plane for \(\mathit{VI}(F, C_{j}^{k})\).
Increase k by one GO TO Step 2.
Theorem 2
Let \(F: X \rightarrow\mathbb{R}^{{n}}\) be pseudomonotone plus on a compact convex body X, then Algorithm 1 either stops with a solution of \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists a subsequence of the infinite sequence \(\{x_{j}^{k}\}\) that converges to a point \(x ^{*} \in X ^{*}\).
Proof
According to Algorithm 1 and Theorem 1 of [2], for any given j, \(\exists x _{j} \in C _{j}\) such that after a finite number of iterations,
Since X is compact, there exists a subsequence \(\{x _{j (q)}\}\) of \(\{x _{j} \}\) and a point \(x ^{*} \in X\) such that
\(\forall p < j\), we have
On the other hand, due to the compactness of X, \(\exists N > 0\) such that \(\ y \ \leq N\), \(\forall y \in X\). Since
for \(\forall x',x'' \in X\),
By the continuities of \(F(x)\) and \(F(x)^{T} x\), \(g_{X}(x)\) is a continuous function on X.
Consequently, âˆ€p
Then we have
On the other hand,\(\forall y \in X\), \(\exists \{ y_{i}\} \subseteq \bigcup_{j = 1}^{\infty} C_{j}\) such that
Because
we have
Therefore,
which deduces that \(x^{*}\) is a solution of \(\mathit{VI} (F, X )\).â€ƒâ–¡
Algorithm 1 usually generates an infinite sequence. In order to terminate at a finite number of iterations, we change the stop criterion, Step 3 in Algorithm 1, to get the following algorithm.
Algorithm 2
Step 1, Step 2, Step 4, and Step 5 are the same as those of Algorithm 1.

Step 3. (stop criterion)
Compute \(g_{X}(x_{j}^{k}) = \max_{x \in X}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{X}(x_{j}^{k}) < \varepsilon\), then STOP,
else GO TO step 4.
From Theorem 2 we have the following.
Theorem 3
Let \(F: X \rightarrow\mathbb{R}^{{n}}\) be pseudomonotone plus on a compact convex body X, then Algorithm 2 stops with an Îµsolution of \(\mathit{VI} (F, X )\) after a finite number of iterations.
6 Generalized analytic center cutting plane algorithms for solving quasimonotone variational inequalities
In this section, we are going to modify Marcotte and Zhuâ€™s [1] approach to solve quasimonotone variational inequalities \(\mathit{VI} (F, X )\). We assume that the feasible sets are compact convex bodies.
From Theorem 1 there is a sequence of variational inequalities \(\mathit{VI} [F, C_{{j}}]\) (\(j = 1, \ldots\)) induced by the original variational inequality \(\mathit{VI}[F, X]\).
According to [1], the following are the conditions that are required in the construction of algorithms for solving quasimonotone variational inequalities.
For any given j, let the auxiliary function \(\Gamma_{j}(y,x):\mathbb{R}^{n} \to \mathbb{R}^{n}\) be continuous in x and strongly monotone in y, i.e.,
for \(\beta_{j} > 0\). \(\beta_{j}\) is said to be the strong monotonicity constant for \(\Gamma_{j}(y,x):\mathbb{R}^{n} \to \mathbb{R}^{n}\). The function \(\Gamma _{j}\) is associated with the variational inequality \(\textit{AVI}[\Gamma, X, x]\) whose solution \(w _{j}(x)\) satisfies
It is known that \(w _{j}(x)\) are continuous [21], and that x is a solution of \(\mathit{VI}[F,C _{j}]\) if and only if it is a fixed point of w.
Assume \(0 < \rho _{j} < 1\) and \(0 < \alpha _{j} < \beta _{j}\). Let \(l(j)\) (which depends on x) be the smallest nonnegative integer for which
Define
If \(x_{j}^{*}\) is a solution of \(\mathit{VI}[F,C _{j}]\), then \(w_{j}(x_{j}^{*}) = x_{j}^{*}\), \(l(j) = 0\), and \(G_{j}(x_{j}^{*}) = F(x_{j}^{*})\).
Algorithm 3

Step 1. (initialization)
Let \(\beta_{j} > 0\) be the strong monotonicity constant for \(\Gamma_{j}(y,x):\mathbb{R}^{n} \to \mathbb{R}^{n}\), with respect to y, and let \(\alpha _{j} \in (0, \beta_{j})\).
$$k = 0,\qquad j = 1,\qquad A^{k} = A_{j},\qquad b^{k} = b_{j},\qquad C_{j}^{k} = \bigl\{ x \in \mathbb{R}^{n};A_{j}^{k}x \le b_{j}^{k} \bigr\} ; $$ 
Step 2. (computation of an approximate analytic center)
Find an approximate analytic center \(x_{j}^{k}\) of \(C_{j}^{k}\);

Step 3. (stop criterion)
Compute \(g_{X}(x_{j}^{k}) = \max_{x \in X}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{X}(x_{j}^{k}) = 0\), then STOP,
else GO TO step 4;

Step 4. (find an Îµsolution for \(\varepsilon = \frac{1}{2^{j}}\))
Compute \(g_{C_{j}}(x_{j}^{k}) = \max_{x \in C_{j}}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{C_{j}}(x_{j}^{k}) < \frac{1}{2^{j}}\), then increase j by one RETURN TO Step 1,
else GO TO Step 5;

Step 5. (auxiliary variational inequality)
Let \(w_{j}(x_{j}^{k})\) satisfy the variational inequality
$$\bigl\langle F\bigl(x_{j}^{k}\bigr) + \Gamma_{j} \bigl(w_{j}\bigl(x_{j}^{k}\bigr),x_{j}^{k} \bigr)  \Gamma_{j}\bigl(x_{j}^{k},x_{j}^{k} \bigr),y  w_{j}\bigl(x_{j}^{k}\bigr) \bigr\rangle \ge 0,\quad\forall y \in C_{j}. $$Let
$$y_{j}^{k} = x_{j}^{k} + \rho_{j}^{l(k,j)}\bigl(w_{j}\bigl(x_{j}^{k} \bigr)  x_{j}^{k}\bigr) \quad \mbox{and}\quad G_{j} \bigl(x_{j}^{k}\bigr) = F\bigl(y_{j}^{k} \bigr), $$where \(l(k, j)\) is the smallest integer which satisfies
$$\bigl\langle F\bigl(x_{j}^{k} + \rho_{j}^{l(k,j)} \bigl(w_{j}\bigl(x_{j}^{k}\bigr)  x_{j}^{k}\bigr)\bigr),x_{j}^{k}  w_{j}\bigl(x_{j}^{k}\bigr) \bigr\rangle \ge \alpha_{j}\big\ w_{j}\bigl(x_{j}^{k}\bigr)  x_{j}^{k}\big\ ^{2}; $$ 
Step 6. (cutting plane generation)
Set
$$A_{j}^{k + 1} = \left [ \textstyle\begin{array}{l} A_{j}^{k} \\ G(x_{j}^{k})^{T} \end{array}\displaystyle \right ],\qquad b_{j}^{k + 1} = \left [ \textstyle\begin{array}{l} b_{j}^{k} \\ G(x_{j}^{k})^{T}x_{j}^{k} \end{array}\displaystyle \right ], $$\(H_{j}^{k} = \{ x \in \mathbb{R}^{n};G(x_{j}^{k})^{T}(x  x_{j}^{k}) = 0\}\) is the new cutting plane for \(\mathit{VI}(F, C_{j}^{k})\).
Increase k by one GO TO Step 2.
By Theorem 1 of [1], similar to the proof of Theorem 2, we have the following theorem.
Theorem 4
Let \(F: X \rightarrow\mathbb{R}^{{n}}\) be Lipschitz continuous, i.e., there exists a constant \(L > 0\) such that
on a compact convex body X, and \(X_{D}^{*}\) be nonempty. Then Algorithm 3 either stops with a solution of \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists a subsequence of the infinite sequence \(\{x_{j}^{k}\}\) that converges to a point \(x ^{*} \in X ^{*}\).
Algorithm 4
Step 1, Step 2, Step 4, Step 5, and Step 6 are the same as those in Algorithm 3.

Step 3. (stop criterion)
Compute \(g_{X}(x_{j}^{k}) = \max_{x \in X}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{X}(x_{j}^{k}) < \varepsilon\), then STOP,
else GO TO step 4.
By Theorem 4 we have the following.
Theorem 5
Let \(F: X \rightarrow\mathbb{R}^{{n}}\) be Lipschitz continuous on a compact convex body X and \(X_{D}^{*}\) be nonempty. Then Algorithm 4 stops with an Îµsolution of \(\mathit{VI} (F, X )\) after a finite number of iterations.
7 Generalized analytic center cutting plane algorithms for variational inequalities with unbounded domains
This section presents analytic center cutting plane algorithms for solving a strongly pseudomonotone variational inequality \(\mathit{VI}[F, X]\) whose domain is an unbounded convex body. By use of Propositions 1 and 2, due to the pseudomonotonicity, \(\mathit{VI}[F, X]\) has a unique solution \(x ^{*}\) over X. Let \(\{C _{j}\}\) be a sequence of polytopes that satisfies
then \(\mathit{VI}[F, C _{j}]\) has a unique solution \(x_{j}^{*}\) over \(C _{j}\) (\(j = 1, 2, \dots\)). We can always assume that \(C _{j}\) contains all boundary points of X (if there are any). Since the solution \(x ^{*}\) of \(\mathit{VI}[F, X]\) is a fixed point, \(x ^{*}\) lies in \(C _{j}\) if j is large enough (say \(j > k\)), therefore by Lemma 2 \(x_{j}^{*}= x ^{*}\) (\(j > k\)).
The following algorithm is proposed here to find \(x ^{*}\).
Algorithm 5

Step 1. (initialization)
$$k = 0,\qquad j = 1,\qquad A^{k} = A_{j},\qquad b^{k} = b_{j},\qquad C_{j}^{k} = \bigl\{ x \in \mathbb{R}^{n};A_{j}^{k}x \le b_{j}^{k} \bigr\} ; $$ 
Step 2. (find an Îµsolution for \(\varepsilon = \frac{1}{2^{j}}\))
Find an approximate analytic center \(x_{j}^{k}\) of \(C_{j}^{k}\).
Compute \(g_{C_{j}}(x_{j}^{k}) = \max_{x \in C_{j}}F(x_{j}^{k})^{T}(x_{j}^{k}  x)\),
if \(g_{C_{j}}(x_{j}^{k}) < \frac{1}{2^{j}}\), then increase j by one RETURN TO Step 1,
else GO TO Step 3;

Step 3. (cut generation)
Set
$$A_{j}^{k + 1} = \left [ \textstyle\begin{array}{l} A_{j}^{k} \\ F(x_{j}^{k})^{T} \end{array}\displaystyle \right ],\qquad b_{j}^{k + 1} = \left [ \textstyle\begin{array}{l} b_{j}^{k} \\ F(x_{j}^{k})^{T}x_{j}^{k} \end{array}\displaystyle \right ], $$\(H_{j}^{k} = \{ x \in \mathbb{R}^{n};F(x_{j}^{k})^{T}(x  x_{j}^{k}) = 0\}\) is the new cutting plane for \(\mathit{VI}(F, C_{j}^{k})\).
Increase k by one GO TO Step 2.
Theorem 6
Let \(F: X \rightarrow\mathbb{R}^{{n}}\) be strongly monotone on X, then Algorithm 5 either stops with a solution of \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists a subsequence of the infinite sequence \(\{x_{j}^{k}\}\) that converges to a point \(x ^{*} \in X ^{*}\).
Proof
F is strongly monotone on X implies that there exists a constant \(N> 0\) such that [22]
Let \(x_{j}^{*}\) be the unique solution of \(\mathit{VI}[F, C _{j}]\) over \(C _{j}\) (\(j = 1, 2, \dots\)). Suppose all boundary points of X (if there are any) are in \(C _{j}\) (\(j = 1, 2, \dots\)). Then, if j is large enough (say \(j > k\)), by Lemma 2 we have
If Algorithm 5 does not stop after a finite number of iterations, then exists an infinite sequence \(\{x_{j}\}\subseteq X\) with \(x _{j} \in C _{j}\) such that
Hence
which implies that \(\{x_{j}\}\) is a bounded sequence. Therefore, âˆƒsubsequence of \(\{x_{j}\}\), which is convergent to \(x ^{**}\) in X. Similar to the proof of Theorem 2, \(x ^{**}\) is a solution for \(\mathit{VI}[F, X]\), and so \(x ^{**} = x ^{*}\).â€ƒâ–¡
We notice that, in the proof of Theorem 6, the key condition is that \(\{x_{j}\}\) in X is a bounded subsequence. Therefore, similarly we have the following theorem.
Theorem 7
Let \(F: X \rightarrow\mathbb{R}^{{n}}\) be strongly pseudomonotone on X, then Algorithm 5 either stops with a solution of \(\mathit{VI} (F, X )\) after a finite number of iterations, or there exists a subsequence of the infinite sequence in X that converges to a point \(x ^{*} \in X\).
Theorems 6 and 7 state that Algorithm 5 can always stop and output an approximate solution after a finite number of iterations.
References
Marcotte, P., Zhu, D.L.: A cutting plane method for solving quasimonotone variational inequalities. Comput. Optim. Appl. 20, 317â€“324 (2001)
Goffin, J.L., Marcotte, P., Zhu, D.L.: An analytic center cutting plane method for pseudomonotone variational inequalities. Oper. Res. Lett. 20, 1â€“6 (1997)
Mitchell, J.E., Ramaswamy, S.: A longstep cutting plane algorithm for linear and convex programming. Ann. Oper. Res. 99, 95â€“122 (2000)
Goffin, J.L., Vial, J.P.: Multiple cuts in the analytic center cutting plane method. SIAM J. Optim. 11(1), 266â€“288 (2000)
Sahu, D.R., Yao, J.C.: A generalized hybrid steepest descent method and applications. J. Nonlinear Var. Anal. 1, 111â€“126 (2017)
Liu, Y.: A modified hybrid method for solving variational inequality problems in Banach spaces. J. Nonlinear Funct. Anal. 2017, Article ID 31 (2017)
Fang, S.C., Wu, S.Y., Sun, J.: An analytic center cutting plane method for solving semiinfinite variational inequality problems. J. Glob. Optim. 28, 141â€“152 (2004)
Fang, S.C., Wu, S.I., Sun, J.: Solving variational inequalities defined on a domain with infinitely many linear constraints. Erasmus University ERIM Report Series: ERS200270LIS (2002)
Birbil, S.I., Fang, S.C., Han, J.: Entropic regularization approach for mathematical programs with equilibrium constraints. Comput. Oper. Res. 31(13), 2249â€“2262 (2004)
Mokhtarian, F.S., Goffin, J.L.: A nonlinear analytic center cutting plane method for a class of convex programming problems. SIAM J. Optim. 8(4), 1108â€“1131 (1998)
Lee, Y.T., Sidford, A., Wong, S.C.W.: A faster cutting plane method and its implications for combinatorial and convex optimization. In: FOCS 2015: 56th Annual IEEE Symposium on Foundations of Computer Science, pp.Â 1049â€“1065 (2015)
Basescu, V.L.: An analytic center cutting plane method in conic programming. Ph.D. thesis, Rensselaer Polytechnic Institute (2003)
Bahn, O., du Merle, O., Goffin, J.L., Vial, J.P.: A cutting plane method from analytic centers for stochastic programming. Math. Program. 69(1), 45â€“73 (1995)
Dentcheva, D., Ruszczynski, A.: Inverse cutting plane methods for optimization problems with secondorder stochastic dominance constraints. Optimization 59(3), 323â€“338 (2010)
Auslender, A.: Optimisation, mÃ©thodes numÃ©riques (livre). Masson, Paris (1976)
Shen, J., Pang, L.P.: A proximal analytic center cutting plane algorithm for solving variational inequality problems. J.Â Appl. Math. 2012, Article ID 503242 (2012)
Caron, R.J., Greenberg, H.J., Holder, A.G.: Analytic centers and repelling inequalities. Eur. J. Oper. Res. 144, 268â€“290 (2002)
Zabotin, I.Y., Yarullin, R.S.: Cuttingplane method based on epigraph approximation with discarding the cutting planes. Autom. Remote Control 76(11), 1966â€“1975 (2015)
He, S., Wu, T.: A modified subgradient extragradient method for solving monotone variational inequalities. J. Inequal. Appl. 2017, Article ID 89 (2017)
Goffin, J., Luo, Z., Ye, Y.: Complexity analysis of an interiorpoint cutting plane method for convex feasibility problem. SIAM J. Optim. 6, 638â€“652 (1996)
Harper, P.T., Pang, J.S.: Finitedimensional variational inequalities and nonlinear complementarity problems: aÂ survey of theory, algorithms and applications. Math. Program., Ser. B 48, 161â€“220 (1990)
Solodov, M.V., Tseng, P.: Some methods based on the Dgap function for solving monotone variational inequalities. Comput. Optim. Appl. 17, 255â€“277 (2000)
Acknowledgements
The author would like to thank the reviewers of this paper for their valuable comments on the earlier version of the paper.
Author information
Authors and Affiliations
Contributions
All authors jointly worked on the results and they read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Additional information
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zeng, R. Analytic center cutting plane methods for variational inequalities over convex bodies. J Inequal Appl 2018, 87 (2018). https://doi.org/10.1186/s1366001816662
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001816662