Abstract
In this paper, we introduce two iterative algorithms for finding a common element of the set of fixed points of a quasi- ϕ-asymptotically nonexpansive multivalued mapping and the sets of solutions of generalized mixed equilibrium problem in Banach space. Then, we prove strong and weak convergence of the sequences to element in the mentioned set. Our results generalize and improve recent results announced by many authors.
Similar content being viewed by others
Introduction
Let E be a real Banach space with norm ∥.∥,E∗ be the dual space of E, and C be a nonempty closed convex subset of E. Let f be a bifunction from C×C to \(\mathbb {R}\), where \(\mathbb {R}\) is the set of real numbers. The equilibrium problem is to find \(\hat {x} \in C\) such that
This problem was first studied by Blum and Oettli [1]. The set of solutions of equilibrium problem (1.1) is denoted by EP(f) that is EP(f) = \(\lbrace \hat {x}\in C : f(\hat {x},y)\geq 0, \forall y \in C \rbrace \). Let A:C→E∗ be a nonlinear mapping. The variational inequality problem with respect to A and C is to find u∈C such that 〈Au,v−u〉≥0 for all v∈C. The set of solutions of variational inequality problem with respect to C and A is denoted by VI(C,A). Setting f(x,y)=〈Ax,y−x〉 for all x,y∈C, then \(\hat {x}\in EP(f)\) if and only if \(\langle A\hat {x}, y-\hat {x} \rangle \geq 0,\) for all y∈C, i.e., \(\hat {x}\) is a solution of the variational inequality with respect to A and C. Let \(\varphi : C \longrightarrow \mathbb {R}\cup \lbrace \infty \rbrace \) be proper, convex, and lower semi-continuous, then the minimization problem of φ is to find x∈C such that φ(x)≤φ(y) ∀y∈C.
The generalized equilibrium problem is to find \(\hat {x} \in C\) such that
The set of solutions of (2) is denoted by
In this paper, we are interested in solving equilibrium problem with respect to f given by
where \(f_{i} : C \times C \longrightarrow \mathbb {R}\) are bifunctions for i = 1,2,3,...k, satisfying the following conditions (A1)–(A4) below;(A1) fi(x,x)=0, for all x∈C, for i=1,2,3...k(A2) fi is monotone, i.e., fi(x,y)+fi(y,x)≤0, for each i∈{1,2,3,...,k} and x,y∈C(A3) for all x,y,z∈C, we have \(\underset {t\to \infty }{\limsup } f_{i}(tz + (1-t)x,y)\leq f_{i} (x, y)\)(A4) for all x∈C,fi(x,.) is convex and lower semi-continuous ∀i∈{1,2,3,...,k}.
The mixed equilibrium problem is to find \(\widehat {x}\in C\) such that
The set of solution of (4) is denoted by
The generalized mixed equilibrium problem is to find \(\widehat {x}\in C\) such that
The set of solution of (5) is denoted by
The generalized mixed equilibrium problems are problems that arises in various applications such as in economics, mathematical physics, engineering, and other fields. Moreover, equilibrium problems are closely related with other general problems in nonlinear analysis such as fixed point, game theory, variational inequality, and optimization problems. Some methods have been proposed to solve the equilibrium problem in Hilbert spaces, see for example [2–4] and references contained therein.
In 2007, Tada and Takahashi [5, 6] and Takahashi and Takahashi [7] proved weak and strong convergence theorems for finding a common element of the set of an equilibrium problem and the set of fixed points of a nonexpansive mapping in a Hilbert space. In 2009, Takahashi and Zembayashi [8] introduced two iterative sequences for finding a common element of the set of fixed points of a relatively nonexpansive mapping and the set of solutions of an equilibrium problem in Banach space as follows :
where J is the normalized duality mapping on E, {αn}⊂[0,1] satisfies \(\underset {n\to \infty }{\liminf }\alpha _{n}(1-\alpha _{n}) > 0\) and {rn}⊂[a,∞] for some a>0. They proved strong convergence of the scheme (6) to a common element of the set of fixed points of relatively nonexpansive mapping and the set of solution of an equilibrium problem in a Banach space. Moreover, they proved weak convergence using scheme (7). In 2012, Chang et al. [9] considered the class of uniformly quasi- ϕ-asymptotically nonexpansive nonself mappings and studied in a uniformly convex and uniformly smooth real Banach space. In 2014, Deng et al. [10] proved strong convergence theorems of the hybrid algorithm for common fixed point problem of finite family of asymptotically nonexpansive mappings and the set of solution of mixed equilibrium problem in uniformly smooth and uniformly convex Banach spaces. In 2016, Ezeora [11] proved strong convergence theorems for a common element of the set of solution of generalized mixed equilibrium problem and the set of common fixed points of a finite family of multivalued strictly pseudocontractive mappings in real Hilbert spaces.
In this paper, motivated and inspired by the results mentioned above, we prove strong and weak convergence theorems for finding a common element of the set of fixed point of a quasi- ϕ-asymptotically nonexpansive multivalued mapping and the sets of solutions of generalized mixed equilibrium problem in Banach space. Our results generalized and improve recent results announced by many authors.
Preliminaries
Throughout this paper, we denoted by \(\mathbb {N}\) and \(\mathbb {R}\) the sets of positive integer and real numbers, respectively. Let E be a Banach space and E∗ be the dual of E; we denote the strong convergence and the weak convergence of a sequence {xn} to x in E by xn→x and \(x_{n}\rightharpoonup x\) respectively. We also denote the weak ∗ convergence of a sequence \(\lbrace x_{n}^{*}\rbrace \) to x∗ in E∗ by \(x_{n}^{*} \rightharpoonup x^{*}\); for all x∈E and x∗∈E∗, we denote the value of x∗ at x by 〈x,x∗〉, which is called duality pairing. The normalized duality mapping J on E is defined by
for every x∈E. A Banach space E is said to be strictly convex if \(\frac {\parallel x + y \parallel }{2} < 1\) for all x,y∈E with ∥x∥=∥y∥=1 and x≠y. The space E is also said to be uniformly convex if for each ε∈(0,2], there exists δ>0 such that \(\frac {\parallel x + y \parallel }{2} \leq 1 - \delta \) for all x,y∈E with ∥x∥=∥y∥=1 and ∥x−y∥≥ε. A Banach space is said to have Kadec-Klee property, if for \(x_{n} \rightharpoonup x\) and ∥xn∥→∥x∥ imply xn→x. Every Hilbert space and uniformly convex Banach space has Kadec-Klee property. The space E is said to be smooth if the \(\underset {n\to 0}{\lim }\frac {\parallel x + ty \parallel - \parallel x \parallel }{t}\) exists for all x,y∈S(E)={z∈E:∥z∥=1}. It is also said to be uniformly smooth if the limit exists uniformly in x,y∈S(E). It is known that if E is smooth, strictly convex, and reflexive, then the duality mapping J is single-valued, one-to-one, and onto. The duality mapping J is said to be weakly sequentially continuous if for any sequence {xn} in E, \(x_{n} \rightharpoonup x\) implies \(Jx_{n} \rightharpoonup Jx\), see [12].
Let E be a smooth, strictly convex, and reflexive Banach space and C be a nonempty closed convex subset of E. Throughout this paper, we denote by ϕ the function defined by ϕ(y,x)=∥y∥2−2〈y,Jx〉+∥x∥2,∀x,y∈E. It is clear from the definition of the function ϕ that for all x,y,z∈E, we have (∥y∥−∥x∥)2≤ϕ(x,y)≤(∥y∥+∥x∥)2 and ϕ(x,y)=ϕ(x,z)+ϕ(z,y)+〈x−z,Jz−Jy〉. Following Albert [13], the generalized projection ΠC from E onto C is defined by ΠC(x) = argmin ϕ(y,x),∀x∈E and y∈C. If E is a Hilbert space H, then ϕ(y,x)=∥y−x∥2 and ΠC become the metric projection of H onto C.
The following lemmas for generalized projections are well known.
Lemma 1
see [13] Let C be a nonempty closed convex subset of a smooth, strictly convex, and reflexive Banach space E. Then, ϕ(x,ΠCy)+ϕ(ΠCy,y)≤ϕ(x,y),∀x∈C and y∈E.
Lemma 2
see [13, 14] Let C be a nonempty closed convex subset of a smooth, strictly convex, and reflexive Banach space. Let x∈E and z∈C. Then, z=ΠCx⇔〈y−z,Jx−Jy〉≤0,∀y∈C.
A mapping T:C→C is called nonexpansive if ∥Tx−Ty∥≤∥x−y∥,∀x,y∈C. We denote by F(T) the set of fixed points of T see [15]. A point p∈C is said to be an asymptotic fixed point of T if there exists a sequence {xn} in C which converges weakly to p and lim n→∞∥xn−Txn∥=0. We denote the set of all asymptotic fixed points of T by \(\hat {F}(T).\) Following Matsushita and Takahashi [16–18], a mapping T of C into itself is said to be relatively nonexpansive if the following conditions are satisfied:(i) F(T)≠∅(ii) ϕ(p,Tx)≤ϕ(p,x),∀x∈C,p∈F(T) and (iii) \(F(T) = \hat {F}(T)\).Let C be a nonempty closed convex subset of a Banach space E. Let \(\hat {C}B(C)\) be the families of nonempty, closed, and bounded subsets of C
Definition 1
A multivalued mapping \(T : C \longrightarrow \hat {C}B(C)\) is said to be relatively nonexpansive if(i) F(T)≠∅(ii) ϕ(p,ω)≤ϕ(p,x),∀x∈C,ω∈Tx,p∈F(T) and (iii) \(F(T) = \hat {F}(T)\).
A multivalued mapping \(T : C\longrightarrow \hat {C}B(C)\) is said to be closed if for any sequence {xn}⊂C with xn→x and ωn∈T(xn) with ωn→y then y∈Tx.
Definition 2
A multivalued mapping \(T : C \longrightarrow \hat {C}B(C)\) is said to be quasi- ϕ- nonexpansive if(i) F(T)≠∅ and (ii) ϕ(p,ω)≤ϕ(p,x),∀x∈C,ω∈Tx,p∈F(T).
A multivalued mapping \(T : C\longrightarrow \hat {C}B(C)\) is a said be quasi- ϕ-asymptotically nonexpansive if(i) F(T)≠∅(ii) There exists a real sequence {kn}⊂[1,∞) with kn→1 such that ϕ(p,ωn)≤knϕ(p,x),∀n≥1,x∈C,ωn∈Tnx,p∈F(T).
Lemma 3
see [14] Let E be a smooth and uniformly convex Banach space and let {xn} and {yn} be sequences in E such that either {xn} or {yn} is bounded. If \(\underset {n\to \infty }{\lim } \phi (x_{n}, y_{n}) = 0,\) then \(\underset {n\to \infty }{\lim } \parallel x_{n} - y_{n} \parallel = 0\).
Lemma 4
see [19] Let E be a uniformly convex Banach space. For arbitrary r>0, let Br(0):={∥x∈E:∥x∥≤r}. Then, for any given sequence \(\left \lbrace x_{n} \right \rbrace ^{\infty }_{n=1} \subset B_{r} (0)\)and for any given sequence \(\lbrace \lambda \rbrace ^{\infty }_{n=1}\) of positive numbers such that \(\sum _{n=1}^{\infty } \lambda _{n} = 1\), there exists a continuous strictly increasing convex function
such that for any positive integers i,j with i<j, the following inequality holds:
Lemma 5
see [20] Let E be a smooth and uniformly convex Banach space and let r>0. Then, there exists a strictly increasing continuous and convex function \(g : [ 0, 2r ]\longrightarrow \mathbb {R}\) such that g(0)=0 and g1(∥x−y∥)≤ϕ(x,y), for all x,y∈Br.
Lemma 6
see [21] Let {an},{bn}, and {cn} be sequences of nonnegative real numbers satisfying an+1≤(1+cn)an+bn, for all \(n\in \mathbb {N},\) where \(\sum _{n=1}^{\infty } b_{n} < \infty \) and \(\sum _{n=1}^{\infty } c_{n} <\infty \). Then,(i) \(\underset {n\to \infty }{\lim } a_{n}\) exists.(ii)if \(\underset {n\to \infty }{\liminf } a_{n} = 0,\) then \(\underset {n\to \infty }{\lim } a_{n} = 0.\)
Lemma 7
see [22] Let E be a smooth, strictly convex, and reflexive Banach space and C be a nonempty closed convex subset of E. Let B:C→E∗ be a continuous and monotone mapping, \(\zeta : C \longrightarrow \mathbb {R}\) be a lower semi-continuous and convex function, and \(h : C \times C \longrightarrow \mathbb {R}\) be a bifunction satisfying the conditions (A1)−(A4). Let r>0 be any given number and u∈E be any given point. Then, the following hold:(1) There exists z∈C such that
(2) If we define a mapping Ar:E→C by
the mapping Ar has the following properties:(a) Ar is single-valued;(b) \(F(A_{r}) = GMEP(h, A, \zeta) = \hat {F}(A_{r})\)(c) GMEP(h,A,ζ) is a closed convex subset of C;(d) ϕ(q,Aru)+ϕ(Aru,u)≤ϕ(q,u),∀q∈F(Ar),u∈E.where \(\hat {F}(A_{r})\) denotes the set of asymptotic fixed points of Ar, i.e.,
Strong convergence theorem
In this section, we prove a strong convergence theorem for finding a common element of the set of solutions of generalized mixed equilibrium problems and the set of fixed point of quasi- ϕ-asymptotically nonexpansive multivalued mapping in Banach space.
Theorem 1
Let E be a uniformly smooth and uniformly convex Banach space, and Let C be a nonempty closed convex subset of E and \(\hat {C}B(C)\) be the family of nonempty, closed, and bounded subsets of C. Let \(f_{i} : C \times C \longrightarrow \mathbb {R}, i = 1,2,3,...k\) be bi functions which satisfy the conditions (A1)−(A4),A:C→E∗ be a nonlinear mapping, and \(\varphi : C \longrightarrow \mathbb {R} \cup \lbrace \infty \rbrace \) be a proper, convex, and lower semi-continuous function. Let Ti,i=1,2,3,...N be a quasi- ϕ-asymptotically nonexpansive multivalued mapping from C into \(\hat {C}B(C)\) such that F(T)∩GMEP(f,A,φ)≠∅. Let {xn} be a sequence generated by
where J is the normalized duality mapping of E, {αi,n}⊂[0,1] satisfies \(\underset {n\to \infty }{\liminf }\alpha _{0,n}\alpha _{i,n} > 0, \sum _{i=0}^{N} \alpha _{i,n} = 1\) and \(w_{i,n} \in T_{i}^{n}x_{n}, \forall _{i} = 1,2,3,...N. \lbrace r_{n} \rbrace \subset [ a, \infty ]\), some a>0. Then, {xn} converges strongly to ΠF(T)∩GMEP(f,A,φ)x, where ΠF(T)∩GMEP(f,A,φ) is the generalized projection of E onto F(T)∩GMEP(f,A,φ),
Proof
Let two functions \(\tau : C\times C\longrightarrow \mathbb {R}\) and Tr:E→C be defined by
and
respectively. Now, the function τ satisfies conditions (A1)−(A4) and Tr has the properties (a)−(d). Therefore, iterative sequence (8) can be rewritten as
□
We first show that Mn∩Wn is closed and convex, and it is obvious that Mn is closed and convex since \(\phi (z,u_{n})\leq k_{n}^{2}\phi (z,x_{n})\Longleftrightarrow \left (1-k_{n}^{2} \right)\left \Vert z \right \Vert ^{2} -2\left (1- k_{n}^{2}\right)\left \langle z, Ju_{n}\right \rangle + 2k_{n}^{2} \left \langle z,Jx_{n}-Ju_{n}\right \rangle \leq k_{n}^{2}\left \Vert x_{n} \Vert ^{2}-\Vert u_{n}\right \Vert ^{2}. \)
Thus, Mn∩Wn is a closed and convex subset of E for all \(n\in \mathbb {N}\cup \lbrace 0\rbrace \), so that {xn} is well defined.
Let u∈F(T)∩GMEP(f,A,φ), putting \(\phantom {\dot {i}\!}u_{n} = \omega _{n}\in T_{r_{n}}y_{n}\) for all \(n\in \mathbb {N}\cup \lbrace 0\rbrace \), and since \(T_{r_{n}}\) are quasi- ϕ-asymptotically nonexpansive multivalued, we have
Hence, we have u∈Mn. This implies that \(F(T) \cap GMEP(f, A,\varphi) \subset M_{n}, \forall n \in \mathbb {N}\cup \lbrace 0 \rbrace \).
Next, we show by induction that \(F(T) \cap GMEP (f,A,\varphi) \subset M_{n} \cap W_{n}, \forall n \in \mathbb {N}\cup \lbrace 0\rbrace \).
From W0=C, we have
Suppose that F(T)∩GMEP(f,A,φ)⊂Mk∩Wk, for some \(k \in \mathbb {N}\cup \lbrace 0\rbrace.\) Then, there exists xk+1∈Mk∩Wk such that \(x_{k+1} =\Pi _{M_{k} \cap W_{k}}x \)
From the definition of xk+1, we have for all z∈Mk∩Wk,
Since F(T)∩GMEP(f,A,φ)⊂Mk∩Wk, we have
∀z∈F(T)∩GMEP(f,A,φ) and so z∈Wk+1. Thus, F(T)∩GMEP(f,A,φ)⊂Wk+1. Therefore, we have F(T)∩GMEP(f,A,φ)⊂Mk+1∩Wk+1. Therefore, we obtain
From the definition of Wn, we have \(\phantom {\dot {i}\!}x_{n} = \Pi _{W_{n}}x\); using this and Lemma 1, we have
for all u∈F(T)∩GMEP(f,A,φ)⊂Wn. Therefore, ϕ(xn,x) is bounded, and consequently {xn} and \(\left \lbrace T_{i}^{n}x_{n} \right \rbrace \) are bounded.
Since \(x_{n+1} = \Pi _{M_{n} \cap W_{n}}x \in M_{n} \cap W_{n}\subset W_{n}\) and \(\phantom {\dot {i}\!}x_{n} = \Pi _{W_{n}}x,\) we have
Thus, {ϕ(xn,x)} is nondecreasing. Using (10) and (11), we have the limit of {ϕ(xn,x)} exists.
From \(\phantom {\dot {i}\!}x_{n} = \Pi _{W_{n}}x\) and Lemma 1, we also have
for all \(n \in \mathbb {N} \cup \lbrace 0 \rbrace.\) This means that \(\underset {n\to \infty }{lim} \phi (x_{n+1}, x_{n}) = 0\).
From \(x_{n+1} = \Pi _{M_{n} \cap W_{n}}x \in M_{n}\) and the definition of Mn, we have
Therefore, we have\(\phantom {\dot {i}\!} \underset {n\to \infty }{\lim } \phi (x_{n+1}, u_{n})= 0\). As E is uniformly convex and smooth, we have from Lemma 3 that
From which, we have
Since J is uniformly norm-to-norm continuous on bounded sets, we have
Let r = sup\(_{n \in \mathbb {N}} \left \lbrace \Vert x_{n} \Vert, \Vert T_{i}^{n} x_{n}\Vert \right \rbrace.\) Since E is a uniformly smooth Banach space, we know that E∗ is a uniformly convex Banach space. So, for u∈F(T)∩GMEP(f,A,φ), putting \(\phantom {\dot {i}\!}u_{n} = \omega _{n} = T_{r_{n}}y_{n}\) and using Lemma 4, we have :
Therefore, from (12), we have\(k_{n}\alpha _{0,n}\alpha _{i,n} g (\Vert Jx_{n} - Jw_{i,n} \Vert)\leq k_{n}^{2} \phi (u, x_{n}) - \phi (u, u_{n}),\forall n\in \mathbb {N} \cup \lbrace 0 \rbrace.\)
But
Hence,
Since \(\underset {n\to \infty }{\liminf } \alpha _{0,n} \alpha _{i,n} > 0,\) we have
From the property g, we have \(\underset {n\to \infty }{\lim } \Vert Jx_{n} - Jw_{i,n}\Vert = 0\).
Since J−1 is uniformly norm-to-norm continuous on bounded sets, we have
Since {xn} is bounded, there exists a subsequence \(\left \lbrace x_{n_{k}}\right \rbrace \) of {xn} such that \(x_{n_{k}} \rightharpoonup \hat {x},\) for some \(\hat {x}\in E\). Since T is quasi- ϕ-asymptotically nonexpansive multivalued mapping and E is a reflexive space, then we have \(\hat {x}\in F(T_{i})\).
Next, we show that \(\hat {x}\in GMEP\left (f, A,\varphi \right).\) From \(\phantom {\dot {i}\!}u_{n} = T_{r_{n}}y_{n}\) Lemma 7 (d) and (13), we have
Thus, \(\underset {n\to \infty }{\lim } \phi (u_{n}, y_{n}) = 0\).
Since E is uniformly convex and smooth, we have from Lemma 3 that
From \(x_{n_{k}} \rightharpoonup \hat {x}, ~ \Vert x_{n} - u_{n} \Vert \longrightarrow 0\) and (14), we have \(y_{n_{k}} \rightharpoonup \hat {x}\) and \(u_{n_{k}} \rightharpoonup \hat {x}.\)
As J is uniformly norm-to-norm continuous on bounded sets and (14), we have\(\underset {n\to \infty }{\lim } \left \Vert Ju_{n} - Jy_{n} \right \Vert = 0\). From rn≥a, we have
By \(\phantom {\dot {i}\!}u_{n} = T_{r_{n}}y_{n}\), we have
Replacing n by nk, we have from (A2) that
Letting k→∞, in (16) and using (A4), we obtain
For t with 0<t≤1 and y∈C, let \(y_{t}= ty +(1-t)\hat {x}\). Since y∈C and \(\hat {x}\in C\), we have yt∈C and \(\tau (y_{t}, \hat {x})\leq 0, \forall y\in C\). Now, using (A1) and (A3), we have
Dividing by, t we have
Letting t→0, and using (A3), we have
This shows that \(\hat {x}\in GMEP\left (f, A, \varphi \right)\).
Let ω=ΠF(T)∩GMEP(f,A,φ)x, From \(x_{n+1} = \Pi _{M_{n}\cap W_{n}}x\) and ω∈F(T)∩GMEP(f,A,φ)⊂Mn∩Wn, we have
Since the norm is weakly lower semi-continuous and \(x_{n_{k}}\rightharpoonup \hat {x}\), we have
From the definition of ΠF(T)∩GMEP(f,A,φ), we have \(\hat {x} = \omega.\) Hence, \(\underset {k \rightarrow \infty }{lim}\phi \left (x_{n_{k}}, x \right) = \phi (\omega, x),\) Therefore,
Since E has the Kadec-Klee property, we have that \(x_{n_{k}} \longrightarrow \omega = \Pi _{F(T)\cap GMEP\left (f, A, \varphi \right)}x.\)
Therefore, {xn} converges strongly to ΠF(T)∩GMEP(f,A,φ)x.
Weak convergence theorem
In this section, we prove a weak convergence theorem for finding a common element of the set of solutions of generalized mixed equilibrium problem and the set of fixed point of quasi- ϕ-asymptotically nonexpansive multivalued mapping in Banach space. Before proving the Theorem, we need the following proposition.
Proposition 1
Let E be a uniformly smooth and uniformly convex Banach space and let C be a nonempty closed convex subset of E and \(\hat {C}B(C)\) be the family of nonempty, closed, and bounded subsets of C. Let \(f_{i} : C \times C \longrightarrow \mathbb {R},(i = 1,2,3,...K \in \mathbb {N})\) be bifunctions satisfying (A1)−(A4),A:C→E∗ be a nonlinear mapping and let \(\varphi : C \longrightarrow \mathbb {R} \cup \lbrace \infty \rbrace \) be a proper, convex, and lower semi-continuous function. Let T be a quasi- ϕ-asymptotically nonexpansive multivalued mapping from C into \(\hat {C}B(C)\) such that F(T)∩GMEP(f,A,φ)≠∅. Let {xn} be a sequence generated by u1∈E
for every \(n\in \mathbb {N}\), where J is the normalized duality mapping on E, {αi,n}⊂[0,∞) satisfying \(\underset {n\to \infty }{\liminf }\alpha _{0,n}\alpha _{i,n} > 0, \sum _{i=0}^{N}\alpha _{i,n} = 1\) and \(w_{i,n} \in T_{i}^{n}x_{n}, \forall i = 1,2,3,...N \in \mathbb {N}.\)
Let {rn}⊂(0,∞). Then, {ΠF(T)∩GMEP(f,A,φ)xn} converges strongly to z∈F(T)∩GMEP(f,A,φ), where ΠF(T)∩GMEP(f,A,φ) is generalized projection of E onto F(T)∩GMEP(f,A,φ).
Proof
Let u∈F(T)∩GMEP(f,A,φ). Putting \(\phantom {\dot {i}\!}x_{n} = \omega _{n}\in T_{r_{n}}u_{n}\) for all \(n\in \mathbb {N}\), we know that \(T_{r_{n}}\) are quasi- ϕ-asymptotically nonexpansive multivalued, and we have
Thus,
Hence, we have
By Lemma 6, \( \sum _{i=1}^{\infty }\left (k_{n}^{2} - 1\right) <\infty \), we obtain \(\underset {n\to \infty }{\lim }\phi (u, x_{n})\) exists. It follows that {xn} and {wi,n} are bounded.
Define yn=ΠF(T)∩GMEP(f,A,φ)xn for all \(n\in \mathbb {N}\). Then, yn∈F(T)∩GMEP(f,A,φ); therefore, from (17), we have
Thus,
Hence, from (18), we have \(\phi (y_{n+1}, x_{n+1}) \leq k_{n}^{2} \phi (y_{n}, x_{n}) = \left (1 + \left (k_{n}^{2} - 1\right)\right)\phi (y_{n}, x_{n})\).
By the assumption \( \sum _{i=1}^{\infty }\left (k_{n}^{2} - 1\right) <\infty \) and using Lemma 6, we have \( \underset {n\to \infty }{lim}\phi (y_{n}, x_{n})\). For \(m\in \mathbb {N}\) such that m>n, we also have from (18) that
From yn+m=ΠF(T)∩GMEP(f,A,φ)xn+m and Lemma 1, we have
Hence,\(\phi (y_{n}, y_{n+m})\leq \left (k_{n}^{2}\right)^{m} \phi (y_{n}, x_{n}) - \phi (y_{n+m}, x_{n+m}).\) Let \(r ={\sup }_{n\in \mathbb {N}} \Vert y_{n} \Vert \);from Lemma 5, we have
Since \( \underset {n\to \infty }{lim}\phi (y_{n}, x_{n})\) exists, from the property of g, we have that {yn} is Cauchy. Since F(T)∩GMEP(f,A,φ) is closed, {yn} converges strongly to z∈F(T)∩GMEP(f,A,φ). □
Now, we prove the following theorem.
Theorem 2
Let E be a real uniformly smooth and uniformly convex Banach space, let C be a nonempty, closed, and convex subset of E, and let \(\hat {C}B(C)\) be family of nonempty, closed, and bounded subsets of C. Let \(f_{i} : C \times C \longrightarrow \mathbb {R},(i = 1,2,3,...K)\) be bifunctions satisfying (A1)−(A4),A:C→E∗ be a nonlinear mapping, and \(\varphi : C \longrightarrow \mathbb {R} \cup \lbrace \infty \rbrace \) be a proper, convex, and lower semi-continuous function. Let T be a quasi- ϕ-asymptotically nonexpansive multivalued mapping from C into \(\hat {C}B(C)\) such that F(T)∩GMEP(f,A,φ)≠∅. Let {xn} be a sequence generated by u1∈E
for every \(n\in \mathbb {N}\), where J is the normalized duality mapping of E, {αi,n}⊂[0,∞] satisfies \(\underset {n\to \infty }{\liminf }\alpha _{0,n}\alpha _{i,n} > 0, \sum _{i=0}^{N}\alpha _{i,n} = 1\) and \(w_{i,n} \in T_{i}^{n}x_{n}, \forall i = 1,2,3,...N \in \mathbb {N}.\)
Let {rn}⊂[a,∞)for some a>0. If J is weakly sequentially continuous, then {xn} converges weakly to z∈F(T)∩GMEP(f,A,φ), where \(z =\underset {n\to \infty }{lim}\Pi _{F(T)\cap GMEP(f, A,\varphi)}x_{n}.\)
Proof
As in the proof of proposition 17, we have that {xn} and {wi,n} and \(\lbrace T^{n}_{i}x_{n}\rbrace \) are bounded sequences. Let \(r ={\sup }_{n\in \mathbb {N}}\lbrace \Vert x_{n} \Vert, \Vert w_{i,n}\Vert \rbrace.\) For u∈F(T)∩GMEP(f,A,φ), we have
Thus,
Hence, we have
Since {ϕ(u,xn)} is convergent, we have
As, we get \(\underset {n\to \infty }{\lim } \alpha _{0,n}\alpha _{i,n} > 0\)
From the property of g, we have
Since J−1 is uniformly norm-to-norm continuous on bounded sets, we have
Since {xn} is bounded, there exists a subsequence \(\left \lbrace x_{n_{k}}\right \rbrace \) of {xn} such that \(\left \{x_{n_{k}}\right \}\) converges weakly to \(\hat {x}\in C\). From (20) and F(T), we have \(\hat {x}\in F(T).\)
Next, we show that \(\hat {x}\in GMEP(f, A, \varphi).\) Let \(T = {\sup }_{n\in \mathbb {N}}\lbrace \Vert x_{n} \Vert, \Vert u_{n} \Vert \rbrace \) from Lemma 5, and putting \(\phantom {\dot {i}\!}x_{n} = T_{r_{n}}u_{n}\), we have from Lemma 7 (d) and(19) that for u∈F(T)∩GMEP(f,A,φ).
Since {ϕ(u,xn)} converges, we have
From the property of g1, we have
Since J is uniformly norm-to-norm continuous on bounded sets, we have
From rn≥a, we have
By \(\phantom {\dot {i}\!}x_{n} = T_{r_{n}}u_{n}\), we have
As in the proof of Theorem 1, we have \(\hat {x}\in GMEP\left (f, A, \varphi \right).\) Therefore, \(\hat {x}\in F(T)\cap GMEP\left (f, A, \varphi \right).\) Let yn=ΠF(T)∩GMEP(f,A,φ)xn. From Lemma 2 and \(\hat {x}\in F(T)\cap GMEP\left (f, A, \varphi \right),\) we have
From proposition 17, we also have that {yn} converges strongly to z∈F(T)∩GMEP(f,A,φ), since J is weakly sequentially continuous, as k→∞ we have
On the other hand, since J is monotone, we have
Hence by (21) and (22), we have
From the strict convexity of E, we have
Therefore, {xn} converges weakly to \(\hat {x}\in F(T)\cap GMEP\left (f, A, \varphi \right)\), and we have
□
Availability of data and materials
Not applicable.
References
Blum, E., Oettli, W.: From optimization and variational inequalities to equilibrium problems. Math. Students. 63, 123–145 (1994).
Ali, B., Harbau, M. H.: Convergence theorems for pseudomonotone equilibrium problem, split feasibility problem, and multivalued strictly pseudocontractive mappings. Numer. Funct. Anal. Optim. 40(10), 1194–1214 (2019). https://doi.org/10.1080/01630563.2019.1599014.
Combettes, I., Hirstoaga, S. A.: Equilibrium programming in Hilbert spaces. J. Nonlinear. Convex Anal. 6, 117–136 (2005).
Moudafi, A.: Second-order differential proximal methods for equilibrium problems. J. Inequal. Pure Appl. Math. 4(1), 1–7 (2003).
Tada, A., Takahashi, W.: Strong convergence theorem for an equilibrium problem and a nonexpansive mapping. In: W. Takahashi, W. Tanaka, T. (Eds), Nonlinear analysis and convex analysis, pp. 609–617. Yokohama Publishers, Yokohama (2007).
Tada, A., Takahashi, W.: Weak and strong convergence theorems for a nonexpansive mapping and equilibium problem. J. Opt. Theory Appl. 133, 359–370 (2007).
Takahashi, S., Takahashi, W.: Viscosity approximation methods for equilibrium problem and fixed point problems in Hilbert space. J. Math. Anal. Appl. 331, 506–515 (2007).
Takahashi, W., Zembayashi, K.: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal. 70, 45–57 (2009).
Chang, S. S., Wang, L., Tang, Y. K., Wang, B., Qin, L. J.: Strong convergence theorems for a countable family of quasi- ϕ-asymptotically nonexpansive nonself mappings. Appl. Mahts. Comput. 218, 7864–7870 (2012).
Deng, C. B., Chen, T., Yin, Y. L.: Strong convergence theorems for mixed equilibrium problem and asymptotically I- nonexpansive mapping in Banach spaces. Abstr. Appl. Anal.965737, 12 (2014).
Ezeora, J. N.: Convergence theorem for generalized mixed equilibrium problem and common fixed point problem for a family of multivalued mappings. Int. J. Anal. Appl. 10(1), 48–57.
Cioranescu, I.: Geometry of Banach spaces, duality mappings and nonlinear problems. Kluwer, Dordrechi (1990).
Alber, Y. I.: Metric and generalised projection operators in Banach spaces, properties and applications. Marcel Dekker, New York (1996).
Kamimura, S., Takahashi, W.: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Opt.13, 938–945 (2002).
Takahashi, W.: Nonlinear functional analysis. Yokohama Publishers, Yokohama (2000).
Matsushita, S., Takahashi, W.: Weak and strong convergence theorems for relatively nonexpansive mappings in Banach space. Fixed Point Theory Appl. 2004, 37–47 (2004).
Matsushita, S., Takahashi, W.: A strong convergence theorem for relatively nonexpansive mappings in a Banach space. J. Approx Theory. 134, 257–266 (2005).
Reich, S.: A weak convergence theorem for the alternating method with Bregman distance. Marcel Dekker, New York (1996).
Chang, S. S., Kim, J. K., Wang, X. R.: Modified block iterative algorithm for solving convex feasibility problem in Banach spaces. J. ineq. Appl.14 (2010). Article ID 869684.
Takahashi, W.: Convex analysis and approximation of fixed points. Yokohama Publishers, Yokohama (2000). (in Japanese).
Tan, K., Xu, H. K.: Approximation fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 178(2), 301–308 (1993).
Zhang, S. S.: Generalized mixed equilibrium problem in Banach spaces. Appl. Math. Mech. 30(9), 1105–1112 (2009).
Acknowledgements
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Bashir Ali, Lawal Umar and M. H. Harbau are equal contributors.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ali, B., Umar, L. & Harbau, M.H. Generalized mixed equilibrium problems and quasi- ϕ-asymptotically nonexpansive multivalued mappings in Banach spaces. J Egypt Math Soc 27, 40 (2019). https://doi.org/10.1186/s42787-019-0046-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-019-0046-5