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

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.

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, 6–21] 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

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.

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 [23–26]. Let \(G:H\times K\to R\cup\{+\infty\}\) be a functional defined as follows:

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

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

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 K̅ 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

(2) If \(H=R^{n}\), g is the identity mapping, \(f(x)=0\), and \(K(x)\) is a constant set K̅ 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

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

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

(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.

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:

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

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

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

and

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

and so

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

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

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

Now (3.4) implies that

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

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\),

and

Proof

Based on Lemma 2.1, we have

and

It follows from (3.6) and (3.7) that

By (3.8), we obtain

and so

This completes the proof. □

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

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:

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

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

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

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

Now (4.2)-(4.5) imply that

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

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

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

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

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

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

Proof

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

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

By (5.1) and (5.2), we have

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

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

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

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

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

Proof

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

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

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

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

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

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.

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

Affiliations

1. School of Science, Xihua University, Chengdu, Sichuan, 610039, P.R. China

   • Xi Li

2. Department of Mathematics, Sichuan University, Chengdu, Sichuan, 610064, P.R. China

   • Yun-zhi Zou

Corresponding author

Correspondence to Yun-zhi Zou.

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.

Reprints and Permissions