• Research
• Open Access

# Strong convergence theorems for total quasi-ϕ-asymptotically nonexpansive multi-valued mappings in Banach spaces

Fixed Point Theory and Applications20122012:63

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

Accepted: 19 April 2012

Published: 19 April 2012

## Abstract

The main purpose of this article is to introduce the concept of total quasi-ϕ-asymptotically nonexpansive multi-valued mapping and prove the strong convergence theorem in a real uniformly smooth and strictly convex Banach space with Kadec-Klee property. In order to get the theorems, the hybrid algorithms are presented and are used to approximate the fixed point. The results presented in this article improve and extend some recent results announced by some authors.

AMS (MOS) Subject Classification: 47J06, 47J25.

## Keywords

• total quasi-ϕ-asymptotically nonexpansive multi-valued mappings
• total quasi-ϕ-asymptotically nonexpansive mappings
• quasi-ϕ-asymptotically non-expansive mappings.

## 1 Introduction

Throughout this article, we always assume that X is a real Banach space with the dual X* and J : X → 2 X is the normalized duality mapping defined by
$J\left(x\right)=\left\{{f}^{*}\in {X}^{*}:={||x||}^{2}={||{f}^{*}||}^{2}\right\},\phantom{\rule{1em}{0ex}}x\in E.$

In the sequal, we use F(T) to denote the set of fixed points of a mapping T, and use and + to denote the set of all real numbers and the set of all nonnegative real numbers, respectively. We denote by x n x and x n x the strong convergence and weak convergence of a sequence {x n }, respectively.

A Banach space X is said to be strictly convex if $\frac{||x+y||}{2}<1$ for all x, y U = {z X : ||z|| = 1} with xy. X 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|| ≥ ϵ. X is said to be smooth if the limit
$\underset{t\to 0}{\mathsf{\text{lim}}}\frac{||x+ty||-||x||}{t}$

exists for all x, y U. X is said to be uniformly smooth if the above limit is attained uniformly in x, y U.

Remark 1.1. The following basic properties of a Banach space X can be found in Cioranescu [1].
1. (i)

If X is uniformly smooth, then J is uniformly continuous on each bounded subset of X;

2. (ii)

If X is a reflexive and strictly convex Banach space, then J-1 is norm-weak-continuous;

3. (iii)

If X is a smooth, strictly convex and reflexive Banach space, then J is single-valued, one-to-one and onto;

4. (iv)

A Banach space X is uniformly smooth if and only if X* is uniformly convex;

5. (v)

Each uniformly convex Banach space X has the Kadec-Klee property, i.e., for any sequence {x n } X, if x n x X and ||x n || → ||x||, then x n x.

Let X be a smooth Banach space. We always use ϕ : X × X+ to denote the Lyapunov functional defined by
$\varphi \left(x,y\right)={||x||}^{2}-2〈x,Jy〉+{||y||}^{2},\phantom{\rule{1em}{0ex}}\forall x,y\in X.$
(1.1)
It is obvious from the definition of the function ϕ that
${\left(||x||-||y||\right)}^{2}\le \varphi \left(x,y\right)\le {\left(||x||+||y||\right)}^{2},\phantom{\rule{1em}{0ex}}\forall x,y\in X.$
(1.2)
Following Alber [2], the generalized projection Π C : XC is defined by
${\Pi }_{C}\left(x\right)=\mathsf{\text{arg}}\underset{y\in C}{\mathsf{\text{inf}}}\varphi \left(y,x\right),\phantom{\rule{1em}{0ex}}\forall x\in X.$
Lemma 1.2. [2] Let X be a smooth, strictly convex and reflexive Banach space and C be a nonempty closed convex subset of X. Then the following conclusions hold:
1. (a)

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

2. (b)
If x X and z C, then
$z={\Pi }_{C}x\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}if\phantom{\rule{0.3em}{0ex}}f〈z-y,\phantom{\rule{2.77695pt}{0ex}}Jx-Jz〉\ge 0,\phantom{\rule{1em}{0ex}}\forall y\in C;$

3. (c)

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

Let X be a smooth, strictly convex and reflexive Banach space and C be a nonempty closed convex subset of X and T : CC be a mapping. A point p C is said to be an asymptotic fixed point of T if there exists a sequence {x n } C such that x n p and ||x n - Tx n || → 0. We denoted the set of all asymptotic fixed points of T by $\stackrel{̃}{\mathit{F}}\left(T\right)$.

Definition 1.3. (1) A mapping T : CC is said to be relatively nonexpansive [3] if $F\left(T\right)\ne 0̸,F\left(T\right)=F\left(\stackrel{̃}{T}\right)$ and
$\varphi \left(p,Tx\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\forall x\in C,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
1. (2)

A mapping T : CC is said to be closed if, for any sequence {x n } C with x n x and Tx n y, then Tx = y.

Definition 1.4. (1) A mapping T : CC is said to be quasi-ϕ-nonexpansive if $F\left(T\right)\ne 0̸$ and
$\varphi \left(p,Tx\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\forall x\in C,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
1. (2)
A mapping T : CC is said to be quasi-ϕ-asymptotically nonexpansive if $F\left(T\right)\ne 0̸$ and there exists a real sequence {k n } [1, ∞) with k n → 1 such that
$\varphi \left(p,{T}^{n}x\right)\le {k}_{n}\varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\forall n\ge 1,\phantom{\rule{1em}{0ex}}x\in C,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
(1.3)

2. (3)
A mapping T : CC is said to be total quasi-ϕ-asymptotically nonexpansive if $F\left(T\right)\ne 0̸$ and there exist nonnegative real sequences {ν n }, {μ n } with ν n → 0, μ n → 0 (as n → ∞) and a strictly increasing continuous function ζ : ++ with ζ(0) = 0 such that for all x C, p F(T)
$\varphi \left(p,{T}^{n}x\right)\le \varphi \left(p,x\right)+{\nu }_{n}\varsigma \left(\varphi \left(p,x\right)\right)+{\mu }_{n},\phantom{\rule{1em}{0ex}}\forall n\ge 1.$
(1.4)

Remark 1.5. From the definitions, it is easy to know that
1. (1)
Taking ζ(t) = t, t ≥ 0, ν n = k n - 1 and μ n = 0, then ν n → 0(as n → ∞) and (1.3) can be rewritten as
$\varphi \left(p,{T}^{n}x\right)\le \varphi \left(p,x\right)+{\nu }_{n}\varsigma \left(\varphi \left(p,x\right)\right)+{\mu }_{n},\phantom{\rule{1em}{0ex}}\forall n\ge 1,\phantom{\rule{1em}{0ex}}x\in C,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
(1.5)

This implies that the class of total quasi-ϕ-asymptotically nonexpansive mappings contains properly the class of quasi-ϕ-asymptotically nonexpansive mappings as a subclass, but the converse is not true.
1. (2)

The class of quasi-ϕ-asymptotically nonexpansive mappings contains properly the class of quasi-ϕ-nonexpansive mappings as a subclass, but the converse is not true.

2. (3)

The class of quasi-ϕ-nonexpansive mappings contains properly the class of relatively nonexpansive mappings as a subclass, but the converse is not true.

Let C be a nonempty closed convex subset of a Banach space X. Let N(C) be the family of nonempty subsets of C.

Definition 1.6. (1) A multi-valued mapping T : CN(C) is said to be relatively nonexpansive [3] if $F\left(T\right)\ne 0̸,F\left(T\right)=F\left(\stackrel{̃}{T}\right)$ and
$\varphi \left(p,w\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\forall x\in C,\phantom{\rule{1em}{0ex}}w\in Tx,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
1. (2)

A multi-valued mapping T : CN(C) is said to be closed if, for any sequence {x n } C with x n x and w n T(x n ) with w n y, then y Tx.

Definition 1.7. (1) A multi-valued mapping T : CN(C) is said to be quasi-ϕ-nonexpansive if $F\left(T\right)\ne 0̸$ and
$\varphi \left(p,w\right)\le \varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\forall x\in C,\phantom{\rule{1em}{0ex}}w\in Tx,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
1. (2)
A multi-valued mapping T : CN(C) is said to be quasi-ϕ-asymptotically non-expansive if $F\left(T\right)\ne 0̸$ and there exists a real sequence {k n } [1, ∞) with k n → 1 such that
$\varphi \left(p,{w}_{n}\right)\le {k}_{n}\varphi \left(p,x\right),\phantom{\rule{1em}{0ex}}\forall n\ge 1,\phantom{\rule{1em}{0ex}}x\in C,\phantom{\rule{1em}{0ex}}{w}_{n}\in {T}^{n}x,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$
(1.6)

2. (3)
A multi-valued mapping T : CN(C) is said to be total quasi-ϕ-asymptotically nonexpansive if $F\left(T\right)\ne 0̸$ and there exist nonnegative real sequences {ν n }, {μ n } with ν n → 0, μ n → 0(as n → ∞) and a strictly increasing continuous function ζ : ++ with ζ(0) = 0 such that for all x C, p F(T)
$\varphi \left(p,{w}_{n}\right)\le \varphi \left(p,x\right)+{\nu }_{n}\varsigma \left(\varphi \left(p,x\right)\right)+{\mu }_{n},\phantom{\rule{1em}{0ex}}\forall n\ge 1,\phantom{\rule{1em}{0ex}}{w}_{n}\in {T}^{n}x.$
(1.7)

3. (4)
A total quasi-ϕ-asymptotically nonexpansive multi-valued mapping T : CN(C) is said to be uniformly L-Lipschitz continuous if there exists a constant L > 0 such that
$||{w}_{n}-{s}_{n}||\le L||x-y||,\phantom{\rule{1em}{0ex}}\forall x,y\in C,\phantom{\rule{1em}{0ex}}{w}_{n}\in {T}^{n}x,\phantom{\rule{1em}{0ex}}{s}_{n}\in {T}^{n}y,\phantom{\rule{1em}{0ex}}n\ge 1.$

Remark 1.8. From the definitions, it is easy to know that
1. (1)
Taking ζ(t) = t, t ≥ 0, ν n = k n - 1 and μ n = 0, then ν n → 0 (as n → ∞) and (1.6) can be rewritten as
$\varphi \left(p,{w}_{n}\right)\le \varphi \left(p,x\right)+{\nu }_{n}\varsigma \left(\varphi \left(p,x\right)\right)+{\mu }_{n},\phantom{\rule{1em}{0ex}}\forall n\ge 1,\phantom{\rule{1em}{0ex}}x\in C,\phantom{\rule{1em}{0ex}}{w}_{n}\in {T}^{n}x,\phantom{\rule{1em}{0ex}}p\in F\left(T\right).$

This implies that the class of total quasi-ϕ-asymptotically nonexpansive multi-valued mappings contains properly the class of quasi-ϕ-asymptotically nonexpansive multi-valued mappings as a subclass, but the converse is not true.
1. (2)

The class of quasi-ϕ-asymptotically nonexpansive multi-valued mappings contains properly the class of quasi-ϕ-nonexpansive multi-valued mappings as a subclass, but the converse is not true.

2. (3)

The class of quasi-ϕ-nonexpansive multi-valued mappings contains properly the class of relatively nonexpansive multi-valued mappings as a subclass, but the converse is not true.

In 2005, Matsushita and Takahashi [3] proved weak and strong convergence theorems to approximate a fixed point of a single relatively nonexpansive mapping in a uniformly convex and uniformly smooth Banach space X. In 2008, Plubtieng and Ungchittrakool [4] proved the strong convergence theorems to approximate a fixed point of two relatively nonexpansive mapping in a uniformly convex and uniformly smooth Banach space X. In 2010, Chang et al. [5] obtained the strong convergence theorem for an infinite family of quasi-ϕ-asymptotically nonexpansive mappings in a uniformly smooth and strictly convex Banach space X with Kadec-Klee property. In 2011, Chang et al. [6] proved some approximation theorems of common fixed points for countable families of total quasi-ϕ-asymptotically nonexpansive mappings in a uniformly smooth and strictly convex Banach space X with Kadec-Klee property. In 2011, Homaeipour and Razani [7] proved weak and strong convergence theorems for a single relatively nonexpansive multi-valued mapping in a uniformly convex and uniformly smooth Banach space X.

Motivated and inspired by the researches going on in this direction, the purpose of this article is first to introduce the concept of total quasi-ϕ-asymptotically nonexpansive multivalued mapping which contains many kinds of mappings as its special cases, and then by using the hybrid iterative algorithm to prove some strong convergence theorems in uniformly smooth and strictly convex Banach space with Kadec-Klee property. The results presented in the article improve and extend some recent results announced by some authors.

## 2 Preliminaries

Lemma 2.1. [6] Let X be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and C be a nonempty closed convex set of X. Let {x n } and {y n } be two sequences in C such that x n p and ϕ(x n , y n ) → 0, where ϕ is the function defined by (1.1), then y n p.

Lemma 2.2. Let X and C be as in Lemma 2.1. Let T : CN(C) be a closed and total quasi-ϕ-asymptotically nonexpansive multi-valued mapping with nonnegative real sequences {ν n }, {μ n } and a strictly increasing continuous function ζ : ++ such that ν n → 0, μ n → 0(as n → ∞) and ζ(0) = 0. If μ1 = 0, then the fixed point set F(T) is a closed and convex subset of C.

Proof. Let {x n } be a sequence in F(T) with x n p (as n → ∞), we prove that p F(T). In fact, by the assumption that T is total quasi-ϕ-asymptotically nonexpansive multi-valued mapping and μ1 = 0, we have
$\varphi \left({x}_{n},u\right)\le \varphi \left({x}_{n},p\right)+{\nu }_{1}\zeta \left(\varphi \left({x}_{n},p\right)\right),\phantom{\rule{1em}{0ex}}\forall u\in Tp.$
Furthermore, we have
$\begin{array}{cc}\hfill \varphi \left(p,u\right)& =\underset{n\to \infty }{\mathsf{\text{lim}}}\varphi \left({x}_{n},u\right)\hfill \\ \le \underset{n\to \infty }{\mathsf{\text{lim}}}\left(\varphi \left({x}_{n},p\right)+{\nu }_{1}\zeta \left(\varphi \left({x}_{n},p\right)\right)\right)=0,\phantom{\rule{1em}{0ex}}\forall u\in Tp.\hfill \end{array}$

By Lemma 1.2(c), p = u. Hence, p Tp. This implies that p F(T), i.e., F(T) is closed.

Next, we prove that F(T) is convex. For any x, y F(T), t (0, 1), putting q = tx + (1 - t)y, we prove that q F(T). Indeed, let {u n } be a sequence generated by
$\left\{\begin{array}{c}{u}_{1}\in Tq,\hfill \\ {u}_{2}\in T{u}_{1}\subset {T}^{2}q,\hfill \\ {u}_{3}\in T{u}_{2}\subset {T}^{3}q,\hfill \\ ⋮\hfill \\ {u}_{n}\in T{u}_{n-1}\subset {T}^{n}q,\hfill \\ ⋮\hfill \end{array}\right\$
(2.1)
In view of the definition of ϕ(x, y), for all u n Tun-1 T n q, we have
$\begin{array}{cc}\hfill \varphi \left(q,{u}_{n}\right)& ={||q||}^{2}-2〈q,J{u}_{n}〉+{||{u}_{n}||}^{2}\hfill \\ ={||q||}^{2}-2t〈x,J{u}_{n}〉-2\left(1-t\right)〈y,J{u}_{n}〉+{||{u}_{n}||}^{2}\hfill \\ ={||q||}^{2}+t\varphi \left(x,{u}_{n}\right)+\left(1-t\right)\varphi \left(y,{u}_{n}\right)-t{||x||}^{2}-\left(1-t\right){||y||}^{2}\hfill \end{array}$
(2.2)
Since
$\begin{array}{c}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}t\varphi \left(x,{u}_{n}\right)+\left(1-t\right)\varphi \left(y,{u}_{n}\right)\hfill \\ \le t\left(\varphi \left(x,q\right)+{\nu }_{n}\zeta \left(\varphi \left(x,q\right)\right)+{\mu }_{n}\right)+\left(1-t\right)\left(\varphi \left(y,q\right)+{\nu }_{n}\zeta \left(\varphi \left(y,q\right)\right)+{\mu }_{n}\right)\hfill \\ =t\left({||x||}^{2}-2〈x,Jq〉+{||q||}^{2}+{\nu }_{n}\zeta \left(\varphi \left(x,q\right)\right)+{\mu }_{n}\right)\hfill \\ \phantom{\rule{1em}{0ex}}+\left(1-t\right)\left({||y||}^{2}-2〈y,Jq〉+{||q||}^{2}+{\nu }_{n}\zeta \left(\varphi \left(y,q\right)\right)+{\mu }_{n}\right)\hfill \\ =t{||x||}^{2}+\left(1-t\right){||y||}^{2}-{||q||}^{2}+t{\nu }_{n}\zeta \left(\varphi \left(x,q\right)\right)+\left(1-t\right){\nu }_{n}\zeta \left(\varphi \left(y,q\right)\right)+{\mu }_{n}\hfill \end{array}$
(2.3)
Substituting (2.2) into (2.1) and simplifying it we have
$\varphi \left(q,{u}_{n}\right)\le t{\nu }_{n}\zeta \left(\varphi \left(x,q\right)\right)+\left(1-t\right){\nu }_{n}\zeta \left(\varphi \left(y,q\right)\right)+{\mu }_{n}\to 0\left(n\to \infty \right).$

By Lemma 2.1, we have u n q (as n → ∞). This implies that un+1q (as n → ∞). Since T is closed, we have q Tq, i.e., q F(T).

This completes the proof of Lemma2.2.

Lemma 2.3. [8] Let X be a uniformly convex Banach space, r > 0 be a positive number and B r (0) be a closed ball of X. Then, there exists a continuous, strictly increasing and convex function g : [0, ∞) → [0, ∞) with g(0) = 0 such that
${||\alpha x+\beta y||}^{2}\le \alpha {||x||}^{2}+\beta {||y||}^{2}-\alpha \beta g\left(||x-y||\right),$
(2.4)

for all x, y B r (0) and all α, β [0, 1] with α + β = 1.

## 3 Main results

In this section, we shall use the hybrid iterative algorithm to study the iterative solutions of nonlinear operator equations with a closed and uniformly total quasi-ϕ-asymptotically nonexpansive multi-valued mapping in Banach space.

Theorem 3.1. Let X be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and C be a nonempty closed and convex subset of X. Let T : CN(C) be a closed and total quasi-ϕ-asymptotically nonexpansive multi-valued mapping with nonnegative real sequences {ν n },{μ n } and a strictly increasing continuous function ζ : ++ such that μ1 = 0, ν n → 0, μ n → 0 (as n → ∞) and ζ(0) = 0. Let x0 C, C0 = C and {x n } be a sequence generated by
$\left\{\begin{array}{c}{y}_{n}={J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}\right),\hfill \\ {z}_{n}={J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right),\hfill \\ {C}_{n+1}=\left\{\nu \in {C}_{n}:\varphi \left(\nu ,{y}_{n}\right)\le \varphi \left(\nu ,{x}_{n}\right)+{\xi }_{n}\right\},\hfill \\ {x}_{n+1}={\Pi }_{{C}_{n+1}}{x}_{0},\phantom{\rule{1em}{0ex}}\forall n\ge 0,\hfill \end{array}\right\$
(3.1)
where w n T n x n , n ≥ 1, ξ n = ν n suppF(T)ζ(ϕ(p, x n )) + μ n , ${\Pi }_{{C}_{n+1}}$ is the generalized projection of X onto Cn+1, {α n } and {β n } are sequences in [0,1] satisfies the following conditions:
1. (a)

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

2. (b)

0 ≤ α n α < 1 for some α (0, 1).

If F(T) is a nonempty and bounded subset of C, then the sequence {x n } converges strongly to ΠF(T)x0.

Proof. We divide the proof of Theorem 3.1 into six steps.

(I) C n is closed and convex for each n ≥ 0.

In fact, by the assumption, C0 = C is closed and convex. Suppose that C n is closed and convex for some n ≥ 1. Since the condition ϕ(ν, y n ) ≤ ϕ(ν, x n ) + ξ n is equivalent to
$2〈\nu ,J{x}_{n}-J{y}_{n}〉\le {||{x}_{n}||}^{2}-{||{y}_{n}||}^{2}+{\xi }_{n},\phantom{\rule{1em}{0ex}}n=1,2,\dots ,$
hence the set
${C}_{n+1}=\left\{\nu \in {C}_{n}:2〈\nu ,J{x}_{n}-J{y}_{n}〉\le {||{x}_{n}||}^{2}-{||{y}_{n}||}^{2}+{\xi }_{n}\right\}$

is closed and convex. Therefore C n is closed and convex for each n ≥ 0.

(II) {x n } is bounded and {ϕ(x n , x0)} is a convergent sequence.

Indeed, it follows from (3.1) and Lemma 1.2(a) that for all n ≥ 0, u F(T)
$\varphi \left({x}_{n},{x}_{0}\right)=\varphi \left({\Pi }_{{C}_{n}}{x}_{0},{x}_{0}\right)\le \varphi \left(u,{x}_{0}\right)-\varphi \left(u,{\Pi }_{{C}_{n}}{x}_{0}\right)\le \varphi \left(u,{x}_{0}\right).$

This implies that {ϕ(x n , x0)} is bounded. By virtue of (1.2), we know that {x n } is bounded.

In view of structure of {C n }, we have Cn+1 C n , ${C}_{n+1}\subset {C}_{n},{x}_{n}={\Pi }_{{C}_{n}}{x}_{0}$ and ${x}_{n+1}={\Pi }_{{C}_{n+1}}{x}_{0}$. This implies that xn+1 C n and
$\varphi \left({x}_{n},{x}_{0}\right)\le \varphi \left({x}_{n+1},{x}_{0}\right),\phantom{\rule{1em}{0ex}}\forall n\ge 0.$

Therefore {ϕ(x n , x0)} is a convergent sequence.

(III) F(T) C n for all n ≥ 0.

It is obvious that F(T) C0 = C. Suppose that F(T) C n for some n ≥ 1. Since X is uniformly smooth, X* is uniformly convex. For any given u F(T) C n and n ≥ 1 we have
$\begin{array}{cc}\hfill \varphi \left(u,{y}_{n}\right)& =\varphi \left(u,{J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}\right)\right)\hfill \\ ={||u||}^{2}-2〈u,{\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}〉+{||{\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}||}^{2}\hfill \\ \le {||u||}^{2}-2{\alpha }_{n}〈u,J{x}_{n}〉-2\left(1-{\alpha }_{n}\right)〈u,J{z}_{n}〉+{\alpha }_{n}{||{x}_{n}||}^{2}\hfill \\ \phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}+\left(1-{\alpha }_{n}\right){||{z}_{n}||}^{2}\hfill \\ ={\alpha }_{n}\varphi \left(u,{x}_{n}\right)+\left(1-{\alpha }_{n}\right)\varphi \left(u,{z}_{n}\right).\hfill \end{array}$
(3.2)
Furthermore, it follows from Lemma 2.3 that for any u F(T), w n T n x n we have
$\begin{array}{cc}\hfill \varphi \left(u,{z}_{n}\right)& =\varphi \left(u,{J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right)\right)\hfill \\ ={||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}\hfill \\ \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}\hfill \\ \phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}+\left(1-{\beta }_{n}\right){||{w}_{n}||}^{2}-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right)\hfill \\ ={\beta }_{n}\varphi \left(u,{x}_{n}\right)+\left(1-{\beta }_{n}\right)\varphi \left(u,{w}_{n}\right)-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right)\hfill \\ \le {\beta }_{n}\varphi \left(u,{x}_{n}\right)+\left(1-{\beta }_{n}\right)\left(\varphi \left(u,{x}_{n}\right)+{\nu }_{n}\zeta \left(\varphi \left(u,{x}_{n}\right)\right)+{\mu }_{n}\right)\hfill \\ \phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right)\hfill \\ \le \varphi \left(u,{x}_{n}\right)+{\nu }_{n}\underset{p\in F\left(T\right)}{\mathsf{\text{sup}}}\zeta \left(\varphi \left(p,{x}_{n}\right)\right)+{\mu }_{n}-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right)\hfill \\ =\varphi \left(u,{x}_{n}\right)+{\xi }_{n}-{\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right).\hfill \end{array}$
(3.3)
Substituting (3.3) into (3.2) and simplifying it, we have
$\varphi \left(u,{y}_{n}\right)\le \varphi \left(u,{x}_{n}\right)+\left(1-{\alpha }_{n}\right){\xi }_{n}\le \varphi \left(u,{x}_{n}\right)+{\xi }_{n},\phantom{\rule{1em}{0ex}}\forall u\in F\left(T\right),$
(3.4)

i.e., u Cn+1and so F(T) Cn+1for all n ≥ 0.

By the way, in view of the assumption on {ν n }, {μ n } we have
${\xi }_{n}={\nu }_{n}\underset{p\in F\left(T\right)}{\mathsf{\text{sup}}}\zeta \left(\varphi \left(p,{x}_{n}\right)\right)+{\mu }_{n}\to 0\left(n\to \infty \right).$

(IV) {x n } converges strongly to some point p* C.

In fact, since {x n } is bounded and X is reflexive, there exists a subsequence $\left\{{x}_{{n}_{i}}\right\}\subset \left\{{x}_{n}\right\}$ such that ${x}_{{n}_{i}}⇀{p}^{*}$ (some point in C). Since C n is closed and convex and Cn+1 C n , this implies that C n is weakly closed and p* C n for each n ≥ 0. In view of ${x}_{{n}_{i}}={\Pi }_{{C}_{{n}_{i}}}{x}_{0}$, we have
$\varphi \left({x}_{{n}_{i}},{x}_{0}\right)\le \varphi \left({p}^{*},{x}_{0}\right),\phantom{\rule{1em}{0ex}}\forall {n}_{i}\ge 0.$
Since the norm || · || is weakly lower semi-continuous, we have
and so
$\varphi \left({p}^{*},{x}_{0}\right)\le \underset{{n}_{i}\to \infty }{\mathsf{\text{lim}}\mathsf{\text{inf}}}\varphi \left({x}_{{n}_{i}},{x}_{0}\right)\le \underset{{n}_{i}\to \infty }{\mathsf{\text{lim}}\mathsf{\text{sup}}}\varphi \left({x}_{{n}_{i}},{x}_{0}\right)\le \varphi \left({p}^{*},{x}_{0}\right).$
This implies that ${\mathsf{\text{lim}}}_{{n}_{i}\to \infty }\varphi \left({x}_{{n}_{i}},{x}_{0}\right)=\varphi \left({p}^{*},{x}_{0}\right)$, and so $||{x}_{{n}_{i}}||\to ||{p}^{*}||$. Since ${x}_{{n}_{i}}⇀{p}^{*}$, by virtue of Kadec-Klee property of X, we obtain that
$\underset{{n}_{i}\to \infty }{\mathsf{\text{lim}}}{x}_{{n}_{i}}={p}^{*}.$
Since {ϕ(x n , x0)} is convergent, this together with ${\mathsf{\text{lim}}}_{{n}_{i}\to \infty }\varphi \left({x}_{{n}_{i}},{x}_{0}\right)=\varphi \left({p}^{*},{x}_{0}\right)$, which shows that limn→∞ϕ(x n , x0) = ϕ(p*, x0). If there exists some sequence $\left\{{x}_{{n}_{i}}\right\}\subset \left\{{x}_{n}\right\}$ such that ${x}_{{n}_{j}}\to q$, then from Lemma 1.2(a) we have that
$\begin{array}{cc}\hfill \varphi \left({p}^{*},q\right)& =\underset{{n}_{i},{n}_{j}\to \infty }{\mathsf{\text{lim}}}\varphi \left({x}_{{n}_{i}},{x}_{{n}_{j}}\right)=\underset{{n}_{i},{n}_{j}\to \infty }{\mathsf{\text{lim}}}\varphi \left({x}_{{n}_{i}},{\Pi }_{{C}_{{n}_{j}}}{x}_{0}\right)\hfill \\ \le \underset{{n}_{i},{n}_{j}\to \infty }{\mathsf{\text{lim}}}\left(\varphi \left({x}_{{n}_{i}},{x}_{0}\right)-\varphi \left({\Pi }_{{C}_{{n}_{j}}}{x}_{0},{x}_{0}\right)\right)\hfill \\ =\underset{{n}_{i},{n}_{j}\to \infty }{\mathsf{\text{lim}}}\left(\varphi \left({x}_{{n}_{i}},{x}_{0}\right)-\varphi \left({x}_{{n}_{j}},{x}_{0}\right)\right)\hfill \\ =\varphi \left({p}^{*},{x}_{0}\right)-\varphi \left({p}^{*},{x}_{0}\right)=0.\hfill \end{array}$
This implies that p* = q and
$\underset{n\to \infty }{\mathsf{\text{lim}}}{x}_{n}={p}^{*}.$
(3.5)

(V) Now we prove that p* F(T).

In fact, since xn+1 Cn+1 C n , it follows from (3.1) and (3.5) that
$\varphi \left({x}_{n+1},{y}_{n}\right)\le \varphi \left({x}_{n+1},{x}_{n}\right)+{\xi }_{n}\to 0\left(n\to \infty \right).$
Since x n p*, by the virtue of Lemma 2.1
$\underset{n\to \infty }{\mathsf{\text{lim}}}{y}_{n}={p}^{*}.$
(3.6)
From (3.2) and (3.3), for any u F(T) and w n T n x n , we have
$\varphi \left(u,{y}_{n}\right)\le \varphi \left(u,{x}_{n}\right)+{\xi }_{n}-\left(1-{\alpha }_{n}\right){\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right),$
i.e.,
$\left(1-{\alpha }_{n}\right){\beta }_{n}\left(1-{\beta }_{n}\right)g\left(||J{x}_{n}-J{w}_{n}||\right)\le \varphi \left(u,{x}_{n}\right)+{\xi }_{n}-\varphi \left(u,{y}_{n}\right)\to 0\left(n\to \infty \right).$
By conditions (a) and (b) it shows that limn→∞g(||Jx n - Jw n ||) = 0. In view of property of g, we have
$||J{x}_{n}-J{w}_{n}||\to 0\left(n\to \infty \right).$
Since Jx n Jp*, this implies that Jw n Jp*. From Remark 1.1 (ii) it yields
${w}_{n}⇀{p}^{*}\left(n\to \infty \right).$
(3.7)
Again since
$\left|||{w}_{n}||-||{p}^{*}||\right|=\left|||J{w}_{n}||-||J{p}^{*}||\right|\le ||J{w}_{n}-J{p}^{*}||\to 0\left(n\to \infty \right),$
this together with (3.7) and the Kadec-Klee property of X shows that
$\underset{n\to \infty }{\mathsf{\text{lim}}}{w}_{n}={p}^{*}.$
(3.8)
Let {s n } be a sequence generated by
$\left\{\begin{array}{c}{s}_{2}\in T{w}_{1}\subset {T}^{2}{x}_{1},\hfill \\ {s}_{3}\in T{w}_{2}\subset {T}^{3}{x}_{2},\hfill \\ ⋮\hfill \\ {s}_{n+1}\in T{w}_{n}\subset {T}^{n+1}{x}_{n},\hfill \\ ⋮\hfill \end{array}\right\$
By the assumption that T is uniformly L-Lipschitz continuous, hence for any w n T n x n and sn+1 Tw n Tn+1x n we have
$\begin{array}{cc}\hfill ||{s}_{n+1}-{w}_{n}||& \le ||{s}_{n+1}-{w}_{n+1}||+||{w}_{n+1}-{x}_{n+1}||+||{x}_{n+1}-{x}_{n}||+||{x}_{n}-{w}_{n}||\hfill \\ \le \left(L+1\right)||{x}_{n+1}-{x}_{n}||+||{w}_{n+1}-{x}_{n+1}||+||{x}_{n}-{w}_{n}||.\hfill \end{array}$
(3.9)
This together with (3.5) and (3.8) shows that limn→∞||sn+1- w n || = 0 and limn→∞sn+1= p*. In view of the closeness of T, it yields that p* Tp*, i.e.,
${p}^{*}\in F\left(T\right).$

(VI) we prove that x n p* = ΠF(T)x0.

Let t = ΠF(T)x0. Since t F(T) C n and ${x}_{n}={\Pi }_{{C}_{n}}{x}_{0}$, we have
$\varphi \left({x}_{n},{x}_{0}\right)\le \varphi \left(t,{x}_{0}\right),\phantom{\rule{1em}{0ex}}\forall n\ge 0.$
This implies that
$\varphi \left({p}^{*},{x}_{0}\right)=\underset{n\to \infty }{\mathsf{\text{lim}}}\varphi \left({x}_{n},{x}_{0}\right)\le \varphi \left(t,{x}_{0}\right).$
(3.10)

In view of the definition of ΠF(T)x0, from (3.10) we have p* = t. Therefore, x n p* = ΠF(T)x0.

This completes the proof of Theorem 3.1.

From Remark 1.8, the following theorems can be obtained from Theorem 3.1 immediately.

Theorem 3.2. Let X be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and C be a nonempty closed and convex subset of X. Let T : CN(C) be a closed and quasi-ϕ-asymptotically nonexpansive multi-valued mapping with a real sequences {k n } [1, ∞) and k n → 1(n → (∞). Let x0 C, C0 = C and {x n } be a sequence generated by
$\left\{\begin{array}{c}{y}_{n}={J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}\right),\hfill \\ {z}_{n}={J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right),\phantom{\rule{1em}{0ex}}{w}_{n}\in {T}^{n}{x}_{n},\hfill \\ {C}_{n+1}=\left\{\nu \in {C}_{n}:\varphi \left(\nu ,{y}_{n}\right)\le \varphi \left(\nu ,{x}_{n}\right)+{\xi }_{n}\right\},\hfill \\ {x}_{n+1}={\Pi }_{{C}_{n+1}}{x}_{0},\phantom{\rule{1em}{0ex}}\forall n\ge 0,\hfill \end{array}\right\$
where ξ n = (k n - 1) suppF(T)(ϕ(p, x n )), ${\Pi }_{{C}_{n+1}}$ is the generalized projection of X onto Cn+1, {α n } and {β n } are sequences in [0,1] satisfies the following conditions:
1. (a)

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

2. (b)

0 ≤ α n α < 1 for some α (0, 1).

If F(T) is a nonempty and bounded subset of C, then the sequence {x n } converges strongly to ΠF(T)x0.

Theorem 3.3. Let X be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and C be a nonempty closed and convex subset of X. Let T : CN(C) be a closed and quasi-ϕ nonexpansive multi-valued mapping. Let x0 C, C0 = C and {x n } be a sequence generated by
$\left\{\begin{array}{c}{y}_{n}={J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}\right),\hfill \\ {z}_{n}={J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right),\phantom{\rule{1em}{0ex}}{w}_{n}\in T{x}_{n},\hfill \\ {C}_{n+1}=\left\{\nu \in {C}_{n}:\varphi \left(\nu ,{y}_{n}\right)\le \varphi \left(\nu ,{x}_{n}\right)\right\},\hfill \\ {x}_{n+1}={\Pi }_{{C}_{n+1}}{x}_{0},\phantom{\rule{1em}{0ex}}\forall n\ge 0,\hfill \end{array}\right\$
where ${\Pi }_{{C}_{n+1}}$ is the generalized projection of X onto Cn+1, {α n } and {β n } are sequences in [0,1] satisfies the following conditions:
1. (a)

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

2. (b)

0 ≤ α n α < 1 for some α (0, 1).

If F(T) is a nonempty and bounded subset of C, then the sequence {x n } converges strongly to ΠF(T)x0.

Theorem 3.4. Let X be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and C be a nonempty closed and convex subset of X. Let T : CN(C) be a closed and relatively nonexpansive multi-valued mapping. Let x0 C, C0 = C and {x n } be a sequence generated by
$\left\{\begin{array}{c}{y}_{n}={J}^{-1}\left({\alpha }_{n}J{x}_{n}+\left(1-{\alpha }_{n}\right)J{z}_{n}\right),\hfill \\ {z}_{n}={J}^{-1}\left({\beta }_{n}J{x}_{n}+\left(1-{\beta }_{n}\right)J{w}_{n}\right),\phantom{\rule{1em}{0ex}}{w}_{n}\in T{x}_{n},\hfill \\ {C}_{n+1}=\left\{\nu \in {C}_{n}:\varphi \left(\nu ,{y}_{n}\right)\le \varphi \left(\nu ,{x}_{n}\right)\right\},\hfill \\ {x}_{n+1}={\Pi }_{{C}_{n+1}}{x}_{0},\phantom{\rule{1em}{0ex}}\forall n\ge 0,\hfill \end{array}\right\$
where ${\Pi }_{{C}_{n+1}}$ is the generalized projection of X onto Cn+1, {α n } and {β n } are sequences in [0,1] satisfies the following conditions:
1. (a)

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

2. (b)

0 ≤ α n α < 1 for some α (0, 1).

If F(T) is a nonempty and bounded subset of C, then the sequence {x n } converges strongly to ΠF(T)x0.

## Authors’ Affiliations

(1)
Department of Mathematics, Yibin University, Yibin, Sichuan, China
(2)
College of statistics and mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan, China

## References

1. Cioranescu I: Geometry of Banach spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic Publishers, Dordrecht; 1990.
2. Alber YI: Metric and generalized projection operators in Banach space: properties and application. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartosator AG. Marcel Dekker, New York; 1996:15–50.Google Scholar
3. Matsushita S, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in Banach spaces. J Approx Theory 2005, 134: 257–266.
4. Plubtieng S, Ungchittrakool K: Hybrid iterative method for convex feasibility problems and fixed point problems of relatively nonexpansive mappings in Banach spaces. Fixed Point Theory Appl 2008, 2008: 19. (Article ID 583082) doi:10.1155/2008/58308
5. 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) doi:10.1155/2010/869684
6. Chang SS, Joseph Lee HW, Chan CK, Yang : Approximation theorems for total quasi- ϕ -asymptotically nonexpansive mappings with applications. Appl Math Comput 2011, 218: 2921–2931.
7. Homaeipour S, Razani A: Weak and strong convergence theorems for relatively nonex-pansive multi-valued mappings in Banach spaces. Fixed Point Theorem Appl 2011., 73: doi:10.1186/1687–1812Google Scholar
8. Xu HK: Inequalities in Banach spaces with applications. Nonlinear Anal 1991, 16: 1127–1138.