Skip to main content

Strong convergence theorems of the Halpern-Mann’s mixed iteration for a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping in Banach spaces

Abstract

In this paper, we introduce a class of totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping to modify the Halpern-Mann-type iteration algorithm for a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping, which has the strong convergence under a limit condition only in the framework of Banach spaces. Our results are applied to study the approximation problem of solution to a system of equilibrium problems. Also, the results presented in the paper improve and extend the corresponding results of Chang et al. (Appl. Math. Comput. 218:7864-7870, 2012) and others.

1 Introduction and preliminaries

A Banach space X is said to be strictly convex if x + y 2 1 for all x,yX with x=y=1 and xy. A Banach space is said to be uniformly convex if lim n x n y n =0 for any two sequences { x n },{ y n }X with x n = y n =1 and lim n x n + y n 2 =0.

The norm of Banach space X is said to be Gâteaux differentiable, if, for each x,yS(x), the limit

lim t 0 x + t y x t
(1.1)

exists, where S(x)={x:x=1,xX}. In this case, X is said to be smooth. The norm of Banach space X is said to be Fréchet differentiable, if, for each xS(x), the limit (1.1) is attained uniformly for yS(x) and the norm is uniformly Fréchet differentiable if the limit (1.1) is attained uniformly for x,yS(x). In this case, X is said to be uniformly smooth.

Let D be a nonempty closed subset of a real Banach space X. A mapping T:DD is said to be nonexpansive if TxTyxy for all x,yD. An element pD is called a fixed point of a nonself multi-valued mapping T:DX if pTp. The set of fixed points of T is represented by F(T).

A subset D of X is said to be retract of X, if there exists a continuous mapping P:XD such that Px=x, for all xX. It is well known that every nonempty, closed, convex subset of a uniformly convex Banach space X is a retract of X. A mapping P:XD is said to be a retraction, if P 2 =P. It follows that if a mapping P is a retraction, then Py=y for all y in the range of P. A mapping P:XD is said to be a nonexpansive retraction, if it is nonexpansive and it is a retraction from X to D.

Assume that X is a real Banach space with the dual X , D is a nonempty, closed, convex subset of X. We also denote by J the normalized duality mapping from X to 2 X which is defined by

J(x)= { f X : x , f = x 2 = f 2 } ,xX,

where , denotes the generalized duality pairing.

Next we assume that X is a smooth, strictly convex and reflexive Banach space and D is a nonempty, closed, convex subset of X. In the sequel, we always use ϕ:X×X R + to denote the Lyapunov functional defined by

ϕ(x,y)= x 2 2x,Jy+ y 2 ,x,yX.
(1.2)

It is obvious from the definition of the function ϕ that

( x y ) 2 ϕ(x,y) ( x + y ) 2 ,
(1.3)
ϕ(y,x)=ϕ(y,z)+ϕ(z,x)+2zy,JxJz,x,y,zX,
(1.4)

and

ϕ ( x , J 1 ( λ J y + ( 1 λ ) J z ) ) λϕ(x,y)+(1λ)ϕ(x,z)
(1.5)

for all λ[0,1] and x,y,zX.

Following Alber [2], the generalized projection Π D :XD is defined by

Π D (x)=arg inf y D ϕ(y,x),xX.
(1.6)

Lemma 1.1 (see [3])

Let X be a uniformly convex and smooth Banach space and let { x n } and { y n } be two sequences of X such that { x n } and { y n } is bounded, if ϕ( x n , y n )0, then x n y n 0.

Many problems in nonlinear analysis can be reformulated as a problem of finding a fixed point of a nonexpansive mapping.

In the sequel, we denote the strong convergence and weak convergence of the sequence { x n } by x n x and x n x, respectively.

Lemma 1.2 (see [2])

Let X be a smooth, strictly convex, and reflexive Banach space and D be a nonempty, closed, convex subset of X. Then the following conclusions hold:

  1. (a)

    ϕ(x,y)=0 if and only if x=y;

  2. (b)

    ϕ(x, Π D y)+ϕ( Π D y,y)ϕ(x,y), x,yD;

  3. (c)

    if xX and zD, then z= Π D x if and only if zy,JxJz0, yD.

Remark 1.1 (see [4])

Let Π D be the generalized projection from a smooth, reflexive and strictly convex Banach space X onto a nonempty, closed, convex subset D of X. Then Π D is a closed and quasi-ϕ-nonexpansive from X onto D.

Remark 1.2 (see [4])

If H is a real Hilbert space, then ϕ(x,y)= x y 2 , and Π D is the metric projection of H onto D.

Definition 1.1 Let P:XD be the nonexpansive retraction.

  1. (1)

    A nonself multi-valued mapping T:DX is said to be quasi-ϕ-nonexpansive, if F(T)Φ, and

    ϕ(p, z n )ϕ(p,x),xD,pF(T), z n T ( P T ) n 1 x,n1;
    (1.7)
  2. (2)

    A nonself multi-valued mapping T:DX is said to be quasi-ϕ-asymptotically nonexpansive, if F(T)Φ and there exists a real sequence k n [1,+), k n 1 (as n) such that

    ϕ(p, z n ) k n ϕ(p,x),xD,pF(T), z n T ( P T ) n 1 x,n1;
    (1.8)
  3. (3)

    A nonself multi-valued mapping T:DX is said to be totally quasi-ϕ-asymptotically nonexpansive, if F(T)Φ and there exist nonnegative real sequences { v n }, { μ n }, with v n , μ n 0 (as n) and a strictly increasing continuous function ζ: R + R + with ζ(0)=0 such that

    ϕ ( p , z n ) ϕ ( p , x ) + v n ζ [ ϕ ( p , x ) ] + μ n , x D , p F ( T ) , z n T ( P T ) n 1 x , n 1 .
    (1.9)

Remark 1.3 From the definitions, it is obvious that a quasi-ϕ-nonexpansive nonself multi-valued mapping is a quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping, and a quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping is a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping, but the converse is not true.

Now, we give an example of totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping.

Example 1.1 (see [4])

Let D be a unit ball in a real Hilbert space l 2 and let T:D l 2 be a nonself multi-valued mapping defined by

T:( x 1 , x 2 ,) ( 0 , x 1 2 , a 2 x 2 , a 3 x 3 , ) l 2 ,( x 1 , x 2 ,)D,

where { a i } is a sequence in (0,1) such that i = 2 a i = 1 2 .

It is proved in [5] that

  1. (i)

    TxTy2xy, x,yD;

  2. (ii)

    T n x T n y2 j = 2 n a j , x,yD, n2.

Let k 1 =2, k n =2 j = 2 n a j , n2. Then lim n k n =1. Letting ν n = k n 1 (n2), ζ(t)=t (t0) and { μ n } be a nonnegative real sequence with μ n 0, then from (i) and (ii) we have

T n x T n y 2 x y 2 + ν n ζ ( x y 2 ) + μ n ,x,yD.

Since D is a unit ball in a real Hilbert space l 2 , it follows from Remark 1.2 that ϕ(x,y)= x y 2 , x,yD. The inequality above can be written as

ϕ ( T n x , T n y ) ϕ(x,y)+ ν n ζ ( ϕ ( x , y ) ) + μ n ,x,yD.

Again since 0D and 0F(T), this implies that F(T)Φ. From the inequality above, we get

ϕ(p, z n )ϕ(p,x)+ ν n ζ ( ϕ ( p , x ) ) + μ n ,pF(T),xD, z n T ( P T ) n 1 x,

where P is the nonexpansive retraction. This shows that the mapping T defined above is a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping.

Lemma 1.3 Let X be a smooth, strictly convex and reflexive Banach space and D be a nonempty, closed, convex subset of X. Let T:DX be a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping with μ 1 =0. Then F(T) is a closed and convex subset of D.

Proof Let { x n } be a sequence in F(T) such that x n p. Since T is a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping, we have

ϕ( x n ,z)ϕ( x n ,p)+ v 1 ζ ( ϕ ( x n , p ) ) ,zTp,nN.

Therefore,

ϕ(p,z)= lim n ϕ( x n ,z) lim n ϕ( x n ,p)+ v 1 ζ ( ϕ ( x n , p ) ) =ϕ(p,p)=0.

By Lemma 1.2, we obtain p=zTp. So we have pF(T). This implies that F(T) is closed.

Let p,qF(T) and t(0,1), and put w=tp+(1t)q. We prove that wF(T). Indeed, in view of the definition of ϕ, let { u n } be a sequence generated by u 1 Tw, u 2 T(PT)w, u 3 T ( P T ) 2 w,, u n T ( P T ) n 1 wTP u n 1 , we have

ϕ ( w , u n ) = w 2 2 w , J u n + u n 2 = w 2 2 t p + ( 1 t ) q , J u n + u n 2 = w 2 + t ϕ ( p , u n ) + ( 1 t ) ϕ ( q , u n ) t p 2 ( 1 t ) q 2 .
(1.10)

Since

t ϕ ( p , u n ) + ( 1 t ) ϕ ( q , u n ) t [ ϕ ( p , w ) + v n ζ [ ϕ ( p , w ) ] + μ n ] + ( 1 t ) [ ϕ ( q , w ) + v n ζ [ ϕ ( q , w ) ] + μ n ] = t { p 2 2 p , J w + w 2 + v n ζ [ ϕ ( p , w ) ] + μ n } + ( 1 t ) { q 2 2 q , J w + w 2 + v n ζ [ ϕ ( q , w ) ] + μ n } = t p 2 + ( 1 t ) q 2 w 2 + t v n ζ [ ϕ ( p , w ) ] + ( 1 t ) v n ζ [ ϕ ( q , w ) ] + μ n .
(1.11)

Substituting (1.11) into (1.10) and simplifying it, we have

ϕ(w, u n )t v n ζ [ ϕ ( p , w ) ] +(1t) v n ζ [ ϕ ( q , w ) ] + μ n 0(as n).

Hence, u n w holds, which yields u n + 1 w. Since TP is closed and u n + 1 T ( P T ) n wTP u n , we have wTPw. It follows from wD that wTw, i.e., wF(T). This implies that F(T) is convex. This completes the proof of Lemma 1.3. □

Definition 1.2 (see [1])

A nonself mapping T:DX is said to be uniformly L-Lipschitz continuous, if there exists a constant L>0, such that

T ( P T ) n 1 x T ( P T ) n 1 y Lxy,x,yD,n1.
(1.12)

Definition 1.3 A nonself multi-valued mapping T:DX is said to be uniformly L-Lipschitz continuous, if there exists a constant L>0, such that

d ( T ( P T ) n 1 x , T ( P T ) n 1 y ) Lxy,x,yD,n1,
(1.13)

where d(,) is Hausdorff metric.

Strong and weak convergence of asymptotically nonexpansive self or nonself mappings, relatively nonexpansive, quasi-ϕ-nonexpansive and quasi-ϕ-asymptotically nonexpansive self or nonself mappings have been considered extensively by several authors in the setting of Hilbert or Banach spaces (see [14, 624]). In recent years, by hybrid projection methods, strong and weak convergence problems for totally quasi-ϕ quasi-ϕ-asymptotically nonexpansive nonself and multi-valued mapping, respectively, was also studied by Kim et al. (see [6, 7]), Li et al. (see [8]), Chang et al. (see [9]) and Yang et al. (see [10]).

Inspired by specialists above, the purpose of this paper is to modify the Halpern-Mann’s mixed type iteration algorithm for a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping, which has the strong convergence under a limit condition only in the framework of Banach spaces. As an application, we utilize our results to study the approximation problem of solution to a system of equilibrium problems. The results presented in the paper improve and extend the corresponding results of Chang et al. [1, 1113], Hao et al. [14], Guo et al. [15], Yildirim et al. [16], Thianwan [17], Nilsrakoo et al. [18], Pathak et al. [19], Qin et al. [20], Su et al. [21], Wang [22, 23], Yang et al. [24] and others.

2 Main results

Theorem 2.1 Let X be a real uniformly smooth and uniformly convex Banach space, D be a nonempty, closed, convex subset of X. Let P:XD be the nonexpansive retraction. Let T:DX be a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping with sequence { v n }, { μ n } ( μ 1 =0), with v n , μ n 0 (as n) and a strictly increasing continuous function ζ: R + R + with ζ(0)=0 such that T is uniformly L-Lipschitz continuous. Let { α n } be a sequence in [0,1] and { β n } be a sequence in (0,1) satisfying the following conditions:

  1. (i)

    lim n α n =0;

  2. (ii)

    0< lim n inf β n lim n sup β n <1.

Let { x n } be a sequence generated by

{ x 1 X is arbitrary ; D 1 = D , y n = J 1 [ α n J x 1 + ( 1 α n ) ( β n J x n + ( 1 β n ) J z n ) ] , z n T ( P T ) n 1 x n , D n + 1 = { z D n : ϕ ( z , y n ) α n ϕ ( z , x 1 ) + ( 1 α n ) ϕ ( z , x n ) + ξ n } , x n + 1 = Π D n + 1 x 1 ( n = 1 , 2 , ) ,
(2.1)

where ξ n = v n sup p F ( T ) ζ(ϕ(p, x n ))+ μ n , Π D n + 1 is the generalized projection of X onto D n + 1 . If F(T), then { x n } converges strongly to Π F ( T ) x 1 .

Proof (I) First, we prove that D n are closed and convex subsets in D.

In fact, by Lemma 1.3, F(T) is closed and convex in D. By the assumption, D 1 =D is closed and convex. Suppose that D n is closed and convex for some n1. In view of the definition of ϕ, we have

D n + 1 = { z D n : ϕ ( z , y n ) α n ϕ ( z , x 1 ) + ( 1 α n ) ϕ ( z , x n ) + ξ n } = { z D : ϕ ( z , y n ) α n ϕ ( z , x 1 ) + ( 1 α n ) ϕ ( z , x n ) + ξ n } D n = { z D : 2 α n z , J x 1 + 2 ( 1 α n ) z , J x n 2 z , J y n { α n x 1 2 + ( 1 α n ) x n 2 y n 2 } D n .

This shows that D n + 1 is closed and convex. The conclusions are proved.

  1. (II)

    Next, we prove that F(T) D n , for all n1.

It is obvious that F(T) D 1 . Suppose that F(T) D n , w n = J 1 ( β n J x n +(1 β n )J z n ) and z n T ( P T ) n 1 x n . Hence, for any uF(T) D n , by (1.5), we have

ϕ ( u , y n ) = ϕ ( u , J 1 ( α n J x 1 + ( 1 α n ) J w n ) ) α n ϕ ( u , x 1 ) + ( 1 α n ) ϕ ( u , w n ) ,
(2.2)

and

ϕ ( u , w n ) = ϕ ( u , J 1 ( β n J x n + ( 1 β n ) J z n ) ) β n ϕ ( u , x n ) + ( 1 β n ) ϕ ( u , z n ) β n ϕ ( u , x n ) + ( 1 β n ) { ϕ ( u , x n ) + v n ζ [ ϕ ( u , x n ) ] + μ n } = ϕ ( u , x n ) + ( 1 β n ) v n ζ [ ϕ ( u , x n ) ] + ( 1 β n ) μ n .
(2.3)

Therefore, we have

ϕ ( u , y n ) α n ϕ ( u , x 1 ) + ( 1 α n ) [ ϕ ( u , x n ) + ( 1 β n ) v n ζ [ ϕ ( u , x n ) ] + ( 1 β n ) μ n ] α n ϕ ( u , x 1 ) + ( 1 α n ) ϕ ( u , x n ) + v n sup p F ( T ) ζ [ ϕ ( p , x n ) ] = α n ϕ ( u , x 1 ) + ( 1 α n ) ϕ ( u , x n ) + ξ n ,
(2.4)

where ξ n = v n sup p F ( T ) ζ(ϕ(p, x n ))+ μ n . This shows that u D n + 1 and so F(T) D n . The conclusion is proved.

  1. (III)

    Now we prove that { x n } converges strongly to some point p .

Since x n = Π D n x 1 , from Lemma 1.2(c), we have

x n y,J x 1 J x n 0,y D n .

Again since F(T) D n , we have

x n u,J x 1 J x n 0,uF(T).

It follows from Lemma 1.2(b) that, for each uF(T) and for each n1,

ϕ( x n , x 1 )=ϕ( Π D n x 1 , x 1 )ϕ(u, x 1 )ϕ(u, x n )ϕ(u, x 1 ).
(2.5)

Therefore, {ϕ( x n , x 1 )} is bounded, and so is { x n }. Since x n = Π D n x 1 and x n + 1 = Π D n + 1 x 1 D n + 1 D n , we have ϕ( x n , x 1 )ϕ( x n + 1 , x 1 ). This implies that {ϕ( x n , x 1 )} is nondecreasing. Hence lim n ϕ( x n , x 1 ) exists.

By the construction of { D n }, for any mn, we have D m D n and x m = Π D m x 1 D n . This shows that

ϕ( x m , x n )=ϕ( x m , Π D n x 1 )ϕ( x m , x 1 )ϕ( x n , x 1 )0(as n).

It follows from Lemma 1.1 that lim n x m x n =0. Hence { x n } is a Cauchy sequence in D. Since D is complete, without loss of generality, we can assume that lim n x n = p (some point in D).

By the assumption, it is easy to see that

lim n ξ n = lim n [ v n sup p F ( T ) ζ ( ϕ ( p , x n ) ) + μ n ] =0.
(2.6)
  1. (IV)

    Now we prove that p F(T).

Since x n + 1 D n + 1 , from (2.1) and (2.6), we have

ϕ( x n + 1 , y n ) α n ϕ( x n + 1 , x 1 )+(1 α n )ϕ( x n + 1 , x n )+ ξ n 0.
(2.7)

Since x n p , it follows from (2.7) and Lemma 1.1 that

y n p .
(2.8)

Since { x n } is bounded and T is a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping, we have

ϕ(p, z n )ϕ(p, x n )+ v n ζ [ ϕ ( p , x n ) ] + μ n ,xD,n,i1,pF(T).

This implies that { z n } is also bounded.

By condition (ii), we have

w n = J 1 ( β n J x n + ( 1 β n ) J z n ) β n x n + ( 1 β n ) z n x n + z n ,

this implies that { w n } is also bounded.

In view of α n 0, from (2.1), we have

lim n J y n J w n = lim n α n J x 1 J w n =0.
(2.9)

Since J 1 is uniformly continuous on each bounded subset of X , it follows from (2.8) and (2.9) that

w n p .
(2.10)

Since J is uniformly continuous on each bounded subset of X, we have

0 = lim n J w n J p = lim n ( β n J x n + ( 1 β n ) J z n ) J p = lim n β n ( J x n J p ) + ( 1 β n ) ( J z n J p ) = lim n ( 1 β n ) J z n J p .
(2.11)

By condition (ii), we have

lim n J z n J p =0.

Since J is uniformly continuous, this shows that

lim n z n = p .
(2.12)

Again by the assumptions that T:DX be uniformly L-Lipschitz continuous, thus we have

d ( T ( P T ) n x n , T ( P T ) n 1 x n ) d ( T ( P T ) n x n , T ( P T ) n x n + 1 ) + d ( T ( P T ) n x n + 1 , x n + 1 ) + x n + 1 x n + d ( x n , T ( P T ) n 1 x n ) ( L + 1 ) x n + 1 x n + d ( T ( P T ) n x n + 1 , x n + 1 ) + d ( x n , T ( P T ) n 1 x n ) .
(2.13)

We get lim n d(T ( P T ) n x n ,T ( P T ) n 1 x n )=0, since lim n z n = p and lim n x n = p .

In view of the continuity of TP, it yields p TP p . We have p C, which implies that p T p . We have p F(T).

  1. (V)

    Finally, we prove that p = Π F ( T ) x 1 and so x n Π F ( T ) x 1 = p .

Let w= Π F ( T ) x 1 . Since wF(T) D n and x n = Π D n x 1 , we have ϕ( x n , x 1 )ϕ(w, x 1 ). This implies that

ϕ ( p , x 1 ) = lim n ϕ( x n , x 1 )ϕ(w, x 1 ),
(2.14)

which yields p =w= Π F ( T ) x 1 . Therefore, x n Π F ( T ) x 1 . The proof of Theorem 3.1 is completed. □

By Remark 1.3, the following corollary is obtained.

Corollary 2.1 Let X, D, { α n }, { β n } be the same as in Theorem  2.1. Let T:DX be a quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping with sequence k n [1,+), k n 1, T:DX be uniformly L-Lipschitz continuous.

Suppose { x n } be a sequence generated by

{ x 1 X is arbitrary ; D 1 = D , y n = J 1 [ α n J x 1 + ( 1 α n ) ( β n J x n + ( 1 β n ) J z n ) ] ( i 1 ) , z n T ( P T ) n 1 x n , D n + 1 = { z D n : ϕ ( z , y n ) α n ϕ ( z , x 1 ) + ( 1 α n ) ϕ ( z , x n ) + ξ n } , x n + 1 = Π D n + 1 x 1 ( n = 1 , 2 , ) ,
(2.15)

where ξ n =( k n 1) sup p F ( T ) ϕ(p, x n ), Π D n + 1 is the generalized projection of X onto D n + 1 . If F(T), then { x n } converges strongly to Π F ( T ) x 1 .

Corollary 2.2 Let X, D, { α n }, { β n } be the same as in Theorem  2.1. Let T:DX be a quasi-ϕ-nonexpansive nonself multi-valued mapping, T:DX be uniformly L-Lipschitz continuous.

Suppose { x n } is a sequence generated by

{ x 1 X is arbitrary ; D 1 = D , y n = J 1 [ α n J x 1 + ( 1 α n ) ( β n J x n + ( 1 β n ) J z n ) ] ( i 1 ) , z n T ( P T ) n 1 x n , D n + 1 = { z D n : ϕ ( z , y n ) α n ϕ ( z , x 1 ) + ( 1 α n ) ϕ ( z , x n ) + ξ n } , x n + 1 = Π D n + 1 x 1 ( n = 1 , 2 , ) ,
(2.16)

where ξ n =( k n 1) sup p F ( T ) ϕ(p, x n ), Π D n + 1 is the generalized projection of X onto D n + 1 . If F(T), then { x n } converges strongly to Π F ( T ) x 1 .

3 Application

First, we present an example of a quasi-ϕ-nonexpansive nonself multi-valued mapping.

Example 3.1 (see [4])

Let H be a real Hilbert space, D be a nonempty closed and convex subset of H and f:D×DR be a bifunction satisfying the conditions: (A1) f(x,x)=0, xD; (A2) f(x,y)+f(y,x)0, x,yD; (A3) for each x,y,zD, lim t 0 f(tz+(1t)x,y)f(x,y); (A4) for each given xD, the function yf(x,y) is convex and lower semicontinuous. The ‘so-called’ equilibrium problem for f is to find a x D such that f( x ,y)0, yD. The set of its solutions is denoted by EP(f).

Let r>0, xH and define a mapping T r :DDH as follows:

T r (x)= { z D , f ( z , y ) + 1 r y z , z x 0 , y D } ,xDH.
(3.1)

Then (1) T r is single-valued, so z= T r (x); (2) T r is a relatively nonexpansive nonself mapping, therefore it is a closed quasi-ϕ-nonexpansive nonself mapping; (3) F( T r )=EP(f) and F( T r ) is a nonempty and closed convex subset of D; (4) T r :DD is a nonexpansive. Since F( T r ) nonempty, it is a quasi-ϕ-nonexpansive nonself mapping from D to H, where ϕ(x,y)= x y 2 , x,yH.

In this section we utilize Corollary 2.1 to study a modified Halpern iterative algorithm for a system of equilibrium problems. We have the following result.

Theorem 3.1 Let H be a real Hilbert space, D be a nonempty closed and convex subset of H, { α n }, { β n } be the same as in Theorem  2.1. Let f:D×DR be a bifunction satisfying conditions (A1)-(A4) as given in Example  3.1. Let T r :DDH be mapping defined by (3.1), i.e.,

T r (x)= { z D , f ( z , y ) + 1 r y z , z x 0 , y D } ,xDH.

Let { x n } be the sequence generated by

{ x 1 D is arbitrary ; D 1 = D , f ( u n , y ) + 1 r y u n , u n x n 0 , y D , r > 0 , y n = α n x 1 + ( 1 α n ) [ β n x n + ( 1 β n ) u n ] , D n + 1 = { z D n : z y n , i 2 α n z x 1 2 + ( 1 α n ) z x n 2 } , x n + 1 = Π D n + 1 x 1 ( n = 1 , 2 , ) .
(3.2)

If F( T r ), then { x n } converges strongly to Π F ( T r ) x 1 , which is a common solution of the system of equilibrium problems for f.

Proof In Example 3.1, we have pointed out that u n = T r ( x n ), F( T r )=EP(f) is nonempty and convex, T r is a quasi-ϕ-nonexpansive nonself mapping. Since F( T r ) is nonempty, and so T r is a quasi-ϕ-nonexpansive mapping and T r is uniformly 1-Lipschitzian mapping. Hence (3.1) can be rewritten as follows:

{ x 1 H is arbitrary ; D 1 = D , y n = α n x 1 + ( 1 α n ) [ β n x n + ( 1 β n ) z n ] , z n T r x n , D n + 1 = { z D n : z y n 2 α n z x 1 2 + ( 1 α n ) z x n 2 } , x n + 1 = Π D n + 1 x 1 ( n = 1 , 2 , ) .
(3.3)

Therefore, the conclusion of Theorem 3.1 can be obtained from Corollary 2.1. □

References

  1. Chang SS, Wang L, Tang YK, Wang B, Qin LJ: Strong convergence theorems for a countable family of quasi- ϕ -asymptotically nonexpansive nonself mappings. Appl. Math. Comput. 2012, 218: 7864–7870. 10.1016/j.amc.2012.02.002

    Article  MATH  MathSciNet  Google Scholar 

  2. 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: Kartosator AG. Dekker, New York; 1996:15–50.

    Google Scholar 

  3. Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611X

    Article  MathSciNet  Google Scholar 

  4. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994,63(1/4):123–145.

    MATH  MathSciNet  Google Scholar 

  5. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.

    Book  MATH  Google Scholar 

  6. Kim JK: Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi- ϕ -nonexpansive mappings. Fixed Point Theory Appl. 2011. 10.1186/1687-1812-2011-10

    Google Scholar 

  7. Kim JK, Zhao LC, Chang SS: Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 353

    Google Scholar 

  8. Li Y, Chang SS, Cho YJ, Kim JK: Multiple-set split feasibility problems for total asymptotically strict pseudocontractions mappings. Fixed Point Theory Appl. 2011. 10.1186/1687-1812-2011-77

    Google Scholar 

  9. Chang SS, Kim JK, Wang L: Total quasi- ϕ -asymptotically nonexpansive semigroups and strong convergence theorems in Banach spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 153

    Google Scholar 

  10. Yang L, Zhao F, Kim JK: Hybrid projection method for generalized mixed equilibrium problem and fixed point problem of infinite family of asymptotically quasi- ϕ -nonexpansive mappings in Banach spaces. Appl. Math. Comput. 2012, 218: 6072–6082. 10.1016/j.amc.2011.11.091

    Article  MATH  MathSciNet  Google Scholar 

  11. Chang SS, Joseph Lee HW, Chan CK: A new hybrid method for solving a generalized equilibrium problem solving a variational inequality problem and obtaining common fixed points in Banach spaces with applications. Nonlinear Anal. TMA 2010, 73: 2260–2270. 10.1016/j.na.2010.06.006

    Article  MATH  Google Scholar 

  12. Chang SS, Chan CK, Joseph Lee HW: Modified block iterative algorithm for quasi- ϕ -asymptotically nonexpansive mappings and equilibrium problem in Banach spaces. Appl. Math. Comput. 2011, 217: 7520–7530. 10.1016/j.amc.2011.02.060

    Article  MATH  MathSciNet  Google Scholar 

  13. Chang SS, Joseph Lee HW, Chan CK, Yang L: Approximation theorems for total quasi- ϕ -asymptotically nonexpansive mappings with applications. Appl. Math. Comput. 2011, 218: 2921–2931. 10.1016/j.amc.2011.08.036

    Article  MATH  MathSciNet  Google Scholar 

  14. Hao Y, Cho SY, Qin X: Some weak convergence theorems for a family of asymptotically nonexpansive nonself mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 218573

    Google Scholar 

  15. Guo W: Weak convergence theorems for asymptotically nonexpansive nonself-mappings. Appl. Math. Lett. 2011, 24: 2181–2185. 10.1016/j.aml.2011.06.022

    Article  MATH  MathSciNet  Google Scholar 

  16. Yildirim I, Özdemir M: A new iterative process for common fixed points of finite families of non-self-asymptotically non-expansive mappings. Nonlinear Anal., Theory Methods Appl. 2009,71(3–4):991–999. 10.1016/j.na.2008.11.017

    Article  MATH  Google Scholar 

  17. Thianwan S: Common fixed points of new iterations for two asymptotically nonexpansive nonself-mappings in a Banach space. J. Comput. Appl. Math. 2009, 224: 688–695. 10.1016/j.cam.2008.05.051

    Article  MATH  MathSciNet  Google Scholar 

  18. Nilsrakoo W, Sajung S: Strong convergence theorems by Halpern-Mann iterations for relatively nonexpansive mappings in Banach spaces. Appl. Math. Comput. 2011,217(14):6577–6586. 10.1016/j.amc.2011.01.040

    Article  MATH  MathSciNet  Google Scholar 

  19. Pathak HK, Cho YJ, Kang SM: Strong and weak convergence theorems for nonself-asymptotically perturbed nonexpansive mappings. Nonlinear Anal., Theory Methods Appl. 2009,70(5):1929–1938. 10.1016/j.na.2008.02.092

    Article  MATH  MathSciNet  Google Scholar 

  20. Qin XL, Cho YJ, Kang SM, Zhou HY: Convergence of a modified Halpern-type iterative algorithm for quasi- ϕ -nonexpansive mappings. Appl. Math. Lett. 2009, 22: 1051–1055. 10.1016/j.aml.2009.01.015

    Article  MATH  MathSciNet  Google Scholar 

  21. Su YF, Xu HK, Zhang X: Strong convergence theorems for two countable families of weak relatively nonexpansive mappings and applications. Nonlinear Anal. 2010, 73: 3890–3906. 10.1016/j.na.2010.08.021

    Article  MATH  MathSciNet  Google Scholar 

  22. Wang L: Strong and weak convergence theorems for common fixed points of nonself asymptotically nonexpansive mappings. J. Math. Anal. Appl. 2006,323(1):550–557. 10.1016/j.jmaa.2005.10.062

    Article  MATH  MathSciNet  Google Scholar 

  23. Wang L: Explicit iteration method for common fixed points of a finite family of nonself asymptotically nonexpansive mappings. Comput. Math. Appl. 2007,53(7):1012–1019. 10.1016/j.camwa.2007.01.001

    Article  MATH  MathSciNet  Google Scholar 

  24. Yang L, Xie X: Weak and strong convergence theorems of three step iteration process with errors for nonself-asymptotically nonexpansive mappings. Math. Comput. Model. 2010,52(5–6):772–780. 10.1016/j.mcm.2010.05.006

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are very grateful to both reviewers for carefully reading this paper and their comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Li Yi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bo, L.H., Yi, L. Strong convergence theorems of the Halpern-Mann’s mixed iteration for a totally quasi-ϕ-asymptotically nonexpansive nonself multi-valued mapping in Banach spaces. J Inequal Appl 2014, 225 (2014). https://doi.org/10.1186/1029-242X-2014-225

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-225

Keywords