# 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.

## 1 Introduction

Throughout this article, we denote by 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 : DD is called nonexpansive if Tx - Tyx - 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\left({A}_{1},{A}_{2}\right)=\text{max}\left\{\underset{x\in {A}_{1}}{\text{sup}}d\left(x,{A}_{2}\right),\underset{y\in {A}_{2}}{\text{sup}}d\left(y,{A}_{1}\right)\right\},$

for A1,A2 CB(D), where d(x, A1) = inf{x - y, y A1}. The multi-valued mapping T : DCB(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 : DN(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\left(x\right)=\left\{{x}^{*}\in {E}^{*}:⟨x,{x}^{*}⟩={∥x∥}^{2}={∥{x}^{*}∥}^{2}\right\},x\in E.$

where 〈·,·〉 denotes the generalized duality pairing.

A Banach space E is said to be strictly convex if $\frac{∥x+y∥}{2}<1$ for all x, y U = {z E : z = 1} with xy. E is said to be uniformly convex if, for each ϵ (0, 2], there exists δ > 0 such that $\frac{∥x+y∥}{2}<1-\delta$ for all x, y U with x - yϵ. E is said to be smooth if the limit

$\underset{t\to 0}{\text{lim}}\frac{∥x+ty∥-∥x∥}{t}$

exists for all x, y U. E is said to be uniformly smooth if the above limit exists uniformly 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].

1. (i)

If E is an arbitrary Banach space, then J is monotone and bounded;

2. (ii)

If E is a strictly convex Banach space, then J is strictly monotone;

3. (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*;

4. (iv)

If E is a uniformly smooth Banach space, then J is uniformly continuous on each bounded subset of E;

5. (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 = I E ;

6. (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;

7. (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 ϕ : E × E+ to denote the Lyapunov functional defined by

$\varphi \left(x,y\right)={∥x∥}^{2}-2⟨x,Jy⟩+{∥y∥}^{2},\forall x,y\in E.$
(1.2)

It is obvious from the definition of ϕ that

${\left(∥x∥-∥y∥\right)}^{2}\le \varphi \left(x,y\right)\le {\left(∥x∥-∥y∥\right)}^{2},\forall x,y\in E.$
(1.3)
$\varphi \left(x,{J}^{-1}\left(\lambda Jy+\left(1-\lambda \right)Jz\right)\le \lambda \varphi \left(x,y\right)+\left(1-\lambda \right)\varphi \left(x,z\right)\right),$
(1.4)

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

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

${\prod }_{C}\left(x\right)=\text{arg}\underset{y\in C}{\text{inf}}\varphi \left(y,x\right),\forall x\in E.$

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

(R1) $F\left(T\right)\ne \varnothing$;

(R2) ϕ(p,Tx) ≤ ϕ(p,x) for all p F(T) and x D;

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

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

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

${x}_{n+1}={\prod }_{D}{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)JT{x}_{n}\right)\right)$

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 {α n } and {β n } 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 [815].

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 : DN(D) is called relatively nonexpansive, if the following conditions are satisfied:

(S1) $F\left(T\right)\ne \varnothing$

(S2) ϕ(p,z) ≤ ϕ(p, x), x D, z T(x), p F(T);

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

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

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 : DN(D). Given u E,x i D,

${x}_{n+1}={\prod }_{D}{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)\right$

where w n Tx n for all 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 {α n }, {β n } 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 {x n } by x n x and x n 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:

1. (a)

ϕ(x, Π C y) + ϕ C y, y) ≤ ϕ(x, y) for all x C and y E;

2. (b)

If x E and z C, then

$z={\prod }_{C}x⇔⟨z-y,Jx-Jz⟩\ge 0,\forall y\in C;$
3. (c)

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

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

Lemma 2.3 [18]. Let E be a uniformly convex Banach space, r > 0 be a positive number and B r (0) be a closed ball of E. Then, for any given sequence ${\left\{{x}_{i}\right\}}_{i=1}^{\infty }\subset {B}_{r}\left(0\right)$ and for any given sequence ${\left\{{\lambda }_{i}\right\}}_{i=1}^{\infty }$ of positive numbers with ${\sum }_{i=1}^{\infty }{\lambda }_{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,

${∥\sum _{n=1}^{\infty }{\lambda }_{n}{x}_{n}∥}^{2}\le \sum _{n=1}^{\infty }{\lambda }_{n}{∥{x}_{n}∥}^{2}-{\lambda }_{i}{\lambda }_{j}g\left(∥{x}_{i}-{x}_{j}∥\right)$
(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 {x n } and {y n } be two sequences of E such that {x n } or {y n } is bounded. If limn→∞ϕ(x n , y n ) = 0. Then limn→∞x n -y n = 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\left(x,{x}^{*}\right)={∥x∥}^{2}-2⟨x,{x}^{*}⟩+{∥{x}^{*}∥}^{2}$
(2.2)

for all x E and x* E*. Obviously, V(x, x*) = ϕ(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\left(x,{x}^{*}\right)+2⟨{J}^{-1}\left({x}^{*}\right)-x,{y}^{*}⟩\le V\left(x,{x}^{*}+{y}^{*}\right),$
(2.3)

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

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

${\alpha }_{n+1}\le \left(1-{\gamma }_{n}\right){\alpha }_{n}+{\gamma }_{n}{\delta }_{n},$

where {γ n } is a sequence in (0,1) and {δ n } is a sequence such that

1. (a)

$\underset{n\to \infty }{\text{lim}}{\gamma }_{n}=0,{\sum }_{n=1}^{\infty }{\gamma }_{n}=\infty$;

2. (b)

lim supn→∞≤ 0.

Then limn→∞α n = 0.

Lemma 2.7 [22]. Let {α n } be a sequence of real numbers such that there exists a subsequence {n i } of {n} such that ${\alpha }_{{n}_{i}}<{\alpha }_{{n}_{i}+1}$ for all i . Then there exists a nondecreasing sequence {m k } such that m k → ∞ and the following properties are satisfied for all (sufficiently large) numbers k :

${\alpha }_{{m}_{k}}\le {\alpha }_{{m}_{k}+1}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}and\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}{\alpha }_{k}\le {\alpha }_{{m}_{k}+1}.$

In fact, m k = max{jk : α j < αj+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 : DN(D) is a quasi-ϕ-nonexpansive multi-valued mapping. Then F(T) is closed and convex.

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

$\varphi \left({x}_{n},z\right)\le \varphi \left({x}_{n},{x}^{*}\right)$

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

$\begin{array}{ll}\hfill \varphi \left({x}^{*},z\right)& =\underset{n\to \infty }{\text{lim}}\varphi \left({x}_{n},z\right)\phantom{\rule{2em}{0ex}}\\ \le \underset{n\to \infty }{\text{lim}}\varphi \left({x}_{n},{x}^{*}\right)\phantom{\rule{2em}{0ex}}\\ =\varphi \left({x}^{*},{x}^{*}\right)\phantom{\rule{2em}{0ex}}\\ =0.\phantom{\rule{2em}{0ex}}\end{array}$

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

$\begin{array}{ll}\hfill \varphi \left(p,w\right)& ={∥p∥}^{2}-2⟨p,Jw⟩+{∥w∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥p∥}^{2}-2⟨tx+\left(1-t\right)y,Jw⟩+{∥w∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥p∥}^{2}-2t⟨x,Jw⟩-2\left(1-t\right)⟨y,Jw⟩+{∥w∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥p∥}^{2}+t\varphi \left(x,w\right)+\left(1-t\right)\varphi \left(y,p\right)-t{∥x∥}^{2}-t\left(1-t\right){∥p∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥p∥}^{2}-2⟨tx+\left(1-t\right)y,Jp⟩+{∥p∥}^{2}\phantom{\rule{2em}{0ex}}\\ ={∥p∥}^{2}-2⟨p,Jp⟩+{∥p∥}^{2}\phantom{\rule{2em}{0ex}}\\ =0.\phantom{\rule{2em}{0ex}}\end{array}$

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 : DN(D) be a relatively nonexpansive multi-valued mapping. If {x n } is a bounded sequence such that limn→∞d(x n ,Tx n ) and x* = ΠF(T)x, then

$\underset{n\to \infty }{\text{lim}}\text{sup}⟨{x}_{n}-{x}^{*},Jx-J{x}^{*}⟩\le 0.$

Proof. From (S3) of the mapping T, we choose a subsequence $\left\{{x}_{{n}_{i}}\right\}$ of {x n } such that ${x}_{{n}_{i}}⇀y\in F\left(T\right)$ and

$\underset{n\to \infty }{\text{lim}}\text{sup}⟨{x}_{n}-{x}^{*},Jx-J{x}^{*}⟩=\underset{i\to \infty }{\text{lim}}⟨{x}_{{n}_{i}}-{x}^{*},Jx-J{x}^{*}⟩.$

By Lemma 2.1(b), we immediately obtain that

$\underset{n\to \infty }{\text{lim}}\text{sup}⟨{x}_{n}-{x}^{*},Jx-J{x}^{*}⟩=⟨y-{x}^{*},Jx-J{x}^{*}⟩\le 0.$

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

${x}_{n+1}={\prod }_{D}{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)\right),$
(3.1)

where w n Tx n for all n , {α n }, {β n } are sequences in [0,1]. Then {x n } is bounded.

Proof. Let p F(T) and ${y}_{n}={J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)$ for all n . Then

${x}_{n+1}\equiv {\prod }_{D}{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)$

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

$\begin{array}{ll}\hfill \varphi \left(p,{y}_{n}\right)& =\varphi \left(p,{J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ \le {\beta }_{n}\varphi \left(p,{x}_{n}\right)+\left(1-{\beta }_{n}\right)\varphi \left(p,{w}_{n}\right)\phantom{\rule{2em}{0ex}}\\ \le {\beta }_{n}\varphi \left(p,{x}_{n}\right)+\left(1-{\beta }_{n}\right)\varphi \left(p,{x}_{n}\right)\phantom{\rule{2em}{0ex}}\\ =\varphi \left(p,{x}_{n}\right)\phantom{\rule{2em}{0ex}}\end{array}$

and

This implies that {x n } 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 : DN(D) be a relatively nonexpansive multivalued mapping. Let {α n } and {β n } be sequences in (0,1) satisfying

(C1) limn→∞, α n = 0;

(C2) ${\sum }_{n=1}^{\infty }{\alpha }_{n}=\infty$;

(C3) lim infn→∞β n (1- β n ) > 0.

Then {x n } 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 {x n } is bounded and hence, {w n } is bounded. Let g : [0,2r] → [0,∞) be a function satisfying the properties of Lemma 2.3, where r = sup{u, x n , w n : n }. Put

${y}_{n}\equiv {J}^{-1}\left({\beta }_{n}Ju+\left(1-{\beta }_{n}\right)J{w}_{n}\right)$

Then

$\begin{array}{ll}\hfill \varphi \left({u}^{*},{y}_{n}\right)& =\varphi \left({u}^{*},{J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ ={∥{u}^{*}∥}^{2}-2⟨{u}^{*},{\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}⟩+{∥{\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ \le {∥{u}^{*}∥}^{2}-2{\beta }_{n}⟨{u}^{*},J{x}_{n}⟩-2\left(1-{\beta }_{n}\right)⟨{u}^{*},J{w}_{n}⟩+{\beta }_{n}{∥{x}_{n}∥}^{2}+\left(1-{\beta }_{n}\right){∥{w}_{n}∥}^{2}\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(∥J{x}_{n}-J{w}_{n}∥\right)\phantom{\rule{2em}{0ex}}\\ =\varphi \left({u}^{*},{x}_{n}\right)-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(∥J{x}_{n}-J{w}_{n}∥\right)\phantom{\rule{2em}{0ex}}\end{array}$
(3.2)

and

$\begin{array}{ll}\hfill \varphi \left({u}^{*},{x}_{n+1}\right)& =\varphi \left({u}^{*},{\prod }_{D}{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ \le \varphi \left({u}^{*},{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ \le {\alpha }_{n}\varphi \left({u}^{*},u\right)+\left(1-{\alpha }_{n}\right)\varphi \left({u}^{*},{y}_{n}\right)\phantom{\rule{2em}{0ex}}\\ \le {\alpha }_{n}\varphi \left({u}^{*},u\right)+\left(1-{\alpha }_{n}\right)\left(\varphi \left({u}^{*},{x}_{n}\right)-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(∥J{x}_{n}-J{w}_{n}∥\right)\right).\phantom{\rule{2em}{0ex}}\end{array}$
(3.3)

for all n . Put

$M=\text{sup}\left\{\left|\varphi \left({u}^{*},u\right)-\varphi \left({u}^{*},{x}_{n}\right)\right|+{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}\right):n\in ℕ\right\}$

It follows from (3.3) that

${\beta }_{n}\left(1-{\beta }_{n}\right)g\left(∥J{x}_{n}-J{w}_{n}∥\right)\le \varphi \left({u}^{*},{x}_{n}\right)-\varphi \left({u}^{*},{x}_{n+1}\right)+{\alpha }_{n}M.$
(3.4)

Let ${z}_{n}\equiv {J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)$. Then ${x}_{n+1}={\prod }_{{C}^{z}n}$ for all n . It follows from (2.3) and (3.2) that

$\begin{array}{l}\varphi \left({u}^{*},{x}_{n+1}\right)\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\le \varphi \left({u}^{*},{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)=V\left({u}^{*},{\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\le V\left({u}^{*},{\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}-{\alpha }_{n}\left(Ju-J{u}^{*}\right)\right)-2⟨{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)-{u}^{*},-{\alpha }_{n}\left(Ju-J{u}^{*}\right)⟩\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}=V\left({u}^{*},{\alpha }_{n}J{u}^{*}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}=\varphi \left({u}^{*},{J}^{-1}\left({\alpha }_{n}J{u}^{*}+\left(1-{\alpha }_{n}\right)J{y}_{n}\right)\right)+2{\alpha }_{n}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}={∥{u}^{*}∥}^{2}-2⟨{u}^{*},{\alpha }_{n}J{u}^{*}+\left(1-{\alpha }_{n}\right)J{y}_{n}⟩+{∥{\alpha }_{n}J{u}^{*}+\left(1-{\alpha }_{n}\right)J{y}_{n}∥}^{2}+2{\alpha }_{n}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\le {∥{u}^{*}∥}^{2}-2{\alpha }_{n}⟨{u}^{*},J{u}^{*}⟩-2\left(1-{\alpha }_{n}\right)⟨{u}^{*},J{y}_{n}⟩+{\alpha }_{n}{∥{u}^{*}∥}^{2}+\left(1-{\alpha }_{n}\right){∥{y}_{n}∥}^{2}+2{\alpha }_{n}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}={\alpha }_{n}\varphi \left(u,{u}^{*}\right)+\left(1-{\alpha }_{n}\right)\varphi \left({u}^{*},{y}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}\le \left(1-{\alpha }_{n}\right)\varphi \left({u}^{*},{x}_{n}\right)+2{\alpha }_{n}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩.\phantom{\rule{2em}{0ex}}\end{array}$
(3.5)

The rest of proof will be divided into two parts:

Case (1). Suppose that there exists n0 such that ${\left\{\varphi \left({u}^{*},{x}_{n}\right)\right\}}_{n={n}_{0}}^{\infty }$ is nonincreasing. In this situation, {ϕ(u*, x n )} is then convergent. Then limn→∞(ϕ(u*, x n ) - ϕ(u*, xn+1)) = 0. This together with (C1), (C3), and (3.4), we obtain

$\underset{n\to \infty }{\text{lim}}g\left(∥J{x}_{n}-J{w}_{n}∥\right)=0.$

Therefore,

$\underset{n\to \infty }{\text{lim}}∥J{x}_{n}-J{w}_{n}∥=0.$

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

$\underset{n\to \infty }{\text{lim}}∥{x}_{n}-{w}_{n}∥=0.$
(3.6)

Since $d\left({x}_{n},T{x}_{n}\right)\le ∥{x}_{n}-{w}_{n}∥$, we obtain

$\underset{n\to \infty }{\text{lim}}d\left({x}_{n},T{x}_{n}\right)=0$
(3.7)

Then,

$\begin{array}{ll}\hfill \varphi \left({w}_{n},{y}_{n}\right)& =\varphi \left({w}_{n},{J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ \le {\beta }_{n}\varphi \left({w}_{n},{x}_{n}\right)+\left(1-{\beta }_{n}\right)\varphi \left({w}_{n},{w}_{n}\right)\phantom{\rule{2em}{0ex}}\\ ={\beta }_{n}\varphi \left({w}_{n},{x}_{n}\right)\to 0.\phantom{\rule{2em}{0ex}}\end{array}$
(3.8)

and

$\varphi \left({y}_{n},{z}_{n}\right)\le {\alpha }_{n}\varphi \left({y}_{n},u\right)+\left(1-{\alpha }_{n}\right)\varphi \left({y}_{n},{y}_{n}\right)={\alpha }_{n}\varphi \left({y}_{n},u\right)\to 0.$
(3.9)

From (3.8), (3.9) and Lemma 2.3, we have

$\underset{n\to \infty }{\text{lim}}∥{w}_{n}-{y}_{n}∥=0$

and

$\underset{n\to \infty }{\text{lim}}∥{y}_{n}-{z}_{n}∥=0$

This together with (3.6) gives

$\underset{n\to \infty }{\text{lim}}∥{x}_{n}-{z}_{n}∥=0$
(3.10)

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

$\underset{n\to \infty }{\text{lim}}⟨{z}_{n}-{u}^{*},Ju-J{u}^{*}⟩=\underset{n\to \infty }{\text{lim}}⟨{x}_{n}-{u}^{*},Ju-J{u}^{*}⟩\le 0$

Hence the conclusion follows by Lemma 2.5.

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

$\varphi \left({u}^{*},{x}_{{n}_{i}}\right)<\varphi \left({u}^{*},{x}_{{n}_{i}+1}\right)$

for all i . Then, by Lemma 2.7, there exists a nondecreasing sequence {m k } , m k → ∞ such that

$\varphi \left({u}^{*},{x}_{{m}_{k}}\right)\le \varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}and\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\varphi \left({u}^{*},{x}_{k}\right)\le \varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)$

for all k . This together with (3.4) gives

${\beta }_{{m}_{k}}\left(1-{\beta }_{{m}_{k}}\right)g\left(∥J{x}_{{m}_{k}}-J{w}_{{m}_{k}}∥\right)\le \varphi \left({u}^{*},{x}_{{m}_{k}}\right)-\varphi \left({u}^{*},{x}_{{m}_{k+1}}\right)+{\alpha }_{{m}_{k}}M\le {\alpha }_{{m}_{k}}M$

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

$\underset{k\to \infty }{\text{lim}}g\left(∥J{x}_{{m}_{k}}-J{w}_{{m}_{k}}∥\right)=0$

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

$\underset{k\to \infty }{\text{lim}}\text{sup}⟨{z}_{{m}_{k}}-{u}^{*},Ju-J{u}^{*}⟩\le 0.$
(3.11)

From (3.5), we have

$\varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)\le \left(1-{\alpha }_{{m}_{k}}\right)\varphi \left({u}^{*},{x}_{{m}_{k}}\right)+2{\alpha }_{{m}_{k}}⟨{z}_{{m}_{k}}-{u}^{*},Ju-J{u}^{*}⟩$
(3.12)

Since $\varphi \left({u}^{*},{x}_{{m}_{k}}\right)\le \varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)$, we have

${\alpha }_{{m}_{k}}\varphi \left({u}^{*},{x}_{{m}_{k}}\right)\le \varphi \left({u}^{*},{x}_{{m}_{k}}\right)-\varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)+2{\alpha }_{{m}_{k}}⟨{z}_{{m}_{k}}-{u}^{*},Ju-J{u}^{*}⟩\le 2{\alpha }_{{m}_{k}}⟨{z}_{{m}_{k}}-{u}^{*},Ju-J{u}^{*}⟩$

In particular, since ${\alpha }_{{m}_{k}}>0$, we get

$\varphi \left({u}^{*},{x}_{{m}_{k}}\right)\le 2⟨{z}_{{m}_{k}}-{u}^{*},Ju-J{u}^{*}⟩$

It follows from (3.11) that $\underset{k\to \infty }{\text{lim}}\varphi \left({u}^{*},{x}_{{m}_{k}}\right)=0$. This together with (3.12) gives

$\underset{k\to \infty }{\text{lim}}\varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)=0$

But $\varphi \left({u}^{*},{x}_{k}\right)\le \varphi \left({u}^{*},{x}_{{m}_{k}+1}\right)$ for all k . We conclude that x k u*.

This implies that limn→∞x n = u* and the proof is finished.

Letting β n = β 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 : DN(D) be a relatively nonexpansive multivalued mapping. Let {x n } be a sequence in D defined as follows: u E,x1 D and

${x}_{n+1}={\prod }_{D}{J}^{-1}\left({\alpha }_{n}Ju+\left(1-{\alpha }_{n}\right)\left(\beta J{x}_{n}+\left(1-\beta \right)J{w}_{n}\right)\right),$

where w n Tx n for all n , {α n } is a sequence in [0,1] satisfying condition (C1) and (C2), and β (0,1). Then {x n } 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 x r D(A) such that J(x) J(x r ) + rA(x r ) (see, for example, [19]). We define the resolvent of A by J r x = x r . In other words J r = (J + rA)-1 J, r > 0. We know that J r is a single-valued relatively nonexpansive mapping and A-10 = F(J r ),r > 0, where F(J r ) is the set of fixed points of J r .

We have the following

Theorem 4.1 Let E, {α n }, and {β n } be the same as in Theorem 3.4. Let A : E → 2E*be a maximal monotone operator and J r = (J + rA)-1J for all r > 0 such that ${A}^{-1}0\ne \varnothing$. Let {x n } be the sequence generated by

${x}_{n+1}={J}^{-1}\left[{\alpha }_{n}J{x}_{1}+\left(1-{\alpha }_{n}\right)\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{J}_{{r}_{n}}{x}_{n}\right)\right],$

then {x n } converges strongly to Π A -10x1.

Proof. In Theorem 3.4 taking D = E, T = J r , r > 0, then T : EE is a single-valued relatively nonexpansive mapping and A-10 = F(T) = F(J r ),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.

## References

1. 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. Marcel Dekker, New York; 1996:15–50.

3. Matsushita S, Takahashi W: Weak and strong convergence theorems for relatively nonexpansive mappings in a Banach spaces. Fixed point Theory Appl 2004, 2004: 37–47.

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 2004, 305–313.

5. Matsushita S, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in a Banach spaces. J Approx Theory 2005, 134: 257–266. 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 Applications 2008: 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 2011, 217(14):6577–6584. 10.1016/j.amc.2011.01.040

8. Jung JS: Strong convergence theorems for multivalued nonexpansive nonself-mappings in Banach spaces. Nonlinear Anal 2007, 66: 2345–2354. 10.1016/j.na.2006.03.023

9. Shahzad N, Zegeye H: Strong convergence results for nonself multimaps in Banach spaces. Proc Am Soc 2008, 136: 539–548.

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

11. Song Y, Wang H: Convergence of iterative algorithms for multivalued mappings in Banach spaces. Nonlinear Anal 2009, 70: 1547–1556. 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 2009, 17: 51–68.

13. Qin X, Cho YJ, Kang SM, Zhou H: Convergence of a modified Halpern-type iteration algorithm for quasi-ϕ-nonexpansive mappings. Appl Math Lett 2009, 22: 1051–1055. 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 2011, 48: 575–584. 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 2010, 15: 265–274. 10.3846/1392-6292.2010.15.265-274

16. Alber YI: Metric and Generalized Projection Operators in Banach Spaces. Marcel Dekker, New York; 1996:15–50.

17. Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J Optim 2002, 13(3):938–945. 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, 2010: 14. 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. Volume 178. Dekker, New York; 1996:15–50.

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

21. Xu HK: Another control condition in an iterative method for nonexpansive mappings. Bull Austral Math Soc 2002, 65: 109–113. 10.1017/S0004972700020116

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

## Acknowledgements

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

## Author information

Authors

### Corresponding author

Correspondence to Shih-sen Chang.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

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

## Rights and permissions

Reprints and Permissions

Zhu, Jh., Chang, Ss. & Liu, M. Strong convergence theorems by Halpern-Mann iterations for multi-valued relatively nonexpansive mappings in Banach spaces with applications. J Inequal Appl 2012, 73 (2012). https://doi.org/10.1186/1029-242X-2012-73