Skip to content

Advertisement

Open Access

A hybrid iteration scheme for equilibrium problems and common fixed point problems of generalized quasi-ϕ-asymptotically nonexpansive mappings in Banach spaces

Fixed Point Theory and Applications20122012:33

https://doi.org/10.1186/1687-1812-2012-33

Received: 18 September 2011

Accepted: 1 March 2012

Published: 1 March 2012

Abstract

In this article, we introduce an iterative algorithm for finding a common element of the set of common fixed points of a finite family of closed generalized quasi-ϕ-asymptotically nonexpansive mappings and the set of solutions of equilibrium problem in Banach spaces. Then we study the strong convergence of the algorithm. Our results improve and extend the corresponding results announced by many others.

Mathematics Subject Classification (2000): 47H09; 47H10; 47J05; 54H25.

Keywords

equilibrium problemgeneralized quasi-ϕ-asymptotically nonexpansive mappingstrong convergencecommon fixed pointBanach space

1. Introduction and preliminary

Let E be a Banach space with the dual E*. Let C be a nonempty closed convex subset of E and f :C × C a bifunction, where is the set of real numbers. The equilibrium problem for f is to find x ^ C such that
f ( x ^ , y ) 0
(1.1)

for all y C. The set of solutions of (1.1) is denoted by EP(f). Given a mapping T :CE*, let f(x, y) = 〈Tx, y - x〉 for all x,y C. Then x ^ E P ( f ) if and only if T x ^ , y - x ^ 0 for all y C, i.e., x ^ is a solution of the variational inequality. Numerous problems in physics, optimization, engineering and economics reduce to find a solution of (1.1). Some methods have been proposed to solve the equilibrium problem; see, for example, Blum-Oettli [1] and Moudafi [2]. For solving the equilibrium problem, let us assume that f satisfies the following conditions:

(A 1) f(x, x) = 0 for all x C;

(A 2) f is monotone, that is, f(x, y) + f(y, x) ≤ 0 for all x, y C;

(A 3) for each x, y, z C, limt→0f(tz + (1 - t)x, y) ≤ f(x, y);

(A 4) for each x C, the function y f(x, y) is convex and lower semicontinuous.

Let E be a Banach space with the dual E*. We denote by J the normalized duality mapping from E to 2 E * defined by
J ( x ) = { x * E * : x , x * = x 2 = x * 2 } ,

where 〈·, ·〉 denotes the generalized duality pairing. We know that if E is uniformly smooth, strictly convex, and reflexive, then the normalized duality mapping J is single-valued, one-to-one, onto and uniformly norm-to-norm continuous on each bounded subset of E. Moreover, if E is a reflexive and strictly convex Banach space with a strictly convex dual, then J-1 is single-valued, one-to-one, surjective, and it is the duality mapping from E* into E and thus JJ-1 = IE*and J-1J = I E (see, [3]). It is also well known that if E is uniformly smooth if and only if E* is uniformly convex.

Let C be a nonempty closed convex subset of a Banach space E and T : CC a mapping. A point x C is said to be a fixed point of T provided Tx = x. In this article, we use F(T) to denote the fixed point set and use → to denote the strong convergence. Recall that a mapping T : CC is called nonexpansive if
T x - T y x - y , x , y C .
A mapping T: CC is called asymptotically nonexpansive if there exists a sequence {k n } of real numbers with k n → 1 as n → ∞ such that
T n x - T n y k n x - y , x , y C , n 1 .

The class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [4] in 1972. They proved that, if C is a nonempty bounded closed convex subset of a uniformly convex Banach space E, then every asymptotically nonexpansive self-mapping T of C has a fixed point. Further, the set F(T) is closed and convex. Since 1972, a host of authors have studied the weak and strong convergence problems of the iterative algorithms for such a class of mappings (see, e.g., [46] and the references therein).

It is well known that if C is a nonempty closed convex subset of a Hilbert space H and P C : HC is the metric projection of H onto C, then P C is nonexpansive. This fact actually characterizes Hilbert spaces and consequently, it is not available in more general Banach spaces. In this connection, Alber [7] recently introduced a generalized projection operator Π C in a Banach space E which is an analogue of the metric projection in Hilbert spaces.

Next, we assume that E is a smooth Banach space. Consider the functional defined by
ϕ ( x , y ) = x 2 - 2 x , J y + y 2 , x , y E .
Following Alber [7], the generalized projection Π C : EC is a mapping that assigns to an arbitrary point x E the minimum point of the functional ϕ(y, x), that is, C x = x ̄ , where x ̄ is the solution to the following minimization problem:
ϕ ( x ̄ , x ) = inf y C ϕ ( y , x ) .
It follows from the definition of the function ϕ that
( y - x ) 2 ϕ ( y , x ) ( y + x ) 2 , x , y E .

If E is a Hilbert space, then ϕ(y, x) = y - x2 and Π C = P C is the metric projection of H onto C.

Remark 1.1[8, 9] If E is a reflexive, strictly convex and smooth Banach space, then for x, y E, ϕ(x, y) = 0 if and only if x = y.

Let C be a nonempty, closed and convex subset of a smooth Banach E and T a mapping from C into itself. The mapping T is said to be ϕ-nonexpansive if ϕ(Tx, Ty) ≤ ϕ(x, y), x, y C. The mapping T is said to be quasi-ϕ-nonexpansive if F ( T ) , ϕ(p, Tx) ≤ ϕ(p, x), x C, p F(T). The mapping T is said to be ϕ-asymptotically nonexpansive if there exists some real sequence {k n } with k n ≥ 1 and k n → 1 as n → ∞ such that ϕ(T n x, T n y) ≤ k n ϕ(x,y), x, y C. The mapping T is said to be quasi-ϕ-asymptotically nonexpansive if F ( T ) and there exists some real sequence {k n } with k n ≥1 and k n → 1 as n → ∞ such that ϕ(p, T n x) ≤ k n ϕ(p, x), x C, p F(T). The mapping T is said to be generalized quasi-ϕ-asymptotically nonexpansive if F ( T ) and there exist nonnegative real sequences {k n } and {c n } with k n ≥ 1, limn→∞k n = 1 and limn→∞c n = 0 such that ϕ(p, T n x) ≤ k n ϕ(p, x) + c n , x C, p F(T). The mapping T is said to be asymptotically regular on C if, for any bounded subset K of C, lim supn→∞{Tn+1x - T n x: x K} = 0. The mapping T is said to be closed on C if, for any sequence {x n } such that limn→∞x n = x0 and limn→∞Tx n = y0, then Tx0 = y0.

We remark that a ϕ-asymptotically nonexpansive mapping with a nonempty fixed point set F(T) is a quasi-ϕ-asymptotically nonexpansive mapping, but the converse may be not true. The class of generalized quasi-ϕ-asymptotically nonexpansive mappings is more general than the class of quasi-ϕ-asymptotically nonexpansive mappings and ϕ-asymptotically nonexpansive mappings. The following example shows that the inclusion is proper. Let K = [ - 1 π , 1 π ] and define (see [10]) T x = x 2 sin ( 1 x ) if x ≠ 0 and Tx = 0 if x = 0. Then T n x → 0 uniformly but T is not Lipschitzian. It should be noted that F(T) = {0}. For each fixed n, define f n (x) = T n x2 - x2 for x K. Set c n = supxK{f n (x), 0}. Then limn→∞c n = 0 and
ϕ ( 0 , T n x ) = T n x 2 x 2 + c n = ϕ ( 0 , x ) + c n .

This show that T is a generalized quasi-ϕ-asymptotically nonexpansive but it is not quasi-ϕ-asymptotically nonexpansive and ϕ-asymptotically nonexpansive. Recently, many authors studied the problem of finding a common element of the set of fixed points of nonexpansive or quasi-ϕ-asymptotically nonexpansive mappings and the set of solutions of an equilibrium problem in the frame work of Hilbert spaces and Banach spaces respectively; see, for instance, [1115] and the references therein.

In 2009, Cho, Qin and Kang [16] introduced the following iterative scheme on a closed quasi-ϕ-asymptotically nonexpansive mapping:
x 0 E , C 1 = C , x 1 = C 1 x 0 , y n = J - 1 ( α n J x 1 + ( 1 - α n ) J T n x n ) , C n + 1 = { z C n : ϕ ( z , y n ) ϕ ( z , x n ) + α n M } , x n + 1 = C n + 1 x 1 , n 0 .

Strong convergence theorems of fixed points are established in a uniformly smooth and uniformly convex Banach space.

Recently, Takahashi and Zembayashi [17] introduced the following iterative process:
x 0 = x C , y n = J - 1 ( α n J x n + ( 1 - α n ) J S x n ) , u n C s u c h t h a t f ( u n , y ) + 1 r n y - u n , J u n - J y n 0 , y C , H n = { z C : ϕ ( z , u n ) ϕ ( z , x n ) } , W n = { z C : x n - z , J x - J x n 0 } , x n + 1 = H n W n x , n 1 ,
(1.2)

where f:C × C is a bifunction satisfying (A 1)-(A 4), J is the normalized duality mapping on E and S : CC is a relatively nonexpansive mapping. They proved the sequences {x n } defined by (1.2) converge strongly to a common point of the set of solutions of the equilibrium problem (1.1) and the set of fixed points of S provided the control sequences {α n } and {r n } satisfy appropriate conditions in Banach spaces.

In this article, inspired and motivated by the works mentioned above, we introduce an iterative process for finding a common element of the set of common fixed points of a finite family of closed generalized quasi-ϕ-asymptotically nonexpansive mappings and the solution set of equilibrium problem in Banach spaces. In the meantime, the method of the proof is different from the original one. The results presented in this article improve and generalize the corresponding results announced by many others.

Let C n be a sequence of nonempty closed convex subsets of a reflexive Banach space E. We denote two subsets s - Li n C n and w - Ls n C n as follows: x s - Li n C n if and only if there exists {x n } E such that {x n } converges strongly to x and that x n C n for all n ≥ 0. Similarly, y w - Ls n C n if and only if there exists a subsequence { C n i } of {C n } and a sequence {y i } E such that {y i } converges weakly to y and that y i C n i for all i ≥ 0. We define the Mosco convergence [18] of {C n } as follows: If C0 satisfies that C0 = s - Li n C n = w - Ls n C n , it is said that {C n } converges to C0 in the sense of Mosco and we write C0 = M - lim n →∞ C n . For more detail, see [19].

In order to obtain the main results of this paper, we need the following lemmas.

Lemma 1.2[20]Let E be a smooth and uniformly convex Banach space and let {x n } and {y n } be sequences in E such that either {x n } or {y n } is bounded. If limn→∞ϕ(x n ,yn) = 0, then limn→∞x n - y n = 0.

Lemma 1.3[21]Let E be a smooth, strictly convex and reflexive Banach space having the Kadec-Klee property. Let {K n } be a sequence of nonempty closed convex subsets of E. If K0 = M-limn→∞K n exists and is nonempty, then { K n x } converges strongly to { K 0 x } for each x C.

Lemma 1.4[8, 22]Let E be a uniformly convex Banach space, s > 0 a positive number and B s (0) a closed ball of E. Then there exists a strictly increasing, continuous, and convex function g: [0, ∞) → [0, ∞) with g(0) = 0 such that
i = 0 N ( α i x i ) 2 i = 0 N α i x i 2 - α k α l g ( x k - x l )

for any k, l {0, 1,. .., N}, for all x0, x1, .. ., x N B s (0) = {x E : xs} and α0, α1,...,α n [0, 1] such that i = 0 N α i = 1 .

Lemma 1.5[1]Let C be a closed convex subset of a smooth, strictly convex, and reflexive Banach space E, let f be a bifunction from C × C to satisfying (A 1)-(A 4), and letr > 0 and x E. Then, there exists z C such that
f ( z , y ) + 1 r y - z , J z - J x 0 , y C .
Lemma 1.6[17]Let C be a closed convex subset of a uniformly smooth, strictly convex, and reflexive Banach space E. Let f be a bifunction from C × C to satisfying (A 1)-(A 4). For r > 0 and x E, define a mapping T r : EC as follows:
T r ( x ) = { z C : f ( z , y ) + B x , y - z + 1 r y - z , J z - J x 0 , y C }
for all x E. Then, the following hold:
  1. (1)

    T r is single-valued;

     
  2. (2)
    T r is firmly nonexpansive, i.e., for any x, y E,
    T r x - T r y , J T r x - J T r y T r x - T r y , J x - J y ;
     
  3. (3)

    F(T r ) = EP(f);

     
  4. (4)

    EP(f) is closed and convex;

     
  5. (5)

    ϕ(q,T r x) + ϕ(T r x, x) ≤ ϕ ( q, x ), q F(T r ).

     

Lemma 1.7 Let E be a uniformly convex and uniformly smooth Banach space, C a nonempty, closed and convex subset of E and T a closed generalized quasi-ϕ-asymptotically nonexpansive mapping from C into itself. Then F(T) is a closed convex subset of C.

Proof. We first show that F(T) is closed. To see this, let {p n } be a sequence in F(T) with p n p as n → ∞, we shall prove that p F(T). By using the definition of T, we have
ϕ ( p n , T n p ) k n ϕ ( p n , p ) + c n ,
which implies that ϕ(p n , T n p) → 0 as n → ∞. It follows from Lemma 1.2 that p n -T n p → 0 as n → ∞ and hence T n pp as n → ∞. We have T(T n p) = Tn+1p → p as n → ∞. It follows from the closedness of T that Tp = p. We next show that F(T) is convex. To prove this, for arbitrary p, q F(T), t (0, 1), we set w = tp + (1 - t)q. By (1.3), we have
ϕ ( w , T n w ) = w 2 - 2 w , J T n w + T n w 2 = w 2 - 2 t p , J T n w - 2 ( 1 - t ) q , J T n w + T n w 2 = w 2 + t ϕ ( p , T n w ) + ( 1 - t ) ϕ ( q , T n w ) - t p 2 - ( 1 - t ) q 2 w 2 + t k n ϕ ( p , w ) + t c n + ( 1 - t ) k n ϕ ( q , w ) + ( 1 - t ) c n - t p 2 - ( 1 - t ) q 2 = w 2 + t k n p 2 - 2 t k n p , J w + t k n w 2 + ( 1 - t ) k n q 2 - 2 ( 1 - t ) k n q , J w + ( 1 - t ) k n w 2 + c n - t p 2 - ( 1 - t ) q 2 = ( k n - 1 ) ( t p 2 + ( 1 - t ) q 2 ) + w 2 + k n w 2 - 2 k n ( w , J w ) + c n = ( k n - 1 ) ( t p 2 + ( 1 - t ) q 2 ) + ( k n + 1 ) w 2 - 2 k n w 2 + c n = ( k n - 1 ) ( t p 2 + ( 1 - t ) q 2 - w 2 ) + c n ,

which implies that ϕ(w, T n w) → 0 as n → ∞. By Lemma 1.2, we obtain T n ww as n → ∞, and hence T(T n w) = Tn+1ww as n → ∞. Since T is closed, we see that w = Tw. This completes the proof.

2. Main results

Theorem 2.1 Let C be a nonempty, closed and convex subset of a uniformly convex and uniformly smooth real Banach space E and let T i : CC be a closed and generalized quasi-ϕ-asymptotically nonexpansive mapping with real sequences {k n,i } [1, ∞) and {c n,i } [0, ∞) such that lim n→∞k n,i = 1 and limn→∞c n,i = 0 for each 1 ≤ iN. Let f be a bifunction from C × C to satisfying (A 1)-(A 4). Assume that T i is asymptotically regular on C for each 1 ≤ iN and F = ( i = 1 N F ( T i ) ) E P ( f ) . Let k n = max1≤iN{k n, i } and c n = max1≤iN{c n,i }. Define a sequence {x n } in C in the following manner:
x 0 E c h o s e n a r b i t r a r i l y , C 1 = C , x 1 = C 1 x 0 , y n = J - 1 ( α n , 0 J x n + i = 1 N α n , i J T i n x n ) , u n C s u c h t h a t f ( u n , y ) + 1 r n y - u n , J u n - J y n 0 , y C , C n + 1 = { z C n : ϕ ( z , u n ) k n ϕ ( z , x n ) + c n } , x n + 1 = C n + 1 x 1
(2.1)

for every n ≥ 1, where {r n } is a real sequence in [a, ∞) for some a > 0, J is the normalized duality mapping on E. Assume that the control sequences {αn,0}, {αn,1}, , {α n,N } are real sequences in (0,1) satisfy i = 0 N α n , i = 1 and lim infn→∞αn,0α n,i > 0 for each i {1, 2, · · ·, N}. Then the sequence {x n } converges strongly to F x1, where Π F is the generalized projection from C into F.

Proof. Firstly, by Lemma 1.7, we know that F(T i ) is a closed convex subset of C for every 1 ≤ iN. Hence, F = ( i = 1 N F ( T i ) ) E P ( f ) is a nonempty closed convex subset of C and Π F x1 is well defined for x1 C. Now we show that C n is closed and convex for each n ≥ 1. From the definition of C n , it is obvious that C n is closed for each n ≥ 1. We show that C n is convex for each n ≥ 1. It is obvious that C1 = C is convex. Suppose that C n is convex for some integer n. Observe that the set
C n + 1 = { z C n : ϕ ( z , u n ) k n ϕ ( z , x n ) + c n }
can be written to
C n + 1 = { z C n : ( 1 - k n ) z 2 + u n 2 - k n x n 2 - c n 2 z , J u n - k n J x n } .
For z1, z2 Cn+1 C n and t (0,1), denote z = tz1 + (1 - t)z2, we have z C n . Setting A = u n 2 - k n x n 2 -c n and B = Ju n -k n Jx n , by noting that · 2 is convex, we have
z 2 t z 1 2 + ( 1 - t ) z 2 2 .
So we obtain
( 1 - k n ) z 2 + A ( 1 - k n ) t z 1 2 + ( 1 - k n ) ( 1 - t ) z 2 2 + A 2 t z 1 , B + 2 ( 1 - t ) z 2 , B = 2 z , B ,

which implies that z Cn+1, so we get Cn+1is convex. Thus, C n is closed and convex for each n ≥ 1.

Secondly, we prove that F C n for all n ≥ 1. We do this by induction. For n = 1, we have F C = C1. Suppose that F C n for some n ≥ 1. Let p F C. Putting u n = T r n y n for all n ≥ 1, we have that T r n is quasi-ϕ-nonexpansive from Lemma 1.6. Since T i is generalized quasi-ϕ-asymptotically nonexpansive, by noting that · 2 is convex, we have
ϕ ( p , u n ) = ϕ ( p , T r n y n ) ϕ ( p , y n ) = ϕ ( p , J - 1 ( α n , 0 J x n + i = 1 N α n , i J T i n x n ) ) = p 2 - 2 p , α n , 0 J x n + i = 1 N α n , i J T i n x n + α n , 0 J x n + i = 1 N α n , i J T i n x n 2 p 2 - 2 α n , 0 p , J x n - 2 i = 1 N α n , i p , J T i n x n + α n , 0 x n 2 + i = 1 N α n , i T i n x n 2 = α n , 0 ϕ ( p , x n ) + i = 1 N α n , i ϕ ( p , T i n x n ) α n , 0 ϕ ( p , x n ) + i = 1 N α n , i k n , i ϕ ( p , x n ) + i = 1 N α n , i c n , i k n ϕ ( p , x n ) + c n ,
(2.2)

which infers that p Cn+1, and hence F Cn+1. This proves that F C n for all n ≥ 1.

Thirdly, we show that lim n x n = x * = C ¯ x 1 , where C ¯ = n = 1 C n . Indeed, since {C n } is a decreasing sequence of closed convex subsets of E such that C ¯ = n = 1 C n is nonempty, it follows that
M - lim n C n = C ¯ = n = 1 C n .

By Lemma 1.3, { x n } = { Π C n x 1 } converges strongly to { x * } = { Π C ¯ x 1 } and {x n } is bounded.

Fourthly, we prove that x* F.

Since x n + 1 = Π C n + 1 x 1 C n + 1 , from the definition of Cn+1, we get
ϕ ( x n + 1 , u n ) k n ϕ ( x n + 1 , x n ) + c n .
From limn → ∞x n = x*, one obtain ϕ(xn+1,x n ) → 0 as n → ∞, and it follows from limn → ∞c n = 0 we have
ϕ ( x n + 1 , u n ) = 0 .
Thus, limn→∞xn+1- u n = 0 by Lemma 1.2. It should be noted that
x n - u n x n - x n + 1 + x n + 1 - u n
for all n ≥ 1. It follows that
lim n x n - u n = 0 ,
(2.3)
which implies that u n x* as n → ∞. Since J is uniformly norm-to-norm continuous on bounded sets, from (2.3), we have
lim n J x n - J u n = 0 .
(2.4)
Let s = sup x n , T 1 n x n , T 2 n x n , , T N n x n : n . Since E is uniformly smooth Banach space, we know that E* is a uniformly convex Banach space. Therefore, from Lemma 1.4 we have, for any p F, that
ϕ ( p , u n ) = ϕ ( p , T r n y n ) ϕ ( p , y n ) = ϕ ( p , J - 1 ( α n , 0 J x n + i = 1 N α n , i J T i n x n ) ) = p 2 - 2 α n , 0 p , J x n - 2 i = 1 N α n , i p , J T i n x n + α n , 0 J x n + j = 1 N α n , i J T i n x n 2 p 2 - 2 α n , 0 p , J x n - 2 i = 1 N α n , i p , J T i n x n + α n , 0 x n 2 + i = 1 N α n , i T i n x n 2 - α n , 0 α n , 1 g ( J x n - J T 1 n x n ) = α n , 0 ϕ ( p , x n ) + i = 1 N α n , i ϕ ( p , T i n x n ) - α n , 0 α n , 1 g ( J x n - J T 1 n x n ) α n , 0 ϕ ( p , x n ) + i = 1 N α n , i k n , i ϕ ( p , x n ) + i = 1 N α n , i c n , i - α n , 0 α n , 1 g ( J x n - J T 1 n x n ) k n ϕ ( p , x n ) + c n - α n , 0 α n , 1 g ( J x n - J T 1 n x n ) = ϕ ( p , x n ) + ( k n - 1 ) ϕ ( p , x n ) + c n - α n , 0 α n , 1 g ( J x n - J T 1 n x n ) .
Therefore, we have
α n , 0 α n , 1 g ( J x n - J T 1 n x n ) ϕ ( p , x n ) - ϕ ( p , u n ) + ( k n - 1 ) ϕ ( p , x n ) + c n .
(2.5)
On the other hand, we have
ϕ ( p , x n ) - ϕ ( p , u n ) = x n 2 - u n 2 - 2 p , J x n - J u n x n - u n ( x n + u n ) + 2 J x n - J u n p x n - u n ( x n + u n ) + 2 J x n - J u n p .
It follows from (2.3) and (2.4) that
lim n ( ϕ ( p , x n ) - ϕ ( p , u n ) ) = 0 .
(2.6)
Since limn→∞k n = 1, limn→∞c n = 0 and lim infn→∞αn,0αn, 1> 0, from (2.5) and (2.6) we have
lim n g ( J x n - J T 1 n x n ) = 0 .
Therefore, from the property of g, we obtain
lim n J x n - J T 1 n x n = 0 .
Since J-1 is uniformly norm-to-norm continuous on bounded sets, we have
lim n x n - T 1 n x n = 0 ,
(2.7)
and hence T 1 n x n x * as n → ∞. Since T 1 n + 1 x n - x * T 1 n + 1 x n - T 1 n x n + T 1 n x n - x * , it follows from the asymptotical regularity of T1 that
lim n T 1 n + 1 x n - x * = 0 .

That is, T 1 ( T 1 n x n ) x * as n → ∞. From the closedness of T1, we get T1x* = x*. Similarly, one can obtain that T i x* = x* for i = 2,..., N. So, x * i = 1 N F ( T i ) .

Now we show x* EP(f) = F(T r ). Let p F. From u n = T r n y n , (2.2) and Lemma 1.6, we obtain that
ϕ ( u n , y n ) = ϕ ( T r n y n , y n ) ϕ ( p , y n ) - ϕ ( p , T r n y n ) ϕ ( p , x n ) + ( k n - 1 ) ϕ ( p , x n ) + c n - ϕ ( p , u n ) .
It follows from (2.6), k n → 1 and c n → 0 that ϕ(u n , y n ) → 0 as n → ∞. Now, by Lemma 1.2, we have that u n - y n → 0 as n → ∞, and hence, Ju n - Jy n → 0 as n → ∞. Since u n x* as n → ∞, we obtain that y n x*. From the assumption r n > a, we get
lim n J u n - J y n r n = 0 .
(2.8)
Noting that u n = T r n y n , we obtain
f ( u n , y ) + 1 r n y - u n , J u n - J y n 0 , y C .
From (A 2), we have
y - u n , J u n - J y n r n - f ( u n , y ) f ( y , u n ) , y C .
(2.9)
Letting n → ∞, we have from u n x*, (2.8) and (A 4) that f(y, x*) ≤ 0(y C). For t with 0 < t ≤ 1 and y C, let y t = ty + (1 - t)x*. Since y C and x* C, we have y t C and hence f(y t , x*) ≤ 0. Now, from (A 1) and (A 4), we have
0 = f ( y t , y t ) t f ( y t , y ) + ( 1 - t ) f ( y t , x * ) t f ( y t , y )

and hence f(y t ,y) ≥ 0. Letting t → 0, from (A 3), we have f(x*, y) ≥ 0. This implies that x* EP(f). Thus, x* F.

Finally, since x * = Π C ¯ x 1 F and F is a nonempty closed convex subset of C ¯ = n = 1 C n , we conclude that x* = Π F x1. This completes the proof.

In Hilbert spaces, Theorem 2.1 reduces to the following theorem.

Theorem 2.2 Let C be a nonempty, closed and convex subset of a Hilbert space H and let T i :CC be a closed and generalized quasi-ϕ-asymptotically nonexpansive mapping with real sequences {k n,i } [1, ∞) and {c n,i } [0, ∞) such that limn→∞k n,i = 1 and limn→∞c n,i = 0 for each 1 ≤ iN. Let f be a bifunction from C × C to satisfying (A 1)-(A 4). Assume that T i is asymptotically regular on C for each 1 ≤ iN and F = i = 1 N F ( T i ) E P ( f ) . Let k n = max1≤iN{k n,i } and c n = max1≤iN{c n,i }. Define a sequence {x n } in C in the following manner:
x 0 H c h o s e n a r b i t r a r i l y , C 1 = C , x 1 = P C 1 x 0 , y n = α n , 0 x n + i = 1 N α n , i T i n x n , u n C s u c h t h a t f ( u n , y ) + 1 r n y - u n , u n - y n 0 , y C , C n + 1 = z C n : z - u n 2 k n z - x n 2 + c n , x n + 1 = P C n + 1 x 1
(2.10)

for every n ≥ 1, where {r n } is a real sequence in [a, ∞) for some a > 0. Assume that the control sequences {αn,0}, {αn,1}, .. ., {α n,N } are real sequences in (0,1) satisfy i = 0 N α n , i = 1 αnd lim infn→∞αn,0α n,i > 0 for each i {1, 2, .. ., N}. Then the sequence {x n } converges strongly to P F x1.

Remark 2.3 Theorems 2.1 and 2.2 extend the main results of [16] from quasi-ϕ-nonexpansive mappings to more general generalized quasi-ϕ-asymptotically nonexpan-sive mappings.

Declarations

Acknowledgements

The research was supported by the science research foundation program in Civil Aviation University of China (2011kys02), it was also supported by Fundamental Research Funds for the Central Universities (Program No. ZXH2009D021 and No. ZXH2011D005).

Authors’ Affiliations

(1)
College of Science, Civil Aviation University of China, Tianjin, P.R. China

References

  1. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math Student 1994, 63: 123–145.MATHMathSciNetGoogle Scholar
  2. Moudafi A: Second-order differential proximal methods for equilibrium problems. J Inequal Pure Appl Math 2003., 4: (art. 18)Google Scholar
  3. Takahashi W: Nonlinear Functional Analysis. Kindikagaku, Tokyo (in Japanese); 1988.Google Scholar
  4. Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc Am Math Soc 1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3MATHMathSciNetView ArticleGoogle Scholar
  5. Schu J: Iteration construction of fixed points of asymptotically nonexpansive mappings. J Math Anal Appl 1991, 158: 407–413. 10.1016/0022-247X(91)90245-UMATHMathSciNetView ArticleGoogle Scholar
  6. Zhou H, Cho YJ, Kang SM: A new iterative algorithm for approximating common fixed points for asymptotically nonexpansive mappings. Fixed Point Theory Appl 2007, 2007: 64874.MathSciNetView ArticleGoogle Scholar
  7. Alber YI: Metric and generalized projection operators in Banach spaces: Properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartosatos, AG. Marcel Dekker, New York; 1996:15–50.Google Scholar
  8. Qin X, Cho SY, Kang SM: Strong convergence of shrinking projection methods for quasi- ϕ -nonexpansive mappings and equilibrium problems. J Comput Appl Math 2010, 234: 750–760. 10.1016/j.cam.2010.01.015MATHMathSciNetView ArticleGoogle Scholar
  9. Zhou H, Gao G, Tan B: Convergence theorems of a modified hybrid algorithm for a family of quasi- ϕ -asymptotically nonexpansive mappings. J Appl Math Comput 2010, 32: 453–464. 10.1007/s12190-009-0263-4MATHMathSciNetView ArticleGoogle Scholar
  10. Shahzad N, Zegeye H: Strong convergence of implicit iteration process for a finite family of generalized asymptotically quasi-nonexpansive maps. Appl Math Comput 2007, 189: 1058–1065. 10.1016/j.amc.2006.11.152MATHMathSciNetView ArticleGoogle Scholar
  11. Liu M, Chang SS, Zuo P: On a hybrid method for generalized mixed equilibrium problem and fixed point problem of a family of quasi- ϕ -asymptotically nonexpansive mappings in Banach spaces. Fixed Point Theory Appl 2010.Google Scholar
  12. Tada A, Takahashi W: Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem. J Optim Theory Appl 2007, 133: 359–370. 10.1007/s10957-007-9187-zMATHMathSciNetView ArticleGoogle Scholar
  13. Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. J Math Anal Appl 2007, 331: 506–515. 10.1016/j.jmaa.2006.08.036MATHMathSciNetView ArticleGoogle Scholar
  14. Zegeye H, Shahzad N: A hybrid approximation method for equilibrium, variational inequality and fixed point problems. Nonlinear Anal Hybrid Sys 2010, 4: 619–630. 10.1016/j.nahs.2010.03.005MATHMathSciNetView ArticleGoogle Scholar
  15. Zegeye H, Shahzad N: Convergence of Mann's type iteration method for generalized asymptotically nonexpansive mappings. Comput Math Appl 2011, 62: 4007–4014. 10.1016/j.camwa.2011.09.018MATHMathSciNetView ArticleGoogle Scholar
  16. Cho YJ, Qin X, Kang SM: Strong convergence of the modified Halpern-type iterative algorithms in Banach spaces. An St Univ Ovidius Constanta 2009, 17: 51–68.MATHMathSciNetGoogle Scholar
  17. Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal 2009, 70: 45–57. 10.1016/j.na.2007.11.031MATHMathSciNetView ArticleGoogle Scholar
  18. Mosco U: Convergence of convex sets and of solutions of variational inequalities. Adv Math 1969, 3: 510–585. 10.1016/0001-8708(69)90009-7MATHMathSciNetView ArticleGoogle Scholar
  19. Beer G: Topologies on Closed Convex Sets. Kluwet Academic Publishers Group, Dordrecht; 1993.View ArticleGoogle Scholar
  20. Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J Optim 2002, 13: 938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar
  21. Ibaraki T, Kimura Y, Takahashi W: Convergence theorems for generalized projections and maximal monotone operators in Banach space. Abstr Appl Anal 2003, 2003: 621–629. 10.1155/S1085337503207065MATHMathSciNetView ArticleGoogle Scholar
  22. Zegeye H: A hybrid iteration scheme for equilibrium problems, variational inequality problems and common fixed point problems in Banach spaces. Nonlinear Anal 2010, 72: 2136–2146. 10.1016/j.na.2009.10.014MATHMathSciNetView ArticleGoogle Scholar

Copyright

© Zhao and He; licensee Springer. 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement