- Research Article
- Open Access

# The Existence of Maximum and Minimum Solutions to General Variational Inequalities in the Hilbert Lattices

- Jinlu Li
^{1}and - Jen-Chih Yao
^{2}Email author

**2011**:904320

https://doi.org/10.1155/2011/904320

© J. Li and J.-C. Yao. 2011

**Received:**24 November 2010**Accepted:**8 December 2010**Published:**14 December 2010

## Abstract

We apply the variational characterization of the metric projection to prove some results about the solvability of general variational inequalities and the existence of maximum and minimum solutions to some general variational inequalities in the Hilbert lattices.

## Keywords

- Variational Inequality
- Convex Subset
- Nonempty Subset
- Banach Lattice
- Minimum Solution

## 1. Introduction

The variational inequality theory and the complementarity theory have been studied by many authors and have been applied in many fields such as optimization theory, game theory, economics, and engineering [1–12]. The existence of solutions to a general variational inequality is the most important issue in the variational inequality theory. Many authors investigate the solvability of a general variational inequality by using the techniques of fixed point theory and the variational characterization of the metric projection in some linear normal spaces. Meanwhile, a certain topological continuity of the mapping involved in the considered variational inequality must be required, such as continuity and semicontinuity.

A number of authors have studied the solvability of general variational inequalities without the topological continuity of the mapping. One way to achieve this goal is to consider a linear normal space to be embedded with a partial order satisfying certain conditions, which is called a normed Riesz space. The special and most important cases of normed Riesz spaces are Hilbert lattices and Banach lattices [1, 2, 7, 13–15]. Furthermore, after the solvability has been proved for a general variational inequality, a new problem has been raised: does this general variational inequality have maximum and minimum solutions (with respect to the partial order)? (e.g., see [7]). In this paper, we study this theme and provide some results about the existence of maximum and minimum solutions to some general variational inequalities in Hilbert lattices.

This paper is organized as follows. Section 2 recalls some basic properties of Hilbert lattices, variational inequalities, and general variational inequalities. Section 3 provides some results about the existence of maximum and minimum solutions to some general variational inequalities defined on some closed, bounded, and convex subsets in Hilbert lattices. Section 4 generalizes the results of Section 3 to unbounded case.

## 2. Preliminaries

In this section, we recall some basic properties of Hilbert lattices and variational inequalities. For more details, the reader is referred to [1, 2, 7, 13–15].

We say that is a Hilbert lattice if is a Hilbert space with inner product and with the induced norm and is also a poset with the partial order satisfying the following conditions:

(i)the mapping is a -preserving self-mapping on (this definition will be recalled later) for every and positive number , where defines the identical mapping on ,

- (iii)
the norm on is compatible with the partial order , that is,

A nonempty subset of a Hilbert lattice is said to be a subcomplete - sublattice of , if for any nonempty subset of , and . Since every bounded closed convex subset of a Hilbert space is weakly compact, as an immediate consequence of Lemma 2.3 in [7], we have the following result.

Lemma 2.1.

Let be a Hilbert lattice and a bounded, closed, and convex -sublattice of . Then, is a subcomplete -sublattice of .

Now, we recall the -preserving properties of set-valued mappings below. A set-valued mapping is said to be upper -preserving, if , then for any , there exists such that . A set-valued mapping is said to be lower -preserving, if , then for any , there exists such that . is said to be -preserving if it is both of upper and lower -preserving. Similarly, we can define that is said to be strictly upper -preserving, if , then for any , there exists such that and is said to be strictly (lower -preserving if , then for any , there exists such that .

Observations

(1)If is upper -preserving, then implies .

(2)If is lower -preserving, then implies .

An element is called a solution to the variational inequality (2.2) if, for every . The problem to find a solution to variational inequality (2.2) is called a variational inequality problem associated with the mapping and the subset , which is denoted by .

Similarly, we can have the representation of a solution to a , defined by (2.3), by a fixed point as given by relation (2.4).

## 3. The Existence of Maximum and Minimum Solutions to Some General Variational Inequalities Defined on Closed, Bounded, and Convex Subsets in Hilbert Lattices

In this section, we apply the variational characterization of the metric projection in Hilbert spaces to study the solvability of general variational inequalities without the continuity of the mappings involved in the considered general variational inequalities. Then, we provide some results about the existence of maximum and minimum solutions to some general variational inequalities defined on some closed, bounded, and convex subsets in Hilbert lattices. Similar to the conditions used by Smithson [15], we need the following definitions.

Remarks

Let be a nonempty subset of a Hilbert lattice , a set-valued correspondence. Then, we have the following.

Now, we state and prove the main theorem of this paper below, which provides the existence of maximum and minimum solutions to general variational inequalities in Hilbert lattices.

Theorem 3.1.

Let be a Hilbert lattice and a nonempty closed bounded and convex -sublattice of . Let be a set-valued correspondence. Then, one has

(1)if is upper -preserving with upper bound -closed values for some function , then the problem is solvable and there exists -maximum solution to ,

(2)if is lower -preserving with lower bound -closed values for some function , then the problem is solvable and there exists -minimum solution to ,

(3)if is -preserving with both of upper and lower bounds -closed values for some function , then the problem is solvable and there exist both of -minimum and -maximum solutions to .

Proof of Theorem 3.1.

Part (1)

It completes the proof of part (1) of this theorem.

Part (2)

It completes the proof of part (2) of this theorem. Part (3) is an immediate consequence of parts (1) and (2). It completes the proof of Theorem 3.1.

If is a single-valued mapping, then it can be considered as a special case of set-valued mapping with singleton values. The result below follows immediately from Theorem 3.1.

Corollary 3.2.

Let be a Hilbert lattice and a nonempty closed, bounded, and convex -sublattice of . Let be a single-valued mapping such that is -preserving, for some function . Then, one has

(1)the problem is solvable,

(2)there are both of -maximum and -minimum solutions to .

For a bounded and convex -sublattice of a Hilbert lattice , the behavior of its maximum and minimum solutions to a problem should be noticeable. The following corollary can be obtained from the proof of Theorem 3.1.

Corollary 3.3.

Let be a Hilbert lattice and a nonempty, closed, bounded, and convex -sublattice of . Let be a set-valued correspondence. Then, the following properties hold.

Proof of Corollary 3.3.

Part (1)

Similar to the proof of part (2) of Theorem 3.1, we can prove Part (2) of this corollary.

The following corollary is an immediate consequence of Corollary 3.3.

Corollary 3.4.

Let be a Hilbert lattice and a nonempty, closed, bounded, and convex -sublattice of . Let be a set-valued correspondence. Then, the following properties hold.

Proof of Corollary 3.4.

Part (1)

The first part is proved. Similarly, the second part can be proved.

In Theorem 3.1, without the upper bound -closed condition for the values of the mapping , Theorem 3.1 may be failed, that is, if is upper -preserving that has no upper bound -closed values for some function , then, there may not exist a -maximum solution to . The following example demonstrates this argument.

Example 3.5.

Then, is a Hilbert lattice with the normal inner product in and the above partial order .

Let be the closed rhomb with vertexes , , , and . Then, is a compact (of course weakly compact) and convex -sublattice of .

But, the point is not a solutions to , which shows that there does not exist a -maximum solution to this problem .

Similarly, in Theorem 3.1, without the lower bound -closed condition for the values of the mapping , then Theorem 3.1 (part (2)) may be failed. That is, if is lower -preserving that has no lower bound -closed values for some function , then there may not exist a -minimum solution to . This can be demonstrated by the following example.

Example 3.6.

Take as in Example 3.5. Let be the closed rhomb with vertexes , , , and . Then, is a compact (of course weakly compact) and convex -sublattice of .

But, is not a solutions to , which shows that there does not exist a -minimum solution to this problem .

Suppose that is upper (lower) -preserving. The condition that has upper (lower) bound -closed values for some function , is not necessary for the problem to have a -maximum (minimum) solution to . The following example was given by Nishimura and Ok.

Example 3.7.

Take . Then, is upper -preserving. has a unique solution , which is also the -maximum solution to . But does not have upper bound -closed values (except at point ).

for some function .

The properties in (3.60) imply that, under the condition is upper -preserving (lower -preserving), if an element is nonascending (nonascending) with respect to the mapping , then is nondescending (nonascending) with respect to the mapping .

Definition 3.8.

A point
is said to be an *upper (lower) absorbing point* with respect to a set-valued mapping
, if there exists
with
such that
.

The following proposition describes some existence and uniqueness properties of upper (lower) absorbing point with respect to a set-valued mapping .

Theorem 3.9.

Let be a Hilbert lattice and a subcomplete -sublattice of . Let be a set-valued correspondence. Then, the set of upper (lower) absorbing point with respect to the mapping is not empty. In addition, if is upper (lower) -preserving, for some function , then upper (lower) absorbing point with respect to the mapping is unique.

Proof.

Since is a subcomplete -sublattice of , it contains minimum (maximum ). It is clear that ), which implies . Let . Since is a subcomplete -sublattice of , so . It implies that is an upper (lower) absorbing point with respect to the mapping .

Combining (3.62) and (3.64), we get (similar to (3.62) and (3.64), we can prove ). It shows the uniqueness of upper (lower) absorbing point with respect to the mapping . The proposition is proved.

Now, we apply the concepts of absorbing points with respect to a mapping to extend Theorem 3.1 to the following theorem with conditions that are weaker than those in Theorem 3.1.

Theorem 3.10.

Let be a Hilbert lattice and a nonempty, closed, bounded, and convex - sublattice of . Let be a set-valued correspondence. Then, one has

(1)if is upper -preserving with upper bound -closed value at the unique upper absorbing point with respect to the mapping , for some function , then the problem is solvable and the unique upper absorbing point with respect to the mapping is a solution to ,

(2)if is lower -preserving with lower bound -closed value at the unique lower absorbing points with respect to the mapping , for some function , then the problem is solvable and the unique lower absorbing point with respect to the mapping is a solution to .

Proof of Theorem 3.10.

Part (1)

From (3.65) and the above equation, we obtain that the unique upper absorbing point with respect to the mapping is a solution to . Then, the solvability of the problem is proved. It completes the proof of part (1).

Similar to the proof of part (1), we can prove Part (2).

Theorem 3.11.

Let be a Hilbert lattice and a nonempty, closed, bounded, and convex -sublattice of . Let be a set-valued correspondence. Then, one has

(1)if is upper -preserving with upper bound -closed value at the unique upper absorbing point with respect to the mapping , for some function , then the unique upper absorbing point is the -maximum solution to ,

(2)if is lower -preserving with lower bound -closed value at the unique lower absorbing point with respect to the mapping , for some function , then the unique lower absorbing point is the -minimum solution to ,

(3)if is -preserving with both of upper and lower bounds -closed value at the unique upper absorbing point and the unique lower absorbing point with respect to the mapping in , for some function , then the unique upper absorbing point and the unique lower absorbing point are the -maximum and -minimum solutions to , respectively.

Proof of Theorem 3.11.

Part (1)

Then, is the unique upper absorbing point in with respect to the mapping . From the Part (1) of Theorem 3.10 that the unique upper absorbing point with respect to the mapping is a solution to the problem , we obtain that . Combining the definition and the -inequality (3.73), we get . Hence, is a solution to , and therefore the problem has a maximum solution. Part (1) of this theorem is proved. Part (2) can be similarly proved. Part (3) is an immediate consequence of Part (1) and Part (2). This theorem is proved.

Hence, Example 3.7 satisfies the conditions of Theorem 3.10 (Part (1)), and therefore there exists a -maximum solution to , which coincides with the result of Example 3.7.

Remark 3.12.

Theorem 3.1 is a special case of Theorem 3.10.

## 4. The Existence of Maximum and Minimum Solutions to Some General Variational Inequalities Defined on Unbounded Subsets in Hilbert Lattices

The difficulty to extend the results in bounded subsets in Hilbert lattices to unbounded subsets in Hilbert lattices is that the subcomplete property of unbounded closed convex -sublattice of a Hilbert lattice does not hold. All the proofs of Theorems 3.1–3.10 in last section are based on the property that any bounded closed convex -sublattice in Hilbert lattices is a subcomplete -sublattice. So, the techniques in those proofs are not applicable in the unbounded case. Hence, except new techniques are developed in unbounded case, we have to apply the results in last section to investigate the solvability of some problems. The following results are similar to Theorem 3.3 in [7] and Smithson Theorem 1.1 in [15].

Theorem 4.1.

Let be a Hilbert lattice and a closed convex -sublattice of . Let be a set-valued correspondence. Suppose that is upper -preserving with upper bound -closed values at all points in , for some function . In addition, assume

(i) is -preserving and there exist , with and , or

(ii) has a -minimum and there exists with .

Then, is solvable.

Proof of Theorem 4.1.

Part (i)

Since (from (4.3)), the above inequality implies , that is, . Hence, is a solution to . Part (i) is proved.

Part (ii)

Take to be the minimum of . The inequality can be proved by the condition in part (ii). It is obvious that the inequality holds, because is the minimum of . Then, (4.3) can be proved for part (ii) and the rest of the proof will be the same as that in the proof of part (i). It completes the proof of this theorem.

Theorem 4.2.

Let be a Hilbert lattice and a closed convex -sublattice of . Let be a set-valued correspondence. Suppose that is upper (lower) -preserving with upper (lower) bound -closed values at all points in , for some function . In addition, assume that is a -bounded closed -sublattice of . Then, is solvable and it has a maximum (minimum) solution.

Proof.

It is easy to see that is a -bounded -sublattice of . Then, from Lemma 2.2 in [7], is a subcomplete -sublattice of containing the set . It is clear that .We see that satisfies all conditions of Theorem 3.1. Similar to the proof of Theorem 4.1, from Theorem 3.1, the problem is solvable. Let be a solution to . Then, the proof that is a solution to is exactly the same as that in Theorem 4.1. Moreover, the maximum solution to the problem ) is also a solution to the problem .

Since , from the variational characterization of the metric projection, it yields that all solutions to the problem must be contained in . Hence, the maximum solution to the problem ) in is the maximum solution to the problem in . This theorem is proved.

Next, we consider a special type of mappings which has been used by number of authors in the fields of variational inequality theory and complementarity theory (see [4–6]). Let
be a closed convex
-sublattice of a Hilbert lattice
. A set-valued correspondence
is said to be a
-*completely continuous mapping* if
is a
-bounded and closed
-sublattice of
. A set-valued correspondence
is said to be a
-*completely continuous field* if
has the representation:
, for some
-completely continuous mapping
. With these concepts, we provide an immediate consequence of Theorem 4.2 below.

Corollary 4.3.

Let be a Hilbert lattice and a closed convex -sublattice of . Let be a set-valued -completely continuous mapping with the representation , for some -completely continuous mapping . In addition, if f is upper (lower) -preserving with upper (lower) bound -closed values at all points in , then is solvable and it has a maximum (minimum) solution.

Proof.

From the condition of -completely continuous mapping, it implies that -bounded closed -sublattice of . So, satisfies all conditions of Theorem 4.2. Then, this corollary follows immediately.

The solvability of a general variational inequality in Theorem 4.2 can be extended as below. But, the existence of maximum or minimum solution will be failed.

Theorem 4.4.

Let be a Hilbert lattice and a closed convex -sublattice of . Let be a set-valued correspondence. Suppose that is upper (lower) -preserving with upper (lower) bound -closed values at all points in , for some function . In addition, if there exists a nonempty, closed, bounded, and convex -sublattice such that is a nonempty closed bounded and convex -sublattice in , then is solvable.

Proof.

As restricting to the mapping , the proof of this theorem is very similar to the proof of the solvability in Theorem 4.2. It is omitted.

## Declarations

### Acknowledgment

This research was partially supported by the Grant NSC 99-2115-M-110-004-MY3. The authors are grateful to Professor Nishimura and Professor Ok for their valuable communications and suggestions, which improved the presentation of this paper.

## Authors’ Affiliations

## References

- Cottle RW, Pang JS:
**A least-element theory of solving linear complementarity problems as linear programs.***Mathematics of Operations Research*1978,**3**(2):155–170. 10.1287/moor.3.2.155MathSciNetView ArticleMATHGoogle Scholar - Cryer CW, Dempster MAH:
**Equivalence of linear complementarity problems and linear programs in vector lattice Hilbert spaces.***SIAM Journal on Control and Optimization*1980,**18**(1):76–90. 10.1137/0318005MathSciNetView ArticleMATHGoogle Scholar - Cryer CW, Dempster MAH:
**Equivalence of linear complementarity problems and linear programs in vector lattice Hilbert spaces.***SIAM Journal on Control and Optimization*1980,**18**(1):76–90. 10.1137/0318005MathSciNetView ArticleMATHGoogle Scholar - Isac G:
*Complementarity Problems, Lecture Notes in Mathematics*.*Volume 1528*. Springer, Berlin, UK; 1992:vi+297.MATHGoogle Scholar - Isac G, Li J:
**Complementarity problems, Karamardian's condition and a generalization of Harker-Pang condition.***Nonlinear Analysis Forum*2001,**6**(2):383–390.MathSciNetMATHGoogle Scholar - Isac G, Sehgal VM, Singh SP:
**An alternate version of a variational inequality.***Indian Journal of Mathematics*1999,**41**(1):25–31.MathSciNetMATHGoogle Scholar - Nishimura H, Ok EA: Solvability of variational inequalities on Hilbert lattices. to appearGoogle Scholar
- Park S:
**Generalized equilibrium problems and generalized complementarity problems.***Journal of Optimization Theory and Applications*1997,**95**(2):409–417. 10.1023/A:1022643407038MathSciNetView ArticleMATHGoogle Scholar - Topkis DM:
*Supermodularity and Complementarity, Frontiers of Economic Research*. Princeton University Press, Princeton, NJ, USA; 1998:xii+272.Google Scholar - Yao JC, Guo J-S:
**Variational and generalized variational inequalities with discontinuous mappings.***Journal of Mathematical Analysis and Applications*1994,**182**(2):371–392. 10.1006/jmaa.1994.1092MathSciNetView ArticleMATHGoogle Scholar - Zhang CJ:
**Generalized variational inequalities and generalized quasi-variational inequalities.***Applied Mathematics and Mechanics*1993,**14**(4):315–325.MathSciNetMATHGoogle Scholar - Zhang C-J:
**Existence of solutions of two abstract variational inequalities.**In*Fixed Point Theory and Applications. Vol. 2*. Nova Science, Huntington, NY, USA; 2001:153–161.Google Scholar - Borwein JM, Dempster MAH:
**The linear order complementarity problem.***Mathematics of Operations Research*1989,**14**(3):534–558. 10.1287/moor.14.3.534MathSciNetView ArticleMATHGoogle Scholar - Borwein JM, Yost DT:
**Absolute norms on vector lattices.***Proceedings of the Edinburgh Mathematical Society II*1984,**27**(2):215–222.MathSciNetMATHGoogle Scholar - Smithson RE:
**Fixed points of order preserving multifunctions.***Proceedings of the American Mathematical Society*1971,**28**(1):304–310. 10.1090/S0002-9939-1971-0274349-1MathSciNetView 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.