The Bregman–Opial Property and Bregman Generalized Hybrid Maps of Reﬂexive Banach Spaces

: The Opial property of Hilbert spaces is essential in many ﬁxed point theorems of non-expansive maps. While the Opial property does not hold in every Banach space, the Bregman–Opial property does. This suggests to study ﬁxed point theorems for various Bregman non-expansive like maps in the general Banach space setting. In this paper, after introducing the notion of Bregman generalized hybrid sequences in a reﬂexive Banach space, we prove (with using the Bregman–Opial property instead of the Opial property) convergence theorems for such sequences. We also provide new ﬁxed point theorems for Bregman generalized hybrid maps deﬁned on an arbitrary but not necessarily convex subset of a reﬂexive Banach space. We end this paper with a brief discussion of the existence of Bregman absolute ﬁxed points of such maps.


Introduction
Let T : C → E be a nonexpansive map from a nonempty subset C of a (real) Banach space E into E. Several iterative schemes, e.g., in [1][2][3], developed for locating fixed points in F(T) = {x ∈ C : Tx = x} assume the Opial property [4] of E. The Opial property states that for any weakly convergent sequence x n x in E, we have lim sup n→∞ x n − x < lim sup n→∞ x n − y , for all y ∈ E \ {x}.
It is well known that all Hilbert spaces, all finite dimensional Banach spaces, and the Banach spaces l p (1 ≤ p < ∞) satisfy the Opial property. However, not every Banach space satisfies the Opial property; see, for example, [5,6]. We thus ask for a more subtle property to implement with the general iterative fixed point algorithms.
The Bregman distance D g is an appropriate candidate, because it holds the Bregman-Opial inequality for any Banach space as shown in Lemma 1 below. Let g : E → R be a strictly convex and Gâteaux differentiable function on a Banach space E. The Bregman distance [7] (see also [8,9]) D g on E is defined by D g (x, y) = g(x) − g(y) − x − y, ∇g(y) , for all x, y ∈ E.
In particular, when E is a Hilbert space, we have D g (x, y) = x − y 2 . The Bregman distance D g is widely used in quantum information theory. Let f : [0, +∞) → R be any strictly convex and Fréchet differentiable function. When g = trace • f , it arises from (1) the Bregman divergence between quantum data, i.e., positive-definite square matrices, Here Here, · 2 is the Hilbert-Schmidt norm of matrices. See, e.g., [12] for details. Let g : E → R be strictly convex and Gâteaux differentiable, and C ⊆ E be nonempty. A mapping It is clear that nonexpansive, quasi-nonexpansive, nonspreading [13][14][15], and generalized hybrid [16] maps of Hilbert spaces are exactly those Bregman nonexpansive, Bregman quasi-nonexpansive, Bregman nonspreading, and Bregman generalized hybrid maps with respect to the Bregman distance D g with g(x) = x 2 . Bregman generalized hybrid maps are introduced and studied in [17], and it seems to be one of the most general notions among those mentioned above. We continue to study it in this paper.

Problem 1.
Can we develop fixed point theorems and convergence results for the Picard and other iteration schemes for various Bregman nonexpansive-like maps in the general Banach space setting?
On the other hand, the theory of approximating fixed points of general nonlinear maps has many important applications (see, for example, [18][19][20]). However, a little work has been done without the convexity assumption. Djafari ) developed a theory of approximating fixed points for nonlinear maps with non-convex domains in the Hilbert space setting. The Opial property of the underlying Hilbert space plays an important role in Rouhani's theory. This suggests to us to pose another question.

Problem 2.
Can we extend fixed point theorems for nonlinear maps on non-convex domains in Hilbert spaces to the more general Banach space setting without assuming the Opial property?
We answer the above questions in this paper. In Section 2, we collect some basic properties of Bregman distances. In Section 3, utilizing the Bregman-Opial property, we investigate the weak convergence of Bregman generalized hybrid sequences, which can be produced by the Picard iterations for Bregman generalized hybrid maps. In Section 4, assuming the existence of a bounded and weakly asymptotically regular orbit, we present fixed point and convergence theorems for Bregman generalized hybrid maps, which might be defined on non-convex domains in reflexive Banach spaces. Finally, in Section 5, we study the existence of absolute fixed points for Bregman generalized hybrid maps.

Preliminaries and Bregman Distances
Let E be a (real) Banach space with norm · and dual space E * . For any x in E, we denote the value of x * in E * at x by x, x * . When {x n } n∈N is a sequence in E, we denote the strong convergence of {x n } n∈N to x ∈ E by x n → x and the weak convergence by x n x. A bounded sequence {x n } n∈N∪{0} is said to be asymptotically regular (resp. weakly asymptotically regular), if x n+1 − x n → 0 (resp. x n+1 − x n 0) as n → ∞. For any r > 0, let A function g : E → R is said to be Gâteaux differentiable at x if lim t→0 g(x+ty)−g(x) t exists for any y. In this case, the gradient ∇g(x) is defined as the linear functional in E * such that t , for all y ∈ E.
We call g Fréchet differentiable at x (see, for example, ( [34], p. 13) or ( [35], p. 508)) if for all > 0, there exists δ > 0 such that The function g is said to be Gâteaux (resp. Fréchet) differentiable if it is Gâteaux (resp. Fréchet) differentiable everywhere. If a convex function g : E → R is Gâteaux differentiable, then ∇g is norm-to-weak * continuous (see, for example, ( [34], Proposition 1.1.10)); if g is Fréchet differentiable, then ∇g is norm-to-norm continuous (see, ([35], p. 508)). Let g : E → R be a strictly convex and Gâteaux differentiable function. The Bregman distance defined in (1) satisfies the three-point identity [7] (2) In particular, If g is locally bounded, by Definition (1) Let C be a nonempty, closed, and convex subset of E and {x n } n∈N be a bounded sequence in E.
The Bregman asymptotic radius of {x n } n∈N relative to C is defined by The Bregman asymptotic center of {x n } n∈N relative to C is the set We call a point in BAC(E, {x n } n∈N ) simply a Bregman asymptotic center of {x n } n∈N .

Proposition 1 ([11]
, Proposition 9). Let C be a nonempty, closed, and convex subset of a reflexive Banach space E, and let g : E → R be strictly convex, Gâteaux differentiable, and locally bounded on E. If {x n } n∈N is a bounded sequence of C, then BAC(C, {x n } n∈N ) is a singleton.

Definition 1.
Let E be a Banach space. A function g : E → R is said to be a Bregman function [34] if the following conditions are satisfied: (i) g is continuous, strictly convex and Gâteaux differentiable; (ii) the set {y ∈ E : D g (x, y) ≤ r} is bounded for all x in E and r > 0.
We call g a nice Bregman function if it holds, in addition, (iii) g is strong coercive, locally bounded, and ∇g : E → E * is weak-to-weak* sequentially continuous.
The following lemma follows from Butnariu and Iusem [34] and Zǎlinescu [36]. 34,36]). Let E be a reflexive Banach space and g : E → R a strongly coercive Bregman function. Then (i) ∇g : E → E * is one-to-one, onto and norm-to-weak * continuous; {x ∈ E : D g (x, y) ≤ r} is bounded for all y in E and r > 0;

Bregman Generalized Hybrid Sequences
We define a new concept of Bregman generalized hybrid sequences which extends the notions of hybrid and nonexpansive sequences introduced and studied in [27]. Definition 2. Fix a Bregman function g : E → R on a reflexive Banach space E. A sequence {x n } n∈N∪{0} in E is said to be a Bregman generalized hybrid sequence if there exist real numbers α, β such that It is plain that if T is a Bregman generalized hybrid map then any orbit {x n := T n x} n∈N∪{0} is a Bregman generalized hybrid sequence. Here, x 0 = T 0 x = x by convention.

Notations 1.
Let E be a reflexive Banach space and g : E → R be strictly convex and Gâteaux differentiable on E. Given a sequence {x n } n∈N∪{0} in E. Denote by Proof. Let n ≥ 0 and G 1,n : Clearly, all G 1,n are closed and convex, and thus so is The following theorem is an extension of the corresponding one of Takahashi and Takeuchi [32].
Theorem 1. Let E be a reflexive Banach space and let g : E → R be a nice Bregman function. Let {x n } n∈N∪{0} be a Bregman generalized hybrid sequence in E with respect to D g . Assume that {x n } n∈N∪{0} is weakly asymptotically regular. Then the following are equivalent: {x n } n∈N converges weakly to some p ∈ E, as n → ∞.
In this case, the weak limit p = lim n→∞ x n = lim n→∞ s n ∈ G 1 , is the Bregman asymptotic center of the sequence {x n } n∈N∪{0} in E.
Proof. It is clear that (i) implies (ii). The assertion (ii) implying (iii) follows from Definition 1(ii).
Let us show that (iv) implies (i). It is clear that the Cesáro means s n p. In the light of the three-point identity (2), we have It follows Since {x n } n∈N∪{0} is a Bregman generalized hybrid sequence, for some real scalars α, β we have Moreover, due to the local boundedness of g, we have {D g (x n , p)} n∈N∪{0} is bounded. Summing up (4) from i = 0 to i = n − 1, dividing by n and letting n → ∞, we get 0 ≥ D g (p, x k+1 ) − D g (p, x k ). This ensures that p ∈ G 1 . Now, we show (iii) implies (iv). By the boundedness of {x n } n∈N∪{0} , there is a weakly convergent subsequence x n j p for some point p in E. As in (4), for some real scalars α and β we have Fix a positive integer m. Summing up (5) from i = 0 to i = m − 1, dividing by m, letting j → ∞ and using the weakly asymptotic regularity of {x n } n∈N{0} , we get By the local boundedness of g, we know that {D g (x n , p)} n∈N∪{0} is a bounded sequence. Letting m −→ +∞, we get D g (p, x k+1 ) − D g (p, x k ) ≤ 0, which implies that p ∈ G 1 . Let x m j q for another weak convergent subsequence. By above arguments, we have q ∈ G 1 . Therefore, Since ∇g is weak-to-weak* sequentially continuous, lim j→∞ q − p, ∇g(x n j ) = q − p, ∇g(p) = lim j→∞ q − p, ∇g(x m j ) = q − p, ∇g(q) . It follows q − p, ∇g(q) − ∇g(p) = 0.
By Lemma 2(ii), we have q = p. This concludes that the bounded sequence x n p, and thus s n p. Finally, utilizing the Bregman-Opial property, we conclude that p is the Bregman asymptotic center of the sequence {x n } n∈N∪{0} in E.

Proposition 2.
Let E be a reflexive Banach space and let g : E → R be a nice Bregman function. Let C be a nonempty subset of E and let T be a Bregman generalized hybrid self-mapping of C with respect to D g . Assume that for some x ∈ C, the sequence {x n := T n x} n∈N∪{0} is bounded (i.e. T has a bounded orbit), and weakly asymptotically regular. Then {T n x} n∈N∪{0} converges weakly to its Bregman asymptotic center c. Moreover, for every y ∈ C, the orbit {y n := T n y} n∈N∪{0} is bounded, and the sequence {D g (c, y n )} n∈N∪{0} is non-increasing.
Proof. We first notice that both the sequences {x n } n∈N∪{0} and {y n } n∈N∪{0} are Bregman generalized hybrid sequences associated with the same real constants α, β from T. It follows from Theorem 1 that both x n c and s n = 1 n ∑ n−1 i=0 x i c as n → ∞, and that c ∈ G 1 (for the bounded sequence {x n } n∈N∪{0} ). Let k ≥ 0 be a fixed integer. In view of the three-point identity (2), we deduce that On the other hand, we have Since g is locally bounded, {D g (x n , y k )} is a bounded sequence. Thus, Similarly, {D g (x n , x)} is a bounded sequence, and s n = ∑ n i=0 x n c. We see that and utilizing again the three-point identity (2), we arrive at Letting n → ∞, we obtain D g (c, y k+1 ) ≤ D g (c, y k ), ∀k ≥ 0, as desired. This, together with Definition 1(ii), implies that the sequence {y n } n∈N∪{0} is bounded.

Theorem 2.
Let E be a reflexive Banach space and let g : E → R be a nice Bregman function. Let C be a nonempty subset of E and let T be a Bregman generalized hybrid self-mapping of C with respect to D g . Assume that T has a bounded and weakly asymptotically regular orbit {x n := T n x} n∈N∪{0} . Let c be the Bregman asymptotic center of {T n x} n∈N∪{0} . Then any Bregman generalized hybrid extension S of T on a set containing C ∪ {c} fixing c, i.e., Sc = c.
Proof. With the three-point identity (2) and the assumption that S being a Bregman generalized hybrid extension of T, we have Summing up the above inequalities from i = 0 to i = n − 1, diving by n, letting n −→ ∞, and noticing that (D g (x n , c) − D g (x, c))/n → 0 (since g is locally bounded) and s n c (by Theorem 1), we get This, together with (3), implies that and hence −D g (c, Sc) ≥ 0. This amounts to Sc = c, and completes the proof.

Corollary 1.
Let C be a nonempty, closed, and convex subset of a reflexive Banach space E, and let g : E → R be a nice Bregman function. Let T : C → C be a Bregman generalized hybrid mapping with respect to D g . Assume that T has a bounded and weakly asymptotically regular orbit {x n := T n x} n∈N∪{0} . Then the fixed point set F(T) contains the Bregman asymptotic center c of {T n x} n∈N∪{0} .
Proof. Note that c is the weak limit of the Cesáro means s n = 1 n ∑ n−1 i=0 x i . Since C is closed and convex, we know that c ∈ C. It then follows from Theorem 2 that Tc = c. Remark 1. Corollary 1 improves ( [17], Theorem 4.3), in which it is assumed in addition that the Bregman function g is uniformly convex and the orbit {T n x} n∈N∪{0} is asymptotically regular.
In the following, we prove a fixed point theorem for Bregman generalized hybrid maps defined on non-convex domains in E. This is new, to the best of our knowledge, and extends or supplements the corresponding results in [13,14,[21][22][23][24][25][26][27][28][29]37]. Theorem 3. Let E be a reflexive Banach space and let g : E → R be a nice Bregman function. Let T be a Bregman generalized hybrid self-mapping of a nonempty subset C of E with respect to D g . Then T has a fixed point if and only if T has a bounded and weakly asymptotically regular orbit {T n x} n∈N of some x ∈ C, and for any y in the closed convex hull conv{T n x : n ≥ 0} of this orbit, there is a unique point p ∈ C such that D g (y, p) = inf{D g (y, z) : z ∈ C}. In this case, every orbit of T is bounded.
Proof. The necessity is obvious. Let us prove the sufficiency. Assume that {T n x} n∈N is bounded and weakly asymptotically regular for some x ∈ C. Let c be the weak limit as well as the Bregman asymptotic center of {T n x} n∈N . Since c ∈ conv{T n x : n ≥ 0} (see Theorem 1), there exists a unique p ∈ C such that D g (c, p) ≥ D g (c, z), z ∈ C. From Proposition 2, we know that for every y ∈ C, the orbit {T n y} n∈N is bounded, and the nonnegative sequence {D g (c, T n y)} n∈N∪{0} is non-increasing. In particular, the sequence {D g (c, T n p)} n∈N∪{0} is non-increasing. Hence, we have D g (c, p) = inf{D g (c, z) : z ∈ C} ≤ D g (c, T p) ≤ D g (c, p).
Then, the uniqueness of p implies that T p = p. Definition 3. Fix a Bregman function g : E → R on a reflexive Banach space E. We say that a nonempty subset C of E is Bregman Chebyshev with respect to its convex closure convC, if for any y ∈ convC, there is a unique point x ∈ C such that D g (y, x) = inf{D g (y, z) ; z ∈ C}. Corollary 2. Let E be a reflexive Banach space and let g : E → R be a nice Bregman function. Let C be a nonempty subset of E which is Bregman Chebyshev with respect to its convex closure, and let T be a Bregman generalized hybrid self-mapping of C with respect to D g . Then T has a fixed point in C, if and only if, T has a bounded and weakly asymptotically regular orbit {T n x} n∈N .
Proof. This is a direct consequence of Theorem 3.

Bregman Absolute Fixed Points
Recall that the set of Bregman attractive points of a map T : If T is Bregman generalized hybrid, F(T) ⊆ A g (T). In fact, let p ∈ F(T). By definition, for some real numbers α, β we have Since T p = p, we have D g (p, Ty) ≤ D g (p, y) for all y ∈ C. Thus, p ∈ A g (T). • Assume α = β. Then S is a Bregman generalized hybrid if and only if c ∈ A g (T).

•
In general, S is a Bregman generalized hybrid if c ∈ A g (T) and the orbit {T n z} n∈N∪{0} of every z ∈ C lies on the Bregman sphere centered at z, with a radius of D g (z, c).
Proof. We first note that assuming c ∈ A g (T), the extension S is a Bregman generalized hybrid self-mapping of C ∪ {c} if and only if the following inequality holds: This is equivalent to (α − β)(D g (z, c) − D g (Tz, c)) ≥ 0 for all z ∈ C. The assertions are now trivial.
Theorem 4. Let E be a reflexive Banach space and let g : E → R be a nice Bregman function. Let C be a nonempty subset of E, and T be a Bregman generalized hybrid self-mapping of C with respect to D g and corresponding constants α and β. Then the Bregman asymptotic center c of a bounded and weakly asymptotically regular orbit {T n x} n∈N is an absolute fixed point of T if c ∈ A g (T), and either α = β, or the orbit of every x ∈ C lies on the Bregman sphere centered at x, with radius D g (x, c).
Proof. This is an immediate consequence of Theorem 2 and Lemma 4.

Concluding Remarks
In this paper, we introduce the notion of Bregman generalized hybrid sequences. Using Bregman functions and Bregman distances, we are able to prove ergodic and convergence theorems for such sequences in a reflexive Banach space, while the Bregman-Opial property plays the role of the Opial property. We also provide fixed point and absolute fixed point theorems for Bregman generalized hybrid maps defined on not necessarily convex domains in reflexive Banach spaces.
The following table summarizes the usual setups in the literature concerning the existence of a fixed point of a map M defined on a domain D of a space S with some extra conditions EC, and the approximation of a fixed point by various iterative algorithms. In each column of the table, the properties stated in the above lines are stronger than those stated in the below lines. While the results in this paper assume the weakest conditions S3-D2-M4-EC4, those in the literature usually assume stronger conditions. Therefore, the results in this paper are among the best one would use in the current situation.