An. Şt. Univ. Ovidius Constanţa Vol. 19(1), 2011, 49–66 ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS Sun Young Cho and Shin Min Kang Abstract The purpose of this paper is to introduce a general iterative process for the problem of finding a common element in the set of common fixed points of an infinite family of nonexpansive mappings and in the set of solutions of variational inequalities for inverse-strongly monotone mappings. 1. Introduction and preliminaries Throughout this paper, we assume that H is a real Hilbert space, whose inner product and norm are denoted by h·, ·i and k · k, respectively. Let K be a nonempty, closed and convex subset of H and A : K → H be a nonlinear mapping. We denote by PK be the metric projection of H onto the closed convex subset K. The classical variational inequality problem is to find u ∈ K such that hAu, v − ui ≥ 0, ∀v ∈ K. (1.1) Key Words: Fixed point, inverse-strongly monotone mapping, nonexpansive mapping, variational inequality. Mathematics Subject Classification: 47H05, 47H09, 47J25 Received: January, 2010 Accepted: December, 2010 Corresponding author: Shin Min Kang 49 50 Sun Young Cho and Shin Min Kang In this paper, we use V I(K, A) to denote the solution set of the variational inequality (1.1). For a given z ∈ H, u ∈ K satisfies the inequality hu − z, v − ui ≥ 0, ∀v ∈ K, if and only if u = PK z. It is known that projection operator PK is nonexpansive. It is also known that PK satisfies hx − y, PK x − PK yi ≥ kPK x − PK yk2 , ∀x, y ∈ H. One can see that the variational inequality (1.1) is equivalent to a fixed point problem. The element u ∈ K is a solution of the variational inequality problem (1.1) if and only if u ∈ K satisfies the relation u = PK (I − λA)u, where λ > 0 is a constant. Recall that the following definitions. (1) A mapping A : K → H is said to be inverse-strongly monotone if there exists a positive real number µ such that hx − y, Ax − Ayi ≥ µkAx − Ayk2 , ∀x, y ∈ K. For such a case, A is called µ-inverse-strongly monotone. (2) A mapping S : K → K is said to be nonexpansive if kSx − Syk ≤ kx − yk, ∀x, y ∈ K. In this paper, we use F (S) to denote the fixed point set of S. (3) A mapping f : K → K is said to be a contraction if there exists a coefficient α (0 < α < 1) such that kf (x) − f (y)k ≤ αkx − yk, ∀x, y ∈ K. (4) A set-valued mapping T : H → 2H is said to be monotone if for all x, y ∈ H, f ∈ T x and g ∈ T y imply hx − y, f − gi ≥ 0. A monotone mapping T : H → 2H is maximal if the graph of G(T ) of T is not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping T is maximal if and only if for (x, f ) ∈ H × H, hx − y, f − gi ≥ 0 for every (y, g) ∈ G(T ) implies f ∈ T x. Let A be a monotone map of K into H and let NK v be the normal cone to K at v ∈ K, i.e., NK v = {w ∈ H : hv − u, wi ≥ 0, ∀u ∈ K} and define ( Av + NK v, v ∈ K, Tv = ∅, v∈ / K. Then T is maximal monotone and 0 ∈ T v if and only if v ∈ V I(K, A); see [24]. The classical variational inequality and fixed point problems have been studied based on iterative methods by many authors; see [3-14,18-23,27,30,31] ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 51 For finding a common element of the set of fixed points of a nonexpansive mapping S and the solution of the variational inequalities for a µ-inversestrongly monotone mapping, Takahashi and Toyoda [27] introduced the following iterative process x1 ∈ K, xn+1 = αn xn + (1 − αn )SPK (xn − λn Axn ), n ≥ 1, (1.2) where A is a µ-inverse-strongly monotone mapping, {αn } is a sequence in (0, 1), and {λn } is a sequence in (0, 2µ). They showed that, if F (S)∩V I(K, A) is nonempty, then the sequence {xn } generated in (1.2) converges weakly to some z ∈ F (S) ∩ V I(K, A). Recently, Iiduka and Takahashi [8] proposed another iterative scheme as following xn+1 = αn x + (1 − αn )SPK (xn − λn Axn ), n ≥ 1, (1.3) where x1 = x ∈ K, {αn } is a sequence in (0, 1), and {λn } is a sequence in (0, 2µ). They proved that the sequence {xn } converges strongly to z ∈ F (S) ∩ V I(K, A). Very recently, Chen et al. [3] studied the following iterative process x1 ∈ K, xn+1 = αn f (xn ) + (1 − αn )SPK (xn − λn Axn ), n ≥ 1, (1.4) where A is an inverse-strongly monotone mapping and also obtained a strong convergence theorem by so-called viscosity approximation method which first introduced by Moudafi [13] in the framework of Hilbert spaces. On the other hand, for solving the variational inequality problem in the finite-dimensional Euclidean space Rn , Korpelevich [10] introduced the following so-called extra-gradient method x0 = x ∈ K, (1.5) yn = PK (xn − λAxn ), xn+1 = PK (xn − λAyn ), n ≥ 0, where λ ∈ 0, k1 . Recently, Nadezhkina and Takahashi [14], Yao and Yao [30] and Zeng and Yao [31] proposed some new iterative schemes for finding common elements in F (S) ∩ V I(K, A) by combining (1.3) and (1.5). In particular, Yao and Yao [30] introduced the following iterative algorithm x1 ∈ K, (1.6) yn = PK (I − λn A)xn , xn+1 = αn u + βn xn + γn SPK (yn − λn Ayn ), n ≥ 1, 52 Sun Young Cho and Shin Min Kang where S is a nonexpansive mapping and A is a inverse-strongly monotone mapping. They proved that the sequence {xn } generated by (1.6) converges strongly to some point in F (S) ∩ V I(K, A). Concerning a family of nonexpansive mappings has been considered by many authors; see [2,7,11,12,15,16,18,20,25,29] and the references therein. In this paper, we consider the mapping Wn defined by Un,n+1 = I, Un,n = γn Tn Un,n+1 + (1 − γn )I, Un,n−1 = γn−1 Tn−1 Un,n + (1 − γn−1 )I, .. . Un,k = γk Tk Un,k+1 + (1 − γk )I, (1.7) Un,k−1 = γk−1 Tk−1 Un,k + (1 − γk−1 )I, .. . Un,2 = γ2 T2 Un,3 + (1 − γ2 )I, Wn = Un,1 = γ1 T1 Un,2 + (1 − γ1 )I, where γ1 , γ2 , . . . are real numbers such that 0 ≤ γn ≤ 1 and T1 , T2 , . . . be an infinite family of mappings of K into itself. Nonexpansivity of each Ti ensures the nonexpansivity of Wn . Concerning Wn we have the following lemmas which are important to prove our main results. Lemma 1.1. ([25]) Let K be a nonempty closed convex subset of a strictly convex Banach space E. Let T1 , T2 , . . . be nonexpansive mappings of K into itself such that ∩∞ n=1 F (Tn ) is nonempty and γ1 , γ2 , . . . be real numbers such that 0 < γn ≤ b < 1 for any n ≥ 1. Then for every x ∈ K and k ∈ N , the limit limn→∞ Un,k x exists. Using Lemma 1.1, one can define the mapping W of K into itself as follows. W x = lim Wn x = lim Un,1 x, n→∞ n→∞ ∀x ∈ K. (1.8) Such a W is called the W -mapping generated by T1 , T2 , . . . and γ1 , γ2 , . . .. Throughout this paper, we will assume that 0 < γn ≤ b < 1 for all n ≥ 1. Lemma 1.2. ([25]) Let K be a nonempty closed convex subset of a strictly convex Banach space E. Let T1 , T2 , . . . be nonexpansive mappings of K into itself such that ∩∞ n=1 F (Tn ) is nonempty and γ1 , γ2 , . . . be real numbers such that 0 < γn ≤ b < 1 for any n ≥ 1. Then, F (W ) = ∩∞ n=1 F (Tn ). ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 53 In this paper, motivated by research work going on in this direction, we introduce a general iterative process as following x1 ∈ K, (1.9) yn = PK (I − ηn B)xn , xn+1 = αn f (xn ) + βn xn + γn Wn PK (I − λn A)yn , n ≥ 1, where A and B are µi -inverse-strongly monotone mappings from K into H, respectively for i = 1, 2, f is a contraction on K and Wn is a mapping defined by (1.7). It is proved that the sequence {xn } generated by the above iterative scheme converges strongly to a common element of the set of common fixed points of an infinite nonexpansive mappings and the set of solutions of the variational inequalities for the inverse-strongly monotone mappings, which solves another variation inequality hf (q) − q, p − qi ≤ 0, ∀p ∈ ∩∞ i=1 F (Ti ) ∩ V I(K, A) ∩ V I(K, B). In order to prove our main results, we also need the following lemmas. Lemma 1.3. ([28]) Assume that {αn } is a sequence of nonnegative real numbers such that αn+1 ≤ (1 − γn )αn + δn , where {γ } is a sequence in (0, 1) and {δn } is a sequence such that Pn∞ (i) n=1 γn = ∞; P∞ (ii) lim supn→∞ γδnn ≤ 0 or n=1 |δn | < ∞. Then limn→∞ αn = 0. Lemma 1.4. ([26]) Let {xn } and {yn } be bounded sequences in a Banach space E and {βn } be a sequence in [0, 1] with 0 < lim inf n→∞ βn ≤ lim supn→∞ βn < 1. Suppose that xn+1 = (1 − βn )yn + βn xn for all n ≥ 0 and lim sup(kyn+1 − yn k − kxn+1 − xn k) ≤ 0. n→∞ Then limn→∞ kyn − xn k = 0. Lemma 1.5. ([17]) Let E be an inner product space. Then for all x, y, z ∈ E and α, β, γ ∈ [0, 1] with α + β + γ = 1, we have kαx + βy + γzk2 ≤ αkxk2 + βkyk2 + γkzk2 − αγkx − zk2 − αβkx − yk2 − βγky − zk2 . 54 Sun Young Cho and Shin Min Kang 2. Main results Now, we are ready to give our main results. Theorem 2.1. Let K be a nonempty closed convex subset of a real Hilbert space H, A : K → H be µ1 -inverse-strongly monotone mapping and B : K → H be µ2 -inverse-strongly monotone mappings. Let f : K → K be a contraction with the coefficient α, where 0 < α < 1. Let {xn } be a sequence generated by (1.9), where {αn }, {βn } and {γn } are sequences in (0, 1) and {λn }, {ηn } are chosen such that {ηn }, {λn } ⊂ [0, 2 min{µ1 , µ2 }]. Assume that F = ∩∞ i=1 F (Ti ) ∩ V I(K, A) ∩ V I(K, B) 6= ∅. If the control sequences {αn }, {βn }, {γn }, {λn } and {ηn } are chosen such that (a) αn + βn + γn = 1 forP all n ≥ 1; ∞ (b) limn→∞ αn = 0 and n=1 αn = ∞; (c) 0 < lim inf n→∞ βn ≤ lim supn→∞ βn < 1; (d) limn→∞ |ηn+1 − ηn | = limn→∞ |λn+1 − λn | = 0; (e) {ηn }, {λn } ∈ [u, v] for some u, v with 0 < u < v < 2 min{µ1 , µ2 }, then {xn } converges strongly to x∗ ∈ F , where x∗ = PF f (x∗ ), which solves the following variation inequality hf (x∗ ) − x∗ , p − x∗ i ≤ 0, ∀p ∈ F. Proof. First, we show that I − λn A and I − ηn B are nonexpansive for all n ≥ 1. Indeed, we see from condition (e) that k(I − λn A)x − (I − λn A)yk2 = kx − y − λn (Ax − Ay)k2 = kx − yk2 − 2λn hx − y, Ax − Ayi + λ2n kAx − Ayk2 ≤ kx − yk2 + λn (λn − 2µ1 )kAx − Ayk2 ≤ kx − yk2 from which it follows that I − λn A is nonexpansive, so is I − ηn B. Letting p ∈ F , we have kyn − pk = kPK (I − ηn B)xn − pk ≤ kxn − pk. It follows that kxn+1 − pk = kαn f (xn ) + βn xn + γn Wn PC (I − λn A)yn − pk ≤ αn kf (xn ) − pk + βn kxn − pk + γn kWn PC (I − λn A)yn − pk ≤ αn kf (xn ) − pk + βn kxn − pk + γn kyn − pk ≤ αn kf (xn ) − f (p)k + αn kf (p) − pk + (1 − αn )kxn − pk = (1 − αn (1 − α))kxn − pk + αn kf (p) − pk. ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 55 By simple inductions, we have kp − f (p)k , kxn − pk ≤ max kx1 − pk, 1−α which yields that the sequence {xn } is bounded, so is {yn }. Next, we show the sequence limn→∞ kxn+1 − xn k = 0. Note that kyn+1 − yn k = kPK (I − ηn+1 B)xn+1 − PK (I − ηn B)xn k ≤ k(I − ηn+1 B)xn+1 − (I − ηn B)xn k = k(I − ηn+1 B)xn+1 − (I − ηn+1 B)xn (2.1) + (I − ηn+1 B)xn − (I − ηn B)xn k ≤ kxn+1 − xn k + |ηn+1 − ηn |M1 , where M1 is an appropriate constant such that M1 = supn≥1 {kBxn k}. Putting ρn = PK (I − λn A)yn , we have kρn+1 − ρn k = kPK (I − λn+1 A)yn+1 − PK (I − λn A)yn k ≤ k(I − λn+1 A)yn+1 − (I − λn A)yn k = k(I − λn+1 A)yn+1 − (I − λn+1 A)yn (2.2) + (I − λn+1 A)yn − (I − λn A)yn k = kyn+1 − yn k + |λn+1 − λn |kAyn k. Substituting (2.1) into (2.2), we arrive at kρn+1 − ρn k ≤ kxn+1 − xn k + (|ηn+1 − ηn | + |λn+1 − λn |)M2 , (2.3) where M2 is an appropriate constant such that M2 ≥ max{supn≥1 kAyn k, M1 }. Define a sequence {zn } by zn = xn+1 − βn xn , 1 − βn ∀n ≥ 1. It follows that zn+1 − zn xn+1 − βn xn xn+2 − βn+1 xn+1 − = 1 − βn+1 1 − βn αn+1 f (xn+1 ) + γn+1 Wn+1 ρn+1 αn f (xn ) + γn Wn ρn = − 1 − βn+1 1 − βn αn αn+1 (f (xn+1 ) − Wn+1 ρn+1 ) + (Wn ρn − f (xn )) = 1 − βn+1 1 − βn + Wn+1 ρn+1 − Wn ρn . (2.4) 56 Sun Young Cho and Shin Min Kang This implies that kzn+1 − zn k αn+1 αn ≤ (kf (xn+1 )k + kWn+1 ρn+1 k) + (kWn ρn k + kf (xn )k) 1 − βn+1 1 − βn + kρn+1 − ρn k + kWn+1 ρn − Wn ρn k. (2.5) Since Ti and Un,i are nonexpansive, we obtain from (1.7) that kWn+1 ρn − Wn ρn k = kγ1 T1 Un+1,2 ρn − γ1 T1 Un,2 ρn k ≤ γ1 kUn+1,2 ρn − Un,2 ρn k = γ1 kγ2 T2 Un+1,3 ρn − γ2 T2 Un,3 ρn k ≤ γ1 γ2 kUn+1,3 ρn − Un,3 ρn k ≤ ··· (2.6) ≤ γ1 γ2 · · · γn kUn+1,n+1 ρn − Un,n+1 ρn k n Y ≤ M3 γi , i=1 where M3 ≥ 0 is an appropriate constant such that kUn+1,n+1 ρn −Un,n+1 ρn k ≤ M3 for all n ≥ 1. Substituting (2.3) and (2.6) into (2.5), we arrive at kzn+1 − zn k − kxn+1 − xn k αn αn+1 (kf (xn+1 )k + kWn+1 ρn+1 k) + (kWn ρn k + kf (xn )k) ≤ 1 − βn+1 1 − βn ! n Y γi . + M4 |ηn+1 − ηn | + |λn+1 − λn | + i=1 where M4 is an appropriate constant such that M4 = max{M2 , M3 }. From the conditions (b), (c) and (d), we obtain that lim sup(kzn+1 − zn k − kxn+1 − xn k) ≤ 0. n→∞ From the condition (c) and applying Lemma 1.4, we obtain that lim kzn − xn k = 0. n→∞ (2.7) Consequently, we obtain from (2.4) and the condition (c) that lim kxn+1 − xn k = lim (1 − βn )kzn − xn k = 0. n→∞ n→∞ (2.8) ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 57 Next, we show that lim kW xn − xn k = 0. n→∞ (2.9) For any p ∈ F , we have kyn − pk2 = kPK (I − ηn B)xn − pk2 ≤ k(xn − p) − ηn (Bxn − Bp)k2 = kxn − pk2 − 2ηn hxn − p, Bxn − Bpi + ηn2 kBxn − Bpk2 (2.10) ≤ kxn − pk2 − 2ηn µ2 kBxn − Bpk2 + ηn2 kBxn − Bpk2 ≤ kxn − pk2 + ηn (ηn − 2µ2 )kBxn − Bpk2 . On the other hand, we have kρn − pk2 = kPK (I − λn A)yn − pk2 ≤ k(I − λn A)yn − pk2 = kyn − p − λn (Ayn − Ap)k2 = kyn − pk2 − 2λn hyn − p, Ayn − Api + λ2n kAyn − Apk2 (2.11) ≤ kyn − pk2 − 2λn µ1 kAyn − Apk2 + λ2n kAyn − Apk2 ≤ kxn − pk2 + λn (λn − 2µ1 )kAyn − Apk2 . It follows from Lemma 1.5 that kxn+1 − pk2 = kαn (f (xn ) − p) + βn (xn − p) + γn (Wn ρn − p)k2 ≤ αn kf (xn ) − pk2 + βn kxn − pk2 + γn kρn − pk2 . (2.12) Substituting (2.11) into (2.12), we arrive at kxn+1 −pk2 ≤ αn kf (xn )−pk2 +kxn −pk2 +γn λn (λn −2µ1 )kAyn −Apk2 . (2.13) It follows from condition (e) that γn u(2µ1 − v)kAyn − Apk2 ≤ αn kf (xn ) − pk2 + kxn − pk2 − kxn+1 − pk2 ≤ αn kf (xn ) − pk2 + (kxn − pk + kxn+1 − pk)kxn − xn+1 k. From the conditions (b) and (c), we obtain from (2.8) that lim kAyn − Apk = 0. n→∞ (2.14) 58 Sun Young Cho and Shin Min Kang Using (2.12) again, we have kxn+1 − pk2 ≤ αn kf (xn ) − pk2 + βn kxn − pk2 + γn kyn − pk2 , (2.15) which combines with (2.10) yields that kxn+1 − pk2 ≤ αn kf (xn ) − pk2 + kxn − pk2 + γn ηn (ηn − 2µ2 )kBxn − Bpk2 . From condition (e), we arrive at γn u(2µ2 − v)kBxn − Bpk2 ≤ αn kf (xn ) − pk2 + kxn − pk2 − kxn+1 − pk2 ≤ αn kf (xn ) − pk2 + (kxn − pk + kxn+1 − pk)kxn − xn+1 k. It follows from the condition (b) and (2.8) that lim kBxn − Bpk = 0. n→∞ (2.16) On the other hand, we have kyn − pk2 = kPK (I − ηn B)xn − PK (I − ηn B)pk2 ≤ h(I − ηn B)xn − (I − ηn B)p, yn − pi 1 = {k(I − ηn B)xn − (I − ηn B)pk2 + kyn − pk2 2 − k(I − ηn B)xn − (I − ηn B)p − (yn − p)k2 } 1 ≤ {kxn − pk2 + kyn − pk2 − k(xn − yn ) − ηn (Bxn − Bp)k2 } 2 1 = {kxn − pk2 + kyn − pk2 − kxn − yn k2 − ηn2 kBxn − Bpk2 2 + 2ηn hxn − yn , Bxn − Bpi}, which yields that kyn − pk2 ≤kxn − pk2 − kxn − yn k2 + 2ηn kxn − yn kkBxn − Bpk. (2.17) In a similar way, we can prove that kρn − pk2 ≤kxn − pk2 − kρn − yn k2 + 2λn kρn − yn kkAyn − Apk. Substitute (2.18) into (2.12) yields that kxn+1 − pk2 ≤ αn kf (xn ) − pk2 + kxn − pk2 − γn kρn − yn k2 + 2γn λn kρn − yn kkAyn − Apk. (2.18) ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 59 It follows that γn kρn − yn k2 ≤ αn kf (xn ) − pk2 + kxn − pk2 − kxn+1 − pk2 + 2γn λn kρn − yn kkAyn − Apk ≤ αn kf (xn ) − pk2 + (kxn − pk + kxn+1 − pk)kxn − xn+1 k + 2γn λn kρn − yn kkAyn − Apk. In view of the conditions (b) and (c), we see from (2.8) and (2.14) that lim kρn − yn k = 0. n→∞ (2.19) Similarly, substituting (2.17) into (2.15), we can prove that lim kxn − yn k = 0. n→∞ (2.20) On the other hand, we have xn+1 − xn = αn (f (xn ) − xn ) + γn (Wn ρn − xn ). It follows that γn kWn ρn − xn k ≤ kxn+1 − xn k + αn kf (xn ) − xn k. In view of conditions (b) and (c), we see from (2.8) that lim kWn ρn − xn k = 0. n→∞ (2.21) Observe that kWn xn − xn k ≤ kWn xn − Wn ρn k + kWn ρn − xn k ≤ kxn − ρn k + kWn ρn − xn k ≤ kxn − yn k + kyn − ρn k + kWn ρn − xn k. It follows from (2.19)-(2.21) that lim kWn xn − xn k = 0. n→∞ (2.22) From Remark 3.3 of [29], see also [7], we have kW xn − Wn xn k → 0 as n → ∞. It follows that (2.9) holds. Observe that PF f is a contraction. Indeed, for all x, y ∈ C, we have kPF f (x) − PF f (y)k ≤ kf (x) − f (y)k ≤ αkx − yk. 60 Sun Young Cho and Shin Min Kang Banach’s contraction mapping principle guarantees that PF f has a unique fixed point, say x∗ ∈ C. That is, x∗ = PF f (x∗ ). Next, we show that lim suphf (x∗ ) − x∗ , xn − x∗ i ≤ 0. (2.23) n→∞ To show it, we choose a subsequence {xni } of {xn } such that lim suphf (x∗ ) − x∗ , xn − x∗ i = lim hf (x∗ ) − x∗ , xni − x∗ i. i→∞ n→∞ As {xni } is bounded, we have that there is a subsequence {xnij } of {xni } converges weakly to x̄. Without loss of generality, we may assume that xni ⇀ x̄. From (2.19) and (2.20), we also have yni ⇀ x̄ and ρni ⇀ x̄, respectively. Next, we have x̄ ∈ F . Indeed, let us first show that x̄ ∈ V I(K, A). Put ( Av + NK v, v ∈ K, Tv = ∅, v∈ / K. Then T is maximal monotone. Let (v, w) ∈ G(T ). Since w − Av ∈ NK v and ρn ∈ K, we have hv − ρn , w − Avi ≥ 0. On the other hand, we see from ρn = PK (I − λn A)yn that hv − ρn , ρn − (I − λn A)yn i ≥ 0 and hence ρn − yn v − ρn , + Ayn ≥ 0. λn It follows that hv − ρni , wi ≥ hv − ρni , Avi ρni − yni ≥ hv − ρni , Avi − v − ρni , + Ayni λni ρn − yni ≥ v − ρni , Av − i − Ayni λni = hv − ρni , Av − Aρni i + hv − ρni , Aρni − Ayni i ρni − yni − v − ρni , λni ρni − yni , ≥ hv − ρni , Aρni − Ayni i − v − ρni , λni ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 61 which implies that hv − x̄, wi ≥ 0. We have x̄ ∈ T −1 0 and hence x̄ ∈ V I(K, A). In a similar way, we can show x̄ ∈ V I(K, B). Next, let us show x̄ ∈ ∩∞ i=1 F (Ti ). Since Hilbert spaces are Opial’s spaces, we obtain from (2.9) that lim inf kxni − x̄k < lim inf kxni − W x̄k i→∞ i→∞ = lim inf kxni − W xni + W xni − W x̄k i→∞ ≤ lim inf kW xni − W x̄k i→∞ ≤ lim inf kxni − x̄k, i→∞ which derives a contradiction. Thus, we have x̄ ∈ F (W ) = ∩∞ i=1 F (Ti ). On the other hand, we have lim suphf (x∗ ) − x∗ , xn − x∗ i = lim hf (x∗ ) − x∗ , xni − x∗ i n→∞ n→∞ = hf (x∗ ) − x∗ , x̄ − x∗ i ≤ 0. That is, (2.23) holds. It follows that lim suphf (x∗ ) − x∗ , xn+1 − x∗ i ≤ 0. (2.24) n→∞ Finally, we show that xn → x∗ as n → ∞. Note that kxn+1 − x∗ k2 = hαn (f (xn ) − x∗ ) + βn (xn − x∗ ) + γn (Wn ρn − x∗ ), xn+1 − x∗ i = αn hf (xn ) − x∗ , xn+1 − x∗ i + βn hxn − x∗ , xn+1 − x∗ i + γn hWn ρn − x∗ , xn+1 − x∗ i = αn hf (xn ) − f (x∗ ), xn+1 − x∗ i + αn hf (x∗ ) − x∗ , xn+1 − x∗ i + βn hxn − x∗ , xn+1 − x∗ i + γn hWn ρn − x∗ , xn+1 − x∗ i ≤ αn kf (xn ) − f (x∗ )kkxn+1 − x∗ k + αn hf (x∗ ) − x∗ , xn+1 − x∗ i + βn kxn − x∗ kkxn+1 − x∗ k + γn kWn ρn − x∗ kkxn+1 − x∗ k ≤ αn αkxn − x∗ kkxn+1 − x∗ k + αn hf (x∗ ) − x∗ , xn+1 − x∗ i + βn kxn − x∗ kkxn+1 − x∗ k + γn kxn − x∗ kkxn+1 − x∗ k = (1 − αn (1 − α))kxn − x∗ kkxn+1 − x∗ k + αn hf (x∗ ) − x∗ , xn+1 − x∗ i ≤ ≤ 1 − αn (1 − α) (kxn − x∗ k2 + kxn+1 − x∗ k2 ) 2 + αn hf (x∗ ) − x∗ , xn+1 − x∗ i 1 − αn (1 − α) 1 kxn − x∗ k2 + kxn+1 − x∗ k2 2 2 + αn hf (x∗ ) − x∗ , xn+1 − x∗ i. 62 Sun Young Cho and Shin Min Kang It follows that kxn+1 − x∗ k2 ≤ [1 − αn (1 − α)]kxn − x∗ k2 + 2αn hf (x∗ ) − x∗ , xn+1 − x∗ i. From (2.24) and applying Lemma 1.3, we can obtain the desired conclusion immediately. This completes the proof. Let A = B and f (x) = x1 for all x ∈ K in Theorem 2.1. We can obtain the following result easily. Corollary 2.2. Let K be a nonempty closed convex subset of a real Hilbert space H and A : K → H be µ-inverse-strongly monotone mappings. Let {xn } be a sequence generated by the following iterative process x1 ∈ K, yn = PK (I − ηn A)xn , xn+1 = αn x1 + βn xn + γn Wn PK (I − λn A)yn , n ≥ 1, where Wn is defined by (1.8), {αn }, {βn } and {γn } are sequences in (0, 1) and {λn }, {ηn } are chosen such that {ηn }, {λn } ⊂ [0, 2 min{µ1 , µ2 }]. Assume that F = ∩∞ i=1 F (Ti ) ∩ V I(K, A) 6= ∅. If the control sequences {αn }, {βn }, {γn }, {λn } and {ηn } are chosen such that (a) αn + βn + γn = 1 forP all n ≥ 1; ∞ (b) limn→∞ αn = 0 and n=1 αn = ∞; (c) 0 < lim inf n→∞ βn ≤ lim supn→∞ βn < 1; (d) limn→∞ |ηn+1 − ηn | = limn→∞ |λn+1 − λn | = 0; (e) {ηn }, {λn } ∈ [u, v] for some u, v with 0 < u < v < 2 min{µ1 , µ2 }, then {xn } converges strongly to x∗ ∈ F , where x∗ = PF x1 , which solves the following variation inequality hx1 − x∗ , p − x∗ i ≤ 0, ∀p ∈ F. Remark 2.3. Corollary 2.2 mainly improves the corresponding result of Yao and Yao [30] from a single nonexpansive mapping to an infinite family nonexpansive mappings. As some applications of our main results, we next consider another class of important nonlinear operator: strict pseudo-contractions. Recall that a mapping S : K → K is said to be a k-strict pseudocontraction if there exists a constant k ∈ [0, 1) such that kSx − Syk2 ≤ kx − yk2 + kk(I − S)x − (I − S)yk2 , ∀x, y ∈ K. ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 63 Note that the class of k-strict pseudo-contractions strictly includes the class of nonexpansive mappings. Put A = I − S, where S : K → K is a k-strict pseudo-contraction. Then A is 1−k 2 -inverse-strongly monotone; see [1]. Theorem 2.4. Let K be a nonempty closed convex subset of a real Hilbert space H, S1 : K → K be a k1 -strict pseudo-contraction and S2 : K → K be a k2 -strict pseudo-contraction. Let f : K → K be a contraction with the coefficient α (0 < α < 1). Let {xn } be a sequence generated by the following iterative process x1 ∈ K, yn = (1 − ηn )xn + ηn S2 xn , xn+1 = αn f (xn ) + βn xn + γn Wn ((1 − λn )yn + λn S1 yn ), n ≥ 1, where Wn is defined by (1.8), {αn }, {βn } and {γn } are sequences in (0, 1) and {λn }, {ηn } are chosen such that {ηn }, {λn } ⊂ [0, 2 min{(1 − k1 ), (1 − k2 )}]. Assume that F = ∩∞ i=1 F (Ti ) ∩ F (S1 ) ∩ F (S2 ) 6= ∅. If the control sequences {αn }, {βn }, {γn }, {λn } and {ηn } are chosen such that (a) αn + βn + γn = 1 for all n ≥ 1; P∞ (b) limn→∞ αn = 0 and n=1 αn = ∞; (c) 0 < lim inf n→∞ βn ≤ lim supn→∞ βn < 1; (d) limn→∞ |ηn+1 − ηn | = limn→∞ |λn+1 − λn | = 0; (e) {ηn }, {λn } ∈ [u, v] for some u, v with 0 < u < v < 2 min{µ1 , µ2 }, then {xn } converges strongly to x∗ ∈ F , where x∗ = PF f (x∗ ), which solves the following variation inequality hf (x∗ ) − x∗ , p − x∗ i ≤ 0, ∀p ∈ F. 1 Proof. Put A = I − S1 and B = I − S2 . Then A is 1−k 2 -inverse-strongly 1−k2 monotone and B is 2 -inverse-strongly monotone, respectively. We have F (S1 ) = V I(K, A), F (S2 ) = V I(K, B), PK (I −λn A)yn = (1−λn )yn +λn S1 yn and PK (I −ηn B)xn = (1−ηn )xn +ηn S2 xn . It is easy to conclude from Theorem 2.1 the desired conclusion. References [1] F. E. Browder and W. V. Petryshyn, Construction of fixed points of nonlinear mappings in Hilbert space, J. Math. Anal. Appl., 20 (1967), 197– 228. 64 Sun Young Cho and Shin Min Kang [2] H. H. Bauschke, The approximation of fixed points of compositions of nonexpansive mappings in Hilbert space, J. Math. Anal. Appl., 202 (1996), 150–159. [3] J. M. Chen, L. J. Zhang and T. G. Fan, Viscosity approximation methods for nonexpansive mappings and monotone mappings, J. Math. Anal. Appl., 334 (2007), 1450–1461. [4] Y. J. Cho, X. Qin and J. I. Kang, Convergence theorems based on hybrid methods for generalized equilibrium problems and fixed point problems, Nonlinear Anal., 71 (2009), 4203–4214. [5] Y. J. Cho and X. Qin, Systems of generalized nonlinear variational inequalities and its projection methods, Nonlinear Anal., 69 (2008), 4443– 4451. [6] Y. J. Cho, S. M. Kang and X. Qin, On systems of generalized nonlinear variational inequalities in Banach spaces, Appl. Math. Comput., 206 (2008), 214–220. [7] L. C. Ceng and J. C. Yao, An extragradient-like approximation method for variational inequality problems and fixed point problems, Appl. Math. Comput., 190 (2007), 205–215. [8] H. Iiduka and W. Takahashi, Strong convergence theorems for nonexpansive mappings and inverse-strongly monotone mappings, Nonlinear Anal., 61 (2005), 341–350. [9] H. Iiduka, W. Takahashi and M. Toyoda, Approximation of solutions ofvariational inequalities for monotone mappings, Panamer. Math. J., 14 (2004), 49–61. [10] G. M. Korpelevich, An extragradient method for finding saddle points and for other problems, Èkonom. i Math. Metody, 12 (1976), 747–756. [11] Y. Kimura and W. Takahashi, A generalized proximal point algorithm and implicit iterative schemes for a sequence of operators on Banch spaces, Set-Valued Anal., 16 (2008), 597–619. [12] Y. Li, Iterative algorithm for a convex feasibility problem, An. Şt. Univ. Ovidius Constanţa, 18 (2010), 205–218. [13] A. Moudafi, Viscosity approximation methods for fixed points problems, J. Math. Anal Appl., 241 (2000), 46–55. ON THE CONVERGENCE OF ITERATIVE SEQUENCES FOR A FAMILY OF NONEXPANSIVE MAPPINGS AND INVERSE-STRONGLY MONOTONE MAPPINGS 65 [14] N. Nadezhkina and W. Takahashi, Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings, J. Optim. Theory Appl., 128 (2006), 191–201. [15] M. Shang, Y. Su and X. Qin, Strong convergence theorems for a finite family of nonexpansive mappings, Fixed Point Theory Appl., 2007 (2007), Art. ID 76971. [16] K. Nakajo and W. Takahashi, Strong and weak convergence theorems by an improved splitting method, Comm. Appl. Nonlinear Anal., 9 (2002), 99–107. [17] M. O. Osilike and D. I. Igbokwe, Weak and strong convergence theorems for fixed points of pseudocontractions and solutions of monotone type operator equations, Comput. Math. Appl., 40 (2000), 559–567. [18] X. Qin, M. Shang and Y. Su, Strong convergence of a general iterative algorithm for equilibrium problems and variational inequality problems, Math. Comput. Modelling, 48 (2008), 1033–1046. [19] X. Qin, Y. J. Cho and S. M. Kang, Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces, J. Comput. Appl. Math., 225 (2009), 20–30. [20] X. Qin, Y. J. Cho, J. I. Kang and S. M. Kang, Strong convergence theorems for an infinite family of nonexpansive mappings in Banach spaces, J. Comput. Appl. Math., 230 (2009), 121–127. [21] X. Qin and Y. Su, Approximation of a zero point of accretive operator in Banach spaces, J. Math. Anal. Appl., 329 (2007), 415–424. [22] X. Qin and Y. Su, Strong convergence theorems for relatively nonexpansive mappings in a Banach space, Nonlinear Anal., 67 (2007), 1958–1965. [23] X. Qin, S. S. Chang and Y. J. Cho, Iterative methods for generalized equilibrium problems and fixed point problems with applications, Nonlinear Anal., 11 (2010), 2963–2972. [24] R. T. Rockafellar, On the maximality of sums of nonlinear monotone operators, Trans. Amer. Math. Soc., 149 (1970), 75–88. [25] K. Shimoji and W. Takahashi, Strong convergence to common fixed points of infinite nonexpansive mappings and applications, Taiwanese J. Math., 5 (2001), 387–404. 66 Sun Young Cho and Shin Min Kang [26] T. Suzuki, Strong convergence of krasnoselskii and mann’s type sequences for one-parameter nonexpansive semigroups without Bochner integrals, J. Math. Anal. Appl., 305 (2005), 227–239. [27] W. Takahashi and M. Toyoda, Weak convergence theorems for nonexpansive mappings and monotone mappings, J. Optim. Theory Appl., 118 (2003), 417–428. [28] H. K. Xu, Iterative algorithms for nonlinear operators, J. London Math. Soc., 66 (2002), 240–256. [29] Y. Yao, Y. C. Liou and J. C. Yao, Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings, Fixed Point Theory Appl., 2007 (2007), Art. ID 64363. [30] Y. Yao and J. C. Yao, On modified iterative method for nonexpansive mappings and monotone mappings, Appl. Math. Comput., 186 (2007), 1551–1558. [31] L. C. Zeng and J. C. Yao, Strong convergence theorem by an extragradient method for fixed point problems and variational inequality problems, Taiwanese J. Math., 10 (2006), 1293–1303. Department of Mathematics, Gyeongsang National University, Jinju 660-701, Korea, E-mail: ooly61@yahoo.co.kr Department of Mathematics and RINS, Gyeongsang National University, Jinju 660-701, Korea, E-mail: smkang@gnu.ac.kr