For the quasi-equilibrium problem where the players’ costs and their strategies both depend on the rival’s decisions, an alternative extragradient projection method for solving it is designed. Different from the classical extragradient projection method whose generated sequence has the contraction property with respect to the solution set, the newly designed method possesses an expansion property with respect to a given initial point. The global convergence of the method is established under the assumptions of pseudomonotonicity of the equilibrium function and of continuity of the underlying multi-valued mapping. Furthermore, we show that the generated sequence converges to the nearest point in the solution set to the initial point. Numerical experiments show the efficiency of the method.
Hinweise
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
1 Introduction
The equilibrium problem has been considered as an important and general framework for describing various problems arising in different areas of mathematics, including optimization problems, mathematical economic problems and Nash equilibrium problems. As far as we know, this formulation has been followed for a long time by several studies on equilibrium problems considered under different headings such as quasi-equilibrium problem, mixed equilibrium problem, ordered equilibrium problem, vector equilibrium problem and so on [1‐4]. It should be noted that one of the interests of this common formulation is that many techniques developed for a particular case may be extended, with suitable adaptations, to the equilibrium problem, and then they can be applied to other particular cases [5‐16]. In this paper, we mainly deal with existence of solutions and approximate solutions of the quasi-equilibrium problem.
Let \(X\subset\mathbb{R}^{n}\) be a nonempty closed convex set, K be a point-to-set mapping from X onto itself such that, for any \(x\in X\), \(K(x)\) is a nonempty closed convex set of X, and let \(f:X\times X \to R\) be a function such that, for any \(x\in X\), \(f(x,x)=0\) and \(f(x,\cdot )\) is convex on X. The quasi-equilibrium problem \(\operatorname{QEP}(K,f)\) is to find a vector \(x^{*}\in K(x^{*})\) such that
Throughout this paper, we denote the solution set by \(K^{*}\).
Anzeige
Certainly, when \(f(x,y)=\langle F(x),y-x\rangle\) with F being a vector-valued mapping from X to \(\mathbb{R}^{n}\), then the quasi-equilibrium problem reduces to the generalized variational inequality or quasi-variational inequality problem [17‐20] which is to find vector \(x^{*}\in K(x^{*})\) such that
$$ \bigl\langle F\bigl(x^{*}\bigr),y-x^{*}\bigr\rangle \ge0, \quad \forall y \in K\bigl(x^{*}\bigr). $$
(1.2)
To move on, we recall the classical equilibrium problem, and classical Nash equilibrium problem (NEP) [21]. Assume the function \(f_{i}:\mathbb{R}^{n}\to R\) is continuous, and suppose \(K_{i}\) is a nonempty closed set in \(R^{n_{i}}\) for \(i=1,2,\ldots, N\) with \(n=\sum_{i=1}^{N}n_{i}\). Suppose that there are N players such that each player controls the variables \(x_{i}\in R^{n_{i}}\). Denote \(x=(x_{1},\ldots, x_{N})\), and \(x_{-i}=(x_{1},\ldots, x_{i-1}, x_{i+1},\ldots, x_{N})\). Player i needs to take an \(x_{i}\in K_{i}\subset R^{n_{i}}\) that solves the following optimization problem:
$$\min_{x_{i}\in K_{i}}f_{i}(x_{i}, x_{-i}) $$
based on the other players’ strategies \(x_{-i}\). If these N players do not cooperate, then each players’ strategy set may vary with other players’ strategies, that is, the ith player’s strategy set varies with the other players’ strategies \(x_{-i}\). In this case, we need to use \(K_{i}(x_{-i})\) instead of \(K_{i}\) to indicate the ith player’s strategy set, and the ith player needs to choose a strategy \(x^{*}_{i} \in K_{i}(x_{-i})\) that solves the following optimization problem:
In [22], the non-cooperative game model is called generalized Nash equilibrium problem (GNEP), which can be formulated as the quasi-equilibrium problem where the involved functions are nondifferentiable [23].
For the problem GNEP, when the functions \(f_{i}(\cdot, x_{-i})\) are convex and differentiable, then the problem can be equivalently formulated as the quasi-variational inequalities (1.2) by setting
and \(K(x)=\prod_{i=1}^{N}K_{i}(x_{-i})\). When the function \(f_{i}(\cdot, x_{-i})\) is convex and nondifferentiable, then the GNEP reduces to the quasi-equilibrium problem (1.1) [24] via the Nikaido Isoda funtion
On the other hand, the quasi-equilibrium problem (QEP) has received much attention of researchers in mathematics, economics, engineering, operations research, etc. [17, 22]; for more information see [19, 25, 26]. There are many solution methods for solving QEP. Recently, [27] considered an optimization reformulation approach with the regularized gap function. Different from the variational inequalities problem, the regularized gap function is in general not differentiable, but only directional differentiable. Furthermore, supplementary conditions must be imposed to guarantee that any stationary point of these functions is a global minimum, since the gap functions is nonconvex [28]. It should be noted that such conditions are known for variational inequality problem but not for QEP. So, [23] proposed several projection and extragradient methods rather than methods based on gap functions, which generalized the double-projection methods for variational inequality problem to equilibrium problems with a moving constraint set \(K(x)\).
Anzeige
It is well known that the extragradient projection method is an efficient solution method for variational inequalities due to its low memory and low cost of computing [29, 30]. Based on those advantages, it was extended to solve QEP recently [20, 23, 31] and this opened a new approach for solving the problem. An important feature of this method is that it has the contraction property in the sense that the generated sequence has contraction property with respect to the solution set of the problem [29], i.e.
The numerical experiments given in [20, 23, 31] show that the extragradient projection method is a practical solution method for the QEP.
It should be noted that not all the extragradient projection methods have the contraction property [32]. In that case, it may not slow down the convergence rate significantly. Although the extragradient projection method has no contraction property, it still has a good numerical performance [32]. Now, a question can be posed naturally, can this method be applied to solve the QEP? And if so, how about its performance? This constitutes the main motivation of this paper.
Inspired by the work [23, 32], we propose a new type of extragradient projection method for the QEP in this paper. Different from the extragradient projection method proposed in [23], the generated sequence by the newly designed method possesses an expansion property with respect to the initial point, i.e.,
The existence results for (1.1) are established under pseudomonotonicity condition of the equilibrium function and the continuity of the underlying multi-valued mapping. Furthermore, we show that the generated sequence converges to the nearest point in the solution set to the initial point. Numerical experiments show the efficiency of the method.
The remainder of this paper is organized as follows. In Section 2, we recall some concepts and related conclusions to be used in the sequel. The newly designed method and its global convergence are developed in Section 3. Some preliminary computational results and experiments are presented in Section 4.
2 Preliminaries
Let X be a nonempty closed convex set in \(\mathbb{R}^{n}\). For any \(x\in\mathbb{R}^{n}\), the orthogonal projection of x onto X is defined as
$$y_{0}=\arg\min\bigl\{ \Vert y-x \Vert \mid y\in X \bigr\} , $$
and denote \(P_{X}(x)=y_{0}\). A basic property of the projection operator is as follows [33].
Lemma 2.1
SupposeXis a nonempty, closed and convex subset in\(\mathbb{R}^{n}\). For any\(x, y\in \mathbb{R}^{n}\), and\(z\in X\), we have
The first statement in Lemma 2.1 also provides a sufficient condition for vector \(y\in X\) to be the projection of vector x, i.e., \(y=P_{X}(x)\) if and only if
Suppose X is a nonempty, closed and convex subset of \(\mathbb{R}^{n}\). A multi-valued mapping \(K: X \to2^{ \mathbb{R}^{n}}\) is said to be
(i)
upper semicontinuous at \(x\in X\) if for any convergent sequence \(\{ x_{k}\}\subset X\) with x̄ being the limit, and for any convergent sequence \(\{y_{k}\}\) with \(y_{k}\in K(x_{k})\) and ȳ being the limit, then \(\bar{y}\in K(\bar{x})\);
(ii)
lower semicontinuous at \(x\in X\) if given any sequence \(\{x^{k}\}\) converging to x and any \(y\in K(x)\), there exists a sequence \(\{y^{k}\} \) with \(y^{k}\in K(x^{k})\) converges to y;
(iii)
continuous at \(x\in X\) if it is both upper semicontinuous and lower semicontinuous at x.
To end this section, we make the following blanket assumption on bifunction \(f:X\times X\to R\) and multi-valued mapping \(K: X \to2^{ \mathbb{R}^{n}}\) [20, 23].
Assumption 2.1
For the closed convex set \(X\subset \mathbb{R}^{n}\), the bifunction f and multi-valued mapping K satisfy:
(i)
\(f(x,\cdot)\) is convex for any fixed \(x\in X\), f is continuous on \(X\times X\) and \(f(x,x)=0\) for all \(x\in X\);
(ii)
K is continuous on X and \(K(x)\) is a nonempty closed convex subset of X for all \(x\in X\);
(iii)
\(x\in K(x)\) for all \(x \in X\);
(iv)
\(S^{*}=\{x\in S \mid f(x,y)\geq0, \forall y \in T \}\) is nonempty for \(S=\bigcap_{x\in X}K(x)\) and \(T=\bigcup_{x\in X}K(x)\);
(v)
f is pseudomonotone on X with respect to \(S^{*}\)i.e.\(f(x^{*}, y)\geq0\Rightarrow f(y,x^{*})\leq0\), \(\forall x^{*}\in S^{*}\), \(\forall y\in X\).
As noted in [23], the assumption (iv) in Assumption 2.1 guarantees that the solution set of problem (1.1) \(K^{*}\) is nonempty.
3 Algorithm and convergence
In this section, we mainly develop a new type of extragradient projection method for solving QEP. The basic idea of the algorithm is as follows. At each step of the algorithm, we obtain a solution \(y^{k}\) by solving a convex subproblem. If \(x^{k}=y^{k}\), then stop with \(x^{k}\) being a solution of the QEP; otherwise, find a trial point \(z^{k}\) by a back-tracking search at \(x^{k}\) along the direction \(x^{k}-y^{k}\), and the new iterate is obtained by projecting \(x^{0}\) onto the intersection of \(K(x^{k})\) of two halfspaces which are, respectively, associated with \(z^{k}\) and \(x^{k}\). Repeat the process until \(x^{k}=y^{k}\). The detailed description of our designed algorithm is as follows.
If \(x^{k}=y^{k}\), then stop. Otherwise, let \(z^{k}=(1-\eta_{k})x^{k}+\eta_{k} y^{k}\), where \(\eta _{k}=\gamma^{m_{k}}\) with \(m_{k}\) being the smallest nonnegative integer such that
Indeed, for every \(x^{k}\in K(x^{k})\), since \(y^{k}\in K(x^{k})\), \(z^{k}\in K(x^{k})\), so we have \(K(x^{k})\cap H_{k}^{1}\neq\emptyset\) and \(K(x^{k})\cap H_{k}^{2}\neq\emptyset\). To establish the convergence of the algorithm, we first discuss the relationship of the halfspace \(H_{k}^{1}\) with \(x^{k}\) and the solution set \(K^{*}\).
Lemma 3.1
If\(x^{k}\neq y^{k}\), then the halfspace\(H_{k}^{1}\)in Algorithm 3.1separates the point\(x^{k}\)from the set\(K^{*}\)under Assumption 2.1. Moreover,
On the other hand, by Assumption 2.1, it follows that \(K^{*}\) is nonempty. For any \(x\in K^{*}\), from the definition of \(K^{*}\) and the pseudomonotone property of f, one has
$$f\bigl(z^{k},x\bigr)\leq0, $$
which implies that the curve \(\partial H_{k}^{1}\) separates the point \(x^{k}\) from the set \(X^{*}\). Furthermore, by the definition of \(K^{*}\), it is easy to see that
The justification of the termination criterion can be seen from Proposition 2 in [23], and the feasibility of the stepsize rule (3.1), i.e., the existence of point \(m_{k}\) can be guaranteed from Proposition 7 in [23].
Next, to show that the algorithm is well defined, we will show that the nonempty set \(K^{*}\) is always contained in \(H_{k}^{1}\cap H_{k}^{2} \cap X\) for the projection step.
Lemma 3.2
Let Assumption 2.1be true. Then we have\(K^{*}\subseteq H_{k}^{1}\cap H_{k}^{2} \cap X\)for all\(k\geq0\).
Proof
From the analysis in Lemma 3.1, it is sufficient to prove that \(K^{*}\subseteq H_{k}^{2}\) for all \(k\geq0\). By induction, if \(k=0\), it is obvious that
To prove the boundedness of the generated sequence \(\{x^{k}\}\), we assume that the algorithm generates an infinite sequence for simple.
Lemma 3.4
Suppose Assumption 2.1is true. Then the generated sequence\(\{x^{k}\}\)of Algorithm 3.1is bounded.
Proof
By Assumption 2.1, we know that \(K^{*}\neq \emptyset\). Since \(x^{k+1}\) is the projection of \(x^{0}\) onto \(H_{k}^{1}\cap H_{k}^{2} \cap X\), by Lemma 3.2 and the definition of projection, we have
Since \(\{x^{k}\}\) is bounded, it has an accumulation point. Without loss of generality, assume that the subsequence \(\{x^{k_{j}}\}\) converges to x̄. Then the sequences \(\{y^{k_{j}}\}\), \(\{z^{k_{j}}\}\) and \(\{g^{k_{j}}\}\) are bounded from the Proposition 10 in [23], where \(g^{k_{j}} \in\partial f(z^{k_{j}},x^{k_{j}})\).
Before given the next result, the following lemma is needed (for details see [23]).
which implies that \(f(\bar{x},\bar{y})\geq0\). So \(\Vert x^{k_{j}}-y^{k_{j}} \Vert\rightarrow0\), \(j\rightarrow\infty\) and the desired result follows. □
Based on the analysis above, we can establish the main results of this section that the generated sequence \(\{x^{k}\}\) globally converge to a solution of the problem (1.1).
Theorem 3.1
Suppose\(\{x^{k}\}\)is an infinite sequence generated in Algorithm 3.1. Let conditions of Lemma 3.6be true. Then each accumulation point of\(\{x^{k}\}\)is a solution of the QEP under the Assumption 2.1.
Proof
By Lemma 3.4, without loss of generality, assume that the subsequence \(\{x^{k_{j}}\}\) converges to x̄. By Lemma 3.6, one has \(\Vert x^{k_{j}}-y^{k_{j}} \Vert \rightarrow0\) and
By Theorem 3.1, we know that the sequence \(\{x^{k}\}\) is bounded and that every accumulation point \(x^{*}\) of \(\{x^{k}\}\) is a solution of the problem (1.1). Let \(\{x^{k_{j}}\}\) be a convergent subsequence of \(\{x^{k}\}\), and let \(x^{*}\in K^{*}\) be its limit. Let \(\bar{x}=P_{K^{*}}(x^{0})\). Then by Lemma 3.2,
Combining this with (3.8) and the fact that \(x^{*}\) is the limit of \(\{x^{k_{j}}\}\), we conclude that the sequence \(\{x^{k_{j}}\}\) converges to x̄ and
$$x^{*}=\bar{x}=P_{K^{*}}\bigl(x^{0}\bigr). $$
Since \(x^{*}\) was taken as an arbitrary accumulation point of \(\{x^{k}\}\), it follows that x̄ is the unique accumulation point of this sequence. Since \(\{ x^{k}\}\) is bounded, the whole sequence \(\{x^{k}\}\) converges to x̄. □
4 Numerical experiment
In this section, we will make some numerical experiments and give a numerical comparison with the method proposed in [23] to test the efficiency of the proposed method. The MATLAB codes are run on a PIV 2.0 GHz personal computer under MATLAB version 7.0.1.24704(R14). In the following, ‘Iter.’ denotes the number of iteration, and ‘CPU’ denotes the running time in seconds. The tolerance ε means the iterative procedure terminates when \(\Vert x^{k}-y^{k} \Vert\leq\varepsilon\).
Example 4.1
The bifunction f of the quasi-equilibrium problem is defined for each \(x, y \in R^{5}\) by
This problem was tested in [36] with initial point \(x^{0}=(1, 3, 1, 1, 2)^{T}\). They obtained the appropriate solution after 21 iterates with the tolerance \(\varepsilon=10^{-3}\).
By the algorithm proposed in this paper, the numerical results obtained for this example are listed in Table 1 with \(c=\gamma=0.5\), \(\varepsilon=10^{-3}\) and \(X=K(x)\), and with different initial points.
Now, we consider a quasi-variational inequality problems and we solve it by using Algorithm 3.1 with the equilibrium function \(f(x, y)= \langle F(x), y-x\rangle\).
Example 4.2
Consider a two-person game whose QVI formulation involves the function \(F=(F_{1}, F_{2})\) and the multi-valued mapping \(K(x)=K_{1}(x_{2})\times K_{2}(x_{1})\) for each \(x=(x_{1}, x_{2})\in R^{2}\), where
$$\begin{aligned}& K_{1}(x_{2})=\{y_{1}\in R \mid 0\leq y_{1} \leq10, y_{1}\leq15-x_{2}\}, \\& K_{2}(x_{1})=\{y_{2}\in R \mid 0\leq y_{2} \leq10, y_{2}\leq15-x_{1}\}. \end{aligned}$$
This problem was tested in [23]. The numerical results of Algorithm 3.1, abbreviated as Alg. 31, for this example are shown in Table 2 with different initial points.
For this example, we choose \(X=K(x)\) and take \(c=\gamma=0.5\). During the experiments, we set the stopping criterion \(\varepsilon =10^{-6}\). The numerical comparison of our proposed method with the algorithms, i.e., Alg.1, Alg.1a, Alg.1b, proposed in [23] are given in Tables 3 and 4.
Table 3
Iterations from Alg.31, Alg.1, Alg.1a and Alg.1b respectively
Initial point
Number of iterations
Alg.31
Alg.1
Alg.1a
Alg.1b
(10,0)
2
3
2
2
(10,10)
53
255
120
120
Table 4
The CPU time from Alg.31, Alg.1, Alg.1a and Alg.1b respectively
Initial point
CPU (s)
Alg.31
Alg.1
Alg.1a
Alg.1b
(10,0)
0.02
0.26
0.20
0.15
(10,10)
0.70
8.43
3.70
2.57
5 Conclusions
In this paper, we have proposed a new type of extragradient projection method for the quasi-equilibrium problem. The generated sequence by the newly designed method possesses an expansion property with respect to the initial point. The existence results of the problem is established under pseudomonotonicity condition of the equilibrium function and the continuity of the underlying multi-valued mapping. Furthermore, we have shown that the generated sequence converges to the nearest point in the solution set to the initial point. The given numerical experiments show the efficiency of the proposed method.
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Grant No. 11601261,11671228), and Natural Science Foundation of Shandong Province (Grant No. ZR2016AQ12), and China Postdoctoral Science Foundation (Grant No. 2017M622163).
Competing interests
The authors declare that they have no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.