- Research
- Open Access

# Existence of common fixed points using Bregman nonexpansive retracts and Bregman functions in Banach spaces

- Nawab Hussain
^{1}Email author, - Eskandar Naraghirad
^{1, 2}and - Abdullah Alotaibi
^{1}

**2013**:113

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

© Hussain et al.; licensee Springer 2013

**Received:**8 January 2013**Accepted:**15 April 2013**Published:**29 April 2013

## Abstract

In this paper, we first introduce the concepts of Bregman nonexpansive retract and Bregman one-local retract and then use these concepts to establish the existence of common fixed points for Banach operator pairs in the framework of reflexive Banach spaces. No compactness assumption is imposed either on *C* or on *T*, where *C* is a closed and convex subset of a reflexive Banach space *E* and $T:C\to C$ is a Bregman nonexpansive mapping. We also establish the well-known De Marr theorem for a Banach operator family of Bregman nonexpansive mappings.

**MSC:** Primary 06F30; 46B20, 47E10.

## Keywords

- reflexive Banach space
- Gâteaux differentiable function
- Bregman projection
- Bregman distance
- Bregman nonexpansive mapping
- Banach operator pair

## 1 Introduction

This paper is motivated by the recent papers [1–4]. In [3] the authors study different questions related to common fixed points of Banach operator pairs in hyperconvex spaces. In [2] the authors introduced the concept of *NR*-maps and then they used this concept to establish the existence of common fixed points for Banach operator pairs in the context of uniformly convex geodesic metric spaces. In our present work, using Bregman functions, we propose to consider similar questions on reflexive Banach spaces under the mildest weaker conditions we may impose. More precisely, we first introduce the concepts of Bregman *NR*-map and Bregman one-local retract and then use these concepts to establish the existence of common fixed points for Banach operator pairs in reflexive Banach spaces. No compactness assumption is imposed either on *C* or on *T*, where *C* is a closed and convex subset of a reflexive Banach space *E* and $T:C\to C$ is a Bregman nonexpansive mapping. For a recent survey on the existence of fixed points in geodesic spaces, we refer the readers to [1, 5].

The celebrated result on the existence of a common fixed point for a nonexpansive commutative family was first established by De Marr [6] under the assumption that *C* is a compact convex subset of a normed space *X*. In 1965, Browder [7] obtained the corresponding result under the assumption that *C* is a bounded, closed and convex subset of a uniformly convex Banach space *X*. In 1992, Khamsi *et al.* [8] established the above mentioned results for a finite as well as an arbitrary commutative family of maps in hyperconvex metric spaces. Recently, Espìnola and Hussain [9] proved De Marr’s theorem in uniformly convex metric spaces of type $(T)$. More recently, Hussain *et al.* [3] extended De Marr’s result to the family of symmetric Banach operator pairs in hyperconvex metric spaces (see also [10–12]).

Throughout this paper, we denote the set of real numbers and the set of positive integers by ℝ and ℕ, respectively. Let *E* be a real Banach space and let *C* be a nonempty subset of *E*. Let $T:C\to E$ be a mapping. We denote by $F(T)$ the set of fixed points of *T*, *i.e.*, $F(T)=\{x\in C:Tx=x\}$.

*E*be a Banach space with the norm $\parallel \cdot \parallel $ and the dual space ${E}^{\ast}$. For any $x\in E$, we denote the value of ${x}^{\ast}\in {E}^{\ast}$ at

*x*by $\u3008x,{x}^{\ast}\u3009$. When ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ is a sequence in

*E*, we denote the strong convergence of ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ to $x\in E$ by ${x}_{n}\to x$ and the weak convergence by ${x}_{n}\rightharpoonup x$. The modulus

*δ*of the convexity of

*E*is denoted by

*ϵ*with $0\le \u03f5\le 2$. A Banach space

*E*is said to be

*uniformly convex*if $\delta (\u03f5)>0$ for every $\u03f5>0$. Let ${S}_{E}=\{x\in E:\parallel x\parallel =1\}$. The norm of

*E*is said to be

*Gâteaux differentiable*if for each $x,y\in {S}_{E}$, the limit

exists. In this case, *E* is called *smooth*. If the limit (1.1) is attained uniformly in $x,y\in {S}_{E}$, then *E* is called *uniformly smooth*. The Banach space *E* is said to be *strictly convex* if $\parallel \frac{x+y}{2}\parallel <1$ whenever $x,y\in {S}_{E}$ and $x\ne y$. It is well known that *E* is uniformly convex if and only if ${E}^{\ast}$ is uniformly smooth. It is also known that if *E* is reflexive, then *E* is strictly convex if and only if ${E}^{\ast}$ is smooth; for more details, see [13, 14].

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

*J*be the normalized duality mapping of

*E*. Let

*C*be a nonempty closed convex subset of

*E*. The generalized projection ${\mathrm{\Pi}}_{C}$ from

*E*onto

*C*is denoted by

where $\varphi (x,y)={\parallel x\parallel}^{2}-2\u3008x,Jy\u3009+{\parallel y\parallel}^{2}$. If $E=H$ is a Hilbert space, then $\varphi (x,y)={\parallel x-y\parallel}^{2}$ for all $x,y\in H$.

*E*be a Banach space with the norm $\parallel \cdot \parallel $ and the dual space ${E}^{\ast}$. A function $g:E\to (-\mathrm{\infty},+\mathrm{\infty}]$ is said to be

*proper*if the domain $domg=\{x\in E:g(x)<\mathrm{\infty}\}$ is nonempty. It is also called

*lower semicontinuous*if $\{x\in E:g(x)\le r\}$ is closed for all $r\in \mathbb{R}$. We say that

*g*is

*upper semicontinuous*if $\{x\in E:g(x)\ge r\}$ is closed for all $r\in \mathbb{R}$. The function

*g*is said to be

*convex*if

for all $x,y\in E$ and $\alpha \in (0,1)$. It is also said to be *strictly convex* if the strict inequality holds in (1.2) for all $x,y\in domg$ with $x\ne y$ and $\alpha \in (0,1)$.

*g*by $domg=\{x\in E:g(x)<\mathrm{\infty}\}$. For any $x\in int\; domg$ and any $y\in E$, we denote by ${g}^{o}(x,y)$ the

*right-hand derivative*of

*g*at

*x*in the direction

*y*, that is,

*g*is said to be

*Gâteaux differentiable*at

*x*if ${lim}_{t\to 0}\frac{g(x+ty)-g(x)}{t}$ exists for any

*y*. In this case, ${g}^{o}(x,y)$ coincides with $\mathrm{\nabla}g(x)$, the value of the

*gradient*∇

*g*of

*g*at

*x*(see, for example, [[9], p.12] or [[13], p.508]). A convex function $g:E\to \mathbb{R}$ is said to be

*Gâteaux differentiable*if it is Gâteaux differentiable everywhere. Let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. Then the

*Bregman distance*[15, 16] corresponding to

*g*is the function ${D}_{g}:E\times E\to \mathbb{R}$ defined by

*E*is a smooth Banach space, setting $g(x)={\parallel x\parallel}^{2}$ for all $x\in E$, we have $\mathrm{\nabla}g(x)=2Jx$ for all $x\in E$, and hence

for all $x,y\in E$.

The theory of fixed points with respect to Bregman distances have been studied in the last ten years and much intensively in the last four years. In [17], Bauschke and Combettes introduced an iterative method to construct the Bregman projection of a point onto a countable intersection of closed and convex sets in reflexive Banach spaces. They proved strong convergence theorem of the sequence produced by their method; for more detail, see [[17], Theorem 4.7]. For some recent articles on the existence of fixed points for Bregman nonexpansive type mappings, we refer the readers to [17–26].

*E*be a Banach space, and let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. Let

*C*be a nonempty and closed convex subset of

*E*. A mapping $T:C\to E$ is called

*nonexpansive*if

*Bregman nonexpansive*if

Let us give an example of a Bregman nonexpansive mapping which is not a nonexpansive mapping (see also [27]).

**Example 1.1**Let $g:\mathbb{R}\to \mathbb{R}$ be a function defined by

*T*is not a nonexpansive mapping in the sense of (1.5), but it is a Bregman nonexpansive mapping relative to ${D}_{g}$ in the sense of (1.6). Indeed, taking $x=\frac{3}{4}$ and $y=\frac{1}{2}$, we see that

*T*is not a nonexpansive mapping in the sense of (1.5). Now, we show that

*x*and

*y*are in $[0,0.9]$, we obtain

In this paper we establish some common fixed point results for the Banach operator and symmetric Banach operator pairs in reflexive Banach spaces for Bregman nonexpansive mappings that generalize the concept of nonexpansivity. Our results improve and generalize many known results in the current literature; see, for example, [2].

## 2 Basic definitions and results

*E*be a real Banach space. Let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. For any $x\in E$ and $r>0$, we define the

*Bregman ball centered at*

*x*

*with radius*

*r*by

*Bregman closed ball centered at*

*x*

*with radius*

*r*is denoted by

Recall that a subset *C* of a real Banach space *E* is *Bregman admissible* if it is a nonempty intersection of Bregman closed balls. The class of all Bregman admissible subsets of *C* is denoted by $\mathcal{BA}(C)$.

**Remark 2.1**Let

*E*be a real Banach space. Let $g:E\to \mathbb{R}$ be a continuous, convex and Gâteaux differentiable function. Then, for any $x\in E$ and $r>0$, any Bregman closed ball centered at

*x*with radius

*r*is $\tau ({D}_{g})$ closed, where $\tau ({D}_{g})$ is the topology induced by ${D}_{g}$ on

*E*. Indeed, suppose ${\{{y}_{n}\}}_{n\in \mathbb{N}}\subset \overline{B}(x,r)$ is a sequence such that ${y}_{n}\to y\in E$ as $n\to \mathrm{\infty}$. Since

*g*is continuous, so we have $g({y}_{n})\to g(y)$. This, together with the definition of the Bregman distance (see (1.4)), implies that

Thus we have ${D}_{g}(x,y)\le r$. We refer the readers to see some details on quasipseudometric concept in [28].

*A*of

*E*, we set

$B-diam(A)$ is called the *Bregman diameter* of *A*, $\mathit{BR}(A)$ is called the *Bregman Chebyshev radius* of *A*, $B{C}_{A}(A)$ is called the *Bregman Chebyshev center* of *A* and $cov(A)$ is called the *cover* of *A*.

**Definition 2.1**Let ℱ be a convexity structure on

*E*.

- (i)
We will say that ℱ is compact if any family ${({A}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ of elements of ℱ has a nonempty intersection provided ${\bigcap}_{\alpha \in F}{A}_{\alpha}\ne \mathrm{\varnothing}$ for any finite subset $F\subset \mathrm{\Gamma}$;

- (ii)
We will say that ℱ is normal if for any $A\in \mathcal{F}$, not reduced to one point, we have $\mathit{BR}(A)<B-diam(A)$.

**Definition 2.2** The ordered pair $(S,T)$ of two self-maps of a closed and convex subset *C* of a Banach space *E* is called a Banach operator pair if the set $Fix(T)$ is *S*-invariant, namely $S(Fix(T))\subseteq Fix(T)$. The ordered pair $(S,T)$ is called nontrivially a Banach operator pair if $Fix(T)$ is not empty and $(S,T)$ is a Banach operator pair.

Obviously, a commuting pair $(S,T)$ is a Banach operator pair but not conversely in general; see [4–16, 29–34].

*A*by $domA=\{x\in E:Ax\ne \mathrm{\varnothing}\}$ and $ranA={\bigcup}_{x\in E}Ax$, respectively. The graph of

*A*is denoted by $G(A)=\{(x,{x}^{\ast})\in E\times {E}^{\ast}:{x}^{\ast}\in Ax\}$. The mapping $A\subset E\times {E}^{\ast}$ is said to be

*monotone*[35] if $\u3008x-y,{x}^{\ast}-{y}^{\ast}\u3009\ge 0$ whenever $(x,{x}^{\ast}),(y,{y}^{\ast})\in A$. It is also said to be

*maximal monotone*[36] if its graph is not contained in the graph of any other monotone operator on

*E*. If $A\subset E\times {E}^{\ast}$ is maximal monotone, then we can show that the set ${A}^{-1}0=\{z\in E:0\in Az\}$ is closed and convex. For a proper, lower semicontinuous and convex function $g:E\to (-\mathrm{\infty},+\mathrm{\infty}]$, the

*subdifferential*

*∂g*of

*g*is defined by

*conjugate function*${g}^{\ast}$ of

*g*is defined by

^{∗}lower semicontinuous and convex function; see [14] for more details on convex analysis. Let $g:E\to \mathbb{R}$ be a convex function. The function

*g*is also said to be

*Fréchet differentiable*at $x\in E$ (see, for example, [[29], p.13] or [[30], p.508]) if for all $\u03f5>0$, there exists $\delta >0$ such that $\parallel y-x\parallel \le \delta $ implies that

*Fréchet differentiable*if it is Fréchet differentiable everywhere. It is well known that if a continuous convex function $g:E\to \mathbb{R}$ is Gâteaux differentiable, then ∇

*g*is norm-to-weak

^{∗}continuous (see, for example, [[29], Proposition 1.1.10]). Also, it is known that if

*g*is Fréchet differentiable, then ∇

*g*is norm-to-norm continuous (see, [[30], p.508]). The mapping ∇

*g*is said to be

*weakly sequentially continuous*if ${x}_{n}\rightharpoonup x$ implies that $\mathrm{\nabla}g({x}_{n}){\rightharpoonup}^{\ast}\mathrm{\nabla}g(x)$ (for more details, see [[29], Theorem 3.2.4] or [[30], p.508]). The function

*g*is said to be

*strongly coercive*if

It is also said to be *bounded on bounded subsets* if $g(U)$ is bounded for each bounded subset *U* of *E*.

**Remark 2.2**Let

*E*be a real Banach space. Let $g:E\to \mathbb{R}$ be a Gâteaux differentiable function which is bounded on bounded subsets. Let

*A*be a bounded subset of

*E*. Then $B-diam(A)=sup\{{D}_{g}(x,y):x,y\in A\}<\mathrm{\infty}$. Indeed, the function

*g*is bounded on bounded subsets of

*E*and, thus, ∇

*g*is also bounded on bounded subsets of ${E}^{\ast}$ (see, for example, [[29], Proposition 1.1.11] for more details). This implies that there exist positive real numbers ${M}_{1}$, ${M}_{2}$ and ${M}_{3}$ such that

Therefore, $B-diam(A)=sup\{{D}_{g}(x,y):x,y\in A\}<\mathrm{\infty}$.

The following definition is slightly different from that in Butnariu and Iusem [29].

**Definition 2.3** [30]

*E*be a Banach space. The function $g:E\to \mathbb{R}$ is said to be a Bregman function if the following conditions are satisfied:

- (1)
*g*is continuous, strictly convex and Gâteaux differentiable; - (2)
the set $\{y\in E:{D}_{g}(x,y)\le r\}$ is bounded for all $x\in E$ and $r>0$.

The following lemma follows from Butnariu and Iusem [29] and Zălinscu [39].

**Lemma 2.1**

*Let*

*E*

*be a reflexive Banach space and let*$g:E\to \mathbb{R}$

*be a strongly coercive Bregman function*.

*Then*

- (1)
$\mathrm{\nabla}g:E\to {E}^{\ast}$

*is one*-*to*-*one*,*onto and norm*-*to*-*weak*^{∗}*continuous*; - (2)
$\u3008x-y,\mathrm{\nabla}g(x)-\mathrm{\nabla}g(y)\u3009=0$

*if and only if*$x=y$; - (3)
$\{x\in E:{D}_{g}(x,y)\le r\}$

*is bounded for all*$y\in E$*and*$r>0$; - (4)
$dom{g}^{\ast}={E}^{\ast}$, ${g}^{\ast}$

*is Gâteaux differentiable and*$\mathrm{\nabla}{g}^{\ast}={(\mathrm{\nabla}g)}^{-1}$.

*E*be a Banach space and let

*C*be a nonempty and convex subset of

*E*. Let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. Then we know from [40] that for $x\in E$ and ${x}_{0}\in C$, ${D}_{g}({x}_{0},x)={min}_{y\in C}{D}_{g}(y,x)$ if and only if

*C*is a nonempty, closed and convex subset of a reflexive Banach space

*E*and $g:E\to \mathbb{R}$ is a strongly coercive Bregman function, then for each $x\in E$, there exists a unique ${x}_{0}\in C$ such that

*Bregman projection*${proj}_{C}^{g}$ from

*E*onto

*C*is defined by ${proj}_{C}^{g}(x)={x}_{0}$ for all $x\in E$. It is also well known that ${proj}_{C}^{g}$ has the following property:

for all $y\in C$ and $x\in E$ (see [29] for more details).

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

*uniformly convex on bounded subsets*([[39], pp.203-221]) if ${\rho}_{r}(t)>0$ for all $r,t>0$, where ${\rho}_{r}:[0,+\mathrm{\infty})\to [0,\mathrm{\infty}]$ is defined by

*g*. The function

*g*is also said to be

*uniformly smooth on bounded subsets*([[39], pp.207-221]) if ${lim}_{t\downarrow 0}\frac{{\sigma}_{r}(t)}{t}=0$ for all $r>0$, where ${\sigma}_{r}:[0,+\mathrm{\infty})\to [0,\mathrm{\infty}]$ is defined by

for all $t\ge 0$.

*g*is said to be

*uniformly convex*if the function ${\delta}_{g}:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}]$, defined by

*g*is called

*totally convex*at a point $x\in int\; domg$ if its

*modulus of total convexity*at

*x*, that is, the function ${v}_{g}:int\; domg\times [0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ defined by

*g*is called

*totally convex*when it is

*totally convex*at every point $x\in int\; domg$. Moreover, the function

*g*is called

*totally convex on bounded subsets*if ${v}_{g}(x,t)>0$ for any bounded subset

*X*of

*E*and for any $t>0$, where the

*modulus of total convexity of the function*

*g*on the set

*X*is the function ${v}_{g}:int\; domg\times [0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ defined by

It is well known that any uniformly convex function is totally convex, but the converse is not true in general (see [[29], Section 1.3, p.30]).

It is also well known that *g* is totally convex on bounded sets if and only if the function *g* is uniformly convex on bounded sets (see [[41], Theorem 2.10, p.9]).

Examples of totally convex functions can be found, for instance, in [29, 41].

*E*be a Banach space and let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. Then the Bregman distance [15, 16] does not satisfy the well-known properties of a metric, but it does have the following important property, which is called the

*three point identity*[42]:

Indeed, by letting $z=x$ in (2.5) and taking into account that ${D}_{g}(x,x)=0$, we get the desired result.

We will need the following important result; for the proof, we refer to ([[29], p.67]).

**Lemma 2.2**

*Let*

*E*

*be a Banach space and let*$g:E\to \mathbb{R}$

*be a Gâteaux differentiable function which is uniformly convex on bounded sets*.

*Let*${\{{x}_{n}\}}_{n\in \mathbb{N}}$

*and*${\{{y}_{n}\}}_{n\in \mathbb{N}}$

*be bounded sequences in*

*E*.

*Then the following assertions are equivalent*:

- (1)
${lim}_{n\to \mathrm{\infty}}{D}_{g}({x}_{n},{y}_{n})=0$;

- (2)
${lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-{y}_{n}\parallel =0$.

**Remark 2.3** Let *E* be a Banach space and let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. Let *C* be a closed and convex subset of *E*. Then, in view of Lemma 2.2, any Bregman nonexpansive mapping $T:C\to C$ is continuous.

*μ*on ${l}^{\mathrm{\infty}}$ such that the following three conditions hold:

- (1)
If ${\{{t}_{n}\}}_{n\in \mathbb{N}}\in {l}^{\mathrm{\infty}}$ and ${t}_{n}\ge 0$ for every $n\in \mathbb{N}$, then $\mu ({t}_{n})\ge 0$;

- (2)
If ${t}_{n}=1$ for every $n\in \mathbb{N}$, then $\mu ({t}_{n})=1$;

- (3)
$\mu (\{{t}_{n+1}\})=\mu (\{{t}_{n}\})$ for all ${\{{t}_{n}\}}_{n\in \mathbb{N}}\in {l}^{\mathrm{\infty}}$.

Such a functional *μ* is called a Banach limit and the value of *μ* at ${\{{t}_{n}\}}_{n\in \mathbb{N}}\in {l}^{\mathrm{\infty}}$ is denoted by ${\mu}_{n}{t}_{n}$ (see, for example, [13]).

## 3 Common fixed points for Banach operator pairs

*E*be a Banach space and let $g:E\to \mathbb{R}$ be a convex and Gâteaux differentiable function. Let

*C*be a closed and convex subset of a real Banach space

*E*. A mapping $T:C\to E$ is said to be

*Bregman quasi-nonexpansive*[17] if $F(T)\ne \mathrm{\varnothing}$ and

*C*and

*D*be nonempty subsets of a real Banach space

*E*with $D\subset C$. A mapping ${R}_{D}:C\to D$ is said to be

*sunny*if

for each $x\in E$ and $t\ge 0$. A mapping ${R}_{D}:C\to D$ is said to be a *retraction* if ${R}_{D}x=x$ for each $x\in C$.

The following result was proved in [24].

**Lemma 3.1** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *strongly coercive and Gâteaux differentiable function which is bounded on bounded subsets and uniformly convex on bounded subsets*. *Let* *C* *be a nonempty*, *closed and convex subset of* *E*. *Let* $T:C\to E$ *be a Bregman quasi*-*nonexpansive mapping*. *Then* $F(T)$ *is closed and convex*.

**Corollary 3.1** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *strongly coercive and Gâteaux differentiable function which is bounded on bounded sets and uniformly convex on bounded sets*. *Let* *C* *be a nonempty*, *closed and convex subset of* *E* *and let* $T:C\to E$ *be a Bregman nonexpansive mapping*. *If* $F(T)\ne \mathrm{\varnothing}$, *then it is closed and convex*.

Using ideas in [43], we can prove the following result.

**Theorem 3.1**

*Let*

*E*

*be a reflexive Banach space and let*$g:E\to \mathbb{R}$

*be a convex*,

*continuous*,

*strongly coercive and Gâteaux differentiable function which is bounded on bounded subsets and uniformly convex on bounded subsets*.

*Let*

*C*

*be a nonempty*,

*closed and convex subset of*

*E*

*and let*$T:C\to C$

*be a mapping*.

*Let*${\{{x}_{n}\}}_{n\in \mathbb{N}}$

*be a bounded sequence of*

*C*

*and let*

*μ*

*be a mean on*${l}^{\mathrm{\infty}}$.

*Suppose that*

*for all* $y\in C$. *Then* *T* *has a fixed point in* *C*.

*Proof*Let

*μ*be a mean on ${l}^{\mathrm{\infty}}$ and ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ be a bounded sequence in

*C*. Define a mapping $h:{E}^{\ast}\to \mathbb{R}$ by

*μ*is linear, so is

*h*. Observe that

*h*is a linear and continuous real-valued mapping on ${E}^{\ast}$. Since

*E*is reflexive, then there exists a unique element $z\in E$ such that

Then we have $0\le -{D}_{g}(z,Tz)$, which implies that ${D}_{g}(z,Tz)=0$. In view of Lemma 2.2, we conclude that $Tz=z$, which completes the proof. □

**Remark 3.1** Let *g* and *T* be as in Example 1.1. Let $x\in [0,0.9]$ be fixed. Then ${\{{T}^{n}x\}}_{n\in \mathbb{N}}$ is a bounded sequence in $[0,0.9]$. Set ${x}_{n}:={T}^{n}x$ for $n=1,2,\dots $ . It is obvious that *T* satisfies all the aspects of the hypothesis of Theorem 3.1, so it has a fixed point.

**Corollary 3.2**

*Let*

*E*

*be a reflexive Banach space and let*$g:E\to \mathbb{R}$

*be a convex*,

*continuous*,

*strongly coercive and Gâteaux differentiable function which is bounded on bounded subsets and uniformly convex on bounded subsets*.

*Let*

*C*

*be a nonempty*,

*closed and convex subset of*

*E*

*and let*$T:C\to C$

*be a mapping*.

*Suppose that there exist*$x\in C$

*and a Banach limit*

*μ*

*such that*${\{{T}^{n}x\}}_{n\in \mathbb{N}}$

*is bounded and*

*for all* $y\in C$. *Then* *T* *has a fixed point*.

**Corollary 3.3** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E* *and let* $T:C\to C$ *be a Bregman nonexpansive mapping*. *Suppose that there exists* $x\in C$ *such that* ${\{{T}^{n}x\}}_{n\in \mathbb{N}}$ *is bounded*. *Then* *T* *has a fixed point*.

*Proof*Let

*μ*a Banach limit on ${l}^{\mathrm{\infty}}$ and $x\in C$ be such that ${\{{T}^{n}x\}}_{n\in \mathbb{N}}$ is bounded. Then we have

for all $y\in C$. In view of Corollary 3.2, we deduce that $F(T)\ne \mathrm{\varnothing}$, which completes the proof. □

**Corollary 3.4** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *strongly coercive and Gâteaux differentiable function which is bounded on bounded sets and uniformly convex on bounded sets*. *Let* *C* *be a nonempty*, *bounded*, *closed and convex subset of* *E* *and let* $T:C\to C$ *be a Bregman nonexpansive mapping*. *Then* *T* *has a fixed point*.

**Definition 3.1** Let *A* and *C* be nonempty subsets of a real Banach space *E* with $A\subset C$. We say that *A* is a Bregman nonexpansive retract of *C* if there exists a Bregman nonexpansive map $R:C\to A$ such that $R(a)=a$ for every $a\in A$.

**Definition 3.2** Let *C* be a nonempty, closed and convex subset of a real Banach space *E*. The mapping $T:C\to C$ is called Bregman *NR*-map if $Fix(T)$ is a Bregman nonexpansive retract of *C*.

**Theorem 3.2** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *strongly coercive and Gâteaux differentiable function which is bounded on bounded sets and uniformly convex on bounded sets*. *Let* *C* *be a nonempty*, *bounded*, *closed and convex subset of* *E*. *Let* $T:C\to C$ *be a continuous Bregman* *NR*-*map*. *Let* $S:C\to C$ *be a Bregman nonexpansive mapping such that* $(S,T)$ *is a Banach operator pair*. *Then* $F(S,T)$ *is not empty*.

*Proof* Since the retract of a nonempty space is nonempty, $Fix(T)$ is nonempty and is closed as *T* is continuous. Since *T* is a Bregman *NR*-map, then there exists a Bregman nonexpansive retract $R:C\to Fix(T)$. Since $(S,T)$ is a Banach operator pair, then $S(Fix(T))\subset Fix(T)$. Hence $S\circ R:C\to C$ is a Bregman nonexpansive map such that $S\circ R(C)\subset Fix(T)$. Corollary 3.4 implies the existence of a fixed point of $S\circ R$. Clearly, such a fixed point is a fixed point of *S* which belongs to $Fix(T)$. Hence $Fix(T)\cap Fix(S)=F(S,T)$ is not empty. □

**Example 3.1**Let

*E*be a reflexive and smooth Banach space and let

*C*be a closed and convex subset of

*E*such that $0\in C$. Let $T:C\to E$ be defined as

*T*is a Bregman quasi-nonexpansive mapping with $g(x)=\frac{1}{2}{\parallel x\parallel}^{2}$, $\mathrm{\nabla}g(x)=Jx$ for all $x\in C$ and $F(T)=\{0\}$. Indeed, it is clear that

*T*is a Bregman quasi-nonexpansive mapping. Define a mapping $R:C\to \{0\}$ by

Then *T* is a Bregman *NR*-map.

- (i)
*h*is totally convex on bounded sets; - (ii)
*h*, as well as its Fenchel conjugate ${h}^{\ast}$, are defined and (Gâteaux) differentiable on*E*and ${E}^{\ast}$, respectively; - (iii)
${h}^{\prime}$ is uniformly continuous and ${h}^{\ast}$ is bounded on bounded sets.

*A*such that $0\in \mathrm{\Omega}$, $A(0)=0$ and $C\subset domA$. For any $\alpha \in (0,\mathrm{\infty})$, we define the operator ${A}_{\alpha}^{h}:domA\to E$ by

*A*is said to be inverse-strongly-monotone relative to

*h*on the set Ω if there exist a real number $\alpha >0$ and a vector $z\in \mathrm{\Omega}$ such that

If we set $S:={A}_{\alpha}^{h}$, then *S* is a Bregman nonexpansive mapping (for more details, see [41]). It is clear that *T* and *S* satisfy all the aspects of the hypothesis of Theorem 3.2 and *T* and *S* have a common fixed point.

**Remark 3.2** Let *E* be a reflexive Banach space and let $g:E\to \mathbb{R}$ be a convex, continuous, strongly coercive and Gâteaux differentiable function which is bounded on bounded subsets and uniformly convex on bounded subsets. Let *C* be a nonempty, bounded, closed and convex subset of *E* and let $T:C\to C$ be a Bregman nonexpansive mapping. Then, in view of Corollary 3.4 and Lemma 3.1, $Fix(T)$ is not empty and closed convex which implies that $Fix(T)$ is a Bregman nonexpansive retract of *C*. Thus *T* is a Bregman *NR*-map.

**Theorem 3.3** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *T* *and* *S* *be two Bregman nonexpansive self*-*mappings defined on a closed and convex subset* *C* *of* *E*. *If* $(S,T)$ *is a Banach operator pair and* $T(C)$ *is bounded*, *then* $Fix(T)\cap Fix(S)\ne \mathrm{\varnothing}$.

*Proof* Let $K=\overline{conv}(T(C))$. Then $T:K\to K$ and *K* is nonempty and bounded. In view of Corollary 3.4, the fixed point set $Fix(T)$ of *T* is nonempty and bounded. Since $(S,T)$ is a Banach operator pair, $S:Fix(T)\to Fix(T)$. By Corollary 3.4, *S* has a fixed point in $Fix(T)$ as required. □

The following slight extension of Theorem 3.3 can be proved easily.

**Theorem 3.4** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E*. *Let* *X* *be a normed space and* *T* *and* *S* *be two Bregman nonexpansive self*-*mappings defined on a closed convex set* $C\subset E$. *If* $(S,T)$ *is a Banach operator pair*, *and if* $\overline{{T}^{n}(C)}$ *is bounded for some* $n\in \mathbb{N}$, *then* $Fix(T)\cap Fix(S)\ne \mathrm{\varnothing}$.

**Corollary 3.5** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *bounded*, *closed and convex subset of* *E*. *Let* $T:C\to C$ *be Bregman nonexpansive*. *Let* $S:C\to C$ *be a Bregman nonexpansive mapping such that* $(S,T)$ *is a Banach operator pair*. *Then* $F(S,T)$ *is not empty*.

**Corollary 3.6** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E*. *Let* $T:C\to C$ *be a Bregman nonexpansive map such that* $T(C)$ *is bounded and* $T(C)\subset Fix(T)$. *Let* $S:C\to C$ *be a Bregman nonexpansive mapping such that* $(S,T)$ *is nontrivially a Banach operator pair*. *Then* $Fix(S)\cap Fix(T)$ *is not empty*.

**Corollary 3.7** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E*. *Let* $S,T:C\to C$ *be a nontrivially Banach operator pair such that* $Fix(T)$ *is bounded and* *S* *is a Bregman nonexpansive map*. *Assume that* $T:C\to Fix(T)$ *is a Bregman nonexpansive map*. *Then* $Fix(S)\cap Fix(T)$ *is not empty*.

**Theorem 3.5** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E* *which has the property that every Bregman nonexpansive mapping of* $C\to C$ *is Bregman* *NR*-*map*. *Suppose* $T:C\to C$ *is a mapping for which* ${T}^{n}$ *is Bregman nonexpansive for some* $n\in \mathbb{N}$, *and suppose the restriction of* *T* *to* $Fix({T}^{n})$ *is also Bregman nonexpansive*. *Then* $Fix(T)$ *is a nonempty Bregman nonexpansive retract of* *C*. *Consequently*, *if* $S:C\to C$ *is Bregman nonexpansive and if* $(S,T)$ *is a Banach operator pair*, *then* $Fix(T)\cap Fix(S)$ *is a nonempty Bregman nonexpansive retract of* *C*.

*Proof*By assumption, there exists a Bregman nonexpansive retraction ${R}_{1}$ of

*C*onto $Fix({T}^{n})$. Consequently, $T\circ {R}_{1}$ is a Bregman nonexpansive mapping of

*C*into

*C*, so $Fix(T\circ {R}_{1})$ is a nonempty Bregman nonexpansive retract of

*C*. But $x\in Fix(T\circ {R}_{1})\iff x\in Fix(T)\cap Fix({T}^{n})$, and by Lemma 1 [44]

Therefore there is a Bregman nonexpansive retraction ${R}_{2}$ of *C* onto $Fix(T)$. So, $S\circ {R}_{2}$ is a Bregman nonexpansive mapping of *C* into $Fix(T)$. Therefore $Fix(S\circ {R}_{2})=Fix(S)=Fix(S)\cap Fix(T)$ is a nonempty Bregman nonexpansive retract of *C*. □

We might observe that in the above theorem it is not necessary that *T* be Bregman nonexpansive. The only facts needed for the proof is that $Fix({T}^{n})$ be a Bregman nonexpansive retract of *C*.

## 4 Fixed point of Banach operator family

**Definition 4.1** Let *C* be a closed and convex subset of a real Banach space *E* and let *T* and *S* be two self-maps on *C*. The pair $(S,T)$ is called a symmetric Banach operator pair if both $(S,T)$ and $(T,S)$ are Banach operator pairs, *i.e.*, $T(Fix(S))\subseteq Fix(S)$ and $S(Fix(T))\subseteq Fix(T)$.

It is easy to see that the pair $(S,T)$ is a symmetric Banach operator pair if and only if *T* and *S* are commuting on $Fix(T)\cup Fix(S)$.

**Definition 4.2** A subset *A* of a Banach space *E* is said to be a 1-*local Bregman retract* of *E* if for every family $\{{B}_{i}:i\in I\}$ of Bregman closed balls centered in *A* with nonempty intersection, it is the case that $A\cap ({\bigcap}_{i\in I}{B}_{i})\ne \mathrm{\varnothing}$. It is immediate that each Bregman nonexpansive retract of *E* is a 1-local Bregman retract (but not conversely).

**Definition 4.3** Let *C* be a closed and convex subset of a real Banach space *E* and let $\mathcal{T}$ be a family of mappings defined on *C*. Then the family $\mathcal{T}$ has a common fixed point if it is the fixed point of each member of $\mathcal{T}$. The family $\mathcal{T}$ is called a Banach operator family if any two of maps in the family form a symmetric Banach operator pair.

**Theorem 4.1** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E* *and let* ℋ *be a nonempty family of Bregman nonexpansive maps of* *C* *into itself*. *If* ℋ *is a Banach operator family and there exists* $T\in \mathcal{H}$ *such that* $\overline{T(C)}$ *is compact*, *then* ℋ *has a common fixed point in* *C*.

*Proof* Let $K=\overline{conv}(T(C))$. It suffices to show that each finite subfamily of ℋ has a nonempty common fixed point set in *K*. The full conclusion then follows from the compactness of *K*. Let $\{{T}_{1},{T}_{2},\dots ,{T}_{n}\}$ be a finite subfamily of ℋ. As above, $Fix(T)$ is nonempty. Since $({T}_{1},T)$ is a Banach operator pair, ${T}_{1}:Fix(T)\to Fix(T)$. By Corollary 3.4, ${T}_{1}$ has a fixed point in $Fix(T)$. Since $({T}_{2},{T}_{1})$ is a Banach operator pair, ${T}_{2}:Fix({T}_{1})\to Fix({T}_{1})$. Proceeding in a step by step way, we conclude $Fix(T)\cap Fix({T}_{1})\cap \cdots \cap Fix({T}_{n})\ne \mathrm{\varnothing}$. □

**Theorem 4.2** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *bounded*, *closed and convex subset of* *E* *such that* $\mathcal{BA}(C)$ *is compact and normal*. *Let* $\mathcal{T}$ *be a family of Bregman nonexpansive mappings* ${T}_{1},{T}_{2},\dots ,{T}_{n}$, ${T}_{i}:C\to C$. *Assume that any two mappings from* $\mathcal{T}$ *form a symmetric Banach operator pair*. *Then the family* $\mathcal{T}$ *has a common fixed point*. *Moreover*, *the common fixed point set* $Fix(\mathcal{T})$ *is a* 1-*local Bregman retract of* *C*.

*Proof* First, let us prove that $F=Fix(\mathcal{T})$ is not empty. Using Corollary 3.4, we know that $Fix({T}_{1})$ is not empty. Since $Fix({T}_{1})$ is a 1-local Bregman retract [4] of *C*, by a similar argument as in [4], we conclude that $\mathcal{A}(Fix({T}_{1}))$ is compact and normal. On the other hand, we have ${T}_{2}(Fix({T}_{1}))\subset Fix({T}_{1})$ because any two mappings from $\mathcal{T}$ form a symmetric Banach operator pair. Hence ${T}_{2}$ has a fixed point in $Fix({T}_{1})$. If we restrict ourselves to $Fix({T}_{1},{T}_{2})$, the common fixed point set of ${T}_{1}$ and ${T}_{2}$, then one can prove in an identical argument that ${T}_{3}$ has a fixed point in $Fix({T}_{1},{T}_{2})$. Step by step, we can prove that the common fixed point set $Fix(\mathcal{T})$ of ${T}_{1},\dots ,{T}_{n}$ is not empty. The same argument, used to prove that the fixed point set of a Bregman nonexpansive map is a 1-local Bregman retract, can be reproduced here to prove that $Fix(\mathcal{T})$ is a 1-local Bregman retract. □

**Theorem 4.3** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *bounded*, *closed and convex subset of* *E* *such that* $\mathcal{BA}(C)$ *is compact and normal*. *Let* $\mathcal{T}$ *be a family of Bregman nonexpansive mappings* ${({T}_{i})}_{i\in I}$, ${T}_{i}:C\to C$. *Assume that any two mappings from* $\mathcal{T}$ *form a symmetric Banach operator pair*. *Then the family* $\mathcal{T}$ *has a common fixed point*. *Moreover*, *the common fixed point set* $Fix(\mathcal{T})$ *is a* 1-*local Bregman retract of* *C*.

*Proof* $\mathrm{\Gamma}={2}^{I}=\{\beta \subset I:\beta \phantom{\rule{0.25em}{0ex}}is\phantom{\rule{0.25em}{0ex}}finite\phantom{\rule{0.25em}{0ex}}and\phantom{\rule{0.25em}{0ex}}nonempty\}$. It is obvious that Γ is downward directed (the order on Γ is the set inclusion). Theorem 4.2 implies that for every $\beta \in \mathrm{\Gamma}$, the set ${F}_{\beta}$ of a common fixed point set of the mappings ${T}_{i}$, $i\in \beta $, is a nonempty 1-local Bregman retract of *C*. Clearly, the family ${({F}_{\beta})}_{\beta \in \mathrm{\Gamma}}$ is decreasing. Using the remark following Theorem 6 [4], we deduce that ${\bigcap}_{\beta \in \mathrm{\Gamma}}{F}_{\beta}$ is nonempty and is a 1-local Bregman retract of *C*. □

**Lemma 4.1** *Let* *E* *be a reflexive Banach space and let* $g:E\to \mathbb{R}$ *be a convex*, *continuous*, *Let* *C* *be a nonempty*, *closed and convex subset of* *E* *such that* $\mathcal{BA}(C)$ *is compact and normal*. *Let* $\mathcal{T}$ *be a family of Bregman nonexpansive mappings defined on* *C*. *Let* *τ* *be a topology on* *C* *for which the closed balls are* *τ*-*closed*. *Assume that there exists a bounded subset* $A\subset C$ *with* $\delta =B-diam(A)$ *such that* $C={\bigcap}_{a\in A}\overline{B}(a,\delta )$, *is* 1-*local Bregman retract of* *C*, $A\subset {\overline{T(A)}}^{\tau}$, *for any* $T\in \mathcal{T}$, *where* ${\overline{T(A)}}^{\tau}$ *is the* *τ*-*closure of* $T(A)$. *Assume that any two mappings from* $\mathcal{T}$ *form a symmetric Banach operator pair*. *Then the family* $\mathcal{T}$ *has a common fixed point*.

*Proof*Denote by $\delta =B-diam(A)$. Consider the subset

*T*is Bregman nonexpansive. This implies

*τ*-closed, we get

Since *C* is bounded and is 1-local Bregman retract of *C*, so $\mathcal{BA}(C)$ is compact and normal and the theorem above implies that $\mathcal{T}$ has a common fixed point. □

**Definition 4.4**Let

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

*E*. Let $\mathcal{T}$ be a family of mappings defined on

*C*. The family $\mathcal{T}$ is called a semigroup if $S\circ T\in \mathcal{T}$ whenever $S,T\in \mathcal{T}$. We will call the semigroup $\mathcal{T}$ an invertible semigroup if and only if any element in $\mathcal{T}$ is invertible and ${T}^{-1}\in \mathcal{T}$ for any $T\in \mathcal{T}$. For any $x\in C$, define the orbit of

*x*by

**Theorem 4.4** *Let* *C* *be a nonempty*, *closed and convex subset of a Banach space* *E* *such that* $\mathcal{BA}(C)$ *is compact and normal*. *Let* $\mathcal{T}$ *be an invertible semigroup of isometric mappings defined on* *H* *such that any two mappings from* $\mathcal{T}$ *form a symmetric Banach operator pair*. *Assume that* $C={\bigcap}_{a\in A}\overline{B}(a,\delta )$ *is* 1-*local Bregman retract of* *C*, *where* $A=\mathcal{T}(x)$ *and* $\delta =B-diam(A)$. *Then the family* $\mathcal{T}$ *has a common fixed point if and only if* ${\bigcap}_{T\in \mathcal{T}}T(C)$ *is not empty and* $\mathcal{T}$-*orbits are bounded*.

*Proof* Clearly, if $\mathcal{T}$ has a fixed point, then we have ${\bigcap}_{T\in \mathcal{T}}T(C)$ is not empty and $\mathcal{T}$-orbits are bounded. So, let us assume that ${\bigcap}_{T\in \mathcal{T}}T(C)$ is not empty and $\mathcal{T}$-orbits are bounded. Let $x\in {\bigcap}_{T\in \mathcal{T}}T(C)$. The orbit $A=\mathcal{T}(x)$ is bounded. Note that $T(A)=A$ for any $A\in \mathcal{T}$. Indeed, by the definition of the orbit $\mathcal{T}(x)$, we have $T(A)\subset A$. Let $a\in A$, then there exists $S\in \mathcal{T}$ such that $a=S(x)$. Clearly, we have $a=T({T}^{-1}\circ S(x))$. Since ${T}^{-1}\circ S\in \mathcal{T}$, we conclude that $a\in T(A)$. Next we consider the admissible subset $C={\bigcap}_{a\in A}\overline{B}(a,\delta )$, where $\delta =B-diam(A)$. Obviously, $A\subset C$ and *C* is a bounded and 1-local Bregman retract of *C*. As in the proof of the lemma above, one will easily show that $T(C)\subset C$ for any $T\in \mathcal{T}$. So, from Theorem 4.3, we conclude that $\mathcal{T}$ has a common fixed point and its fixed point set $Fix(\mathcal{T})$ is 1-local Bregman retract of *C*. □

## Declarations

### Acknowledgements

The authors would like to express their thanks to the referees for their helpful comments and suggestions. The first and third authors gratefully acknowledge the support from the King Abdulaziz University, Jeddah, Saudi Arabia during this research.

## Authors’ Affiliations

## References

- Espínola R, Lorenzo P, Nicolae A: Fixed points, selections and common fixed points for nonexpansive-type mappings.
*J. Math. Anal. Appl.*2011, 382: 503–515. 10.1016/j.jmaa.2010.06.039MathSciNetView ArticleGoogle Scholar - Hussain N, Khamsi MA, Kirk WA: One-local retract and Banach operator pairs in metric spaces.
*Appl. Math. Comput.*2012, 218: 10072–10081. 10.1016/j.amc.2012.03.067MathSciNetView ArticleGoogle Scholar - Hussain N, Khamsi MA, Latif A: Banach operator pairs and common fixed points in hyperconvex metric spaces.
*Nonlinear Anal.*2011, 74: 5956–5961. 10.1016/j.na.2011.05.072MathSciNetView ArticleGoogle Scholar - Khamsi MA: One-local retract and common fixed point for commuting mappings in metric spaces.
*Nonlinear Anal.*1996, 27: 1307–1313. 10.1016/0362-546X(95)00106-6MathSciNetView ArticleGoogle Scholar - Aksoy AG, Khamsi MA:
*Nonstandard Methods in Fixed Point Theory*. Springer, Berlin; 1990.View ArticleGoogle Scholar - De Marr R: Common fixed points for commuting contraction mappings.
*Pac. J. Math.*1963, 13: 1139–1141. 10.2140/pjm.1963.13.1139MathSciNetView ArticleGoogle Scholar - Browder FE: Nonexpansive nonlinear operators in a Banach space.
*Proc. Natl. Acad. Sci. USA*1965, 54: 1041–1054. 10.1073/pnas.54.4.1041MathSciNetView ArticleGoogle Scholar - Khamsi MA, Lin M, Sine R: On the fixed points of commuting nonexpansive maps in hyperconvex spaces.
*J. Math. Anal. Appl.*1992, 168: 372–380. 10.1016/0022-247X(92)90165-AMathSciNetView ArticleGoogle Scholar - Espínola R, Hussain N: Common fixed points for multimaps in metric spaces.
*Fixed Point Theory Appl.*2010., 2010: Article ID 204981Google Scholar - Hussain N, Jungck G, Khamsi MA: Nonexpansive retracts and weak compatible pairs in metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 100Google Scholar - Hussain N, Khamsi MA, Latif A: Banach operator pairs and common fixed points in modular function spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 75Google Scholar - Hussain N: Asymptotically pseudo-contractions, Banach operator pairs and best simultaneous approximations.
*Fixed Point Theory Appl.*2011., 2011: Article ID 812813Google Scholar - Takahashi W:
*Nonlinear Functional Analysis, Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama; 2000.Google Scholar - Takahashi W:
*Convex Analysis and Approximation of Fixed Points*. Yokohama Publishers, Yokahama; 2000.Google Scholar - Bregman LM: The relation method of 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 - Chen J, Li Z: Banach operator pair and common fixed points for nonexpansive maps.
*Nonlinear Anal.*2011, 74: 3086–3090. 10.1016/j.na.2010.12.010MathSciNetView ArticleGoogle Scholar - Bauschke HH, Combettes PL: Construction of best Bregman approximations in reflexive Banach spaces.
*Proc. Am. Math. Soc.*2003, 131(12):3757–3766. 10.1090/S0002-9939-03-07050-3MathSciNetView 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/S0219199701000524MathSciNetView ArticleGoogle Scholar - Bonnas JF, Shapiro A:
*Perturbation Analysis of Optimization Problems*. Springer, New York; 2000.View ArticleGoogle Scholar - Bauschke HH, Borwein JM: Legendre functions and the method of random Bregman functions.
*J. Convex Anal.*1997, 4: 27–67.MathSciNetGoogle Scholar - Butnariu D, Censor Y, Reich S: Iterative averaging of entropic projections for solving stochastic convex feasibility problems.
*Comput. Optim. Appl.*1997, 8: 21–39. 10.1023/A:1008654413997MathSciNetView ArticleGoogle Scholar - Bauschke HH, Borwein JM, Combettes PL: Bregman monotone optimization algorithms.
*SIAM J. Control Optim.*2003, 42: 596–636. 10.1137/S0363012902407120MathSciNetView ArticleGoogle Scholar - Borwein MJ, Reich S, Sabach S: A characterization of Bregman firmly nonexpansive operators using a new monotonicity concept.
*J. Nonlinear Convex Anal.*2011, 12(1):161–184.MathSciNetGoogle 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; 2010:299–314.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.005MathSciNetView ArticleGoogle 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.048MathSciNetView ArticleGoogle Scholar - Uuanh Y-Y, Jeng J-C, Kuo T-Y, Hong C-C: Fixed point and weak convergence theorems for point-dependent
*λ*-hybrid mappings in Banach spaces.*Fixed Point Theory Appl.*2011., 2011: Article ID 105Google Scholar - Künzi H-PA, Otafudu OO:
*q*-hyperconvexity in quasipseudometric spaces and fixed point theorems.*J. Funct. Spaces Appl.*2012., 2012: Article ID 765903. doi:10.1155/2012/765903Google Scholar - Butnariu D, Iusem AN:
*Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization*. Kluwer Academic, Dordrecht; 2000.View ArticleGoogle Scholar - Kohsaka F, Takahashi W: Proximal point algorithms with Bregman functions in Banach spaces.
*J. Nonlinear Convex Anal.*2005, 6(3):505–523.MathSciNetGoogle Scholar - Censor Y, Lent A: An iterative row-action method for interval convex programming.
*J. Optim. Theory Appl.*1981, 34: 321–358. 10.1007/BF00934676MathSciNetView ArticleGoogle Scholar - Hussain N: Common fixed points in best approximation for Banach operator pairs with Ćirić type
*I*-contractions.*J. Math. Anal. Appl.*2008, 338: 1351–1362. 10.1016/j.jmaa.2007.06.008MathSciNetView ArticleGoogle Scholar - Khan AR, Akbar F: Best simultaneous approximations, asymptotically nonexpansive mappings and variational inequalities in Banach spaces.
*J. Math. Anal. Appl.*2009, 354: 469–477. 10.1016/j.jmaa.2009.01.007MathSciNetView ArticleGoogle Scholar - Pathak HK, Hussain N: Common fixed points for Banach operator pairs with applications.
*Nonlinear Anal.*2008, 69: 2788–2802. 10.1016/j.na.2007.08.051MathSciNetView ArticleGoogle Scholar - Rockafellar RT: Monotone operators and the proximal point algorithm.
*SIAM J. Control Optim.*1976, 14: 877–898. 10.1137/0314056MathSciNetView ArticleGoogle Scholar - Rockafellar RT: On the maximality of sums of nonlinear monotone operators.
*Trans. Am. Math. Soc.*1970, 149: 75–88. 10.1090/S0002-9947-1970-0282272-5MathSciNetView ArticleGoogle Scholar - Rockafellar RT: Characterization of subdifferentials of convex functions.
*Pac. J. Math.*1966, 17: 497–510. 10.2140/pjm.1966.17.497MathSciNetView ArticleGoogle Scholar - Rockafellar RT: On the maximal monotonicity of subdifferential mappings.
*Pac. J. Math.*1970, 33: 209–216. 10.2140/pjm.1970.33.209MathSciNetView ArticleGoogle Scholar - Zălinescu C:
*Convex Analysis in General Vector Spaces*. World Scientific, River Edge; 2002.View ArticleGoogle Scholar - Naraghirad E, Takahashi W, Yao J-C: Generalized retraction and fixed point theorems using Bregman functions in Banach spaces.
*J. Nonlinear Convex Anal.*2012, 13(1):141–156.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 - Chen G, Teboulle M: Convergence analysis of a proximal-like minimization algorithm using Bregman functions.
*SIAM J. Optim.*1993, 3: 538–543. 10.1137/0803026MathSciNetView ArticleGoogle Scholar - Takahashi W, Wong N-C, Yao J-C: Fixed point theorems and convergence theorems for generalized nonspreading mappings in Banach spaces.
*J. Fixed Point Theory Appl.*2012. doi:10.1007/s11784–012–0074–3Google Scholar - Kirk WA: The fixed point property and mappings which are eventually nonexpansive. Lecture Notes in Pure and Appl. Math. 178. In
*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type*. Dekker, New York; 1996:141–147.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.