# Existence of Solutions and Algorithm for a System of Variational Inequalities

- Yali Zhao
^{1}Email author, - Zunquan Xia
^{2}, - Liping Pang
^{2}and - Liwei Zhang
^{2}

**2010**:182539

https://doi.org/10.1155/2010/182539

© Yali Zhao et al 2010

**Received: **13 May 2009

**Accepted: **24 January 2010

**Published: **10 February 2010

## Abstract

We obtain some existence results for a system of variational inequalities (for short, denoted by SVI) by Brouwer fixed point theorem. We also establish the existence and uniqueness theorem using the projection technique for the SVI and suggest an iterative algorithm and analysis convergence of the algorithm.

## Keywords

## 1. Questions under Consideration in This Paper

Suppose that is a nonempty closed and convex subset of ; is a vector-valued mapping. Variational inequality problem (for short, VI ) is to find an , such that

We denote the solution set for VI by . In this paper, we suggest and study the following SVI: find , such that

where , are vector-valued mappings, and The above SVI can be described as

## 2. Existence and Uniqueness of Solutions for SVI

In this paper, otherwise specification,
is a *n*-dimensional Euclidean space, for all
,
denotes the inner product between
and
,
denotes norm of
, that is,
.

In order to obtain our main results, we recall the following definitions and lemmas.

Definition 2.1.

Let be a nonempty subset, and let be a vector-valued mapping.

(i) is said to be monotone if, for all ,

(ii) is said to be strictly monotone if, for all , ,

(v) is said to be Lipschitz continuous if there exists a constant such that

Remark 2.2.

Based on the above all kinds of monotonicity, we have the following existence results for .

Lemma 2.3 (see [1]).

Let be nonempty compact and convex set, and let be continuous mapping. Then must has solution.

Lemma 2.4 (see [2]).

Let be nonempty closed and convex set, and let be continuous mapping.

(i)If is strictly monotone, then has at most one solution,

(ii)If is coercive, then must has solution,

(iii)If is strongly monotone, then has a unique solution.

In order to obtain the existence results for SVI, one needs to study parametric variational inequalities and in SVI.

Setting and is the feasible region of SVI, , are nonempty subset, and , are two continuous mappings. At first, one considers , which is a parametric variational inequality with respect to in SVI.

Theorem 2.5.

In , assume that and are two compact and convex sets, is continuous, and is strictly monotone in . Then, for any given , has a unique solution and for all , there exists an implicit function which is the unique solution to . In addition, the implicit function determined by is continuous on .

- (i)
For any given , since is compact and convex and is continuous on , then by Lemma 2.3, parametric variational inequality has solutions. In terms of strict monotonicity of the mapping in and Lemma 2.4, we know that has a unique solution. So, for all , the implicit function determined by is well defined.

- (ii)
We claim that is continuous on . In fact, for any given , , as , by (i), we know that for all , there exists , such that . That is,

Thus, by the uniqueness of the solution to the problem , we conclude that . Since, is arbitrary, we can conclude that as , which means that implicit function is continuous at . For is arbitrary, we know that is continuous on .

From Theorem 2.5, we see that in order to ensure that is well defined, the condition that is strictly monotone on is necessary, but the boundedness of is a strong condition. As usual, is unbounded (e.g., inequality constraint set , where , is always unbounded). So, we try to weaken the boundedness of . For this, we introduce the concept uniform coercivity of in .

Definition 2.6.

If for each , is uniformly coercive near , then is said to be uniformly coercive on .

Lemma 2.7.

In , let be nonempty closed and convex set, and let be uniformly coercive near , then there exists some neighbourhood of , such that is bounded set.

Proof.

For all , , consider the connection of and ; following the same argument, we have that and Therefore, and . That is, is bounded. For is arbitrary, the conclusion holds. This completes the proof.

If the boundedness of is replaced by the uniform coercivity of in Theorem 2.5, then we have the following result.

Theorem 2.8.

In , let be nonempty closed and convex set, and let be uniformly coercive on with respect to and strict monotone in . Then for each , has a unique solution, and for all , the implicit function determined by is continuous on .

- (i)
For given , by Lemma 2.4 and the coercivity of on , we know that has solution. Noting that is strictly monotone in , has a unique solution, and so the implicit function is well defined.

- (ii)
For given , , satisfying as . By Lemma 2.7, there exists some neighbourhood of and bounded open set , such that , that is, the solution set of denoted by . such that as . Let without generality, then is bounded; the following argument is similar to Theorem 2.5, so it is omitted, and this completes the proof.

Set ; it is to see that . We will investigate the parametric variational inequality with respect to in SVI.

Corollary 2.9.

In , let be two nonempty compact and convex subsets, be continuous and strict monotone in . Then for each given , has a unique solution, and for all , the implicit function determined by is continuous on .

Proof.

The conclusion holds directly from Theorem 2.5.

Lemma 2.10 (see [3, (Brouwer fixed point theorem)]).

Let be nonempty compact and convex set, and let be continuous. Then there exists an , such that .

Theorem 2.11.

In SVI, let be two compact and convex subset, and let and be two continuous mappings and strict monotone in and , respectively. Then SVI has solution.

Proof.

By the given conditions of Theorems 2.11 and 2.5, we know that there exists continuous implicit function determined by parametric variational inequality with respect to in SVI. Also denoted the range of by . By Corollary 2.9, there exists continuous implicit function determined by parametric variational inequality with respect to in SVI such that for all , is the unique solution to . Let for all Making use of Brouwer fixed point theorem (Lemma 2.10), we have that there exists , such that . Setting , by the definitions of and , we know that is a solution of SVI.

Corollary 2.12.

In SVI, let be nonempty compact and convex subset, let be nonempty closed and convex subset, let and be two continuous mappings, and be strict monotone in and , respectively. Let be uniformly coercive on with respect to . Then SVI has solution.

Proof.

By Theorem 2.8 and similar argument in Theorem 2.11, our conclusion holds.

Now, we give the definition of uniformly strong monotonicity, which is stronger condition than the uniformly coercivity.

Definition 2.13.

then is said to be uniformly strongly monotone in .

Lemma 2.14.

In , let be uniformly strongly monotone, then is uniformly coercive.

Proof.

which implies that is uniform coercive at .

Using the uniformly strong monotonicity of , we can obtain the following existence result for SVI under the condition that is a nonempty closed and convex subset of .

Corollary 2.15.

In SVI, let be a nonempty closed and convex set, let be a compact and convex set, let be two continuous mapping, let be uniformly strongly monotone in , and let be strictly monotone in . Then SVI has solution.

Proof.

By Lemma 2.14 and Corollary 2.12, it is easy to see that the conclusion holds.

Corollary 2.16.

In SVI, Let and be nonempty closed and convex subsets, let be two continuous mappings, and let be uniformly strongly monotone in , and let be uniformly coercive and strict monotone in . Then SVI has solution.

Furthermore, If and are Lipschitz continuous in and , respectively, one can obtain the following existence and uniqueness result for SVI.

Theorem 2.17.

then SVI has a unique solution.

In order to prove Theorem 2.17, we need the following lemma.

Lemma 2.18 (see [4]).

where denote the projection from and to and , respectively; furthermore, projection operator is nonexpansive and are constants.

The Proof of Theorem 2.17

## 3. Iterative Algorithm and Convergence

In this section, we will construct an iterative algorithm for approximating the unique solution of SVI and discuss the convergence analysis of the algorithm.

Lemma 3.1 (see, [5]).

Let and be two real sequence of nonnegative numbers that satisfy the following conditions.

Algorithm 3.2.

Theorem 3.3.

Proof.

for all . Therefore, converges geometrically to the unique solution of SVI. This completes the proof.

## Declarations

### Acknowledgment

The authors are grateful to the referee for his/her valuable suggestions and comments that help to present the paper in the present form. This work was supported by the Doctoral Initiating Foundation of Liaoning Province (20071097).

## Authors’ Affiliations

## References

- Mosco U:
*Introduction to Approximation Solution of Variational Inequalities*. Shanghai Science and Technology, Shanghai, China; 1985.Google Scholar - Outrata J, Kočvara M, Zowe J:
*Nonsmooth Approach to Optimization Problems with Equilibrium Constraints, Nonconvex Optimization and Its Applications*.*Volume 28*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1998:xxii+273.View ArticleMATHGoogle Scholar - Smart DR:
*Fixed Point Theorems*. Cambridge University Press, Cambridge, UK; 1980.MATHGoogle Scholar - Xiu NH, Zhang JZ:
**Local convergence analysis of projection-type algorithms: unified approach.***Journal of Optimization Theory and Applications*2002,**115**(1):211–230. 10.1023/A:1019637315803MathSciNetView ArticleMATHGoogle Scholar - Fang Y-P, Huang N-J, Thompson HB:
**A new system of variational inclusions with -monotone operators in Hilbert spaces.***Computers & Mathematics with Applications*2005,**49**(2–3):365–374. 10.1016/j.camwa.2004.04.037MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.