- Research
- Open Access

# Halpern’s iteration for Bregman strongly nonexpansive multi-valued mappings in reflexive Banach spaces with application

- Yi Li
^{1}Email author, - Hongbo Liu
^{1}and - Kelong Zheng
^{1}

**2013**:197

https://doi.org/10.1186/1687-1812-2013-197

© Li et al.; licensee Springer 2013

**Received:**20 December 2012**Accepted:**5 July 2013**Published:**22 July 2013

## Abstract

Bregman strongly nonexpansive multi-valued mapping in reflexive Banach spaces is established. Under suitable limit conditions, some strong convergence theorems for modifying Halpern’s iterations are proved. As an application, we utilize the main results to solve equilibrium problems in the framework of reflexive Banach spaces. The main results presented in the paper improve and extend the corresponding results in the work by Suthep *et al.* (Comput. Math. Appl. 64:489-499, 2012).

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

## Keywords

- Bregman strongly nonexpansive multi-valued mapping
- Legendre functions
- Bregman projection
- fixed point
- Halpern’s iteration sequence

## 1 Introduction

*D*be a nonempty and closed subset of a real Banach space

*X*. Let $N(D)$ and $\mathit{CB}(D)$ denote the family of nonempty subsets and nonempty, closed and bounded subsets of

*D*, respectively. The

*Hausdorff metric*on $\mathit{CB}(D)$ is defined by

for all ${A}_{1},{A}_{2}\in \mathit{CB}(D)$, where $d(x,{A}_{1})=inf\{\parallel x-y\parallel ,y\in {A}_{1}\}$. The multi-valued mapping $T:D\to \mathit{CB}(D)$ is called nonexpansive if $H(Tx,Ty)\le \parallel x-y\parallel $ for all $x,y\in D$. An element $p\in D$ is called *a fixed point* of $T:D\to N(D)$ if $p\in T(p)$. The set of fixed points of *T* is denoted by $F(T)$.

where ${\alpha}_{n}\in (0,1)$. Such a method was introduced in 1967 by Halpern [1] and is often called Halpern’s iteration. In fact, he proved, in a real Hilbert space, strong convergence of $\{{x}_{n}\}$ to a fixed point of the nonexpansive mapping *T*, where ${\alpha}_{n}={n}^{-a}$, $a\in (0,1)$.

Now, because of a simple construction, Halpern’s iteration is widely used to approximate fixed points of nonexpansive mappings and other classes of nonlinear mappings. Reich [2] also extended the result of Halpern from Hilbert spaces to uniformly smooth Banach spaces. In 2012, Halpern’s iteration for Bregman strongly nonexpansive mappings in reflexive Banach spaces was introduced and a strong convergence theorem for Bregman strongly nonexpansive mappings by Halpern’s iteration in the framework of reflexive Banach spaces was proved.

In this paper, Bregman strongly nonexpansive multi-valued mappings in reflexive Banach spaces are introduced. Under suitable limit conditions, strong convergence theorems for the proposed modified Halpern’s iterations are proved. As an application, we use our results to solve equilibrium problems in the framework of reflexive Banach spaces. The results presented in the paper improve and extend the corresponding results in [3].

## 2 Preliminaries

In the sequel, we begin by recalling some preliminaries and lemmas which will be used in our proofs. Let *X* be a real reflexive Banach space with a norm $\parallel \cdot \parallel $ and let ${X}^{\ast}$ be the dual space of *X*. Let $f:X\to (-\mathrm{\infty},+\mathrm{\infty}]$ be a proper, lower semi-continuous and convex function. We denote by dom*f* the domain of *f*.

*f*at

*x*is the convex set defined by

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

Furthermore, equality holds if ${x}^{\ast}\in \partial f(x)$ (see [4]). The set ${lev}_{\le}^{f}(r):=\{x\in X:f(x)\le r\}$ for some $r\in R$ is called a sublevel of *f*.

*f*on

*X*is called coercive [5] if the sublevel sets of

*f*are bounded, equivalently,

*f*on

*X*is said to be

*strongly coercive*[6] if

*f*at

*x*in the direction

*y*is defined by

The function *f* is said to be *Gâteaux differentiable* at *x* if ${lim}_{t\to {0}^{+}}\frac{f(x+ty)-f(x)}{t}$ exists for any *y*. In this case, ${f}^{\circ}(x,y)$ coincides with $\mathrm{\nabla}f(x)$, the value of the gradient $\mathrm{\nabla}f(x)$ of *f* at *x*. The function *f* is said to be *Gâteaux differentiable* if it is Gâteaux differentiable for any $x\in intdomf$. The function *f* is said to be *Fréchet differentiable* at *x* if this limit is attained uniformly in $\parallel y\parallel =1$. Finally, *f* is said to be *uniformly Fréchet differentiable* on a subset *D* of *X* if the limit is attained uniformly for $x\in D$ and $\parallel y\parallel =1$. It is known that if *f* is Gâteaux differentiable (resp. Frêchet differentiable) on intdom*f*, then *f* is continuous and its Gâteaux derivative ∇*f* is norm-to-weak^{∗} continuous (resp. continuous) on intdom*f* (see [7] and [8]).

**Definition 2.1** (*cf.* [9])

*f*is said to be

- (i)
essentially smooth if

*∂f*is both locally bounded and single-valued on its domain; - (ii)
essentially strictly convex if ${(\partial f)}^{-1}$ is locally bounded on its domain and f is strictly convex on every convex subset of $dom\partial f$;

- (iii)
Legendre if it is both essentially smooth and essentially strictly convex.

**Remark 2.1** (*cf.* [10])

*X*be a reflexive Banach space. Then we have

- (a)
*f*is essentially smooth if and only if ${f}^{\ast}$ is essentially strictly convex; - (b)
${(\partial f)}^{-1}=\partial {f}^{\ast}$;

- (c)
*f*is Legendre if and only if ${f}^{\ast}$ is Legendre; - (d)If
*f*is Legendre, then*∂f*is a bijection which satisfies$\begin{array}{r}\mathrm{\nabla}f={\left(\mathrm{\nabla}{f}^{\ast}\right)}^{-1},\phantom{\rule{2em}{0ex}}ran\mathrm{\nabla}f=dom\mathrm{\nabla}{f}^{\ast}=intdom{f}^{\ast}\phantom{\rule{1em}{0ex}}\text{and}\\ ran\mathrm{\nabla}{f}^{\ast}=dom\mathrm{\nabla}f=intdomf.\end{array}$

Examples of Legendre functions can be found in [11]. One important and interesting Legendre function is $\frac{1}{p}{\parallel \cdot \parallel}^{p}$ ($0<p<+\mathrm{\infty}$) when *X* is a smooth and strictly convex Banach space. In this case, the gradient ∇*f* of *f* is coincident with the generalized duality mapping of *X*, *i.e.*, $\mathrm{\nabla}f={J}_{p}$. In particular, $\mathrm{\nabla}f=I$ the identity mapping in Hilbert spaces. In this paper, we always assume that *f* is Legendre.

The following crucial lemma was proved by Reich and Sabach [12].

**Lemma 2.1** (*cf.* [12])

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

is called the Bregman distance with respect to *f*.

*f*at $x\in intdomf$ is the function ${v}_{f}(x,t):[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ defined by

*f*is called totally convex at

*x*if ${v}_{f}(x,t)>0$ whenever $t>0$. The function

*f*is called totally convex if it is totally convex at any point $x\in intdomf$, and it is said to be totally convex on bounded sets if ${v}_{f}(B,t)>0$ for any nonempty bounded subset

*B*and $t>0$, where the modulus of total convexity of the function

*f*on the set

*B*is the function ${v}_{f}:intdomf\times [0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ defined by

We know that *f* is totally convex on bounded sets if and only if *f* is uniformly convex on bounded sets (see [14]).

*f*is said to be sequentially consistent [14] if for any two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*, such that the first sequence is bounded, the following implication holds:

The following crucial lemma was proved by Butnariu and Iusem [15].

**Lemma 2.2** (*cf.* [15])

*The function* *f* *is totally convex on bounded sets if and only if it is sequentially consistent*.

**Definition 2.2** (*cf.* [16])

Let *D* be a convex subset of intdom*f* and let *T* be a multi-valued mapping of *D*. A point $p\in D$ is called an asymptotic fixed point of *T* if *D* contains a sequence $\{{x}_{n}\}$, which converges weakly to *p*, such that $d({x}_{n},T{x}_{n})\to 0$ (as $n\to \mathrm{\infty}$).

We denote by $\stackrel{\u02c6}{F}(T)$ the set of asymptotic fixed points of *T*.

**Definition 2.3**A multi-valued mapping $T:D\to N(D)$ with a nonempty fixed point set is said to be:

- (i)Bregman strongly nonexpansive with respect to a nonempty $\stackrel{\u02c6}{F}(T)$ if${D}_{f}(p,z)\le {D}_{f}(p,x),\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in D,p\in \stackrel{\u02c6}{F}(T),z\in T(x),$
and if, whenever $\{{x}_{n}\}\subset D$ is bounded, $p\in \stackrel{\u02c6}{F}(T)$ and ${lim}_{n\to \mathrm{\infty}}[{D}_{f}(p,{x}_{n})-{D}_{f}(p,{z}_{n})]=0$, then ${lim}_{n\to \mathrm{\infty}}{D}_{f}({x}_{n},{z}_{n})=0$, where ${z}_{n}\in T{x}_{n}$.

- (ii)Bregman firmly nonexpansive if$\u3008\mathrm{\nabla}f\left({x}^{\ast}\right)-\mathrm{\nabla}f\left({y}^{\ast}\right),{x}^{\ast}-{y}^{\ast}\u3009\le \u3008\mathrm{\nabla}f(x)-\mathrm{\nabla}f(y),{x}^{\ast}-{y}^{\ast}\u3009,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in D,{x}^{\ast}\in Tx,{y}^{\ast}\in Ty.$

In particular, the existence and approximation of Bregman firmly nonexpansive single-valued mappings was studied in [16]. It is also known that if *T* is Bregman firmly nonexpansive and *f* is the Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subsets of *X*, then $F(T)=\stackrel{\u02c6}{F}(T)$ and $F(T)$ is closed and convex (see [16]). It also follows that every Bregman firmly nonexpansive mapping is Bregman strongly nonexpansive with respect to $F(T)=\stackrel{\u02c6}{F}(T)$. The class of single-valued Bregman strongly nonexpansive mappings was introduced first in [17]. For a wealth of results concerning this class of mappings, see [18–22] and the references therein.

**Remark 2.2**Let

*X*be a uniformly smooth and uniformly convex Banach space, and let

*D*be a nonempty, closed and convex subset. An operator $T:C\to N(D)$ is called a strongly relatively nonexpansive multi-valued mapping on

*X*if $\stackrel{\u02c6}{F}(T)\ne \mathrm{\Phi}$ and

and if, whenever $\{{x}_{n}\}\subset D$ is bounded, $p\in \stackrel{\u02c6}{F}(T)$ and ${lim}_{n\to \mathrm{\infty}}[\phi (p,{x}_{n})-\phi (p,{z}_{n})]=0$, then ${lim}_{n\to \mathrm{\infty}}\phi ({x}_{n},{z}_{n})=0$, where ${z}_{n}\in T{x}_{n}$ and $\varphi (x,y)={\parallel x\parallel}^{2}-2\u3008x,Jy\u3009+{\parallel y\parallel}^{2}$.

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

*X*. Let $f:X\to R$ be a Gâteaux differentiable and totally convex function and $x\in X$. It is known from [14] that $z={P}_{D}^{f}(x)$ if and only if

*f*, which is defined by

^{∗}lower semi-continuous and convex function (see [25]). Hence ${V}_{f}$ is convex in the second variable (see [22], Proposition 1(i), p.1047). Thus,

The properties of the Bregman projection and the relative projection operators were studied in [14] and [26].

The following lemmas give us some nice properties of sequences of real numbers which will be useful for the forthcoming analysis.

**Lemma 2.3** (*cf.* [27], Lemma 2.1, p.76)

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

*be a sequence of real numbers such that there exists a nondecreasing subsequence*${\alpha}_{{n}_{i}}$

*of*${\alpha}_{n}$,

*that is*, ${\alpha}_{{n}_{i}}\le {\alpha}_{{n}_{i}+1}$

*for all*$i\in N$.

*Then there exists a nondecreasing subsequence*$\{{m}_{k}\}\subset N$

*such that*${m}_{k}\to \mathrm{\infty}$,

*and the following properties are satisfied for all sufficiently large numbers sequence*$k\subset N$:

*In fact*, ${m}_{k}=max\{j\le k:{\alpha}_{j}\le {\alpha}_{j+1}\}$.

**Lemma 2.4** (see [3], Lemma 2.5, p.493)

*Assume that*$\{{\alpha}_{n}\}$

*is a sequence of nonnegative real numbers such that*

*where*$\{{\gamma}_{n}\}$

*is a sequence in*$(0,1)$

*and*$\{{\delta}_{n}\}$

*is a sequence such that*

- (a)
${lim}_{n\to \mathrm{\infty}}{\gamma}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\gamma}_{n}=\mathrm{\infty}$;

- (b)
$lim{sup}_{n\to \mathrm{\infty}}{\delta}_{n}\le 0$.

*Then* ${lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0$.

## 3 Main results

To prove our main result, we first prove the following two propositions.

**Proposition 3.1**

*Let*

*D*

*be a nonempty*,

*closed and convex subset of a real reflexive Banach space*

*X*.

*Let*$f:X\to R$

*be a Gâteaux differentiable and totally convex function*,

*and let*$T:D\to N(D)$

*be a multi*-

*valued mapping such that*$F(T)=\stackrel{\u02c6}{F}(T)$

*is nonempty*,

*closed and convex*.

*Suppose that*$u\in D$

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

*is a bounded sequence in*

*D*

*such that*${lim}_{n\to \mathrm{\infty}}d({x}_{n},T{x}_{n})=0$.

*Then*

*Proof*Since

*X*is reflexive and $\{{x}_{n}\}$ is bounded, there exists a subsequence $\{{x}_{{n}_{k}}\}\subset \{{x}_{n}\}$ such that ${x}_{{n}_{k}}\rightharpoonup v\in D$ as $k\to \mathrm{\infty}$ and

The proof of Proposition 3.1 is now completed. □

The proof of the following result in the case of single-valued Bregman firmly nonexpansive mappings was done in ([16], Lemma 15.5, p.305). In the multi-valued case, the proof is identical and therefore we will omit the exact details. The interested reader will consult [16].

**Proposition 3.2** *Let* $f:X\to (-\mathrm{\infty},+\mathrm{\infty}]$ *be a Legendre function and let* *D* *be a nonempty*, *closed and convex subset of* intdom*f*. *Let* $T:D\to N(D)$ *be a Bregman firmly nonexpansive multi*-*valued mapping with respect to* *f*. *Then* $F(T)$ *is closed and convex*.

**Theorem 3.1**

*Let*

*X*

*be a real reflexive Banach space and let*$f:X\to (-\mathrm{\infty},+\mathrm{\infty}]$

*be a strongly coercive Legendre function which is bounded*,

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

*X*.

*Let*

*D*

*be a nonempty*,

*closed and convex subset of*intdom

*f*

*and let*$T:D\to N(D)$

*be a Bregman strongly nonexpansive multi*-

*valued mapping on*

*X*

*such that*$F(T)=\stackrel{\u02c6}{F}(T)\ne \mathrm{\varnothing}$.

*Suppose that*$u\in X$

*and define the sequence*$\{{x}_{n}\}$

*by*

*where* ${\alpha}_{n}\in (0,1)$ *satisfying* ${lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0$ *and* ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$. *Then* $\{{x}_{n}\}$ *strongly converges to* ${P}_{F(T)}^{f}(u)$.

*Proof*First, by Proposition 3.2, we know that $F(T)$ is closed and convex. Letting $p={P}_{F(T)}^{f}(u)\in F(T)=\stackrel{\u02c6}{F}(T)$, we have

By the induction, the sequence ${D}_{f}(p,{x}_{n})$ is bounded.

Hence $\{\mathrm{\nabla}f({x}_{n})\}$ is contained in the sublevel set ${lev}_{\le}^{\psi}(L-f(p))$, where $\psi ={f}^{\ast}-\u3008\cdot ,p\u3009$. Since *f* is lower semicontinuous, ${f}^{\ast}$ is weak^{∗} lower semicontinuous. Hence the function *ψ* is coercive (see [4]). This shows that $\{\mathrm{\nabla}f({x}_{n})\}$ is bounded. Since *f* is strongly coercive, ${f}^{\ast}$ is bounded on bounded sets (see [9]). Hence $\mathrm{\nabla}{f}^{\ast}$ is also bounded on bounded subsets of ${E}^{\ast}$ (see [15]). Since *f* is a Legendre function, it follows that ${x}_{n}=\mathrm{\nabla}{f}^{\ast}(\mathrm{\nabla}f({x}_{n}))$, $n\in \mathbb{N}$, is bounded. Therefore $\{{x}_{n}\}$ is bounded. So are $\{{z}_{n}\}$ and $\{\mathrm{\nabla}f({z}_{n})\}$.

where ${z}_{{n}_{k}}\in T{x}_{{n}_{k}}$.

*f*is strongly coercive and uniformly convex on bounded subsets of

*X*, ${f}^{\ast}$ is uniformly Fréchet differentiable on bounded subsets of ${X}^{\ast}$ (see [6]). Moreover, ${f}^{\ast}$ is bounded on bounded sets. Since

*f*is Legendre, by Lemma 2.1, we obtain

*f*is uniformly Fréchet differentiable on bounded subsets of

*X*, then

*f*is uniformly continuous on bounded subsets of

*X*(see [28]). It follows that

The rest of the proof will be divided into two parts.

Case 1. Suppose that $\{{D}_{f}(p,{x}_{n})\}$ is eventually decreasing, *i.e.*, there exists a sufficiently large $k>0$ such that ${D}_{f}(p,{x}_{n})>{D}_{f}(p,{x}_{n+1})$ for all $n>k$. In this case, ${lim}_{n\to \mathrm{\infty}}{D}_{f}(p,{x}_{n})$ exists. In this situation, we have that ${lim}_{n\to \mathrm{\infty}}{D}_{f}(p,{x}_{n})$ exists. This shows that ${lim}_{n\to \mathrm{\infty}}({D}_{f}(p,{x}_{n})-{D}_{f}(p,{x}_{n+1}))=0$ and hence ${lim}_{n\to \mathrm{\infty}}({D}_{f}(p,{z}_{n})-{D}_{f}(p,{x}_{n}))=0$.

*T*is a Bregman strongly nonexpansive multi-valued mapping, then

*f*is totally convex on bounded subsets of

*E*, by Lemma 2.2, we have

By Lemma 2.4, we conclude that ${lim}_{n\to \mathrm{\infty}}{D}_{f}(p,{x}_{n})=0$. Therefore, by Lemma 2.2, since *f* is totally convex on bounded subsets of *X*, we obtain that ${x}_{n}\to p$ as $n\to \mathrm{\infty}$.

The proof of Theorem 3.1 is now completed. □

As a direct consequence of Theorem 3.1 and Remark 2.2, we obtain the convergence result concerning strongly relatively nonexpansive multi-valued mappings in a uniformly smooth and uniformly convex Banach space.

**Corollary 3.1**

*Let*

*X*

*be a uniformly smooth and uniformly convex Banach space*.

*Let*

*D*

*be a nonempty*,

*closed and convex subset on*

*X*

*and let*$T:D\to N(D)$

*be a strongly relatively nonexpansive multi*-

*valued mapping on*

*X*

*such that*$F(T)=\stackrel{\u02c6}{F}(T)\ne \mathrm{\varnothing}$.

*Suppose that*$u\in D$

*and define the sequence*$\{{x}_{n}\}$

*as follows*: ${x}_{1}\in D$

*and*

*where* ${\alpha}_{n}\in (0,1)$ *satisfying* ${\alpha}_{n}\to 0$ *and* ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$. *Then* $\{{x}_{n}\}$ *converges strongly to* ${\mathrm{\Pi}}_{F(T)}u$, *where* ${\mathrm{\Pi}}_{F(T)}$ *is the generalized projection onto* $F(T)$.

## 4 Application

In this section, we give an application of Theorem 3.1, which is the equilibrium problems in the framework of reflexive Banach spaces.

*X*be a smooth, strictly convex and reflexive Banach space, let

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

*X*, and let $G:D\times D\to R$ be a bifunction satisfying the conditions:

- (A1)
$G(x,x)=0$ for all $x\in D$;

- (A2)
$G(x,y)+G(y,x)\le 0$ for any $x,y\in D$;

- (A3)
for each $x,y,z\in D$, ${lim}_{t\to 0}G(tz+(1-t)x,y)\le G(x,y)$;

- (A4)
for each given $x\in D$, the function $y\mapsto f(x,y)$ is convex and lower semicontinuous.

The so-called *equilibrium problem* for *G* is to find a ${x}^{\ast}\in D$ such that $G({x}^{\ast},y)\ge 0$ for each $y\in D$. The set of its solutions is denoted by $\mathit{EP}(G)$.

*G*[18] is the operator ${Res}_{G}^{f}:X\to {2}^{D}$ defined by

*G*satisfies conditions (A1)-(A4), then $dom({Res}_{G}^{f})=X$ (see [18]). We also know:

- (1)
${Res}_{G}^{f}$ is single-valued;

- (2)
${Res}_{G}^{f}$ is a Bregman firmly nonexpansive mapping;

- (3)
$F({Res}_{G}^{f})=\mathit{EP}(G)$;

- (4)
$\mathit{EP}(G)$ is a closed and convex subset of

*D*; - (5)for all $x\in X$ and for all $p\in F({Res}_{G}^{f})$, we have${D}_{f}(p,{Res}_{G}^{f}(x))+{D}_{f}({Res}_{G}^{f}(x),x)\le {D}_{f}(p,x).$(4.2)

In addition, by Reich and Sabach [16], if *f* is uniformly Fréchet differentiable and bounded on bounded subsets of *X*, then we have that $F({Res}_{G}^{f})=\stackrel{\u02c6}{F}({Res}_{G}^{f})=\mathit{EP}(G)$ is closed and convex. Hence, by replacing $T={Res}_{G}^{f}$ in Theorem 3.1, we obtain the following result.

**Theorem 4.1**

*Let*

*D*

*be a nonempty*,

*closed and convex subset of a real reflexive Banach space*

*X*.

*Let*

*f*

*be a strongly coercive Legendre function which is bounded*,

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

*X*.

*Let*$G:D\times D\to R$

*be a bifunction which satisfies conditions*(A1)-(A4)

*such that*$\mathit{EP}(G)\ne \mathrm{\varnothing}$.

*Suppose that*$u\in X$

*and define the sequence*$\{{x}_{n}\}$

*by*

*where* ${\alpha}_{n}\in (0,1)$ *satisfying* ${\alpha}_{n}\to 0$ *and* ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$. *Then* $\{{x}_{n}\}$ *converges strongly to* ${P}_{\mathit{EP}(G)}^{f}u$.

## Declarations

### Acknowledgements

The authors are very grateful to both reviewers for carefully reading this paper and their comments. This work is supported by the Doctoral Program Research Foundation of Southwest University of Science and Technology (No. 11zx7129) and Applied Basic Research Project of Sichuan Province (No. 2013JY0096).

## Authors’ Affiliations

## References

- Halpern B: Fixed points of nonexpanding maps.
*Bull. Am. Math. Soc.*1967, 73: 957–961. 10.1090/S0002-9904-1967-11864-0MATHView ArticleGoogle Scholar - Reich S: Approximating fixed points of nonexpansive mappings.
*Panam. Math. J.*1994, 4: 23–28.MATHGoogle Scholar - Suthep S, Yeol JC, Prasit C: 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.026MATHMathSciNetView ArticleGoogle Scholar - Rockafellar RT: Level sets and continuity of conjugate convex functions.
*Trans. Am. Math. Soc.*1966, 123: 46–63. 10.1090/S0002-9947-1966-0192318-XMATHMathSciNetView ArticleGoogle Scholar - Hiriart-Urruty JB, Lemaréchal C Grundlehren der mathematischen Wissenschaften 306. In
*Convex Analysis and Minimization Algorithms II: Advanced Theory and Bundle Methods*. Springer, Berlin; 1993.View ArticleGoogle Scholar - Zǎlinescu C:
*Convex Analysis in General Vector Spaces*. World Scientific, River Edge; 2002.View ArticleGoogle Scholar - Asplund E, Rockafellar RT: Gradients of convex functions.
*Trans. Am. Math. Soc.*1969, 139: 443–467.MATHMathSciNetView ArticleGoogle Scholar - Bonnans JF, Shapiro A:
*Perturbation Analysis of Optimization Problems*. Springer, New York; 2000.MATHView ArticleGoogle 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/S0219199701000524MATHMathSciNetView ArticleGoogle Scholar - Bauschke HH, Borwein JM, Combettes PL: Bregman monotone optimization algorithms.
*SIAM J. Control Optim.*2003, 42: 596–636. 10.1137/S0363012902407120MATHMathSciNetView ArticleGoogle Scholar - Bauschke HH, Borwein JM: Legendre functions and the method of random Bregman projections.
*J. Convex Anal.*1997, 4: 27–67.MATHMathSciNetGoogle 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.MATHMathSciNetGoogle Scholar - Bregman LM: The relaxation method for finding the common point of convex sets and its application to the solution of problems in convex programming.
*U.S.S.R. Comput. Math. Math. Phys.*1967, 7: 200–217.View ArticleGoogle 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 - Butnariu D, Iusem AN:
*Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization*. Kluwer Academic, Dordrecht; 2000.MATHView ArticleGoogle Scholar - Reich S, Sabach S: Existence and approximation of fixed points of Bregman firmly nonexpansive mappings in reflexive Banach spaces. In
*Fixed-Point Algorithms for Inverse Problems in Science and Engineering*. Springer, New York; 2011.Google Scholar - Reich S: A weak convergence theorem for the alternating method with Bregman distances. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Dekker, New York; 1996.Google 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.005MATHMathSciNetView ArticleGoogle Scholar - Borwein JM, Reich S, Sabach S: A characterization of Bregman firmly nonexpansive operators using a new monotonicity concept.
*J. Nonlinear Convex Anal.*2011, 12: 161–184.MATHMathSciNetGoogle Scholar - Martín-Márquez V, Reich S, Sabach S: Right Bregman nonexpansive operators in Banach spaces.
*Nonlinear Anal.*2012, 75: 5448–5465. 10.1016/j.na.2012.04.048MATHMathSciNetView ArticleGoogle Scholar - Martín-Márquez V, Reich S, Sabach S: Bregman strongly nonexpansive operators in reflexive Banach spaces.
*J. Math. Anal. Appl.*2013, 400: 597–614. 10.1016/j.jmaa.2012.11.059MATHMathSciNetView ArticleGoogle Scholar - Martín-Márquez V, Reich S, Sabach S: Iterative methods for approximating fixed points of Bregman nonexpansive operators.
*Discrete Contin. Dyn. Syst.*2013, 6: 1043–1063.MATHView ArticleGoogle Scholar - Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In
*Theory and Applications of Nonlinear Operator of Accretive and Monotone Type*. Edited by: Kartsatos AG. Dekker, New York; 1996.Google Scholar - Censor Y, Lent A: An iterative row-action method for interval convex programming.
*J. Optim. Theory Appl.*1981, 34: 321–353. 10.1007/BF00934676MATHMathSciNetView ArticleGoogle Scholar - Phelps RP Lecture Notes in Mathematics. In
*Convex Functions, Monotone Operators, and Differentiability*. 2nd edition. Springer, Berlin; 1993.Google Scholar - Kohsaka F, Takahashi W: Proximal point algorithms with Bregman functions in Banach spaces.
*J. Nonlinear Convex Anal.*2005, 6: 505–523.MATHMathSciNetGoogle Scholar - Maingé PE: The viscosity approximation process for quasi-nonexpansive mappings in Hilbert spaces.
*Comput. Math. Appl.*2010, 59: 74–79. 10.1016/j.camwa.2009.09.003MATHMathSciNetView ArticleGoogle Scholar - Ambrosetti A, Prodi G:
*A Primer of Nonlinear Analysis*. Cambridge University Press, Cambridge; 1993.Google 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 cited.