# Convergence theorem for common fixed points of a finite family of multi-valued Bregman relatively nonexpansive mappings

- Naseer Shahzad
^{1}Email author and - Habtu Zegeye
^{2}

**2014**:152

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

© Shahzad and Zegeye; licensee Springer. 2014

**Received: **24 February 2014

**Accepted: **27 June 2014

**Published: **22 July 2014

## Abstract

In this paper, it is our purpose to introduce an iterative process for the approximation of a common fixed point of a finite family of multi-valued Bregman relatively nonexpansive mappings. We prove that the sequence of iterates generated converges strongly to a common fixed point of a finite family of multi-valued Bregman nonexpansive mappings in reflexive real Banach spaces.

**MSC:**47H05, 47H09, 47H10, 47J25, 49J40, 90C25.

### Keywords

Bregman projection Legendre function multi-valued Bregman nonexpansive mapping relatively nonexpansive multi-valued mapping single-valued Bregman nonexpansive mapping strong convergence## 1 Introduction

*E*be a reflexive real Banach space

*E*, and ${E}^{\ast}$ its dual. Let $f:E\to (-\mathrm{\infty},\mathrm{\infty}]$ be a proper convex and lower semicontinuous function. The

*subdifferential of*

*f*

*at*$x\in E$ is the convex set defined by

The *Fenchel conjugate* of *f* is the function ${f}^{\ast}:{E}^{\ast}\to (-\mathrm{\infty},+\mathrm{\infty}]$ defined by ${f}^{\ast}(y)=sup\{\u3008y,x\u3009-f(x):x\in E\}$. It is not difficult to check that when *f* is proper and lower semicontinuous, so is ${f}^{\ast}$.

The function *f* is said to be *essentially smooth* if *∂f* is both locally bounded and single-valued on its domain. It is called *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$. *f* is said to be *Legendre*, if it is both essentially smooth and essentially strictly convex.

*right-hand derivative of*

*f*

*at*

*x*in the direction of

*y*is defined by

If the limit in (1.2) exists then *f* is called *Gâteaux differentiable* at *x*. In this case, ${f}^{\circ}(x,y)$ coincides with $\mathrm{\nabla}f(x)$, the value of the gradient ∇*f* of *f* at *x*. The function *f* is called *Gâteaux differentiable* if it is Gâteaux differentiable for any $x\in int(domf)$. The function *f* called *Fréchet differentiable* at *x* if the limit in (1.2) is attained uniformly for all $y\in E$ such that $\parallel y\parallel =1$ and *f* is said to be *uniformly Fréchet differentiable* on a subset *C* of *E* if the limit is attained uniformly for $x\in C$ and $\parallel y\parallel =1$. When the subdifferential of *f* is single-valued, it coincides with the gradient $\partial f=\mathrm{\nabla}f$ (see [1]).

*E*is a reflexive Banach space. Then we have

- (1)
*f*is essentially smooth if and only if ${f}^{\ast}$ is essentially strictly convex (see [2], Theorem 5.4). - (2)
${(\partial f)}^{-1}=\partial {f}^{\ast}$ (see [3]).

- (3)
*f*is Legendre if and only if ${f}^{\ast}$ is Legendre (see [2], Corollary 5.5). - (4)
If

*f*is Legendre, then ∇*f*is a bijection satisfying $\mathrm{\nabla}f={(\mathrm{\nabla}{f}^{\ast})}^{-1}$, $ran\mathrm{\nabla}f=dom\mathrm{\nabla}{f}^{\ast}=int(dom{f}^{\ast})$ and $ran\mathrm{\nabla}{f}^{\ast}=dom\mathrm{\nabla}f=int(domf)$ (see [2], Theorem 5.10).

*E*is a smooth and strictly convex Banach space, one important and interesting example of Legendre function is $f(x):={\parallel x\parallel}^{p}$ ($1<p<\mathrm{\infty}$). In this case the gradient $\mathrm{\nabla}f=p{J}_{p}$ ($1<p<\mathrm{\infty}$), where ${J}_{p}$ is the generalized duality mapping from

*E*into ${2}^{{E}^{\ast}}$ defined by

*normalized duality mapping*. It is well known that if ${E}^{\ast}$ is strictly convex, then ${J}_{p}$ is single-valued and that

If $E=H$, a Hilbert space, then *J* is the identity mapping and hence $\mathrm{\nabla}f=2I$, where *I* is the identity mapping in *H*.

In this paper, *E* is a reflexive real Banach space, $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ is a proper, lower semicontinuous, and convex function, and ${f}^{\ast}:{E}^{\ast}\to (-\mathrm{\infty},+\mathrm{\infty}]$ is the Fenchel conjugate of *f*.

*Bregman distance with respect to*

*f*[4]. Since ${(\mathrm{\nabla}f)}^{-1}=\mathrm{\nabla}{f}^{\ast}$ and ${f}^{\ast}(\mathrm{\nabla}f)=\u3008x,\mathrm{\nabla}f(x)\u3009-f(x)$, it is easy to check that

*Bregman projection*[5] of $x\in int(domf)$ onto the nonempty closed and convex set $C\subset int(domf)$ is the unique vector ${P}_{C}^{f}(x)\in C$ satisfying

**Remark 1.1**If

*E*is a smooth and strictly convex Banach space and $f(x)={\parallel x\parallel}^{2}$ for all $x\in E$, then we have $\mathrm{\nabla}f(x)=2Jx$, for all $x\in E$, where

*J*the normalized duality mapping and hence the function ${D}_{f}(x,y)$ reduces to $\varphi (x,y)$ which is defined by $\varphi (x,y)={\parallel x\parallel}^{2}-2\u3008x,Jy\u3009+{\parallel y\parallel}^{2}$ for all $x,y\in E$, which is the Lyapunov function introduced by Alber [6], and ${P}_{C}^{f}(x)$ reduces to the generalized projection ${\mathrm{\Pi}}_{C}(x)$ (see,

*e.g.*, [6]), which is defined by

If $E=H$, a Hilbert space, then *J* is the identity mapping and hence the Bregman distance becomes ${D}_{f}(x,y)={\parallel x-y\parallel}^{2}$, for $x,y\in H$, and the Bregman projection ${P}_{C}^{f}(x)$ reduces to the metric projection ${P}_{C}$ of *H* on to *C*.

Let *C* be a nonempty closed and convex subset of $int(dom(f))$. Let $T:C\to int(dom(f))$ be a mapping. An element $p\in C$ is called a *fixed point* of *T* if $T(p)=p$. The set of fixed points of *T* is denoted by $F(T)$. A point *p* in *C* is said to be an *asymptotic fixed point of* *T* (see [7]) if *C* contains a sequence $\{{x}_{n}\}$ which converges weakly to *p* such that ${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-T{x}_{n}\parallel =0$. The set of asymptotic fixed points of *T* will be denoted by $\stackrel{\u02c6}{F}(T)$. *T* is said to be *nonexpansive* if $\parallel Tx-Ty\parallel \le \parallel x-y\parallel $ for each $x,y\in C$, and is called *quasi-nonexpansive* if $F(T)\ne \mathrm{\varnothing}$ and $\parallel Tx-p\parallel \le \parallel x-p\parallel $ for all $x\in C$ and $p\in F(T)$. The mapping *T* is called *relatively nonexpansive* if (A1) $F(T)\ne \mathrm{\varnothing}$; (A2) $\varphi (p,Tx)\le \varphi (p,x)$ for $x\in C$ and $p\in F(T)$, and (A3) $F(T)=\stackrel{\u02c6}{F}(T)$ and is said to be *Bregman relatively nonexpansive* with respect to *f* if (B1) $F(T)\ne \mathrm{\varnothing}$; (B2) ${D}_{f}(p,Tx)\le {D}_{f}(p,x)$ for $x\in C$, $p\in F(T)$ and (B3) $F(T)=\stackrel{\u02c6}{F}(T)$. We remark that the class of relatively nonexpansive mappings is contained in a class of Bregman relatively nonexpansive mappings with respect to $f(x)={\parallel x\parallel}^{2}$.

*C*, respectively. Let

*H*be the Hausdorff metric on $CB(C)$ defined by

for all $A,B\in CB(C)$, where $d(a,B)=inf\{\parallel a-b\parallel :b\in B\}$ is the distance from the point *a* to the subset *B*.

Let $T:C\to CB(C)$ be a mapping. *T* is said to be *nonexpansive* if $H(Tx,Ty)\le \parallel x-y\parallel $, for all $x,y\in C$. An element $p\in C$ is called a *fixed point* of *T*, if $p\in F(T)$, where $F(T):=\{p\in C:p\in T(p)\}$. A point $p\in C$ is called an *asymptotic fixed point* of *T*, if there exists a sequence $\{{x}_{n}\}$ in *C* which converges weakly to *p* such that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},T{x}_{n})=0$. *T* is called *relatively nonexpansive* if (A1)′ $F(T)\ne \mathrm{\varnothing}$; (A2)′ $\varphi (p,u)\le \varphi (p,x)$ for all $u\in Tx$, $x\in C$, and (A3)′ $F(T)=\stackrel{\u02c6}{F}(T)$. A mapping *T* is called *quasi-Bregman nonexpansive* with respect to *f* if $F(T)\ne \mathrm{\varnothing}$ and ${D}_{f}(p,u)\le {D}_{f}(p,x)$ for all $u\in Tx$, $x\in C$, $p\in F(T)$ and is called *Bregman relatively nonexpansive* with respect to *f* if (B1)′ $F(T)\ne \mathrm{\varnothing}$; (B2)′ ${D}_{f}(p,u)\le {D}_{f}(p,x)$ for $u\in Tx$, $x\in C$, $p\in F(T)$, and (B3)′ $F(T)=\stackrel{\u02c6}{F}(T)$.

We note that the class of multi-valued relatively nonexpansive mappings is contained in a class of multi-valued Bregman relatively nonexpansive mappings which includes the class of single-valued Bregman relatively nonexpansive mappings. Hence, the class of multi-valued Bregman relatively nonexpansive mappings is a more general class of mappings. An example of a multi-valued Bregman relatively nonexpansive mapping is given now.

**Example 1.2**Let $I=[0,1]$, $X={L}^{p}(I)$, $1<p<\mathrm{\infty}$ and $C=\{f\in X:f(x)\ge 0,\mathrm{\forall}x\in I\}$. Let $T:C\to CB(C)$ be defined by

*T*is a multi-valued quasi-Bregman nonexpansive mapping. Now, we show that $\stackrel{\u02c6}{F}(T)=F(T)$. Let $\{{f}_{n}\}\subset C$ be a sequence which converges weakly to

*h*, and ${z}_{n}=d({f}_{n},T({f}_{n}))\to 0$. Let $n\in \mathbb{N}$, then we have

Since ${z}_{n}\to 0$, we have ${\parallel {f}_{n}\parallel}_{p}\to 0$ and hence $h=0$. Therefore, *T* is a multi-valued Bregman relatively nonexpansive mapping.

The approximations of fixed points of nonexpansive, quasi-nonexpansive, relatively nonexpansive, and relatively quasi-nonexpansive mappings when they exist have been intensively studied for almost 40 years or so by various authors (see, *e.g.*, [8–18] and the references therein) in Banach spaces.

In 1967, Bregman [5] discovered an effective technique using the so-called Bregman distance function ${D}_{f}$ 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 iterative algorithms for solving not only feasibility and optimization problems, but also algorithms for solving variational inequality problems, equilibrium problems, fixed point problems for nonlinear mappings, and so on (see, *e.g.*, [7, 19, 20], and the references therein).

In [21], Reich and Sabach proposed the following algorithms for finding common fixed points of finitely many Bregman firmly nonexpansive operators defined on a nonempty, closed and convex subset *C* of a reflexive Banach space *E* (see also [22, 23]). The construction of fixed points for Bregman-type single-valued mappings via iterative processes has been investigated in, for example, [21, 24–27]. This now leads to the following important question.

**Question** Is it possible to obtain the results of Reich and Sabach [21] for the class of multi-valued Bregman relatively nonexpansive mappings?

The study of fixed points for multi-valued nonexpansive mappings using the Hausdorff metric was introduced by Markin [28] (see also [29]). Later, an interesting and rich fixed point theory for such mappings was developed which has applications in control theory, convex optimization, differential inclusion, and economics (see, for example, [30] and references therein). Moreover, the existence of fixed points for multi-valued nonexpansive mappings in uniformly convex Banach spaces was proved by Lim [31] (see also [32]).

*E*:

where $\{{\alpha}_{n}\}\subset (0,1)$ for all $n\ge 0$ and ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}(1-{\alpha}_{n})>0$. They proved that if *J* is weakly sequentially continuous then the sequence $\{{x}_{n}\}$ converges *weakly* to a fixed point of *T*. Furthermore, it is shown that the scheme converges strongly to a fixed point of *T* if the *interior of* $F(T)$ *is nonempty*.

*interior of*$F(T)$

*is nonempty*. In fact, they proved that if

*C*is a nonempty, closed, and convex subset of a uniformly smooth and uniformly convex real Banach space

*E*and ${T}_{i}:C\to CB(C)$, for $i=1,2,\dots ,N$, are relatively nonexpansive multi-valued mappings with $\mathcal{F}:={\bigcap}_{i=1}^{N}F({T}_{i})$ nonempty, then the sequence $\{{x}_{n}\}$ generated by

where ${\alpha}_{n}\in (0,1)$ and $\{{\beta}_{n,i}\}\subset [a,b]\subset (0,1)$, for $i=1,2,\dots ,N$, satisfy certain conditions, converges strongly to an element of ℱ.

In this paper, it is our purpose to introduce an iterative scheme which converges strongly to a common fixed point of a finite family of multi-valued Bregman relatively nonexpansive mappings. We prove strong convergence theorems for the sequences produced by the method. Our results improve and generalize many known results in the current literature (see, for example, [33, 34]).

## 2 Preliminaries

*E*be a reflexive real Banach space and ${E}^{\ast}$ as its dual. Let $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ be a Gâteaux differentiable function. The modulus of the total convexity of

*f*at $x\in domf$ is the function ${\nu}_{f}(x,\cdot ):[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}]$ defined by

*f*is called

*totally convex*at

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

*f*is called

*totally convex*if it is totally convex at any point $x\in int(domf)$ and is said to be

*totally convex on bounded sets*if ${\nu}_{f}(B,t)>0$ for any nonempty bounded subset

*B*of

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

*f*on the set

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

*E*be a Banach space and let ${B}_{r}:=\{z\in E:\parallel z\parallel \le r\}$ for all $r>0$ and ${S}_{E}=\{x\in E:\parallel x\parallel =1\}$. Then a function $f:E\to \mathbb{R}$ is said to be

*uniformly convex*on bounded subsets of

*E*[[35], pp.203] if ${\rho}_{r}(t)>0$ for all $r,t>0$, where ${\rho}_{r}:[0,\mathrm{\infty})\to [0,\mathrm{\infty}]$ is defined by

for all $t\ge 0$. The function ${\rho}_{r}$ is called the *gauge of the uniform convexity of* *f*. We know that *f* is totally convex on bounded sets if and only if *f* is uniformly convex on bounded sets (see [36], Theorem 2.10).

If *f* is uniformly convex, then the following lemma is known.

**Lemma 2.1** [37]

*Let*

*E*

*be a Banach space*,

*let*$r>0$

*be a constant*,

*and let*$f:E\to \mathbb{R}$

*be a uniformly convex function on bounded subsets of*

*E*.

*Then*

*for all* $i,j\in \{0,1,2,\dots ,n\}$, ${x}_{k}\in Br$, ${\alpha}_{k}\in (0,1)$, *and* $k=0,1,2,\dots ,n$ *with* ${\sum}_{k=0}^{n}{\alpha}_{k}=1$, *where* ${\rho}_{r}$ *is the gauge of uniform convexity of* *f*.

A function *f* on *E* is *coercive* [38] if the sublevel set of *f* is bounded; equivalently, ${lim}_{\parallel x\parallel \to \mathrm{\infty}}f(x)=\mathrm{\infty}$. A function *f* on *E* is said to be *strongly coercive* [35] if ${lim}_{\parallel x\parallel \to \mathrm{\infty}}f(x)/\parallel x\parallel =\mathrm{\infty}$.

In the sequel, we shall need the following lemmas.

**Lemma 2.2** [39]

*The function*$f:E\to (-\mathrm{\infty},+\mathrm{\infty})$

*is totally convex on bounded subsets of*

*E*

*if and only if for any two sequences*$\{{x}_{n}\}$

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

*in*$int(domf)$

*and*dom

*f*,

*respectively*,

*such that the first one is bounded*,

*we have*

**Lemma 2.3** [35]

*Let* $f:E\to \mathbb{R}$ *be a strongly coercive and uniformly convex on bounded subsets of* *E*, *then* ${f}^{\ast}$ *is bounded and uniformly Fréchet differentiable on bounded subsets of *
${E}^{\ast}$.

**Lemma 2.4** [26]

*Let* $f:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ *be a uniformly Fréchet differentiable and bounded on bounded sets 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}$.

**Lemma 2.5** [1]

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

*be a proper*,

*lower semicontinuous and convex function*,

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

*is a proper*,

*weak*

^{∗}

*lower semicontinuous and convex function*.

*Thus*,

*for all*$z\in E$,

*we have*

**Lemma 2.6** [40]

*Let* $f:E\to \mathbb{R}$ *be a Gâteaux differentiable on* $int(domf)$ *such that* $\mathrm{\nabla}{f}^{\ast}$ *is bounded on bounded subsets of* $dom{f}^{\ast}$. *Let* $x\in E$ *and* $\{{x}_{n}\}\subset E$. *If* $\{{D}_{f}(x,{x}_{n})\}$ *is bounded*, *so is the sequence* $\{{x}_{n}\}$.

**Lemma 2.7** [36]

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*

*E*.

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

*be a Gâteaux differentiable and totally convex function and let*$x\in E$.

*Then*

- (i)
$z={P}_{C}^{f}(x)$

*if and only if*$\u3008\mathrm{\nabla}f(x)-\mathrm{\nabla}f(z),y-z\u3009\le 0$, $\mathrm{\forall}y\in C$. - (ii)
${D}_{f}(y,{P}_{C}^{f}(x))+{D}_{f}({P}_{C}^{f}(x),x)\le {D}_{f}(y,x)$, $\mathrm{\forall}y\in C$.

*f*, which is defined by

$\mathrm{\forall}x\in E$ and ${x}^{\ast},{y}^{\ast}\in {E}^{\ast}$ (see [41]).

**Lemma 2.8** [42]

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

*be a sequence of nonnegative real numbers satisfying the following relation*:

*where* $\{{\alpha}_{n}\}\subset (0,1)$ *and* $\{{\delta}_{n}\}\subset \mathbb{R}$ *satisfy the following conditions*: ${lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$, *and* ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\delta}_{n}\le 0$. *Then* ${lim}_{n\to \mathrm{\infty}}{a}_{n}=0$.

**Lemma 2.9** [43]

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

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

*of*$\{n\}$

*such that*${a}_{{n}_{i}}<{a}_{{n}_{i}+1}$

*for all*$i\in \mathbb{N}$.

*Then there exists an increasing sequence*$\{{m}_{k}\}\subset \mathbb{N}$

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

*and the following properties are satisfied by all*(

*sufficiently large*)

*numbers*$k\in \mathbb{N}$:

*In fact*, ${m}_{k}$ *is the largest number* *n* *in the set* $\{1,2,\dots ,k\}$ *such that the condition* ${a}_{n}\le {a}_{n+1}$ *holds*.

## 3 Main result

In the sequel we shall use the following proposition.

**Proposition 3.1** *Let* $f:E\to \mathbb{R}$ *be a uniformly Fréchet differentiable and totally convex on bounded subsets of* *E*. *Let* *C* *be a nonempty*, *closed*, *and convex subset of* $int(domf)$ *and* $T:C\to CB(C)$ *be a Bregman relatively nonexpansive mapping*. *Then* $F(T)$ *is closed and convex*.

*Proof*First, we show that $F(T)$ is closed. Let $\{{x}_{n}\}$ be a sequence in $F(T)$ such that ${x}_{n}\to {x}^{\ast}$. Since

*T*is Bregman relatively nonexpansive mapping, we have ${D}_{f}({x}_{n},u)\le {D}_{f}({x}_{n},{x}^{\ast})$, for all $u\in T{x}^{\ast}$ for all $n\in \mathbb{N}$. Therefore,

Thus, by Lemma 2.2 we get $p\in T(p)$. Hence, $p\in F(T)$ and $F(T)$ is convex. Therefore, $F(T)$ is closed and convex. □

**Theorem 3.2**

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

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

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

*E*.

*Let*

*C*

*be a nonempty*,

*closed and convex subset of*$int(domf)$

*and*${T}_{i}:C\to CB(C)$,

*for*$i=1,2,\dots ,N$,

*be a finite family of Bregman relatively nonexpansive mappings such that*$\mathcal{F}:={\bigcap}_{i=1}^{N}F({T}_{i})$

*is nonempty*.

*For*$u,{x}_{0}\in C$

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

*be a sequence generated by*

*where* $\{{\alpha}_{n}\}\subset (0,1)$ *and* ${\{{\beta}_{i}\}}_{i=0}^{N}\subset [c,d]\subset (0,1)$ *satisfy* ${lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$ *and* ${\sum}_{i=0}^{N}{\beta}_{i}=1$. *Then* $\{{x}_{n}\}$ *converges strongly to* $p={P}_{\mathcal{F}}^{f}(u)$.

*Proof*Proposition 3.1 ensures that each $F({T}_{i})$, for $i\in \{1,2,\dots ,N\}$, and hence $\mathcal{F},$ is closed and convex. Thus, ${P}_{\mathcal{F}}^{f}$ is well defined. Let $p={P}_{\mathcal{F}}^{f}(u)$. Then, from (3.2), Lemmas 2.7, 2.5, and the property of ${D}_{f}$, we get

*f*is uniformly Fréchet differentiable function we find that

*f*is uniformly smooth and hence by Theorem 3.5.5 of [35] we find that ${f}^{\ast}$ is uniformly convex. This, with Lemma 2.1 and (3.3), gives

Now, we consider two cases.

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

*E*by Lemma 2.3 we see that ${f}^{\ast}$ is uniformly Fréchet differentiable on bounded subsets of ${E}^{\ast}$ and since

*f*is Legendre by Lemma 2.4 we find that $\mathrm{\nabla}{f}^{\ast}$ is uniformly continuous on bounded subsets of ${E}^{\ast}$ and hence from (3.10) we get

for each $i\in \{1,2,\dots ,N\}$. Since $\{{w}_{n}\}$ is bounded and *E* is reflexive, we choose a subsequence $\{{w}_{{n}_{j}}\}$ of $\{{w}_{n}\}$ such that ${w}_{{n}_{j}}\rightharpoonup w$ and ${lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}\u3008\mathrm{\nabla}f(u)-\mathrm{\nabla}f(p),{w}_{n}-p\u3009={lim}_{j\to \mathrm{\infty}}\u3008\mathrm{\nabla}f(u)-\mathrm{\nabla}f(p),{w}_{{n}_{j}}-p\u3009$. Thus, from (3.12) and the fact that each ${T}_{i}$ is Bregman relatively nonexpansive mapping we obtain $w\in F({T}_{i})$, for each $i\in \{1,2,\dots ,N\}$ and hence $w\in {\bigcap}_{i=1}^{N}F({T}_{i})$.

It follows from Lemma 2.8 and (3.8) that ${D}_{f}(p,{x}_{n})\to 0$ as $n\to \mathrm{\infty}$. Consequently, by Lemma 2.2 we obtain ${x}_{n}\to p\in \mathcal{F}$.

Then, from (3.15) and (3.13), we obtain ${D}_{f}(p,{x}_{{m}_{k}})\to 0$ as $k\to \mathrm{\infty}$. This, together with (3.14), gives ${D}_{f}(p,{x}_{{m}_{k}+1})\to 0$ as $k\to \mathrm{\infty}$. But ${D}_{f}(p,{x}_{k})\le {D}_{f}(p,{x}_{{m}_{k}+1})$ for all $k\in \mathbb{N}$, and hence we obtain ${x}_{k}\to p\in \mathcal{F}$. Therefore, from the above two cases, we can conclude that $\{{x}_{n}\}$ converges strongly to $p={P}_{\mathcal{F}}^{f}(u)$ and the proof is complete. □

If in Theorem 3.2, we assume that $N=1$, then we get the following corollary.

**Corollary 3.3**

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

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

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

*E*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*$int(domf)$

*and*$T:C\to CB(C)$

*be a Bregman relatively nonexpansive mapping such that*$F(T)$

*is nonempty*.

*For*$u,{x}_{0}\in C$

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

*be a sequence generated by*

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

If, in Theorem 3.2, we assume that each ${T}_{i}$, $i=1,2,\dots ,N$ is a single-valued Bregman relatively nonexpansive mapping, we get the following corollary.

**Corollary 3.4**

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

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

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

*E*.

*Let*

*C*

*be a nonempty*,

*closed and convex subset of*$int(domf)$

*and*${T}_{i}:C\to C$,

*for*$i=1,2,\dots ,N$,

*be a finite family of Bregman relatively nonexpansive mappings such that*$\mathcal{F}:={\bigcap}_{i=1}^{N}F({T}_{i})$

*is nonempty*.

*For*$u,{x}_{0}\in C$

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

*be a sequence generated by*

*where* $\{{\alpha}_{n}\}\subset (0,1)$ *and* ${\{{\beta}_{i}\}}_{i=0}^{N}\subset [c,d]\subset (0,1)$ *satisfy* ${lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$ *and* ${\sum}_{i=0}^{N}{\beta}_{i}=1$. *Then* $\{{x}_{n}\}$ *converges strongly to* $p={P}_{\mathcal{F}}^{f}(u)$.

If, in Theorem 3.2, we assume that each ${T}_{i}$, $i=1,2,\dots ,N$, is a multi-valued quasi-Bregman relatively nonexpansive mapping, we get the following corollary.

**Corollary 3.5**

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

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

*uniformly Fréchet differentiable*,

*and totally convex on bounded subsets of*

*E*.

*Let*

*C*

*be a nonempty*,

*closed*,

*and convex subset of*$int(domf)$

*and*${T}_{i}:C\to CB(C)$,

*for*$i=1,2,\dots ,N$,

*be a finite family of quasi*-

*Bregman nonexpansive mappings with*$F({T}_{i})=\stackrel{\u02c6}{F}({T}_{i})$,

*for each*$i\in \{1,2,\dots ,N\}$.

*Suppose that*$\mathcal{F}:={\bigcap}_{i=1}^{N}F({T}_{i})$

*is nonempty*.

*For*$u,{x}_{0}\in C$

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

*be a sequence generated by*

*where* $\{{\alpha}_{n}\}\subset (0,1)$ *and* ${\{{\beta}_{i}\}}_{i=0}^{N}\subset [c,d]\subset (0,1)$ *satisfy* ${lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}$ *and* ${\sum}_{i=0}^{N}{\beta}_{i}=1$. *Then* $\{{x}_{n}\}$ *converges strongly to* $p={D}_{\mathcal{F}}^{f}(u)$.

**Remark 3.6** (i) Theorem 3.2 improves and extends the corresponding results of Homaeipour and Razani [33] and Zegeye and Shahzad [34] to the class of multi-valued Bregman relatively nonexpansive mappings in a reflexive real Banach spaces. (ii) The requirement that *the interior of* *F* *is nonempty* is dispensed with.

## Declarations

### Acknowledgements

This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The first author acknowledges with thanks DSR for financial support. The authors are grateful to the anonymous reviewers for useful comments.

## Authors’ Affiliations

## References

- Phelps RP Lecture Notes in Mathematics 1364. In
*Convex Functions, Monotone Operators, and Differentiability*. 2nd edition. Springer, Berlin; 1993.Google 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 - Bonnans JF, Shapiro A:
*Perturbation Analysis of Optimization Problems*. Springer, New York; 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 - Bregman LM: The relaxation method for 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 - Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. Lect. Notes Pure Appl. Math. 178.
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*1996, 15–50.Google Scholar - Reich S: A weak convergence theorem for the alternating method with Bergman distance. Lect. 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:313–318.Google Scholar - Browder FE: Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces.
*Arch. Ration. Mech. Anal.*1967, 24: 82–90.View ArticleMathSciNetGoogle Scholar - Reich S: Strong convergence theorems for resolvents of accretive operators in Banach spaces.
*J. Math. Anal. Appl.*1980, 75: 287–292. 10.1016/0022-247X(80)90323-6View ArticleMathSciNetGoogle Scholar - Habtu H, Shahzad N: Viscosity approximation methods for a common fixed point of finite family of nonexpansive mappings.
*Appl. Math. Comput.*2007, 191(1):155–163. 10.1016/j.amc.2007.02.072View ArticleMathSciNetGoogle Scholar - Zegeye H, Shahzad N: Approximation methods for a common fixed point of finite family of nonexpansive mappings.
*Numer. Funct. Anal. Optim.*2007, 28(11–12):1405–1419. 10.1080/01630560701749730View ArticleMathSciNetGoogle Scholar - Zegeye H, Shahzad N: Viscosity approximation methods for a common fixed point of a family of quasi-nonexpansive mappings.
*Nonlinear Anal.*2008, 68: 2005–2012. 10.1016/j.na.2007.01.027View ArticleMathSciNetGoogle Scholar - Zegeye H, Shahzad N: Strong convergence theorems for a finite family of nonexpansive mappings and semi-groups via the hybrid method.
*Nonlinear Anal.*2009. 10.1016/j.na.2009.06.056Google Scholar - Zegeye H, Shahzad N: A hybrid scheme for finite families of equilibrium, variational inequality and fixed point problems.
*Nonlinear Anal.*2011, 74: 263–272. 10.1016/j.na.2010.08.040View ArticleMathSciNetGoogle Scholar - Zegeye H, Shahzad N: Strong convergence for monotone mappings and relatively weak nonexpansive mappings.
*Nonlinear Anal.*2009, 70: 2707–2716. 10.1016/j.na.2008.03.058View ArticleMathSciNetGoogle Scholar - Zegeye H, Ofoedu EU, Shahzad N: Convergence theorems for equilibrium problem, variational inequality problem and countably infinite relatively quasi-nonexpansive mappings.
*Nonlinear Anal.*2010, 216: 3439–3449.MathSciNetGoogle Scholar - Zegeye H, Shahzad N, Alghamdi MA: Minimum-norm fixed point of pseudocontractive mappings.
*Abstr. Appl. Anal.*2012., 2012: Article ID 926017Google Scholar - Zegeye H, Shahzad N, Alghamdi MA: Convergence of Ishikawa’s iteration method for pseudocontractive mappings.
*Nonlinear Anal.*2011, 74: 7304–7311. 10.1016/j.na.2011.07.048View ArticleMathSciNetGoogle Scholar - Bruck RE, Reich S: Nonexpansive projections and resolvents of accretive operators in Banach spaces.
*Houst. J. Math.*1977, 3: 459–470.MathSciNetGoogle 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: A projection method for solving nonlinear problems in reflexive Banach spaces.
*J. Fixed Point Theory Appl.*2011, 9: 101–116. 10.1007/s11784-010-0037-5View ArticleMathSciNetGoogle Scholar - Reich S: A limit theorem for projections.
*Linear Multilinear Algebra*1983, 13: 281–290. 10.1080/03081088308817526View ArticleGoogle Scholar - Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization.
*Optimization*1996, 37: 323–339. 10.1080/02331939608844225View ArticleMathSciNetGoogle Scholar - Bauschke HH, Combettes PL: Construction of best Bregman approximations in reflexive Banach spaces.
*Proc. Am. Math. Soc.*2003, 131: 3757–3766. 10.1090/S0002-9939-03-07050-3View ArticleMathSciNetGoogle Scholar - Shahzad N, Zegeye H, Alotaibi A: Convergence results for a common solution of a finite family of variational inequality problems for monotone mappings with Bregman distance function.
*Fixed Point Theory Appl.*2013., 2013: Article ID 343Google 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 - 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 - Markin JT: Continuous dependence of fixed point sets.
*Proc. Am. Math. Soc.*1973, 38: 545–547. 10.1090/S0002-9939-1973-0313897-4View ArticleMathSciNetGoogle Scholar - Nadler SB: Multi-valued contraction mappings.
*Pac. J. Math.*1969, 30: 475–488. 10.2140/pjm.1969.30.475View ArticleMathSciNetGoogle Scholar - Gorniewicz L:
*Topological Fixed Point Theory of Multi-Valued Mappings*. Kluwer Academic, Dordrecht; 1999.View ArticleGoogle Scholar - Lim TC: A fixed point theorem for multi-valued nonexpansive mappings in a uniformly convex Banach spaces.
*Bull. Am. Math. Soc.*1974, 80: 1123–1126. 10.1090/S0002-9904-1974-13640-2View ArticleGoogle Scholar - Reich S: Approximate selections, best approximations, fixed points, and invariant sets.
*J. Math. Anal. Appl.*1978, 62: 104–113. 10.1016/0022-247X(78)90222-6View ArticleMathSciNetGoogle Scholar - Homaeipour S, Razani A: Weak and strong convergence theorems for relatively nonexpansive multi-valued mappings in Banach spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 73 10.1186/1687-1812-2011-73Google Scholar - Zegeye H, Shahzad N: Convergence theorems for a common point of solutions of equilibrium and fixed point of relatively nonexpansive multi-valued mapping problems.
*Abstr. Appl. Anal.*2012., 2012: Article ID 859598Google Scholar - Zalinescu C:
*Convex Analysis in General Vector Spaces*. World Scientific, River Edge; 2002.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 - Naraghirad E, Yao J-C: Bregman weak relatively nonexpansive mappings in Banach spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 141 10.1186/1687-1812-2013-141Google Scholar - Hiriart-Urruty J-B, Lemarchal C Grundlehren der mathematischen Wissenschaften 306. In
*Convex Analysis and Minimization Algorithms II*. Springer, Berlin; 1993.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 - Martin-Marqueza 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.059View ArticleMathSciNetGoogle Scholar - Kohsaka F, Takahashi W: Proximal point algorithms with Bregman functions in Banach spaces.
*J. Nonlinear Convex Anal.*2005, 6: 505–523.MathSciNetGoogle Scholar - Xu HK: Another control condition in an iterative method for nonexpansive mappings.
*Bull. Aust. Math. Soc.*2002, 65: 109–113. 10.1017/S0004972700020116View ArticleGoogle Scholar - Maingé PE: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization.
*Set-Valued Anal.*2008, 16: 899–912. 10.1007/s11228-008-0102-zView ArticleMathSciNetGoogle 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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.