Convergence Theorem for Finding Common Fixed Points of N-generalized Bregman Nonspreading Mapping and Solutions of Equilibrium Problems in Banach Spaces

Lateef Olakunle Jolaoso; Oluwatosin Temitope Mewomo

doi:10.5666/KMJ.2021.61.3.523

Article

Kyungpook Mathematical Journal 2021; 61(3): 523-558

Published online September 30, 2021

Convergence Theorem for Finding Common Fixed Points of N-generalized Bregman Nonspreading Mapping and Solutions of Equilibrium Problems in Banach Spaces

Lateef Olakunle Jolaoso, Oluwatosin Temitope Mewomo^*

School of Mathematics, Statistics and Computer Science, University of KwaZulu-Natal, Durban, South Africa
e-mail : jollatanu@yahoo.co.uk

School of Mathematics, Statistics and Computer Science University of Kwazulu-Natal Durban, South Africa
e-mail : mewomoo@ukzn.ac.za

Received: May 4, 2019; Revised: July 28, 2020; Accepted: August 4, 2020

Abstract

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

In this paper, we study some fixed point properties of n-generalized Bregman nonspreading mappings in re exive Banach space. We introduce a hybrid iterative scheme for finding a common solution for a countable family of equilibrium problems and fixed point problems in re exive Banach space. Further, we give some applications and numerical example to show the importance and demonstrate the performance of our algorithm. The results in this paper extend and generalize many related results in the literature.

Keywords: nonspreading mapping, Bregman distance, equilibrium problem, fixed point prolem, reflexive Banach space.

1. Introduction

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

Let E be a real Banach space, and C be a nonempty, closed and convex subset of E. Let $g : C \times C \to ℝ$ be a bifunction, the Equilibrium Problem with respect to g denoted by EP(g) is define as finding a point $z \in C$ such that

(1.1)

(z, y) \geq 0, \forall y \in C .

The EP(g) was shown by Blum and Oettli [7] to cover several other optimization problems such as monotone inclusion problems, saddle point problems, minimization problems, variational inequality problems and Nash equilibria in non-cooperative games. In addition, there are many other important problems, for example, the complementarity problem and fixed point problems, which can be written in the form of EP(g) (1.1). Thus, the EP(g) is a unifying model for several problems arising in physics, engineering, science, optimization, economics etc.

In the last two decades, the existence of solutions of the EP(g) have been mentioned in many papers, see for instance [7, 11, 13, 26, 36, 39, 40 ], and several iterative methods have been proposed for solving EP(g) and related optimization problems, see for instance [1, 2, 4, 14, 15, 17, 18, 19, 28, 29, 32, 30, 31, 38, 41, 42] and reference therein. In solving the EP(g) (1.1) it is necessary to assume that the bifunction g satisfies the following assumptions:

(A1) g(x,x) =0 for all x ∈ C;
(A2) g is monotone, that is g(x,y)+g(y,x) ≤ 0 for all x,y ∈ C;
(A3) For all x,y, z∈ C

$\underset{t ↓ 0^{+}}{\lim \sup} g (t z + (1 - t) x, y) \leq g (x, y);$
(A4) For all x ∈ C, g(x,⋅) is convex and lower semicontinuous.

Definition 1.1. Let $f : E \to (- \infty, + \infty]$ be a convex and Gâteaux differentiable function. The function $D_{f} : d o m f \times i n t (d o m f) \to [0, + \infty)$ defined by

D_{f} (y, x) = f (y) - f (x) - ⟨ \nabla f (x), y - x ⟩

is called a Bregman distance with respect to f.

From the definition, we know that the following properties are satisfied (see [6]):

(i) The three points identity, for any $x \in d o m f$ and $y, z \in i n t (d o m f)$

(1.2)

D_{f} (x, y) + D_{f} (y, z) - D_{f} (x, z) = ⟨ \nabla f (z) - \nabla f (y), x - y ⟩;

(ii) Four point identity, for any $x, w \in d o m f$ and $y, z \in i n t (d o m f)$

(1.3)

D_{f} (x, y) - D_{f} (x, z) - D_{f} (w, y) + D_{f} (w, z) = ⟨ \nabla f (z) - \nabla f (y), x - w ⟩ .

Definition 1.2. Let C be a nonempty closed convex subset of $i n t (d o m f)$ and $T : C \to C$ be a mapping. A point x ∈ C is called a fixed point of T if Tx =x. We denote the set of all fixed points of T by F(T). The mapping $T : C \to C$ is called

(a) Bregman nonexpansive [33] if

D_{f} (T x, T y) \leq D_{f} (x, y) \forall x, y \in C;

Bregman nonspreading [23] if

D_{f} (T x, T y) + D_{f} (T y, T x) \leq D_{f} (T x, y) + D_{f} (T y, x), \forall x, y \in C,

(c) $(α, β, γ, δ)$ -generalized Bregman nonspreading [3, 16] if there exist $α, β, γ, δ \in ℝ$ such that

\begin{array}{l} α D_{f} (T x, T y) + (1 - α) D_{f} (x, T y) + γ {D_{f} (T y, T x) - D_{f} (T y, x)} \\ \leq β D_{f} (T x, y) + (1 - β) D_{f} (x, y) + δ {D_{f} (y, T x) - D_{f} (y, x)}, \\ \forall x, y \in C . \end{array}

for all $x, y \in C$ .

Next, we introduce a n-generalized Bregman nonspreading mapping in Banach spaces.

Definition 1.3. Let $f : E \to ℝ \cup {+ \infty}$ be a convex and Gâteaux differentiable function and C be a nonempty closed convex subset of $i n t (d o m f)$ . A mapping $T : C \to C$ is called a n-generalized Bregman nonspreading mapping if there exist $α_{i}, β_{i}, γ_{i}, δ_{i} \in ℝ$ ( $i = 1, 2, \dots, n$ ) such that

(1.4)

\begin{array}{l} \sum_{k = 1}^{n} α_{k} D_{f} (T^{n + 1 - k} x, T y) + (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (x, T y) \\ + \sum_{k = 1}^{n} γ_{k} \{D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)\} \\ \leq \sum_{k = 1}^{n} β_{k} D_{f} (T^{n + 1 - k} x, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (x, y) \\ + \sum_{k = 1}^{n} δ_{k} \{D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)\}, \end{array}

for all $x, y \in C$ .

Remark 1.4. From Definition 1.3,

(a) when n=2, (1.4) becomes

\begin{array}{l} α_{1} D_{f} (T^{2} x, T y) + α_{2} D_{f} (T x, T y) + (1 - α_{1} - α_{2}) D_{f} (x, T y) \\ + γ_{1} (D_{f} (T y, T^{2} x) - D_{f} (T y, x)) + γ_{2} (D_{f} (T y, T x) - D_{f} (T y, x)) \\ \leq β_{1} D_{f} (T^{2} x, y) + β_{2} D_{f} (T x, y) + (1 - β_{1} - β_{2}) D_{f} (x, y) \\ + δ_{1} (D_{f} (y, T^{2} x) - D_{f} (y, x)) + δ_{2} (D_{f} (y, T x) - D_{f} (y, x)), \end{array}

which is called 2-generalized Bregman nonspreading in the sense of [44], where $f (x) = \frac{1}{2} | | x | |^{2} .$

(b) When n=1, then (1.4) becomes

\begin{array}{l} α_{1} D_{f} (T x, T y) + (1 - α_{1}) D_{f} (x, T y) + γ_{1} (D_{f} (T y, T x) - D_{f} (T y, x)) \\ \leq β_{1} D_{f} (T x, y) + (1 - β_{1}) D_{f} (x, y) + δ_{1} (D_{f} (y, T x) - D_{f} (y, x)), \end{array}

which is the generalized Bregman nonspreading mapping in the sense of [3, 16]. Note that, the 2-generalized Bregman nonspreading mapping reduces to the generalized Bregman nonspreading mapping if $α_{1} = β_{1} = γ_{1} = δ_{1} = 0.$

(c) The class of generalized Bregman nonspreading mapping reduces to Bregman nonspreading [23] if $α_{1} = β_{1} = γ_{1} = 1$ and $δ_{1} = 0.$

(d) The class of generalized Bregman nonspreading mapping reduces to Bregman nonexpansive [35] if $α_{1} = 1$ and $β_{1} = γ_{1} = δ_{1} = 0.$

We now present an example of Bregman nonspreading mapping which is not nonspreading in the usual Hilbert space setting.

Example 1.5. Let $E = ℝ$ with the usual metric. Let $f : E \to ℝ$ be defined by $f (x) = x^{10}$ for all $x \in ℝ$ and $T : [0, 0.85] \to [0, 0.85]$ be defined by $T x = x^{2} .$ We first show that T is not nonspreading, i.e.,

| | T x - T y | |^{2} \leq | | x - y | |^{2} + 2 ⟨ x - T x, y - T y ⟩ \forall x, y \in C,

does not hold. Taking x = 0.5 and y = 0.85, then

| | T x - T y | |^{2} = {(x^{2} - y^{2})}^{2} = {[{(0.5)}^{2} - {(0.85)}^{2}]}^{2} = 0.22325625,

while

\begin{array}{l} | | x - y | |^{2} + 2 ⟨ x - T x, y - T y ⟩ = {(x - y)}^{2} + 2 (x - x^{2}) (y - y^{2}) \\ = {(0.5 - 0.85)}^{2} + 2 (0.5 - {0.5}^{2}) (0.85 - {0.85}^{2}) \\ = 0.18625. \end{array}

Hence, T is not nonspreading. Put

h (x, y) = D_{f} (T x, T y) + D_{f} (T y, T x) - D_{f} (T x, y) - D_{f} (T y, x) .

By simple calculations, we obtain

\begin{array}{l} D_{f} (T x, T y) = x^{20} + 9 y^{20} - 10 x^{2} y^{18}, \\ D_{f} (T y, T x) = y^{20} + 9 x^{20} - 10 x^{18} y^{2}, \\ D_{f} (T x, y) = x^{20} + 9 y^{10} - 10 y^{2} x^{9}, \\ D_{f} (T y, x) = y^{20} + 9 x^{10} - 10 x^{9} y^{2} . \end{array}

Then

\begin{array}{l} h (x, y) = 9 y^{10} (y^{10} - 1) + 9 x^{10} (x^{10} - 1) - 10 x^{2} y^{9} (y^{9} - 1) - 10 x^{9} y^{2} (x^{9} - 1) \\ \leq 0, \end{array}

for all $x, y \in [0, 0.85] .$ Thus T is Bregman nonspreading.

We further give an example of 2-generalized Bregman nonspreading mapping which is not necessarily 1-generalized Bregman nonspreading.

Example 1.6. Let $E = ℝ$ and $f (x) = \frac{x^{2}}{2}$ then the associated Bregman distance is given by

\begin{array}{l} D_{f} (x, y) = f (x) - f (y) - ⟨ x - y, \nabla f (y) ⟩ \\ = \frac{1}{2} x^{2} - \frac{1}{2} y^{2} - (x - y) (y) \\ \frac{1}{2} {(x - y)}^{2}, \forall x, y \in ℝ . \end{array}

Define $T : [0, 2] \to [0, 2]$ by

(1.5)

T x = \{\begin{array}{l} 0, & if x \in [0, 2), \\ 1, & if x = 2. \end{array}

It is easy to see that $F (T) = {0} .$ Let

\begin{array}{l} h (x, y) = α_{1} D_{f} (T^{2} x, T y) + α_{2} D_{f} (T x, T y) + (1 - α_{1} - α_{2}) D_{f} (x, T y) \\ + γ_{1} (D_{f} (T y, T^{2} x) - D_{f} (T y, x)) + γ_{2} (D_{f} (T y, T x) - D_{f} (T y, x)) \\ - β_{1} D_{f} (T^{2} x, y) - β_{2} D_{f} (T x, y) - (1 - β_{1} - β_{2}) D_{f} (x, y) \\ - δ_{1} (D_{f} (y, T^{2} x) - D_{f} (y, x)) - δ_{2} (D_{f} (y, T x) - D_{f} (y, x)), \end{array}

for all $x, y \in [0, 2] .$ We consider the following possible cases.

Case I: Suppose $x = y = 2,$ then $T x = T y = 1$ and $T^{2} x = 0.$ Thus

\begin{array}{l} D_{f} (T x, T y) = D_{f} (T y, T x) = D_{f} (x, y) = D_{f} (y, x) = 0, \\ D_{f} (x, T y) = D_{f} (T y, x) = D_{f} (T x, y) = D_{f} (y, T x) = \frac{1}{2}, \\ D_{f} (T^{2} x, T y) = D_{f} (T y, T^{2} x) = \frac{1}{2}, D_{f} (T^{2} x, y) = D_{f} (y, T^{2} x) = 2. \end{array}

Hence

h (x, y) = \frac{1}{2} - \frac{1}{2} (α_{2} + γ_{2} + β_{2} + δ_{2}) - 2 (β_{1} + δ_{1}) .

Case II: Suppose x = 2 and $y \in [0, 2)$ , then Tx = 1 and Ty = T^{2x = 0.} Thus

\begin{array}{l} D_{f} (T x, T y) = D_{f} (T y, T x) = \frac{1}{2}, D_{f} (x, T y) = D_{f} (T y, x) = 2, \\ D_{f} (T x, y) = D_{f} (y, T x) = \frac{1}{2} {(y - 1)}^{2}, D_{f} (x, y) = D_{f} (y, x) = \frac{1}{2} {(y - 2)}^{2}, \\ D_{f} (T^{2} x, y) = D_{f} (y, T^{2} x) = \frac{y^{2}}{2}, D_{f} (T^{2} x, T y) = D_{f} (T y, T^{2} x) = 0. \end{array}

Hence

\begin{array}{l} h (x, y) = - \frac{1}{2} (y^{2} - 4 y) - 2 (α_{1} + γ_{1}) - \frac{3}{2} (α_{2} + γ_{2}) \\ - 2 (y - 2) (β_{2} + δ_{1}) - \frac{1}{2} (2 y - 3) (β_{2} + δ_{2}) . \end{array}

Case III: Suppose $x, y \in [0, 2)$ then $T x = T y = T^{2} x = 0.$ Thus

\begin{array}{l} D_{f} (T x, T y) = D_{f} (T y, T x) = D_{f} (T^{2} x, T y) = D_{f} (T y, T^{2} x) = 0, \\ D_{f} (x, y) = D_{f} (y, x) = \frac{1}{2} {(x - y)}^{2}, D_{f} (x, T y) = D_{f} (T y, x) = \frac{x^{2}}{2}, \\ D_{f} (T x, y) = D_{f} (y, T x) = D_{f} (T^{2} x, y) = D_{f} (y, T^{2} x) = \frac{y^{2}}{2} . \end{array}

Hence

\begin{array}{l} h (x, y) = (1 - α_{1} - α_{2}) \frac{x^{2}}{2} - \frac{x^{2}}{2} (γ_{1} + γ_{2}) - \frac{y^{2}}{2} (β_{1} + β_{2}) \\ - \frac{1}{2} (1 - β_{1} - β_{2}) {(x - y)}^{2} - δ_{1} (x y - \frac{x^{2}}{2}) - δ_{2} (x y - \frac{y^{2}}{2}) . \end{array}

Choosing suitable choices of $α_{1}, α_{2}, β_{1}, β_{2}, γ_{1}, γ_{,} δ_{1}, δ_{2} \in ℝ,$ for instance, $α_{1} = α_{2} = β_{1} = β_{2} = γ_{1} = γ_{2} = 1$ and $δ_{1} = δ_{2} = - 1,$ we see that $h (x, y) \leq 0$ for all the cases. Hence, T is 2-generalized Bregman nonspreading. However, in this case, T is not 1-generalized Bregman nonspreading (since $α_{1} \neq 0, β_{1} \neq 0, γ_{1} \neq 0, δ_{1} \neq 0$ ).

In 2010, by making use of the Bregman projection, Reich and Sabach [33] studied some approximation methods for finding common zeros of maximal monotone operators in reflexive Banach spaces. They also studied some approximation techniques for finding common solutions of finitely many Bregman nonexpansive operators, see [35]. In the same sense, Kassay et al. [20] studied the approximation of solutions of system of variational inequalities in reflexive Banach spaces. It is worth noting that extension of many theory from Hilbert space to general Banach space suffer some difficulties because many of the useful techniques employed in Hilbert space (for instance the inner product and the nonexpansiveness of resolvent operators) are no longer valid in Banach spaces setting.

Motivated by the works given in [21, 35, 46], we prove some properties of the n-generalized Bregman nonspreading mappings in reflexive Banach space. Further, we introduce a hybrid method for finding a common solution of countable family of equilibrium problem and finite family of fixed points of n-generalized Bregman nonspreading mapping in reflexive Banach space. We also discuss some applications and numerical example to demonstrate the applicability of our iterative algorithm and result. The method and results present in this paper generalized and unify many previously known related results, see for instance [21, 22, 35, 45, 46].

2. Preliminaries

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

In this section, we recall some definitions and preliminary results which will be used in the sequel. We denote the strong convergence (resp. weak convergence) of a sequence ${x_{n}} \subset E$ to a point x ∈ E by $x_{n} \to x$ (resp. $x_{n} ⇀ x$ ).

Let E be a real reflexive Banach space with the dual space E^* and C a nonempty closed convex subset of E. Throughout this paper, we shall assume that the mapping $f : E \to ℝ \cup {+ \infty}$ is proper, convex and lower semi-continuous and also denote the domain of f by domf, where dom $f = {x \in E : f (x) < \infty}$ . Let x∈ int(domf), the subdifferential of f at x is the convex set defined by

\partial f (x) = {x^{*} \in E^{*} : f (x) + ⟨ x^{*}, y - x ⟩ \leq f (y), \forall y \in E}

and the Frénchet conjugate of f is the function $f^{*} : E^{*} \to (- \infty, + \infty]$ defined by

f^{*} (y^{*}) = \sup {⟨ y^{*}, x ⟩ - f (x) : x \in E} .

Let x ∈ int(domf), for any y ∈ E, the directional derivative of f at x is defined by

(2.1)

f^{o} (x, y) : = \lim_{h \to 0} \frac{f (x + h y) - f (x)}{h} .

If the limit in (2.1) exists as $h \to 0$ for each y, then the function f is said to be G $\hat{a}$ teaux differentiable at x. In this case, the gradient of f at x is the linear function $\nabla f (x)$ , which is defined by $⟨ \nabla f (x), y ⟩ : = f^{o} (x, y)$ for all y ∈ E. The function f is said to be G $\hat{a}$ teaux differentiable if it is G $\hat{a}$ teaux differentiable at each x ∈ int(dom f). When the limit as $h \to 0$ in (2.1) is attained uniformly for any y ∈ E with ||y||=1, we say that f is Fréchet differentiable at x. It is well known that f is G $\hat{a}$ teaux (resp. Fréchet) differentiable at x ∈ int(dom f) if and only if the gradient ∇ f is norm-to-weak^* (resp. norm-to-norm) continuous at x (see [6]).

Let E be a reflexive Banach space. The function f is called Legendre if and only if it satisfies the following two conditions:

(L1) f is Gâteaux differentiable, int(dom $f) \neq \emptyset$ and dom $\nabla f$ = int(dom f),

(L2) f^* is Gâteaux differentiable, int(dom $f^{*}) \neq \emptyset$ and dom $\nabla f^{*}$ = int(dom f^*).

Since E is reflexive, we know that ${(\nabla f)}^{- 1} = \nabla f^{*}$ , this together with conditions (L1) and (L2) implies that

r a n \nabla f = d o m \nabla f^{*} = i n t (d o m f^{*}),

and

r a n \nabla f^{*} = d o m \nabla f = i n t (d o m f) .

The notion of Legendre function in infinite dimensional spaces was first introduced by Bauschke, Borwein and Combettes in [6]. By their definition, the conditions (L1) and (L2) also yield that f and f^* are Gâteaux differentiable and strictly convex in the interior of their respective domains. It follows that f is Legendre if and only if f^* is Legendre (see [6], Corollary 5.5, p. 634).

One important and interesting example of Legendre function is $\frac{1}{p} | | \cdot | |^{p}$ $(1 < p < \infty)$ when E is a smooth and strictly convex Banach space. In this case, the gradient $\nabla f$ of f coincide with the generalized duality mapping of E. More examples of Legendre functions can be found in [5, 6]. In the rest of this paper, we always assume that $f : E \to ℝ \cup {+ \infty}$ is a Legendre function.

Definition 2.1. Let $f : E \to (- \infty, + \infty]$ be a convex and Gâteaux differentiable function. The Bregman projection of $x \in i n t (d o m f)$ onto the nonempty, closed and convex subset $C \subset d o m f$ is the necessarily unique vector Proj $_{C}^{f} (x) \in C$ satisfying

D_{f} (P r o j_{C}^{f} (x), x) = \inf {D_{f} (y, x) : y \in C} .

Remark 2.2.

1. If E is a Hilbert space and $f (x) = \frac{1}{2} | | x | |^{2}$ , then the Bregman projection $P r o j_{C}^{f} (x)$ is reduced to the metric projection of x onto C.

2. If E is smooth and strictly convex and $f (x) = \frac{1}{p} | | x | |^{p}$ $(1 < p < \infty)$ , then the Bregman projection $P r o j_{C}^{f} (x)$ reduces to the generalized projection $Π_{C} (x)$ , which is defined by

D_{p} (Π_{C} (x), x) : = \inf {D_{p} (z, x) : z \in C} .

It is known from [10] that z = Proj $_{C}^{f} (x)$ if and only if

⟨ \nabla f (x) - \nabla f (z), y - z ⟩ \leq 0 f o r a l l y \in C .

We also have

D_{f} (y, P r o j_{C}^{f} (x)) + D_{f} (P r o j_{C}^{f} (x), x) \leq D_{f} (y, x) f o r a l l x \in E, y \in C .

Similar to the metric projection in Hilbert space, the Bregman projection also has a variational characterization which is given below.

Lemma 2.3. [33] (Characterization of Bregman Projection)) Let f be totally convex on int(domf). Let C be a nonempty, closed and convex subset of int(domf) and x ∈ int(domf), if ω ∈ C, then the following conditions are equivalent:

(i)the vector ω is the Bregman projection of x onto C, with respect to f,

(ii) the vector ω is the unique solution of the variational inequality

(2.2)

⟨ \nabla f (x) - \nabla f (z), z - y ⟩ \geq 0 \forall y \in C,

(iii) the vector ω is the unique solution of the inequality

D_{f} (y, z) + D_{f} (z, x) \leq D_{f} (y, x) \forall y \in C .

Definition 2.4. Let $f : E \to (- \infty, + \infty]$ be a convex and G $\hat{a}$ teaux differentiable function. The function f is called:

(i) totally convex at x if its modulus of totally convexity at x ∈ int(domf), that is, the bifunction v_f: int(dom $f) \times [0, + \infty) \to [0, + \infty)$ defined by

(2.3)

v_{f} (x, t) : = \inf {D_{f} (y, x) : y \in d o m f, | | y - x | | = t}

is positive for any $t > 0,$

(ii) totally convex if it is totally convex at every point x ∈ int(dom f),

(iii) totally convex on bounded subset B of E, if v_f(B,t) is positive for any nonempty bounded subset B, where the function v_f: int(dom $f) \times [0, + \infty) \to [0, + \infty]$ is defined by

(2.4)

v_{f} (B, t) : = \inf {v_{f} (x, t) : x \in B \cap i n t (d o m f)}, t > 0.

(iv) cofinite if dom $f^{*} = E^{*}$ ,

(v) coercive if $\lim_{| | x | | \to + \infty} (\frac{f (x)}{| | x | |}) = + \infty,$

(vi) sequentially consistent if for any two sequences ${x_{n}}$ and ${y_{n}}$ in E such that ${x_{n}}$ is bounded,

(2.5)

\lim_{n \to \infty} D_{f} (y_{n}, x_{n}) = 0 \Rightarrow \lim_{n \to \infty} | | y_{n} - x_{n} | | = 0.

For further details and examples on totally convex functions see [8, 9, 10].

Lemma 2.5. ([9]) The function $f : E \to ℝ$ is totally convex on bounded subsets if and only if it is sequentially consistent.

Lemma 2.6. ([34]) Let $f : E \to ℝ$ be a G $\hat{a}$ teaux differentiable and totally convex function. If $x_{0} \in E$ and the sequence ${D_{f} (x_{0}, x_{n})}$ is bounded, then the sequence ${x_{n}}$ is also bounded.

Lemma 2.7. ([10]) Let $f : E \to (- \infty, + \infty]$ be a convex function whose domain contains at-least two points. Then the following statements holds:

(i) f is sequentially consistent if and only if it is totally convex on bounded subsets.

(ii) If f is lower semicontinuous, then f is sequential consistent if and only if it is uniformly convex on bounded subsets.

(iii) If f is uniformly strictly convex on bounded subsets, then it is sequentially consistent and the converse implication holds when f is lower semicontinuous, Fréchet differentiable on its domain, and the Fréchet derivative $\nabla f$ is uniformly continuous on bounded subsets.

Lemma 2.8. ([33]) If $f : E \to ℝ$ is uniformly Fréchet differentiable and bounded on bounded subsets of E, then $\nabla f$ is uniformly continuous on bounded subsets of E from the strong topology of E to the strong topology of E^*.

Let $f : E \to ℝ$ be a convex Legendre and Gâteaux differentiable function. The function $V_{f} : E \times E^{*} \to [0, \infty)$ associated with f defined by

V_{f} (x, x^{*}) = f (x) - ⟨ x^{*}, x ⟩ + f^{*} (x^{*}), \forall x \in E, x^{*} \in E^{*} .

Then, V_f is non-negative and $V_{f} (x, x^{*}) = D_{f} (x, \nabla f^{*} (x^{*}))$ for all $x \in E$ and $x^{*} \in E^{*}$ . More so, by the subdifferential inequality,

V_{f} (x, x^{*}) + ⟨ y^{*}, \nabla f^{*} (x^{*}) - x ⟩ \leq V_{f} (x, x^{*} + y^{*})

for all $x \in E$ and $x^{*}, y^{*} \in E^{*}$ (see [24]). In addition, if $f : E \to (- \infty, + \infty]$ is a proper lower semicontinuous function, then $f^{*} : E^{*} \to (- \infty, + \infty]$ is a proper weak^* lower semicontinuous and convex function. Hence, V_f is convex in the second variable. Thus, for all z ∈ E

(2.6)

D_{f} (z, \nabla f^{*} (\sum_{i = 1}^{N} t_{i} \nabla f (x_{i}))) \leq \sum_{i = 1}^{N} t_{i} D_{f} (z, x_{i}),

where ${x_{i}} \subset E$ and ${t_{i}} \subset (0, 1)$ with $\sum_{i = 1}^{N} t_{i} = 1$ .

Let E be a Banach space and let $B_{r} : = {z \in E : | | z | | \leq r}$ for all r>0. Then, a function $f : E \to ℝ$ is said to be uniformly convex on bounded subsets of E if $ρ_{r} (t) > 0$ for all t≥ 0, where $ρ_{r} : [0, + \infty) \to [0, \infty]$ is defined by

(2.7)

ρ_{r} (t) = \inf_{x, y \in B_{r}, | | x - y | | = t, α \in (0, 1)} \frac{α f (x) + (1 - α) f (y) - f (α x + (1 - α) y)}{α (1 - α)} .

The function ρ_r is called the gauge of uniform convexity of f. More so, the function $f : E \to (- \infty, + \infty]$ is called totally coercive if

\lim_{| | x | | \to + \infty} (\frac{f (x)}{| | x | |}) = + \infty .

Lemma 2.9. ([27]) Let r > 0 be a constant and let $f : E \to ℝ$ be a continuous uniformly convex function on bounded subsets of E. Then

(2.8)

f (\sum_{k = 0}^{\infty} α_{k} x_{k}) \leq \sum_{k = 0}^{\infty} α_{k} f (x_{k}) - α_{i} α_{j} ρ_{r}^{*} (| | x_{i} - x_{j} | |),

for all $i, j \in ℕ \cup 0$ , $x_{k} \in B_{r}$ , $α_{k} \in (0, 1)$ and $k \in ℕ \cup 0$ with $\sum_{k = 0}^{\infty} α_{k} = 1$ , where $ρ_{r}^{*}$ is the gauge of uniform convexity of f.

Let $l^{\infty}$ be the Banach lattice of bounded real sequences with the supremum norm. It is well known that there exists a bounded linear functional µ on $l^{\infty}$ such that the following three conditions hold:

(i) if ${t_{n}}$ in $l^{\infty}$ and $t_{n} \geq 0$ for every $n \in ℕ$ , then $μ ({t_{n}}) \geq 0$ ,

(ii) if $t_{n} = 1$ for every $n \in ℕ$ , then $μ ({t_{n}}) = 1$ ,

(iii) $μ ({t_{n + 1}}) = μ ({t_{n}})$ for all ${t_{n}}$ in $l^{\infty}$ .

Here, ${t_{n + 1}}$ denotes the sequence $(t_{2}, t_{3}, \dots, t_{n}, t_{n + 1}, \dots)$ in $l^{\infty}$ . Such a functional µ is called a Banach limit and the value of µ at ${t_{n}}$ in $l^{\infty}$ is denoted by $μ_{n} t_{n}$ . Therefore, condition (3) means $μ_{n} t_{n} = μ_{n} t_{n + 1}$ . If µ satisfies conditions (1) and (2), we call µ a mean on $l^{\infty}$ (see, for example, [43] for more details).

Lemma 2.10. ([12]) Let C be a nonempty, closed and convex subset of a real reflexive Banach space E. Let $f : E \to ℝ$ be strictly convex, continuous, strongly coercive, Gâteaux differentiable, locally bounded and local uniformly convex on E. Let $T : C \to C$ be a mapping and ${x_{n}}$ be a bounded sequence of C and µ be a mean on $l^{\infty}$ . Supposet that

μ_{n} D_{f} (x_{n}, T y) \leq μ_{n} D_{f} (x_{n}, y) \forall y \in C .

Then, T has a fixed point in C.

Let T be a mapping from C into itself. A point x ∈ C is said to be an asymptotic fixed point of T if there exists a sequence ${x_{n}}$ in C which converges weakly to p and $\lim_{n \to \infty} | | x_{n} - T x_{n} | | = 0.$ We denote the set of all asymptotic fixed points of T by $\hat{F} (T) .$

Recall that a mapping $T : C \to C$ is said to be Bregman quasi-nonexpansive [27] if $F (T) \neq \emptyset$ and

D_{f} (p, T x) \leq D_{f} (p, x) \forall x \in C, p \in F (T) .

A mapping $T : C \to C$ is to be Bregman relatively nonexpansive [27] if the following conditions are satisfied:

(i) F(T) is nonempty;

(ii) $D_{f} (p, T v) \leq D_{f} (p, v),$ $\forall p \in F (T)$ , $v \in C;$

(iii) $\hat{F} (T) = F (T) .$

Lemma 2.11. ([37]) Let C be a nonempty, closed and convex subset of a real reflexive Banach space E and let $f : E \to ℝ$ be a strictly convex and Gâteaux differentiable function. Let $g : C \times C \to ℝ$ be a bifunction satisfying conditions (A1)-(A4). For all $λ > 0$ be any given number and x ∈ E, there exists z ∈ C such that

(2.9)

g (z, y) + \frac{1}{r} ⟨ \nabla (z) - \nabla (x), y - z ⟩ \geq 0, \forall y \in C .

Define the resolvent mapping $T_{r} : E \to 2^{C}$ as follows

(2.10)

R e s_{λ, g}^{f} (x) = {z \in C : g (z, y) + \frac{1}{r} ⟨ \nabla f (z) - \nabla f (x), y - z ⟩ \geq 0, \forall y \in C},

then, $R e s_{λ, g}^{f}$ has the following properties:

(i) $R e s_{λ, g}^{f}$ is single-valued;

(ii) $R e s_{λ, g}^{f}$ is a firmly nonexpansive mapping, that is;

\begin{array}{l} ⟨ R e s_{λ, g}^{f} z - R e s_{λ, g}^{f} y, \nabla f (R e s_{λ, g}^{f} z) - \nabla f (R e s_{λ, g}^{f} y) ⟩ \\ \leq ⟨ R e s_{λ, g}^{f} z - R e s_{λ, g}^{f} y, \nabla f (z) - \nabla f (y) ⟩ \end{array}

$\forall z, y \in E$ ;

(iii) $F (R e s_{λ, g}^{f}) = E P (g)$ ;

(iv) EP(g) is closed and convex.

It is easy to see that the resolvent operator satisfies the following inequality: for all r > 0, u ∈ EP(g) and x ∈ E, then

(2.11)

D_{f} (x, R e s_{λ, g}^{f} x) + D_{f} (R e s_{λ, g}^{f} x, u) \leq D_{f} (x, u) .

3. Main Results

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

In this section, we present the existence and some properties of fixed points of n-generalized Bregman nonspreading mapping in a reflexive Banach space. This result extend the corresponding results of [45] and [25] to reflexive Banach space.

Proposition 3.1. Let E be a real reflexive Banach space and $f : E \to ℝ$ be a strictly convex and Gâteaux differentiable function. Let $C \subset i n t (d o m f)$ be a nonempty, closed and convex set and $T : C \to C$ be a n-generalized Bregman nonspreading mapping. Then, the following are equivalent

(i) F(T) is nonempty;

(ii) ${T^{m} z}$ is bounded for some z ∈ C and $m \in ℕ$ .

proof First we show that (i) implies (ii). Suppose $F (T) \neq \emptyset$ , then ${T^{m} z} = {z}$ for $z \in F (T)$ . So ${T^{m} z}$ is bounded. Next, we show that (ii) implies (i). Let ${T^{m} z}$ be bounded for some z ∈ C. Since T is n-Bregman generalized nonspreading, then there exist $α_{i}, β_{i}, γ_{i}, δ_{i} \in ℝ$ for $i = 1, 2, \dots, n$ ,

such that

(3.1)

\begin{array}{l} \sum_{k = 1}^{n} α_{k} D_{f} (T^{n + 1 - k} x, T y) + (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (x, T y) \\ + \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)} \\ \leq \sum_{k = 1}^{n} β_{k} D_{f} (T^{n + 1 - k} x, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (x, y) \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)}, \end{array}

for all x,y ∈ C. Replacing x by T^m-1z in (3.1), we have that for any y,z ∈ C,

(3.2)

\begin{array}{l} \sum_{k = 1}^{n} α_{k} D_{f} (T^{n + 1 - k} T^{m - 1} z, T y) + (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (T^{m - 1} z, T y) \\ + \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} T^{m - 1} z) - D_{f} (T y, T^{m - 1} z)} \\ \leq \sum_{k = 1}^{n} β_{k} D_{f} (T^{n + 1 - k} T^{m - 1} z, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (T^{m - 1} z, y) \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} T^{m - 1} z) - D_{f} (y, T^{m - 1} z)} . \end{array}

Since ${T^{m} z}$ is bounded, we can apply Banach limit µ to both sides of (3.2), then we have

\begin{array}{l} μ_{m} (\sum_{k = 1}^{n} α_{k} D_{f} (T^{m + n - k} z, T y) + (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (T^{m - 1} z, T y) \\ + \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{m + n - k} z) - D_{f} (T y, T^{m - 1} z)}) \\ \leq μ_{m} (\sum_{k = 1}^{n} β_{k} D_{f} (T^{m + n - k} z, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (T^{m - 1} z, y) \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{m + n - k} z) - D_{f} (y, T^{m - 1} z)}) . \end{array}

Thus, we obtain

(3.3)

\begin{array}{l} \sum_{k = 1}^{n} α_{k} μ_{m} D_{f} (T^{m + n - k} z, T y) + (1 - \sum_{k = 1}^{n} α_{k}) μ_{m} D_{f} (T^{m - 1} z, T y) \\ + \sum_{k = 1}^{n} γ_{k} {μ_{m} D_{f} (T y, T^{m + n - k} z) - μ_{m} D_{f} (T y, T^{m - 1} z)} \\ \leq \sum_{k = 1}^{n} β_{k} μ_{m} D_{f} (T^{m + n - k} z, y) + (1 - \sum_{k = 1}^{n} β_{k}) μ_{m} D_{f} (T^{m - 1} z, y) \\ + \sum_{k = 1}^{n} δ_{k} {μ_{m} D_{f} (y, T^{m + n - k} z) - μ_{m} D_{f} (y, T^{m - 1} z)} . \end{array}

Then

\begin{array}{l} \sum_{k = 1}^{n} α_{k} μ_{m} D_{f} (T^{m} z, T y) + (1 - \sum_{k = 1}^{n} α_{k}) μ_{m} D_{f} (T^{m} z, T y) \\ + \sum_{k = 1}^{n} γ_{k} {μ_{m} D_{f} (T y, T^{m} z) - μ_{m} D_{f} (T y, T^{m} z)} \\ \leq \sum_{k = 1}^{n} β_{k} μ_{m} D_{f} (T^{m} z, y) + (1 - \sum_{k = 1}^{n} β_{k}) μ_{m} D_{f} (T^{m} z, y) \\ + \sum_{k = 1}^{n} δ_{k} {μ_{m} D_{f} (y, T^{m} z) - μ_{m} D_{f} (y, T^{m} z)} . \end{array}

Hence

μ_{m} D_{f} (T^{m} z, T y) \leq μ_{m} D_{f} (T^{m} z, y) .

Therefore by Lemma 2.10, T has a fixed point in C. This completes the proof.

The following results follow as direct consequences of Theorem 3.1.

Corollary 3.2. Let C be a nonempty, closed and convex subset of a smooth, strictly convex Banach space E, let p be a real number such that $1 < p < + \infty$ and let f be a function defined by $f (x) = \frac{1}{p} | | x | |^{p}$ and $T : C \to C$ be a n-generalized Bregman nonspreading mapping. Then, the following assertions are equivalent:

(i) F(T) is nonempty;

(ii) ${T^{m} z}$ is bounded for some z ∈ C.

Corollary 3.3. Let C be a nonempty bounded closed convex subset of a real reflexive Banach space E and $f : E \to ℝ$ be a strictly convex and Gâteaux differentiable function. Let $T : C \to C$ be a n-generalized Bregman nonspreading mapping. Then, T has a fixed point.

Remark 3.4. Corollary 3.2 is a generalization of the corresponding result in Theorem 3.2 of [45], where the equivalence between the two assertions was shown for p=2.

We now show another important property of the fixed points of n-generalized Bregman nonspreading mapping.

Proposition 3.5. Let C be a nonempty, closed and convex subset of a real reflexive Banach space E and $f : E \to ℝ$ be a strictly convex and Gâteaux differentiable function. Let $T : C \to C$ be a n-generalized Bregman nonspreading mapping such that $F (T) \neq \emptyset$ . Then F(T) is closed and convex.

Proof. Let $u \in F (T)$ , then putting $u = x \in F (T)$ in (1.4), we have

\begin{array}{l} \sum_{k = 1}^{n} α_{k} D_{f} (u, T y) + (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (u, T y) + \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, u) - D_{f} (T y, u)} \\ \leq \sum_{k = 1}^{n} β_{k} D_{f} (u, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (u, y) + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, u) - D_{f} (y, u)}, \end{array}

which implies that

(3.4)

D_{f} (u, T y) \leq D_{f} (u, y), \forall u \in F (T), y \in C .

This means that T is quasi-Bregman nonexpansive. Now let ${x_{n}} \subset F (T)$ such that $x_{n} \to p$ . Then

D_{f} (p, T p) = \lim_{n \to \infty} D_{f} (x_{n}, T p) \leq D_{f} (x_{n}, p) = D_{f} (p, p) = 0.

Hence, $p \in F (T)$ . Therefore F(T) is closed.

Next, we show that F(T) is convex. For any $x, y \in F (T)$ and $λ \in (0, 1)$ , let $z = λ x + (1 - λ) y$ . Then

(3.5)

\begin{array}{l} D_{f} (z, T z) = f (z) - f (T z) - ⟨ \nabla f (T z), z - T z ⟩ \\ = f (z) - f (T z) - ⟨ \nabla f (T z), λ x + (1 - λ) y - T z ⟩ \\ = f (z) + λ D_{f} (x, T z) + (1 - λ) D_{f} (y, T z) - λ f (x) - (1 - λ) f (y) \\ \leq f (z) + λ D_{f} (x, z) + (1 - λ) D_{f} (y, z) - λ f (x) - (1 - λ) f (y) \\ = f (z) - f (z) - ⟨ \nabla f (z), λ x + (1 - λ) y - z ⟩ \\ = f (z) - f (z) - ⟨ \nabla f (z), z - z ⟩ \\ = 0. \end{array}

Hence, z = Tz. Therefore, F(T) is convex.

Using Corollary 3.3 and Proposition 3.5, we prove the following common fixed point theorem for a commutative family of n-generalized Bregman nonspreading mapping in a reflexive Banach space.

Theorem 3.6. Let $f : E \to ℝ$ be a strictly convex and Gâteaux differentiable function, C be a nonempty bounded closed convex subset of a real reflexive Banach space E and let ${T_{α}}_{α \in I}$ be a commutative family of n-generalized Bregman nonspreading mappings from C into itself. Then ${T_{α}}_{α \in I}$ has a common fixed point.

Proof. By Theorem 3.5, we know that F(T_α) is a closed convex subset of C. Since E is reflexive and C is a bounded closed and convex subset, C is weakly compact. To show that $\cap_{α \in I} F (T_{α})$ is nonempty, it is sufficient to show that ${F (T_{α})}_{α \in I}$ has a nonempty finite intersection property.

Now, let ${T_{1}, T_{2}, \dots, T_{N}}$ be a commutative finite family of n-generalized Bregman nonspreading mapping from C into itself. We prove by induction that ${T_{1}, T_{2}, \dots, T_{N}}$ has a common fixed point. To do this, we start by showing the case for N=2. By Corollary 3.3 and Theorem 3.5, F(T₁) is nonempty, bounded, closed and convex. Let $u \in F (T_{1})$ , since $T_{1} T_{2} = T_{2} T_{1}$ , then we have $T_{1} T_{2} u = T_{2} T_{1} u = T_{2} u$ . This implies that $T_{2} u \in F (T_{1})$ . Hence, F(T₁) is T₂-invariant. Thus, the restriction of T₂ to F(T₁) is a n-generalized Bregman nonspreading self mapping. By Corollary (3.3), T₂ has a fixed point in F(T₁), that is, we have $z \in F (T_{1})$ such that $T_{2} z = z$ . Hence, $z \in F (T_{1}) \cap F (T_{2})$ .

Suppose that for some N ≥ 2, $Γ = \cap_{k = 1}^{N} F (T_{k})$ is nonempty. Then Γ is a nonempty, bounded, closed and convex subset of C and the restriction of $T_{N + 1}$ to Γ is a n-generalized Bregman nonspreading self mapping. By Corollary 3.3, $T_{N + 1}$ has a fixed point in Γ. This implies that $Γ \cap F (T_{N + 1})$ is nonempty. Hence, $\cap_{k = 1}^{N + 1} F (T_{k})$ is nonempty. This completes the proof.

The following result will be used in the sequel.

Proposition 3.7. Let E be a real reflexive Banach space and let C be a nonempty, closed and convex subset of E. Let $f : E \to ℝ$ be a strongly coercive Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subsets of E. Let $T : C \to C$ be a n-generalized Bregman nonspreading mapping. Then, for any $x, y \in C$ , $α_{i}, β_{i}, γ_{i}, δ_{i} \in ℝ$ , for $i = 1, 2, \dots, n$ , we have

(3.6)

\begin{array}{l} 0 \leq \sum_{k = 1}^{n} (β_{k} - α_{k}) (D_{f} (T^{n + 1 - k} x, T y) - D_{f} (x, T y)) + D_{f} (T y, y) \\ + ⟨ \nabla f (T y) - \nabla f (y), \sum_{k = 1}^{n} β_{k} (T^{n + 1 - k} x - x) + x - T y ⟩ \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)} - \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)} . \end{array}

Proof. From the definition of n-generalized Bregman nonspreading mapping, we have

(3.7)

\begin{array}{l} \sum_{k = 1}^{n} α_{k} D_{f} (T^{n + 1 - k} x, T y) + (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (x, T y) \\ + \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)} \\ \leq \sum_{k = 1}^{n} β_{k} D_{f} (T^{n + 1 - k} x, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (x, y) \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)}, \end{array}

for all $x, y \in C$ . This implies that

\begin{array}{l} 0 \leq \sum_{k = 1}^{n} β_{k} D_{f} (T^{n + 1 - k} x, y) + (1 - \sum_{k = 1}^{n} β_{k}) D_{f} (x, y) \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)} \\ - \sum_{k = 1}^{n} α_{k} D_{f} (T^{n + 1 - k} x, T y) - (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (x, T y) \\ - \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)} . \end{array}

Hence, from the three points identity (1.2), we have

\begin{array}{l} 0 \leq \sum_{k = 1}^{n} β_{k} (D_{f} (T^{n + 1 - k} x, T y) + D_{f} (T y, y) + ⟨ \nabla f (T y) - \nabla f (y), T^{n + 1 - k} x - T y ⟩) \\ + (1 - \sum_{k = 1}^{n} β_{k}) (D_{f} (x, T y) + D_{f} (T y, y) + ⟨ \nabla f (T y) - \nabla f (y), x - T y ⟩) \\ - \sum_{k = 1}^{n} α_{k} D_{f} (T^{n + 1 - k} x, T y) - (1 - \sum_{k = 1}^{n} α_{k}) D_{f} (x, T y) \\ - \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)} \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)} . \end{array}

Therefore

\begin{array}{l} 0 \leq \sum_{k = 1}^{n} (β_{k} - α_{k}) (D_{f} (T^{n + 1 - k} x, T y) - D_{f} (x, T y)) + D_{f} (T y, y) \\ + ⟨ \nabla f (T y) - \nabla f (y), \sum_{k = 1}^{n} β_{k} (T^{n + 1 - k} x - x) + x - T y ⟩ \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (y, T^{n + 1 - k} x) - D_{f} (y, x)} \\ - \sum_{k = 1}^{n} γ_{k} {D_{f} (T y, T^{n + 1 - k} x) - D_{f} (T y, x)} . \end{array}

The following result is another important property which characterized the n-generalized Bregman nonspreading mapping.

Proposition 3.8. Let $T : C \to C$ be a n-generalized Bregman nonspreading mapping. Suppose $F (T) \neq \emptyset,$ then T is Bregman relatively nonexpansive.

Proof. It is clear that

D_{f} (p, T x) \leq D_{f} (p, x) \forall p \in F (T), x \in C .

We show that $\hat{F} (T) = F (T) .$ It is easy to see that $F (T) \subset \hat{F} (T) .$ Now let $p \in \hat{F} (T),$ that is, there exist a sequence ${x_{n}} \subset C$ such that $x_{n} ⇀ p$ and $| | x_{n} - T x_{n} | | \to 0.$ Since f is uniformly Frćhet differentiable on bounded subsets of E, then ∇f is uniformly continuous and thus

(3.8)

\lim_{n \to \infty} | | f (x_{n}) - f (T x_{n}) | | = \lim_{n \to \infty} | | \nabla f (x_{n}) - \nabla f (T x_{n}) | | = 0.

Putting x = x_n and y = q in Proposition 3.7, we have

(3.9)

\begin{array}{l} 0 \leq \sum_{k = 1}^{n} (β_{k} - α_{k}) (D_{f} (T^{n + 1 - k} x_{n}, T q) - D_{f} (x_{n}, T q)) + D_{f} (T q, q) \\ + ⟨ \nabla f (T q) - \nabla f (q), \sum_{k = 1}^{n} β_{k} (T^{n + 1 - k} x_{n} - x_{n}) + x_{n} - T q ⟩ \\ + \sum_{k = 1}^{n} δ_{k} {D_{f} (q, T^{n + 1 - k} x_{n}) - D_{f} (q, x_{n})} \\ - \sum_{k = 1}^{n} γ_{k} {D_{f} (T q, T^{n + 1 - k} x_{n}) - D_{f} (T q, x_{n})} . \end{array}

Observe that

(3.10)

\begin{array}{l} D_{f} (T^{n + 1 - k} x_{n}, T q) - D_{f} (x_{n}, T q) = f (T^{n + 1 - k} x_{n}) - f (T q) \\ - ⟨ \nabla f (T q), T^{n + 1 - k} x_{n} - T q ⟩ \\ - f (x_{n}) + f (T q) + ⟨ \nabla f (T q), x_{n} - T q ⟩ \\ = f (T^{n + 1 - k} x_{n}) - f (x_{n}) \\ + ⟨ \nabla f (T q), x_{n} - T q ⟩ \\ - ⟨ \nabla f (T q), T^{n + 1 - k} x_{n} - T q ⟩ \\ = f (T^{n + 1 - k} x_{n}) - f (x_{n}) \\ + ⟨ \nabla f (T q), x_{n} - T^{n + 1 - k} x_{n} ⟩ . \end{array}

Similarly

(3.11)

\begin{array}{l} D_{f} (q, T^{n + 1 - k} x_{n}) - D_{f} (q, x_{n}) = f (x_{n}) - f (T^{n + 1 - k} x_{n}) + ⟨ \nabla f (x_{n}), T^{n + 1 - k} x_{n} - x_{n} ⟩ \\ + ⟨ \nabla f (x_{n}) - \nabla f (T^{n + 1 - k} x_{n}), q - x_{n} ⟩, \end{array}

and

(3.12)

\begin{array}{l} D_{f} (T q, T^{n + 1 - k} x_{n}) - D_{f} (T q, x_{n}) = f (x_{n}) - f (T^{n + 1 - k} x_{n}) \\ + ⟨ \nabla f (x_{n}), T^{n + 1 - k} x_{n} - x_{n} ⟩ \\ + ⟨ \nabla f (x_{n}) - \nabla f (T^{n + 1 - k} x_{n}), T q - x_{n} ⟩ . \end{array}

Substituting (3.10), (3.11) and (3.12) into (3.9), we have

(3.13)

\begin{array}{l} 0 \leq \sum_{k = 1}^{n} (β_{k} - α_{k}) (f (T^{n + 1 - k} x_{n}) - f (x_{n}) + ⟨ \nabla f (T q), x_{n} - T^{n + 1 - k} x_{n} ⟩) \\ + D_{f} (T q, q) \\ + ⟨ \nabla f (T q) - \nabla f (q), \sum_{k = 1}^{n} β_{k} (T^{n + 1 - k} x_{n} - x_{n}) + x_{n} - T q ⟩ \\ + \sum_{k = 1}^{n} δ_{k} {f (x_{n}) - f (T^{n + 1 - k} x_{n}) + ⟨ \nabla f (x_{n}), T^{n + 1 - k} x_{n} - x_{n} ⟩ \\ + ⟨ \nabla f (x_{n}) - \nabla f (T^{n + 1 - k} x_{n}), q - x_{n} ⟩} \\ - \sum_{k = 1}^{n} γ_{k} {f (x_{n}) - f (T^{n + 1 - k} x_{n}) + ⟨ \nabla f (x_{n}), T^{n + 1 - k} x_{n} - x_{n} ⟩ \\ + ⟨ \nabla f (x_{n}) - \nabla f (T^{n + 1 - k} x_{n}), T q - x_{n} ⟩} . \end{array}

Taking limit as $n \to \infty$ in (3.13) and using (3.8), we have

0 \leq D_{f} (T q, q) + ⟨ \nabla f (T q) - \nabla f (q), q - T q ⟩ .

Using the four points identity (1.3), we have

\begin{array}{l} 0 \leq D_{f} (T q, q) + D_{f} (T q, T q) - D_{f} (T q, q) - D_{f} (q, T q) + D_{f} (q, q) \\ = - D_{f} (q, T q) . \end{array}

Thus $D_{f} (q, T q) \leq 0$ and then $D_{f} (q, T q) = 0$ . Since f is strictly convex, we have q = Tq. Hence, $q \in F (T)$ . Therefore $\hat{F} (T) \subset F (T)$ . This thus implies that $\hat{F} (T) = F (T) .$

4. Convergence Analysis

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

In this section, we introduce a hybrid algorithm for finding common solutions of countable family of equilibrium problem and finite fixed points of n-generalized Bregman nonspreading mapping in reflexive Banach space.

Let ${α_{n, i} : n, i \in ℕ, 1 \leq i \leq ℕ}$ be sequences of real numbers such that ${α_{n, i}} \subset (0, 1) .$ We define the following $W_{n} : C \to C$ mapping generated by $T^{i}, i = 1, 2, \dots, N$ and ${α_{n, i}},$ where $T^{i} : C \to C$ is a finite family of n-generalized Bregman nonspreading mappings.

(4.1)

\begin{array}{l} S_{n, 0} x = x, S_{n, 1} x = \nabla f^{*} [α_{n, 1} \nabla f (T^{1} x) + (1 - α_{n, 1}) \nabla f (x)] \\ S_{n, 2} x = \nabla f^{*} [α_{n, 2} \nabla f (T^{2} S_{n, 1} x) + (1 - α_{n, 2}) \nabla f (S_{n, 1} x)] \\ S_{n, 3} x = \nabla f^{*} [α_{n, 3} \nabla f (T^{3} S_{n, 2} x) + (1 - α_{n, 3}) \nabla f (S_{n, 2} x)] \\ ⋮ \\ S_{n, N - 1} x = \nabla f^{*} [α_{n, N - 1} \nabla f (T^{N - 1} S_{n, N - 2} x) + (1 - α_{n, N - 1}) \nabla f (S_{n, N - 2} x)] \\ W_{n} = S_{n, N} = \nabla f^{*} [α_{n, N} \nabla f (T^{N} S_{n, N - 1} x) + (1 - α_{n, N}) \nabla f (S_{n, N - 1} x)] . \end{array}

Using the above definition, we have the following lemma.

Proposition 4.1. Let C be a nonempty, closed and convex subset of a real reflexive Banach space E and let $f : E \to ℝ$ be a coercive Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subsets of E. Let ${T^{i}}_{i = 1}^{N}$ be a finite famiy of n-generalized Bregman nonspreading mapping of C into itself such that $\cap_{i = 1}^{N} F (T^{i}) \neq \emptyset .$ Let ${α_{n, i}}$ be real sequence in (0,1) such that $\underset{n \to \infty}{\lim \inf} α_{n, i} > 0,$ $\forall i \in {1, 2, \dots, N} .$ Let W_n be a Bregman W-mapping generated by $T^{1}, T^{2}, \dots, T^{N}$ in (4.1). Then

(i) $\cap_{i = 1}^{N} F (T^{i}) = F (W_{n}),$

(ii) W_n is Bregman quasi-nonexpansive,

(iii) If in addition, Tⁱ is Bregman relatively nonexpansive mapping, for each i, then W_n is Bregman relatively nonexpansive.

Proof. Let $x \in \cap_{i = 1}^{N} F (T^{i}) .$ Then $T^{i} x = x,$ $i = 1, 2, \dots, N .$ From (4.1), we have that $S_{n, 1} x = x,$ $S_{n, 2} x = x, \dots,$ $S_{n, N} x = x .$ Thus $\cap_{i = 1}^{N} F (T^{i}) \subset F (W_{n}) .$ Conversely, let $y \in F (W_{n})$ and $x \in \cap_{i = 1}^{N} F (T^{i}) .$ Then

(4.2)

\begin{array}{l} D_{f} (x, y) = D_{f} (x, W_{n} y) \\ = D_{f} (x, \nabla f^{*} (α_{n, N} \nabla f (T^{N} S_{n, N - 1} y) + (1 - α_{n, N}) \nabla f (S_{n, N - 1} y))) \\ = f (x) - ⟨ x, α_{n, N} \nabla f (T^{N} S_{n, N - 1} y) ⟩ + (1 - α_{n, N}) \nabla f (S_{n, N - 1} y) ⟩ \\ + f^{*} (α_{n, N} \nabla f (T^{N} S_{n, N - 1} y) + (1 - α_{n, N}) \nabla f (S_{n, N - 1} y)) \\ \leq α_{n, N} (f (x) - ⟨ x, \nabla f (T^{N} S_{n, N - 1} y) + f^{*} (\nabla f (T^{N} S_{n, N - 1} y))) \\ + (1 - α_{n, N}) (f (x) - ⟨ x, \nabla f (S_{n, N - 1} y) ⟩ + f^{*} (\nabla f (T^{N} S_{n, N - 1} y))) \\ - α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} y) - \nabla f (S_{n, N - 1} y) | |) \\ = α_{n, N} D_{f} (x, T^{N} S_{n, N - 1} y) + (1 - α_{n, N}) D_{f} (x, S_{n, N - 1} y) \\ - α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} y) - \nabla f (S_{n, N - 1} y)) \\ \leq D_{f} (x, S_{n, N - 1} y) \\ - α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} y) - \nabla f (S_{n, N - 1} y) | |) \\ ⋮ \\ \leq D_{f} (x, y) - α_{n, 1} (1 - α_{n, 1}) ρ_{r}^{*} (| | \nabla f (T^{1} y) - \nabla f (y) | |) \\ - α_{n, 2} (1 - α_{n, 2}) ρ_{r}^{*} (| | \nabla f (T^{2} S_{n, 1} y) - \nabla f (S_{n, 1} y) | |) \\ - \dots - α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} y) - \nabla f (S_{n, N - 1} y) | |) . \end{array}

This implies that

\begin{array}{l} α_{n, 1} (1 - α_{n, 1}) ρ_{r}^{*} (| | \nabla f (T^{1} y) - \nabla f (y) | |) \\ = α_{n, 2} (1 - α_{n, 2}) ρ_{r}^{*} (| | \nabla f (T^{2} S_{n, 1} y) - \nabla f (S_{n, 1} y) | |) \\ = \dots = α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} y) - \nabla f (S_{n, N - 1} y) | |) = 0. \end{array}

Then by the property of $ρ_{r}^{*}$ from Lemma 2.9 and the norm-to-norm continuity of ∇ f^*, we have

\begin{array}{l} T^{1} y = y, \\ T^{2} S_{n, 1} y = S_{n, 1} y, \\ ⋮ \\ T^{N} S_{n, N - 1} = S_{n, N - 1} y . \end{array}

It follows that

\begin{array}{l} D_{f} (y, S_{n, 1} y) = D_{f} (y, \nabla f^{*} (α_{n, 1} \nabla f (T^{1} y) + (1 - α_{n, 1}) \nabla f (y))) \\ \leq α_{n, 1} D_{f} (y, T^{1} y) + (1 - α_{n, 1}) D_{f} (y, y) = 0. \end{array}

Therefore $y \in F (S_{n, 1})$ and consequently, $y \in F (T^{1}) .$ Following similar argument, we have that $y \in F (T^{i})$ for $i = 1, 2, \dots, N$ and hence $y \in \cap_{i = 1}^{N} F (T^{i}) .$

(ii) Let $y \in F (W_{n}) .$ Then

\begin{array}{l} D_{f} (y, W_{n} x) = D_{f} (y, \nabla f^{*} (α_{n, N} \nabla f (T^{N} S_{n, N - 1} x) + (1 - α_{n, N}) \nabla f (S_{n, N - 1} x))) \\ \leq α_{n, N} D_{f} (y, T^{N} S_{n, N - 1} x) + (1 - α_{n, N}) D_{f} (y, S_{n, N - 1} x) \\ \leq α_{n, N} D_{f} (y, S_{n, N - 1} x) + (1 - α_{n, N}) D_{f} (y, S_{n, N - 1} x) \\ = D_{f} (y, S_{n, N - 1} x) = D_{f} (y, \nabla f^{*} (α_{n, N - 1} \nabla f (T^{N - 1} S_{n, N - 2} x) \\ + (1 - α_{n, N - 1}) \nabla f (S_{n, N - 2} x))) \\ \leq α_{n, N - 1} D_{f} (y, T^{N - 1} S_{n, N - 2} x) + (1 - α_{n, N - 1}) D_{f} (y, S_{n, N - 2} x) \\ \leq D_{f} (y, S_{n, N - 2} x) \\ ⋮ \\ \leq D_{f} (y, x) . \end{array}

(iii) Let ${x_{n}} \subset C$ such that $x_{n} ⇀ \bar{x}$ and $| | W_{n} x_{n} - x_{n} | | \to 0$ as $n \to \infty .$ From (1.2), we have

(4.3)

\begin{array}{l} D_{f} (\bar{x}, W_{n} x_{n}) \leq D_{f} (\bar{x}, x_{n}) - α_{n, 1} (1 - α_{n, 1}) ρ_{r}^{*} (| | \nabla f (T^{1} x_{n}) - \nabla f (x_{n}) | |) \\ - α_{n, 2} (1 - α_{n, 2}) ρ_{r}^{*} (| | \nabla f (T^{2} S_{n, 1} x_{n}) - \nabla f (S_{n, 1} x_{n}) | |) \\ - \dots - α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} x_{n}) - \nabla f (S_{n, N - 1} x_{n}) | |) . \end{array}

Using three points identity (1.2), we obtain

(4.4)

\begin{array}{l} D_{f} (\bar{x}, x_{n}) - D_{f} (\bar{x}, W_{n} x_{n}) = ⟨ \bar{x} - x_{n}, \nabla f (W_{n} x_{n}) - \nabla f (x_{n}) ⟩ \\ - D_{f} (x_{n}, W_{n} x_{n}) . \end{array}

Since $x_{n} ⇀ \bar{x}$ and $\lim_{n \to \infty} | | x_{n} - W_{n} x_{n} | | = 0,$ we obtain

(4.5)

\begin{array}{l} | D_{f} (\bar{x}, x_{n}) - D_{f} (\bar{z}, W_{n} x_{n}) | \leq | | \bar{x} - x_{n} | | | | \nabla f (W_{n} x_{n}) - \nabla f (x_{n}) | | \\ - D_{f} (x_{n}, W_{n} x_{n}) \to 0 as n \to \infty . \end{array}

Therefore from (4.3), we have

\begin{array}{l} α_{n, 1} (1 - α_{n, 1}) ρ_{r}^{*} (| | \nabla f (T^{1} x_{n}) - \nabla f (x_{n}) | |) + α_{n, 2} (1 - α_{n, 2}) ρ_{r}^{*} (| | \nabla f (T^{2} S_{n, 1} x_{n}) \\ - \nabla f (S_{n, 1} x_{n}) | |) + \dots \\ + α_{n, N} (1 - α_{n, N}) ρ_{r}^{*} (| | \nabla f (T^{N} S_{n, N - 1} x_{n}) - \nabla f (S_{n, N - 1} x_{n}) | |) \\ \leq D_{f} (\bar{x}, x_{n}) - D_{f} (\bar{x}, x_{n}) . \end{array}

Taking limit as $n \to \infty$ , using (4.5) and property of $ρ_{r}^{*}$ , yields

\begin{array}{l} \lim_{n \to \infty} | | \nabla f (T^{1} x_{n}) - \nabla f (x_{n}) | | = \lim_{n \to \infty} | | \nabla f (T^{2} S_{n, 1} x_{n}) - \nabla f (S_{n, 1} x_{n}) | | = \\ \dots = \lim_{n \to \infty} | | \nabla f (T^{N} S_{n, N - 1} x_{n}) - \nabla f (S_{n, N - 1} x_{n}) | | = 0. \end{array}

By the norm-to-norm uniform continuity of ∇f on bounded subset of E^*, it follows that

(4.6)

\begin{array}{l} \lim_{n \to \infty} | | T^{1} x_{n} - x_{n} | | = \lim_{n \to \infty} | | T^{2} S_{n, 1} x_{n} - S_{n, 1} x_{n} | | = \dots \\ = \lim_{n \to \infty} | | T^{N} S_{n, N - 1} x_{n} - S_{n, N - 1} x_{n} | | = 0. \end{array}

We next prove that $S_{n, i} x_{n} - x_{n} \to 0$ for each $i = 1, 2, \dots, N - 1.$ From (4.6), we get

\begin{array}{l} D_{p} (x_{n}, S_{n, 1} x_{n}) = D_{f} (x_{n}, \nabla f^{*} [α_{n, 1} \nabla f (T^{1} x_{n}) + (1 - α_{n, 1}) \nabla f (x_{n})]) \\ \leq α_{n, 1} D_{f} (x_{n}, T^{1} x_{n}) + (1 - α_{n, 1}) D_{f} (x_{n}, x_{n}) . \end{array}

Taking limit as $n \to \infty$ and using (4.6), we have

\lim_{n \to \infty} D_{f} (x_{n}, S_{n, 1} x_{n}) = 0,

hence

\lim_{n \to \infty} | | S_{n, 1} x_{n} - x_{n} | | = 0.

Thus

| | T^{2} S_{n, 1} x_{n} - x_{n} | | \leq | | T^{2} S_{n, 1} x_{n} - S_{n, 1} x_{n} | | + | | S_{n, 1} x_{n} - x_{n} | | \to 0 n \to \infty .

Similarly, we have

\begin{array}{l} D_{f} (x_{n}, S_{n, 2} x_{n}) = D_{f} (x_{n}, \nabla f^{*} [α_{n, 2} \nabla f (T^{2} S_{n, 1} x_{n}) + (1 - α_{n, 2}) \nabla f (S_{n, 1} x_{n})]) \\ \leq α_{n, 2} D_{f} (x_{n}, T^{2} S_{n, 1} x_{n}) + (1 - α_{n, 2}) D_{f} (x_{n}, S_{n, 1} x_{n}) \end{array}

Taking limit as $n \to \infty,$ we have

\lim_{n \to \infty} D_{f} (x_{n}, S_{n, 2} x_{n}) = 0,

and hence

\lim_{n \to \infty} | | S_{n, 2} x_{n} - x_{n} | | = 0.

Following similar approach as above, we have

\lim_{n \to \infty} | | S_{n, 3} x_{n} - x_{n} | | = \lim_{n \to \infty} | | S_{n, 4} x_{n} - x_{n} | | = \dots = \lim_{n \to \infty} | | S_{n, N - 1} x_{n} - x_{n} | | = 0.

Therefore

\lim_{n \to \infty} | | S_{n, i} x_{n} - x_{n} | | = 0 for each i = 1, 2, \dots, N - 1.

This together with the Bregman relative nonexpansiveness of each Tⁱ for $i = 1, 2, \dots, N,$ implies that $\bar{x} \in F (S_{n, i})$ for $i = 1, 2, \dots, N .$ Hence $\bar{x} \in F (W_{n}) .$ This therefore implies that W_n is Bregman relatively nonexpansive.

We are now in position to introduce our iterative algorithm.

Theorem 4.2. Let C be a nonempty, closed and convex subset of a real reflexive Banach space E and $f : E \to ℝ$ be a coercive Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subsets of E. For $i = 1, 2, \dots, N,$ let ${α_{n, i}} \subset (0, 1),$ $T^{i} : C \to C$ be finite family of n-generalized Bregman nonspreading mappings and $W_{n} : C \to C$ be a Bregman W-mapping generated by ${α_{n, i}}$ and $T^{1}, T^{2}, \dots, T^{N}$ in (4.1). Let $g_{j} : C \times C \to ℝ$ be bifunctions satisfying assumptions (A1)-(A4) and suppose $Γ : = \cap_{i = 1}^{N} F (T^{i}) \cap \cap_{j = 1}^{\infty} E P (g_{i}) \neq \emptyset .$ Define the sequence ${x_{n}}$ by the following process

(4.7)

\{\begin{array}{l} x_{0} = x \in C, C_{0} = Q_{0} = C, \\ z_{n} = \nabla f^{*} [β_{n, 0} \nabla f (x_{n}) + \sum_{j = 1}^{\infty} β_{n, j} \nabla f (R e s_{λ_{n}, g_{j}}^{f} x_{n})], \\ y_{n} = \nabla f^{*} [δ_{n} \nabla f (x_{n}) + (1 - δ_{n}) \nabla f (W_{n} z_{n})], \\ C_{n} = {z \in C : D_{f} (z, y_{n}) \leq D_{f} (z, x_{n})}, \\ Q_{n} = {z \in C : ⟨ \nabla f (x) - \nabla f (x_{n}), x_{n} - z ⟩ \geq 0}, \\ x_{n + 1} = P r o j_{C_{n} \cap Q_{n}}^{f} x, \end{array}

for all n ≥ 0, where ${λ_{n}} \subset (0, \infty),$ ${β_{n, j}}$ and ${δ_{n}}$ are sequences in [0,1) satisfying the following control conditions:

(i) $\sum_{j = 0}^{\infty} β_{n, j} = 1,$ $\forall n \in ℕ \cup {0};$

(ii) There exists $k \in ℕ$ such that $\underset{n \to \infty}{\lim \inf} β_{n, j} β_{n, k} > 0,$ $\forall j \in ℕ \cup {0};$

(iii) $0 \leq δ_{n} < 1,$ $\forall n \in ℕ$ and $\underset{n \to \infty}{\lim \inf} δ_{n} < 1;$

(iv) $\underset{n \to \infty}{\lim \inf} λ_{n} > 0.$

Then, the sequence ${x_{n}}$ converges strongly to Proj $_{Γ}^{f} x$ as $n \to \infty .$

Proof. We divide the proof into several steps.

Step 1: We show that $Γ \subset C_{n} \cap Q_{n}$ and $x_{n + 1}$ is well defined.

It is clear that C_n and Q_n are closed and convex. Then $C_{n} \cap Q_{n}$ is closed and convex for $n \geq 0.$ Obviously, $Γ \subset C_{0} \cap Q_{0} .$ Suppose $Γ \subset C_{m} \cap Q_{m}$ for some $m \in ℕ .$

Let $p \in Γ,$ then

\begin{array}{l} D_{f} (p, y_{m}) = D_{f} (p, \nabla f^{*} [δ_{m} \nabla f (x_{m}) + (1 - δ_{m}) \nabla f (W_{m} z_{m})]) \\ = V_{f} (p, δ_{m} \nabla f (x_{m}) + (1 - δ_{m}) \nabla f (W_{m} z_{m})) \\ = f (p) - ⟨ p, δ_{m} \nabla f (x_{m}) + (1 - δ_{m}) \nabla f (W_{m} z_{m}) ⟩ \\ + f^{*} (δ_{m} \nabla f (x_{m}) + (1 - δ_{m}) \nabla f (W_{m} z_{m})) \\ \leq δ_{m} [f (p) - ⟨ p, \nabla f (x_{m}) ⟩ + f^{*} (x_{m})] \\ + (1 - δ_{m}) [f (p) - ⟨ p, \nabla f (W_{m} z_{m}) ⟩ + f^{*} (W_{m} z_{m})] \\ - δ_{m} (1 - δ_{m}) ρ_{r}^{*} (| | x_{m} - W_{m} z_{m} | |) \\ \leq δ_{m} D_{f} (p, x_{m}) + (1 - δ_{m}) D_{f} (p, z_{m}) - δ_{m} (1 - δ_{m}) ρ_{r}^{*} (| | x_{m} - W_{n} z_{m} | |) \\ = δ_{n} D_{f} (p, x_{m}) + (1 - δ_{m}) D_{f} (p, \nabla f^{*} [β_{m, 0} \nabla f (x_{m}) \\ + \sum_{j = 1}^{\infty} β_{m, j} \nabla f (R e s_{E P (g)}^{f} x_{m})]) \\ - δ_{m} (1 - δ_{m}) ρ_{r}^{*} (| | x_{m} - W_{m} z_{m} | |) . \end{array}

Hence

(4.8)

\begin{array}{l} D_{f} (p, y_{m}) \leq δ_{m} D_{f} (p, x_{m}) + (1 - δ_{m}) [β_{m, 0} D_{f} (p, x_{m}) \\ + \sum_{j = 1}^{\infty} β_{m, j} D_{f} (p, R e s_{E P (g)}^{f} x_{m}) \\ - β_{m, 0} \sum_{j = 1}^{\infty} β_{m, j} ρ_{r}^{*} (| | x_{m} - R e s_{E P (g)}^{f} x_{m} | |)] \\ - δ_{m} (1 - δ_{m}) ρ_{r}^{*} (| | x_{m} - W_{m} z_{m} | |) \\ \leq δ_{m} D_{f} (p, x_{m}) + (1 - δ_{m}) [β_{m, 0} D_{f} (p, x_{m}) + \sum_{j = 1}^{\infty} β_{m, j} D_{f} (p, x_{m})] \\ - (1 - δ_{m}) β_{m, 0} \sum_{j = 1}^{\infty} β_{m, j} ρ_{r}^{*} (| | x_{m} - R e s_{E P (g)}^{f} x_{m} | |) \\ - δ_{n} (1 - δ_{m}) ρ_{r}^{*} (| | x_{m} - W_{m} z_{m} | |) \\ = D_{f} (p, x_{m}) - (1 - δ_{m}) β_{m, 0} \sum_{j = 1}^{\infty} β_{m, j} ρ_{r}^{*} (| | x_{m} - R e s_{E P (g)}^{f} x_{m} | |) \\ - δ_{n} (1 - δ_{n}) ρ_{r}^{*} (| | x_{m} - W_{m} z_{m} | |) \\ \leq D_{f} (p, x_{m}) . \end{array}

Hence $p \in C_{m}$ , which implies that $Γ \in C_{m} .$ Since $x_{m + 1} = P r o j_{C_{m} \cap Q_{m}}^{f} x,$ then $⟨ \nabla f (x) - \nabla f (x_{m + 1}), z - x_{m + 1} ⟩ \leq 0$ $\forall z \in C_{m} \cap Q_{m} .$ In particular, $⟨ \nabla f (x) - \nabla f (x_{m + 1}), p - x_{m + 1} ⟩ \leq 0$ $\forall p \in Γ .$ Thus $p \in Q_{m + 1} .$ This proves that $Γ \subset C_{m + 1} \cap Q_{m + 1} .$ Therefore $Γ \subset C_{n} \cap Q_{n}$ $\forall n \geq 0.$ Consequently, since $C_{n} \cap Q_{n}$ is closed and convex, then $x_{n + 1} = P r o f_{C_{n} \cap Q_{n}}^{f} x$ is well-defined.

Step 2: We prove that ${x_{n}}, {y_{n}}, {z_{n}}, {R e s_{λ_{n}, g_{j}}^{f} x_{n}}$ and ${W_{n} z_{n}}$ are bounded.

Since $Γ \subset C_{n} \cap Q_{n}$ for every $n \geq 0$ and $x_{n + 1} = P r o j_{C_{n} \cap Q_{n}}^{f} x,$ then

(4.9)

D_{f} (p, x_{n + 1}) \leq D_{f} (p, x) \forall n \geq 0.

So ${D_{f} (p, x_{n})}$ is bounded and hence there exists a constant $M > 0$ such that

D_{f} (p, x_{n}) \leq M \forall n \in ℕ \cup {0} .

In view of Lemma 2.6, we conclude that the sequence {x_n} is bounded. Similarly, the sequences ${y_{n}}, {z_{n}}, {R e s_{λ_{n}, g_{j}}^{f} x_{n}}$ and ${W_{n} z_{n}}$ are bounded.

Step 3: Next, we show that $\lim_{n \to \infty} | | x_{n + 1} - x_{n} | | = 0,$ $\lim_{n \to \infty} | | R e s_{λ_{n}, g_{j}}^{f} x_{n} - x_{n} | | = 0$ and $\lim_{n \to \infty} | | W_{n} z_{n} - z_{n} | | = 0.$

Since $x_{n + 1} \in C_{n} \cap Q_{n} \subset Q_{n}$ and $x_{n} = P r o j_{Q_{n}}^{f} (x)$ , we have

D_{f} (x_{n + 1}, P r o j_{Q_{n}}^{f} (x)) + D_{f} (P r o j_{Q_{n}}^{f} (x_{1}), x) \leq D_{f} (x_{n + 1}, x) .

Thus

(4.10)

D_{f} (x_{n + 1}, x_{n}) + D_{f} (x_{n}, x) \leq D_{f} (x_{n + 1}, x) .

Therefore the sequence ${D_{f} (x_{n}, x)}$ is non-decreasing and thus $\lim_{n \to \infty} D_{f} (x_{n}, x)$ exists. Hence, it follows that $\lim_{n \to \infty} D_{f} (x_{n + 1}, x_{n}) = 0,$ and by Lemma 2.5, we have

(4.11)

\lim_{n \to \infty} | | x_{n + 1} - x_{n} | | = 0.

Also, since $x_{n + 1} \in C_{n},$ we have

D_{f} (x_{n + 1}, y_{n}) \leq D_{f} (x_{n + 1}, x_{n}) .

This yields that $\lim_{n \to \infty} D_{f} (x_{n + 1}, y_{n}) = 0$ and thus

\lim_{n \to \infty} | | x_{n + 1} - y_{n} | | = 0.

Therefore from (4.11) and (4.12), we get

(4.12)

\lim_{n \to \infty} | | y_{n} - x_{n} | | = 0.

By the uniform continuity of f and ∇f on bounded subsets of E and E^* respectively, we have

(4.13)

\lim_{n \to \infty} | | f (y_{n}) - f (x_{n}) | | = 0

and

(4.14)

\lim_{n \to \infty} | | \nabla f (y_{n}) - \nabla f (x_{n}) | |_{*} = 0.

Furthermore,

\begin{array}{l} D_{f} (p, x_{n}) - D_{f} (p, y_{n}) = f (p) - f (x_{n}) - ⟨ p - x_{n}, \nabla f (x_{n}) ⟩ \\ - f (p) + f (y_{n}) + ⟨ p - y_{n}, \nabla f (y_{n}) ⟩ \\ = f (y_{n}) - f (x_{n}) + ⟨ p - y_{n}, \nabla f (y_{n}) ⟩ - ⟨ p - x_{n}, \nabla f (x_{n}) ⟩ \\ = f (y_{n}) - f (x_{n}) + ⟨ x_{n} - y_{n}, \nabla f (y_{n}) ⟩ \\ - ⟨ p - x_{n}, \nabla f (y_{n}) - \nabla f (x_{n}) ⟩ . \end{array}

Therefore from (4.12) - (4.14), we get

(4.15)

\lim_{n \to \infty} [D_{f} (p, x_{n}) - D_{f} (p, y_{n})] = 0.

Note that from (4.8), we have

\begin{array}{l} D_{f} (p, y_{n}) \leq D_{f} (p, x_{n}) - (1 - δ_{n}) β_{n, 0} \sum_{j = 1}^{\infty} β_{n, j} ρ_{r}^{*} (| | x_{n} - R e s_{λ_{n}, g_{j}}^{f} x_{n} | |) \\ - δ_{n} (1 - δ_{n}) ρ_{r}^{*} (| | x_{n} - W_{n} z_{n} | |) . \end{array}

Using the property of $ρ_{r}^{*}$ and conditions (ii) and (iii) together with (4.15), we have

(4.16)

\lim_{n \to \infty} | | x_{n} - R e s_{λ_{n}, g_{j}}^{f} x_{n} | | = 0

and

(4.17)

\lim_{n \to \infty} | | x_{n} - W_{n} z_{n} | | = 0.

By the uniform continuity of ∇f on bounded subsets of E^*, we have

\lim_{n \to \infty} | | \nabla f (x_{n}) - \nabla f (R e s_{λ_{n}, g_{j}}^{f} x_{n}) | | = 0.

Hence from (4.7), we get

\lim_{n \to \infty} | | \nabla f (z_{n}) - \nabla f (x_{n}) | |^{'} = \lim_{n \to \infty} \sum_{j = 1}^{\infty} β_{n, j} | | \nabla f (R e s_{λ_{n}, g_{j}}^{f} x_{n}) - \nabla f (x_{n}) | |^{'} = 0.

Furthermore, since f is Fréchet differentiable on bounded subset of E, then ∇f^* is uniformly continuous on bounded subsets of E^*. Thus

(4.18)

\lim_{n \to \infty} | | z_{n} - x_{n} | | = 0.

Therefore

(4.19)

\lim_{n \to \infty} | | W_{n} z_{n} - z_{n} | | = \lim_{n \to \infty} [| | W_{n} z_{n} - x_{n} | | + | | x_{n} - z_{n} | |] = 0.

Since ${x_{n}}$ is bounded, there exists a subsequence ${x_{n_{k}}}$ of ${x_{n}}$ which converges weakly to $q \in E .$ Since $| | W_{n} z_{n} - z_{n} | | \to 0$ and $| | z_{n} - x_{n} | | \to 0$ as $n \to \infty,$ then from Lemma 2.11 we have that $q \in F (W_{n}) .$ Hence $q \in \cap_{i = 1}^{N} F (T^{i}) .$

Also from Lemma 2.11, we have for each $j = 1, 2, \dots$

g_{j} (R e s_{λ_{n}, g_{j}}^{f} x_{n}, y) + \frac{1}{λ_{n}} ⟨ y - R e s_{λ_{n}, g_{j}}^{f} x_{n}, \nabla f (R e s_{λ_{n}, g_{j}}^{f} x_{n}) - \nabla f (x_{n}) ⟩ \geq 0 \forall y \in C .

Hence

g_{j} (R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}, y) + \frac{1}{λ_{n_{k}}} ⟨ y - R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}, \nabla f (R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}) - \nabla f (x_{n_{k}}) ⟩ \geq 0 \forall y \in C .

From the assumption (A2), we have

\begin{array}{l} \frac{1}{λ_{n_{k}}} | | y - R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}} | | | | \nabla f (R e s_{λ_{n_{k}} g_{j}}^{f} x_{n_{k}}) - \nabla f (x_{n_{k}}) | | \\ \geq \frac{1}{λ_{n_{k}}} ⟨ y - R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}, \nabla f (R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}) - \nabla f (x_{n_{k}}) ⟩ \\ \geq - g_{j} (R e s_{λ_{n_{k}} g_{j}}^{f} x_{n_{k}}, y) \geq g_{j} (y, R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}) \forall y \in C . \end{array}

Taking the limit as $k \to \infty$ in the above inequality, from (A4) and condition (iv), we have $x_{n_{k}} \to q, | | \nabla f (R e s_{λ_{n_{k}}, g_{j}}^{f} x_{n_{k}}) - \nabla f (x_{n_{k}}) | | \to 0,$ we have that $g_{j} (y, q) \leq 0$ for all $y \in C .$ For $0 < t < 1$ and $y \in C,$ define $y_{t} = t y + (1 - t) q$ . Noting that $y_{t} \in C,$ which yields $g_{j} (y_{t}, q) \leq 0.$ It therefore follows from (A1) that

0 = g_{j} (y_{t}, y_{t}) \leq t g_{j} (y_{t}, y) + (1 - t) g_{j} (y_{t}, q) \leq t g_{j} (y_{t}, y) .

That is $g_{j} (y_{t}, y) \geq 0.$

Let $t ↓ 0,$ from (A3), we obtain $g_{j} (q, y) \geq 0$ for any $y \in C,$ $j = 1, 2, \dots .$ This implies that $q \in \cap_{j = 1}^{\infty} E P (g_{j})$ . Therefore $q \in Γ : = \cap_{i = 1}^{N} F (T^{i}) \cap \cap_{j = 1}^{\infty} E P (g_{j}) .$

Now since $x_{n + 1} = P r o j_{C_{n} \cap Q_{n}}^{f} x,$ we have

⟨ \nabla f (x) - \nabla f (x_{n + 1}), x_{n + 1} - z ⟩ \geq 0 \forall z \in C_{n} \cap Q_{n} .

Since $Γ \subset C_{n} \cap Q_{n},$ we have

⟨ \nabla f (x) - \nabla f (x_{n + 1}), x_{n + 1} - z ⟩ \geq 0 \forall z \in Γ .

Taking the limit of the above inequality, we have

⟨ \nabla f (x) - \nabla f (q), q - z ⟩ \geq 0 \forall z \in Γ .

Therefore $q = P r o j_{Γ}^{f} x .$ This completes the proof.

5. Application to Zeros of Maximal Monotone Operators

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

Sabach [37] showed that under some properties of the function f, the solution set of the equilibrium problem is equivalent to the set of zeros of a maximal monotone operator, that is the points x^* ∈ dom A such that

(5.1)

0^{*} \in A x^{*},

where $A : E \to 2^{E^{*}}$ is a maximal monotone operator. We denotes the set of zeros of A by $A^{- 1} (0^{*}) .$ An operator $A : E \to 2^{E^{*}}$ is said to be monotone if for any $x, y \in d o m A,$ we have

ξ \in A x and μ \in A y \Rightarrow ⟨ ξ - μ, x - y ⟩ \geq 0.

A monotone operator A is said to be maximal if the graph of A, $G r (A) : = {(x, ξ) : ξ \in A x}$ is not contained in the graph of any other monotone operator. The problem of finding the zeros of monotone operators is very important due to its applications in differential equations, evolution equations, optimization and other related fields. Many algorithms have also been introduced to find its solutions in Hilbert and Banah spaces.

Let $g : C \times C \to ℝ$ be a bifunction and define the following operator $A_{g} : E \to 2^{E^{*}}$ in the following manner

(5.2)

A_{g} (x) = \{\begin{array}{l} {ξ \in E^{*} : g (x, y) \geq ⟨ ξ, y - x ⟩ \forall y \in C}, & x \in C, \\ \emptyset & x \notin C . \end{array}

The following result was proved for the mapping A_g in [37].

Proposition 5.1. (Sabach [37]) Let C be a nonempty, closed and convex subset of a reflexive Banach space E and let $f : E \to ℝ$ be a coercive Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subsets of E. Assume that the bifunction $g : C \times C \to ℝ$ satisfies conditions (A1)-(A4), then:

(i) $E P (g) = A_{g}^{- 1} (0^{*});$

(ii) A_g is maximal monotone operator;

(iii) $R e s_{g}^{f} = R e s_{A_{g}}^{f} .$

Based on the above result, we propose the following which can be obtain from Theorem 4.2 for finding common fixed point of finite family of n-generalized Bregman nonspreading mapping and zeros of maximal monotone operators in reflexive Banach space.

Theorem 5.2. Let C be a nonempty, closed and convex subset of a real reflexive Banach space E and $f : E \to ℝ$ be a coercive Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subsets of E. For $i = 1, 2, \dots, N,$ let ${α_{n, i}} \subset (0, 1),$ $T^{i} : C \to C$ be finite family of n-generalized Bregman nonspreading mappings and $W_{n} : C \to C$ be a Bregman W-mapping generated by ${α_{n, i}}$ and $T^{1}, T^{2}, \dots, T^{N}$ in (4.1). Let $g_{j} : C \times C \to ℝ$ be bifunctions satisfying assumptions (A1)-(A4), $A_{g_{j}} : E \to 2^{E^{*}}$ be as defined in (5.3) for $j = 1, 2, \dots$ and suppose $Γ : = \cap_{i = 1}^{N} F (T^{i}) \cap \cap_{j = 1}^{\infty} A_{g_{j}}^{- 1} (0^{*}) \neq \emptyset .$ Define the sequence ${x_{n}}$ by the following process

(5.3)

\{\begin{array}{l} x_{0} = x \in C, C_{0} = Q_{0} = C, \\ z_{n} = \nabla f^{*} [β_{n, 0} \nabla f (x_{n}) + \sum_{j = 1}^{\infty} β_{n, j} \nabla f (R e s_{A_{g_{j}}}^{f} x_{n})], \\ y_{n} = \nabla f^{*} [δ_{n} \nabla f (x_{n}) + (1 - δ_{n}) \nabla f (W_{n} z_{n})], \\ C_{n} = {z \in C : D_{f} (z, y_{n}) \leq D_{f} (z, x_{n})}, \\ Q_{n} = {z \in C : ⟨ \nabla f (x) - \nabla f (x_{n}), x_{n} - z ⟩ \geq 0}, \\ x_{n + 1} = P r o j_{C_{n} \cap Q_{n}}^{f} x, \end{array}

for all n ≥ 0, where ${β_{n, j}}$ and ${δ_{n}}$ are sequences in [0,1) satisfying the following control conditions:

(i) $\sum_{j = 0}^{\infty} β_{n, j} = 1,$ $\forall n \in ℕ \cup {0};$

(ii) There exists $k \in ℕ$ such that $\underset{n \to \infty}{\lim \inf} β_{n, j} β_{n, k} > 0,$ $\forall j \in ℕ \cup {0};$

(iii) $0 \leq δ_{n} < 1,$ $\forall n \in ℕ$ and $\underset{n \to \infty}{\lim \inf} δ_{n} < 1.$

Then, the sequence ${x_{n}}$ converges strongly to Proj $_{Γ}^{f} x$ as $n \to \infty .$

6. Numerical Example

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

We give a numerical example to demonstrate the performance of our algorithm (4.7).

Example 6.1. Let $E = ℝ$ , $C = [- 10, 10]$ and let $f : ℝ \to ℝ$ be defined by $f (x) = \frac{2}{3} x^{2} .$ Let $g : C \times C \to ℝ$ be defined by $g (x, y) = x (y - x)$ , $\forall x, y \in C$ and $T : C \to C$ be defined by $T^{i} x = \frac{1}{3 i} x,$ $i = 1, 2, \dots, N .$ It is easy to observe that f is coercive Legendre function which is bounded, uniformly Fréchet differentiable and totally convex on bounded subset of $ℝ$ and $\nabla f (x) = \frac{4}{3} x .$ Also since $f^{*} (x^{*}) = \sup {⟨ x^{*}, x ⟩ - f (x) : x \in ℝ},$ then $f^{*} (z) = \frac{3}{8} z^{2}$ and $\nabla f^{*} (z) = \frac{3}{4} z .$ Further, Tⁱ is 1-generalized Bregman nonspreading mapping and $R e s_{λ_{n}, g_{j}}^{f} z = \frac{z}{2 - 3 λ_{n} j} .$

Choose ${α_{n, i}} = \{\frac{1}{{(n + i)}^{2}}\},$ ${δ_{n}} = \{\frac{1}{{(n + 1)}^{2}}\},$ ${λ_{n}} = \{\frac{1}{2}\}$ and for each $n \in ℕ \cup {0}$ , and $j \geq 0$ , let ${β_{n, j}}$ be defined by

β_{n, j} = \{\begin{array}{l} \frac{1}{3^{j + 1}} (\frac{n}{n + 1}), & n > j, \\ 1 - \frac{n}{n + 1} \sum_{k = 1}^{n} \frac{1}{3^{k}} & n = j, \\ 0 & n < j . \end{array}

Observe that g satisfy Assumption (A1)-(A4) and $Γ = {0} \neq \emptyset .$ After simplification, the hybrid iterative scheme (4.7) reduces to the following: Given x₀,

(6.1)

\{\begin{array}{l} z_{n} = \frac{3}{4} [β_{n, 0} \frac{4}{3} (x_{n}) + \sum_{j = 1}^{\infty} β_{n, j} \frac{2 x_{n}}{3 (2 - 3 j)}]; \\ y_{n} = \frac{3}{4} [\frac{4}{3 {(n + 1)}^{2}} (x_{n}) + (1 - \frac{1}{{(n + 1)}^{2}}) \frac{4}{3} (W_{n} z_{n})]; \\ C_{n} = [0, \frac{2 (x_{n}^{2} + y_{n}^{2})}{3}]; \\ Q_{n} = [0, x_{n}]; \\ x_{n + 1} = P r o j_{C_{n} \cap Q_{n}}^{f} x_{0}, \end{array}

where $W_{n} z_{n}$ is computed as follow:

(6.2)

\begin{array}{l} S_{n, 0} z_{n} = z_{n}, \\ S_{n, 1} z_{n} = \frac{z_{n}}{3 {(n + 1)}^{2}} + (1 - \frac{1}{{(n + 1)}^{2}}) z_{n}; \\ S_{n, 2} z_{n} = \frac{z_{n}}{6 {(n + 2)}^{2}} + (1 - \frac{1}{{(n + 2)}^{2}}) S_{n, 1} z_{n}; \\ ⋮ \\ W_{n} z_{n} = S_{n, N} = \frac{z_{n}}{3 N {(n + N)}^{2}} + (1 - \frac{1}{{(n + N)}^{2}}) S_{n, N - 1} z_{n} . \end{array}

Finally, we select the following values

Case(i): N=10 and x₀ = -1,

Case(ii): N=50 and x₀ = 0.5,

Case(iii): N= 100 and x₀ = 2.

Using Matlab 2016(b) and $ϵ = 10^{- 6}$ as stopping criterion, we plot the graphs of error $| | x_{n + 1} - x_{n} | |$ against number of iteration in each case. The computational results can be found in Figure 1.

Figure 1. Example 6.1, Top-Left: Case(i); Top-Right: Case(ii); Bottom: Case(iii).

7. Acknowledgements.

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

The authors sincerely thank the reviewer for his careful reading, constructive comments and fruitful suggestions that substantially improved the manuscript. The first author acknowledges with thanks the bursary and financial support from Department of Science and Innovation and National Research Foundation, Republic of South Africa Center of Excellence in Mathematical and Statistical Sciences (DSI-NRF COE-MaSS) Doctoral Bursary. The second author is supported by the National Research Foundation (NRF) of South Africa Incentive Funding for Rated Researchers (Grant Number 119903). Opinions expressed and conclusions arrived are those of the authors and are not necessarily to be attributed to the NRF.

References

Go to

Abstract
1. Introduction
2. Preliminaries
3. Main Results
4. Convergence Analysis
5. Application to Zeros of Maximal Monotone Operators
6. Numerical Example
7. Acknowledgements.
Figures
References

H. A. Abass, K. O. Aremu, L. O. Jolaoso and O. T. Mewomo, An inertial forward-backward splitting method for approximating solutions of certain optimization problems, J. Nonlinear Funct. Anal., 2020(2020), Art. ID 6, 20 pp.
T. O. Alakoya, L. O. Jolaoso and O. T. Mewomo, Modified inertia subgradient extragradient method with self adaptive stepsize for solving monotone variational inequality and fixed point problems, Optimization(2020), DOI:10.1080/02331934.2020.1723586.
B. Ali, M. H. Harbau and L. H. Yusuf, Existence theorems for attractive points of semigroups of Bregman generalized nonspreading mappings in Banach spaces, Adv. Oper. Theory, 2(3)(2017), 257-268.
K. O. Aremu, C. Izuchukwu and G. C. Ugwunnadi, O. T. Mewomo, On the proximal point algorithm and demimetric mappings in CAT(0) spaces, Demonstr. Math., 51(2018), 277-294.
H. H. Bauschke and J. M. Borwein, Legendre functions and the method of random Bregman projection, J. Convex Anal., 4(1997), 27-67.
H. H. Bauschke, J. M. Boorwein and P. L. Combettes, Essential smoothness, essential strict convexity and Legendre functions in Banach space, Comm. Contemp. Math, 3(2001), 615-647.
E. Blum and W. Oettli, From optimization and variational inequalities to equilibrium problems, Math Stud., 63(1994), 123-145.
J. M. Borwein, S. Reich and S. Sabach, A characterization of Bregman firmly nonexpansive operators using a new monotonicity concept, J. Nonlinear Convex Anal, 12(2011), 161-184.
D. Butnariu and A. N. Iusem, Totally convex functions for fixed points computational and infinite dimensional optimization, Kluwer Academic Publishers, Dordrecht, The Netherland, (2000).
D. Butnariu, E. Resmerita, Bregman distances, totally convex functions and a method for solving operator equations in Banach spaces, Abstr. Appl. Anal., (2006), 1-39, Article ID: 84919.
P. Daniele, F. Giannessi, and A. Mougeri,(eds.), Equilibrium problems and variational models. Nonconvex optimization and its application, vol. 68. Kluwer Academic Publications, Norwell (2003).
N. Hussain, E. Naraghirad and A. Alotaibi, Existence of common fixed points using Bregman nonexpansive retracts and Bregman functions in Banach spaces, Fixed Point Theory Appl., 2013, 2013:113.
C. Izuchukwu, G. C. Ugwunnadi, O. T. Mewomo, A. R. Khan, and M. Abbas, Proximal-type algorithms for split minimization problem in p-uniformly convex metric space, Numer. Algorithms, 82(3)(2019), 909-935.
l. O. Jolaoso, O. T. Alakoya, A. Taiwo and O. T. Mewomo, A parallel combination extragradient method with Armijo line searching for finding common solution of finite families of equilibrium and fixed point problems, Rend. Circ. Mat. Palermo II, (2019), DOI:10.1007/s12215-019-00431-2
L. O. Jolaoso, T. O. Alakoya, A. Taiwo and O. T. Mewomo, Inertial extragradient method via viscosity approximation approach for solving Equilibrium problem in Hilbert space, Optimization, (2020), DOI:10.1080/02331934.2020.1716752.
L. O. Jolaoso and O. T. Mewomo, On generalized Bregman nonspreading mappings and zero points of maximal monotone operator in a reflexive Banach space, Port. Math., 76(2019), 229-258. doi: 10.4171/PM/2034.
L. O. Jolaoso, K. O. Oyewole, C. C. Okeke and O. T. Mewomo, A unified algorithm for solving split generalized mixed equilibrium problem and fixed point of nonspreading mapping in Hilbert space, Demonstr. Math., 51(2018), 211-232.
L. O. Jolaoso, A. Taiwo, T. O. Alakoya and O. T. Mewomo, A unified algorithm for solving variational inequality and fixed point problems with application to the split equality problem, Comput. Appl. Math., 39(1)(2020), Art. 38, 1-28.
L. O. Jolaoso, A. Taiwo, T. O. Alakoya, and O. T. Mewomo, Strong convergence theorem for solving pseudo-monotone variational inequality problem using projection method in a reflexive Banach space, J. Optim. Theory Appl., (2020), DOI: 10.1007/s10957-020-01672-3.
G. Kassay, S. Reich and S. Sabach, Iterative methods for solving system of variational inequalities in reflexive Banach spaces, SIAM J. Optim., 21(4)(2011), 1319-1344.
K. R. Kazmi, and R. Ali, Common solution to an equilibrium problem and a fixed point problem for an asymptotically quasi-φ-nonexpansive mapping in intermediate sense, RACSAM, 111(2017), 877889.
K. R. Kazmi, R. Ali and S. Yousuf, Generalized equilibrium and fixed point problems for Bregman relatively nonexpansive mappings in Banach spaces, J. Fixed Point Theory Appl., 20:151(2018), doi: 10.1007/s11784-018-0627-1.
F. Kohsaka, Existence of fixed points of nonspreading mappings with Bregman distance, In: Nonlinear Mathematics for Uncertainty and its Applications, Advances in Intelligent and Soft Computing, Vol. 100, 49(2011), pp. 403-410.
F. Kohsaka and W. Takahashi, Proximal point algorithms with Bregman funcBanach space, J. Nonlinear Convex Anal., 6(2005), 505523.
L. -J. Lin, W. Takahashi and Z. -T. Yu, Attractive point theorems for generalized nonspreading mappings in Banach spaces, J. nonlinear and convex analysis, 14(1)(2013), 1-20.
A. Moudafi, Second order differential proximal methods for equilibrium problems, J. Inequal. Pure Appl. Math., 4(1)(2003), 17.
E. Naraghirad and J. -C. Yao, Bregman weak relatively nonexpansive mappings in Banach spaces, Fixed Point Theory Appl., 2013(2013), Art. No. 141.
F. U. Ogbuisi and O. T. Mewomo, On split generalized mixed equilibrium problems and fixed point problems with no prior knowledge of operator norm, J. Fixed Point Theory Appl., 19(3)(2016), 2109-2128.
F. U. Ogbuisi and O. T. Mewomo, Convergence analysis of common solution of certain nonlinear problems, Fixed Point Theory, 19(1)(2018), 335-358.
G. N. Ogwo, C. Izuchukwu, K. O. Aremu and O. T. Mewomo, A viscosity iterative algorithm for a family of monotone inclusion problems in an Hadamard space, Bull. Belg. Math. Soc. Simon Stevin, 27(2020), 127-152.
O. K. Oyewole, H. A. Abass and O. T. Mewomo, Strong convergence algorithm for a fixed point constraint split null point problem, Rend. Circ. Mat. Palermo II, (2020), DOI:10.1007/s12215-020-00505-6.
K. O. Oyewole, L. O. Jolaoso, C. Izuchuwu and O. T. Mewomo, On approximation of common solution of finite family of mixed equilibrium problems with µ-η relaxed monotone operator in a Banach space, Politehin. Uni. Bucharest Sci. Bull. Ser. A Appl. Math. Phys., 80(1)(2018), 175-190.
S. Reich and S. Sabach, A strong convergence theorem for proximal type-algorithm in reflexive Banach spaces, J. Nonlinear Convex Anal., 10(2009), 471-485.
S. Reich and S. Sabach, Two strong convergence theorem for a proximal method in reflexive Banach spaces, Numer. Funct. Anal. Optim., 31(13)(2010), 22-44.
S. Reich and S. Sabach, Two strong convergence theorems for Bregman strongly nonexpansive operators in reflexive Banach spaces, Nonlinear Anal., 73(1)(2010), 122-135.
S. Reich and S. Sabach, Three strong convergence theorems regarding iterative methods for solving equilibrium problems in reflexive Banach spaces, Contemp. Math., 568(2012), 225240.
S. Sabach, Products of finite many resolvents of maximal monotone mappings in reflexive Banach space, SIAM J. Optim, 21(2011), 1289-1308.
A. Taiwo, T. O. Alakoya and O. T. Mewomo, Halpern-type iterative process for solving split common fixed point and monotone variational inclusion problem between Banach spaces, Numer. Algorithms, (2020), DOI: 10.1007/s11075-020-00937-2.
A. Taiwo, L. O. Jolaoso and O. T. Mewomo, A modified Halpern algorithm for approximating a common solution of split equality convex minimization problem and fixed point problem in uniformly convex Banach spaces, Comput. Appl. Math., 38(2)(2019), Article 77.
A. Taiwo, L. O. Jolaoso and O. T. Mewomo, Parallel hybrid algorithm for solving pseudomonotone equilibrium and Split Common Fixed point problems, Bull. Malays. Math. Sci. Soc., 43(2020), 1893-1918.
A. Taiwo, L. O. Jolaoso and O. T. Mewomo, Viscosity approximation method for solving the multiple-set split equality common fixed-point problems for quasi-pseudocontractive mappings in Hilbert Spaces, J. Ind. Manag. Optim., (2020), DOI:10.3934/jimo.2020092.
A. Taiwo, L. O. Jolaoso and O. T. Mewomo, General alternative regularization method for solving Split Equality Common Fixed Point Problem for quasi- pseudocontractive mappings in Hilbert spaces, Ricerche Mat., (2019), DOI: 10.1007/s11587-019-00460-0.
W. Takahashi, Nonlinear Functional Analysis, Fixed Point Theory and its Applications, Yokohama Publishers, Yokohama, 2000.
W. Takahashi, N. -C. Wong and J. -C. Yao, Fixed point theorems for three new nonlinear mappings in Banach spaces, J. Nonlinear Convex Anal., 13(2012), 368-381.
W. Takahashi, N. -C. Wong and J. -C. Yao, Fixed point theorems and convergence theorems for generalized nonspreading mappings in Banach spaces, J. Fixed Point Theory and Appl., 11(2012), 159-183.
W. Takahashi and K. Zembayashi, Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mmapings in Banach spaces, Nonlinear Anal., 70(2009) 45-57.