# Regularization and iterative method for general variational inequality problem in hilbert spaces

- Yeol JE Cho
^{1}and - Narin Petrot
^{2}Email author

**2011**:21

https://doi.org/10.1186/1029-242X-2011-21

© Cho and Petrot; licensee Springer. 2011

**Received: **14 February 2011

**Accepted: **20 July 2011

**Published: **20 July 2011

## Abstract

Without the strong monotonicity assumption of the mapping, we provide a regularization method for general variational inequality problem, when its solution set is related to a solution set of an inverse strongly monotone mapping. Consequently, an iterative algorithm for finding such a solution is constructed, and convergent theorem of the such algorithm is proved. It is worth pointing out that, since we do not assume strong monotonicity of general variational inequality problem, our results improve and extend some well-known results in the literature.

## Keywords

## 1. Introduction

It is well known that the ideas and techniques of the variational inequalities are being applied in a variety of diverse fields of pure and applied sciences and proven to be productive and innovative. It has been shown that this theory provides the most natural, direct, simple, unified, and efficient framework for a general treatment of a wide class of linear and nonlinear problems. The development of variational inequality theory can be viewed as the simultaneous pursuit of two different lines of research. On the one hand, it reveals the fundamental facts on the qualitative aspects of the solutions to important classes of problems. On the other hand, it also enables us to develop highly efficient and powerful new numerical methods for solving, for example, obstacle, unilateral, free, moving, and complex equilibrium problems.

*GVI*

_{ K }(

*A*,

*g*), is as follows: Find

*u** ∈

*H*,

*g*(

*u**) ∈

*K*such that

where *K* is a nonempty closed convex subset of a real Hilbert space *H* with inner product 〈·, ·〉, and *T*, *g*: *H* → *H* be mappings. It is known that a class of nonsymmetric and odd-order obstacle, unilateral, and moving boundary value problems arising in pure and applied can be studied in the unified framework of general variational inequalities (e.g., [2] and the references therein). Observe that to guarantee the existence and uniqueness of a solution of the problem (1.1), one has to impose conditions on the operator *A* and *g*, see [3] for example in a more general case. By the way, it is worth noting that, if *A* fails to be Lipschitz continuous or strongly monotone, then the solution set of the problem (1.1) may be an empty one.

*u** ∈

*H*,

*g*(

*u**) ∈

*S*(

*T*) such that

when *A* is a generalized monotone mapping, *T*: *K* → *H* is an inverse strongly monotone mapping, and *S*(*T*) = {*x* ∈ *K*: *T*(*x*) = 0}. We will denote by *GVI*_{
K
} (*A*, *g*, *T*) for a set of solution to the problem (1.2). Observe that, if *T* =: 0, the zero operator, then the problem (1.2) reduces to (1.1). Moreover, we would also like to notice that although many authors have proven results for finding the solution of the variational inequality problem and the solution set of inverse strongly monotone mapping (e.g., [4, 8, 9]), it is clear that it cannot be directly applied to the problem *GV I*_{
K
} (*A*, *g*, *T*) due to the presence of *g*.

## 2. Preliminaries

Let *H* be a real Hilbert space whose inner product and norm are denoted by 〈·, ·〉 and || · ||, respectively. Let *K* be a nonempty closed convex subset of *H*. In this section, we will recall some well-known results and definitions.

**Definition2.1**. Let

*A*:

*H*→

*H*be a mapping and

*K*⊂

*H*. Then,

*A*is said to be semi-continuous at a point

*x*in

*K*if

**Definition2.2**. A mapping

*T*:

*K*→

*H*is said to be

*λ*-inverse strongly monotone, if there exists a

*λ*> 0 such that

*B*:

*K*→

*H*is said to be

*k*-strictly pseudocontractive if there exists a constant

*k*∈ [0, 1) such that

*I*be the identity operator on

*K*. It is well known that if

*B*:

*K*→

*H*is a

*k*-strictly pseudocontrative mapping, then the mapping

*T*:=

*I*-

*B*is a -inverse strongly monotone, see [4]. Conversely, if

*T*:

*K*→

*H*is a

*λ*-inverse strongly monotone with , then

*B*:=

*I*-

*T*is (1 - 2

*λ*)-strictly pseudocontrative mapping. Actually, for all

*x*,

*y*∈

*K*, we have

Moreover, we have the following result:

**Lemma 2.3**. [10]*Let K be a nonempty closed convex subset of a Hilbert space H and B*: *K* → *H a k-strictly pseudocontractive mapping. Then, I* - *B is demiclosed at zero, that is, whenever* {*x*_{
n
} } *is a sequence in K such that* {*x*_{
n
} } *converges weakly to x* ∈ *K and* {(*I* - *B*)(*x*_{
n
} )} *converges strongly to* 0, *we must have* (*I* - *B*)(*x*) = 0.

For *g* = *I*, the identity operator, Definition 2.4 reduces to the well-known definition of monotonicity. However, the converse is not true.

Now we show an example in proof of our main problem (1.2).

**Example 2.5**. Let

*a*,

*b*be strictly positive real numbers. Put

*H*= {(

*x*

_{1},

*x*

_{2})| -

*a*≤

*x*

_{1}≤

*a*, -

*b*≤

*x*

_{2}≤

*b*} with the usual inner product and norm. Let

*K*= {(

*x*

_{1},

*x*

_{2}) ∈

*H*: 0 ≤

*x*

_{1}≤

*x*

_{2}} be a closed convex subset of

*H*. Let

*T*:

*K*→

*H*be a mapping defined by

*T*(

*x*) = (

*I*-

*P*

_{Δ})(

*x*), where Δ = {

*x*:= (

*x*

_{1},

*x*

_{2}) ∈

*H*:

*x*

_{1}=

*x*

_{2}} is a closed convex subset of

*H*, and

*P*

_{Δ}is a projection mapping from

*K*onto Δ. Clearly,

*T*is -inverse strongly monotone, and

*S*(

*T*) = Δ ∩

*K*. Now, if is a considered matrix operator and

*g*= -

*I*, where

*I*is the 2 × 2 identity matrix. Then, we can verify that

*A*is a

*g*-monotone operator. Indeed, for each

*x*:= (

*x*

_{1},

*x*

_{2}),

*y*:= (

*y*

_{1},

*y*

_{2}) ∈

*H*, we have

*A*(

*u**),

*g*(

*y*) -

*g*(

*u**)〉 ≥ 0, for all

*y*= (

*y*

_{1},

*y*

_{2}) ∈

*H*,

*g*(

*y*) ∈

*K*. This equivalence becomes

for all *y* = (*y*_{1}, *y*_{2}) ∈ *H*, *g*(*y*) ∈ *K*. Notice that *g*^{-1}(*K*) = {(*y*_{1}, *y*_{2}) ∈ *H*|*y*_{1} ≥ *y*_{2}}. Thus, in view of (2.1), it follows that {*x* = (*x*_{1}, *x*_{2}) ∈ *H*|*x*_{1} = *x*_{2}} ⊂ *GVI*_{
K
} (*A*, *g*). Hence, *GVI*_{
K
} (*A*, *g*, *T*) ≠ ∅.

**Remark 2.6**. In Example 2.5, the operator *A* is not a monotone mapping on *H*.

We need the following concepts to prove our results.

Let
stand for the set of real numbers. Let
be an equilibrium bifunction, that is, *F*(*u*, *u*) = 0 for every *u* ∈ *K*.

**Definition2.7**. The equilibrium bifunction
is said to be

Concerning to the problem (2.5), the following facts are very useful.

**Lemma 2.8**. [11]

*Let*

*be such that F*(

*u*,

*v*)

*is convex and lower semicontinuous in the variable v for each fixed u*∈

*K. Then*,

- (1)
*if F*(*u*,*v*)*is hemicontinuous in the first variable and has the monotonic property, then U** =*V***, where U***is the solution set of*(2.5)*, and V***is the solution set of F*(*u*,*v**) ≤ 0*for all u*∈*K. Moreover, in this case, they are closed and convex;* - (2)
*if F*(*u*,*v*)*is hemicontinuous in the first variable for each v*∈*K and F is strongly monotone, then U***is a nonempty singleton. In addition, if F is a strongly monotone mapping, then U** =*V***is a singleton set*.

The following basic results are also needed.

**Lemma 2.9**. *Let* {*x*_{
n
} } *be a sequence in H. If x*_{
n
} → *x wealky and* ||*x*_{
n
} || → ||*x*||*, then x*_{
n
} → *x strongly*.

**Lemma 2.10**. [12]. *Let a*_{
n
}*, b*_{
n
}*, c*_{
n
} *be the sequences of positive real numbers satisfying the following conditions*.

(*i*) *a*_{n+1}≤ (1 - *b*_{
n
} )*a*_{
n
} + *c*_{
n
} , *b*_{
n
} < 1,

*Then*, lim_{n→+∞}*a*_{
n
} = 0.

## 3. Regularization

*α*∈ (0, 1) be a fixed positive real number. We now construct a regularization solution

*u*

_{ α }for (1.2), by solving the following general variational inequality problem: find

*u*

_{ α }∈

*H*,

*g*(

*u*

_{ α }) ∈

*K*such that

**Theorem 3.1**.

*Let K be a closed convex subset of a Hilbert space H and g*:

*H*→

*H be a mapping such that K*⊂

*g*(

*H*)

*. Let A*:

*H*→

*H be a hemicontinuous on K and g-monotone mapping, T*:

*K*→

*H be λ-inverse strongly monotone mapping. If g is an expanding affine continuous mapping and GVI*

_{ K }(

*A*,

*g*,

*T*) ≠ ∅

*, then the following conclusions are true*.

- (a)
*For each α*∈ (0, 1)*, the problem*(3.1)*has the unique solution u*_{ α }*:* - (b)
- (c)

*when* 0 < *α* < *β* < 1.

*Proof*. First, in view of the definition 2.2, we will always assume that . Now, related to mappings

*A*,

*T*, and

*g*, we define functions by

for all (*u*, *v*) ∈ *g*^{-1}(*K*) × *g*^{-1}(*K*). Note that, *F*_{
A
} , *F*_{
T
} are equilibrium monotone bifunctions, and *g*^{-1}(*K*) is a closed convex subset of *H*.

*u*,

*v*) ∈

*g*

^{-1}(

*K*) ×

*g*

^{-1}(

*K*).

- (a)

*F*

_{ α }(

*u*,

*v*) is a monotone hemicontinuous in the variable

*u*for each fixed

*v*∈

*g*

^{-1}(

*K*). Indeed, it is strongly monotone with constant

*αξ*> 0, where

*g*is an

*ξ*-expansive. Thus, by Lemma 2.8(ii), the problem (3.4) has a unique solution

*u*

_{ α }∈

*g*

^{-1}(

*K*) for each

*α*> 0. This prove (

*a*).

- (b)

that is, ||*g*(*u*_{
α
} )|| ≤ ||*g*(*y*)|| for all *y* ∈ *GVI*_{
K
} (*A*, *g*, *T*). Thus, {*g*(*u*_{
α
} )} is a bounded subset of *K*. Consequently, the set of weak limit points as *α* → 0 of the net (*g*(*u*_{
α
} )) denoted by *ω*_{
w
} (*g*(*u*_{
α
} )) is nonempty. Pick *z* ∈ *ω*_{
w
} (*g*(*u*_{
α
} )) and a null sequence {*α*_{
k
} } in the interval (0, 1) such that
weakly converges to *z* as *k* → ∞. Since *K* is closed and convex, we know that *K* is weakly closed, and it follows that *z* ∈ *K*. Now, since *K* ⊂ *g*(*H*), we let *u** ∈ *H* be such that *z* = *g*(*u**) and claim that *u** ∈ *GVI*_{
K
} (*A*, *g*, *T*).

*g*(

*u**) ∈

*S*(

*T*). To do so, let us pick a fixed

*y*∈

*GVI*

_{ K }(

*A*,

*g*,

*T*). By (3.3) and the monotonicity of

*F*

_{ A }, we have

*k*∈ ℕ. Using the above together with the assumption that

*T*is an

*λ*-inverse strongly monotone mapping, we have

On the other hand, we know that the mapping *I* - *T* is a strictly pseudocontractive, thus by lemma 2.3, we have *T* demiclosed at zero. Consequently, since
weakly converges to *g*(*u**), we obtain *T*(*g*(*u**)) = *T*(*g*(*y*)) = 0. This proves *g*(*u**) ∈ *S*(*T*), as required.

*u** ∈

*GVI*

_{ K }(

*A*,

*g*,

*T*). Notice that, from the monotonic property of

*F*

_{ α }and (3.4), we have

for all *v* ∈ *g*^{-1}(*K*). Since *α*_{
k
} ↓ 0 as *k* → ∞, we see that (3.6) implies *F*_{
A
} (*v*, *u**) ≤ 0 for any *v* ∈ *H*, *g*(*v*) ∈ *K*. Consequently, in view of Lemma 2.8(1), we obtain our claim immediately.

*g*(

*u**) strongly. In fact, by using a lower semi-continuous of norm and (3.5), we see that

*u** ∈

*GVI*

_{ K }(

*A*,

*g*,

*T*). That is, as

*k*→ ∞. Now, it is straight-forward from Lemma 2.9, that the weak convergence to

*g*(

*u**) of implies strong convergence to

*g*(

*u**) of . Further, in view of (3.5), we see that

*α*

_{ j }} be any null sequence in the interval (0, 1). By following the lines of proof as above, and passing to a subsequence if necessary, we know that there is such that as

*j*→ ∞. Moreover, in view of (3.5) and (3.7), we have . Consequently, since the function ||

*g*(·)|| is a lower semi-continuous function and

*GVI*

_{ K }(

*A*,

*g*,

*T*) is a closed convex set, we see that (3.7) gives . This has shown that

*g*(

*u**) is the strong limit of the net (

*g*(

*u*

_{ α })) as

*α*↓ 0.

- (c)

*θ*= sup{||

*g*(

*u*

_{ α })||:

*α*∈ (0, 1)}. Moreover, since

*F*

_{ T }is a Lipschit continuous mapping (with Lipschitz constant ), it follows that

*M*

_{1}> 0. Further, by applying the Lagranges mean-value theorem to a continuous function

*h*(

*t*) =

*t*

^{-μ}on [1, +∞), we know that

for some *M* > 0. This completes the proof. □

**Remark 3.2**. If *g* =: *I*, the identity operator on *H*, then we see that Theorem 3.1 reduces to a result presented by Kim and Buong [9].

## 4. Iterative Method

The well definedness of (4.1) is guaranteed by the following result.

**Proposition 4.1**.

*Assume that all hypothesis of the Theorem 3.1 are satisfied. Let z*∈

*g*

^{-1}(

*K*)

*be a fixed element. Define a bifunction F*

_{ z }:

*g*

^{-1}(

*K*) ×

*g*

^{-1}(

*K*) → ℝ

*by*

*where c*, *α are positive real numbers. Then, there exists the unique element u** ∈ *g*^{-1}(*K*) *such that F*_{
z
} (*u**, *v*) ≥ 0 *for all v* ∈ *g*^{-1}(*K*).

This means *F* is *ξ*(1 + *cα*)-strongly monotone. Consequently, by Lemma 2.8, the proof is completed. □

The result of the next theorem shows some sufficient conditions for the convergent of regularization inertial proximal point algorithm (4.1).

**Theorem 4.2**. *Assume that all the hypotheses of the Theorem 3.1 are satisfied. If the parameters c*_{
n
} *and α*_{
n
} *are chosen as positive real numbers such that*

*then the sequence* {*g*(*z*_{
n
} )} *defined by (4.1) converges strongly to the element g*(*u**) *as n* → +∞*, where u** ∈ *GVI*_{
K
} (*A*, *g*, *T*).

Consequently, by the condition (C3), we have
. Meanwhile, the conditions (C2) and (C3) imply that
. Thus, all the conditions of Lemma 2.10 are satisfied, then it follows that ||*g*(*z*_{n+1}) - *g*(*u*_{n+1})|| → 0 as *n* → ∞. Moreover, by (C1) and Theorem 3.1, we know that there exists *u** ∈ *GVI*_{
K
} (*A*, *g*, *T*) such that *g*(*u*_{
n
} ) converges strongly to *g*(*u**). Consequently, we obtain that *g*(*z*_{
n
} ) converges strongly to *g*(*u**) as *n* → +∞. This completes the proof. □

satisfy all the conditions in Theorem 4.2.

**Remark 4.4**. It is worth noting that, because of condition (C2) of Theorem 4.2, the important natural choice {1/*n*} does not include in the class of parameters {*α*_{
n
} }. This leads to a question: Can we find another regularization inertial proximal point algorithm for the problem (1.2) that includes a natural parameter choice {1/*n*}?

**Remark 4.5**. If *F* is a nonexpansive mapping, then *I* - *F* is an inverse strongly monotone mapping, and the fixed points set of mapping *F* and the solution set *S*(*I* - *F*) are equal. This means that our results contain the study of finding a common element of (general) variational inequalities problems and fixed points set of nonexpansive mapping, which were studied in [4–8] as special cases.

## Declarations

### Acknowledgements

YJC was supported by the Korea Research Foundation Grant funded by the Korean Government (KRF-2008-313-C00050). NP was supported by Faculty of Science, Naresuan University (Project No. R2553C222), and the Commission on Higher Education and the Thailand Research Fund (Project No. MRG5380247).

## Authors’ Affiliations

## References

- Noor MA:
**General variational inequalities.***Appl Math Lett*1988,**1:**119–121. 10.1016/0893-9659(88)90054-7MATHMathSciNetView ArticleGoogle Scholar - Noor MA:
**Some developments in general variational inequalities.***Appl Math Comput*2004,**152:**199–277. 10.1016/S0096-3003(03)00558-7MATHMathSciNetView ArticleGoogle Scholar - Petrot N:
**Existence and algorithm of solutions for general set-valued Noor variational inequalities with relaxed (**μ**,**ν**)-cocoercive operators in Hilbert spaces.***J Appl Math Comput*2010,**32:**393–404. 10.1007/s12190-009-0258-1MATHMathSciNetView ArticleGoogle Scholar - Iiduka H, Takahashi W:
**Strong convergence theorems for nonexpansive mappings and inverse-strongly monotone mappings.***Nonlinear Anal*2005,**61:**341–350. 10.1016/j.na.2003.07.023MATHMathSciNetView ArticleGoogle Scholar - Noor MA:
**General variational inequalities and nonexpansive mappings.***J Math Anal Appl*2007,**331:**810–822. 10.1016/j.jmaa.2006.09.039MATHMathSciNetView ArticleGoogle Scholar - Noor MA, Huang Z:
**Wiener-Hopf equation technique for variational inequalities and nonexpansive mappings.***Appl Math Comput*2007,**191:**504–510. 10.1016/j.amc.2007.02.117MATHMathSciNetView ArticleGoogle Scholar - Qin X, Noor MA:
**General WienerHopf equation technique for nonexpansive mappings and general variational inequalities in Hilbert spaces.***Appl Math Comput*2008,**201:**716–722. 10.1016/j.amc.2008.01.007MATHMathSciNetView ArticleGoogle Scholar - Takahashi W, Toyoda M:
**Weak convergence theorems for nonexpansive mappings and monotone mappings.***J Optim Theory Appl*2003,**118**(2):417–428. 10.1023/A:1025407607560MATHMathSciNetView ArticleGoogle Scholar - Kim JK, Buong N:
**Regularization inertial proximal point algorithm for monotone hemicontinuous mapping and inverse strongly monotone mappings in Hilbert spaces.***J Inequal Appl*2010, 10. Article ID 451916Google Scholar - Osilike MO, Udomene A:
**Demiclosedness principle and convergence theorems for strictly pseudo-contractive mappings of Browder-Petryshyn type.***J Math Anal Appl*2001,**256**(2):431–445. 10.1006/jmaa.2000.7257MATHMathSciNetView ArticleGoogle Scholar - Blum E, Oettli W:
**From optimization and variational inequalities to equilibrium problems.***Math Stud*1994,**63:**123–145.MATHMathSciNetGoogle Scholar - Xu HK:
**Iterative algorithms for nonlinear operators.***J Lond Math Soc*2002,**66**(1):240–256. 10.1112/S0024610702003332MATHView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.