# A strong convergence theorem for Bregman asymptotically quasi-nonexpansive mappings in the intermediate sense

- Yukino Tomizawa
^{1, 2}Email author

**2014**:154

https://doi.org/10.1186/1687-1812-2014-154

© Tomizawa; licensee Springer. 2014

**Received: **10 January 2014

**Accepted: **13 June 2014

**Published: **22 July 2014

## Abstract

The purpose of this paper is to introduce a new class of Bregman asymptotically quasi-nonexpansive mappings in the intermediate sense. A strong convergence theorem of the shrinking projection method with the modified Mann iteration is established to find fixed points of the mappings in reflexive Banach spaces. This theorem generalizes some known results in the current literature.

**MSC:**47H09, 47J25.

### Keywords

asymptotically quasi-nonexpansive in the intermediate sense Bregman distance Bregman projection Legendre function totally convex function## 1 Introduction

Fixed point theory is an important branch of nonlinear analysis and has been applied in numerous studies of nonlinear phenomena. Many problems in nonlinear functional analysis is related to finding fixed points of nonlinear mappings of nonexpansive type. From the standpoint of real world applications, we want to construct an iterative process to approximate fixed points of mappings of nonexpansive type. Many authors have considered the problem of iterative algorithms for mappings of nonexpansive type which converge to some fixed points.

*C*be a nonempty subset of a real Banach space and

*T*a nonlinear mapping from

*C*into itself. We denote by $F(T)$ the set of fixed points of

*T*. Recall that

*T*is said to be

*nonexpansive*if

*T*is said to be

*asymptotically nonexpansive*(

*cf.*[1]) if there exists a sequence $\{{k}_{n}\}\subset [1,\mathrm{\infty})$ with ${lim}_{n\to \mathrm{\infty}}{k}_{n}=1$ such that

*T*is said to be

*asymptotically nonexpansive in the intermediate sense*(

*cf.*[5]) if

If $F(T)$ is nonempty and (1.1) holds for all $x\in C$ and $y\in F(T)$, then *T* is said to be *asymptotically quasi-nonexpansive in the intermediate sense*. It is worth mentioning that the class of asymptotically nonexpansive mappings in the intermediate sense contains properly the class of asymptotically nonexpansive mappings, since the mappings in the intermediate sense are not Lipschitz continuous in general.

Recently, many authors have studied further new hybrid iterative schemes in the framework of real Banach spaces; for instance, see [6–8]. Qin and Wang [9] have introduced a new class of mappings which are asymptotically quasi-nonexpansive with respect to the Lyapunov functional (*cf.* [10]) in the intermediate sense. By using the shrinking projection method, Hao [11] has proved a strong convergence theorem for an asymptotically quasi-nonexpansive mapping with respect to the Lyapunov functional in the intermediate sense.

In 1967, Bregman [12] has discovered an elegant and effective technique for the using of the so-called Bregman distance function (see Section 2) in the process of designing and analyzing feasibility and optimization algorithms. This opened a growing area of research in which Bregman’s technique is applied in various ways in order to design and analyze not only iterative algorithms for solving feasibility and optimization problems, but also algorithms for solving variational inequalities, for approximating equilibria and for computing fixed points of nonlinear mappings.

The purpose of this paper is to prove strong convergence theorems for asymptotically quasi-nonexpansive mappings with respect to Bregman distances in the intermediate sense by using the shrinking projection method. Many authors have studied iterative methods for approximating fixed points of mappings of nonexpansive type with respect to the Bregman distance; see [13–16]. However, nonlinear mappings which are not Lipschitz continuous with respect to the Bregman distance have not been studied yet. Against this background, we introduce a new class of asymptotically quasi-nonexpansive mappings which is an extension of with respect to the Bregman distance in the intermediate sense. Motivated by the results above, we design a new hybrid iterative scheme for finding fixed points of the mapping in reflexive Banach spaces. This iterative method is expected to be applicable to many other problems in nonlinear functional analysis relating to Bregman distances.

In this paper, we introduce a new class of nonlinear mappings which is an extension of asymptotically quasi-nonexpansive mappings with respect to the Bregman distance in the intermediate sense. Motivated by [4, 12], we design a new hybrid iterative scheme for finding a fixed point of mappings in the new class by using the shrinking projection method with respect to Bregman distances in reflexive Banach spaces. We prove a new strong convergence theorem for the mappings, which is an extension of results of [11]. In Section 2, we present several preliminary definitions and results. In Section 3, we introduce the new class of mappings with respect to the Bregman distance and prove closedness and convexity of the set of fixed points of the mappings. In Section 4, we prove a strong convergence theorem for finding a fixed point of mappings in the new class by using the shrinking projection method.

## 2 Preliminaries

Throughout this paper, we denote by **N** and **R** the sets of all nonnegative integers and real numbers, respectively, and we assume that *E* is a real reflexive Banach space with the norm $\parallel \cdot \parallel $, ${E}^{\ast}$ the dual space of *E* and $\u3008\cdot ,\cdot \u3009$ the pairing between *E* and ${E}^{\ast}$. When $\{{x}_{n}\}$ is a sequence in *E*, we denote the strong convergence of $\{{x}_{n}\}$ to *x* by ${x}_{n}\to x$ and the weak convergence by ${x}_{n}\rightharpoonup x$.

*effective domain*of

*f*is defined by

When $domf\ne \mathrm{\varnothing}$ we say that *f* is *proper*. We denote by int dom*f* the *interior* of the effective domain of *f*. We denote by ran*f* the *range* of *f*.

*f*is said to be

*strongly coercive*if ${lim}_{\parallel x\parallel \to \mathrm{\infty}}f(x)/\parallel x\parallel =+\mathrm{\infty}$. Given a proper and convex function $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$, the

*subdifferential*of

*f*is a mapping $\partial f:E\to {2}^{{E}^{\ast}}$ defined by

*Fenchel conjugate*function of

*f*is the convex function ${f}^{\ast}:{E}^{\ast}\to (-\mathrm{\infty},+\mathrm{\infty})$ defined by

We know that ${x}^{\ast}\in \partial f(x)$ if and only if $f(x)+{f}^{\ast}({x}^{\ast})=\u3008{x}^{\ast},x\u3009$ for $x\in E$; see [17].

**Proposition 2.1** ([18], Proposition 2.47)

*Let*$f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$

*be a proper*,

*convex and lower semicontinuous function*.

*Then the following conditions are equivalent*:

- (i)
$ran\partial f={E}^{\ast}$

*and*$\partial {f}^{\ast}={(\partial f)}^{-1}$*is bounded on bounded subsets of*${E}^{\ast}$; - (ii)
*f**is strongly coercive*.

*right-hand derivative*of

*f*at

*x*in the direction

*y*by

The function *f* is said to be *Gâteaux differentiable at* *x* if the limit (2.1) exists for any *y*. In this case, the *gradient* of *f* at *x* is the function $\mathrm{\nabla}f(x):E\to (-\mathrm{\infty},+\mathrm{\infty})$ defined by $\u3008\mathrm{\nabla}f(x),y\u3009={f}^{\circ}(x,y)$ for all $y\in E$. The function *f* is said to be *Gâteaux differentiable* if it is Gâteaux differentiable at each $x\in int\hspace{0.17em}domf$. If the limit (2.1) is attained uniformly in $\parallel y\parallel =1$, then the function *f* is said to be *Fréchet differentiable at* *x*. The function *f* is said to be *uniformly Fréchet differentiable on a subset* *C* *of* *E* if the limit (2.1) is attained uniformly for $x\in C$ and $\parallel y\parallel =1$. We know that if *f* is uniformly Fréchet differentiable on bounded subsets of *E*, then *f* is uniformly continuous on bounded subsets of *E* (*cf.* [19]). We will need the following results.

**Proposition 2.2** ([20], Proposition 2.1)

*If a function* $f:E\to \mathbf{R}$ *is convex*, *uniformly Fréchet differentiable and bounded on bounded subsets of* *E*, *then* ∇*f* *is uniformly continuous on bounded subsets of* *E* *from the strong topology of* *E* *to the strong topology of* ${E}^{\ast}$.

**Proposition 2.3** ([21], Proposition 3.6.4)

*Let*$f:E\to \mathbf{R}$

*be a convex function which is bounded on bounded subsets of*

*E*.

*Then the following assertions are equivalent*:

- (i)
*f**is strongly coercive and uniformly convex on bounded subsets of**E*; - (ii)
${f}^{\ast}$

*is Fréchet differentiable and*$\mathrm{\nabla}{f}^{\ast}$*is uniformly norm*-*to*-*norm continuous on bounded subsets of*$dom{f}^{\ast}={E}^{\ast}$.

A function $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ is said to be *admissible* if it is proper, convex, and lower semicontinuous on *E* and Gâteaux differentiable on int dom*f*. Under these conditions we know that *f* is continuous in int dom*f*, *∂f* is single-valued and $\partial f=\mathrm{\nabla}f$; see [17, 22]. An admissible function $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ is called *Legendre* (*cf.* [17]) if it satisfies the following two conditions:

(L1) the interior of the domain of *f*, int dom*f*, is nonempty, *f* is Gâteaux differentiable and $dom\mathrm{\nabla}f=int\hspace{0.17em}domf$;

(L2) the interior of the domain of ${f}^{\ast}$, $int\hspace{0.17em}dom{f}^{\ast}$, is nonempty, ${f}^{\ast}$ is Gâteaux differentiable and $dom\mathrm{\nabla}{f}^{\ast}=int\hspace{0.17em}dom{f}^{\ast}$.

*f*be a Legendre function on

*E*. Since

*E*is reflexive, we always have $\mathrm{\nabla}f={(\mathrm{\nabla}{f}^{\ast})}^{-1}$. This fact, when combined with conditions (L1) and (L2), implies the following equalities:

Conditions (L1) and (L2) imply that the functions *f* and ${f}^{\ast}$ are strictly convex on the interior of their respective domains.

**Example 2.4**The following functions are Legendre on $E={\mathbf{R}}^{n}$: Let $x\in {\mathbf{R}}^{n}$.

- (i)
Halved energy: $f(x)={\parallel x\parallel}^{2}/2=\frac{1}{2}{\sum}_{j=1}^{n}{x}_{j}^{2}$.

- (ii)Boltzmann-Shannon entropy:$f(x)=\{\begin{array}{cc}{\sum}_{j=1}^{n}({x}_{j}ln({x}_{j})-{x}_{j}),\hfill & x\ge 0;\hfill \\ +\mathrm{\infty},\hfill & \text{otherwise}.\hfill \end{array}$
- (iii)Burg entropy:$f(x)=\{\begin{array}{cc}-{\sum}_{j=1}^{n}ln({x}_{j}),\hfill & x>0;\hfill \\ +\mathrm{\infty},\hfill & \text{otherwise}.\hfill \end{array}$

Note that $int\hspace{0.17em}domf={\mathbf{R}}^{n}$ in (i), whereas $int\hspace{0.17em}domf=\{x\in {\mathbf{R}}^{n}:{x}_{j}>0,j=1,\dots ,n\}$ in (ii) and (iii).

*E*which is Gâteaux differentiable on int dom

*f*. The bifunction ${D}_{f}:domf\times int\hspace{0.17em}domf\to [0,+\mathrm{\infty})$ given by

*Bregman distance with respect to*

*f*(

*cf.*[23]). In general, the Bregman distance is not a metric, since it is not symmetric and does not satisfy the triangle inequality. However, it has the following important property, which is called the

*three point identity*(

*cf.*[24]): for any $x\in domf$ and $y,z\in int\hspace{0.17em}domf$,

**Example 2.5**The Bregman distances corresponding to the Legendre functions of Example 2.4 are as follows ($x,y\in {\mathbf{R}}^{n}$):

- (i)
Euclidean distance: ${D}_{f}(y,x)={\parallel y-x\parallel}^{2}/2$.

- (ii)
Kullback-Leibler divergence: ${D}_{f}(y,x)={\sum}_{j=1}^{n}({y}_{j}ln({y}_{j}/{x}_{j})-{y}_{j}+{x}_{j})$.

- (iii)
Itakura-Saito divergence: ${D}_{f}(y,x)={\sum}_{j=1}^{n}(ln({x}_{j}/{y}_{j})+{y}_{j}/{x}_{j}-1)$.

**Proposition 2.6** ([13], Proposition 10)

*Let* $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ *be a Legendre function such that* $\mathrm{\nabla}{f}^{\ast}$ *is bounded on bounded subsets of* $int\hspace{0.17em}dom{f}^{\ast}$. *Let* $x\in int\hspace{0.17em}domf$. *If the sequence* ${\{{D}_{f}(x,{x}_{n})\}}_{n\in \mathbf{N}}$ *is bounded*, *then the sequence* ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ *is also bounded*.

**Proposition 2.7** ([13], Proposition 1)

*Let*$f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$

*be a Legendre function*.

*Then the following statements hold*:

- (i)
*The function*${W}^{f}(\cdot ,x)$*is convex for all*$x\in domf$; - (ii)
${W}^{f}(\mathrm{\nabla}f(x),y)={D}_{f}(y,x)$

*for all*$x\in int\hspace{0.17em}domf$*and*$y\in domf$.

*E*which is Gâteaux differentiable on int dom

*f*. The function

*f*is said to be

*totally convex at a point*$x\in int\hspace{0.17em}domf$ if its

*modulus of total convexity at*$x,{v}_{f}(x,\cdot ):[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}]$, defined by

*f*is said to be

*totally convex*when it is totally convex at every point of int dom

*f*. The function

*f*is said to be

*totally convex on bounded sets*if, for any nonempty bounded set $B\subset E$, the

*modulus of total convexity of*

*f*on

*B*, ${v}_{f}(B,t)$ is positive for any $t>0$, where ${v}_{f}(B,\cdot ):[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}]$ is defined by

We remark in passing that *f* is totally convex on bounded sets if and only if *f* is uniformly convex on bounded sets; see [25, 26].

**Proposition 2.8** ([25], Proposition 4.2)

*Let* $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ *be a convex function whose domain contains at least two points*. *If* *f* *is lower semicontinuous*, *then* *f* *is totally convex on bounded sets if and only if* *f* *is uniformly convex on bounded sets*.

**Proposition 2.9** ([27], Lemma 3.1)

*Let* $f:E\to \mathbf{R}$ *be a totally convex function*. *If* $x\in E$ *and the sequence* ${\{{D}_{f}({x}_{n},x)\}}_{n\in \mathbf{N}}$ *is bounded*, *then the sequence* ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ *is also bounded*.

*E*which is Gâteaux differentiable on int dom

*f*. The function

*f*is said to be

*sequentially consistent*(

*cf.*[26]) if for any two sequences ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ and ${\{{y}_{n}\}}_{n\in \mathbf{N}}$ in int dom

*f*and dom

*f*, respectively, such that the first one is bounded,

**Proposition 2.10** ([22], Proposition 2.1.2)

*A function* $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ *is totally convex on bounded subsets of* *E* *if and only if it is sequentially consistent*.

*C*be a nonempty, closed, and convex subset of

*E*. Let $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ be a convex function on

*E*which is Gâteaux differentiable on int dom

*f*. The

*Bregman projection*${proj}_{C}^{f}(x)$

*with respect to*

*f*(

*cf.*[23]) of $x\in int\hspace{0.17em}domf$ onto

*C*is the minimizer over

*C*of the functional ${D}_{f}(\cdot ,x):E\to [0,+\mathrm{\infty}]$, that is,

**Proposition 2.11** ([28], Corollary 2.1)

*Let* $f:E\to \mathbf{R}$ *be an admissible*, *strongly coercive*, *and strictly convex function*. *Let* *C* *be a nonempty*, *closed*, *and convex subset of* dom*f*. *Then* ${proj}_{C}^{f}(x)$ *exists uniquely for all* $x\in int\hspace{0.17em}domf$.

**Remark**Let $f(x)={\parallel x\parallel}^{2}/2$ for $x\in E$.

- (i)
If

*E*is a Hilbert space, then the Bregman projection ${proj}_{C}^{f}$ is reduced to the metric projection onto*C*. - (ii)If
*E*is a smooth Banach space, then the Bregman projection ${proj}_{C}^{f}$ is reduced to the generalized projection ${\mathrm{\Pi}}_{C}x$ which is defined by${\mathrm{\Pi}}_{C}x:=arg\hspace{0.17em}min\{\varphi (y,x):y\in C\},$

where $\varphi :E\times E\to {\mathbf{R}}^{+}$ is the Lyapunov functional (*cf.* [10]) defined by $\varphi (y,x):={\parallel y\parallel}^{2}-2\u3008y,Jx\u3009+{\parallel x\parallel}^{2}$ for all $x,y\in E$.

**Proposition 2.12** ([26], Corollary 4.4)

*Let*$f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$

*be a totally convex function*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*int dom

*f*

*and*$x\in int\hspace{0.17em}domf$.

*If*$\stackrel{\u02c6}{x}\in C$,

*then the following statements are equivalent*:

- (i)
*The vector*$\stackrel{\u02c6}{x}$*is the Bregman projection*${proj}_{C}^{f}(x)$*of**x**onto**C*. - (ii)
*The vector*$\stackrel{\u02c6}{x}$*is the unique solution**z**of the variational inequality*$\u3008\mathrm{\nabla}f(x)-\mathrm{\nabla}f(z),z-y\u3009\ge 0\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}y\in C.$ - (iii)
*The vector*$\stackrel{\u02c6}{x}$*is the unique solution**z**of the inequality*${D}_{f}(y,z)+{D}_{f}(z,x)\le {D}_{f}(y,x)\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}y\in C.$

## 3 Bregman asymptotically quasi-nonexpansive in the intermediate sense

*C*be a nonempty, closed, and convex subset of

*E*and

*T*a mapping from

*C*into itself. Let $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ be an admissible function. Recall that the mapping

*T*is said to be

*Bregman quasi-nonexpansive*(

*cf.*[14]) if $F(T)\ne \mathrm{\varnothing}$ and

*T*is said to be

*Bregman asymptotically quasi-nonexpansive*(

*cf.*[29]) if $F(T)\ne \mathrm{\varnothing}$ and there exists a sequence $\{{k}_{n}\}\subset [1,\mathrm{\infty})$ with ${lim}_{n\to \mathrm{\infty}}{k}_{n}=1$ such that

Every Bregman quasi-nonexpansive mapping is Bregman asymptotically quasi-nonexpansive with ${k}_{n}=1$.

*T*is said to be

*Bregman asymptotically quasi-nonexpansive in the intermediate sense*if $F(T)\ne \mathrm{\varnothing}$ and

Bregman asymptotically quasi-nonexpansive mappings in the intermediate sense are not Lipschitz continuous in general.

**Example 3.1**Assume that $E=\mathbf{R}$, $C=[1/2,3/2]$ and $T:C\to C$ defined by

*T*is Bregman asymptotically quasi-nonexpansive in the intermediate sense since

*T*above is not Lipschitzian with respect to Bregman distances in Example 2.5. Indeed, suppose that there exists $L>0$ such that ${D}_{f}(Ty,Tx)\le L{D}_{f}(y,x)$ for all $x,y\in C$. By Taylor’s theorem, there exists $t\in (0,1)$ such that

- (i)Let $f(x)={\parallel x\parallel}^{2}/2$ on $domf=\mathbf{R}$ and ${D}_{f}(y,x)={\parallel y-x\parallel}^{2}/2$ for all $x,y\in \mathbf{R}$. Put $y=1$ and $x=1+1/2(L+1)$. Since $Tx=1-1/2\sqrt{L+1}$, we have$\frac{1}{8(L+1)}=\frac{1}{2}{\parallel \frac{-1}{2\sqrt{L+1}}\parallel}^{2}=\frac{1}{2}{\parallel Ty-Tx\parallel}^{2}\le \frac{L}{2}{\parallel y-x\parallel}^{2}=\frac{L}{8{(L+1)}^{2}}.$

This implies $L+1\le L$, which is a contradiction.

- (iii)Let $f(x)=-ln(x)$ on $domf=(0,+\mathrm{\infty})$ and ${D}_{f}(y,x)=ln(x/y)+y/x-1$ for all $x,y\in (0,+\mathrm{\infty})$. Note that ${\mathrm{\nabla}}^{2}f(x)=1/{x}^{2}$. Put $y=1$. By (3.2), we have${D}_{f}(1,x)=\frac{{(1-x)}^{2}}{2{(x+t(1-x))}^{2}}\le \frac{{(1-x)}^{2}}{2}\phantom{\rule{1em}{0ex}}\text{for}x\ge 1$

This implies $L+1\le L$, which is a contradiction.

**Theorem 3.2** *Let* $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ *be a Legendre function which is totally convex on bounded subsets of* *E*. *Suppose that* $\mathrm{\nabla}{f}^{\ast}$ *is bounded on bounded subsets of* $int\hspace{0.17em}dom{f}^{\ast}$. *Let* *C* *be a nonempty*, *closed*, *and convex subset of* int dom*f*. *Let* $T:C\to C$ *be a closed and Bregman asymptotically quasi*-*nonexpansive mapping in the intermediate sense*. *Then* $F(T)$ *is closed and convex*.

*Proof*Since

*T*is closed, we can easily conclude that $F(T)$ is closed. Now we show the convexity of $F(T)$. Let ${p}_{1},{p}_{2}\in F(T)$ and $p=t{p}_{1}+(1-t){p}_{2}$, where $t\in (0,1)$. We prove that $p\in F(T)$. By the definition of

*T*, we have

*t*and $1-t$ on both sides of (3.5) with $i=1$ and $i=2$, respectively, yields

*T*, we have

and hence $p\in F(T)$. Therefore $F(T)$ is convex. This completes the proof. □

Theorem 3.2 is reduced to the following results.

**Corollary 3.3** ([29], Lemma 1)

*Let* $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ *be a Legendre function which is totally convex on bounded subsets of* *E*. *Let* *C* *be a nonempty*, *closed*, *and convex subset of* int dom*f* *and* $T:C\to C$ *a closed and Bergman asymptotically quasi*-*nonexpansive mapping with the sequence* ${\{{k}_{n}\}}_{n\in \mathbf{N}}\subset [1,+\mathrm{\infty})$ *such that* ${k}_{n}\to 1$ *as* $n\to \mathrm{\infty}$. *Then* $F(T)$ *is closed and convex*.

## 4 Main results

*C*be a nonempty, closed, and convex subset of

*E*and

*T*a mapping from

*C*into itself. The mapping

*T*is said to be

*asymptotically regular*if, for any $x\in C$,

**Theorem 4.1**

*Let*$f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$

*be a Legendre function which is bounded*,

*strongly coercive*,

*uniformly Fréchet differentiable and totally convex on bounded subsets on*

*E*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*int dom

*f*.

*Let*$T:C\to C$

*be a closed and Bregman asymptotically quasi*-

*nonexpansive mapping in the intermediate sense*.

*Suppose that*

*T*

*is asymptotically regular on*

*C*

*and*$F(T)$

*is bounded*.

*Let*$\{{x}_{n}\}$

*be a sequence of*

*C*

*generated by*

*where*

*and* ${\{{\alpha}_{n}\}}_{n\in \mathbf{N}}\subset [0,1)$ *is a sequence satisfying* ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\alpha}_{n}<1$. *Then* ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ *converges strongly to* ${proj}_{F(T)}^{f}{x}_{0}$.

*Proof* We divide the proof into five steps.

Step 1. We show that ${C}_{n}$ is closed and convex for all $n\in \mathbf{N}$.

and hence $z\in {C}_{m+1}$. Therefore ${C}_{n}$ is closed and convex for all $n\in \mathbf{N}$. By Proposition 2.11, ${proj}_{{C}_{n}}^{f}{x}_{0}$ is well defined for all $n\in \mathbf{N}$.

Step 2. We show that $F(T)\subset {C}_{n}$ for all $n\in \mathbf{N}$.

This implies $p\in {C}_{m+1}$. Therefore $F(T)\subset {C}_{n}$ for all $n\in \mathbf{N}$.

Step 3. We show that ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ is bounded.

for all $n\in \mathbf{N}$. This implies that ${\{{D}_{f}({x}_{n},{x}_{0})\}}_{n\in \mathbf{N}}$ is bounded. By Proposition 2.9, the sequence ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ is bounded.

Step 4. We show that every subsequential limit of ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ belongs to $F(T)$.

*E*is reflexive, we may assume that ${\{{x}_{{n}_{j}}\}}_{j\in \mathbf{N}}$ is a weakly convergent subsequence of ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ and denote its weak limit by $\overline{x}$. Since ${C}_{n}$ is closed and convex, we have $\overline{x}\in {C}_{{n}_{j}}$ for all $j\in \mathbf{N}$. By the lower semicontinuity of

*f*, we have

*f*is asymptotically regular, we have

This implies $T{T}^{{n}_{j}}{x}_{{n}_{j}}-\overline{x}\to 0$ as $j\to \mathrm{\infty}$. By the closedness of *T*, we have $\overline{x}=T\overline{x}$. Therefore, the limit of ${\{{x}_{{n}_{j}}\}}_{j\in \mathbf{N}}$ belongs to $F(T)$.

Step 5. We show that ${x}_{n}\to {proj}_{F(T)}^{f}{x}_{0}$ as $n\to \mathrm{\infty}$.

Thus $\overline{x}={proj}_{F(T)}^{f}{x}_{0}$ since $\overline{x}\in F(T)$. Hence $\overline{x}$ is only strong cluster point of ${x}_{n}$. Therefore ${x}_{n}\to {proj}_{F(T)}^{f}{x}_{0}$ as $n\to \mathrm{\infty}$. This completes the proof. □

If $f(x)={\parallel x\parallel}^{2}/2$ for all $x\in E$, then Theorem 4.1 is reduced to the following corollary.

**Corollary 4.2** ([11], Theorem 2.1)

*Let*

*E*

*be a reflexive*,

*strictly convex and smooth Banach space such that both*

*E*

*and*${E}^{\ast}$

*have the Kadec*-

*Klee property*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*

*E*.

*Let*$T:C\to C$

*be an asymptotically quasi*-

*ϕ*-

*nonexpansive mapping in the intermediate sense*.

*Assume that*

*T*

*is asymptotically regular on*

*C*

*and closed*,

*and*$F(T)\ne \mathrm{\varnothing}$

*is bounded*.

*Let*$\{{x}_{n}\}$

*be a sequence generated by*

*where*

${\mathrm{\Pi}}_{{C}_{n}}$ *is the generalized projection from* *E* *onto* ${C}_{n}$ *and* ${\{{\alpha}_{n}\}}_{n\in \mathbf{N}}\subset [0,1)$ *is a sequence satisfying* ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\alpha}_{n}<1$. *Then* ${\{{x}_{n}\}}_{n\in \mathbf{N}}$ *converges strongly to* ${\mathrm{\Pi}}_{F(T)}{x}_{1}$, *where* ${\mathrm{\Pi}}_{F(T)}$ *is the generalized projection from* *C* *onto* $F(T)$.

*Proof* Using the technique used in the proof of Theorem 4.1 with $f(x)={\parallel x\parallel}^{2}/2$ for all $x\in E$, we find that the sequence $\{{x}_{n}\}$ generated by (4.9) converges strongly to ${\mathrm{\Pi}}_{F(T)}{x}_{1}$. □

## Declarations

## Authors’ Affiliations

## References

- Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings.
*Proc. Am. Math. Soc.*1972, 35: 171–174. 10.1090/S0002-9939-1972-0298500-3View ArticleMathSciNetGoogle Scholar - Takahashi W, Takeuchi Y, Kubota R: Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces.
*J. Math. Anal. Appl.*2008, 341: 276–286. 10.1016/j.jmaa.2007.09.062View ArticleMathSciNetGoogle Scholar - Schu J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings.
*Bull. Aust. Math. Soc.*1991, 43: 153–159. 10.1017/S0004972700028884View ArticleMathSciNetGoogle Scholar - Inchan I: Strong convergence theorems of modified Mann iteration methods for asymptotically nonexpansive mappings in Hilbert spaces.
*Int. J. Math. Anal.*2008, 2: 1135–1145.MathSciNetGoogle Scholar - Bruck RE, Kuczumow T, Reich S: Convergence of iterates of asymptotically nonexpansive mappings in Banach spaces with the uniform Opial property.
*Colloq. Math.*1993, 65: 169–179.MathSciNetGoogle Scholar - Hecai Y, Aichao L: Projection algorithms for treating asymptotically quasi-
*ϕ*-nonexpansive mappings in the intermediate sense.*J. Inequal. Appl.*2013. 10.1186/1029-242X-2013-265Google Scholar - Qing Y: Some results on asymptotically quasi-
*ϕ*-nonexpansive mappings in the intermediate sense.*J. Fixed Point Theory*2012., 2012: Article ID 1Google Scholar - Qin X, Huang S, Wang T: On the convergence of hybrid projection algorithms for asymptotically quasi-
*ϕ*-nonexpansive mappings.*Comput. Math. Appl.*2011, 61: 851–859. 10.1016/j.camwa.2010.12.033View ArticleMathSciNetGoogle Scholar - Qin X, Wang L: On asymptotically quasi-
*ϕ*-nonexpansive mappings in the intermediate sense.*Abstr. Appl. Anal.*2012., 2012: Article ID 636217 10.1155/2012/636217Google Scholar - Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. Lecture Notes Pure Appl. Math. 178. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.Google Scholar - Hao Y: Some results on a modified Mann iterative scheme in a reflexive Banach space.
*Fixed Point Theory Appl.*2013., 2013: Article ID 227 10.1186/1687-1812-2013-227Google Scholar - Bregman LM: The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming.
*USSR Comput. Math. Math. Phys.*1967, 7: 200–217.View ArticleGoogle Scholar - Martin-Marquez V, Reich S, Sabach S: Iterative methods for approximating fixed points of Bregman nonexpansive operators.
*Discrete Contin. Dyn. Syst.*2013, 6: 1043–1063.View ArticleMathSciNetGoogle Scholar - Reich S, Sabach S: Two strong convergence theorems for Bregman strongly nonexpansive operators in reflexive Banach spaces.
*Nonlinear Anal.*2010, 73: 122–135. 10.1016/j.na.2010.03.005View ArticleMathSciNetGoogle Scholar - Reich S, Sabach S: Existence and approximation of fixed points of Bregman firmly nonexpansive mappings in reflexive Banach spaces. Springer Optim. Appl. 49. In
*Fixed-Point Algorithms for Inverse Problems in Science and Engineering*. Springer, New York; 2011:301–316.View ArticleGoogle Scholar - Suantai S, Cho YJ, Cholamjiak P: Halpern’s iteration for Bregman strongly nonexpansive mappings in reflexive Banach spaces.
*Comput. Math. Appl.*2012, 64: 489–499. 10.1016/j.camwa.2011.12.026View ArticleMathSciNetGoogle Scholar - Bauschke HH, Borwein JM, Combettes PL: Essential smoothness, essential strict convexity, and Legendre functions in Banach spaces.
*Commun. Contemp. Math.*2001, 3: 615–647. 10.1142/S0219199701000524View ArticleMathSciNetGoogle Scholar - Barbu V, Precupanu T:
*Convexity and Optimization in Banach Spaces*. Springer, Dordrecht; 2012.View ArticleGoogle Scholar - Ambrosetti A, Prodi G:
*A Primer of Nonlinear Analysis*. Cambridge University Press, Cambridge; 1993.Google Scholar - Reich S, Sabach S: A strong convergence theorem for a proximal-type algorithm in reflexive Banach spaces.
*J. Nonlinear Convex Anal.*2009, 10: 471–485.MathSciNetGoogle Scholar - Zălinescu C:
*Convex Analysis in General Vector Spaces*. World Scientific, River Edge; 2002.View ArticleGoogle Scholar - Butnariu D, Iusem AN:
*Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization*. Kluwer Academic, Dordrecht; 2000.View ArticleGoogle Scholar - Censor Y, Lent A: An iterative row-action method for interval convex programming.
*J. Optim. Theory Appl.*1981, 34: 321–353. 10.1007/BF00934676View ArticleMathSciNetGoogle Scholar - Chen G, Teboulle M: Convergence analysis of a proximal-like minimization algorithm using Bregman functions.
*SIAM J. Optim.*1993, 3: 538–543. 10.1137/0803026View ArticleMathSciNetGoogle Scholar - Butnariu D, Iusem AN, Zălinescu C: On uniform convexity, total convexity and convergence of the proximal point and outer Bregman projection algorithms in Banach spaces.
*J. Convex Anal.*2003, 10: 35–61.MathSciNetGoogle Scholar - Butnariu D, Resmerita E: Bregman distances, totally convex functions, and a method for solving operator equations in Banach spaces.
*Abstr. Appl. Anal.*2006., 2006: Article ID 84919Google Scholar - Reich S, Sabach S: Two strong convergence theorems for a proximal method in reflexive Banach spaces.
*Numer. Funct. Anal. Optim.*2010, 31: 22–44. 10.1080/01630560903499852View ArticleMathSciNetGoogle Scholar - Alber Y, Butnariu D: Convergence of Bregman projection methods for solving consistent convex feasibility problems in reflexive Banach spaces.
*J. Optim. Theory Appl.*1997, 92: 33–61. 10.1023/A:1022631928592View ArticleMathSciNetGoogle Scholar - Wang S, Kang SM: Strong convergence iterative algorithms for equilibrium problems and fixed point problems in Banach spaces.
*Abstr. Appl. Anal.*2013., 2013: Article ID 619762Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.