Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 573583, 6 pages http://dx.doi.org/10.1155/2013/573583 Research Article A New Iterative Method for Solving a System of Generalized Mixed Equilibrium Problems for a Countable Family of Generalized Quasi-π-Asymptotically Nonexpansive Mappings Wei-Qi Deng College of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan 650221, China Correspondence should be addressed to Wei-Qi Deng; dwq1273@126.com Received 3 October 2012; Accepted 4 January 2013 Academic Editor: Satit Saejung Copyright © 2013 Wei-Qi Deng. 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. By using a specific way of choosing the indexes, we introduce an up-to-date iterative algorithm for approximating common fixed points of a countable family of generalized quasi-π-asymptotically nonexpansive mappings and obtain a strong convergence theorem under some suitable conditions. As application, an iterative solution to a system of generalized mixed equilibrium problems is studied. The results extend those of other authors, in which the involved mappings consist of just finite families. It is obvious from the definition of π that 1. Introduction Throughout this paper, we assume that πΈ is a real Banach space with its dual πΈ∗ , πΆ is a nonempty closed convex subset ∗ of πΈ, and π½ : πΈ → 2πΈ is the normalized duality mapping defined by σ΅© σ΅©2 π½π₯ = {π ∈ πΈ∗ : β¨π₯, πβ© = βπ₯β2 = σ΅©σ΅©σ΅©πσ΅©σ΅©σ΅© } , ∀π₯ ∈ πΈ. (1) σ΅© σ΅©2 σ΅© σ΅©2 (βπ₯β − σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅©) ≤ π (π₯, π¦) ≤ (βπ₯β + σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅©) . (4) (2) A mapping π : πΆ → πΆ is said to be uniformly LLipschitz continuous, if there exists a constant πΏ > 0 such that σ΅© σ΅© σ΅©σ΅© π π σ΅© σ΅©σ΅©π π₯ − π π¦σ΅©σ΅©σ΅© ≤ πΏ σ΅©σ΅©σ΅©π₯ − π¦σ΅©σ΅©σ΅© , ∀π ≥ 1, π₯, π¦ ∈ πΆ. (5) In the sequel, we use πΉ(π) to denote the set of fixed points of a mapping π. Example 2. Let πΆ be a unit ball in a real Hilbert space π2 , and let π : πΆ → πΆ be a mapping defined by Definition 1. (1) [1] A mapping π : πΆ → πΆ is said to be generalized quasi-π-asymptotically nonexpansive in the light of [1], if πΉ(π) =ΜΈ 0, and there exist nonnegative real sequences {ππ } and {ππ } with ππ , ππ → 0 (as π → ∞) such that π (π₯1 , π₯2 , . . .) = (0, π₯12 , π2 π₯2 , π3 π₯3 , . . .) , π (π, ππ π₯) ≤ (1+ππ ) π (π, π₯)+ππ , ∀π ≥ 1, π₯ ∈ πΆ, π ∈ πΉ (π) , (2) where π : πΈ × πΈ → R denotes the Lyapunov functional defined by σ΅© σ΅©2 π (π₯, π¦) = βπ₯β2 − 2 β¨π₯, π½π¦β© + σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© , ∀π₯, π¦ ∈ πΈ. (3) (6) where {ππ } is a sequence in (0, 1) satisfying ∏∞ π=2 ππ = 1/2. It is shown by Goebel and Kirk [2] that π (π, ππ π¦) ≤ (1+ππ ) π (π, π¦)+ππ , ∀π ≥ 1, π¦ ∈ πΆ, π ∈ πΉ (π) , (7) where π(π₯, π¦) = βπ₯ − π¦β2 , ππ = (2∏ππ=2 ππ )2 − 1, for all π ≥ 1, and {ππ } is a nonnegative real sequence with ππ → 0 as π → ∞. This shows that the mapping π defined earlier is a generalized quasi-π-asymptotically nonexpansive mapping. 2 Abstract and Applied Analysis Let π : πΆ × πΆ → R be a bifunction, π : πΆ → R a real valued function, and π΅ : πΆ → πΈ∗ a nonlinear mapping. The so-called generalized mixed equilibrium problem (GMEP) is to find a π’ ∈ πΆ such that π (π’, π¦) + β¨π¦ − π’, π΅π’β© + π (π¦) − π (π’) ≥ 0, ∀π¦ ∈ πΆ, (8) whose set of solutions is denoted by Ω(π, π΅, π). The equilibrium problem is a unifying model for several problems arising in physics, engineering, science optimization, economics, transportation, network and structural analysis, Nash equilibrium problems in noncooperative games, and others. It has been shown that variational inequalities and mathematical programming problems can be viewed as a special realization of the abstract equilibrium problems. Many authors have proposed some useful methods to solve the (equilibrium problem) EP, (generalized equilibrium problem) GEP, (mixed equilibrium problem) MEP, and GMEP. Concerning the weak and strong convergence of iterative sequences to approximate a common element of the set of solutions for the GMEP, the set of solutions to variational inequality problems and the set of common fixed points for relatively nonexpansive mappings, quasi-π-nonexpansive mappings, and quasi-π-asymptotically nonexpansive mappings have been studied by many authors in the setting of Hilbert or Banach spaces (e.g., see [3–16] and the references therein). Inspired and motivated by the study mentioned earlier, in this paper, by using a specific way of choosing the indexes, we propose an up-to-date iteration scheme for approximating common fixed points of a countable family of generalized quasi-π-asymptotically nonexpansive mappings and obtain a strong convergence theorem for solving a system of generalized mixed equilibrium problems. The results extend those of the authors, in which the involved mappings consist of just finite families. 2. Preliminaries πΈ is said to have uniformly GaΜteaux differentiable norm if for each π¦ ∈ π(πΈ), the limit (11) is attained uniformly for π₯ ∈ π(πΈ). The norm of πΈ is said to be FreΜchet differentiable if for each π₯ ∈ π(πΈ), the limit (11) is attained uniformly for π¦ ∈ π(πΈ). The norm of πΈ is said to be uniformly FreΜchet differentiable (and πΈ is said to be uniformly smooth) if the limit (11) is attained uniformly for π₯, π¦ ∈ π(πΈ). Note that πΈ (πΈ∗ , resp.) is uniformly convex ⇔ πΈ∗ (πΈ, resp.) is uniformly smooth. Following Alber [17], the generalized projection ΠπΆ : πΈ → πΆ is defined by ΠπΆ (π₯) = arg inf π (π¦, π₯) , π¦∈πΆ ∀π₯ ∈ πΈ. (12) Lemma 3 (see [17]). Let E be a smooth, strictly convex, and reflexive Banach space, and let C be a nonempty closed convex subset of E. Then, the following conclusions hold: (1) π(π₯, ΠπΆπ¦) + π(ΠπΆπ¦, π¦) ≤ π(π₯, π¦) for all π₯ ∈ πΆ and π¦ ∈ πΈ; (2) if π₯ ∈ πΈ and π§ ∈ πΆ, then π§ = ΠπΆπ₯ ⇔ β¨π§ − π¦, π½π₯ − π½π§β© ≥ 0, for all π¦ ∈ πΆ; (3) for π₯, π¦ ∈ πΈ, π(π₯, π¦) = 0 if and only if π₯ = π¦. Remark 4. The following basic properties for a Banach space πΈ can be found in Cioranescu [18]. (i) If πΈ is uniformly smooth, then π½ is uniformly continuous on each bounded subset of πΈ. (ii) If πΈ is reflexive and strictly convex, then π½−1 is normweak continuous. (iii) If πΈ is a smooth, strictly convex, and reflexive Banach space, then the normalized duality mapping π½ : πΈ → ∗ 2πΈ is single valued, one-to-one, and onto. (iv) A Banach space πΈ is uniformly smooth if and only if πΈ∗ is uniformly convex. (v) Each uniformly convex Banach space πΈ has the KadecKlee property; that is, for any sequence {π₯π } ⊂ πΈ, if π₯π β π₯ ∈ πΈ and βπ₯π β → βπ₯β, then π₯π → π₯, where π₯π β π₯ denotes that {π₯π } converges weakly to π₯. A Banach space πΈ is strictly convex if the following implication holds for π₯, π¦ ∈ πΈ: σ΅©σ΅© π₯ + π¦ σ΅©σ΅© σ΅© σ΅© σ΅©σ΅© < 1. (9) βπ₯β = σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© = 1, π₯ =ΜΈ π¦ σ³¨⇒ σ΅©σ΅©σ΅©σ΅© σ΅© σ΅© 2 σ΅©σ΅© Lemma 5 (see [19]). Let E be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and let C be a nonempty closed convex subset of E. Let {π₯π } and {π¦π } be two sequences in C such that π₯π → π and π(π₯π , π¦π ) → 0, where π is the function defined by (3); then, π¦π → π. It is also said to be uniformly convex if for any π > 0, there exists a πΏ > 0 such that σ΅©σ΅© π₯ + π¦ σ΅©σ΅© σ΅© σ΅©σ΅© σ΅© σ΅© σ΅©σ΅© ≤ 1 − πΏ. βπ₯β = σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© = 1, σ΅©σ΅©π₯ − π¦σ΅©σ΅©σ΅© ≥ π σ³¨⇒ σ΅©σ΅©σ΅©σ΅© σ΅© σ΅© 2 σ΅©σ΅© (10) Lemma 6 (see [1]). Let E and C be the same as those in Lemma 5. Let π : πΆ → πΆ be a closed and generalized quasiπ-asymptotically nonexpansive mapping with nonnegative real sequences {ππ } and {ππ }; then, the fixed point set F(T) of T is a closed and convex subset of C. It is known that if πΈ is uniformly convex Banach space, then πΈ is reflexive and strictly convex. A Banach space πΈ is said to be smooth if σ΅© σ΅©σ΅© σ΅©π₯ + π‘π¦σ΅©σ΅©σ΅© − βπ₯β (11) lim σ΅© π‘→0 π‘ Lemma 7 (see [20]). Let πΈ be a real uniformly convex Banach space, and let π΅π (0) be the closed ball of πΈ with center at the origin and radius π > 0. Then, there exists a continuous strictly increasing convex function π : [0, ∞) → [0, ∞) with π(0) = 0 such that σ΅© σ΅©2 σ΅© σ΅©2 σ΅© σ΅©σ΅© 2 (13) σ΅©σ΅©πΌπ₯ + π½π¦σ΅©σ΅©σ΅© ≤ πΌβπ₯β + π½σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© − πΌπ½π (σ΅©σ΅©σ΅©π₯ − π¦σ΅©σ΅©σ΅©) for all π₯, π¦, ∈ π΅π (0), and πΌ, π½ ∈ [0, 1] with πΌ + π½ = 1. exists for each π₯, π¦ ∈ π(πΈ) := {π₯ ∈ πΈ : βπ₯β = 1}. In this case, the norm of πΈ is said to be GaΜteaux differentiable. The space Abstract and Applied Analysis 3 3. Main Results Theorem 8. Let E be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, C a nonempty closed convex subset of E, and ππ : πΆ → πΆ, π = 1, 2, . . . a countable family of closed and generalized quasi-πasymptotically nonexpansive mappings with nonnegative real sequences {ππ(π) } and {ππ(π) } satisfying ππ(π) → 0 and ππ(π) → 0 (as π → ∞ and for each π ≥ 1), and each ππ is uniformly πΏ π -Lipschitz continuous. Let {πΌπ } be a sequence in [0, π] for some π ∈ (0, 1), and let {π½π } be a sequence in [0, 1] satisfying 0 < lim inf π → ∞ π½π (1 − π½π ). Let {π₯π } be the sequence generated by π₯1 ∈ πΆ; −1 π§π = π½ [π½π π½π₯π + (1 − π π½π ) π½πππ π π₯π ] , (14) π π σ΅© σ΅©2 = σ΅©σ΅©σ΅©πσ΅©σ΅©σ΅© − 2 β¨π, π½π π½π₯π + (1 − π½π ) π½πππ π π₯π β© ∀π ≥ 1, (ππ ) (ππ ) supπ∈πΉ π(π, π₯π ) + ππ , ΠπΆπ+1 is the generalized where ππ := ππ π π projection of πΈ onto πΆπ+1 , and ππ and ππ satisfy the positive integer equation: π = π + (π − 1)π/2, π ≥ π (π ≥ π, π = 1, 2, . . .); that is, for each π ≥ 1, there exist unique ππ and ππ such that π6 = 3, π1 = 1, π2 = 2, π6 = 3, π3 = 2, π7 = 1, π3 = 2, π7 = 4, π4 = 1, π5 = 2, π5 = 3, (15) If πΉ := β∞ π=1 πΉ(ππ ) is nonempty and bounded, then {π₯π } converges strongly to ΠπΉ π₯1 . Proof. We divide the proof into several steps. (I) πΉ and πΆπ (for all π ≥ 1) both are closed and convex subsets in πΆ. In fact, it follows from Lemma 6 that each πΉ(ππ ) is a closed and convex subset of πΆ, so is πΉ. In addition, with πΆ1 (=πΆ) being closed and convex, we may assume that πΆπ is closed and convex for some π ≥ 2. In view of the definition of π, we have that (16) where π(π£) = 2β¨π£, π½π₯π − π½π¦π β©, and π = βπ₯π β2 − βπ¦π β2 + ππ . This shows that πΆπ+1 is closed and convex. (II) πΉ is a subset of β∞ π=1 πΆπ . σ΅© σ΅©2 ≤ σ΅©σ΅©σ΅©πσ΅©σ΅©σ΅© − 2π½π β¨π, π½π₯π β© − 2 (1 − π½π ) σ΅© π σ΅©2 π σ΅© σ΅©2 × β¨π, π½πππ π π₯π β© + π½π σ΅©σ΅©σ΅©π₯π σ΅©σ΅©σ΅© + (1 − π½π ) σ΅©σ΅©σ΅©σ΅©πππ π π₯π σ΅©σ΅©σ΅©σ΅© σ΅© σ΅© π − π½π (1 − π½π ) π (σ΅©σ΅©σ΅©σ΅©π½π₯π − π½πππ π π₯π σ΅©σ΅©σ΅©σ΅©) π π8 = 4, . . . . πΆπ+1 = {π£ ∈ πΆ : π (π£) ≤ π} ∩ πΆπ , σ΅©2 σ΅© π + σ΅©σ΅©σ΅©σ΅©π½π π½π₯π + (1 − π½π ) π½πππ π π₯π σ΅©σ΅©σ΅©σ΅© = π½π π (π, π₯π ) + (1 − π½π ) π (π, πππ π π₯π ) π8 = 2, . . . ; π4 = 3, Furthermore, it follows from Lemma 7 that for any π ∈ πΉ, we have that π (π, π§π ) = π (π, π½−1 [π½π π½π₯π + (1 − π½π ) π½πππ π π₯π ]) πΆπ+1 = {π£ ∈ πΆπ : π (π£, π¦π ) ≤ π (π£, π₯π ) + ππ } , π2 = 1, σ΅© σ΅©2 = σ΅©σ΅©σ΅©πσ΅©σ΅©σ΅© − 2 β¨π, πΌπ π½π₯π + (1 − πΌπ ) π½π§π β© σ΅©2 σ΅© + σ΅©σ΅©σ΅©πΌπ π½π₯π + (1 − πΌπ ) π½π§π σ΅©σ΅©σ΅© σ΅© σ΅©2 ≤ σ΅©σ΅©σ΅©πσ΅©σ΅©σ΅© − 2πΌπ β¨π, π½π₯π β© − 2 (1 − πΌπ ) β¨π, π½π§π β© σ΅© σ΅©2 σ΅© σ΅©2 + πΌπ σ΅©σ΅©σ΅©π₯π σ΅©σ΅©σ΅© + (1 − πΌπ ) σ΅©σ΅©σ΅©π§π σ΅©σ΅©σ΅© (17) π¦π = π½−1 [πΌπ π½π₯π + (1 − πΌπ ) π½π§π ] , π1 = 1, π (π, π¦π ) = π (π, π½−1 [πΌπ π½π₯π + (1 − πΌπ ) π½π₯π ]) = πΌπ π (π, π₯π ) + (1 − πΌπ ) π (π, π§π ) . πΆ1 = πΆ, π₯π+1 = ΠπΆπ+1 π₯1 , It is obvious that πΉ ⊂ πΆ1 . Suppose that πΉ ⊂ πΆπ for some π ≥ 2. Since πΈ is uniformly smooth, πΈ∗ is uniformly convex. Then, for any π ∈ πΉ ⊂ πΆπ , we have that σ΅© σ΅© π − π½π (1 − π½π ) π (σ΅©σ΅©σ΅©σ΅©π½π₯π − π½πππ π π₯π σ΅©σ΅©σ΅©σ΅©) ≤ π½π π (π, π₯π ) + (1 − π½π ) (ππ ) (ππ ) supπ (π, π₯π ) + ππ ] × [π (π, π₯π )+ππ π π π∈πΉ σ΅© σ΅© π − π½π (1 − π½π ) π (σ΅©σ΅©σ΅©σ΅©π½π₯π − π½πππ π π₯π σ΅©σ΅©σ΅©σ΅©) (ππ ) (ππ ) ≤ π (π, π₯π ) + ππ supπ (π, π₯π ) + ππ π π π∈πΉ σ΅© σ΅© π − π½π (1 − π½π ) π (σ΅©σ΅©σ΅©σ΅©π½π₯π − π½πππ π π₯π σ΅©σ΅©σ΅©σ΅©) σ΅© σ΅© π = π (π, π₯π ) + ππ − π½π (1 − π½π ) π (σ΅©σ΅©σ΅©σ΅©π½π₯π − π½πππ π π₯π σ΅©σ΅©σ΅©σ΅©) . (18) Substituting (18) into (17) and simplifying it, we have that π (π, π¦π ) ≤ π (π, π₯π ) + (1 − πΌπ ) ππ ≤ π (π, π₯π ) + ππ . (19) This implies that π ∈ πΆπ+1 , and so πΉ ⊂ πΆπ+1 . (III) π₯π → π₯∗ ∈ πΆ as π → ∞. In fact, since π₯π = ΠπΆπ π₯1 , from Lemma 3 (2), we have that β¨π₯π − π¦, π½π₯1 − π½π₯π β© ≥ 0, for all π¦ ∈ πΆπ . Again, since 4 Abstract and Applied Analysis πΉ ⊂ β∞ π=1 πΆπ , we have that β¨π₯π − π, π½π₯1 − π½π₯π β© ≥ 0, for all π ∈ πΉ. It follows from Lemma 3 (1) that for each π ∈ πΉ and for each π ≥ 1, π (π₯π , π₯1 ) = π (ΠπΆπ π₯1 , π₯1 ) ≤ π (π, π₯1 )−π (π, π₯π ) ≤ π (π, π₯1 ) , (20) which implies that {π(π₯π , π₯1 )} is bounded, so is {π₯π }. Since for all π ≥ 1, π₯π = ΠπΆπ π₯1 and π₯π+1 = ΠπΆπ+1 π₯1 ∈ πΆπ+1 ⊂ πΆπ , we have π(π₯π , π₯1 ) ≤ π(π₯π+1 , π₯1 ). This implies that {π(π₯π , π₯1 )} is nondecreasing; hence, the limit lim π (π₯π , π₯1 ) exists. Since πΈ is reflexive, there exists a subsequence {π₯ππ } of {π₯π } such that π₯ππ β π₯∗ ∈ πΆ as π → ∞. Since πΆπ is closed and convex and πΆπ+1 ⊂ πΆπ , this implies that πΆπ is weakly, closed and π₯∗ ∈ πΆπ for each π ≥ 1. In view of π₯ππ = ΠπΆπ π₯1 , we have π that ∀π ≥ 1. (22) Since the norm β ⋅ β is weakly lower semicontinuous, we have that σ΅© σ΅©2 σ΅© σ΅©2 lim inf π (π₯ππ , π₯1 ) = lim inf (σ΅©σ΅©σ΅©σ΅©π₯ππ σ΅©σ΅©σ΅©σ΅© − 2 β¨π₯ππ , π½π₯1 β© + σ΅©σ΅©σ΅©π₯1 σ΅©σ΅©σ΅© ) π→∞ lim π₯ π→∞ π (π) (π) ππ = ππ supπ (π, π₯π ) + ππ , π π π∈πΉ Since π₯π+1 ∈ πΆπ+1 , it follows from (14), (27), and (29) that π (π₯π+1 , π¦π ) ≤ π (π₯π+1 , π₯π ) + ππ σ³¨→ 0 π (π₯∗ , π₯1 ) ≤ lim inf π (π₯ππ , π₯1) ≤ lim supπ (π₯ππ , π₯1) ≤ π (π₯∗ , π₯1) . π→∞ (24) This implies that limπ → ∞ π(π₯ππ , π₯1 ) = π(π₯∗ , π₯1 ), and so βπ₯ππ β → βπ₯∗ β as π → ∞. Since π₯ππ β π₯∗ , by virtue of KadecKlee property of πΈ, we obtain that lim π₯ππ = π₯∗ . (25) π→∞ Since {π(π₯π , π₯1 )} is convergent, this, together with limπ → ∞ π(π₯ππ , π₯1 ) = π(π₯∗ , π₯1 ), shows that limπ → ∞ π(π₯π , π₯1 ) = π(π₯∗ , π₯1 ). If there exists some subsequence {π₯ππ } of {π₯π } such that π₯ππ → π¦ as π → ∞, then, from Lemma 3 (1), we have that as Kπ ∋ π → ∞. Since π₯π → π₯ as Kπ ∋ π → ∞, it follows from (30) and Lemma 5 that lim π¦π = π₯∗ . π π (π, π¦π ) ≤ π (π, π₯π ) + ππ − (1 − πΌπ ) π½π (1 − π½π ) π that is, π σ΅© σ΅© (1 − πΌπ ) π½π (1 − π½π ) π (σ΅©σ΅©σ΅©π½π₯π − π½ππ π π₯π σ΅©σ΅©σ΅©) ≤ π (π, π₯π ) + ππ − π (π, π¦π ) σ³¨→ 0 (Kπ ∋ π σ³¨→ ∞) . (33) This, together with assumption conditions imposed on the sequences {πΌπ } and {π½π }, shows that limKπ ∋π → ∞ π(βπ½π₯π − π π½ππ π π₯π β) = 0. In view of property of π, we have that lim π σ΅©σ΅© σ΅© σ΅©π½π₯π − π½ππ π π₯π σ΅©σ΅©σ΅© = 0. Kπ ∋π → ∞ σ΅© (34) π In addition, π½π₯π → π½π₯∗ implies that limKπ ∋π → ∞ π½ππ π π₯π = π½π₯∗ . From Remark 4 (ii), it yields that, as Kπ ∋ π → ∞, π π (32) π σ΅© σ΅© × (σ΅©σ΅©σ΅©π½π₯π − π½ππ π π₯π σ΅©σ΅©σ΅©) ; ππ π π₯π β π₯∗ , ∀π ≥ 1. (35) Again, since for each π ≥ 1, as Kπ ∋ π → ∞, σ΅¨σ΅¨σ΅©σ΅© ππ σ΅©σ΅© σ΅©σ΅© ∗ σ΅©σ΅©σ΅¨σ΅¨ σ΅¨σ΅¨σ΅©σ΅© ππ σ΅©σ΅© σ΅©σ΅© ∗ σ΅©σ΅©σ΅¨σ΅¨ σ΅©σ΅© ππ ∗σ΅© σ΅¨σ΅¨σ΅©σ΅©ππ π₯π σ΅©σ΅© − σ΅©σ΅©π₯ σ΅©σ΅©σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅©σ΅©π½ππ π₯π σ΅©σ΅© − σ΅©σ΅©π½π₯ σ΅©σ΅©σ΅¨σ΅¨ ≤ σ΅©σ΅©π½ππ π₯π − π½π₯ σ΅©σ΅©σ΅© σ³¨→ 0. (36) ≤ lim (π (π₯ππ , π₯1 ) − π (ΠπΆπ π₯1 , π₯1 )) π = lim (π (π₯ππ , π₯1 ) − π (π₯ππ , π₯1 )) π,π → ∞ ∗ (31) Kπ ∋π → ∞ π (π₯∗ , π¦) = lim π (π₯ππ , π₯ππ ) = lim π (π₯ππ , ΠπΆπ π₯1 ) π,π → ∞ (30) ∗ and so π,π → ∞ (28) Note that {ππ }π∈Kπ = {π, π + 1, π + 2, . . .}; that is, ππ ↑ ∞ as Kπ ∋ π → ∞. It follows from (27) and (28) that lim ππ = 0. (29) Kπ ∋π → ∞ π (23) π,π → ∞ ∀π ∈ Kπ . Note that πππ π = ππ π whenever π ∈ Kπ for each π ≥ 1. From (17) and (18), for any π ∈ πΉ, we have that = π (π₯∗ , π₯1 ) , π→∞ (27) Set Kπ = {π ≥ 1 : π = π + (π − 1)π/2, π ≥ π, π ∈ N} (ππ ) (π) (ππ ) (π) for each π ≥ 1. Note that ππ = ππ and ππ = ππ whenever π π π π π ∈ Kπ for each π ≥ 1. For example, by the definition of K1 , we have that K1 = {1, 2, 4, 7, 11, 16, . . .}, and π1 = π2 = π4 = π7 = π11 = π16 = ⋅ ⋅ ⋅ = 1. Then, we have that π→∞ σ΅© σ΅©2 σ΅© σ΅©2 ≥ σ΅©σ΅©σ΅©π₯∗ σ΅©σ΅©σ΅© − 2 β¨π₯∗ , π½π₯1 β© + σ΅©σ΅©σ΅©π₯1 σ΅©σ΅©σ΅© = π₯∗ . (IV) π₯∗ is some member of πΉ. (21) π→∞ π (π₯ππ , π₯1 ) ≤ π (π₯∗ , π₯1 ) , that is, π₯∗ = π¦, and so ∗ = π (π₯ , π₯1 ) − π (π₯ , π₯1 ) = 0; (26) This, together with (35) and the Kadec-Klee property of πΈ, shows that π lim ππ π π₯π = π₯∗ , ∀π ≥ 1. (37) K ∋π → ∞ π Abstract and Applied Analysis 5 On the other hand, by the assumptions that for each π ≥ 1, ππ is uniformly πΏ π -Lipschitz continuous, and noting again that {ππ }π∈Kπ = {π, π + 1, π + 2, . . .}, that is, ππ+1 − 1 = ππ for all π ∈ Kπ , we then have π π σ΅© σ΅© π σ΅© σ΅©σ΅© ππ+1 σ΅©σ΅©ππ π₯π − ππ π π₯π σ΅©σ΅©σ΅© ≤ σ΅©σ΅©σ΅©ππ π+1 π₯π − ππ π+1 π₯π+1 σ΅©σ΅©σ΅© σ΅© π σ΅© + σ΅©σ΅©σ΅©ππ π+1 π₯π+1 − π₯π+1 σ΅©σ΅©σ΅© whose set of common solutions is denoted by Ω := ∩∞ π=1 Ωπ , where Ωπ denotes the set of solutions to generalized mixed equilibrium problem for ππ , π΅π , and ππ . Define a countable family of mappings {ππ,π }∞ π=1 : πΈ → πΆ with π > 0 as follows: 1 ππ,π (π₯) = {π§ ∈ πΆ : ππ (π§, π¦)+ β¨π¦−π§, π½π§−π½π₯β© ≥ 0, ∀π¦ ∈ πΆ} , π π σ΅© σ΅© σ΅© σ΅© + σ΅©σ΅©σ΅©π₯π+1 − π₯π σ΅©σ΅©σ΅© + σ΅©σ΅©σ΅©π₯π − ππ π π₯π σ΅©σ΅©σ΅© σ΅© σ΅© π σ΅© σ΅© ≤ (πΏ π +1) σ΅©σ΅©σ΅©π₯π+1 −π₯π σ΅©σ΅©σ΅© + σ΅©σ΅©σ΅©ππ π+1 π₯π+1 −π₯π+1 σ΅©σ΅©σ΅© π σ΅© σ΅© + σ΅©σ΅©σ΅©π₯π − ππ π π₯π σ΅©σ΅©σ΅© . (38) π From (37) and π₯π → π₯∗ , we have that limKπ ∋π → ∞ βππ π+1 π₯π − π π ππ π π₯π β = 0, and limKπ ∋π → ∞ ππ π+1 π₯π = π₯∗ ; that is, π −1 limKπ ∋π → ∞ ππ (ππ π+1 π₯π ) = π₯∗ . It then follows that, for each π ≥ 1, π lim ππ (ππ π π₯π ) = π₯∗ . Kπ ∋π → ∞ (39) In view of the closeness of ππ , it follows from (37) that ππ π₯∗ = π₯∗ , namely, for each π ≥ 1, π₯∗ ∈ πΉ(ππ ), and, hence, π₯∗ ∈ πΉ. (V) π₯∗ = ΠπΉ π₯1 , and so π₯π → ΠπΉ π₯1 as π → ∞. Put π’ = ΠπΉ π₯1 . Since π’ ∈ πΉ ⊂ πΆπ and π₯π = ΠπΆπ π₯1 , we have that π(π₯π , π₯1 ) ≤ π(π’, π₯1 ), for all π ≥ 1. Then, ∗ π (π₯ , π₯1 ) = lim π (π₯π , π₯1 ) ≤ π (π’, π₯1 ) , π→∞ (40) ∗ which implies that π₯ = π’ since π’ = ΠπΉ π₯1 , and, hence, π₯π → π₯∗ = ΠπΉ π₯1 . This completes the proof. 4. Applications Let πΈ be a smooth, strictly convex, and reflexive Banach space, and let πΆ be a nonempty closed convex subset of πΈ. ∗ Let {π΅π }∞ π=1 : πΆ → πΈ be a sequence of π½π -inverse strongly monotone mappings, {π}∞ π=1 : πΆ → R a sequence of lower semicontinuous and convex functions, and {ππ }∞ π=1 : πΆ × πΆ → R a sequence of bifunctions satisfying the following conditions: (A1 ) π(π₯, π₯) = 0; (A3 ) lim supπ‘↓0 π(π₯ + π‘(π§ − π₯), π¦) ≤ π(π₯, π¦); (A4 ) the mapping π¦ σ³¨→ π(π₯, π¦) is convex and lower semicontinuous. A system of generalized mixed equilibrium problems ∞ ∞ ∗ (GMEPs), for {ππ }∞ π=1 , {π΅π }π=1 , and {ππ }π=1 is to find an π₯ ∈ πΆ such that ∀π¦ ∈ πΆ, π ≥ 1, where ππ (π₯, π¦) = ππ (π₯, π¦) + β¨π¦ − π₯, π΅π π₯β© + ππ (π¦) − ππ (π₯), for all π₯, π¦ ∈ πΆ, π ≥ 1. It has been shown by Zhang [15] that (1) {ππ,π }∞ π=1 is a sequence of single-valued mappings; (2) {ππ,π }∞ π=1 is a sequence of closed quasi-π-nonexpansive mappings; (3) β∞ π=1 πΉ(ππ,π ) = Ω. Now, we have the following result. Theorem 9. Let πΈ be the same as that in Theorem 8, and let C be a nonempty closed convex subset of E. Let {ππ,π }∞ π=1 : πΆ → πΆ be a sequence of mappings defined by (42) with πΉ := β∞ π=1 πΉ(ππ,π ) =ΜΈ 0. Let {πΌπ } be a sequence in [0, π] for some π ∈ (0, 1), and let {π½π } be a sequence in [0, 1] satisfying 0 < lim inf π → ∞ π½π (1 − π½π ). Let {π₯π } be the sequence generated by π₯1 ∈ πΆ; πΆ1 = πΆ, π¦π = π½−1 [πΌπ π½π₯π + (1 − πΌπ ) π½π§π ] , π§π = π½−1 [π½π π½π₯π + (1 − π½π ) π½ππ,ππ π₯π ] , (43) πΆπ+1 = {π£ ∈ πΆπ : π (π£, π¦π ) ≤ π (π£, π₯π )} , π₯π+1 = ΠπΆπ+1 π₯1 , ∀π ≥ 1, where ππ satisfies the positive integer equation: π = π + (π − 1)π/2, and π ≥ π (π ≥ π, π = 1, 2, . . .). Then, {π₯π } converges strongly to ΠπΉ π₯1 which is some solution to the system of generalized mixed equilibrium problems for {ππ,π }∞ π=1 . Proof. Note that {ππ,π }∞ π=1 are quasi-π-nonexpansive mappings; so, they are obviously generalized quasi-π-asymptotically nonexpansive. Therefore, this conclusion can be obtained immediately from Theorem 8. Acknowledgments (A2 ) π is monotone; that is, π(π₯, π¦) + π(π¦, π₯) ≤ 0; ππ (π₯∗ , π¦) + β¨π¦ − π₯∗ , π΅π π₯∗ β© + ππ (π¦) − ππ (π₯∗ ) ≥ 0, ∀π ≥ 1, (42) (41) The author is greatly grateful to the referees for their useful suggestions by which the contents of this paper are improved. This work was supported by the National Natural Science Foundation of China (Grant no. 11061037). References [1] B. Ali and M. S. Minjibir, “Convergence of a hybrid iterative method for finite families of generalized quasi-π-asymptotically nonexpansive mappings,” Fixed Point Theory and Applications, vol. 2012, article 121, 2012. 6 [2] K. Goebel and W. A. Kirk, “A fixed point theorem for asymptotically nonexpansive mappings,” Proceedings of the American Mathematical Society, vol. 35, pp. 171–174, 1972. [3] S.-y. Matsushita and W. Takahashi, “A strong convergence theorem for relatively nonexpansive mappings in a Banach space,” Journal of Approximation Theory, vol. 134, no. 2, pp. 257– 266, 2005. [4] S. Plubtieng and K. Ungchittrakool, “Hybrid iterative methods for convex feasibility problems and fixed point problems of relatively nonexpansive mappings in Banach spaces,” Fixed Point Theory and Applications, vol. 2008, Article ID 583082, 19 pages, 2008. [5] S. S. Chang, H. W. Joseph Lee, and C. K. Chan, “A block hybrid method for solving generalized equilibrium problems and convex feasibility problem,” Advances in Computational Mathematics. In press. [6] L.-C. Ceng, S.-M. Guu, H.-Y. Hu, and J.-C. Yao, “Hybrid shrinking projection method for a generalized equilibrium problem, a maximal monotone operator and a countable family of relatively nonexpansive mappings,” Computers & Mathematics with Applications, vol. 61, no. 9, pp. 2468–2479, 2011. [7] Y. F. Su, H. K. Xu, and X. Zhang, “Strong convergence theorems for two countable families of weak relatively nonexpansive mappings and applications,” Nonlinear Analysis. Theory, Methods & Applications, vol. 73, no. 12, pp. 3890–3906, 2010. [8] E. U. Ofoedu and D. M. Malonza, “Hybrid approximation of solutions of nonlinear operator equations and application to equation of Hammerstein-type,” Applied Mathematics and Computation, vol. 217, no. 13, pp. 6019–6030, 2011. [9] Z. Wang, Y. Su, D. Wang, and Y. Dong, “A modified Halperntype iteration algorithm for a family of hemi-relatively nonexpansive mappings and systems of equilibrium problems in Banach spaces,” Journal of Computational and Applied Mathematics, vol. 235, no. 8, pp. 2364–2371, 2011. [10] S.-s. Chang, C. K. Chan, and H. W. J. Lee, “Modified block iterative algorithm for quasi-π-asymptotically nonexpansive mappings and equilibrium problem in Banach spaces,” Applied Mathematics and Computation, vol. 217, no. 18, pp. 7520–7530, 2011. [11] Y. Yao, Y.-C. Liou, and S. M. Kang, “Strong convergence of an iterative algorithm on an infinite countable family of nonexpansive mappings,” Applied Mathematics and Computation, vol. 208, no. 1, pp. 211–218, 2009. [12] H. Zegeye, E. U. Ofoedu, and N. Shahzad, “Convergence theorems for equilibrium problem, variational inequality problem and countably infinite relatively quasi-nonexpansive mappings,” Applied Mathematics and Computation, vol. 216, no. 12, pp. 3439–3449, 2010. [13] W. Nilsrakoo and S. Saejung, “Strong convergence theorems by Halpern-Mann iterations for relatively nonexpansive mappings in Banach spaces,” Applied Mathematics and Computation, vol. 217, no. 14, pp. 6577–6586, 2011. [14] S. S. Chang, H. W. J. Lee, C. K. Chan, and J. ai Liu, “Strong convergence theorems for countable families of asymptotically relatively nonexpansive mappings with applications,” Applied Mathematics and Computation, vol. 218, no. 7, pp. 3187–3198, 2011. [15] S.-S. Zhang, “Generalized mixed equilibrium problem in Banach spaces,” Applied Mathematics and Mechanics, vol. 30, no. 9, pp. 1105–1112, 2009. [16] S. S. Chang, J. K. Kim, and X. R. Wang, “Modified block iterative algorithm for solving convex feasibility problems in Abstract and Applied Analysis [17] [18] [19] [20] Banach spaces,” Journal of Inequalities and Applications, vol. 2010, Article ID 869684, 14 pages, 2010. Y. I. Alber, “Metric and generalized projection operators in Banach spaces: properties and applications,” in Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, vol. 178 of Lecture Notes in Pure and Applied Mathematics, pp. 15–50, Dekker, New York, NY, USA, 1996. I. Cioranescu, Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, vol. 62 of Mathematics and its Applications, Kluwer Academic Publishers Group, Dordrecht, The Netherlands, 1990. S. S. Chang, H. W. J. Lee, C. K. Chan, and W. B. Zhang, “A modified halpern-type iteration algorithm for totally quasiπ-asymptotically nonexpansive mappings with applications,” Applied Mathematics and Computation, vol. 218, no. 11, pp. 6489–6497, 2012. H. K. Xu, “Inequalities in Banach spaces with applications,” Nonlinear Analysis. Theory, Methods & Applications, vol. 16, no. 12, pp. 1127–1138, 1991. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014