- Research Article
- Open Access
Regularization Inertial Proximal Point Algorithm for Monotone Hemicontinuous Mapping and Inverse Strongly Monotone Mappings in Hilbert Spaces
Journal of Inequalities and Applications volume 2010, Article number: 451916 (2010)
The purpose of this paper is to present a regularization variant of the inertial proximal point algorithm for finding a common element of the set of solutions for a variational inequality problem involving a hemicontinuous monotone mapping and for a finite family of -inverse strongly monotone mappings from a closed convex subset of a Hilbert space into .
Let be a real Hilbert space with inner product and norm . Let be a closed convex subset of . Denote the metric projection of onto by , that is
A set is called monotone on if has the following property:
A monotone mapping in is said to be maximal monotone if it is not properly contained in any other monotone mapping on . Equivalently, a monotone mapping is maximal monotone if for all , where denotes the range of .
A mapping is called hemicontinuous at a point in if
A mapping of into is called -inverse strongly monotone if there exists a positive number such that
for all .
A mapping of into is called Lipschitz continuous on if there exists a positive number , named Lipschitz constant, such that
for all .
It is easy to see that any -inverse strongly monotone mapping is monotone and Lipschitz continuous with Lipschitz constant . When , is said to be nonexpansive mapping. Note that a nonexpansive mapping in Hilbert space is -inverse strongly monotone .
A mapping is said to be strictly pseudocontractive, if there exists a constant such that
Clearly, when , is nonexpansive. Therefore, the class of -strictly pseudocontractive mappings includes the class of nonexpansive mappings.
A mapping from into is said to be demiclosed at a point if whenever is a sequence in such that and , then where the symbols and denote the strong and weak convergences of any sequence, respectively.
The variational inequality problem is to find such that
for all . The set of solutions of the variational inequality problem (1.7) is denoted by .
Let be a finite family of -inverse strongly monotone mappings from into with the set of solutions denoted by And set
The problem which will be studied in this paper is to find an element
with assumption .
A following example shows the fact that Consider the following case:
, where denote the metric projections of onto , and the matrix has the elements , , and . Then, is -inverse strongly monotone. Clearly, if and only if . It means that . Consequently, . It is easy to see that is monotone, and for , if and only if . Therefore, .
Since for a nonexpansive mapping , the mapping is -inverse strongly monotone, the problem of finding an element of , where denotes the set of fixed points of the nonexpansive mapping , is equivalent to that of finding an element of , where denotes the set of solutions of the mapping , and contained in the class of problem (1.9).
The case, when is -inverse strongly monotone and , where is nonexpansive, is studied in .
Theorem 1.7 (see ).
Let be a nonempty closed convex subset of a Hilbert space . Let be a -inverse strongly monotone mapping of into for , and let be a nonexpansive mapping of into itself such that . Let be a sequence generated by
where for some and for some . Then converges weakly to , where
For finding an element of the set , one can use the extragradient method proposed in  for the case of finite-dimensional spaces. In the infinite-dimensional Hilbert spaces, the weak convergence result of the extragradient method was proved  and it was improved to the strong convergence in .
On the other hand, when , (1.7) is equivalent to the operator equation
where and are two sequences of positive numbers.
Note that the inertial proximal algorithm was proposed by Alvarez  in the context of convex minimization. Afterwards, Alvarez and Attouch  considered its extension to maximal monotone operators. Recently, Moudafi  applied this algorithm for variational inequalities; Moudafi and Elisabeth  studied the algorithm by using enlargement of a maximal monotone operator; Moudafi and Oliny  considered convergence of a splitting inertial proximal method. The main results in these papers are the weak convergence of the algorithm in Hilbert spaces.
In this paper, by introducing a regularization process we shall show that by adding the regularization term to the inertial proximal point algorithm, called regularization inertial proximal point algorithm, we obtain the strong convergence of the algorithm, and the strong convergence is proved for the general case are -inverse strongly monotone nonself mappings of into ; may not be is monotone and hemicontinuous at each point .
2. Main Results
Let be an equilibrium bifunction from to , that is for every In addition, assume that is convex and lower semicontinuous in the variable for each fixed .
The equilibrium problem for is to find such that
The equilibrium bifunction is said to be
(i)monotone, if for all , we have
(ii)strongly monotone with constant , if, for all , we have
(iii)hemicontinuous in the variable for each fixed , if
We can get the following proposition from the above definitions.
If is hemicontinuous in the first variable for each fixed and is monotone, then , where is the solution set of (2.1), is the solution set of for all , and they are closed and convex.
If is hemicontinuous in the first variable for each and is strongly monotone, then is a nonempty singleton.
Lemma 2.2 (see ).
Let be the sequences of positive numbers satisfying the conditions:
Lemma 2.3 (see ).
Let be a nonempty closed convex subset of a Hilbert space and a strictly pseudocontractive mapping. Then is demiclosed at zero.
We construct a regularization solution for (1.9) by solving the following variational inequality problem: find such that
where , is the regularization parameter.
We have the following result.
Let be a nonempty closed convex subset of . Let be a -inverse strongly monotone mapping of into , and let be a monotone hemicontinuous mapping of into such that . Then, we have
(i)For each , the problem (2.5) has a unique solution ;
(ii)If then and for all
where is a positive constant.
Then, problem (2.5) has the following form: find such that
It is not difficult to verify that are the monotone bifunctions, and for each fixed , they are hemicontinuous in the variable . Therefore, also is monotone hemicontinuous in the variable for each fixed . Moreover, it is strongly monotone with constant . Hence, (2.8) (consequently (2.5)) has a unique solution for each .
Now we prove that
Since and , and
By adding the last inequality to (2.8) in which is replaced by and using the properties of , we obtain
that implies (2.10). It means that is bounded. Let , as . Since is closed and convex, is weakly closed. Hence . We prove that . From the monotone property of and (2.8), it follows
Letting , we obtain for any By virtue of Proposition 2.1, we have
Now we show that for all From (2.8), for any , and the monotone property of , it implies that
On the base of -inverse strongly monotone property of , the monotone property of , , , for all , . From the last inequality, we have
Tending in the last inequality, we obtain
Since is -inverse strongly monotone, the mapping satisfies (1.6), where Because , we have . When , this inequality will not be changed if is replaced by . Thus, is strictly pseudocontractive. Applying Lemma 2.2, we can conclude that It means that It is well known that the sets are closed and convex. Therefore, is also closed and convex. Then, from (2.10) it implies that is the unique element in having a minimal norm. Consequently, we have
(iii) From (2.8) and the properties of , for each , it follows
For each is bounded since the operator is Lipschitzian with Lipschitz constants . Using (2.10), the boundedness of and the Lagrange's mean-value theorem for the function , , , on if or if , we have conclusion (iii). This completes the proof.
Obviously, if , where is the solution of (2.8) with , as , then
Now, we consider the regularization inertial proximal point algorithm
is a bifunction. Moreover, it is strongly monotone with By Proposition 2.1, there exists a unique element satisfying (2.20).
Let be a nonempty closed convex subset of a Hilbert space . Let be a -inverse strongly monotone mapping of into , and let be a monotone hemicontinuous mapping of into such that . Assume that the parameters , and are chosen such that
Then the sequence defined by (2.20) converges strongly to the element as .
From (2.20) it follows
By the similar argument, from (2.5) it implies
where is the solution of (2.5) when is replaced by . By setting in (2.23) and in (2.24) and adding one obtained result to the other, we have,
Therefore, from the monotone property of the mappings , , it follows
From (2.23), (2.5) with and , we have
Since the seris in (iii) is convergent, Consequently, From Lemma 2.2, it follows that as .
On the other hand, as . Therefore, we have as This completes the proof.
The sequences and which are defined by
with satisfy all conditions in Theorem 2.6.
Nadezhkina N, Takahashi W: Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings. Journal of Optimization Theory and Applications 2006, 128(1):191–201. 10.1007/s10957-005-7564-z
Takahashi W, Toyoda M: Weak convergence theorems for nonexpansive mappings and monotone mappings. Journal of Optimization Theory and Applications 2003, 118(2):417–428. 10.1023/A:1025407607560
Korpelevič GM: An extragradient method for finding saddle points and for other problems. Èkonomika i Matematicheskie Metody 1976, 12(4):747–756.
Zeng L-C, Yao J-C: Strong convergence theorem by an extragradient method for fixed point problems and variational inequality problems. Taiwanese Journal of Mathematics 2006, 10(5):1293–1303.
Barbu V: Nonlinear Semigroups and Differential Equations in Banach Spaces. Editura Academiei Republicii Socialiste România, Bucharest, Romania; 1976:352.
Brezis H: Opératuer maximaux monotones. In Mathematics Studies. Volume 5. North-Holland, Amsterdam, The Netherlands; 1973.
Alvarez F: On the minimizing property of a second order dissipative system in Hilbert spaces. SIAM Journal on Control and Optimization 2000, 38(4):1102–1119. 10.1137/S0363012998335802
Alvarez F, Attouch H: An inertial proximal method for maximal monotone operators via discretization of a nonlinear oscillator with damping. Set-Valued Analysis 2001, 9(1–2):3–11.
Moudafi A: A hybrid inertial projection-proximal method for variational inequalities. Journal of Inequalities in Pure and Applied Mathematics 2004., 5(3, article 63):
Moudafi A, Elisabeth E: An approximate inertial proximal method using the enlargement of a maximal monotone operator. International Journal of Pure and Applied Mathematics 2003, 5(3):283–299.
Moudafi A, Oliny M: Convergence of a splitting inertial proximal method for monotone operators. Journal of Computational and Applied Mathematics 2003, 155(2):447–454.
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Mathematics Students 1994, 63: 123–145.
Oettli W: A remark on vector-valued equilibria and generalized monotonicity. Acta Mathematica Vietnamica 1997, 22(1):213–221.
Vasin VV, Ageev AL: Incorrect Problems with Priori Information. Nauka, Ekaterinburg, Russia; 1993:263.
Osilike MO, Udomene A: Demiclosedness principle and convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type. Journal of Mathematical Analysis and Applications 2001, 256(2):431–445. 10.1006/jmaa.2000.7257
This work was supported by the Kyungnam University Research Fund 2009.
About this article
Cite this article
Kim, J., Buong, N. Regularization Inertial Proximal Point Algorithm for Monotone Hemicontinuous Mapping and Inverse Strongly Monotone Mappings in Hilbert Spaces. J Inequal Appl 2010, 451916 (2010) doi:10.1155/2010/451916
- Hilbert Space
- Variational Inequality
- Weak Convergence
- Monotone Mapping
- Nonexpansive Mapping