Applied Mathematics, 2013, 4, 6-12

http://dx.doi.org/10.4236/am.2013.49A002 Published Online September 2013 (http://www.scirp.org/journal/am)

Fixed Point of a Countable Family of Uniformly Totally
Quasi-| -Asymptotically Nonexpansive Multi-Valued
Mappings in Reflexive Banach Spaces with Applications
Yi Li
School of Science, Southwest University of Science and Technology, Mianyang, China
Email: liyi@swust.edu.cn

Received April 23, 2013; revised May 23, 2013; accepted June 1, 2013

Copyright 2013 Yi Li. 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.
ABSTRACT
The purpose of this article is to discuss a modified Halpern-type iteration algorithm for a countable family of uniformly
totally quasi- | -asymptotically nonexpansive multi-valued mappings and establish some strong convergence theorems
under certain conditions. We utilize the theorems to study a modified Halpern-type iterative algorithm for a system of
equilibrium problems. The results improve and extend the corresponding results of Chang et al. (Applied Mathematics
and Computation, 218, 6489-6497).

Keywords: Multi-Valued Mapping; Totally Quasi- | -Asymptotically Nonexpansive; Countable Family of Uniformly
Totally Quasi-| -Asymptotically Nonexpansive Multi-Valued Mappings; Firmly Convergence
1. Introduction
Throughout this paper, we denote the strong convergence
and weak convergence of the sequence { }
n
x by
n
x x and
n
x x , respectively. We denote by N and
R the sets of positive integers and real numbers, respec-
tively. Let be a nonempty closed subset of a real
Banach space
D
X . A mapping is said to be
nonexpansive if
T D D :
Tx Ty x s y , for all x y D , e .
Let and denote the family of non-
empty subsets and nonempty bounded closed subsets of
, respectively.
( ) N D
D
( ) CB D
Let X be a real Banach space with dual X
-
. We de-
note by J the normalized duality mapping from X to
which is defined by 2
X
-
( )
{ }
2
2
*
: , J x x X x x x x
- - -
= e = = , where x X e
and , denotes the generalized duality pairing. The
Hausdorff metric on is defined by ( ) CB D
( ) ( ) (
1 2
1 2 2 1
max sup , , sup ,
x A y A
) H A A d x A d y A
e e

, =
`
)
, for
( )
1 2
A A CB D , e , where ( ) {
2
( ) T D CB D : if ( ) p T p e
(
. The set of fixed points
of is represented by T ) F T . In the sequel, denote
( ) { }
1 S X x X x = e : = . A Banach space X is said to
be strictly convex if 1
2
x y +
for all ( ) x y S X , e s
and x y = . A Banach space is said to be uniformly con-
vex if lim 0
n n n
x y

= for any two sequences

{ } { } ( ) ,
n n
x y S X c and lim 0
2
n n
n
x y

+
= . The norm
of Banach space X is said to be Gteaux differentiable
if for each ( ) x y S X , e , the limit
0
lim
t
x ty x
t

+
(1.1)
}
inf d x A x y y A , = , e
2
.
The multi-valued mapping is called
nonexpansive if
( ) T D CB D :
( ) H Tx Ty x y , s for all x y D , e .
An element is called a fixed point of p eD
exists. In this case, X is said to be smooth. The norm
of Banach space X is said to be Frchet differentiable,
if for each ( ) x S X e , the limit (1.1) is attained uni-
formly for ( ) y S x e and the norm is uniformly Frchet
differentiable if the limit (1.1) is attained uniformly for
( ) x y S , e X . In this case, X is said to be uniformly
smooth.
The following basic properties for Banach space X and
for the normalized duality mapping J can be found in
Cioranescu [1].
(1)
( )
X X resp
-
, . is uniformly convex if and only if
Copyright 2013 SciRes. AM
Y. LI 7
( ) X X resp
-
, . is uniformly smooth.
(2) If X is smooth, then J is single-valued and
norm-to-weak
*
continuous.
(3) If X is reflexive, then J is onto.
(4) If X is strictly convex, then for all Jx Jy = u
x y X , e .
(5) If X has a Frchet differentiable norm, then J
is norm-to-norm continuous.
(6) If X is uniformly smooth, then J is uniformly
norm-to-norm continuous on each bounded subset of
X .
(7) Each uniformly convex Banach space X has the
Kadec-Klee property, i.e., for any sequence { }
n
x X c ,
if
n
x x e X and
n
x x , then
n
x x e X .
In 1953, Mann [2] introduced the following iterative
sequence {
n
} x ,
( )
1
1
n n n n n
x x T o o
+
= + x ,
where the initial guess
1
x D e is arbitrary and { }
n
o is
a real sequence in | | 0 1 , . It is known that under appro-
priate settings the sequence {
n
} x converges weakly to a
fixed point of T . However, even in a Hilbert space,
Mann iteration may fail to converge strongly [3]. Some
attempts to construct iteration method guaranteeing the
strong convergence have been made. For example, Hal-
pern [4] proposed the following so-called Halpern itera-
tion,
( )
1
1
n n n n
x u T o o
+
= + x ,
where
1
are arbitrary given and u x , eD { }
n
o is a real
sequence in | | 0 1 , . Another approach was proposed by
Nakajo and Takahashi [5]. They generated a sequence as
follows,
( )
{ }
{
( )
}
1
1 1
is arbitrary
1
0
1 2
n n
n n n n
n n n
n n n
C Q
x X
y u Tx
C z D y z x z
Q z D x z x x
x P x n
o o
+
e ;
= +
= e : s
= e : , >
= = , ,

1
n

{
(1.2)
where }
n
o is a real sequence in | | 0 1 , and
K
P de-
notes the metric projection from a Hilbert space H onto a
closed convex subset K of H. It should be noted here that
the iteration above works only in Hilbert space setting.
To extend this iteration to a Banach space, the concept of
relatively nonexpansive mappings and quasi- | -nonex-
pansive mappings are introduced by Aoyama et al. [6],
Chang et al. [7,8], Chidume et al. [9], Matsushita et al.
[10-12], Qin et al. [13], Song et al. [14], Wang et al. [15]
and others.
Inspired by the work of Matsushita and Takahashi, in
this paper, we introduce modifying Halpern-Mann itera-
tions sequence for finding a fixed point of a countable
family of uniformly totally quasi- | -asymptotically non-
expansive multi-valued mappings in reflexive Banach
spaces ( ) 1 2 3,
i
T D D i : = , , and some strong con-
vergence theorems are proved. The results presented in
the paper improve and extend the corresponding results
in [7].
2. Preliminaries
In the sequel, we assume that X is a smooth, strictly
convex, and reflexive Banach space and is a nonemp-
ty closed convex subset of
D
X . In the sequel, we always
use X X R |
+
: to denote the Lyapunov bifunction
defined by
( )
2 2
2 , x y x x Jy y x y X | , = , + , e . (2.1)
It is obvious from the definition of the function |
that
( ) ( ) (
2 2
x y x y x y |
)
s , s + , (2.2)
( ) ( ) ( )
2
y x y z z x
z y Jx Jz x y z X
| | | , = , + ,
+ , , , , e ,
(2.3)
and
( ) ( ) ( )
( ) ( ) (
1
1
1 )
x J Jy Jz
x y x
| o o
o| o |

, +
z s , + ,
(2.4)
for all | | 0 1 o e , and x y z X , , e .
Following Alber [16], the generalized projection
D
X D H : is defined by
( ) ( ) arg inf , , .
D
x y D y x x X | H = e e
Many problems in nonlinear analysis can be reformu-
lated as a problem of finding a fixed point of a nonexpan-
sive mapping.
Remark 2.1 (see [17]) Let
D
H be the generalized
projection from a smooth, reflexive and strictly convex
Banach space X onto a nonempty closed convex subset
of D X , then
D
H is a closed and quasi- | -nonex-
pansive from X onto . D
Lemma 2.1 (see [16]) Let X be a smooth, strictly
convex and reflexive Banach space and be a non-
empty closed convex subset of
D
X . Then the following
conclusions hold,
(a) ( ) 0 x y | , = if and only if x y = .
(b) ( ) ( ) ( )
D D
x y y x y x y | | y | D , H + H , , , e s , .
(c) If x X e and z D e , then if and only
if
D
z x = H
0 z y Jx Jz y D > , e . ,
Lemma 2.2 (see [7]) Let X be a real uniformly
smooth and strictly convex Banach space with Kadec-
Klee property, and be a nonempty closed convex
subset of
D
X . Let { }
n
x and { }
n
y be two sequences in
such that D
n
x p and where ( ) 0
n n
x y , | |
Copyright 2013 SciRes. AM
Y. LI 8
is the function defined by (1.2), then .
n
Definition 2.1 A point is said to be an asymp-
totic fixed point of multi-valued mapping
y p
p D e
( ) T D CB D : , if there exists a sequence { }
n
x D c
such that
n
x x X e and ( ) ( )
0
n n
. Denote
the set of all asymptotic fixed points of by
d x T x ,
T ( )

F T .
Definition 2.2
(1) A multi-valued mapping is said
to be relatively nonexpansive, if ,
( ) T D CB D :
( ) F T = u
( ) ( )

F T F T =
( ) p F T z e ,
, and ( ) p z | | , s
)
( ) p x x D , , e ,
( T x e .
(2) A multi-valued mapping is said
to be closed, if for any sequence
( ) T D CB D :
{ }
n
x D c with
n
x x X e and ( ) ( )
0
n
d y T x , , then
( ) ( )
d y T x , = 0 .
Remark 2.2 If H is a real Hilbert space, then
( )
2
x y x y | , = and
D
H is the metric project ion
D
P of H on o t D .
Next, We present an example of relatively nonexpan-
sive multi-valued mapping.
Example 2.1 (see [18]) Let X be a smooth, strictly
convex and reflexive Banach space, be a nonempty
closed and convex subset of
D
X and f D D R : be
a bifunction satisfying the conditions:
(A1) ( ) 0 f x x x D , = , e
( ) ( ) 0
;
(A2) f x y f y x , + , s x y D , , e ;
(A3) for each x y z D , , e ,
( ) ( ) ( )
0
lim 1
t
f tz t x y f x y

+ , s , ;
(A4) for each given x D e , the function
( ) y f x y , is convex and lower semicontinuous.
The so-called equilibrium problem for f is to find a
x D
-
e such that
( )
0 f x y y D
-
, > , e
( ) EP f
D
. The set of its
solutions is denoted by .
Let and define a multi-valued mapping
as follows,
0 r x > , e
( ) N D :
r
T D
( )
( )
1
0
r
T x
z D f z y y z Jz Jx y D
r
x D

= e , , + , > , e
`
)
e ,
, (2.5)
then (1)
r
is single-valued, and so { } T ( )
r
z T x = ; (2)
r
is a relatively nonexpansive mapping, therefore, it is
a closed quasi-
T
| -nonexpansive mapping; (3)
( ) ( )
r
F T EP = f .
Definition 2.3
(1) A multi-valued mapping is said
to be quasi-
( ) T D CB D :
| -nonexpansive, if , and
.
( ) F T = u
( ) F T z Tx , e
( ) T D CB D :
( ) ) p z p x x D p | | , s , , e , e (
(2) A multi-valued mapping is said to
be quasi- | -asymptotically nonexpansive, if ( ) F T = u
) 1 1
n n
k k ,

and there exists a real sequence
such that
| c , +
( ) ( )
( )
n n
n
n
p z k p x x D
p F T z T x
| | , s , , e
e , e ;
,
(2.6)
(3) A multi-valued mapping is said
to be totally quasi-
( ) T D CB D :
| -asymptotically nonexpansive, if
( ) F T = u and there exist nonnegative real sequences
{ } { }
n n
v , , with 0 v
n n
, (as ) and a strictly
increasing continuous function with
n
R R ,
+ +
:
( ) 0 0 , = such that
( ) ( ) ( )
( ) 1 .
n n
n
n
p z p x v p x
n
x D n p F T z T x
| | , | , s , + , + (

e , > , e , e
,
(2.7)
Remark 2.3 From the definitions, it is obvious that a
relatively nonexpansive multi-valued mapping is a quasi-
| -nonexpansive multi-valued mapping, and a quasi- | -
nonexpansive multi-valued mapping is a quasi- | -as-
ymptotically nonexpansive multi-valued mapping, and a
quasi- | -asymptotically nonexpansive multi-valued map-
ping is a total quasi-| -asymptotically nonexpansive mul-
ti-valued mapping, but the converse is not true.
Lemma 2.3 Let X and be as in Lemma 2.2. D
( ) T D CB D : be a closed and totally quasi- | -as-
ymptotically nonexpansive multi-valued mapping with
nonnegative real sequences { } v { }
n n
,
,
and a strictly in-
creasing continuous function with R
+
: R
+
( ) 0 0 , = ,if 0
n n
v , (as ) and n
1
0 = ,
then ( ) F T is a closed and convex subset of . D
Proof. Let { }
n
x be a sequence in ( ) F T , such that
n
x x
-
. Since T is totally quasi- | -asymptotically
nonexpansive multi-valued mapping, we have
( ) ( ) (
1 n n n
)
x z x x v x x | | , |
- -
(
, s , + ,


for all z Tx
-
e and for all n . Therefore, N e
( ) ( )
( ) ( ) { }
( )
1
lim
lim
0
n
n
n n
n
x z x z
x x v x x
x x
| |
| , |
|
-

- -

- -
, = ,
(
s , + ,

= , = .

By Lemma 2.1(a), we obtain . Hence, z x
-
=
{ }
Tx x
- -
= . So, we have ( ) x F T
-
e . This implies
( ) F T is closed.
Let ( ) F T , e p q and ( ) 0 1 t e , , and put
( ) 1 p t q = + w t . Next we prove that . Indeed,
in view of the definition of
( ) w F T e
| , letting , we
have
n
n
z T e w
( )
( )
( ) ( ) ( )
( )
2 2
2 2
2
2 2
2
2 1
1
1
n n n
n n
n n
w z w w Jz z
w tp t q Jz z
w t p z t q z
t p t q
|
| |
, = , +
= + , +
= + , + ,
.
(2.8)
Copyright 2013 SciRes. AM
Y. LI 9
Since
( ) ( ) ( )
( ) ( )
( ) ( ) ( )
( )
{ }
( ) ( )
{ }
( ) ( )
( ) ( )
2 2
2 2
2 2 2
, 1 ,
, ,
1 , ,
2 , ,
1 2 , ,
1 ,
1 , .
n n
n n
n n
n n
n
n
n n
t p z t q z
t p w v p w
t q w v q w
t p p Jw w v p w
t q q Jw w v q w
t p t q w tv p w
t v q w
| |
| , |
| , |
, |
n
, |
, |
, |
+
( s + + (

( + + + (

= + + + (

+ + + + (

= + + (

+ + (

w
w

(2.9)
Substituting (2.8) into (2.9) and simplifying it, we
have
( ) ( ) ( ) ( )
( )
1
0 as
n n n
n
w z tv p w t v q w
n
| , | , |

, s , + , (

+ .

By Lemma 2.2, we have
n
. This implies that
. Since is closed, we have
, i.e., . This completes the proof of
Lemma 2.3.
z
( )
1
n
n
z TT w
+
e
{ } Tw w = e
T
) ( w F T
Definition 2.4 A mapping is said to
be uniformly -Lipschitz continuous, if there exists a
constant such that
( ) T D CB D :
L
0 L >
n n
x y L x y s , where
n n
n n
x y D x y T y , e , e x , T e .
Definition 2.5
(1) A countable family of mappings is
said to be uniformly quasi-
{ }
i
T D D :
| -nonexpansive, if
, and ( )
1
i
i
F F T

=
:= = C

( ) p z | | , s ( ,
i
p x D p , e e ) x , F z T x , e .
(2) A countable family of mappings is
said to be uniformly quasi-
{ }
i
T D D :
| -asymptotically nonexpan-
sive, if , and there exists a real se- ( )
1
i
i
F F T

=
:= = C

quence such that, | ) 1

n n
k k c , + , 1
( ) ( ) .
n
n n n i
p z k p x x D p F z T x | | , s , , e , e , e (2.10)
(3) A countable family of mappings is
said to be totally uniformly quasi-
{ }
i
T D D :
| -asymptotically non-
expansive multi-valued, if and ( )
1
i
i
F F T

=
:= = C

there exists nonnegative real sequences { } { }

n n
v , with
0 0
n n
v , (as ) and a strictly increasing
and continuous function with
n
,
+
: 9 9
+
( ) 0 0 , =
such that
( ) ( ) ( )
1 .
n n
n
n i
p z p x v p x
x D n p F z T x
n
| | , | , s , + , + (

e , > , e , e
,
(2.11)
Remark 2.4 From the definitions, it is obvious that a
countable family of uniformly quasi- | -nonexpansive
multi-valued mappings is a countable family of uniformly
quasi- | -asymptotically nonexpansive multi-valued map-
pings, and a countable family of uniformly quasi-| -asy-
mptotically nonexpansive multi-valued mappings is a
countable family of totally uniformly quasi- | -asympto-
tically multi-valued mappings, but the converse is not
true.
3. Main Results
Theorem 3.1 Let X be a real uniformly smooth and
strictly convex Banach space with Kadec-Klee property,
D be a nonempty closed convex subset of X,
i
be a closed and uniformly
i
-
Lipschitz continuous and a countable family of uniformly
totally quasi-
1 2 T D D i , = , 3 , , : L
| -asymptotically nonexpansive multi-valu-
ed mappings with nonnegative real sequences { }
n
v ,
{ }
n
, 0
n n
v , (as ) and a strictly increas-
ing continuous function with
n
R , : R
+ +
( ) 0 , 0 = satisfying condition (2.11). Let {
n
} o be a se-
quence in | | 0 1 , such that 0
n
o . If {
n
} x is the se-
quence generated by
( )
( ) {
( ) ( ) ( )
( )
1
1 1
1
1
1 1
1
1 1
is arbitrary
sup
1
1 2
n
n
n i n n n n i
n n i n i
n n
n D
D D
y Jx Jz z T x
D z D z y
z x z x
x x n
o o
|
o | o |
+

,
+ > ,
+

e ; =

(
}
n
n
i 1 1
n
x X
J = + , e

= e : ,

s , + ,

= , ,

,
+
>
= H
(3.1)
where ( ) sup
n n p F n
v p x
n
, |
e
( = , +

,
i
( ) F T is the
fixed point set of
i
, and is the generalized pro-
jection of
T
1 n
D
+
H
X onto
1 n
D
+
.
If and ( )
1
i
i
F F T
=
= C

:= F is bounded and
1
0 = , then
1
lim
n n F
x x

= H .
Proof. (I) First, we prove that F and
n
D ( ) 1 > n are
closed and convex subsets in . In fact, it follows from
Lemma 2.3 that
D
( )( )
D
1
i
F T i >
D
is a closed and convex
subsets in D. therefore F is closed and convex subsets in
D. Again by the assumption,
1
is closed and con-
vex. Suppose that
n
is closed and convex for some
. In view of the definition of
D =
1 n > | , we have
( ) ( )
{
( ) ( )
}
( ) ( )
( ( ) ( )
}
{
)
( ) {
( )
}
1 1
1
1
1
1
1
2 2 2
1
sup
1
1
: 2 , 2 1 ,
1
n n n i n
i
n n n
n i n
i
n n n n
n n n i
i
n n n n i
D z y z x
z x
z D z y z x
z x D
z D z Jx z Jx y
x x y
| o |
o |
| o |
o |
o o
o o
+ ,
>
,
>
1
sup
i
D z
2
n
n
z J
D
,
>
,
= e : , s ,
+ , +
: , s ,
+ , +
+
s +

>
= e
= e ,
.

Copyright 2013 SciRes. AM
Y. LI 10
This shows that is closed and convex. The con-
clusions are proved.
1 n
D
+
(II) Next, we prove that
n
F D c , for all . 1 n >
In fact, it is obvious that
1
F D c . Suppose that
n
F D c . Hence for any , by (2.4), we have
n
D u F e c
( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( ) { }
( )
( ) ( ) ( )
( ) ( ) ( )
1
1
1
1
1
1
1
1
1
1 sup
1 1
n i n n n
n n n
n n n n n
n
n n n n n
p F
n n n n
u y u J Jx Jz
u x u z
u x u x v u x
u x
u x v p x
u x u x i
| | o o
o | o |
n
o | o | , |
o |
o | , |
o | o |

,
e
, = , +
s , + ,
( s , + , + , +

s ,

( + , + , +
`

= , + , + , > .
)

(3.2)
Therefore we have
( ) ( ) ( ) ( )
1
1
sup 1
n i n n n n
i
u y u x u x | o | o |
,
>
, s , + , + . (3.3)
This shows that and so
1 n
u F D
+
e c
n
F D c . The
conclusions are proved.
(III) Now we prove that { }
n
x converges strongly to
some point . p D
-
e
In fact, since
1
n
n D
x x = H , from Lemma 2.1(c), we
have
1 n n
0
n
x y Jx Jx y D , > , e . Again since
n
F D c , we have
1
0
n n
x u Jx Jx , > , . It
follows from Lemma 2.1(b) that for each and for
each ,
u F e
u F e
1 n >
( ) ( )
( ) ( ) ( )
1 1 1
1 1
.
n
n D
n
x x x x
u x u x u x
| |
| | |
, = H ,
s , , s ,
(3.4)
Therefore, ( ) { }
1 n
x x | , is bounded, and so is { }
n
x .
Since
1
n
n D
x x = H and
1
1 1 1
n
n D n n
x x D
+
+ +
= H e c
)
1
D , we
have ( ) (
1 1 n n
x x x | |
+
, s ,
(
x
)
.
This implies that
{ }
1 n
x x , | is nondecreasing. Hence
(
1
lim
n n
) x x |

, exists. Since X is reflexive, there exists

a subsequence
{ } { }
i
n n
x x c such that
i
n
x p
-
(some
point in
1
). Since
n
is closed and convex and
n
. This implies that
n
is weakly closed and
for each . In view of
D D =
D
D
1 n
D
+
c
n
p D
-
e
D
1 n >
1
i n
i
n D
x x = H , we have
i
n i

Since the norm
( ) ( )
1 1
, 1 p x n | |
-
, s , > x x .
is weakly lower semi-continuous,
we have
( )
( )
( )
1
2
2
1 1
2
2
1 1 1
liminf
liminf 2
2
i
i i
i
n
n
n n
n
x x
x x Jx x
p p Jx x p
|
|

- - -
,
= , +
> , + = , x

and so
( ) ( )
( ) ( )
1 1
1 1
liminf
limsup
i
i
n
n
n
n
p x x x
x x p x
| |
| |
-

, s ,
s , = , .
)
1

This shows that
( ) (
1
lim
i i
n n
x x p | |
-

, = , x and we
have
i
n
x p
-
. Since
i
n
x p
-
, by virtue of Kadec-
Klee property of X , we obtain that
i
n
i
limx p
-

Since = .
( ) { }
1 n
x x | , is convergent, this together with
( ) ( )
1
i i
n n
lim x x
1
p | |
-

x , = , shows that
( ) ( )
1
lim
i
n n 1
x x p | |

-
x , = , . If there exists some sub-
sequence
{ }
{ }
j
n n
x x c such that
j
n
x q , then from
Lemma 2.1, we have
( ) ( ) ( )
( )
( )
( ) ( )
( ) ( )
1
1 1 1
1 1
1 1
lim lim
lim
lim
0
i j i n
j
i j i j
i n
j
i j
i j
i j
n n n D
n n n n
n D
n n
n n
n n
p q x x x x
x x x x
x x x x
p x p x
| | |
| |
| |
| |
-
, ,
,
,
- -
, = , = , H
(
s , H ,
(

(
= , ,

= , , = ,

i.e., p q
-
= and hence
n
x p
-
. (3.5)
By the way, from (3.4), it is easy to see that
( ) sup 0
n n n n
p F
v p x , |
e
( = , +

.
1
(3.6)
(IV) Now we prove that . p F
-
e
In fact, since
1 n n
x D
+ +
e , from (3.1), (3.4) and (3.5),
we have
( )
( ) ( ) ( )
1
1
1 1 1
sup
1 0
n n i
i
n n n n n n
x y
x x x x
|
o | o |
+ ,
>
+ +
,
s , + , + .
(3.7)
Since
n
x p
-
, it follows from (3.6) and Lemma 2.2
that
( )
n i
y p n
-
,
. (3.8)
Since { }
n
x is bounded and { }
i
T is a countable fam-
ily of uniformly totally quasi- | -asymptotically nonex-
pansive multi-valued mappings, is bounded.
In view of
n
n i
z T x e
n
0
n
o , from (3.1), we have
1
lim lim 0
n i n n n
n n
Jy Jz Jx Jz o
,

= = . (3.9)
Since
n i
Jy Jp
-
,
, this implies
n
Jz Jp
-
. From
Remark 2.1, it yields that
n
z p
-
. (3.10)
Again since
0
n n n
z p Jz Jp Jz Jp
- - -
= s , (3.11)
Copyright 2013 SciRes. AM
Y. LI 11
this together with (3.9) and the Kadec-Klee-property of
X shows that
n
z p
-
. (3.12)
On the other hand, by the assumptions that is
-Lipschitz continuous for each , we have
i
T
i
L 1 i >
( )
( )
( )
1 1 1
1
1 1 1
1
i n n
i n n n n
n n n n
i n n n n n n
d T z z
d T z z z x
x x x z
L x x z x x z
+ + +
+
+ + +
,
s , +
+ +
s + + + .
(3.13)
From (3.12) and
n
x p
-
, we have that
( ) 0
i n n
d T z z ,
( ) {
T p =
. In view of the closeness of , it yields
i
T
that , which implies that
}( 1
i
p i
- -
> ) p F
-
e .
(V) Finally we prove that and so
1 F
p
-
= H x
1 n F
x x H
w = H
.
Let . Since
n
, we have
. This implies that
1 F
( ) (
1
p x w | | , s
-
x
)
1
)
1
.
w F D e c
x
-
,
( ) ( ) (
1 1
lim
n
n
p x x x w x | | |

, = , s , (3.14)
which yields that
1 F
. Therefore, p w x
-
= = H
1 n F
x x H . The proof of Theorem 3.1 is completed.
By Remark 2.4, the following corollaries are obtained.

Corollary 3.1 Let X and be as in Theorem 3.1,
and a countable family of mappings
be a closed and uniformly
i
-Lipschitz
continuous a relatively nonexpansive multi-valued map-
pings. Let {
D
i
T D D :
L ( 1 2 3 i = , , ,)
}
n
o in with (0 1 , ) lim 0
n n
o

= . Let
{ }
n
x be the sequence generated by
( )
( ) {
( ) ( ) ( ) ( )}
( )
1
1 1
1
1
1 1
1
1 1
is arbitrary
1
sup
1
1 2
n
n i n n n n i n
n n i n i
n n i n
n D
x X D D
y J Jx Jz z T x
D z D z y
z x z x
x x n
o o
|
o | o |
+

,
+ > ,
+
,

e ; =

( = + , e

= e : ,

s , + ,

= H = , ,

(3.15)
where ( )
i
F T is the set of fixed points of , and
is the generalized projection of
i
T
1 n
D
+
H X onto
1 n
D
+
, If
( )

1
i
i
F F T
=
:= = C

and F is bounded, then { }

n
x con-
verges strongly to
1 F
x H .
Corollary 3.2 Let X and be as in Theorem 3.1,
and a countable family of mappings
i

be a closed and uniformly
i
-Lipschitz
continuous quasi-phi-asymptotically nonexpansive multi-
valued mappings with nonnegative real sequences
D
T D D :
L ( 1 2 3 i = , , ,)
{ } | ) 1
n
k c , +
{ }
n
and satisfying condition (2.1).
Let
1
n
k
o be a sequence in ( ) 0 1 , and satisfy
lim 0
n n
o

= . If { }
n
x is the sequence generated by
( )
( ) {
( ) ( ) ( ) }
( )
1
1 1
1
1
1 1
1
1 1
is arbitrary
1
sup
1
1 2
n
n
n i n n n n i n
n n i n i
n n n
n D
x X D D
y J Jx Jz z T x
D z D z y
z x z x
x x n
o o
|
n
o | o |
+

,
+ > ,
+

e ; =

( = + , e

= e : ,

s , + , +

= H = , ,

(3.16)
where ( )
i
F T is the set of fixed points of
i
, and
n
D
T
1 +
H is the generalized projection of X onto
1 n
D
+
,
and ( ) ( ) 1 sup
p F n
k p |
e n n
x = ,
( )
.
If and F is bounded, then
1
i
i
F F T
=
:= = C

{ }
n
x
converges strongly to
1 F
x H .
4. Application
We utilize Corollary 3.2 to study a modified Halpern ite-
rative algorithm for a system of equilibrium problems.
Theorem 4.1 Let , D X and { }
n
o be the same as
in Theorem 3.1. Let f D D : R be a bifunction sa-
tisfying conditions (A1)-(A4) as given in Example 2.6.
Let be a mapping defined by (2.5), i.e.,
r
T X D :
( )
( )
1
0
r
T x
x D f z y y z Jz Jx y D
r
x X

= e , , + , > , e ,
`
)
e .

Let { }
n
x be the sequence generated by
( )
( )
( ) {
( ) ( ) ( }
( )
1
1 1
1
1
1
1
1 1
is arbitrary
1 0
0
1
1
1 2
n
n n n n
n r n
n n n n
n n n
n n
n
D
x X D D
f u y r y u Ju Jx
y D r u T x
y J Jx Ju
D z D z y
z x z x
x x n
o o
|
o | o |
+

+
+
)
n
e ; =

, + , > ,

e , > , e

( = +

= e : ,

s , + ,

= = , , .

(4.1)
If ( )
r
F T = u , then { }
n
x converges strongly to
( )
1
F T
x
[
which is a common solution of the system of
equilibrium problems for f .
Proof. In Example 2.6, we have pointed out that
( )
n r n
u T x = , ( ) ( )
r
F T EP f = and
r
T is a closed qua-
si- | -nonexpansive mapping. Hence (4.1) can be rewrit-
ten as follows:
( )
( ) {
( ) ( ) ( )}
( )
1
1 1
1
1
1
1
1 1
is arbitrary
1
1
1 2
n
n n n n n
n n n
n n
n
D
x X D D
y J Jx Ju u T x
D z D z y
z x z x
x x n
o o
|
o | o |
+

+
+

e ; =

( = + , e

= e : ,

s , + ,

= = , , .

[

r n
n

Copyright 2013 SciRes. AM
Y. LI
Copyright 2013 SciRes. AM
12
Therefore the conclusion of Theorem 4.6 can be ob-
tained from Corollary 3.2.
REFERENCES
[1] I. Cioranescu, Geometry of Banach Spaces, Duality Map-
pings and Nonlinear Problems, Kluwer Academic, Dor-
drecht, 1990. doi:10.1007/978-94-009-2121-4
[2] W. R. Mann, Mean Value Methods in Iteration, Pro-
ceedings of the American Mathematical Society, Vol. 4,
No. 3, 1953, pp. 506-510.
doi:10.1090/S0002-9939-1953-0054846-3
[3] A. Genel and J. Lindenstrauss, An Example Concerning
Fixed Points, Israel Journal of Mathematics, Vol. 22,
No. 1, 1975, pp. 81-86.
[4] B. Halpren, Fixed Points of Nonexpansive Maps, Bul-
letin of the American Mathematical Society, Vol. 73,
1967, pp. 957-961.
doi:10.1090/S0002-9904-1967-11864-0
[5] K. Nakajo and W. Takahashi, Strong Convergence
Theorems for Nonexpansive Mappings and Nonexpansive
Semigroups, Journal of Mathematical Analysis and Ap-
plications, Vol. 279, No. 2, 2003, pp. 372-379.
doi:10.1016/S0022-247X(02)00458-4
[6] K. Aoyama and Y. Kimura, Strong Convergence Theo-
rems for Strongly Nonexpansive Sequences, Applied Ma-
thematics and Computation, Vol. 217, No.19 , 2011, pp.
7537-7545. doi:10.1016/j.amc.2011.01.092
[7] S. S. Chang, H. W. J. Lee, C. K. Chan and W. B. Zhang,
A Modified Halpern-Type Iteration Algorithm for Total-
ly Quasi- | -Asymptotically Nonexpansive Mappings with
Applications, Applied Mathematics and Computation,
Vol. 218, No. 11, 2012, pp. 6489-6497.
doi:10.1016/j.amc.2011.12.019
[8] S. S. Chang, L. Yang and J. A. Liu, Strong Convergence
Theorem for Nonexpansive Semi-Groups in Banach Space,
Applied Mathematics and Mechanics, Vol. 28, No. 10,
2007, pp. 1287-1297. doi:10.1007/s10483-007-1002-x
[9] C. E. Chidume and E. U. Ofoedu, Approximation of
Common Fixed Points for Finite Families of Total As-
ymptotically Nonexpansive Mappings, Journal of Ma-
thematical Analysis and Applications, Vol. 333, No. 1,
2007, pp. 128-141. doi:10.1016/j.jmaa.2006.09.023
[10] S. Matsushita and W. Takahashi, Weak and Strong Con-
vergence Theorems for Relatively Nonexpansive Map-
pings in a Banach Space, Fixed Point
plications, Vol. 2004, 2004, pp. 37-
Theory and Ap-
47.
doi:10.1155/S1687182004310089
[11] S. Matsushita and W. Takahashi, An Iterative Algorithm
for Relatively Nonexpansive Mappings by Hybrid Method
and Applications, Proceedings of the 3rd International
Conference on Nonlinear Analysis and Convex Analysis,
, Vol.

Tokyo, 2004, pp. 305-313.
[12] S. Matsushita and W. Takahashi, A Strong Convergence
Theorem for Relatively Nonexpansive Mappings in a Ba-
nach Space, The Journal of Approximation Theory
134, No. 2, 2005, pp. 257-266.
doi:10.1016/j.jat.2005.02.007
[13] X. L. Qin, Y. J. Cho, S. M. Kang and H. Y. Zhou, Conver-
gence of a Modified Halpern-Type Iterative Algorithm
for Quasi- | -Nonexpansive Mappings, Applied Mat
matics Letters, Vol. 22, No. 7, 2
he-
009, pp. 1051-1055.
doi:10.1016/j.aml.2009.01.015
[14] Y. Song, New Strong Convergence Theorems for Non-
expansive Nonself-Mappings without Boundary Condi-
tions, Computers and Mathematics
Vol. 56, No. 6, 2008, pp. 1473-1478
with Applications,
.
doi:10.1016/j.camwa.2008.03.004
[15] Z. M. Wang, Y. F. Su, D. X. Wang and Y. C. Dong, A
Modified Halpern-Type Iteration Algorithm for a Family
of Hemi-Relative Nonexpansive Mappings and Systems
of Equilibrium Problems in Banach Spaces, The Journal
of Computational and App
8, 2011, pp. 2364-2371.
lied Mathematics, Vol. 235, No.
doi:10.1016/j.cam.2010.10.036
[16] Y. I. Alber, Metric and Generalized Projection Operators
in Banach Spaces: Properties and Applications, In: A. G.
Kartosator, Ed., Theory and Applications of Nonlinear
Operators of Accretive and Monotone Type, Dekker, New
York, 1996, pp. 15-50.
[17] S. S. Chang, C. K. Chan and H. W. J. Lee, Modified Block
Iterative Algorithm for Quasi- | -Asymptotically Nonex-
pansive Mappings and Equilibrium Problem in Banach
Spaces, Applied Mathematics and
217, No. 18, 2011, pp. 7520-753
Computation, Vol.
0.
doi:10.1016/j.amc.2011.02.060
[18] E. Blum and W. Oettli, From Optimization and Variatio-
nal Inequalities to Equilibrium Problems, Mathematical
Studies, Vol. 63, No. 1/4, 1994, pp. 123-145.