Research Article A New Iterative Method for Solving a System of

advertisement
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 Fréchet differentiable if for each
π‘₯ ∈ 𝑆(𝐸), the limit (11) is attained uniformly for 𝑦 ∈ 𝑆(𝐸). The
norm of 𝐸 is said to be uniformly Fré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
Download