Strong convergence theorems by Halpern-Mann iterations for multi-valued relatively nonexpansive mappings in Banach spaces with applications

Abstract

In this article, an iterative sequence for relatively nonexpansive multi-valued mapping by modifying Halpern and Mann's iterations is introduced, and then some strong convergence theorems are proved. At the end of the article some applications are given also.

AMS Subject Classification: 47H09; 47H10; 49J25.[PUBLICATION ABSTRACT]

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

RESEARCH Open Access

Strong convergence theorems by Halpern-Mann iterations for multi-valued relatively nonexpansive mappings in Banach spaces with applications

Jin-hua Zhu1, Shih-sen Chang2* and Min Liu1

* Correspondence: mailto:[email protected]

Web End =changss@yahoo. mailto:[email protected]

Web End =cn

2College of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan 650221, ChinaFull list of author information is available at the end of the article

Abstract

In this article, an iterative sequence for relatively nonexpansive multi-valued mapping by modifying Halpern and Manns iterations is introduced, and then some strong convergence theorems are proved. At the end of the article some applications are given also.

AMS Subject Classification: 47H09; 47H10; 49J25.

Keywords: multi-valued mapping, relatively nonexpansive, fixed point, iterative sequence

1 Introduction

Throughout this article, we denote by N and the sets of positive integers and real numbers, respectively. Let D be a nonempty closed subset of a real Banach space E. A single-valued mapping T : D D is called nonexpansive if Tx - Ty x - y for all x, y D. Let N(D) and CB(D) denote the family of nonempty subsets and nonempty closed bounded subsets of D, respectively. The Hausdorff metric on CB(D) is defined by

H (A1, A2) = max

supxA1d(x, A2), supyA2d(y, A1)

[bracerightBigg],

for A1,A2 CB(D), where d(x, A1) = inf{x - y, y A1}. The multi-valued mapping T : D CB(D) is called nonexpansive if H(T(x),T(y)) x - y for all x, y D. An element p D is called a fixed point of T : D N(D) if p T(p). The set of fixed points of T is represented by F(T).

Let E be a real Banach space with dual E*. We denote by J the normalized duality mapping from E to 2E* defined by

J(x) = x E :

x, x

[angbracketrightbig]

= x 2 =

[vextenddouble][vextenddouble]x[vextenddouble][vextenddouble]2[bracerightBig]

, x E.

where , denotes the generalized duality pairing.

A Banach space E is said to be strictly convex if

x+y

2 < 1 for all x, y U = {z E : z = 1} with x y. E is said to be uniformly convex if, for each (0, 2], there exists > 0 such that

x+y

2 < 1 for all x, y U with x - y

. E is said to be smooth if

2012 Zhu et al; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0

Web End =http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 2 of 10

the limit

lim

t0

[vextenddouble][vextenddouble]x

+ ty

[vextenddouble][vextenddouble]

x

t

exists for all x, y U. E is said to be uniformly smooth if the above limit exists uni

formly in x, y U.

Remark 1.1. The following basic properties for Banach space E and for the normalized duality mapping J can be found in Cioranescu [1].(i) If E is an arbitrary Banach space, then J is monotone and bounded;(ii) If E is a strictly convex Banach space, then J is strictly monotone;(iii) If E is a a smooth Banach space, then J is single-valued, and hemi-continuous, i.e., J is continuous from the strong topology of E to the weak star topology of E*;(iv) If E is a uniformly smooth Banach space, then J is uniformly continuous on each bounded subset of E;(v) If E is a reflexive and strictly convex Banach space with a strictly convex dual E* and J*: E* E is the normalized duality mapping in E*, then J-1 = J*, J J* = IE*, and J* J = IE;

(vi) If E is a smooth, strictly convex, and reflexive Banach space, then the normalized duality mapping J is single-valued, one-to-one and onto;(vii) A Banach space E is uniformly smooth if and only if E* is uniformly convex. If E is uniformly smooth, then it is smooth and reflexive.

Next we assume that E is a smooth, strictly convex, and reflexive Banach space and C is a nonempty closed convex subset of E. In the sequel, we always use j : E E

+ to denote the Lyapunov functional defined by

(x, y) = x 2 2

x, Jy[angbracketrightbig]+

[vextenddouble][vextenddouble]y[vextenddouble][vextenddouble]2,

x, y E. (1:2)

It is obvious from the definition of j that

x [vextenddouble][vextenddouble]y[vextenddouble][vextenddouble][parenrightbig]2

(x, y)

x

[vextenddouble][vextenddouble]y[vextenddouble][vextenddouble][parenrightbig]2,

x, y E. (1:3)

Jy + (1 )Jz[parenrightbig] (x, y) + (1 )(x, z)

[parenrightbig], (1:4)

for all l [0,1] and x,y,z E.

Following Alber [2], the generalized projection C : E C is defined by

C(x) = arg infyC(y, x), x E.

Let D be a nonempty subset of a smooth Banach space. A mapping T : D E is relatively expansive [3-5], if the following properties are satisfied:

(R1) F(T) = ;

(R2) j(p,Tx) j(p,x) for all p F(T) and x D;(R3) I - T is demi-closed at zero, that is, whenever a sequence {xn} in D converges weakly to p and {xn - Txn} converges strongly to 0, it follows that p F(T).

If T satisfies (R1) and (R2), then T is called quasi-j-nonexpansive [6].

x, J1

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Recently, Nilsrakoo and Saejung [7] introduced the following iterative sequence for finding a fixed point of relatively nonexpansive mapping T : D E. Given x1 D,

xn+1 =

DJ1 nJu + (1 n)

nJxn + (1 n)JTxn [parenrightbig][parenrightbig]

where D is nonempty closed convex subset of a uniformly convex and uniformly smooth Banach space E, D is the generalized projection of E onto D and {an} and {bn} are two sequences in [0,1].

They proved strong convergence theorems in uniformly convex and uniformly smooth Banach space E.

Iterative methods for approximating fixed points of multi-valued mappings in Banach spaces have been studied by some authors, see for instance [8-15].

Let D be a nonempty closed convex subset of a smooth Banach space E. We define a relatively nonexpansive multi-valued mapping as follows.

Definition 1.2. A multi-valued mapping T : D N(D) is called relatively nonexpansive, if the following conditions are satisfied:

(S1) F(T) =

(S2) j(p,z) j(p, x), x D, z T(x), p F(T);(S3) I - T is demi-closed at zero, that is, whenever a sequence {xn} in D which weakly to p and limn d(xn, T(xn)) = 0, it follows that p F(T).

If T satisfies (S1) and (S2), then multi-valued mapping T is called quasi-jnonexpansive.

In this article, inspired by Nilsrakoo and Saejung [7], we introduce the following iterative sequence for finding a fixed point of relatively nonexpansive multi-valued mapping T : D N(D). Given u E,xi D,

xn+1 =

DJ1 nJu + (1 n)

nJxn + (1 n)Jwn [parenrightbig]

where wn Txn for all n N, D is a nonempty closed convex subset of a uniformly convex and uniformly smooth Banach space E, D is the generalized projection of E onto D and {an}, {bn} are sequences in [0,1]. We proved the strong convergence theorems in uniformly convex and uniformly smooth Banach space E.

2 Preliminaries

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

First, we recall some conclusions.

Lemma 2.1 [16,17]. Let E be a smooth, strictly convex, and reflexive Banach space and C be a nonempty closed convex subset of E. Then the following conclusions hold:

(a) j(x, Cy) + j(Cy, y) j(x, y) for all x C and y E;(b) If x E and z C, then

z =

Cx z y, Jx Jz[angbracketrightbig] 0, y C;

Page 3 of 10

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 4 of 10

(c) For x, y E, j(x, y) = 0 if and only x = y.

Remark 2.2. If E is a real Hilbert space H, then j(x, y) = x - y2 and C is the metric projection PC of H onto C.

Lemma 2.3 [18]. Let E be a uniformly convex Banach space, r > 0 be a positive number and Br(0) be a closed ball of E. Then, for any given sequence {xi}i=1 Br(0)

and for any given sequence {i}i=1 of positive numbers with

i=1 i = 1, then there

exists a continuous, strictly increasing, and convex function g : [0, 2r) [0, ) with g (0) = 0 such that for any positive integers i, j with i <j,

[vextenddouble][vextenddouble][vextenddouble][vextenddouble][vextenddouble]

n=1 nxn

[vextenddouble][vextenddouble][vextenddouble][vextenddouble][vextenddouble]

2

n=1n xn 2 ijg

[parenleftbig][vextenddouble][vextenddouble]x

i

xj

[vextenddouble][vextenddouble][parenrightbig]

(2:1)

In what follows, we need the following lemmas for proof of our main results. Lemma 2.4 [17]. Let E be a uniformly convex and smooth Banach space and let {xn}

and {yn} be two sequences of E such that {xn} or {yn} is bounded. If limnj(xn, yn) =0. Then limnxn-yn = 0.

Let E be a reflexive, strictly convex, and smooth Banach space. The duality mapping

J* from E* onto E** = E coincides with the inverse of the duality mapping J from E onto E*, that is, J* = J-1. We make use the following mapping V : E E* studied in Alber [19]:

V(x, x) = x 2 2

x, x

[angbracketrightbig]

+

[vextenddouble][vextenddouble]x[vextenddouble][vextenddouble]2

(2:2)

for all x E and x* E*. Obviously, V(x, x*) = j(x, J-1(x*)) for all x E and x* E*. We know the following lemma.

Lemma 2.5 [20]. Let E be a reflexive, strictly convex, and smooth Banach space, and let V as in (2.2). Then

V(x, x) + 2

J1(x) x, y

[angbracketrightbig]

V(x, x + y), (2:3)

for all x E and x*,y* E*.

Lemma 2.6 [21]. Assume that {an} is a sequence of nonnegative real numbers such that

n+1 (1 n)n + nn,where {gn} is a sequence in (0,1) and {n} is a sequence such that(a) limnn = 0,

n=1 n = ;(b) lim supn 0.

Then limnan = 0.

Lemma 2.7 [22]. Let {an} be a sequence of real numbers such that there exists a subsequence {ni} of {n} such that ni < ni+1 for all i N. Then there exists a nondecreasing sequence {mk} N such that mk and the following properties are satisfied for all (sufficiently large) numbers k N:

mk mk+1 and k mk+1.

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 5 of 10

In fact, mk = max{j k : aj <aj+1}.

3 Main results

Lemma 3.1 Let E be a strictly convex and smooth Banach space, and D a nonempty closed subset of E. Suppose T : D N(D) is a quasi-j-nonexpansive multi-valued mapping. Then F(T) is closed and convex.

Proof. First, we show F(T) is closed. Let {xn} be a sequence in F(T) such that xn x*. Since T is quasi-j-nonexpansive, we have

(xn, z) (xn, x)

for all z T(x*) and for all n N. Therefore,

(x, z) = lim

n

(xn, z)

lim

n

(xn, x)

= (x, x)

= 0.

By Lemma 2.1(c), we obtain x* = z. Hence, T(x*) = {x*}. So, we have x* F(T). Next, we show F(T) is convex. Let x, y F(T) and t (0,1), put p = tx + (1 - t)y. We show p F(T). Let w F(p), we have

(p, w) =

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

2

p, Jw[angbracketrightbig]+ w 2

=

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

2

tx + (1 t)y, Jw[angbracketrightbig]+ w 2

=

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

2t x, Jw 2(1 t)

y, Jw[angbracketrightbig]+ w 2

=

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

+ t(x, w) + (1 t)(y, p) t x 2 t(1 t)

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

=

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

2

tx + (1 t)y, Jp[angbracketrightbig]+

=

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

2

p, Jp[angbracketrightbig]+

[vextenddouble][vextenddouble]p[vextenddouble][vextenddouble]2

= 0.

By Lemma 2.1(c), we obtain p = w. Hence, T(p) = {p}. So, we have p F(T). Therefore, F(T) is convex.

Lemma 3.2. Let D be a nonempty closed convex subset of a reflexive, strictly convex, and smooth Banach space E and T : D N(D) be a relatively nonexpansive multi-valued mapping. If {xn} is a bounded sequence such that limnd(xn,Txn) and x* = F

(T)x, then lim

n

sup

0.

Proof. From (S3) of the mapping T, we choose a subsequence

xni[bracerightbig]of {xn} such that

xn x, Jx Jx

[angbracketrightbig]

xni y F(T) and

lim

n

xni x, Jx Jx

[angbracketrightbig].

By Lemma 2.1(b), we immediately obtain that

lim

n

sup

sup

xn x, Jx Jx

[angbracketrightbig]

= lim

i

xn x, Jx Jx

[angbracketrightbig]=

y x, Jx Jx

[angbracketrightbig] 0.

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 6 of 10

Lemma 3.3. Let D be a nonempty closed convex subset of a reflexive, strictly convex, and smooth Banach space E and T : D N(D) be a relatively nonexpansive multi-valued mapping. Let {xn} be a sequence in D defined as follows: u E, x1 D and

xn+1 =

DJ1

nJu + (1 n)

, (3:1)

where wn Txn for all n N, {an}, {bn} are sequences in [0,1]. Then {xn} is bounded.

Proof. Let p F(T) and yn = J1

nJxn + (1 n)Jwn[parenrightbig]for all n N. Then

xn+1

DJ1

nJxn + (1 n)Jwn

[parenrightbig][parenrightbig]

nJu + (1 n)Jyn

[parenrightbig]

for all n N. By using (1.4), we have

(p, yn) =

p, J1

nJxn + (1 n)Jwn

[parenrightbig][parenrightbig]

n(p, xn) + (1 n)(p, wn) n(p, xn) + (1 n)(p, xn)

= (p, xn)

and

(p, xn+1) =

p,

DJ1

nJu + (1 n)Jyn

[parenrightbig][parenrightBig]

nJu + (1 n)Jyn

[parenrightbig][parenrightbig]

n(p, u) + (1 n)(p, yn) n(p, u) + (1 n)(p, xn) max

(p, u), (p, xn)

p, J1

[bracerightbig][parenrightbig]

max

(p, u), (p, x1)

[bracerightbig][parenrightbig]

.

This implies that {xn} is bounded.

Theorem 3.4 Let D be a nonempty closed convex subset of a uniformly convex and uniformly smooth Banach space E and T : D N(D) be a relatively nonexpansive multivalued mapping. Let {an} and {bn} be sequences in (0,1) satisfying

(C1) limn, an = 0; (C2)

n=1 n = ;(C3) lim infn bn(1- bn) > 0.

Then {xn} defined by (3.1) converges strongly to F(T)u, where F(T) is the generalized projection from E onto F(T).

Proof. By Lemma 3.1, F(T) is closed and convex. So, we can define the generalized projection F(T) onto F(T). Putting u* = F(T)u, by Lemma 3.3 we know that {xn} is bounded and hence, {wn} is bounded. Let g : [0,2r] [0,) be a function satisfying the properties of Lemma 2.3, where r = sup{u, xn, wn : n N}. Put

yn J1

nJu + (1 n)Jwn

[parenrightbig]

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 7 of 10

Then

(u, yn) =

u, J1

nJxn + (1 n)Jwn

[parenrightbig][parenrightbig]

2

u, nJxn + (1 n)Jwn

[angbracketrightbig]

[vextenddouble][vextenddouble]2

=

[vextenddouble][vextenddouble]u[vextenddouble][vextenddouble]2

[vextenddouble][vextenddouble]u[vextenddouble][vextenddouble]2

2n

u, Jxn[angbracketrightbig] 2(1 n)

u, Jwn

[vextenddouble][vextenddouble]

+ nJxn + (1 n)Jwn

[angbracketrightbig]

+ n xn 2 + (1 n) wn 2

n(1 n)g ( Jxn Jwn ) =

u, xn[parenrightbig] n (1 n) g ( Jxn Jwn )

(3:2)

and

u, xn+1

[parenrightbig]

=

u,

DJ1

nJu + (1 n)Jyn

[parenrightbig][parenrightBig]

nJu + (1 n)Jyn

[parenrightbig][parenrightbig]

n(u, u) + (1 n)(u, yn) n(u, u) + (1 n)

(u, xn) n(1 n)g ( Jxn Jwn ) [parenrightbig]

u, J1

.

(3:3)

for all n N. Put

M = sup

[braceleftbig][vextendsingle][vextendsingle](u,

u) (u, xn)

[vextendsingle][vextendsingle]

+ n(1 n)g (||Jxn Jwn) : n N

[bracerightbig]

It follows from (3.3) that

n(1 n)g ( Jxn Jwn ) (u, xn)

u, xn+1[parenrightbig]+ nM. (3:4)

Let zn J1

nJu + (1 n)Jyn

. Then xn+1 =

Czn for all n N. It follows from

(2.3) and (3.2) that

u, xn+1

[parenrightbig]

u, J1

nJu + (1 n)Jyn[parenrightbig][parenrightbig]= V

u, nJu + (1 n)Jyn

[parenrightbig]

[parenrightbig]

+ 2n

V

u, nJu + (1 n)Jyn n(Ju Ju)

[parenrightbig]

2

J1

nJu + (1 n)Jyn[parenrightbig] u, n

Ju Ju

[parenrightbig][angbracketrightbig]

= V

u, nJu + (1 n)Jyn

zn u, Ju Ju

=

u, J1

nJu + (1 n)Jyn[parenrightbig][parenrightbig] + 2n

zn u, Ju Ju =

[vextenddouble][vextenddouble]u[vextenddouble][vextenddouble]2

2

(3:5)

u, nJu + (1 n)Jyn

[vextenddouble][vextenddouble]u[vextenddouble][vextenddouble]2

2n

u, Ju

[angbracketrightbig] 2(1 n)

u, Jyn

[vextenddouble][vextenddouble]

+ nJu + (1 n)Jyn

[angbracketrightbig]

+ n

[vextenddouble][vextenddouble]2

+ 2n

zn u, Ju Ju

[angbracketrightbig]

[vextenddouble][vextenddouble]u[vextenddouble][vextenddouble]2

+ (1 n)

zn u, Ju Ju

= n(u, u) + (1 n)(u, yn) + 2n

zn u, Ju Ju

[angbracketrightbig]

[vextenddouble][vextenddouble]y

n

[vextenddouble][vextenddouble]2

+ 2n

(1 n)(u, xn) + 2n

zn u, Ju Ju

[angbracketrightbig].

The rest of proof will be divided into two parts: Case (1). Suppose that there exists n0 N such that

(u, xn)

n=n0 is nonincreasing.In this situation, {j(u*, xn)} is then convergent. Then limn (j(u*, xn) - j(u*, xn+1)) =0. This together with (C1), (C3), and (3.4), we obtain

lim

n

g ( Jxn Jwn ) = 0.

Therefore,

lim

n

Jxn Jwn = 0.

Since J-1 is uniformly norm-to-norm continuous on every bounded subset of E, we have

lim

n

xn wn = 0. (3:6)

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 8 of 10

Since d (xn, Txn) xn wn , we obtain lim

n

d(xn, Txn) = 0 (3:7)

Then,

(wn, yn) =

nJxn + (1 n)Jwn

[parenrightbig][parenrightbig]

n(wn, xn) + (1 n)(wn, wn)

= n(wn, xn) 0.

(3:8)

wn, J1

and

(yn, zn) n(yn, u) + (1 n)(yn, yn) = n(yn, u) 0. (3:9) From (3.8), (3.9) and Lemma 2.3, we have

lim

n[vextenddouble][vextenddouble]w

n

yn

[vextenddouble][vextenddouble]

= 0

and

lim

n

[vextenddouble][vextenddouble]y

n

zn

[vextenddouble][vextenddouble]

= 0

This together with (3.6) gives

lim

n

xn zn = 0 (3:10)

From (3.7), (3.10) and invoking Lemma 3.2, we have

lim

n

zn u, Ju Ju

[angbracketrightbig]= lim n

xn u, Ju Ju

[angbracketrightbig] 0

Hence the conclusion follows by Lemma 2.5.

Case (2). Suppose that there exists a subsequence {ni} of {n} such that

(u, xni) < (u, xni+1)

for all i N. Then, by Lemma 2.7, there exists a nondecreasing sequence {mk} N, mk such that

u, xmk[parenrightbig]

u, xmk+1[parenrightbig]and

u, xk[parenrightbig]

u, xmk+1

[parenrightbig]

for all k N. This together with (3.4) gives

mk(1 mk)g[parenleftbig][vextenddouble][vextenddouble]Jx

mk

Jwmk

[vextenddouble][vextenddouble][parenrightbig]

u, xmk

[parenrightbig]

u, xmk+1[parenrightbig]+ mkM mkM

for all k N. Then, by conditions (C1) and (C3)

lim

k

g

[parenleftbig][vextenddouble][vextenddouble]Jx

mk

Jwmk

[vextenddouble][vextenddouble][parenrightbig]

= 0

By the same argument as Case (1), we get

lim

k

sup

zmk u, Ju Ju

[angbracketrightbig]

0. (3:11)

From (3.5), we have

u, xmk+1[parenrightbig]

1 mk[parenrightbig]

u, xmk[parenrightbig] + 2mk

zmk u, Ju Ju

[angbracketrightbig]

(3:12)

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Page 9 of 10

Since

u, xmk[parenrightbig]

u, xmk+1

, we have

mk

u, xmk[parenrightbig]

u, xmk

u, xmk+1

+2mk

zmk u, Ju Ju

[angbracketrightbig] 2mk

zmk u, Ju Ju

[angbracketrightbig]

In particular, since mk > 0, we get

u, xmk[parenrightbig] 2 zmk u, Ju Ju

[angbracketrightbig]

It follows from (3.11) that limk

u, xmk[parenrightbig]= 0. This together with (3.12) gives

lim

k

u, xmk+1

[parenrightbig]

= 0

u, xmk+1[parenrightbig]for all k N. We conclude that xk u*.This implies that limn xn = u* and the proof is finished.

Letting bn = b gives the following result.

Corollary 3.5. Let D be a nonempty closed convex subset of a uniformly convex and uniformly smooth Banach space E and T : D N(D) be a relatively nonexpansive multivalued mapping. Let {xn} be a sequence in D defined as follows: u E,x1 D and

xn+1 =

DJ1

nJu + (1 n)

Jxn + (1 )Jwn

[parenrightbig][parenrightbig]

,

But (u, xk)

where wn Txn for all n N, {an} is a sequence in [0,1] satisfying condition (C1) and (C2), and b (0,1). Then {xn} converges strongly to F(T)u.

4 Application to zero point problem of maximal monotone mappings

Let E be a smooth, strictly convex, and reflexive Banach space. An operator A : E 2E* is said to be monotone, if x - y, x* - y* 0 whenever x, y E, x* Ax, y* Ay. We denote the zero point set {x E : 0 Ax} of A by A-10. A monotone operator A is said to be maximal, if its graph G(A) := {(x, y) : y Ax} is not properly contained in the graph of any other monotone operator. If A is maximal monotone, then A-10 is closed and convex. Let A be a maximal monotone operator, then for each r > 0 and x E, there exists a unique xr D(A) such that J(x) J(xr) + rA(xr) (see, for example,[19]). We define the resolvent of A by Jrx = xr. In other words Jr = (J + rA)-1 J, r > 0. We know that Jr is a single-valued relatively nonexpansive mapping and A-10 = F(Jr),r > 0, where F(Jr) is the set of fixed points of Jr.

We have the followingTheorem 4.1 Let E, {an}, and {bn} be the same as in Theorem 3.4. Let A : E 2E* be a maximal monotone operator and Jr = (J + rA)-1J for all r > 0 such that A10 = .

Let {xn} be the sequence generated by

xn+1 = J1

nJx1 + (1 n) nJxn + (1 n)JJrnxn[parenrightbig][bracketrightbig],

then {xn} converges strongly to A-10x1.

Proof. In Theorem 3.4 taking D = E, T = Jr, r > 0, then T : E E is a single-valued relatively nonexpansive mapping and A-10 = F(T) = F(Jr),r > 0 is a nonempty closed convex subset of E. Therefore all the conditions in Theorem 3.4 are satisfied. The conclusion of Theorem 4.1 can be obtained from Theorem 3.4 immediately.

AcknowledgementsThis study was supported by Scientific Research Fund of Sichuan Provincial Education Department (11ZB146) and Yunnan University of Finance and Economics.

Zhu et al. Journal of Inequalities and Applications 2012, 2012:73 http://www.journalofinequalitiesandapplications.com/content/2012/1/73

Author details

1Department of Mathematics, Yibin University, Yibin, Sichuan 644007, P. R. China 2College of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan 650221, China

Authors contributions

All the authors contributed equally to the writing of the present article. And they also read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Received: 29 January 2012 Accepted: 29 March 2012 Published: 29 March 2012

References1. Cioranescu, I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic Press, Dordrecht (1990)

2. Alber, YI: Metric and Generalized Projection Operators in Banach Spaces. pp. 1550. Marcel Dekker, New York (1996)3. Matsushita, S, Takahashi, W: Weak and strong convergence theorems for relatively nonexpansive mappings in a Banach spaces. Fixed point Theory Appl. 2004, 3747 (2004)

4. Matsushita, S, Takahashi, W: An iterative algorithm for relatively nonexpansive mappings by hybrid method and applications. Proceedings of the Third International Conference on Nonlinear Analysis and Convex Analysis. 305313 (2004)

5. Matsushita, S, Takahashi, W: A strong convergence theorem for relatively nonexpansive mappings in a Banach spaces. J Approx Theory. 134, 257266 (2005). doi:10.1016/j.jat.2005.02.007

6. Nilsrakoo, W, Saejung, S: Strong convergence to common fixed points of countable relatively quasi-nonexpansive mappings. Fixed Point Theory and Applications2008, 19. Article ID 312454

7. Nilsrakoo, W, Saejung, S: Strong convergence theorems by Halpern-Mann iterations for relatively nonexpansive mappings in Banach spaces. Appl Math Comput. 217(14):65776584 (2011). doi:10.1016/j.amc.2011.01.040

8. Jung, JS: Strong convergence theorems for multivalued nonexpansive nonself-mappings in Banach spaces. Nonlinear Anal. 66, 23452354 (2007). doi:10.1016/j.na.2006.03.023

9. Shahzad, N, Zegeye, H: Strong convergence results for nonself multimaps in Banach spaces. Proc Am Soc. 136, 539548 (2008)

10. Shahzad, N, Zegeye, H: On Mann and Ishikawa iteration schems for multi-valued maps in Banach spaces. Nonlinear Anal. 71, 838844 (2009). doi:10.1016/j.na.2008.10.112

11. Song, Y, Wang, H: Convergence of iterative algorithms for multivalued mappings in Banach spaces. Nonlinear Anal. 70, 15471556 (2009). doi:10.1016/j.na.2008.02.034

12. Cho, YJ, Qin, X, Kang, SM: Strong convergence of the modified Halpern-type iteration algorithms in Banach spaces. An St Univ Ovidius Constanta Ser Mat. 17, 5168 (2009)

13. Qin, X, Cho, YJ, Kang, SM, Zhou, H: Convergence of a modified Halpern-type iteration algorithm for quasi--nonexpansive mappings. Appl Math Lett. 22, 10511055 (2009). doi:10.1016/j.aml.2009.01.015

14. Song, Y, Cho, YJ: Some notes on Ishikawa iteration for multi-valued mappings. Bull Korean Math Soc. 48, 575584 (2011). doi:10.4134/BKMS.2011.48.3.575

15. Yao, Y, Cho, YJ: A strong convergence of a modified Krasnoselskii-Mann method for non-expansive mappings in Hilbert spaces. Math Model Anal. 15, 265274 (2010). doi:10.3846/1392-6292.2010.15.265-274

16. Alber, YI: Metric and Generalized Projection Operators in Banach Spaces. pp. 1550. Marcel Dekker, New York (1996)17. Kamimura, S, Takahashi, W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J Optim. 13(3):938945 (2002). doi:10.1137/S105262340139611X

18. Chang, SS, Kim, JK, Wang, XR: Modified Block Iterative Algorithm for Solving Convex feasibility Problems in Banach spaces. J Inequal Appl 2010, 14 (2010). Article ID 869684

19. 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, Lecture Notes in Pure and Applied Mathematics, vol. 178, pp. 1550.Dekker, New York (1996)

20. Kohsaka, F, Takahashi, W: Strong convergence of an iterative sequence for maximal monotone operators in a Banach spaces. Abstr Appl Anal. 2004, 239249 (2004). doi:10.1155/S1085337504309036

21. Xu, HK: Another control condition in an iterative method for nonexpansive mappings. Bull Austral Math Soc. 65, 109113 (2002). doi:10.1017/S0004972700020116

22. Mainge, PE: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. Jset-Valued Anal. 16, 899912 (2008). doi:10.1007/s11228-008-0102-z

doi:10.1186/1029-242X-2012-73Cite this article as: Zhu et al.: Strong convergence theorems by Halpern-Mann iterations for multi-valued relatively nonexpansive mappings in Banach spaces with applications. Journal of Inequalities and Applications 2012 2012:73.

Page 10 of 10