- Research
- Open Access
Existence of solution and algorithms for a class of bilevel variational inequalities with hierarchical nesting structure
- Gaoxi Li^{1},
- Zhongping Wan^{1, 2}Email author,
- Jia-wei Chen^{3} and
- Xiaoke Zhao^{1}
https://doi.org/10.1186/s13663-016-0524-5
© Li et al. 2016
- Received: 6 October 2015
- Accepted: 3 March 2016
- Published: 25 March 2016
Abstract
In this paper we consider a class of bilevel variational inequalities with hierarchical nesting structure. We first of all get the existence of a solution for this problem by using the Himmelberg fixed point theorem. Then the uniqueness of the solution for an upper-level variational inequality is given under some mild conditions. By using gap functions of the upper-level and lower-level variational inequalities, we transform bilevel variational inequalities into a one-level variational inequality. Moreover, we propose two iterative algorithms to find the solutions of the bilevel variational inequalities. Finally, the convergence of the proposed algorithm is derived under some mild conditions.
Keywords
- bilevel variational inequalities
- Himmelberg fixed point theorem
- existence
- gap function
- iterative algorithm
- convergence
MSC
- 90C33
- 49J40
- 90C30
1 Introduction
The idea of bilevel programming problem may be considered to date back to 1934 when it had been formulated by Stackelberg in a monograph on market economy [1, 2]. Since it was introduced to the optimization community in the 1970s, a rapid development and intensive investigation of these problems begun in theoretical analysis [3–9]. Now it has been applied to industry [10], decision science [11], transportation [12], network [13], electricity [14], support chain management [15, 16], cloud computing market [17], and so on. Some mathematical programming problems can be transformed into variational inequality problems. In order to study the bilevel models better, it is necessary to study bilevel variational inequalities.
Bilevel variational inequalities models have been investigated in recent decades (see e.g. [18–24] and references therein). Many algorithms had been constructed to get the approximate solution of these models. These models can well be applied. An imperfection in these models is that the upper-level variational inequality and lower-level variational inequality of all these models are not better embedded in each other. Sometimes the two levels of a bilevel problem are interactional; therefore, the bilevel variational inequalities models, of which the upper -level’s variable is embedded into the lower level, and also the lower level’s variable is embedded into the upper level, need to be studied.
In [25], Wan and Chen introduced bilevel variational inequalities (shortly BVIs) which has a hierarchical nesting structure. They gave the existence theorem of a solution and constructed an algorithm, in the case that the solution set of the lower-level variational inequality \(M(x)\) is a singleton (\(M(x)\) is the solution set of a lower-level variational inequality, in regard to each parameter x from the upper-level variational inequality). But sometimes, \(M(x)\) is not a singleton. In this case, one wonders whether the solution of the BVI exists. How to construct an algorithm? In this paper, our work will consider the two problems.
Now we review the model in [25]. Let K be nonempty subset of the n-dimensional Euclidean space \(R^{n}\), and \(H:R^{m}\times R^{n}\rightarrow R^{n}\) and \(P:R^{m}\rightarrow R^{m}\) be two mappings. Let \(T:K\rightarrow 2^{R^{m}}\) be a set-valued mapping, where \(2^{R^{m}}\) is the family of all nonempty subsets of \(R^{m}\).
Inequations (1) and (2) are called the upper-level variational inequality (shortly (UVI)) and the lower-level variation inequality (shortly (LVI)), respectively. The decision variables of the problem BVI are divided into two classes, namely, the upper-level decision variable x and the lower-level decision variable z. Denote the optimal solution set of the BVI by Θ.
Obviously, the BVI involves two variational inequalities. The constraint region of the lower-level variational inequality \(T(x)\) is implicitly determined by the parameter x from upper-level variational inequality. The lower-level decision variable z is embedded into upper-level inequality. It is extremely difficult to solve globally, because of its nested structure. In a broad sense, it is similar to a quasi-variational inequality [26–28].
Next we review some definitions that are referred in [25].
We call the BVI well-posed bilevel variational inequalities, if \(M(x)\) is a singleton set. We call it ill-posed bilevel variational inequalities, if \(M(x)\) has more than one element. Wan and Chen gave the existence of the solution and an algorithm when the set \(M(x)\) is a singleton in [25]. But sometimes, \(M(x)\) is not a singleton set; this can be seen from the next example.
Example 1.1
We can see that if \(x\in[-\frac{4}{3},-1)\), then \(M(x)=\{-\frac {3}{2},-\frac{4}{3}\}\); there are two elements in \(M(x)\). So it is not a singleton set. It is easy to verify that \(\{(-2,x):x\in[-2,-\frac {3}{2}) \mbox{ or } x=-1\}\) is the solution set of the BVI (3)-(4). So it is meaningful to research the existence theorem of the solution and algorithm when the lower-level solution set \(M(x)\) is not a singleton. This paper will discuss these questions.
The rest of this paper is organized as follows. In Section 2, we recall some important results of [25] and give some preliminary definitions which are needed for our main results. In Section 3, we demonstrate the existence theorem of a solution when the lower-level solution set \(M(x)\) is not a singleton, and we investigate the unique solution condition of the upper-level variational inequality for every parameter z from the lower-level variational inequality. In Section 4, we transform the BVI into a one-level variational inequality by gap functions of the lower-level variational inequality and the upper-level variational inequality. Based on Section 4, we proposed two iterative algorithms to compute the approximation solution of the BVI, and analyzed the convergence of the presented algorithm in Section 5. Some numerical examples are given in Section 6.
2 Preliminaries
We first review some definitions and lemmas which are needed for our main results.
Definition 2.1
([25])
- (i)monotone on Ξ if$$\bigl\langle P(x)-P(y),y-x\bigr\rangle \leq0,\quad \forall(x,y)\in\Xi\times\Xi; $$
- (ii)strictly monotone on Ξ if$$\bigl\langle P(x)-P(y),y-x\bigr\rangle < 0,\quad \forall(x,y)\in\Xi\times\Xi, x \neq y; $$
- (iii)pseudomonotone if for any \((x,y)\in\Xi\times\Xi\)$$\bigl\langle P(x),y-x\bigr\rangle \geq0 \quad\Rightarrow\quad\bigl\langle P(y),x-y\bigr\rangle \leq0. $$
Definition 2.2
- (i)monotone on Ξ if$$\bigl\langle H(z,x)-H(z,y),y-x\bigr\rangle \leq0, \quad\forall(x,y)\in\Xi\times \Xi; $$
- (ii)strictly monotone on Ξ if$$\bigl\langle H(z,x)-H(z,y),y-x\bigr\rangle < 0, \quad\forall(x,y)\in\Xi\times\Xi ,x\neq y. $$
Definition 2.3
([29])
- (i)upper semicontinuous (shortly, usc) at \(x_{0}\in X\) if, for each open set V with \(T(x_{0})\subset V\), there exists \(\delta>0\) such that$$T(x)\subset V,\quad \forall x\in B(x_{0},\delta); $$
- (ii)lower semicontinuous (shortly, lsc) at \(x_{0}\in X\) if, for each open set V with \(T(x_{0})\cap V \neq\emptyset\), there exists \(\delta >0\) such that$$T(x)\cap V \neq\emptyset,\quad \forall x\in B(x_{0},\delta); $$
- (iii)
closed if the graph of T is closed, i.e., the set \(Gr(T)=\{(\zeta,x)\in P\times E:\zeta\in T(x)\}\) is closed in \(X\times Y\).
We say T is lsc (resp. usc) on X if it is lsc (resp. usc) at each \(x \in X\). T is called continuous at X if it is both lsc and usc on X.
Definition 2.4
([29])
Let K be a nonempty convex subset of \(R^{m}\). A set-valued mapping \(T:K\rightarrow2^{R^{m}}\) is said to be convex-valued (compact-valued, closed-valued) if, the images \(T(x)\) of all points \(x\in K\) are convex (compact, closed).
Definition 2.5
([30])
Let \(\Omega\in R^{n}\), \(E\in R^{m}\). A set-valued mapping \(G:\Omega \rightarrow2^{E}\) is said to be local intersection if, for any \(x\in \Omega\) there exists an open neighborhood \(U_{x}\) of x, such that \(\bigcap_{x^{\prime}\in U_{x}}G(x^{\prime})\neq\emptyset\). We denote \(G(\Omega)=\bigcup_{x\in\Omega}G(x)\).
Lemma 2.1
(Continuous selection theorem [30, 31])
- (i)
For any \(x\in X\), \(G(x)\) is nonempty, and \(co(G(x))\subset M(x)\);
- (ii)
G is local intersection.
Then M has a continuous selection, namely, there is a continuous mapping \(f:X\rightarrow Y\), such that \(f(x)\in M(x)\), \(\forall x\in X\).
Lemma 2.2
([29])
- (i)
F is upper semicontinuous at \(x_{0}\);
- (ii)
\(F(x_{0})\) is compact;
- (iii)
G is closed.
Then the set-valued map \(F\cap G:x\rightarrow F(x)\cap G(x)\) is upper semicontinuous at \(x_{0}\).
Lemma 2.3
(Himmelberg fixed point theorem [32, 33])
Let X be a convex subset of \(R^{m}\). D is a nonempty compact subset of X, \(H:X\rightarrow2^{D}\) is an upper semicontinuous set-valued mapping. And for all \(x\in X\), \(H(x)\) is a nonempty closed convex subset of D. Then there is a point \(\bar{x}\in D\), such that \(\bar{x}\in H(\bar{x})\).
Lemma 2.4
([34])
3 Existence of solution for the BVI
In this section, we investigate the existence of solution for the BVI when the lower-level solution set \(M(x)\) is not a singleton under some suitable conditions.
Remark 3.1
It is easy to verify that \(\phi(z,x,x)=\langle H(z,x),x-x\rangle=0\), both \(v\mapsto\psi(\cdot,v)\) and \(y\mapsto\phi(\cdot,\cdot,y)\) are concave and continuous. For each \(w,v\in R^{m}\), \(z\mapsto\langle P(w),z-v\rangle\) is continuous.
Lemma 3.1
([25])
- (i)
P is monotone;
- (ii)
\(z\mapsto\psi(z,\cdot)\) is lower-hemicontinuous.
Then for each \(x\in K\), the solution set \(M(x)\) of (LVI) is closed and convex.
Since it is easy to verify that ψ and P in Example 3.2 satisfies all conditions of Lemma 3.1, and \(M(x)\) is a closed and convex set, from Example 3.2 we can see that Lemma 3.1 is applicable.
Lemma 3.2
([25])
- (i)
P is pseudomonotone;
- (ii)
\(z\mapsto\psi(z,\cdot)\) is lower-hemicontinuous.
Then for each \(x\in K\), the solution set \(M(x)\) of (LVI) is nonempty and compact.
Example 3.1 can be used to show that the result of Lemma 3.2 is also applicable.
Example 3.1
Let \(R=(-\infty,+\infty)\), \(K=[-1,-\frac{1}{2}]\), \(T(x)=[x,1]\) for \(x\in K\), and let \(\langle P(z),z-v\rangle=\langle e^{z}, z-v\rangle\). It is obvious that all conditions of Lemma 3.2 are satisfied. By computation, for each \(x\in K\), the lower-level solution set \(M(x)=\{ x\}\). \(M(x)\) is a nonempty and compact set.
Remark 3.2
Since monotonicity ⇒ pseudomonotonicity, from the conditions of Lemma 3.2, we can further see that, for each \(x\in K\), the solution set \(M(x)\) of (LVI) is convex nonempty and compact.
Remark 3.3
Under the conditions of the Lemma 3.2, \(M(x)\) may be not a singleton set, this can be seen in Example 3.2. This example also shows that Lemma 3.2 is applicable.
Example 3.2
Let \(R=(-\infty,+\infty)\), \(K=[0.5,6]\times[0.5,6]\), \(x=(x_{1},x_{2})^{\top}\), \(x=(y_{1},y_{2})^{\top}\), \(z=(z_{1},z_{2})^{\top}\), \(v=(v_{1},v_{2})^{\top}\), and \(T(x)=\{ y:0< y_{1}<1+x_{1},0<y_{2}<1+x_{2},y_{1}+y_{2}=1\}\) for \(x\in K\), \(z,v\in R^{2}\). Let \(P(z)^{\top}=(1,1)\).
The next theorem shows the existence of solution when the solution set \(M(x)\) of (LVI) is not a singleton. That is, the BVI is an ill-posed bilevel variational inequality.
Theorem 3.1
- (i)
P is pseudomonotone;
- (ii)
\(z\mapsto\psi(z,\cdot)\) is lower-hemicontinuous;
- (iii)
\(\inf_{z\in K} \sup_{v\in T(K)} \psi (z,v)\leq0\);
- (iv)
the function ϕ is a continuous function.
Then there exist \(\bar{x}\in K\), \(\bar{z}\in M(\bar{x})\), such that \(\langle H(\bar{z},\bar{x}),\bar{x}-y\rangle\leq0\), \(\forall y\in K\). That is, the BVI (1)-(2) has at least one solution \((\bar{z},\bar{x})\).
Proof
- (i)
For any \(x\in K\), \(G(x)\) is nonempty, and \(co(G(x))=co(N_{x})\subset M(x)\);
- (ii)
\(\bigcap_{x\in K}G(x)=\bigcap_{x\in K}N_{x}\neq\emptyset\),
Next, we will show that the set-valued mapping \(F:K\rightarrow2^{K}\) is convex-valued, compact-valued, and upper-semicontinuous.
Finally, we show that F is upper semicontinuous. Let \(Q:K\rightarrow 2^{K}\) be set-valued mapping satisfying \(Q(x)=K\), \(\forall x\in K\). It is obvious that Q is a continuous and compact-valued mapping.
Example 3.3
Let \(R=(-\infty,+\infty)\), \(K=[0.5,6]\times[0.5,6]\), \(x=(x_{1},x_{2})^{\top}\), \(z=(z_{1},z_{2})^{\top}\), \(v=(v_{1},v_{2})^{\top}\), \(y=(y_{1},y_{2})^{\top}\), \(u=(u_{1},u_{2})^{\top}\), and \(T(x)=\{ u:0< u_{1}<1+x_{1},0<u_{2}<1+x_{2},u_{1}+u_{2}=1\}\) for \(x\in K\), \(z,v,y\in R^{2}\). Let \(H(z,x)^{\top}=(1,1)z(\frac{1}{2},\frac{1}{2})\), \(P(z)^{\top}=(1,1)\).
It is not hard to see that all conditions of Theorem 3.1 are satisfied.
It is obvious that \(M(x)\) is not a singleton set. Further, we can see that \(M(x)\) is a nonempty convex and compact set, and \(\{(z,x)\in R_{+}^{2}\times R_{+}^{2}: z_{1}+z_{2}=1, x_{1}+x_{2}=1\}\) is the solution set of the BVI.
Remark 3.4
From Example 3.3 we can verify that M satisfies Lemma 2.1. We can choose the continuous function \(f(x)=z\), \(z\in M(x)\). It is obvious that \(f(x)\) is a constant function.
We can find the following phenomenon from Example 3.3.
If the upper-level decision maker feedback parameter \(x=(0.5,0.5)\) to the lower-level decision maker, then we can get the lower-level solution set \(M((0.5,0.5))=\{z: 0\leq z_{1}, 0\leq z_{2}, z_{1}+z_{2}=1\}\). Here, if the lower-level decision maker feedback parameter \(z=(0.5,0.5)\) to the upper-level decision maker, then it is well known that \(U((0.5,0.5))=\{(z,x)\in R_{+}^{2}\times R_{+}^{2}: z_{1}+z_{2}=1, x_{1}+x_{2}=1\}\) is the solution set of the upper-level variational inequality, and \(U((0.5,0.5))\) is not a singleton set. If the conditions of Theorem 3.1 are strengthened, we will get the unique solution of the upper-level variational inequality, in regard to every parameter z from the lower-level variational inequality. That is, \(U(z)\) is a singleton set.
Theorem 3.2
(unique solution of (UVI))
Proof
4 Equivalence transformation of the BVI
In this section, we shall transform the bilevel variational inequalities (1) and (2) into a one-level variational inequality by the gap functions of (LVI) and (UVI).
Remark 4.1
For each \(x\in K\), \(z\in M(x)\) if \(\alpha(z,x)=0\). Moreover, we obtain that \(\alpha(z,x)=0\) from \(\alpha(z,x)\geq0\) for all \(z\in T(x)\). The same holds for \(\beta(z,x)\).
Theorem 4.1
\((x,z)\in\Theta\) if and only if \((x,z)\in S\).
Proof
Corollary 4.1
5 Algorithm and convergence analysis
In this section, we first present Algorithm 1 for the BVI (1) and (2) from the theoretical point of view, and then consider the limiting behavior of the sequence generated by the algorithm. Algorithm 1 can be used to solve the BVI which has only one solution. In order to solve the BVI which has more than one solution we modify Algorithm 1 to obtain Algorithm 2.
We have transformed the BVI (1) and (2) into a single-level variational inequality (PVI) (8), and discussed the relationship between the two problems in the previous section. From Theorem 4.1, we know that the two problems are equivalent. So we can find the solution of the BVI (1) and (2) by solving the PVI problem (8). In Algorithm 1, we will solve the BVI (1)-(2) by solving a sequence of the approximation problem PVI (8).
Algorithm 1
Step 1. Take \(\{\mu_{k}\}_{k\in Z^{+}}\subset(1,+\infty )\), where \(Z^{+}\) is the set of all nonnegative integers. Choose \(x_{0}\in K\) arbitrarily, let \(m=x_{0}\), compute \(z_{0}=\arg\min_{z\in T(x_{0})}g(x_{0},z)\). Let the tolerance \(\varepsilon\geq 0\), \(k=0\). If \(g(z_{0},x_{0})\leq\varepsilon\), stop, put out \((z_{0},x_{0})\). Otherwise, go to Step 2.
Step 2. Let \(K=K\backslash m\), take \(m \in K\). Compute \(n=\arg\min_{z\in T(m)}g(z,m)\), go to Step 3.
Remark 5.1
In Step 2, we discretize K within acceptable error range of the solution. We take different discrete points m of K in every iterative process. For example, if the error band of solution is 2δ, \(K\in R\), then in every iterative process, \(m=m+\delta\) (or \(m=m-\delta\)). If with the algorithm we have not found a solution until m has equality to one of the boundary points of K, put the other boundary point in m. Algorithm 1 is effective for the bilevel variational inequalities which have only one solution.
Remark 5.2
In order to guarantee the existence of a solution for \(\min_{z\in T(m)}g(z,m)\) in Step 2, we need to suppose that ψ and ϕ are continuous and T is compact-valued and continuous. Then according to Lemma 2.4, it follows that \(z\mapsto\alpha(z,x)\) and \(z\mapsto\beta(z,x)\) are continuous; further, \(z\mapsto g(z,x)\) is continuous. Thus \(\min_{z\in T(m)}g(z,m)\) has a solution.
To explain the Algorithm 1, we give the next example.
Example 5.1
Observe that M(x) is not a singleton, and \((-2,-2)\) is the unique solution of the BVI (13)-(14). By the proposed Algorithm 1, first we should transform the BVI into a one-level variational inequality.
Next, we illustrate the process of solving the BVI (13)-(14) by the proposed Algorithm 1.
Step 1. Choose \(x_{0}=-\frac{3}{2}\) and the tolerance \(\varepsilon =10^{-5}\), \(\mu_{k}=\mu=2\).
Step 2. Verify whether there exists \(z_{0}\in T(x_{0})=[-2,-\frac {3}{2}]\) such that inequality (12) holds.
Applying the descent direction method to solve (17), we get \(n=-2\), and go to Step 3.
Let \(z_{1}=n\), \(x_{1}=m\), go to Step 4.
Step 4. As \(g(z_{1},x_{1})=0\leq\varepsilon\), stop, put out \((z_{1},x_{1})\). So \((-2,-2)\) is the solution of the BVI (13)-(14).
5.1 Convergence analysis
Let us consider the behavior of a sequence \(\{(x_{k},z_{k})\}\) generated by the proposed Algorithm 1.
Theorem 5.1
- (i)
\(z\mapsto\psi(z,\cdot)\) is lower-hemicontinuous;
- (ii)
ϕ is a continuous function.
If the solution of the BVI (1)-(2) exists, then the sequence \(\{(x_{k},x_{k})\}\) generated by the proposed Algorithm 1 converges to a solution of the BVI (1)-(2).
Proof
In order to solve the bilevel variational inequalities which has more than one solution, we modify Algorithm 1 to obtain Algorithm 2.
Algorithm 2
Step 1. Take \(\{\mu_{k}^{j}\}_{k\in Z^{+}}\subset (1,+\infty)\), \(j\in Z^{+}\), where \(Z^{+}\) is the set of all nonnegative integers. Let the tolerance \(\varepsilon\geq0\), \(k=0\), \(j=1\). Choose \(x_{0}^{1}\in K\) arbitrarily, compute \(z_{0}^{1}=\arg\min_{z\in T(x_{0}^{1})}g(x_{0}^{1},z)\), such that \(g(z_{0}^{1},x_{0}^{1})>\varepsilon\), let \(K=K\backslash x_{0}^{1}\). Go to Step 2.
Step 2. Take \(m \in K\), let \(K=K\backslash m\). Compute \(n=\arg\min_{z\in T(m)}g(z,m)\), go to Step 3.
Step 5. If \(K=\emptyset\), stop. Otherwise, go to Step 2.
Remark 5.3
In Step 2 we discretize K within an acceptable error range of solution. m takes different discrete points m of K in every iterative process. It is not hard to see that the major part of Algorithm 2 is similar to Algorithm 1. If we use Algorithm 1 to solve the BVI which has more than one solution, Algorithm 1 will stop when we get one solution. In order to get all the solutions, we should choose another initial point again, and reiterate the process of Algorithm 1. So, Step 4 in Algorithm 2 is important. m needs to take all the discrete points of K. Since we discretize K within an acceptable error range of solution, the stopping criterion \(K=\emptyset\) is reasonable.
Theorem 5.2
Suppose all the conditions of Theorem 5.1 are satisfied. If the BVI (1)-(2) has n solutions, then, for all \(j\in[1,n]\) the sequence \(\{(x_{k}^{j},x_{k}^{j})\}\) generated by the proposed Algorithm 2 converges to one solution of the BVI (1)-(2). Further, Algorithm 2 can be used to find all the solution of the BVI (1)-(2).
6 Numerical illustrative examples
Next, we will given two numerical examples of the proposed Algorithm 1.
Example 6.1
It is easy to see that the lower-level solution set is \(M(x)=\{1\}\), \(\forall x\in K\), and \((1,1)\) is the unique solution of the BVI (23)-(24).
Example 6.2
It is easy to see that the rational reaction set is \(M(x)=\{0.5\}\), \(\forall x\in K\), and \((0.5,5)\) is the unique solution of the BVI (25)-(26).
Next, we will given two numerical examples for the proposed Algorithm 2.
Example 6.3
It is easy to see that the lower-level solution set is \(M(x)=\{1,1.5\}\), \(\forall x\in K\). \(M(x)\) is not a singleton, and \(\{(1,2), (1.5,1)\}\) is the solution set of the BVI (27)-(28).
Example 6.4
It is easy to see that the lower-level solution set is \(M(x)=\{1,2\}\), \(\forall x\in K\). \(M(x)\) is not a singleton, and \(\{(1,4), (2,1)\}\) is the solution set of the BVI (29)-(30).
Example 6.5
It is easy to see that the lower-level solution set is \(M(x)=\{1,1.4\}\), \(\forall x\in K\). \(M(x)\) is not a singleton, and \(\{((2,1),1.4), ((1,1),1)\}\) is the solution set of the BVI (29)-(30).
Computational results using the proposed Algorithm 2
Example | \(\boldsymbol {x_{0}^{j}}\) | \(\boldsymbol {\mu^{j}}\) | ( z , x ) | g ( z , x ) | times |
---|---|---|---|---|---|
1.9 | 1.1 | (1.498,1.002) | 0.0008 | \( 2.674~\mathrm{s}\) | |
1.91 | 1.1 | (1.000,1.998) | 0.0009 | ||
1.6 | 1.1 | (1.997,1.002) | 0.0010 | \( 7.618~\mathrm{s}\) | |
1.61 | 1.1 | (1.000,4.000) | 0.0000 | ||
(2,2) | 1.1 | (1.402,(2,1.001)) | 0.008 | \(75.260~\mathrm{s}\) | |
(2,0.99) | 1.1 | (1.005,(1,1.001)) | 0.008 |
In Table 3, we can see that the two algorithms can solve the BVI (23)-(24) well. The last column denotes the operation time. Obviously, Algorithm 1 is faster than Algorithm 2. Because the two algorithms have different termination conditions, if the BVI has only one solution, we should solve it by Algorithm 1.
7 Conclusions
In this paper, we have investigated a class of bilevel variational inequalities (BVIs) with hierarchical nesting structure, which was introduced in [25] first. In the case that the solution set \(M(x)\) of the lower-level variational inequality is not a singleton, we call it Ill-posed bilevel variational inequality. We first obtained the existence theorem of a solution for ill-posed bilevel variational inequalities by the Himmelberg fixed point theorem. Then the uniqueness of a solution for the upper-level variational inequality in regard to every feedback parameter is given under some mild condition. We transform the BVI into a one-level variational inequality by gap functions of the upper-level and lower-level function, and we proved their equivalence. Two algorithms to find the solutions of the BVI were constructed. Finally, we have proved the convergence of the iterative sequence generated by the proposed algorithm under some mild conditions. We said that the two algorithms can also be used to solve well-posed bilevel variational inequalities. Furthermore, we can see that for the two algorithms \(M(x)\) does not need to be compact or convex. In the future, we will consider the following questions. We know that one of the conditions for a solution to exist is that \(M(x)\) is a convex set. In the future we will consider the solution existence conditions in the case that \(M(x)\) is not a convex set. Since the BVI is a very complicated model, it is quite difficulty to design an algorithm that is efficient for all examples. From the numerical examples, we can see that the two algorithms are efficient in R. In the future, we will design algorithms that are more efficient in \(R^{d}\) for \(d> 2\).
Declarations
Acknowledgements
This work of Z Wan was partially supported by the Natural Science Foundation of China, No. 71471140 and No. 71171150. The work of J-w Chen was partially supported by the Natural Science Foundation of China, No. 11401487. The work of G Li was partially supported by Graduate Students Independent Research Foundation of Wuhan University, No. 2015201020204.
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.
Authors’ Affiliations
References
- Dempe, S: Foundations of Bilevel Programming. Kluwer Academic, Dordrecht (2002) MATHGoogle Scholar
- Stackelberg, HV: Marktform und gleichgewicht. Springer, Berlin (1934) Google Scholar
- Andreani, R, Martı, JM, et al.: On the solution of mathematical programming problems with equilibrium constraints. Math. Methods Oper. Res. 54(3), 345-358 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Dempe, S, Dutta, J: Is bilevel programming a special case of a mathematical program with complementarity constraints? Math. Program. 131(1-2), 37-48 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Dempe, S, Zemkoho, AB: The bilevel programming problem: reformulations, constraint qualifications and optimality conditions. Math. Program. 138(1-2), 447-473 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Dinh, BV, Muu, LD: Algorithms for a class of bilevel programs involving pseudomonotone variational inequalities. Acta Math. Vietnam. 38(4), 529-540 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Ye, J, Zhu, D, Zhu, Q: Exact penalization and necessary optimality conditions for generalized bilevel programming problems. SIAM J. Optim. 7(2), 481-507 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Ye, JJ: Nondifferentiable multiplier rules for optimization and bilevel optimization problems. SIAM J. Optim. 15(1), 252-274 (2004) MathSciNetView ArticleMATHGoogle Scholar
- Yin, H, Zhang, J: Global convergence of a smooth approximation method for mathematical programs with complementarity constraints. Math. Methods Oper. Res. 64(2), 255-269 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Bard, JF, Plummer, J, Claude Sourie, J: A bilevel programming approach to determining tax credits for biofuel production. Eur. J. Oper. Res. 120(1), 30-46 (2000) View ArticleMATHGoogle Scholar
- Lu, J, Shi, C, Zhang, G: On bilevel multi-follower decision making: general framework and solutions. Inf. Sci. 176(11), 1607-1627 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Chiou, S-W: Bilevel programming for the continuous transport network design problem. Transp. Res., Part B, Methodol. 39(4), 361-383 (2005) View ArticleGoogle Scholar
- Nair, R, Miller Hooks, E: Equilibrium network design of shared-vehicle systems. Eur. J. Oper. Res. 235(1), 47-61 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Hobbs, BF, Nelson, SK: A nonlinear bilevel model for analysis of electric utility demand-side planning issues. Ann. Oper. Res. 34(1), 255-274 (1992) MathSciNetView ArticleMATHGoogle Scholar
- Nicholls, MG: Aluminum production modeling a nonlinear bilevel programming approach. Oper. Res. 43(2), 208-218 (1995) MathSciNetView ArticleMATHGoogle Scholar
- Roghanian, E, Sadjadi, SJ, Aryanezhad, M-B: A probabilistic bi-level linear multi-objective programming problem to supply chain planning. Appl. Math. Comput. 188(1), 786-800 (2007) MathSciNetMATHGoogle Scholar
- Wang, X, Wang, Y, Cui, Y: A new multi-objective bi-level programming model for energy and locality aware multi-job scheduling in cloud computing. Future Gener. Comput. Syst. 36, 91-101 (2014) View ArticleGoogle Scholar
- Anh, PN, Kim, J, Muu, LD: An extragradient algorithm for solving bilevel pseudomonotone variational inequalities. J. Glob. Optim. 52(3), 627-639 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Anh, TT, Long, LB, Anh, TV: A projection method for bilevel variational inequalities. J. Inequal. Appl. 2014, 205 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Chen, J-w, Wan, Z, Cho, YJ: The existence of solutions and well-posedness for bilevel mixed equilibrium problems in Banach spaces. Taiwan. J. Math. 17(2), 725-748 (2013) MathSciNetMATHGoogle Scholar
- Moudafi, A: Proximal methods for a class of bilevel monotone equilibrium problems. J. Glob. Optim. 47(2), 287-292 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Noor, MA, Huang, Z: A iterative scheme for a system of quasi variational inequalities. J. Math. Inequal. 1(1), 31-38 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Peng, J, Zhu, D: A new system of generalized mixed quasi-variational inclusions with \((h, \eta)\)-monotone operators. J. Math. Anal. Appl. 327(1), 175-187 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Wan, Z, Chen, J-w, Sun, H, Yuan, L: A new system of generalized mixed quasivariational inclusions with relaxed cocoercive operators and applications. J. Appl. Math. 2011, 961038 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Wan, Z, Chen, J-w: On bilevel variational inequalities. J. Oper. Res. Soc. China 1(4), 483-510 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Francisco, F, Christian, K, Simone, S: Solving quasi-variational inequalities via their KKT conditions. Math. Program. 144(1-2), 369-412 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Christian, K: On the multiplier-penalty-approach for quasi-variational inequalities. Math. Program. 1-31 (2015) Google Scholar
- Noor, MA: On general quasi-variational inequalities. J. King Saud Univ., Sci. 24(1), 81-88 (2012) View ArticleGoogle Scholar
- Aubin, J-P, Ekeland, I: Applied Nonlinear Analysis. Wiley-Interscience, New York (1984) MATHGoogle Scholar
- Wu, X, Shen, S: A further generalization of Yannelis-Prabhakar’s continuous selection theorem and its applications. J. Math. Anal. Appl. 197(1), 61-74 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Ding, XP, Kim, WK, Tan, K-K: A selection theorem and its applications. Bull. Aust. Math. Soc. 46(2), 205-212 (1992) MathSciNetView ArticleMATHGoogle Scholar
- Alghamdi, MA, Shahzard, N, Valero, O: On fixed point theory in partial metric spaces. Fixed Point Theory Appl. 2012, 1 (2012) MathSciNetView ArticleGoogle Scholar
- Hidetoshi, K, Sehie, P: Remarks on extensions of the Himmelberg fixed point theorem. Fixed Point Theory Appl. 2007, 016028 (2007) MathSciNetMATHGoogle Scholar
- Horsley, A, Wrobel, AJ, Van Zandt, T: Berge’s maximum theorem with two topologies on the action set. Econ. Lett. 61(3), 285-291 (1998) View ArticleMATHGoogle Scholar