Skip to main content

Existence result and error bounds for a new class of inverse mixed quasi-variational inequalities

Abstract

In this paper, a new class of inverse mixed quasi-variational inequalities (IMQVI) is introduced and studied in Hilbert spaces. This type of inequalities includes many quasi-variational inequalities and inverse variational inequalities as its special cases. We first prove some properties of generalized f-projection operators in Hilbert spaces. Then we use these properties to obtain the existence and uniqueness result. Moreover, error bounds for IMQVI in terms of the residual function are also established. The results presented in this paper are new and improve some results in the recent literature.

1 Introduction

It the past decades, variational inequalities and their generalizations have been widely used in finance, economics, transportation, optimization, operations research, and the engineering sciences. For instance, Lescarret [1] and Browder [2] introduced mixed variational inequalities in 1960s. Later, Konnov and Volotskaya [3] applied mixed variational inequalities to several classes of general economic equilibrium problems and oligopolistic equilibrium problems. In 2006, He et al. [4, 5] studied a class of inverse variational inequalities and also found their applications in practical world, such as normative flow control problems, which require the network equilibrium state to be in a linearly constrained set, and bipartite market equilibrium problems. Some other generalizations such as quasi-variational inequalities also have been studied extensively. For details, we refer to [1, 621] and the references therein.

Motivated and inspired by the work mentioned above, in this paper, we introduce a new class of inverse mixed quasi-variational inequalities (IMQVI) in Hilbert spaces: find an \(x\in H\), such that \(Ax\in K(x)\) and

$$ \bigl\langle g(x),y-Ax\bigr\rangle +\rho f(y)-\rho f(Ax)\geq0,\quad\forall y\in K(x), $$
(1.1)

where \(g,A:H\rightarrow H\) are two continuous mappings, \(K:H\rightarrow2^{H} \) is a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set and \(f:H\rightarrow R\cup\{+\infty\}\) is a proper, convex, and lower semicontinuous on \(K(x)\) for each \(x\in H\).

We first prove some properties of generalized f-projection operators in Hilbert spaces and then explore the existence and uniqueness results of the IMQVI. Furthermore, we study error bounds for the IMQVI in terms of the residual function. Since IMQVI naturally encompasses many types of quasi-variational inequalities and inverse variational inequalities, the results presented in this paper therefore generalize and improve some results in the existing literature.

2 Preliminaries

Let H be a real Hilbert space with scalar product and norm denoted by \(\langle\cdot,\cdot\rangle\) and \(\Vert \cdot \Vert \), respectively. Now we recall the concept of the generalized f-projector operator introduced by Wu and Huang [22]. More properties and applications on generalized projection operators can be found in [2326]. Let \(G:H\times K\to R\cup\{+\infty\}\) be a functional defined as follows:

$$\begin{aligned} G(x,\xi)=\Vert x\Vert ^{2}-2\langle x,\xi\rangle+\Vert \xi \Vert ^{2}+2\rho f(\xi), \end{aligned}$$

where \(\xi\in K\), \(x\in H\), ρ is a positive number and \(f:K\to R\cup \{+\infty\}\) is proper, convex, and lower semicontinuous.

Definition 2.1

[22]

Let H be a real Hilbert space, and K be a nonempty closed and convex subset of H. We say that \(P_{K}^{f,\rho}:H\to2^{K}\) is a generalized f-projection operator if

$$ P_{K}^{f,\rho}x=\Bigl\{ {u\in K:G(x,u)=\inf_{\xi\in K}G(x, \xi)}\Bigr\} ,\quad \forall x\in H. $$

From the work of Wu and Huang [22] and Fan et al. [11], we know that the generalized f-projection operator has the following properties.

Lemma 2.1

[11, 22]

Let H be a real Hilbert space, and K be a nonempty closed and convex subset of H. Then the following statements hold:

  1. (i)

    \(P_{K}^{f,\rho}x\) is nonempty and \(P_{K}^{f,\rho}\) is a single valued mapping;

  2. (ii)

    for all \(x\in H\), \(x^{*}= P_{K}^{f,\rho}x\) if and only if

    $$ \bigl\langle x^{*}-x,y-x^{*}\bigr\rangle +\rho f(y)-\rho f\bigl(x^{*}\bigr)\geq0,\quad \forall y\in K; $$
  3. (iii)

    \(P_{K}^{f,\rho}\) is continuous.

Definition 2.2

Let H be a real Hilbert space, and \(g,A:H\to H\) be two single-valued mappings.

  1. (i)

    A is said to be λ-strongly monotone on H if there exists a constant λ such that

    $$ \langle Ax-Ay,x-y\rangle\geq\lambda \Vert x-y\Vert ^{2},\quad \forall x,y\in H; $$
  2. (ii)

    A is said to be γ-Lipschitz continuous on H if there exists a constant \(\gamma>0\) such that

    $$ \Vert Ax-Ay\Vert \leq\gamma \Vert x-y\Vert ,\quad\forall x,y\in H; $$
  3. (iii)

    A is said to be co-coercive on H if there exists a positive constant \(\tau>0\) such that

    $$ \langle Ax-Ay,x-y\rangle\geq\tau \Vert Ax-Ay\Vert ^{2},\quad\forall x,y\in H; $$
  4. (iv)

    \((A,g)\) is said to be a μ-strongly monotone couple on H if there exists a positive constant \(\mu>0\) such that

    $$ \bigl\langle Ax-Ay,g(x)-g(y)\bigr\rangle \geq\mu\Vert x-y\Vert^{2}, \quad \forall x,y\in H. $$

Let \(g,A:H\rightarrow H\) be two continuous mappings, and \(K:H\rightarrow 2^{H}\) be a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set. Let \(f:H\rightarrow R\cup\{+\infty\}\) be proper, convex, and lower semicontinuous on \(K(x)\) for each \(x\in H\). Now we consider the inverse mixed quasi-variational inequality (for short, IMQVI) (1.1): find an \(x\in H\), such that \(Ax\in K(x)\) and

$$ \bigl\langle g(x),y-Ax\bigr\rangle +\rho f(y)-\rho f(Ax)\geq0,\quad\forall y\in K(x). $$
(2.1)

Remark

IMQVI encompasses several models of quasi-variational inequalities and inverse variational inequalities. For example:

(1) If g is the identity mapping and \(K(x)\) is a constant set for all \(x\in H\), then IMQVI reduces immediately to the inverse mixed variational inequality [27], which is defined as follows: find an \(x\in H\), such that \(Ax\in\overline{K}\) and

$$ \bigl\langle g(x),y-Ax\bigr\rangle +\rho f(y)-\rho f(Ax)\geq0,\quad\forall y\in \overline{K}. $$

(2) If \(H=R^{n}\), g is the identity mapping, \(f(x)=0\), and \(K(x)\) is a constant set for all \(x\in R^{n}\), then IMQVI reduces to the following inverse variational inequality: find an \(x\in R^{n}\), such that \(Ax\in\overline{K}\) and

$$ \langle x,y-Ax\rangle\geq0,\quad\forall y\in\overline{K}, $$

which was first proposed by He and Liu [4].

(3) If \(H=R^{n}\) and \(f(x)=0\) for all \(x\in R^{n}\), then IMQVI reduces to the inverse quasi-variational inequality: find an \(x\in R^{n}\), such that \(Ax\in K(x)\) and

$$ \bigl\langle g(x),y-Ax\bigr\rangle \geq0,\quad\forall y\in K(x). $$
(2.2)

The inverse quasi-variational inequality (2.2) was introduced and studied by Aussel et al. [28]. Moreover, if g is the identity mapping, then IMQVI reduces to the following inverse quasi-variational inequality: find an \(x\in R^{n}\), such that \(Ax\in K(x)\) and

$$ \langle x,y-Ax\rangle\geq0,\quad\forall y\in K(x). $$
(2.3)

(4) If \(H=R^{n}\), A is the identity mapping and \(f(x)=0\) for all \(x\in R^{n}\), then IMQVI becomes the classic quasi-variational inequality.

3 Some properties of generalized f-projection operators

Let \(K:H\rightarrow2^{H}\) be a set-valued mapping such that \(K(x)\) is a closed convex set in H, for each \(x\in H\). The Hausdorff distance between \(K(x)\) and \(K(y)\) is defined as follows:

$$ \mathcal{H}\bigl[K(x),K(y)\bigr]=\max\Bigl\{ \sup_{u\in K(x)}\inf _{v\in K(y)}\Vert u-v\Vert,\sup_{v\in K(y)}\inf _{u\in K(x)}\Vert u-v\Vert\Bigr\} . $$

From Definition 2.1 and Lemma 2.1, we see that the generalized f-projection of any \(z\in H\) on the set \(K(x)\) is defined by

$$ P_{K(x)}^{f,\rho}z=\arg\inf_{\xi\in K(x)}G(z,\xi). $$

Now we apply the basic inequality in Lemma 2.1 to prove some properties of the operator \(P_{K(x)}^{f,\rho}\) in Hilbert spaces.

Theorem 3.1

Let H be a real Hilbert space and M be a nonempty bounded subset of H. Let \(K:H\to2^{H}\) be a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set and \(f:H\to R\cup\{+\infty\}\) be proper, convex, and lower semicontinuous on \(K(x)\). Assume that

  1. (i)

    there exists a constant \(\gamma>0\) such that \(\mathcal{H}[K(x),K(y)]\leq\gamma\Vert x-y\Vert^{2}\), \(\forall x,y\in H\);

  2. (ii)

    \(0\in\bigcap_{u\in H}K(u)\);

  3. (iii)

    f is l-Lipschitz continuous on H.

Then there exists a constant \(k>0\) such that

$$ \bigl\Vert P_{K(x)}^{f,\rho}z-P_{K(y)}^{f,\rho}z \bigr\Vert \leq k\Vert x-y\Vert , \quad\forall x,y\in H, z\in M. $$

Proof

For any \(x,y\in H\) and \(z\in M\), denote \(\bar{x}=P_{K(x)}^{f,\rho}z\) and \(\bar{y}=P_{K(y)}^{f,\rho}z\). Since \(\bar{x}\in K(x) \), \(\bar{y}\in K(y)\) and \(\mathcal{H}[K(x),K(y)]\leq\gamma \Vert x-y\Vert ^{2}\), we know that there exist \(\xi\in K(x)\) and \(\eta\in K(y)\) such that \(\Vert \bar{x}-\eta \Vert \leq\gamma \Vert x-y\Vert ^{2}\) and \(\Vert \bar{y}-\xi \Vert \leq \gamma \Vert x-y\Vert ^{2}\). From Lemma 2.1, we have

$$\begin{aligned} \langle\bar{x}-z,\xi-\bar{x}\rangle+\rho f(\xi)-\rho f(\bar{x})\geq0 \end{aligned}$$
(3.1)

and

$$\begin{aligned} \langle\bar{y}-z,\eta-\bar{y}\rangle+\rho f(\eta)-\rho f(\bar{y})\geq0. \end{aligned}$$
(3.2)

By the Lipschitz continuity of f, it follows from (3.1) and (3.2) that

$$\begin{aligned} \Vert \bar{x}-\bar{y}\Vert ^{2} =&\langle\bar{x}-\bar{y},\bar{x}- \bar{y}\rangle \\ =&\langle\bar{x}-z,\bar{x}-\bar{y}\rangle+\langle\bar{y}-z,\bar {y}- \bar{x}\rangle \\ =&\langle\bar{x}-z,\bar{x}-\xi\rangle+\langle\bar{x}-z,\xi-\bar{y}\rangle+ \langle\bar{y}-z,\bar{y}-\eta\rangle+\langle\bar{y}-z,\eta - \bar{x}\rangle \\ \leq&\rho f(\xi)-\rho f(\bar{y})+\Vert \bar{x}-z\Vert \Vert \xi-\bar{y} \Vert +\rho f(\eta)-\rho f(\bar{x})+\Vert \bar{y}-z\Vert \Vert \eta- \bar{x}\Vert \\ \leq&\rho l\Vert \xi-\bar{y}\Vert +\Vert \bar{x}-z\Vert \Vert \xi- \bar{y}\Vert +\rho l\Vert \eta-\bar{x}\Vert +\Vert \bar{y}-z \Vert \Vert \eta-\bar{x}\Vert \\ \leq&\gamma\bigl(2\rho l+\Vert \bar{x}-z\Vert +\Vert \bar{y}-z\Vert \bigr)\Vert x-y\Vert ^{2}, \end{aligned}$$
(3.3)

and so

$$\begin{aligned} \Vert \bar{x}-\bar{y}\Vert \leq\sqrt{\gamma\bigl(2\rho l+\Vert \bar{x}-z \Vert +\Vert \bar {y}-z\Vert \bigr)}\Vert x-y\Vert . \end{aligned}$$
(3.4)

On the other hand, since M is bounded, we know that there exists a positive number m such that \(\Vert v\Vert \leq m\) for all \(v\in M\). Noticing that \(0\in K(u)\) for all \(u\in H\), we have

$$ \begin{aligned}[b] G\bigl(z,P_{K(u)}^{f,\rho}z\bigr)&=\Vert z\Vert ^{2}-2\bigl\langle z,P_{K(u)}^{f,\rho}z\bigr\rangle +\bigl\Vert P_{K(u)}^{f,\rho}z\bigr\Vert ^{2}+2\rho f \bigl(P_{K(u)}^{f,\rho}z\bigr) \\ &\leq G(z,0) \\ &=\Vert z\Vert ^{2}+2\rho f(0). \end{aligned} $$
(3.5)

From the Lipschitz continuity of f, it follows from (3.5) that

$$\begin{aligned} \bigl\Vert P_{K(u)}^{f,\rho}z\bigr\Vert ^{2} \leq&2 \bigl\langle z,P_{K(u)}^{f,\rho}z\bigr\rangle +2\rho f(0)-2\rho f \bigl(P_{K(u)}^{f,\rho}z\bigr) \\ \leq&2\Vert z\Vert \bigl\Vert P_{K(u)}^{f,\rho}z\bigr\Vert +2\rho l\bigl\Vert P_{K(u)}^{f,\rho}z\bigr\Vert \\ \leq&2(m+\rho l)\bigl\Vert P_{K(u)}^{f,\rho}z\bigr\Vert , \end{aligned}$$

and so \(\Vert P_{K(u)}^{f,\rho}z \Vert \leq2(m+\rho l)\) for all \(u\in H\), \(z\in M\). Since \(\Vert P_{K(x)}^{f,\rho}z \Vert \leq2(m+\rho l)\), \(\Vert P_{K(y)}^{f,\rho}z \Vert \leq2(m+\rho l)\) and \(\Vert z\Vert \leq m\), we have

$$ \bigl\Vert P_{K(x)}^{f,\rho}z-z\bigr\Vert +\bigl\Vert P_{K(y)}^{f,\rho}z-z\bigr\Vert \leq6m+4\rho l. $$

Now (3.4) implies that

$$ \bigl\Vert P_{K(x)}^{f,\rho}z-P_{K(y)}^{f,\rho}z \bigr\Vert \leq k\Vert x-y\Vert , \quad\forall x,y\in H,z\in M, $$

where \(k=\sqrt{6\gamma(m+\rho l)}\). This completes the proof. □

Remark 3.1

Theorem 3.1 shows that the generalized f-projection operator \(P_{K(x)}^{f,\rho}\) is k-Lipschitz continuous with respect to x on each bounded set of the Hilbert space H under some suitable conditions.

If \(H=R^{n}\) and \(f(x)=0\) for all \(x\in R^{n}\), then the generalized f-projection operator \(P_{K(x)}^{f,\rho}\) reduces to the classic metric projection operator \(P_{K(x)}\). By Theorem 3.1, we can obtain the following theorem.

Theorem 3.2

Let M be a nonempty bounded subset of \(R^{n}\), and \(K:R^{n}\to2^{R^{n}}\) be a set-valued mapping such that \(K(x)\) is a closed convex set in \(R^{n}\), for each \(x\in R^{n}\). Assume that

  1. (i)

    there exists \(\gamma>0\) such that \(\mathcal {H}[K(x),K(y)]\leq \gamma\Vert x-y\Vert^{2}\), \(\forall x,y\in R^{n}\);

  2. (ii)

    \(0\in\bigcap_{u\in R^{n}}K(u)\).

Then there exists a constant \(k>0\) such that

$$ \Vert P_{K(x)}z-P_{K(y)}z\Vert \leq k\Vert x-y\Vert , \quad\forall x,y\in R^{n},z\in M. $$

Theorem 3.3

Let H be a real Hilbert space, and \(K:H\to2^{H}\) be a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set. Let \(f:H\to R\cup\{+\infty\}\) be proper, convex, and lower semicontinuous on \(K(x)\) for each \(x\in H\). Then, for any \(x,y,u,v\in H\),

$$\begin{aligned} \bigl\langle P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v,u-v \bigr\rangle \geq \bigl\Vert P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v \bigr\Vert ^{2} \end{aligned}$$

and

$$\begin{aligned} \bigl\Vert u-P_{K(x)}^{f,\rho}u-\bigl(v-P_{K(y)}^{f,\rho}v \bigr)\bigr\Vert \leq \Vert u-v\Vert +\bigl\Vert P_{K(x)}^{f,\rho}v-P_{K(y)}^{f,\rho}v \bigr\Vert . \end{aligned}$$

Proof

Based on Lemma 2.1, we have

$$\begin{aligned} \bigl\langle P_{K(x)}^{f,\rho}v-v,P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v \bigr\rangle +\rho f\bigl(P_{K(x)}^{f,\rho}u\bigr)-\rho f \bigl(P_{K(x)}^{f,\rho}v\bigr)\geq0 \end{aligned}$$
(3.6)

and

$$\begin{aligned} \bigl\langle P_{K(x)}^{f,\rho}u-u,P_{K(x)}^{f,\rho}v-P_{K(x)}^{f,\rho}u \bigr\rangle +\rho f\bigl(P_{K(x)}^{f,\rho}v\bigr)-\rho f \bigl(P_{K(x)}^{f,\rho}u\bigr)\geq0. \end{aligned}$$
(3.7)

It follows from (3.6) and (3.7) that

$$\begin{aligned} \bigl\Vert P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v \bigr\Vert ^{2}\leq\bigl\langle P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v,u-v \bigr\rangle . \end{aligned}$$
(3.8)

By (3.8), we obtain

$$\begin{aligned} \bigl\Vert u-P_{K(x)}^{f,\rho}u-\bigl(v-P_{K(x)}^{f,\rho}v \bigr)\bigr\Vert ^{2} =&\Vert u-v\Vert ^{2}-2\bigl\langle P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v,u-v\bigr\rangle +\bigl\Vert P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v \bigr\Vert ^{2} \\ \leq&\Vert u-v\Vert ^{2}-\bigl\Vert P_{K(x)}^{f,\rho}u-P_{K(x)}^{f,\rho}v \bigr\Vert ^{2} \\ \leq&\Vert u-v\Vert ^{2} \end{aligned}$$

and so

$$\begin{aligned} \bigl\Vert u-P_{K(x)}^{f,\rho}u-\bigl(v-P_{K(y)}^{f,\rho}v \bigr)\bigr\Vert \leq&\bigl\Vert u-P_{K(x)}^{f,\rho}u- \bigl(v-P_{K(x)}^{f,\rho}v\bigr)\bigr\Vert +\bigl\Vert P_{K(x)}^{f,\rho}v-P_{K(y)}^{f,\rho }v\bigr\Vert \\ \leq&\Vert u-v\Vert +\bigl\Vert P_{K(x)}^{f,\rho}v-P_{K(y)}^{f,\rho}v \bigr\Vert . \end{aligned}$$

This completes the proof. □

4 The existence and uniqueness result of IMQVI

From the properties of generalized f-projection operators, it is easy to see that \(x\in H\) is a solution of IMQVI (2.1) if and only if x satisfies

$$\begin{aligned} Ax=P_{K(x)}^{f,\rho}\bigl[Ax-\rho g(x)\bigr],\quad\forall\rho>0. \end{aligned}$$
(4.1)

In this section, we consider the existence and uniqueness result of IMQVI (2.1) in Hilbert spaces.

Theorem 4.1

Let H be a real Hilbert space, and \(g,A:H\to H\) be Lipschitz continuous on H (with constants α and β, respectively). Let \(K:H\to 2^{H}\) be a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set and \(f:H\to R\cup\{+\infty\}\) be proper, convex, and lower semicontinuous on \(K(x)\). Assume that

  1. (i)

    g is λ-strongly monotone and \((A,g)\) is a μ-strongly monotone couple on H;

  2. (ii)

    there exists \(k>0\) such that

    $$ \bigl\Vert P_{K(x)}^{f,\rho}z-P_{K(y)}^{f,\rho}z \bigr\Vert \leq k\Vert x-y\Vert ,\quad\forall x,y\in H,z\in\bigl\{ v|v=Ax- \rho g(x),x\in H\bigr\} ; $$
  3. (iii)

    \(\sqrt{\beta^{2}-2\rho\mu+\rho^{2}\alpha^{2}}+\rho\sqrt{1-2\lambda+\alpha^{2}}<\rho-k\).

Then IMQVI (2.1) has a unique solution in H.

Proof

Let \(h: H\to H\) be defined as follows:

$$ h(u)=u-\frac{1}{\rho}Au+\frac{1}{\rho}P_{K(u)}^{f,\rho} \bigl[Au-\rho g(u)\bigr],\quad \forall u\in H. $$

For any \(x,y\in H\), denote \(\bar{x}=Ax-\rho g(x)\) and \(\bar{y}=Ay-\rho g(y)\), we have

$$\begin{aligned} \bigl\Vert h(x)-h(y)\bigr\Vert =&\biggl\Vert x-y-\frac{1}{\rho}Ax+ \frac{1}{\rho}Ay+\frac{1}{\rho}P_{K(x)}^{f,\rho} \bar{x}-\frac{1}{\rho}P_{K(y)}^{f,\rho}\bar{y}\biggr\Vert \\ =&\biggl\Vert x-y-g(x)+g(y)-\frac{1}{\rho}\bigl[\bar{x}-P_{K(x)}^{f,\rho} \bar{x}-\bigl(\bar {y}-P_{K(y)}^{f,\rho}\bar{y}\bigr) \bigr]\biggr\Vert \\ \leq&\bigl\Vert x-y-g(x)+g(y)\bigr\Vert +\frac{1}{\rho}\bigl\Vert \bar{x}-P_{K(x)}^{f,\rho}\bar {x}-\bigl(\bar{y}-P_{K(y)}^{f,\rho}\bar{y}\bigr)\bigr\Vert . \end{aligned}$$
(4.2)

Since \(g:H\to H\) is λ-strongly monotone and α-Lipschitz continuous on H, we obtain

$$\begin{aligned} \bigl\Vert x-y-g(x)+g(y)\bigr\Vert ^{2} =&\Vert x-y\Vert ^{2}-2\bigl\langle g(x)-g(y),x-y\bigr\rangle +\bigl\Vert g(x)-g(y) \bigr\Vert ^{2} \\ \leq&\bigl(1-2\lambda+\alpha^{2}\bigr)\Vert x-y\Vert ^{2}. \end{aligned}$$
(4.3)

On the other hand, it follows from (ii) and Theorem 3.3 that

$$\begin{aligned} \bigl\Vert \bar{x}-P_{K(x)}^{f,\rho}\bar{x}-\bigl( \bar{y}-P_{K(y)}^{f,\rho}\bar{y}\bigr)\bigr\Vert \leq& \Vert \bar{x}-\bar{y}\Vert +\bigl\Vert P_{K(x)}^{f,\rho}\bar {y}-P_{K(y)}^{f,\rho}\bar{y}\bigr\Vert \\ \leq&\bigl\Vert Ax-Ay-\rho\bigl[g(x)-g(y)\bigr]\bigr\Vert +k\Vert x-y \Vert . \end{aligned}$$
(4.4)

Since A is β-Lipschitz continuous and \((A,g)\) is a μ-strongly monotone couple on H, we have

$$ \begin{aligned}[b] &\bigl\Vert Ax-Ay-\rho\bigl[g(x)-g(y)\bigr]\bigr\Vert ^{2}\\ &\quad = \Vert Ax-Ay\Vert ^{2}-2\rho\bigl\langle Ax-Ay,g(x)-g(y)\bigr\rangle + \rho^{2}\bigl\Vert g(x)-g(y)\bigr\Vert ^{2} \\ &\quad \leq\bigl(\beta^{2}-2\rho\mu+\rho^{2}\alpha^{2} \bigr)\Vert x-y\Vert ^{2}. \end{aligned} $$
(4.5)

Now (4.2)-(4.5) imply that

$$\begin{aligned} \bigl\Vert h(x)-h(y)\bigr\Vert \leq\theta \Vert x-y\Vert , \end{aligned}$$
(4.6)

where \(\theta=\sqrt{1-2\lambda+\alpha^{2}}+\frac{1}{\rho}(\sqrt{\beta ^{2}-2\rho \mu+\rho^{2}\alpha^{2}}+k)\). By the assumption, we know that \(0<\theta< 1\) and so (4.6) implies that \(h(u)=u-\frac{1}{\rho}Au+\frac{1}{\rho}P_{K(u)}^{f,\rho}[Au-\rho g(u)]\) is a contracting mapping in Hilbert space H. Thus, h has a unique fixed point \(x^{*}\) in H and so \(x^{*}\) is a unique solution of IMQVI (2.1). This completes the proof. □

Remark 4.1

By Theorem 3.1, we know that if \(\{v|v=Ax-\rho g(x),x\in H\}\) is bounded and the conditions (i)-(iii) in Theorem 3.1 are satisfied, then there exists \(k>0 \) such that

$$ \bigl\Vert P_{K(x)}^{f,\rho}z-P_{K(y)}^{f,\rho}z \bigr\Vert \leq k\Vert x-y\Vert ,\quad\forall x,y\in H,z\in\bigl\{ v|v=Ax- \rho g(x),x\in H\bigr\} . $$

Therefore, the condition (ii) in Theorem 4.1 is suitable.

5 Error bounds for IMQVI

It is well known that error bounds play important roles in the study of variational inequality problems. They allow one to estimate how far a feasible element is from the solution set without even having computed a single solution of the associated variational inequality. In [28], Aussel et al. provided the following two error bounds.

Theorem DA1

(Theorem 1 of [28])

Let \(g, A:R^{n}\to R^{n}\) be Lipschitz continuous on \(R^{n}\) (with constants l and L, respectively), and let \(K:R^{n}\to2^{R^{n}}\) be a set-valued map such that \(K(x)\) is a closed convex set in \(R^{n}\), for each \(x\in R^{n}\). Suppose the following hold:

  1. (a)

    \((A, g)\) is a strongly monotone couple on \(R^{n}\) with constant μ,

  2. (b)

    there exists \(0< k<\frac{\mu}{l}\) such that, for any \(\theta >\frac{Lk}{\mu-lk}\),

    $$ \bigl\Vert P_{K(x)}^{\theta}z-P_{K(y)}^{\theta}z \bigr\Vert \leq k\Vert x-y\Vert ,\quad\forall x,y,z\in R^{n}. $$

If \(x^{*}\) is the solution of (2.2), then, for any \(x\in R^{n}\) and any \(\theta>\frac{Lk}{\mu-lk}\), we have

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{(\theta l+L)}{\theta\mu-(\theta l+L)k}\bigl\Vert R^{\theta}(x)\bigr\Vert , $$

where \(R^{\theta}(x)=Ax-P_{K(x)}[Ax-\theta g(x)]\).

Theorem DA2

(Lemma 1 of [28])

Let \(A:R^{n}\to R^{n}\) be Lipschitz continuous on \(R^{n}\) (with constant L) on \(R^{n}\) and let \(K:R^{n}\to2^{R^{n}}\) be a set-valued map such that \(K(x)\) is a closed convex set in \(R^{n}\), for each \(x\in R^{n}\). Assume the following hold:

  1. (a)

    A is strongly monotone on \(R^{n}\) with constant μ,

  2. (b)

    there exists \(0< k<\mu\) such that, for any \(\theta>\frac {L(8k+L)}{4(\mu-k)}\),

    $$ \bigl\Vert P_{K(x)}^{\theta}z-P_{K(y)}^{\theta}z \bigr\Vert \leq k\Vert x-y\Vert ,\quad\forall x,y,z\in R^{n}. $$

If \(x^{*}\) is the solution of (2.3), then, for any \(x\in R^{n}\) and any \(\theta>\frac{L(8k+L)}{4(\mu-k)}\), we have

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{4\theta}{4\theta(\mu-k)-L(8k+L)}\bigl\Vert R^{\theta}(x)\bigr\Vert , $$

where \(R^{\theta}(x)=Ax-P_{K(x)}(Ax-\theta x)\).

In this section, we will develop some error bounds measuring the distance between any point and the exact solution of IMQVI (2.1) in Hilbert spaces. Let

$$ e(x,\rho)=Ax-P_{K(x)}^{f,\rho}\bigl[Ax-\rho g(x)\bigr] $$

denote the residue of the generalized f-projection equation (4.1). Then solving an IMQVI (2.1) problem is equivalent to finding a zero point of \(e(x,\rho)\). For any given \(x\in H\), the magnitude of \(\Vert e(x,\rho)\Vert \) depends on the value of ρ. Now we give the error bounds in terms of the residual function \(\Vert e(x,\rho)\Vert \).

Theorem 5.1

Let H be a real Hilbert space, and \(g,A:H\to H\) be Lipschitz continuous on H (with constants α and β, respectively). Let \(K:H\to 2^{H}\) be a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set and \(f:H\to R\cup\{+\infty\}\) be proper, convex, and lower semicontinuous on \(K(x)\). Assume that

  1. (i)

    \((A,g)\) is a μ-strongly monotone couple on H;

  2. (ii)

    there exists \(0< k<\frac{\mu}{\alpha}\) such that, for any \(\rho>\frac{\beta k}{\mu-\alpha k}\),

    $$ \bigl\Vert P_{K(x)}^{f,\rho}z-P_{K(y)}^{f,\rho}z \bigr\Vert \leq k\Vert x-y\Vert ,\quad\forall x,y\in H,z\in\bigl\{ v|v=Ax- \rho g(x),x\in H\bigr\} . $$

If \(x^{*}\) is the solution of IMQVI (2.1), then, for any \(x\in H\) and any \(\rho>\frac{\beta k}{\mu-\alpha k}\), we have

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{(\alpha\rho+\beta)}{\mu\rho-(\alpha\rho+\beta)k} \bigl\Vert e(x,\rho)\bigr\Vert . $$

Proof

Denote \(u=P_{K(x^{*})}^{f,\rho}[Ax-\rho g(x)]\). Since \(x^{*}\) is the solution of IMQVI (2.1), it follows that

$$\begin{aligned} \bigl\langle \rho g\bigl(x^{*}\bigr),u-Ax^{*}\bigr\rangle +\rho f(u)-\rho f\bigl(Ax^{*}\bigr)\geq0, \end{aligned}$$
(5.1)

for all \(\rho>0\). From the definition of u and \(Ax^{*}\in K(x^{*})\), we know that

$$\begin{aligned} \bigl\langle u-\bigl[Ax-\rho g(x)\bigr],Ax^{*}-u\bigr\rangle +\rho f\bigl(Ax^{*} \bigr)-\rho f(u)\geq0. \end{aligned}$$
(5.2)

By (5.1) and (5.2), we have

$$\begin{aligned} 0 \leq&\bigl\langle \rho\bigl[g\bigl(x^{*}\bigr)-g(x)\bigr]+Ax-u,u-Ax^{*}\bigr\rangle \\ =&\rho\bigl\langle g\bigl(x^{*}\bigr)-g(x),u-Ax\bigr\rangle +\rho\bigl\langle g \bigl(x^{*}\bigr)-g(x),Ax-Ax^{*}\bigr\rangle \\ &{}+\langle Ax-u,u-Ax\rangle+\bigl\langle Ax-u,Ax-Ax^{*}\bigr\rangle . \end{aligned}$$
(5.3)

Since \((A,g)\) is a μ-strongly monotone couple, it follows from (5.3) that

$$\begin{aligned} \rho\bigl\langle g\bigl(x^{*}\bigr)-g(x),u-Ax\bigr\rangle +\bigl\langle Ax-u,Ax-Ax^{*}\bigr\rangle \geq \rho \mu\bigl\Vert x^{*}-x\bigr\Vert ^{2}+\Vert Ax-u\Vert ^{2}. \end{aligned}$$
(5.4)

In light of the facts that g is α-Lipschitz continuous and A is β-Lipschitz continuous, (5.4) implies that

$$ \begin{aligned}[b] \mu\rho\bigl\Vert x^{*}-x\bigr\Vert ^{2}\leq{}&\rho\bigl\Vert g \bigl(x^{*}\bigr)-g(x)\bigr\Vert \Vert u-Ax\Vert +\Vert Ax-u\Vert \bigl\Vert Ax-Ax^{*}\bigr\Vert \\ \leq{}&(\rho\alpha+\beta)\bigl\Vert x^{*}-x\bigr\Vert \bigl\Vert P_{K(x^{*})}^{f,\rho}\bigl[Ax-\rho g(x)\bigr]-Ax\bigr\Vert \\ \leq{}&(\rho\alpha+\beta)\bigl\Vert x^{*}-x\bigr\Vert \bigl(\bigl\Vert P_{K(x^{*})}^{f,\rho}\bigl[Ax-\rho g(x)\bigr]-P_{K(x)}^{f,\rho} \bigl[Ax-\rho g(x)\bigr]\bigr\Vert \\ &{}+\bigl\Vert P_{K(x)}^{f,\rho}\bigl[Ax-\rho g(x)\bigr]-Ax\bigr\Vert \bigr) \\ \leq{}&(\rho\alpha+\beta)\bigl\Vert x^{*}-x\bigr\Vert \bigl(k\bigl\Vert x^{*}-x \bigr\Vert +\bigl\Vert e(x,\rho)\bigr\Vert \bigr), \end{aligned} $$
(5.5)

for any \(\rho>\frac{\beta k}{\mu-\alpha k}\). Since \(\alpha k<\mu\) and \(\rho>\frac{\beta k}{\mu-\alpha k}\), it follows from (5.5) that

$$ \bigl\Vert x^{*}-x\bigr\Vert \leq\frac{(\alpha\rho+\beta)}{\mu\rho-(\alpha\rho+\beta)k} \bigl\Vert e(x,\rho)\bigr\Vert . $$

This completes the proof. □

If \(H=R^{n}\) and \(f(x)=0\) for all \(x\in R^{n}\), from Theorem 5.1, we obtain the following theorem.

Theorem 5.2

Let \(g,A:R^{n}\to R^{n}\) be Lipschitz continuous on \(R^{n}\) (with constants l and L, respectively). Let \(K:R^{n}\to2^{R^{n}}\) be a set-valued mapping such that, for each \(x\in R^{n}\), \(K(x)\subset R^{n}\) is a closed convex set. Assume that

  1. (i)

    \((A,g)\) is a μ-strongly monotone couple on \(R^{n}\);

  2. (ii)

    there exists \(0< k<\frac{\mu}{l}\) such that, for any \(\theta >\frac{Lk}{\mu-lk}\),

    $$ \Vert P_{K(x)}z-P_{K(y)}z\Vert \leq k\Vert x-y\Vert , \quad\forall x,y\in R^{n},z\in \bigl\{ v|v=Ax-\theta g(x),x\in R^{n}\bigr\} . $$

If \(x^{*}\) is the solution of (2.2), then, for any \(x\in R^{n}\) and any \(\theta>\frac{Lk}{\mu-lk}\), we have

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{(\theta l+L)}{\theta\mu-(\theta l+L)k}\bigl\Vert R^{\theta}(x)\bigr\Vert , $$

where \(R^{\theta}(x)=Ax-P_{K(x)}[Ax-\theta g(x)]\).

For any \(x\in H\), based on Theorem 3.3, we know that \(P_{K(x)}^{f,\rho }\) is co-coercive mapping with modulus 1 on H. Applying the co-coercivity of \(P_{K(x)}^{f,\rho}\), we prove another error bound for IMQVI (2.1).

Theorem 5.3

Let H be a real Hilbert space, and \(g,A:H\to H\) be Lipschitz continuous on H (with constants α and β, respectively). Let \(K:H\to 2^{H}\) be a set-valued mapping such that, for each \(x\in H\), \(K(x)\subset H\) is a closed convex set and \(f:H\to R\cup\{+\infty\}\) be proper, convex, and lower semicontinuous on \(K(x)\). Assume that

  1. (i)

    \((A,g)\) is a μ-strongly monotone couple on H;

  2. (ii)

    there exists \(0< k<\frac{\mu}{\alpha}\) such that, for any \(\rho>\frac{\beta(\beta+8k)}{4(\mu-\alpha k)}\),

    $$ \bigl\Vert P_{K(x)}^{f,\rho}z-P_{K(y)}^{f,\rho}z \bigr\Vert \leq k\Vert x-y\Vert ,\quad\forall x,y\in H,z\in\bigl\{ v|v=Ax- \rho g(x),x\in H\bigr\} . $$

If \(x^{*}\) is the solution of IMQVI (2.1), then, for any \(x\in H\) and any \(\rho>\frac{\beta(\beta+8k)}{4(\mu-\alpha k)}\), we have

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{4\alpha\rho}{4\rho(\mu-\alpha k)-\beta(\beta+8 k)} \bigl\Vert e(x,\rho)\bigr\Vert . $$

Proof

Denote \(v=Ax-\rho g(x)\) and \(v^{*}=Ax^{*}-\rho g(x^{*})\). From the definition of \(e(x,\rho)\), we know that

$$\begin{aligned} &\bigl\langle e(x,\rho),g(x)-g\bigl(x^{*}\bigr)\bigr\rangle \\ &\quad =\bigl\langle e(x,\rho)-e\bigl(x^{*},\rho\bigr),g(x)-g\bigl(x^{*}\bigr)\bigr\rangle \\ &\quad =\bigl\langle P_{K(x^{*})}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v,g(x)-g \bigl(x^{*}\bigr)\bigr\rangle +\bigl\langle Ax-Ax^{*},g(x)-g\bigl(x^{*}\bigr)\bigr\rangle \\ &\quad =\frac{1}{\rho}\bigl\langle P_{K(x^{*})}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v,Ax-Ax^{*} \bigr\rangle +\frac{1}{\rho}\bigl\langle P_{K(x^{*})}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v,v^{*}-v \bigr\rangle \\ &\qquad {}+\bigl\langle Ax-Ax^{*},g(x)-g\bigl(x^{*}\bigr)\bigr\rangle \\ &\quad =\frac{1}{\rho}\bigl\langle P_{K(x)}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v,Ax-Ax^{*} \bigr\rangle -\frac{1}{\rho }\bigl\langle P_{K(x)}^{f,\rho}v^{*}-P_{K(x^{*})}^{f,\rho}v^{*},Ax-Ax^{*} \bigr\rangle \\ &\qquad {}+\frac{1}{\rho}\bigl\langle P_{K(x)}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v,v^{*}-v \bigr\rangle -\frac{1}{\rho }\bigl\langle P_{K(x)}^{f,\rho}v^{*}-P_{K(x^{*})}^{f,\rho}v^{*},v^{*}-v \bigr\rangle \\ &\qquad {}+\bigl\langle Ax-Ax^{*},g(x)-g\bigl(x^{*}\bigr)\bigr\rangle . \end{aligned}$$
(5.6)

Since \((A,g)\) is a μ-strongly monotone couple, it follows from (5.6) and Theorem 3.3 that

$$\begin{aligned} &\bigl\langle e(x,\rho),g(x)-g\bigl(x^{*}\bigr)\bigr\rangle \\ &\quad \geq\frac{1}{\rho}\bigl\langle P_{K(x)}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v,Ax-Ax^{*} \bigr\rangle + \frac{1}{\rho}\bigl\Vert P_{K(x)}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v \bigr\Vert ^{2}+\mu\bigl\Vert x-x^{*}\bigr\Vert ^{2} \\ &\qquad {}-\frac{1}{\rho}\bigl\Vert P_{K(x)}^{f,\rho}v^{*}-P_{K(x^{*})}^{f,\rho}v^{*} \bigr\Vert \bigl\Vert Ax-Ax^{*}\bigr\Vert -\frac{1}{\rho}\bigl\Vert P_{K(x)}^{f,\rho}v^{*}-P_{K(x^{*})}^{f,\rho}v^{*}\bigr\Vert \bigl\Vert v^{*}-v\bigr\Vert \\ &\quad =\frac{1}{\rho}\biggl\Vert P_{K(x)}^{f,\rho}v^{*}-P_{K(x)}^{f,\rho}v+ \frac{1}{2}\bigl(Ax-Ax^{*}\bigr)\biggr\Vert ^{2}- \frac{1}{4\rho}\bigl\Vert Ax-Ax^{*}\bigr\Vert ^{2}+\mu\bigl\Vert x-x^{*}\bigr\Vert ^{2} \\ &\qquad {}-\frac{1}{\rho}\bigl\Vert P_{K(x)}^{f,\rho}v^{*}-P_{K(x^{*})}^{f,\rho}v^{*} \bigr\Vert \bigl(\bigl\Vert Ax-Ax^{*}\bigr\Vert +\bigl\Vert v^{*}-v \bigr\Vert \bigr) \\ &\quad \geq\mu\bigl\Vert x-x^{*}\bigr\Vert ^{2}-\frac{1}{4\rho} \beta^{2}\bigl\Vert x-x^{*}\bigr\Vert ^{2}- \frac{1}{\rho}k(2\beta+\alpha\rho)\bigl\Vert x-x^{*}\bigr\Vert ^{2}, \end{aligned}$$
(5.7)

for any \(\rho>\frac{\beta(\beta+8k)}{4(\mu-\alpha k)}\). On the other hand, we have

$$\begin{aligned} \bigl\langle e(x,\rho),g(x)-g\bigl(x^{*}\bigr)\bigr\rangle \leq&\bigl\Vert e(x, \rho)\bigr\Vert \bigl\Vert g(x)-g\bigl(x^{*}\bigr)\bigr\Vert \\ \leq&\alpha\bigl\Vert e(x,\rho)\bigr\Vert \bigl\Vert x-x^{*}\bigr\Vert . \end{aligned}$$
(5.8)

Since \(\alpha k<\mu\) and \(\rho>\frac{\beta(\beta+8k)}{4(\mu-\alpha k)}\), it follows from (5.7) and (5.8) that

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{4\alpha\rho}{4\rho(\mu-\alpha k)-\beta(\beta+8 k)} \bigl\Vert e(x,\rho)\bigr\Vert . $$

This completes the proof. □

If \(H=R^{n}\), g is identity mapping in \(R^{n}\), and \(f(x)=0\) for all \(x\in R^{n}\), by using Theorem 5.3, we have the following theorem.

Theorem 5.4

Let \(A:R^{n}\to R^{n}\) be Lipschitz continuous on \(R^{n}\) (with constant L) on \(R^{n}\) and let \(K:R^{n}\to2^{R^{n}}\) be a set-valued map such that \(K(x)\) is a closed convex set in \(R^{n}\), for each \(x\in R^{n}\). Assume the following hold:

  1. (i)

    A is strongly monotone on \(R^{n}\) with constant μ,

  2. (ii)

    there exists \(0< k<\mu\) such that, for any \(\theta>\frac {L(8k+L)}{4(\mu-k)}\),

    $$ \Vert P_{K(x)}z-P_{K(y)}z\Vert \leq k\Vert x-y\Vert , \quad\forall x,y\in H,z\in \bigl\{ v|v=Ax-\theta x,x\in R^{n}\bigr\} . $$

If \(x^{*}\) is the solution of (2.3), then, for any \(x\in R^{n}\) and any \(\theta>\frac{L(8k+L)}{4(\mu-k)}\), we have

$$ \bigl\Vert x-x^{*}\bigr\Vert \leq\frac{4\theta}{4\theta(\mu-k)-L(8k+L)}\bigl\Vert R^{\theta}(x)\bigr\Vert , $$

where \(R^{\theta}(x)=Ax-P_{K(x)}(Ax-\theta x)\).

Remark 5.1

It is easy to see that the condition (ii) in Theorem 5.4 is weaker than the condition (b) in Theorem DA2 and the condition (ii) in Theorem 5.2 is also weaker than the condition (b) in Theorem DA1.

References

  1. Lescarret, C: Cat d’addition des applications monotones maximales dans un espace de Hilbert. C. R. Math. Acad. Sci. 261, 1160-1163 (1965) (in French)

    MathSciNet  MATH  Google Scholar 

  2. Browder, FE: On the unification of the variations and the theory of monotone nonlinear operators in Banach spaces. Proc. Natl. Acad. Sci. USA 56, 419-425 (1966)

    Article  MathSciNet  MATH  Google Scholar 

  3. Konnov, IV, Volotskaya, EO: Mixed variational inequalities and economic equilibrium problems. J. Appl. Math. 2, 289-314 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  4. He, BS, Liu, HX: Inverse variational inequalities in the economic field: applications and algorithms (2006). http://www.paper.edu.cn/releasepaper/content/200609-260

  5. He, BS, Liu, HX, Li, M, He, XZ: PPA-based methods for monotone inverse variational inequalities (2006). http://www.paper.edu.cn/releasepaper/content/200606-219

  6. Aussel, D, Correa, R, Marechal, M: Gap functions for quasivariational inequalities and generalized Nash equilibrium problems. J. Optim. Theory Appl. 151(3), 474-488 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  7. Baiocchi, C, Capelo, A: Variational and Quasi-Variational Inequalities: Application to Free Boundary Problems. Wiley, New York (1984)

    MATH  Google Scholar 

  8. Bliemer, MCJ, Bovy, PHL: Quasi-variational inequality formulation of the multiclass dynamic traffic assignment problem. Transp. Res., Part B, Methodol. 37, 501-519 (2003)

    Article  Google Scholar 

  9. Chan, D, Pang, JS: The generalized quasi-variational inequality problem. Math. Oper. Res. 7, 211-222 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  10. Fukushima, M: A class of gap function for quasi-variational inequality problem. J. Ind. Manag. Optim. 3, 165-171 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  11. Fan, JH, Liu, X, Li, JL: Iterative schemes for approximating solutions of generalized variational inequalities in Banach spaces. Nonlinear Anal. 70, 3997-4007 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  12. Gupta, R, Mehra, A: Gap functions and error bounds for quasi-variational inequalities. J. Glob. Optim. 53, 737-748 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Han, D: A new hybrid generalized proximal point algorithm for variational inequality problems. J. Glob. Optim. 26, 125-140 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  14. He, XZ, Liu, HX: Inverse variational inequalities with projection-based solution methods. Eur. J. Oper. Res. 208, 12-18 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hu, R, Fang, YP: Well-posedness of inverse variational inequalities. J. Convex Anal. 15, 427-437 (2008)

    MathSciNet  MATH  Google Scholar 

  16. Hue, TT, Strodiot, JJ, Nguyen, VH: Convergence of the approximate auxiliary problem method for solving generalized variational inequalities. J. Optim. Theory Appl. 121, 119-145 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  17. Mainge, PE: Projected subgradient techniques and viscosity methods for optimization with variational inequality constraints. Eur. J. Oper. Res. 205, 501-506 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  18. Scrimali, L: An inverse variational inequality approach to the evolutionary spatial price equilibrium problem. Optim. Eng. 13, 375-387 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  19. Wang, ZB, Huang, NJ: Stability analysis for generalized f-projection operators with an application. Taiwan. J. Math. 17, 1727-1750 (2013)

    MathSciNet  MATH  Google Scholar 

  20. Xia, FQ, Huang, NJ, Liu, ZB: A projected subgradient method for solving generalized mixed variational inequalities. Oper. Res. Lett. 36, 637-642 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  21. Yang, J: Dynamic power price problem: an inverse variational inequality approach. J. Ind. Manag. Optim. 4, 673-684 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  22. Wu, KQ, Huang, NJ: The generalised f-projection operator with an application. Bull. Aust. Math. Soc. 73, 307-317 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  23. Alber, Y: Generalized projection operators in Banach spaces: properties and applications. In: Proceedings of the Israel Seminar, Ariel, Israel. Funct. Differential Equation, vol. 1, pp. 1-21 (1994)

    Google Scholar 

  24. Wu, KQ, Huang, NJ: The generalized f-projection operator and set-valued variational inequalities in Banach spaces. Nonlinear Anal. 71, 2481-2490 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  25. Wu, KQ, Huang, NJ: Properties of the generalized f-projection operator and its applications in Banach spaces. Comput. Math. Appl. 54, 399-406 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  26. Li, X, Huang, NJ, O’Regan, D: Strong convergence theorems for relatively nonexpansive mappings in Banach spaces with applications. Comput. Math. Appl. 60, 1322-1331 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  27. Li, X, Li, XS, Huang, NJ: A generalized f-projection algorithm for inverse mixed variational inequalities. Optim. Lett. 8, 1063-1076 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  28. 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by Scientific Research Fund of Sichuan Provincial Education Department (14ZB0130), the National Natural Science Foundation of China (11426180).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yun-zhi Zou.

Additional information

Competing interests

The authors declare that none of the authors has any financial or non-financial competing interest regarding the publication of this paper.

Authors’ contributions

The first author, XL, carried out the proofs of the main theorems and the second author, YZ, proposed the problem and drafted the paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, X., Zou, Yz. Existence result and error bounds for a new class of inverse mixed quasi-variational inequalities. J Inequal Appl 2016, 42 (2016). https://doi.org/10.1186/s13660-016-0968-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-016-0968-5

Keywords