 Research
 Open Access
 Published:
Existence of common fixed points using Bregman nonexpansive retracts and Bregman functions in Banach spaces
Fixed Point Theory and Applications volume 2013, Article number: 113 (2013)
Abstract
In this paper, we first introduce the concepts of Bregman nonexpansive retract and Bregman onelocal 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 wellknown De Marr theorem for a Banach operator family of Bregman nonexpansive mappings.
MSC: Primary 06F30; 46B20, 47E10.
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 NRmaps 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 NRmap and Bregman onelocal 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\}.
Let 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
for every ϵ 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].
Let 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 xy\parallel}^{2} for all x,y\in H.
Let 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).
For any convex function g:E\to (\mathrm{\infty},+\mathrm{\infty}], we denote the domain of 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 righthand derivative of g at x in the direction y, that is,
The function 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
It is clear that {D}_{g}(x,y)\ge 0 for all x,y\in E. In the case when 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].
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 nonempty and closed convex subset of E. A mapping T:C\to E is called nonexpansive if
The mapping T:C\to E is called 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
We define a mapping T:[0,0.9]\to [0,0.9] by
Then 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
Let x\in [0,0.9] be fixed. We define a mapping f:[0,0.9]\to [0,0.9] by
Then
This implies that
Since x and y are in [0,0.9], we obtain
Therefore, {f}^{\prime}(y)\ge 0 if y\le x and {f}^{\prime}(y)\le 0 if y>x. Moreover, f(y)=0 if x=y. Hence, f(y)\le 0 for all y\in [0,0.9], which implies that
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
Let 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
The 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].
At this point we introduce some notation which will be used throughout the remainder of this work. For a subset A of E, we set
Bdiam(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)<Bdiam(A).
Definition 2.2 The ordered pair (S,T) of two selfmaps of a closed and convex subset C of a Banach space E is called a Banach operator pair if the set Fix(T) is Sinvariant, 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].
Let A:E\to {2}^{{E}^{\ast}} be a setvalued mapping. We define the domain and range of 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 \u3008xy,{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
for all x\in E. It is well known that \partial g\subset E\times {E}^{\ast} is maximal monotone [37, 38]. For any proper, lower semicontinuous and convex function g:E\to (\mathrm{\infty},+\mathrm{\infty}], the conjugate function {g}^{\ast} of g is defined by
for all {x}^{\ast}\in {E}^{\ast}. It is well known that g(x)+{g}^{\ast}({x}^{\ast})\ge \u3008x,{x}^{\ast}\u3009 for all (x,{x}^{\ast})\in E\times {E}^{\ast}. It is also known that (x,{x}^{\ast})\in \partial g is equivalent to
We also know that if g:E\to (\mathrm{\infty},+\mathrm{\infty}] is a proper, lower semicontinuous and convex function, then {g}^{\ast}:{E}^{\ast}\to (\mathrm{\infty},+\mathrm{\infty}] is a proper, weak^{∗} 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 yx\parallel \le \delta implies that
A convex function g:E\to \mathbb{R} is said to be 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 normtoweak^{∗} continuous (see, for example, [[29], Proposition 1.1.10]). Also, it is known that if g is Fréchet differentiable, then ∇g is normtonorm 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 Bdiam(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
and
It follows that for any x,y\in A,
Therefore, Bdiam(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]
Let 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 onetoone, onto and normtoweak^{∗} continuous;

(2)
\u3008xy,\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}.
Let 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
Further, 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
The 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).
Let 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.203221]) 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 gage of uniform convexity of g. The function g is also said to be uniformly smooth on bounded subsets ([[39], pp.207221]) 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.
The function g is said to be uniformly convex if the function {\delta}_{g}:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}], defined by
satisfies that {lim}_{t\downarrow 0}\frac{{\sigma}_{r}(t)}{t}=0. Let g:E\to (\mathrm{\infty},+\mathrm{\infty}] be a convex and Gâteaux differentiable function. Recall that, in view of [[29], Section 1.2, p.17], the function 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
is positive whenever t>0. The function 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].
Let 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 wellknown properties of a metric, but it does have the following important property, which is called the three point identity [42]:
In particular, it can be easily seen that
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.
Let {l}^{\mathrm{\infty}} denote the Banach space of bounded real sequences with the supremum norm. It is well known that there exists a bounded linear functional μ 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
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 a real Banach space E. A mapping T:C\to E is said to be Bregman quasinonexpansive [17] if F(T)\ne \mathrm{\varnothing} and
Let 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 quasinonexpansive 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
Since μ is linear, so is h. Observe that
for all {x}^{\ast}\in {E}^{\ast}. This implies that h is a linear and continuous realvalued mapping on {E}^{\ast}. Since E is reflexive, then there exists a unique element z\in E such that
We claim that z\in C. If not, then by the separation theorem [13] there exists {y}^{\ast}\in {E}^{\ast} such that
Since {\{{x}_{n}\}}_{n\in \mathbb{N}}\subset C, we conclude that
This is a contradiction. Thus we have z\in C. In view of (2.5), for any y\in C and n\in \mathbb{N}, we deduce that
Thus we have, for any y\in C, that
By the assumption, we have that
for all y\in C. This implies that
for all y\in C. Putting y=z in (3.1) and taking into account (2.6), we see 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, 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 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 NRmap 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 NRmap. 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 NRmap, 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
Then T is a Bregman quasinonexpansive 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
This implies that
for all p\in F(T). Then we have
This means that
for all p\in F(T) and x\in C. Hence, T is a Bregman quasinonexpansive mapping. Define a mapping R:C\to \{0\} by
Then T is a Bregman NRmap.
Assume now that h:E\to \mathbb{R} is a lower semicontinuous function satisfying the following conditions:

(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.
Let A:domA\to {E}^{\ast} be an operator and Ω be a nonempty subset of domA 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
It is worth mentioning that Ax=0 if and only if x\in domA is a fixed point of {A}_{\alpha}^{h}. The operator A is said to be inversestronglymonotone 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 NRmap.
Theorem 3.3 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 T and S be two Bregman nonexpansive selfmappings 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, 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 X be a normed space and T and S be two Bregman nonexpansive selfmappings 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, 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. 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, 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 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, 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 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, 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 which has the property that every Bregman nonexpansive mapping of C\to C is Bregman NRmap. 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 selfmaps 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 1local 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 1local 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, 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 ℋ 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, 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 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 1local 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 1local 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 1local Bregman retract, can be reproduced here to prove that Fix(\mathcal{T}) is a 1local Bregman retract. □
Theorem 4.3 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 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 1local 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 1local 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 1local 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, 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 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 =Bdiam(A) such that C={\bigcap}_{a\in A}\overline{B}(a,\delta ), is 1local 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 =Bdiam(A). Consider the subset
Clearly, we have A\subset C. Let T\in \mathcal{T}, then
since T is Bregman nonexpansive. This implies
Since the Bregman closed balls are τclosed, we get
Our assumption implies
Hence
Since C is bounded and is 1local 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 1local Bregman retract of C, where A=\mathcal{T}(x) and \delta =Bdiam(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 =Bdiam(A). Obviously, A\subset C and C is a bounded and 1local 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 1local Bregman retract of C. □
References
Espínola R, Lorenzo P, Nicolae A: Fixed points, selections and common fixed points for nonexpansivetype mappings. J. Math. Anal. Appl. 2011, 382: 503–515. 10.1016/j.jmaa.2010.06.039
Hussain N, Khamsi MA, Kirk WA: Onelocal retract and Banach operator pairs in metric spaces. Appl. Math. Comput. 2012, 218: 10072–10081. 10.1016/j.amc.2012.03.067
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.072
Khamsi MA: Onelocal retract and common fixed point for commuting mappings in metric spaces. Nonlinear Anal. 1996, 27: 1307–1313. 10.1016/0362546X(95)001066
Aksoy AG, Khamsi MA: Nonstandard Methods in Fixed Point Theory. Springer, Berlin; 1990.
De Marr R: Common fixed points for commuting contraction mappings. Pac. J. Math. 1963, 13: 1139–1141. 10.2140/pjm.1963.13.1139
Browder FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 1965, 54: 1041–1054. 10.1073/pnas.54.4.1041
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/0022247X(92)90165A
Espínola R, Hussain N: Common fixed points for multimaps in metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 204981
Hussain N, Jungck G, Khamsi MA: Nonexpansive retracts and weak compatible pairs in metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 100
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 75
Hussain N: Asymptotically pseudocontractions, Banach operator pairs and best simultaneous approximations. Fixed Point Theory Appl. 2011., 2011: Article ID 812813
Takahashi W: Nonlinear Functional Analysis, Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama; 2000.
Takahashi W: Convex Analysis and Approximation of Fixed Points. Yokohama Publishers, Yokahama; 2000.
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.
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.010
Bauschke HH, Combettes PL: Construction of best Bregman approximations in reflexive Banach spaces. Proc. Am. Math. Soc. 2003, 131(12):3757–3766. 10.1090/S0002993903070503
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/S0219199701000524
Bonnas JF, Shapiro A: Perturbation Analysis of Optimization Problems. Springer, New York; 2000.
Bauschke HH, Borwein JM: Legendre functions and the method of random Bregman functions. J. Convex Anal. 1997, 4: 27–67.
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:1008654413997
Bauschke HH, Borwein JM, Combettes PL: Bregman monotone optimization algorithms. SIAM J. Control Optim. 2003, 42: 596–636. 10.1137/S0363012902407120
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.
Reich S, Sabach S: Existence and approximation of fixed points of Bregman firmly nonexpansive mappings in reflexive Banach spaces. In FixedPoint Algorithms for Inverse Problems in Science and Engineering. Springer, New York; 2010:299–314.
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.005
MartínMá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.048
Uuanh YY, Jeng JC, Kuo TY, Hong CC: Fixed point and weak convergence theorems for pointdependent λ hybrid mappings in Banach spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 105
Künzi HPA, Otafudu OO: q hyperconvexity in quasipseudometric spaces and fixed point theorems. J. Funct. Spaces Appl. 2012., 2012: Article ID 765903. doi:10.1155/2012/765903
Butnariu D, Iusem AN: Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization. Kluwer Academic, Dordrecht; 2000.
Kohsaka F, Takahashi W: Proximal point algorithms with Bregman functions in Banach spaces. J. Nonlinear Convex Anal. 2005, 6(3):505–523.
Censor Y, Lent A: An iterative rowaction method for interval convex programming. J. Optim. Theory Appl. 1981, 34: 321–358. 10.1007/BF00934676
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.008
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.007
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.051
Rockafellar RT: Monotone operators and the proximal point algorithm. SIAM J. Control Optim. 1976, 14: 877–898. 10.1137/0314056
Rockafellar RT: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 1970, 149: 75–88. 10.1090/S00029947197002822725
Rockafellar RT: Characterization of subdifferentials of convex functions. Pac. J. Math. 1966, 17: 497–510. 10.2140/pjm.1966.17.497
Rockafellar RT: On the maximal monotonicity of subdifferential mappings. Pac. J. Math. 1970, 33: 209–216. 10.2140/pjm.1970.33.209
Zălinescu C: Convex Analysis in General Vector Spaces. World Scientific, River Edge; 2002.
Naraghirad E, Takahashi W, Yao JC: Generalized retraction and fixed point theorems using Bregman functions in Banach spaces. J. Nonlinear Convex Anal. 2012, 13(1):141–156.
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 84919
Chen G, Teboulle M: Convergence analysis of a proximallike minimization algorithm using Bregman functions. SIAM J. Optim. 1993, 3: 538–543. 10.1137/0803026
Takahashi W, Wong NC, Yao JC: 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–3
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.
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Hussain, N., Naraghirad, E. & Alotaibi, A. Existence of common fixed points using Bregman nonexpansive retracts and Bregman functions in Banach spaces. Fixed Point Theory Appl 2013, 113 (2013). https://doi.org/10.1186/168718122013113
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122013113
Keywords
 reflexive Banach space
 Gâteaux differentiable function
 Bregman projection
 Bregman distance
 Bregman nonexpansive mapping
 Banach operator pair