- Research
- Open access
- Published:
Error bounds for mixed set-valued vector inverse quasi-variational inequalities
Journal of Inequalities and Applications volume 2020, Article number: 160 (2020)
Abstract
The purpose of this paper is to introduce and study the mixed set-valued vector inverse quasi-variational inequality problems (MSVIQVIPs) and to obtain error bounds for this kind of MSVIQVIP in terms of the residual gap function, the regularized gap function, and the D-gap function. These bounds provide effective estimated distances between an arbitrary feasible point and the solution set of mixed set-valued vector inverse quasi-variational inequality problem. The results presented in the paper improve and generalize some recent results.
1 Introduction
The inverse variational inequalities were developed by He et al. [1, 2], which have many applications in various fields such as market equilibrium issues in economics, transportation networks and communication networks; see [3–8]. In 2014, Li et al. [9] introduced a new class of inverse mixed variational inequality in the setting of Hilbert spaces, which has many applications in simple traffic network equilibrium control problems. Recently, Habestreit et al. [10] focused on an inverse problem of parameter identification in the vector variational and vector quasi-variational inequalities and provided the existence results for the regularized least square based optimization problems.
For the analysis of optimization problems, the idea of a gap function was first introduced and plays an important role in developing iterative algorithms, but more importantly in evaluating their convergence properties and obtaining useful stopping rules for iterative algorithms; see [11–13]. Error bounds are very important and useful because they provide a measure of the distance between a solution set and a feasible arbitrary point. Solodov [14] developed some merit functions associated with a generalized mixed variational inequality (defined over the entire space) and used those functions to obtain mixed variational inequality error limits. Recently, Aussel et al. [15] introduced a new inverse quasi-variational inequality (IQVI), obtained local (global) error bounds for an IQVI in terms of some gap functions to demonstrate IQVI’s applicability, and gave an example of problems with road pricing. Sun and Chai [16] introduced regularized gap functions for generalized vector variation inequalities (GVVI) and obtained GVVI error bounds for regularized gap functions. Later on several authors studied the gap function for general variational inequality and Minty type variational inequality and demonstrate their error bounds by using the monotonicity in term of those gap functions; see [1–14]. Wu and Huang [17] implemented generalized f-projection operators to deal with mixed variational inequality. Using the generalized f-projection operator, Li and Li [18] recently investigated a restricted mixed set-valued variational inequality in Hilbert spaces and proposed four merit functions for the restricted mixed set-valued variational inequality and obtained error bounds through these functions. Wang et al. [19] considered a vector inverse mixed quasi-variational inequality and proposed the gap function for the vector inverse mixed quasi-variational inequality and obtained error bounds by using the monotonicity and Lipschitz continuity of the underlying mappings. Very recently in 2019, Kobis et al. [20] suggested the constrained inverse variational inequality and by using the Gerstewitz functional, they established the sufficient and necessary optimality condition of the constrained inverse variational inequality and obtained the gap function and error bounds for the constrained inverse variational inequality problem.
Motivated and inspired by the research going on in this direction, the purpose of this paper is to introduce and study the mixed set valued vector inverse quasi-variational inequality problems (MSVIQVIP). We propose three gap functions, the residual gap function, the regularized gap function, the D-gap function. By using these gap functions and the generalized f-projection operator, and under suitable conditions, we obtain error bounds for this kind of mixed set-valued vector inverse quasi-variational inequalities. These bounds provide effective estimated distances between an arbitrary feasible point and the solution set of MSVIQVIPs. The results presented in the paper improve and generalize the corresponding ones in [15, 19, 21].
2 Preliminaries
Throughout this article, \(\mathbf{R}^{+}\) denotes the set of non-negative real numbers, 0 denotes the origin of all finite dimensional spaces, and \(\Vert \cdot \Vert \) and \(\langle \cdot ,\cdot \rangle \), respectively, denote the norm and the inner product in finite dimensional spaces. Let \(\varOmega ,\mathbb{F}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) be the set-valued mappings with nonempty closed convex values, \(\mathfrak{Q}_{i}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) (\(i=1,2,\ldots,m\)) be single-valued mappings, \(\mathfrak{h}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) be a single-valued mapping, and \(f_{i}:\mathbf{R}^{n}\longrightarrow \mathcal{R}\) (\(i=1,2,\ldots,m\)) be real-valued convex functions. For abbreviation, we put
and, for any \(x,v \in \mathbf{R}^{n}\),
In this paper, we consider the mixed set valued vector inverse quasi-variational inequality for finding \(\bar{x} \in \varOmega (\bar{x})\) and \(\bar{u} \in \mathbb{F}(\bar{x})\) such that
The solution set of (2.1) is denoted by \((\operatorname{sol}(\mbox{2.1}))\).
Special Cases
-
(i)
If \(\mathbb{F}\) is a single-valued mapping, then (2.1) reduces to the vector inverse mixed quasi-variational inequality for finding \(\bar{x} \in \varOmega (\bar{x})\) such that
$$ \bigl\langle \mathfrak{Q}(\bar{x}), y - \mathfrak{h}(\bar{x})\bigr\rangle + f(y)-f\bigl( \mathfrak{h}(\bar{x})\bigr)\notin -\operatorname{int} \mathbf{R}^{m}_{+}, \quad \forall y \in \varOmega (\bar{x}), $$(2.2)which was studied in [19].
-
(ii)
If \(\mathcal{C} \subset \mathbf{R}^{n}\) is a nonempty closed and convex subset, \(\mathfrak{h}(x)=x\) and \(\varOmega (x)=\mathcal{C}\) for all \(x\in \mathbf{R}^{n}\), then (2.2) collapses to the generalized vector variational inequality for finding \(\bar{x} \in \mathcal{C}\) such that
$$ \bigl\langle \mathfrak{Q}(\bar{x}), y-x\bigr\rangle + f(y)-f(x) \notin -\operatorname{int} \mathbf{R}^{m}_{+}, \quad \forall y \in \mathcal{C}, $$(2.3)which was considered in [16].
-
(iii)
If \(f(x)=0\) for all \(x\in \mathbf{R}^{n}\), then (2.3) reduces to vector variational inequality introduced and studied by [22–25]. Obviously, for \(m=1\), (2.2) collapses to the inverse mixed quasi-variational inequality for finding \(\bar{x} \in \varOmega (\bar{x})\) such that
$$ \bigl\langle \mathfrak{Q}_{1}(\bar{x}), y-\mathfrak{h}( \bar{x})\bigr\rangle + f_{1}(y)-f_{1}\bigl( \mathfrak{h}( \bar{x})\bigr) \geq 0, \quad \forall y \in \varOmega (\bar{x}), $$(2.4)which was studied in [21].
-
(iv)
If \(f_{1}(x)=0\) for all \(x\in \bar{\mathbf{R}}^{n}\), then inverse mixed quasi-variational inequality collapses to the following inverse quasi-variational inequality for finding \(\bar{x} \in \varOmega (\bar{x})\) such that
$$ \bigl\langle \mathfrak{Q}_{1}(\bar{x}), y-\mathfrak{h}( \bar{x})\bigr\rangle \geq 0, \quad \forall y \in \varOmega (\bar{x}). $$(2.5) -
(v)
If \(\mathcal{C}\subset \mathbf{R}^{n}\) is a nonempty closed and convex subset and \(\varOmega (x)=\mathcal{C}\) for all \(x\in \mathbf{R}^{n}\), then the inverse mixed quasi-variational inequality collapses to the following mixed variational inequality for finding \(\bar{x} \in \mathcal{C}\) such that
$$ \bigl\langle \mathfrak{Q}_{1}(\bar{x}), y-\mathfrak{h}( \bar{x})\bigr\rangle + f_{1}(y)-f_{1}\bigl( \mathfrak{h}( \bar{x})\bigr) \geq 0, \quad \forall y\in \mathcal{C}, $$(2.6)which was studied in [15].
-
(vi)
When \(\mathcal{C}=\mathbf{R}^{n}\), then the mixed variational inequality was investigated by Solodov [14].
-
(vii)
When \(\mathfrak{Q}_{1}(x)=x\), \(\forall x \in \mathbf{R}^{n}\), the mixed variational inequality becomes the inverse mixed variational inequality which was introduced and studied by [9].
-
(viii)
For \(i=1,2,\ldots,m\), we denote the inverse mixed quasi-variational inequality (IMQVI) associated with \(\mathfrak{Q}_{i}\), \(\mathfrak{h}\), Ω, and \(f_{i}\) as \((\mathrm{IMQVI})^{i}\). The solution sets of (IMQVI)i are denoted by \(\operatorname{sol}(\mathrm{IMQVI})^{i}\).
In this paper, we intend to study several scalar-valued gap functions and error bounds for a mixed set-valued vector inverse quasi-variational inequality. In order to do so, we shall recall some notations and definitions, which will be used in proving our main results.
Definition 2.1
([15])
Let \(G:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) and \(g:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) be two maps.
- (i)
\((G, g)\) is said to be a strongly monotone couple with modulus μ if there exists a constant \(\mu > 0\) such that
$$ \bigl\langle G(y)-G(x), g(y) - g(x)\bigr\rangle \geq \mu \Vert y- x \Vert ^{2}, \quad \forall x,y \in \mathbf{R}^{n}; $$ - (ii)
g is said to be \(\mathcal{L}\)-Lipschitz continuous on \(\mathbf{R}^{n}\) if there exists a constant \(\mathcal{L} > 0\) such that
$$ \bigl\Vert g(x) - g(y) \bigr\Vert \leq \mathcal{L} \Vert x - y \Vert ,\quad \forall x,y \in \mathbf{R}^{n}. $$
For any fixed \(\rho > 0\), let \(G:\mathbf{R}^{n} \times \tilde{\varOmega }\longrightarrow (-\infty , + \infty ]\) be a function defined as follows:
where \(\tilde{\varOmega } \subset \mathbf{R}^{n}\) is a nonempty closed and convex subset, and \(f:\mathbf{R}^{n}\longrightarrow \mathcal{R}\) is convex.
Definition 2.2
([17])
We say that \(\gimel ^{f}_{\tilde{\varOmega }}:\mathbf{R}^{n}\longrightarrow 2^{ \tilde{\varOmega }}\) is a generalized f-projection operator if
Remark 2.3
If \(f(x)=0\) for all \(x\in \tilde{\varOmega }\), then the generalized f-projection operator \(\gimel ^{f}_{\tilde{\varOmega }}\) is equivalent to the following metric projection operator:
Lemma 2.4
The following statements hold:
- (i)
For any given\(\varphi \in \mathbf{R}^{n}\), \(\gimel ^{f}_{\tilde{\varOmega }}\varphi \)is nonempty and single-valued.
- (ii)
For any given\(\varphi \in \mathbf{R}^{n}\), \(x = \gimel ^{f}_{\tilde{\varOmega }} \varphi \)if and only if
$$ \langle x-\varphi , y - x\rangle + \rho f(y) - \rho f(x) \geq 0, \quad \forall y \in \tilde{\varOmega }. $$ - (iii)
\(\gimel ^{f}_{\tilde{\varOmega }}:\mathbf{R}^{n}\longrightarrow \varOmega \)is nonexpansive, that is,
$$ \bigl\Vert \gimel ^{f}_{\tilde{\varOmega }}x - \gimel ^{f}_{\tilde{\varOmega }}y \bigr\Vert \leq \Vert x-y \Vert , \quad \forall x,y\in \mathbf{R}^{n}. $$
Lemma 2.5
([21])
Letmbe a positive number, \(B \subset \mathbf{R}^{n}\)be a nonempty subset such that
Let\(\varOmega :\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\)be a set-valued mapping such that, for each\(x\in \mathbf{R}^{n}\), \(\varOmega (x)\)is a closed convex set, and let\(f:\mathbf{R}^{n}\longrightarrow \mathcal{R}\)be a convex function on\(\mathbf{R}^{n}\). Assume that
- (i)
there exists a constant\(\gamma > 0\)such that
$$ \mathfrak{H}\bigl(\varOmega (x),\varOmega (y)\bigr) \leq \gamma \Vert x-y \Vert ,\quad x,y \in \mathbf{R}^{n}; $$ - (ii)
\(0 \in \bigcap_{w\in \mathbf{R}^{n}}\varOmega (w)\);
- (iii)
fisℓ-Lipschitz continuous on\(\mathbf{R}^{n}\). Then there exists a constant\(\kappa =\sqrt{6\gamma (m+ \rho \ell )}\)such that
$$ \bigl\Vert \gimel ^{f}_{\varOmega (x)}z -\gimel ^{f}_{\varOmega (x)}z \bigr\Vert \leq \kappa \Vert x - y \Vert , \quad \forall x,y \in \mathbf{R}^{n}, z \in B. $$
Definition 2.6
([19])
A function \(r:\mathbf{R}^{n}\longrightarrow R\) is said to be a gap function for a mixed set-valued vector inverse quasi-variational inequality on a set \(\tilde{\mathcal{S}}\subset \mathbf{R}^{n}\) if it satisfies the following conditions:
- (i)
\(r(x) \geq 0 \quad \text{for any } x \in \tilde{\mathcal{S}}\);
- (ii)
\(r(\bar{x}) = 0\), \(\bar{x} \in \tilde{\mathcal{S}}\) if and only if x̄ is a solution of (2.1).
Gap functions play an important role in the design of iterative algorithms to solve a mixed set-valued vector inverse quasi-variational inequality. But more important is it to evaluate their convergence properties and to obtain useful stopping rules for iterative algorithms. This motivates us to research and evaluate various gap functions for a mixed set-valued vector inverse quasi-variational inequality.
3 The residual gap functions
In this section, we will give the residual gap function for a mixed set-valued vector inverse quasi-variational inequality and prove error bounds related to the residual gap function. For a mixed set-valued vector inverse quasi-variational inequality, we define the residual gap function as follows:
Theorem 3.1
Suppose that\(\mathbb{F}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\)is a set-valued mapping and\(\mathfrak{Q}_{i}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) (\(i = 1, 2,\ldots,m\)) are single-valued mappings. Assume that\(\mathfrak{h}:\mathbf{R}^{n} \longrightarrow \mathbf{R}^{n}\)is a single-valued mapping, then, for any\(\rho > 0, r_{\rho }(x)\)is a gap function for (2.1) on\(\mathbf{R}^{n}\).
Proof
Obviously, \(r_{\rho }(x) \geq 0\) for any \(x \in \mathbf{R}^{n}\). On the other hand, if
then there exists \(0 \leq i_{0} \leq m\) such that
Lemma 2.4 implies that
and so
It ensures that
Thus, x̄ is a solution of (2.1).
Conversely, if x̄ is a solution of (2.1), there exists \(1 \leq i_{0} \leq m\) such that
By Lemma 2.4, we have
This means that
The proof is completed. □
Next we will give the residual gap function \(r_{\rho }\), error bounds for (2.1).
Theorem 3.2
Let\(\mathbb{F}:\mathbf{R}^{n} \longrightarrow \mathbf{R}^{n}\)be\(\mathfrak{H}\)-ϑ-Lipschitz continuous, \(\mathfrak{Q}_{i}:\mathbf{R}^{n} \longrightarrow \mathbf{R}^{n}\) (\(i=1,2,\ldots,m\)) be\(\mathcal{L}_{i}\)-Lipschitz continuous, \(\mathfrak{h}:\mathbf{R}^{n} \longrightarrow \mathbf{R}^{n}\)beℓ-Lipschitz continuous, and for\(i = 1,2,\ldots,m\), \((\mathfrak{Q}_{i},\mathfrak{h})\)be strongly monotone couples with modulus\(\mu _{i}\). Let
Assume that there exists\(\kappa _{i} \in (0, \frac{\mu _{i}}{\vartheta \mathcal{L}_{i}})\)such that
Then, for any\(x \in \mathbf{R}^{n}\)and\(\rho > \frac{\kappa _{i}\ell }{\mu _{i}-\vartheta \kappa _{i}\mathcal{L}_{i}}\),
where
denotes the distance between the pointxand the set\((\operatorname{sol}(\mbox{2.1}))\).
Proof
Because \(\bigcap^{m}_{i=1} (\operatorname{sol}(\mbox{2.1})^{i}) \neq \emptyset \), we assume that \(\bar{x} \in \varOmega (\bar{x})\) is a common solution of \((\mbox{2.1})^{i}\), \(i = 1,\ldots,m\), and thus, for any \(i \in \{1,\ldots,m\}\), we have
By definition of \(\gimel ^{f_{i}}_{\varOmega (\bar{x})}[\mathfrak{h}(x) - \rho \mathfrak{Q}_{i}(u)]\), Lemma 2.4 implies that
Since \(\bar{x} \in \bigcap^{m}_{i=1}(\operatorname{sol}(\mbox{2.1})^{i})\), \(\mathfrak{h}(\bar{x}) \in \varOmega (\bar{x})\). Replacing y by \(\mathfrak{h}(\bar{x})\) in (3.4), we get
From \(\gimel ^{f_{i}}_{\varOmega (\bar{x})}[\mathfrak{h}(x) - \rho \mathfrak{Q}_{i}(u)] \in \varOmega (\bar{x})\), by (3.3), it follows that
which also implies
Since, for \(i=1,2,\ldots,m\), \((\mathfrak{Q}_{i},\mathfrak{h})\) are strongly monotone couples with modulus \(\mu _{i}\), we have
By inserting \(\gimel ^{f_{i}}_{\varOmega (x)}[\mathfrak{h}(x) - \rho \mathfrak{Q}_{i}(u)]\) and using the Cauchy–Schwarz inequality along with the triangular inequality, we have
Using the Lipschitz continuity of \(\mathfrak{Q}_{i}\), \(\mathfrak{h}\), and \(\mathfrak{H}\)-ϑ-Lipschitz continuity of \(\mathbb{F}\) and condition (3.2), we have
Hence, for any \(x \in \mathbf{R}^{n}\) and \(i \in \{1,2,\ldots,m\}\), \(\rho > \frac{\kappa _{i}\ell }{\mu _{i}-\kappa _{i}\vartheta \mathcal{L}_{i}}\) and \(\mu _{i} > \kappa _{i}\vartheta \mathcal{L}_{i}\), we have
This implies
which means that
The proof is completed. □
Remark 3.3
Lemma 2.5 implies that condition (3.2) holds under certain appropriate assumptions.
4 The regularized gap function
The regularized gap function for (2.1) is defined for all \(x \in \mathbf{R}^{n}\) as follows:
where \(\rho > 0\) is a parameter.
Lemma 4.1
We have
where
And if\(x \in \mathfrak{h}^{-1}(\varOmega )\), where
then
Proof
For given \(x \in \mathbf{R}^{n}\) and \(i\in \{1,2,\ldots,m\}\), set
Consider the following problem:
Since \(\psi _{i}(x,\cdot )\) is a strongly concave function and \(\varOmega (x)\) is nonempty closed and convex, the above optimization problem has a unique solution, say \(z \in \varOmega (x)\). Evoking the condition of optimality at z, we get
where \(N_{\varOmega (x)}(z)\) is the normal cone at z to \(\varOmega (x)\) and \(\partial f_{i}(z)\) denotes the subdifferential of \(f_{i}\) at z. Therefore,
and so
Hence \(g_{i}(x)\) can be rewritten as
Letting
we get
and so
From the definition of the projection \(\gimel ^{f_{i}}_{\varOmega (x)}[\mathfrak{h}(x) - \rho \mathfrak{Q}_{i}(u)]\), we have
For any \(x\in \mathfrak{h}^{-1}(\varOmega )\), we have \(\mathfrak{h}(x) \in \varOmega (x)\), and therefore, by taking \(y = \mathfrak{h}(x)\) in the above relation, we get
that is,
From the definition of \(r_{\rho }(x)\) and (4.1), we get
The proof is completed. □
Theorem 4.2
For\(\rho > 0\), \(\phi _{\rho }\)is a gap function for (2.1) on the set
Proof
From the definition of \(\phi _{\rho }\), we have
Therefore, for any \(x\in \mathfrak{h}^{-1}(\varOmega )\), by setting \(y=\mathfrak{h}(x)\), we have
Suppose that \(\bar{x}\in \mathfrak{h}^{-1}(\omega )\) with \(\phi _{\rho }(\bar{x}) = 0\). From (4.2), it follows that
which implies that x̄ is the solution of (2.1).
Conversely, if x̄ is a solution of (2.1), there exists \(1 \leq i_{0} \leq m\) such that
which means that
Thus,
The preceding claim leads to
and it implies that
The proof is completed. □
Since \(\phi _{\rho }\) can act as a gap function for (2.1), according to Theorem 4.2, investigating the error-bound properties that can be obtained with \(\phi _{\rho }\) is interesting. The following corollary is obtained directly by Theorem 3.2 and (3.5).
Corollary 4.3
Let\(\mathbb{F}:\mathbf{R}^{n} \longrightarrow \mathbf{R}^{n}\)be\(\mathfrak{H}\)-ϑ-Lipschitz continuous, \(\mathfrak{Q}_{i}:\mathbb{R}^{n}\longrightarrow \mathbb{R}^{n} \) (\(i=1,2,\ldots,m\)) be\(\mathcal{L}_{i}\)-Lipschitz continuous, \(\mathfrak{h}:\mathbb{R}^{n}\longrightarrow \mathbb{R}^{n}\)beℓ-Lipschitz continuous, and for\(i=1,2,\ldots,m\), \((\mathfrak{Q}_{i},\mathfrak{h})\)be strongly monotone couples with modulus\(\mu _{i}\). Let\(\bigcap^{m}_{i=1} (\operatorname{sol}(\mbox{2.1})^{i})\neq \emptyset \). Assume that there exists\(\kappa _{i}\in (0, \frac{\mu _{i}}{\vartheta \mathcal{L}_{i}})\)such that
Then, for any\(x\in \mathfrak{h}^{-1}(\varOmega )\)and any\(\rho > \frac{\kappa _{i}\ell }{\mu _{i}-\kappa _{i}\vartheta \mathcal{L}_{i}}\),
If \(\mathbb{F}\) is a single-valued mapping, then we have Corollary 4.3.
Corollary 4.4
Let\(\mathfrak{Q}_{i}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n} \) (\(i=1,2,\ldots,m\)) be\(\mathcal{L}_{i}\)-Lipschitz continuous, \(\mathfrak{h}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\)beℓ-Lipschitz continuous, and for\(i=1,2,\ldots,m\), \((\mathfrak{Q}_{i},\mathfrak{h})\)be strongly monotone couples with modulus\(\mu _{i}\). Let\(\bigcap^{m}_{i=1} (\operatorname{sol}(\mbox{2.1})^{i})\neq \emptyset \). Assume that there exists\(\kappa _{i}\in (0, \frac{\mu _{i}}{\mathcal{L}_{i}})\)such that
Then, for any\(x\in \mathfrak{h}^{-1}(\varOmega )\)and any\(\rho > \frac{\kappa _{i}\ell }{\mu _{i}-\kappa _{i}\mathcal{L}_{i}}\),
5 The D-gap functions
It is surprising that the regularized gap function \(\phi _{\rho }\) does not provide global error bounds for (2.1) on \(\mathbf{R}^{n}\). Solodov [14] proposed the D-gap function for a mixed variational inequality and obtained error bounds for a mixed variational inequality related to the D-gap function. With this inspiration, we introduce the D-gap function for (2.1), which gives for \(\mathbf{R}^{n}\) the global error bound for (2.1).
For (2.1) with \(\alpha > \beta > 0\), the D-gap function is defined as follows:
By (4.1) in Lemma 4.1, we know \(G_{\alpha \beta }\) can be rewritten as
where
and
Theorem 5.1
For any\(x\in \mathbf{R}^{n}\), \(\alpha > \beta > 0\), we have
Proof
From the definition of \(G_{\alpha \beta }(x)\), it follows that
For any given \(i \in \{1,2,\ldots,m\}\), we set
Since \(\gimel ^{f_{i}}_{\varOmega (x)}[\mathfrak{h}(x) - \beta \mathfrak{Q}_{i}(u)] \in \varOmega (x)\), by Lemma 2.4, we know
which means that
Combining (5.2) and (5.3), we get
Since \(\gimel ^{f_{i}}_{\varOmega (x)}[\mathfrak{h}(x)-\alpha \mathfrak{Q}_{i}(u)] \in \varOmega (x)\), by Lemma 2.4, we have
Hence
and so
This together with (5.3) shows that
From (5.4) and (5.5), for any \(i \in \{1,2,\ldots,m\}\), we get
Hence
and so
The proof is completed. □
Now we prove that \(G_{\alpha \beta }\) in the set \(\mathbf{R}^{n}\) is a global gap function for (2.1).
Theorem 5.2
For\(0 < \beta < \alpha \), \(G_{\alpha \beta }\)is a gap function for (2.1) on\(\mathbf{R}^{n}\).
Proof
From (5.2), we have
Suppose that \(\bar{x} \in \mathbf{R}^{n}\) with \(G_{\alpha \beta }(\bar{x}) = 0\), then (5.2) implies that
From Theorem 3.1, we know x̄ is a solution of (2.1).
Conversely, if x̄ is a solution of (2.1), then from Theorem 3.1, it follows that
Obviously, (5.2) shows that
The proof is completed. □
Use Theorem 3.2 and (5.2), we immediately get a global error bound in the set \(\mathbf{R}^{n}\) for (2.1).
Corollary 5.3
Let\(\mathbb{F}:\mathbf{R}^{n} \longrightarrow \mathbf{R}^{n}\)be\(\mathfrak{H}\)-ϑ-Lipschitz continuous, \(\mathfrak{Q}_{i}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) (\(i=1, 2,\ldots,m\)) be\(\mathcal{L}_{i}\)-Lipschitz continuous, \(\mathfrak{h}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\)beℓ-Lipschitz continuous, and for\(i=1,2,\ldots,m\), \((\mathfrak{Q}_{i},\mathfrak{h})\)be strongly monotone couples with modulus\(\mu _{i}\). Let\(\bigcap^{m}_{i=1} (\operatorname{sol}(\mbox{2.1})^{i})\neq \emptyset \). Assume that there exists\(\kappa _{i} \in (0, \frac{\mu _{i}}{\vartheta \mathcal{L}_{i}})\)such that
Then, for any\(x \in \mathbf{R}^{n}\)and any\(\beta > \frac{\kappa _{i}\ell }{\mu _{i}-\kappa _{i}\vartheta \mathcal{L}_{i}}\),
Note that, if \(\mathbb{F}\) is a single-valued mapping, then Corollary 5.3 reduces to the following.
Corollary 5.4
Let\(\mathfrak{Q}_{i}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\) (\(i=1, 2,\ldots,m\)) be\(\mathcal{L}_{i}\)-Lipschitz continuous, \(\mathfrak{h}:\mathbf{R}^{n}\longrightarrow \mathbf{R}^{n}\)beℓ-Lipschitz continuous, and for\(i=1,2,\ldots,m\), \((\mathfrak{Q}_{i},\mathfrak{h})\)be strongly monotone couples with modulus\(\mu _{i}\). Let\(\bigcap^{m}_{i=1}(\operatorname{sol}(\mbox{2.2})^{i})\neq \emptyset \). Assume that there exists\(\kappa _{i} \in (0, \frac{\mu _{i}}{\mathcal{L}_{i}})\)such that
Then, for any\(x \in \mathbf{R}^{n}\)and any\(\beta > \frac{\kappa _{i}\ell }{\mu _{i}-\kappa _{i}\mathcal{L}_{i}}\),
Remark 5.5
We note that \(i=1\) and \(f_{1}(x)=0 \forall x \in \mathbf{R}^{n}\), then the results obtained in this paper collapse to the corresponding ones in [15] and [21].
6 Concluding remarks
One of the classical approaches in the analysis of a variational inequality and its variants is to transform it into an equivalent optimization problem by the notion of gap functions. In addition, gap functions play a central role in deriving the so-called error bounds, which provide a measure of the distances between the solution set and an arbitrary feasible point. This motivates us to study and analyze different gap functions and error bounds for mixed set valued vector inverse quasi-variational inequalities (MSVIQVIs).
In this paper, we introduce MSVIQVIs, which include an inverse variational inequality, an inverse mixed variational inequality, an inverse quasi-variational inequality, a vector variational inequality, and an inverse quasi-variational inequality, as special cases. We propose three gap functions for the MSVIQVI, i.e., the residual gap function, the regularized gap function, and the D-gap function. By using these gap functions and a generalized f-projection operator, and under suitable conditions, we obtain error bounds for this kind of mixed set-valued vector inverse quasi-variational inequalities. These bounds provide effective estimated distances between an arbitrary feasible point and the solution set of an MSVIQVIP. The results presented in the paper improve and generalize the corresponding ones in [15, 19, 21].
References
He, B.S., Liu, H.X.: Inverse variational inequalities in the economic field: applications and algorithms. http://www.paper.edu.cn/releasepaper/content/200609-260
He, B.S., Liu, H.X., Li, M., He, X.Z.: PPA-based methods for monotone inverse variational inequalities. http://www.paper.edu.cn/releasepaper/content/200606-219
He, B.S., He, X.Z., Liu, H.X.: Solving a class of constrained black-box inverse variational inequalities. Eur. J. Oper. Res. 204, 391–401 (2010)
Ansari, Q.H., Islam, M., Yao, J.C.: Nonsmooth variational inequalities on Hadamard manifolds. Appl. Anal. 99, 340–358 (2020)
Lee, B.S., Salahuddin: Minty lemma for inverted vector variational inequalities. Optimization 66(3), 351–359 (2017)
Yang, X.Q., Yao, J.C.: Gap functions and existence of solutions to set-valued vector variational inequalities. J. Optim. Theory Appl. 115, 407–417 (2002)
Li, S.J., Teo, K.L., Yang, X.Q., Wu, S.Y.: Gap functions and existence of solutions to generalized vector quasi-equilibrium problems. J. Glob. Optim. 34, 427–440 (2006)
Huang, N.J., Li, J., Yao, J.C.: Gap functions and existence of solutions for a system of vector equilibrium problems. J. Optim. Theory Appl. 133, 201–212 (2007)
Li, X., Li, X.S., Huang, N.J.: A generalized f-projection algorithm for inverse mixed variational inequalities. Optim. Lett. 8, 1063–1076 (2014)
Hebestreit, N., Khan, A.A., Tammer, C.: Inverse problems for vector variational and vector quasi-variational inequalities. Appl. Set-Valued Anal. Optim. 1, 307–317 (2019)
Chen, G.Y., Goh, C.J., Yang, X.Q.: On gap functions for vector variational inequalities. In: Giannessi, F. (ed.) Vector Variational Inequality and Vector Equilibria: Mathematical Theories, pp. 55–70. Kluwer Academic, Boston (2000)
Li, S.J., Yan, H., Chen, G.Y.: Differential and sensitivity properties of gap functions for vector variational inequalities. Math. Methods Oper. Res. 57, 377–391 (2003)
Aussel, D., Correa, R., Marechal, M.: Gap functions for quasi-variational inequalities and generalized Nash equilibrium problems. J. Optim. Theory Appl. 151, 474–488 (2011)
Solodov, M.V.: Merit functions and error bounds for generalized variational inequalities. J. Math. Anal. Appl. 287, 405–414 (2003)
Aussel, D., Gupta, R., Mehra, A.: Gap functions and error bounds for inverse quasi-variational inequality problems. J. Math. Anal. Appl. 407, 270–280 (2013)
Sun, X.K., Chai, Y.: Gap functions and error bounds for generalized vector variational inequalities. Optim. Lett. 8, 1663–1673 (2014)
Wu, K.Q., Huang, N.J.: The generalized f-projection operator with an application. Bull. Aust. Math. Soc. 73, 307–317 (2006)
Li, C.Q., Li, J.: Merit functions and error bounds for constrained mixed set-valued variational inequalities via generalized f-projection operators. Optimization 65(8), 1569–1584 (2016)
Wang, Z.B., Chen, Z.Y., Chen, Z.: Gap functions and error bounds for vector inverse mixed quasi-variational inequality problems. Fixed Point Theory Appl. 2019, 14 (2019)
Kobis, E., Kobis, M.A., Qin, X.: Nonlinear separation approach to inverse variational inequalities in real linear spaces. J. Optim. Theory Appl. 183, 105–121 (2019)
Li, X., Zou, Y.Z.: Existence result and error bounds for a new class of inverse mixed quasi-variational inequalities. J. Inequal. Appl. 2016, Article ID 42 (2016)
Chen, G.Y., Huang, X.X., Yang, X.Q.: Vector Optimization: Set-Valued and Variational Analysis. Lecture Notes in Economics and Mathematical Systems. Springer, Berlin (2005)
Pappalardo, M., Mastroeni, G., Passacantando, M.: Merit functions: a bridge between optimization and equilibria. Ann. Oper. Res. 240, 271–299 (2016)
Giannessi, F.: Theorems of the alternative, quadratic programs and complementarity problems. In: Cottle, R.W., Giannessi, F., Lions, J.L. (eds.) Variational Inequalities and Complementarity Problems, pp. 151–186. Wiley, New York (1980)
Giannessi, F.: Vector Variational Inequalities and Vector Equilibria: Mathematical Theories. Kluwer Academic, Dordrecht (2000)
Acknowledgements
The authors are very grateful to the referees for their careful reading, comments and suggestions, which improved the presentation of this article.
Availability of data and materials
Not applicable.
Funding
This work was supported by the Natural Science Foundation of China (No. 11361070) and supported by the Center for General Education, China Medical University, Taichung, Taiwan.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chang, Ss., Salahuddin, Wang, L. et al. Error bounds for mixed set-valued vector inverse quasi-variational inequalities. J Inequal Appl 2020, 160 (2020). https://doi.org/10.1186/s13660-020-02424-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02424-7