- Research Article
- Open Access

# A Hybrid Iterative Scheme for Variational Inequality Problems for Finite Families of Relatively Weak Quasi-Nonexpansive Mappings

- Uthai Kamraksa
^{1}and - Rabian Wangkeeree
^{1}Email author

**2010**:724851

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

© U. Kamraksa and R.Wangkeeree. 2010

**Received:**28 October 2009**Accepted:**29 January 2010**Published:**14 February 2010

## Abstract

We consider a hybrid projection algorithm basing on the shrinking projection method for two families of relatively weak quasi-nonexpansive mappings. We establish strong convergence theorems for approximating the common fixed point of the set of the common fixed points of such two families and the set of solutions of the variational inequality for an inverse-strongly monotone operator in the framework of Banach spaces. At the end of the paper, we apply our results to consider the problem of finding a solution of the complementarity problem. Our results improve and extend the corresponding results announced by recent results.

## Keywords

- Banach Space
- Variational Inequality
- Convex Subset
- Maximal Monotone
- Common Fixed Point

## 1. Introduction

Let be a Banach space and let be a nonempty, closed and convex subset of . Let be an operator. The classical variational inequality problem [1] for is to find such that

where denotes the dual space of and the generalized duality pairing between and . The set of all solutions of (1.1) is denoted by . Such a problem is connected with the convex minimization problem, the complementarity, the problem of finding a point satisfying , and so on. First, we recall that a mapping is said to be

Let be the normalized duality mapping from into given by

It is well known that if is uniformly convex, then is uniformly continuous on bounded subsets of . Some properties of the duality mapping are given in [2–4].

Recall that a mappings is said to be nonexpansive if

If is a nonempty closed convex subset of a Hilbert space and is the metric projection of onto , then is a nonexpansive mapping. This fact actually characterizes Hilbert spaces and, consequently, it is not available in more general Banach spaces. In this connection, Alber [5] recently introduced a generalized projection operator in a Banach space which is an analogue of the metric projection in Hilbert spaces.

Consider the functional defined by

for all , where is the normalized duality mapping from to . Observe that, in a Hilbert space , (1.5) reduces to = for all . The generalized projection is a mapping that assigns to an arbitrary point the minimum point of the functional , that is, = , where is the solution to the minimization problem:

The existence and uniqueness of the operator follows from the properties of the functional and strict monotonicity of the mapping (see, e.g., [3, 5–7]). In Hilbert spaces, = . It is obvious from the definition of the function that

(4)If is a reflexive, strictly convex and smooth Banach space, then, for all ,

For more detail see [2, 3]. Let
be a closed convex subset of
, and let
be a mapping from
into itself. We denote by
the set of fixed point of
. A point
in
is said to be an *asymptotic fixed point* of
[8] if
contains a sequence
which converges weakly to
such that
. The set of asymptotic fixed points of
will be denoted by
. A mapping
from
into itself is called relatively nonexpansive [7, 9, 10] if
=
and
for all
and
. The asymptotic behavior of relatively nonexpansive mappings were studied in [7, 9]. A point
in
is said to be a strong asymptotic fixed point of
if
contains a sequence
which converges strongly to
such that
. The set of strong asymptotic fixed points of
will be denoted by
. A mapping
from
into itself is called relatively weak nonexpansive if
and
for all
and
. If
is a smooth strictly convex and reflexive Banach space, and
is a continuous monotone mapping with
, then it is proved in [11] that
, for
is relatively weak nonexpansive.
is called relatively weak quasi-nonexpansive if
and
for all
and
.

Remark 1.1.

The class of relatively weak quasi-nonexpansive mappings is more general than the class of relatively weak nonexpansive mappings [7, 9, 12–14] which requires the strong restriction = .

Remark 1.2.

If is relatively weak quasi-nonexpansive, then using the definition of (i.e., the same argument as in the proof of [12, page 260]) one can show that is closed and convex. It is obvious that relatively nonexpansive mapping is relatively weak nonexpansive mapping. In fact, for any mapping we have . Therefore, if is a relatively nonexpansive mapping, then = = .

Iiduka and Takahashi [15] introduced the following algorithm for finding a solution of the variational inequality for an -inverse-strongly monotone mapping with for all and in a -uniformly convex and uniformly smooth Banach space . For an initial point , define a sequence by

where is the duality mapping on , and is the generalized projection of onto . Assume that for some with where is the 2-uniformly convexity constant of . They proved that if is weakly sequentially continuous, then the sequence converges weakly to some element in where = .

The problem of finding a common element of the set of the variational inequalities for monotone mappings in the framework of Hilbert spaces and Banach spaces has been intensively studied by many authors; see, for instance, [16–18] and the references cited therein.

On the other hand, in 2001, Xu and Ori [19] introduced the following implicit iterative process for a finite family of nonexpansive mappings , with a real sequence in , and an initial point :

which can be rewritten in the following compact form:

where (here the function takes values in . They obtained the following result in a real Hilbert space.

Theorem XO

Let be a real Hilbert space, a nonempty closed convex subset of , and let be a finite family of nonexpansive self-mappings on such that . Let be a sequence defined by (1.10). If is chosen so that , as , then converges weakly to a common fixed point of the family of .

On the other hand, Halpern [20] considered the following explicit iteration:

where is a nonexpansive mapping and is a fixed point. He proved the strong convergence of to a fixed point of provided that = , where .

Very recently, Qin et al. [21] proposed the following modification of the Halpern iteration for a single relatively quasi-nonexpansive mapping in a real Banach space. More precisely, they proved the following theorem.

Theorem 1 QCKZ.

Assume that satisfies the restriction: , then converges strongly to .

Motivated and inspired by the above results, Cai and Hu [22] introduced the hybrid projection algorithm to modify the iterative processes (1.10), (1.11), and (1.12) to have strong convergence for a finite family of relatively weak quasi-nonexpansive mappings in Banach spaces. More precisely, they obtained the following theorem.

Theorem CH

Assume that and are the sequences in satisfying and . Then converges strongly to , where is the generalized projection from onto .

Motivated and inspired by Iiduka and Takahashi [15], Xu and Ori [19], Qin et al.[21], and Cai and Hu [22], we introduce a new hybrid projection algorithm basing on the shrinking projection method for two finite families of closed relatively weak quasi-nonexpansive mappings to have strong convergence theorems for approximating the common element of the set of common fixed points of two finite families of such mappings and the set of solutions of the variational inequality for an inverse-strongly monotone operator in the framework of Banach spaces. Our results improve and extend the corresponding results announced by recent results.

## 2. Preliminaries

A Banach space is said to be strictly convex if for all with and . It is also said to be uniformly convex if for any two sequences in such that and = . Let be the unit sphere of . Then the Banach space is said to be smooth provided

exists for each . It is also said to be uniformly smooth if the limit is attained uniformly for . It is well know that if is smooth, then the duality mapping is single valued. It is also known that if is uniformly smooth, then is uniformly norm-to-norm continuous on each bounded subset of . Some properties of the duality mapping have been given in [3, 23–25]. A Banach space is said to have Kadec-Klee property if a sequence of satisfying that and , then . It is known that if is uniformly convex, then has the Kadec-Klee property; see [3, 23, 25] for more details.

We define the function which is called the modulus of convexity of as following

Then is said to be -uniformly convex if there exists a constant such that constant for all . Constant is called the -uniformly convexity constant of . A 2-uniformly convex Banach space is uniformly convex, see [26, 27] for more details. We know the following lemma of 2-uniformly convex Banach spaces.

where is the -uniformly convexity constant of .

Now we present some definitions and lemmas which will be applied in the proof of the main result in the next section.

Lemma 2.2 (Kamimura and Takahashi [30]).

Let be a uniformly convex and smooth Banach space and let , be two sequences of such that either or is bounded. If , then .

Lemma 2.3 (Alber [5]).

Let be a nonempty closed convex subset of a smooth Banach space and . Then, if and only if for any .

Lemma 2.4 (Alber [5]).

Let be a reflexive strictly convex, smooth and uniformly Banach space and the duality mapping from to . Then is also single-valued, one to one, surjective, and it is the duality mapping from to . We need the following mapping which studied in Alber [5]:

for all and . Obviously, . We know the following lemma.

Lemma 2.5 (Kamimura and Takahashi [30]).

Lemma 2.6 ([31, Lemma ]).

An operator of into is said to be hemicontinuous if for all , the mapping of into defined by is continuous with respect to the topology of . We denote by the normal cone for at a point , that is

Lemma 2.7 (see [32]).

## 3. Main Results

In this section, we prove strong convergence theorem which is our main result.

Theorem 3.1.

where , and is the normalized duality mapping on . Assume that , and are the sequences in satisfying the restrictions:

(C2) for some with , where is the 2-uniformly convexity constant of ;

(C3) and if one of the following conditions is satisfied

Then converges strongly to , where is the generalized projection from onto .

Proof.

Hence, is a Cauchy sequence. Therefore, there exists a point such that as

Taking the constant , we have, from Lemma 2.6, that there exists a continuous strictly increasing convex function satisfying the inequality (2.7) and .

Case 1.

for all . Since is uniformly continuous, we can show that . From the closeness of , we get . Therefore . Hence .

Case 2.

- (II)

Let be an operator defined by:

and hence by Lemma 2.3. This complete the proof.

Remark 3.2.

Theorem 3.1 improves and extends main results of Iiduka and Takahashi [15], Xu and Ori [19], Qin et al. [21], and Cai and Hu [22] because it can be applied to solving the problem of finding the common element of the set of common fixed points of two families of relatively weak quasi-nonexpansive mappings and the set of solutions of the variational inequality for an inverse-strongly monotone operator.

Strong convergence theorem for approximating a common fixed point of two finite families of closed relatively weak quasi-nonexpansive mappings in Banach spaces may not require that is 2-uniformly convex. In fact, we have the following theorem.

Corollary 3.3.

where , and is the normalized duality mapping on . Assume that , and are the sequences in satisfying the following restrictions:

(C2) and if one of the following conditions is satisfied

Then converges strongly to , where is the generalized projection from onto .

Proof.

Put in Theorem 3.1. Then, we get that . Thus, the method of the proof of Theorem 3.1 gives the required assertion without the requirement that is 2-uniformly convex.

Remark 3.4.

Corollary 3.3 improves Theorem 3.1 of Cai and Hu [22] from a finite family of of relatively weak quasi-nonexpansive mappings to two finite families of relatively weak quasi-nonexpansive mappings.

If , a Hilbert space, then is -uniformly convex (we can choose ) and uniformly smooth real Banach space and closed relatively weak quasi-nonexpansive map reduces to closed weak quasi-nonexpansive map. Furthermore, , identity operator on and , projection mapping from into . Thus, the following corollaries hold.

Corollary 3.5.

where , and is the normalized duality mapping on . Assume that , , , , and are the sequences in satisfying the restrictions:

(C2) for some with , where is the 2-uniformly convexity constant of ;

(C3) and if one of the following conditions is satisfied

Then converges strongly to , where is the metric projection from onto .

Let
be a nonempty closed convex cone in
, and let
be an operator from
into
. We define its *polar* in
to be the set

Then an element
in
is called a *solution of the complementarity problem* if

The set of all solutions of the complementarity problem is denoted by . Several problem arising in different fields, such as mathematical programming, game theory, mechanics, and geometry, are to find solutions of the complementarity problems.

Theorem 3.6.

where = = , and is the normalized duality mapping on . Assume that , and are the sequences in satisfying the restrictions:

(C2) for some with , where is the 2-uniformly convexity constant of ;

(C3) and if one of the following conditions is satisfied

Then converges strongly to , where is the generalized projection from onto .

Proof.

From [25, Lemma ], we have . From Theorem 3.1, we can obtain the desired conclusion easily.

## Declarations

### Acknowledgments

The first author is supported by grant from under the program Strategic Scholarships for Frontier Research Network for the Ph.D. Program Thai Doctoral degree from the Office of the Higher Education Commission, Thailand and the second author is supported by the Thailand Research Fund under Grant TRG5280011.

## Authors’ Affiliations

## References

- Kinderlehrer D, Stampacchia G:
*An Introduction to Variational Inequalities and Their Applications, Pure and Applied Mathematics*.*Volume 88*. Academic Press, New York, NY, USA; 1980:xiv+313.Google Scholar - Cioranescu I:
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Mathematics and Its Applications*.*Volume 62*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1990:xiv+260.View ArticleGoogle Scholar - Takahashi W:
*Convex Analysis and Approximation Fixed Points, Mathematical Analysis Series*.*Volume 2*. Yokohama Publishers, Yokohama, Japan; 2000:iv+280.Google Scholar - Vainberg MM:
*Variational Methods and Method of Monotone Operators*. John Wiley & Sons, New York, NY, USA; 1973.Google Scholar - Alber YaI: Metric and generalized projection operators in Banach spaces: properties and applications. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics*.*Volume 178*. Edited by: Kartsatos AG. Marcel Dekker, New York, NY, USA; 1996:15–50.Google Scholar - Alber YaI, Reich S: An iterative method for solving a class of nonlinear operator equations in Banach spaces.
*PanAmerican Mathematical Journal*1994, 4(2):39–54.MATHMathSciNetGoogle Scholar - Butnariu D, Reich S, Zaslavski AJ: Weak convergence of orbIts of nonlinear operators in reflexive Banach spaces.
*Numerical Functional Analysis and Optimization*2003, 24(5–6):489–508. 10.1081/NFA-120023869MATHMathSciNetView ArticleGoogle Scholar - Reich S: A weak convergence theorem for the alternating method with Bregman distances. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics*.*Volume 178*. Edited by: Kartsatos AG. Marcel Dekker, New York, NY, USA; 1996:313–318.Google Scholar - Butnariu D, Reich S, Zaslavski AJ: Asymptotic behavior of relatively nonexpansive operators in Banach spaces.
*Journal of Applied Analysis*2001, 7(2):151–174. 10.1515/JAA.2001.151MATHMathSciNetView ArticleGoogle Scholar - Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization.
*Optimization*1996, 37(4):323–339. 10.1080/02331939608844225MATHMathSciNetView ArticleGoogle Scholar - Kohsaka F, Takahashi W: Strong convergence of an iterative sequence for maximal monotone operators in a Banach space.
*Abstract and Applied Analysis*2004, 2004(3):239–249. 10.1155/S1085337504309036MATHMathSciNetView ArticleGoogle Scholar - Matsushita S, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach space.
*Journal of Approximation Theory*2005, 134(2):257–266. 10.1016/j.jat.2005.02.007MATHMathSciNetView ArticleGoogle Scholar - Plubtieng S, Ungchittrakool K: Strong convergence theorems for a common fixed point of two relatively nonexpansive mappings in a Banach space.
*Journal of Approximation Theory*2007, 149(2):103–115. 10.1016/j.jat.2007.04.014MATHMathSciNetView ArticleGoogle Scholar - Qin X, Su Y: Strong convergence theorems for relatively nonexpansive mappings in a Banach space.
*Nonlinear Analysis: Theory, Methods & Applications*2007, 67(6):1958–1965. 10.1016/j.na.2006.08.021MATHMathSciNetView ArticleGoogle Scholar - Iiduka H, Takahashi W: Weak convergence of a projection algorithm for variational inequalities in a Banach space.
*Journal of Mathematical Analysis and Applications*2008, 339(1):668–679. 10.1016/j.jmaa.2007.07.019MATHMathSciNetView ArticleGoogle Scholar - Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space.
*Journal of Mathematical Analysis and Applications*1967, 20: 197–228. 10.1016/0022-247X(67)90085-6MATHMathSciNetView ArticleGoogle Scholar - Iiduka H, Takahashi W, Toyoda M: Approximation of solutions of variational inequalities for monotone mappings.
*Panamerican Mathematical Journal*2004, 14(2):49–61.MATHMathSciNetGoogle Scholar - Liu F, Nashed MZ: Regularization of nonlinear ill-posed variational inequalities and convergence rates.
*Set-Valued Analysis*1998, 6(4):313–344. 10.1023/A:1008643727926MATHMathSciNetView ArticleGoogle Scholar - Xu H-K, Ori RG: An implicit iteration process for nonexpansive mappings.
*Numerical Functional Analysis and Optimization*2001, 22(5–6):767–773. 10.1081/NFA-100105317MATHMathSciNetView ArticleGoogle Scholar - Halpern B: Fixed points of nonexpanding maps.
*Bulletin of the American Mathematical Society*1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0MATHMathSciNetView ArticleGoogle Scholar - Qin X, Cho YJ, Kang SM, Zhou H: Convergence of a modified Halpern-type iteration algorithm for quasi--nonexpansive mappings.
*Applied Mathematics Letters*2009, 22(7):1051–1055. 10.1016/j.aml.2009.01.015MATHMathSciNetView ArticleGoogle Scholar - Cai G, Hu CS: On the strong convergence of the implicit iterative processes for a finite family of relatively weak quasi-nonexpansive mappings.
*Applied Mathematics Letters*2010, 23(1):73–78. 10.1016/j.aml.2009.08.006MATHMathSciNetView ArticleGoogle Scholar - Cioranescu I:
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Mathematics and Its Applications*.*Volume 62*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1990:xiv+260.View ArticleGoogle Scholar - Reich S: Geometry of Banach spaces, duality mappings and nonlinear problems.
*Bulletin of the American Mathematical Society*1992, 26(2):367–370. 10.1090/S0273-0979-1992-00287-2View ArticleGoogle Scholar - Takahashi W:
*Nonlinear Functional Analysis, Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama, Japan; 2000:iv+276.MATHGoogle Scholar - Ball K, Carlen EA, Lieb EH: Sharp uniform convexity and smoothness inequalities for trace norms.
*Inventiones Mathematicae*1994, 115(3):463–482.MATHMathSciNetView ArticleGoogle Scholar - Takahashi Y, Hashimoto K, Kato M: On sharp uniform convexity, smoothness, and strong type, cotype inequalities.
*Journal of Nonlinear and Convex Analysis*2002, 3(2):267–281.MATHMathSciNetGoogle Scholar - Beauzamy B:
*Introduction to Banach Spaces and Their Geometry, North-Holland Mathematics Studies*.*Volume 68*. 2nd edition. North-Holland, Amsterdam, The Netherlands; 1985:xv+338.Google Scholar - Bruck RE, Reich S: Nonexpansive projections and resolvents of accretive operators in Banach spaces.
*Houston Journal of Mathematics*1977, 3(4):459–470.MATHMathSciNetGoogle Scholar - Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space.
*SIAM Journal on Optimization*2002, 13(3):938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar - Cho YJ, Zhou H, Guo G: Weak and strong convergence theorems for three-step iterations with errors for asymptotically nonexpansive mappings.
*Computers & Mathematics with Applications*2004, 47(4–5):707–717. 10.1016/S0898-1221(04)90058-2MATHMathSciNetView ArticleGoogle Scholar - Rockafellar RT: On the maximality of sums of nonlinear monotone operators.
*Transactions of the American Mathematical Society*1970, 149: 75–88. 10.1090/S0002-9947-1970-0282272-5MATHMathSciNetView ArticleGoogle 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.