- Open Access
Regularization method for Noor’s variational inequality problem induced by a hemicontinuous monotone operator
Fixed Point Theory and Applications volume 2012, Article number: 169 (2012)
In this paper, we provide a regularization method for finding a solution of Noor’s variational inequality problem induced by a hemicontinuous monotone operator. Moreover, such a solution is related to the set of zero of inverse strongly monotone mappings. Consequently, since we do not assume the strong monotonicity of the considered operator, our results are general and extend some well-known results in the literature.
1 Introduction and preliminaries
It is well known that the variational inequalities theory, which was introduced by Hartman and Stampacchia  in early 1960s, provides the most natural, direct, simple, unified and efficient framework for a general treatment of a wide class of linear and nonlinear problems. Of course, it has been extended and generalized in several directions.
Let H be a real Hilbert space with inner product and norm . An important and useful generalization of variational inequality problem is called the general variational inequality introduced by Noor  in 1988, which is a problem of finding with such that
for all with , where K is a nonempty closed convex subset of H and are mappings.
It is known that a class of nonsymmetric and odd-order obstacle, unilateral and moving boundary value problems arising in pure and applied sciences can be studied in the unified framework of general variational inequality (1.1), see [3–12] and the references therein. However, it is worth knowing that to guarantee the existence and uniqueness of a solution of the problem (1.1), one has to impose some conditions on the operator A and g (see  for an example in a more general case). Indeed, it has been shown that if A fails to be Lipschitz continuous or strongly monotone, then the solution set of the problem (1.1), which will be denoted by , may be empty.
On the other hand, for a nonempty subset K of H, recall that a mapping is said to be nonexpansive if
for all . For a mapping , an element is called a fixed point of T if . Here, we will denote the set of all fixed points of the mapping T by . It is well known that the problem of finding the fixed point sets for the class of nonexpansive mappings is the subject of current interest in nonlinear functional analysis. A large number of mathematicians are interested in this field, one may see some important results in [14–17]. Moreover, it is well known that there are some relations between the fixed point problems and many types of variational inequality problems. Hence, of course, it is natural to consider a unified approach to these two different problems (see [13, 18–21] for examples).
A mapping is said to be λ-inverse strongly monotone if there exists such that
for all .
For a mapping , we put . Further, if , then x is called a zero of A.
Remark 1.1 It is easy to see that any 1-inverse strongly monotone mapping is a nonexpansive mapping. Moreover, if T is a nonexpansive mapping, then it is well known that is -inverse strongly monotone mapping (see [22, 23]). Also, let us notice that the problem of finding an element of is equivalent to the problem of finding an element of . These mean that the problem of finding zeros of the inverse strongly monotone mappings contains the problem of finding fixed points of nonexpansive mappings as a special case.
Let be a mapping and be -inverse strongly monotone mapping for each . In this paper, we present a method for finding a solution of the problem (1.1), which is related to the solution sets of those inverse strongly monotone mappings as follows: find with such that
for all with , where . Further, denotes a set of solutions of the problem (1.2).
If (: the zero operator) for all , then the problem (1.2) reduces to (1.1).
If (: the identity operator), then the problem (1.2) is reduced to the problem of finding the common element of the solution of classical variational inequality problem and the set S, which has been studied by many authors (see [23–25] for examples).
We need the following concepts in order to prove our results.
Throughout this paper, we let and stand for the set of real numbers and the set of natural numbers, respectively. Let be a bifunction with for all .
Definition 1.3 A bifunction is said to be:
monotone if, for all ,
strongly monotone with constant τ if, for all ,
hemicontinuous in the first variable u if, for any fixed ,
for all .
Recall that the equilibrium problem for a bifunction is to find such that
for all .
Considering the problem (1.3), the following are very useful.
Lemma 1.4 
Let be a bifunction. If is convex and lower semicontinuous in the variable v for any fixed , then we have the following:
If is hemicontinuous in the first variable and has the monotonic property, then , where is the solution set of (1.3), is the solution set of for all . Moreover, in this case, they are closed and convex;
If is hemicontinuous in the first variable for each and F is strongly monotone, then is a nonempty singleton. In addition, if F is a strongly monotone mapping, then is a singleton set.
In order to prove our results, we also need the following concepts and facts.
Definition 1.5 A mapping is said to be hemicontinuous at a point if
for all .
Definition 1.6 Let H be a real Hilbert space and K be a subset of H. A mapping is said to be k-strictly pseudocontrative if there exists a constant such that
for all , where I is the identity operator on K.
Remark 1.7 It is well known that if is a k-strictly pseudocontrative mapping, then the mapping is a -inverse strongly monotone. Conversely, if is a λ-inverse strongly monotone with , then is -strictly pseudocontractive mapping (see ).
Lemma 1.8 
Let K be a nonempty closed convex subset of a Hilbert space H and be a k-strictly pseudocontractive mapping. Then is demiclosed at zero, that is, whenever is a sequence in K such that converges weakly to and converges strongly to 0, we have .
From now on, the symbols ‘⇀’ and ‘→’ stand for ‘weak convergence’ and ‘strong convergence’, respectively.
Lemma 1.9 Let H be a real Hilbert space and be a sequence of H. If and , then .
Lemma 1.10 
Let , , be the sequences of positive numbers satisfying the conditions:
, where ;
Then as .
Through this paper, we will denote by and the set of all real numbers and the set of natural numbers, respectively. Let H be a real Hilbert space and K be a closed convex subset of H. Let and be mappings, where . For each , we now construct a regularization solution for the problem (1.2). In fact, we have to solve the following general variational inequality problem: find with such that
for all with , where is a fixed real number.
Theorem 2.1 Let K be a closed convex subset of a real Hilbert space H and be a mapping such that . Let be a hemicontinuous and g-monotone mapping. Let be a -inverse strongly monotone mapping of K into H for each . If g is an expanding affine continuous mapping and , then the following conclusions are true:
For each , the problem (2.1) has the unique solution ;
for some ;
There exists a positive constant M such that(2.2)
for all .
Proof Put . Firstly, due to the definition of an inverse strongly monotone mapping, we may always assume that for each . Now, for each , we define functions by
for all . Note that since g is an affine continuous mapping, we have is a closed convex subset of H. Moreover, it is easy to see that and are monotone bifunctions on for each .
Now, let be a given real number. We construct a function by
for all .
Observe that the problem (2.1) is equivalent to the problem of finding such that(2.4)
for all . Moreover, one can easily check that is a monotone hemicontinuous in the variable u for each fixed . Indeed, if g is an ξ-expanding mapping, then we have is a strongly monotone mapping with constant . Thus, by Lemma 1.4(2), the problem (2.4) has the unique solution for each . This proves (1).
Observe that for each , we have and for each . This implies that(2.5)
Consequently, by using the monotonicity of and , we see that (2.3), (2.4) and (2.5) imply
Hence, we have
for all . This implies
for all . Thus, is a bounded subset of K. Consequently, the set of weak limit points as of the net , denoted by , is nonempty. This allows us to pick and a null sequence in the interval such that weakly converges to z as . Notice that since K is closed and convex, we know that K is weakly closed, and so . Consequently, since , we let be such that .
Now, we claim that . To prove this claim, we divide the proof into two steps:
Step 1: We show that . Observe that for each and . Thus, by (2.3) and the monotonicity of , we see that
for any and . Let be given. Pick . Since is a -inverse strongly monotone mapping for each , in view of (2.7), we have
for each . Letting in (2.9), we obtain
On the other hand, we know that the mapping is strictly pseudocontractive for each , and hence by Lemma 1.8, we have is demiclosed at zero. It follows that . This means . Consequently, since is arbitrary chosen, we conclude that . This proves Step 1.
Step 2: We show that . From the monotonic property of and (2.4), we have
for all . This gives
for all . Since the operator is a Lipschitzian mapping for each , it follows that is a bounded mapping for each . Thus, letting , since and as , it follows from (2.11) that for any , . Consequently, in view of Lemma 1.4(1), Step 2 is proved.
Hence, from Steps 1 and 2, we conclude that as required.
Next, we observe that the sequence actually converges strongly to . In fact, by using the lower semi-continuity of the norm, we know that
Subsequently, since , we see that (2.7) and (2.12) imply as . Then it is straightforward from Lemma 1.9 that the weak convergence to of implies the strong convergence to of . Moreover, in view of (2.7), we see that
Now, we show that
To do so, let , where , be any null sequence in the interval . By following the lines of proof as above (passing to a subsequence if necessary), we know that there exists such that as . Moreover, from (2.7) and (2.13), we have . Consequently, since the function is a lower semi-continuous function and is a closed convex subset of H, it follows from (2.13) that . This implies that is the strong limit of the net as .
Let and , be the solutions of the problem (2.1) associated with α and β, respectively. Without loss of generality, we assume that . For each , we know that and are monotone mappings. Then by applying (2.4), we have
since . Using this one together with (2.14), we have
where . Consequently, by using the boundedness of , we have
for some .
Finally, by applying Lagrange’s mean-value theorem to a function which is defined on by , we see that
where . This completes the proof. □
Remark 2.2 As a special case of Theorem 2.1, if g is the identity operator on H, then we recover a recent result presented by Kim and Buong .
3 Main results
In this section, we provide a regularization inertial proximal point algorithm for finding a solution of the problem (1.2). In fact, starting with an element such that , we consider the following processes:
for all , , where and are sequences of positive real numbers.
The well-definedness of algorithm (3.1) is guaranteed by the following proposition:
Proposition 3.1 Assume that all hypotheses of Theorem 2.1 are satisfied. Let be a given element and c, α be positive real numbers. Define a bifunction by
for all . Then there exists a unique element such that for all .
Proof Assume that g is an ξ-expanding mapping. Then, for any , we see that
This means is -strongly monotone. Consequently, by Lemma 1.4(2), the proof is completed. □
Now, we provide some sufficient conditions for the convergence of the regularization inertial proximal point algorithm (3.1).
Theorem 3.2 Assume that all hypotheses of Theorem 2.1 are satisfied. If the parameters and are positive real numbers such that
then the sequence defined by (3.1) converges strongly to an element for some .
Proof Let such that . From (3.1), for each , we see that
Thus we have
Hence we have
for any with and , where
By the similar argument, it follows from (2.1) that
when is the solution of (2.1) and α is replaced by . Thus we have
for any with and . By setting in (3.2), we have
and, by setting in (3.3), we have
Thus, by adding two inequalities above, we have
Notice that since A is a g-monotone mapping and each for each is a -inverse strongly monotone, we have
for each . Thus, from the above fact, we obtain
for each . Thus, using Theorem 2.1(3), we have
Consequently, by the condition (c), we have . Meanwhile, the conditions (b) and (c) imply . Thus, all the conditions of Lemma 1.10 are satisfied, and so as . Moreover, by the condition (a) and Theorem 2.1(2), we know that there exists such that converges strongly to . This implies that converges strongly to as . This completes the proof. □
Example 3.3 Let be a fixed real number. Let and for each . Then we can check that the sequences and satisfy all the conditions in Theorem 3.2.
Remark 3.4 Note that because of the condition (b) of Theorem 3.2, the choice is not included in the class of the parameters . This may lead to an important further research work, that is, finding other (regularization inertial proximal point) algorithms for the problem (1.2) including the natural parameter choice .
In this paper, we provide a regularization method for general monotone variational inequality, where the regularizer is a Lipschitz continuous and strongly monotone operator. Also, an iterative method as discretization of regularization method is introduced. We would like to point out, as we have mentioned in Remark 1.1 and Remark 1.2, that our results are general and extend some well-known results which have been investigated in literature; for more examples, see [29–34]. Further, let us notice that although many authors have proved results for finding the solution of the variational inequality problem and the solution set of a finite inverse strongly monotone mapping, it is clear that it cannot be directly applied to our main considered problem (1.2) due to the presence of g.
Hartman P, Stampacchia G: On some nonlinear elliptic differential functional equations. Acta Math. 1966, 115: 271–310. 10.1007/BF02392210
Noor MA: General variational inequalities. Appl. Math. Lett. 1988, 1: 119–121. 10.1016/0893-9659(88)90054-7
Agarwal RP, Cho YJ, Petrot N: Systems of general nonlinear set-valued mixed variational inequalities problems in Hilbert spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 31
Cho YJ, Argyros IK, Petrot N: Approximation methods for common solutions of generalized equilibrium, systems of nonlinear variational inequalities and fixed point problems. Comput. Math. Appl. 2010, 60: 2292–2301. 10.1016/j.camwa.2010.08.021
Cho YJ, Kang SM, Qin X: On systems of generalized nonlinear variational inequalities in Banach spaces. Appl. Math. Comput. 2008, 206: 214–220. 10.1016/j.amc.2008.09.005
Cho YJ, Kim JK, Verma RU: A class of nonlinear variational inequalities involving partially relaxed monotone mappings and general auxiliary principle. Dyn. Syst. Appl. 2002, 11: 333–338.
Cho YJ, Qin X: Systems of generalized nonlinear variational inequalities and its projection methods. Nonlinear Anal. 2008, 69: 4443–4451. 10.1016/j.na.2007.11.001
Cho YJ, Qin X: Generalized systems for relaxed cocoercive variational inequalities and projection methods in Hilbert spaces. Math. Inequal. Appl. 2009, 12: 365–375.
Noor MA: Some developments in general variational inequalities. Appl. Math. Comput. 2004, 152: 199–277. 10.1016/S0096-3003(03)00558-7
Yao Y, Cho YJ, Chen RD: An iterative algorithm for solving fixed point problems, variational inequality problems and mixed equilibrium problems. Nonlinear Anal. 2009, 71: 3363–3373. 10.1016/j.na.2009.01.236
Yao Y, Cho YJ, Liou Y: Hierarchical convergence of an implicit double-net algorithm for nonexpansive semigroups and variational inequality problems. Fixed Point Theory Appl. 2011., 2011: Article ID 101
Yao Y, Cho YJ, Liou Y: Iterative algorithms for variational inclusions, mixed equilibrium problems and fixed point problems approach to optimization problems. Cent. Eur. J. Math. 2011, 9: 640–656. 10.2478/s11533-011-0021-3
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-1
Halpern B: Fixed points of nonexpansive maps. Bull. Am. Math. Soc. 1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0
Lau AT, Miyake H, Takahashi W: Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces. Nonlinear Anal. 2007, 67: 1211–1225. 10.1016/j.na.2006.07.008
Moudafi A: Viscosity approximation methods for fixed-points problems. J. Math. Anal. Appl. 2000, 12: 46–55.
Suzuki T: Strong convergence of Kranoselskii and Mann type sequences for one-parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl. 2005, 305: 227–239. 10.1016/j.jmaa.2004.11.017
Chang SS, Lee HWJ, Chan CK: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal. 2009, 70: 3307–3319. 10.1016/j.na.2008.04.035
Inchan I, Petrot N: System of general variational inequalities involving different nonlinear operators related to fixed point problems and its applications. Fixed Point Theory Appl. 2011., 2011: Article ID 689478
Nadezhkina N, Takahashi W: Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 2006, 128: 191–201. 10.1007/s10957-005-7564-z
Petrot N: A resolvent operator technique for approximate solving of generalized system mixed variational inequality and fixed point problems. Appl. Math. Lett. 2010, 23: 440–445. 10.1016/j.aml.2009.12.001
Cho YJ, Petrot N: Regularization and iterative method for general variational inequality problem in Hilbert spaces. J. Inequal. Appl. 2011., 2011: Article ID 21
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.023
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., 2010: Article ID 451916
Takahashi W, Toyoda M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 2003, 118: 417–428. 10.1023/A:1025407607560
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.
Osilike MO, Udomene A: Demiclosedness principle and convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type. J. Math. Anal. Appl. 2001, 256: 431–445. 10.1006/jmaa.2000.7257
Xu HK: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 2002, 66: 240–256. 10.1112/S0024610702003332
Ceng L-C, Ansari QH, Yao JC: Mann-type steepest-descent and modified hybrid steepest-descent methods for variational inequalities in Banach spaces. Numer. Funct. Anal. Optim. 2008, 29(9–10):987–1033. 10.1080/01630560802418391
Chen R, Su Y, Xu HK: Regularization and iteration methods for a class of monotone variational inequalities. Taiwan. J. Math. 2009, 13(2B):739–752.
Lu X, Xu HK, Yin X: Hybrid methods for a class of monotone variational inequalities. Nonlinear Anal., Theory Methods Appl. 2009, 71(3–4):1032–1041. 10.1016/j.na.2008.11.067
Siddiqi AH, Ansari QH: General strongly nonlinear variational inequalities. J. Math. Anal. Appl. 1992, 166(2):386–392. 10.1016/0022-247X(92)90305-W
Siddiqi AH, Ansari QH, Kazmi KR: On nonlinear variational inequalities. Indian J. Pure Appl. Math. 1994, 25(9):969–973.
Yao JC: Variational inequalities with generalized monotone operators. Math. Oper. Res. 1994, 19(3):691–705. 10.1287/moor.19.3.691
The authors wish to express their gratitude to the referees for a careful reading of the manuscript and helpful suggestions. This work is supported by the Centre of Excellence in Mathematics, the commission on Higher Education, Thailand and by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (Grant Number: 2010-0021821)
The authors declare that they have no competing interests.
Both authors contributed equally in this paper. They read and approved the final manuscript.
About this article
Cite this article
Cho, Y.J., Petrot, N. Regularization method for Noor’s variational inequality problem induced by a hemicontinuous monotone operator. Fixed Point Theory Appl 2012, 169 (2012). https://doi.org/10.1186/1687-1812-2012-169
- general variational inequality problem
- hemicontinuous mapping
- monotone mapping
- inverse strongly monotone mapping