- Research
- Open Access
- Published:
Strong and weak convergence theorems for split equality generalized mixed equilibrium problem
Fixed Point Theory and Applications volume 2016, Article number: 101 (2016)
Abstract
In this paper, we consider split equality generalized mixed equilibrium problem, which is more general than many problems such as split feasibility problem, split equality problem, split equilibrium problem, and so on. We propose a new modified algorithm to obtain strong and weak convergence theorems for split equality generalized mixed equilibrium problem for nonexpansive mappings in Hilbert spaces. Also, we give some applications to other problems. Our results extend some results in the literature.
1 Introduction
Let H be a real Hilbert space with inner product \(\langle \cdot,\cdot \rangle\) and norm \(\Vert \cdot \Vert \), C be a nonempty closed convex subset of H, and \(F: C \times C \rightarrow \mathbb{R}\) be a bifunction, where \(\mathbb{R}\) is the set of all real numbers. The scalar-valued equilibrium problem is finding a point \(x \in C\) such that
for all \(y \in C\). The equilibrium problem has been extensively studied, beginning with Blum and Oettli [1]. In 2014, Ahmad and Rahaman [2] introduced the generalized vector equilibrium problem to find a point \(x \in C\) such that
for all \(y, z \in C\) and \(\lambda \in ( 0,1 ]\), where \(F: C \times C \rightarrow 2^{H}\) is a set-valued mapping such that \(F ( \lambda x + ( 1- \lambda ) z, x ) \supseteq \{ 0 \}\). In the scalar case, the generalized equilibrium problem takes the form of finding \(x \in C\) such that
for all \(y, z \in C\) and \(\lambda \in ( 0,1 ]\) under the condition \(F ( \lambda x + ( 1- \lambda ) z, x ) =0\). If \(\lambda =1\), then problem (1.2) is reduced to problem (1.1).
Let \(T: C \rightarrow C\) be a continuous mapping, and \(\phi: C \rightarrow \mathbb{R}\) be a mapping. Very recently, Rahaman et al. [3] considered the generalized mixed equilibrium problem of finding a point \(x \in C\) such that
for all \(y, z \in C\) and \(\lambda \in ( 0,1 ]\). The set of solutions of problem (1.3) is denoted by \(\operatorname{GMEP} ( F, T, \phi )\).
Let \(H_{1}\), \(H_{2}\), and \(H_{3}\) be real Hilbert spaces, and C and Q be nonempty closed and convex subsets of \(H_{1}\) and \(H_{2}\), respectively. Let \(F: C \times C \rightarrow \mathbb{R}\) and \(G: Q \times Q \rightarrow \mathbb{R}\) be two bifunctions, \(T: C \rightarrow C\) and \(S: Q \rightarrow Q\) be nonlinear mappings, \(\phi: C \rightarrow \mathbb{R}\cup \{ +\infty \}\) and \(\varphi: Q \rightarrow \mathbb{R}\cup \{ +\infty \}\) be proper lower semicontinuous and convex mappings such that \(C \cap \operatorname{dom}\phi \neq\emptyset\) and \(Q \cap \operatorname{dom} \varphi \neq\emptyset\), and \(A: H_{1} \rightarrow H_{3}\) and \(B: H_{2} \rightarrow H_{3}\) be bounded linear mappings. In 2015, Rahaman et al. [3] introduced the following split equality generalized mixed equilibrium problem (SEGMEP): find \(x^{*} \in C\) and \(y^{*} \in Q\) such that
for all \(x, b \in C\), \(y, c \in Q\), and \(\lambda_{1}, \lambda_{2} \in ( 0,1 ]\). The solution set of problem (1.4) is denoted by \(\operatorname{SEGMEP} ( F, G, T, S, \phi, \varphi )\). This problem is a generalization of all the following problems.
-
1.
If \(T = S =0\) and \(\lambda_{1} = \lambda_{2} =1\), then the split equality generalized mixed equilibrium problem (SEGMEP) is reduced to the split equality mixed equilibrium problem (SEMEP) introduced by Ma et al. [4]: find \(x^{*} \in C\) and \(y^{*} \in Q\) such that
$$\begin{aligned}& F \bigl( x^{*}, x \bigr) + \phi ( x ) - \phi \bigl( x^{*} \bigr) \geq0,\quad \forall x \in C, \\& G \bigl( y^{*}, y \bigr) + \varphi ( y ) - \varphi \bigl( y^{*} \bigr) \geq0,\quad \forall y \in Q,\quad \mbox{and} \\& A x^{*} = B y^{*}. \end{aligned}$$(1.5) -
2.
If \(T = S = \phi = \varphi =0\), \(B = I\), \(H_{2} = H_{3}\), and \(\lambda_{1} = \lambda_{2} =1\), then problem (1.4) is reduced to the split equilibrium problem (SEqP) introduced by He [5]: find \(x^{*} \in C\) such that
$$ \begin{aligned} &F \bigl( x^{*}, x \bigr) \geq0,\quad \forall x \in C, \quad \mbox{and} \\ &A x^{*} = y^{*} \in Q \quad \mbox{solves} \quad G \bigl( y^{*}, y \bigr) \geq0,\quad \forall y \in Q. \end{aligned} $$(1.6) -
3.
If \(T = S = \phi = \varphi =0\) and \(\lambda_{1} = \lambda_{2} =1\), then problem (1.4) is reduced to the split equality equilibrium problem (SEEP) of finding \(x^{*} \in C\) and \(y^{*} \in Q\) such that
$$\begin{aligned}& F \bigl( x^{*}, x \bigr) \geq0,\quad \forall x \in C, \\& G \bigl( y^{*}, y \bigr) \geq0,\quad \forall y \in Q,\quad \mbox{and} \\& A x^{*} = B y^{*}. \end{aligned}$$(1.7) -
4.
If \(F = G = T = S =0\), then problem (1.4) is reduced to the split equality convex minimization problem (SECMP) of finding \(x^{*} \in C\) and \(y^{*} \in Q\) such that
$$ \begin{aligned} &\phi ( x ) \geq \phi \bigl( x^{*} \bigr),\quad \forall x \in C,\qquad \varphi ( y ) \geq \varphi \bigl( y^{*} \bigr), \quad \forall y \in Q, \quad \mbox{and} \\ &A x^{*} = B y^{*}. \end{aligned} $$(1.8) -
5.
If \(F = G = T = S =0\), \(B = I\), and \(H_{2} = H_{3}\), then problem (1.4) is reduced to the split convex minimization problem (SCMP) of finding \(x^{*} \in C\) such that
$$ \begin{aligned} &\phi ( x ) \geq \phi \bigl( x^{*} \bigr),\quad \forall x \in C,\qquad \varphi ( y ) \geq \varphi \bigl( y^{*} \bigr), \quad \forall y \in Q, \quad \mbox{and} \\ &A x^{*} = y^{*} \in Q. \end{aligned} $$(1.9) -
6.
If \(F = G = \phi = \varphi = T = S =0\), then problem (1.4) is reduced to the split equality problem (SEP) of finding \(x^{*} \in C\) and \(y^{*} \in Q\) such that
$$ A x^{*} = B y^{*}. $$(1.10) -
7.
If \(F = G = \phi = \varphi = T = S =0\), \(B = I\), and \(H_{2} = H_{3}\), then problem (1.4) is reduced to the split feasibility problem (SFP) of finding \(x^{*} \in C\) such that
$$ A x^{*} \in Q. $$(1.11)This problem was introduced by Censor and Elfving [6].
Since these kinds of problems are related implicitly or explicitly to many areas, such as engineering, science optimization, economics, transportation, network and structural analysis, Nash equilibrium problems in noncooperative games, computer tomograph, radiation therapy treatment planing, physics, inverse problems that arise from phase retrievals and in medical image reconstruction, and so on, it is very important in mathematics. So, many authors have proposed some algorithms to solve such problems; see, for instance, [7–14]. We further give some of them.
In 2015, Ma et al. [4] introduced the following simultaneous iterative algorithm to obtain weak and strong convergence theorems for (SEMEP):
for all \(u \in C\), \(v \in Q\), where \(n \geq1\), and \(T: H_{1} \rightarrow H_{1}\) and \(S: H_{2} \rightarrow H_{2}\) are nonexpansive mappings. In the same year, Rahaman et al. [3] gave the following method as a generalization of algorithm (1.12):
for all \(u, b \in C\), \(v, c \in Q\), where \(n \geq1\), and \(P: H_{1} \rightarrow H_{1}\) and \(Q: H_{2} \rightarrow H_{2}\) are two demicontractive mappings. They also proved that the sequence \(\{ ( x_{n}, y_{n} ) \}\) generated by algorithm (1.13) converges weakly and strongly to the solution of the split equality generalized mixed equilibrium problem (1.4) under some suitable conditions.
In this paper, inspired by algorithm (1.13), we introduce a modified algorithm to obtain weak and strong convergence results for the split equality generalized mixed equilibrium problem. Also, we give some corollaries and applications for the split equality problem, the split feasibility problem, the split equality mixed convex differentiable optimization problem, the split equality convex minimization problem, and the split equality mixed equilibrium problem. Our results extend some correspoing results of many authors.
2 Preliminaries
Throughout this paper, we use the symbols → and ⇀ for the strong and weak convergence, respectively. Now, we recall some definitions, lemmas, and properties, which we need in the proof of our main theorem.
Let T be a mapping on a Hilbert space H. The set of fixed points of T is denoted by \(F ( T )\), that is, \(F ( T ) = \{ x \in H: Tx = x \}\). Let C be a nonempty closed convex subset of H. A mapping \(T: C \rightarrow C\) it is said to be
-
(i)
a nonexpansive mapping if
$$\Vert Tx - Ty \Vert \leq \Vert x - y \Vert ,\quad \forall x, y \in C; $$ -
(ii)
a firmly nonexpansive mapping if
$$\Vert Tx - Ty \Vert ^{2} \leq \langle Tx - Ty, x - y \rangle,\quad \forall x, y \in C. $$
Lemma 1
[15]
Let C be a nonempty closed convex subset of a uniformly convex Banach space X, and \(T:C\rightarrow C\) be a nonexpansive mapping with \(F(T)\neq\emptyset\). Then \(F(T)\) is closed and convex.
Lemma 2
[16]
Let C be a nonempty closed convex subset of a real Hilbert space H, and T be a nonexpansive self-mapping on C. If \(F ( T ) \neq\emptyset\), then \(I-T\) is demiclosed, that is, if \(\{ x_{n} \}\) is a sequence in C weakly converging to some \(x\in C\) and the sequence \(\{ ( I-T ) x_{n} \}\) strongly converges to some y, then \(( I-T ) x=y\). Here, I is the identity operator of H.
Recall that T is said to be demicompact if every bounded sequence \(\{ x_{n} \}\) in C such that \(\{ ( I - T ) x_{n} \}\) converges strongly contains a strongly convergent subsequence.
To solve a generalized mixed equilibrium problem for a bifunction \(F: C \times C \rightarrow \mathbb{R}\) and mappings \(T: C \rightarrow C\) and \(\phi: C \rightarrow \mathbb{R}\), let us assume that the following conditions are satisfied:
-
A1.
\(F ( \lambda x + ( 1- \lambda ) b, x ) =0\), \(\forall x \in C\);
-
A2.
F is monotone, that is, for all \(x, y \in C\),
$$F \bigl( \lambda x + ( 1- \lambda ) b, y \bigr) + F \bigl( \lambda y + ( 1- \lambda ) b, x \bigr) \leq0; $$ -
A3.
T is monotone, that is, for all \(x, y \in C\),
$$\langle Tx - Ty, x - y \rangle \geq0; $$ -
A4.
\(\forall x \in C\), \(y \mapsto F ( \lambda x + ( 1- \lambda ) b, y )\) is convex and lower semicontinuous;
-
A5.
F is hemicontinuous in the first argument;
-
A6.
T is weakly upper semicontinuous;
-
A7.
For all \(x \in C\), \(\lambda \in ( 0,1 ]\), and \(r >0\), there exist a bounded subset \(D \subseteq C\) and \(a \in C\) such that, for all \(z \in C \backslash D\) and \(b \in C\),
$$- F \bigl( \lambda a + ( 1- \lambda ) b, z \bigr) + \langle Tz, a - z \rangle + \phi ( a ) - \phi ( z ) + \frac{1}{r} \langle a - z, z - x \rangle < 0. $$
Lemma 3
[3]
Let C be a nonempty closed convex subset of a Hilbert space \(H_{1}\). Suppose that the bifunction \(F:C\times C \rightarrow \mathbb{R}\) and the mapping \(T:C\rightarrow C\) satisfy conditions (A1)-(A7). Let \(\phi:C \rightarrow \mathbb{R}\cup\{+\infty\}\) be a proper lower semicontinuous and convex mapping such that \(C\cap \operatorname{dom}\phi=\emptyset\). For \(r>0\), \(\lambda_{1} \in ( 0,1 ]\), and \(x\in H\), let \(J_{r}^{F,T}: H_{1} \rightarrow C\) be the resolvent operator of F and T defined by
Then:
-
(i)
For each \(x \in H_{1}\), \(J_{r}^{F, T} ( x ) \neq\emptyset\);
-
(ii)
\(J_{r}^{F, T}\) is single valued;
-
(iii)
\(J_{r}^{F, T}\) is firmly nonexpansive, that is,
$$\bigl\Vert J_{r}^{F, T} ( x ) - J_{r}^{F, T} ( y ) \bigr\Vert ^{2} \leq \bigl\langle J_{r}^{F, T} ( x ) - J_{r}^{F, T} ( y ), x - y \bigr\rangle ,\quad \forall x, y \in H_{1}; $$ -
(iv)
\(F ( J_{r}^{F, T} ) = \operatorname{GMEP} ( F, T, \phi )\), and it is closed and convex.
Let the bifunction \(G: Q \times Q \rightarrow \mathbb{R}\) and the mapping \(S: Q \rightarrow Q\) satisfy conditions (A1)-(A7). Let \(\varphi: C \rightarrow \mathbb{R}\cup\{+\infty\}\) be a proper lower semicontinuous and convex mapping such that \(Q \cap \operatorname{dom} \varphi =\emptyset\). For \(s >0\), \(\lambda_{2} \in ( 0,1 ]\), and \(u \in H_{2}\), let \(J_{s}^{G, S}: H_{2} \rightarrow Q\) be the resolvent operator of G and S defined by
Then, clearly, \(J_{s}^{G, S}\) satisfies (i)-(iv) of Lemma 3, and \(F ( J_{s}^{G, S} ) = \operatorname{GMEP} ( G, S, \varphi )\).
Lemma 4
Opial’s lemma [17]
Let H be a real Hilbert space, and \(\{ \mu_{n} \}\) be a sequence in H such that there exists a nonempty set \(W\subset H\) satisfying the following conditions:
-
(i)
for every \(\mu \in W\), \(\lim_{n \rightarrow\infty} \Vert \mu_{n} - \mu \Vert \) exists;
-
(ii)
any weak cluster point of the sequence \(\{ \mu_{n} \}\) belongs to W.
Then there exists \(w^{*} \in W\) such that \(\{ \mu_{n} \}\) converges weakly to \(w^{*}\).
Lemma 5
[18]
Let H be a real Hilbert space. Then, we have
and
for all \(x, y \in H\) and \(\lambda \in [ 0,1 ]\).
3 Main results
Now, we give a new modified iterative algorithm to solve the split equality generalized mixed equilibrium problem. Moreover, we prove strong and weak convergence theorems for nonexpansive mappings in Hilbert spaces. Throughout this section, we always assume that:
-
B1.
\(H_{1}\), \(H_{2}\), and \(H_{3}\) are real Hilbert spaces, and \(C \subseteq H_{1}\) and \(Q \subseteq H_{2}\) are nonempty closed convex subsets;
-
B2.
\(F: C \times C \rightarrow \mathbb{R}\) and \(G: Q \times Q \rightarrow \mathbb{R}\) are bifunctions satisfying conditions (A1), (A2), (A4), (A5), and (A7);
-
B3.
\(T: C \rightarrow C\) and \(S: Q \times Q \rightarrow \mathbb{R}\) are mappings satisfying conditions (A3), (A6), and (A7);
-
B4.
\(\phi: C \rightarrow \mathbb{R}\cup \{ +\infty \}\) and \(\varphi: Q \rightarrow \mathbb{R}\cup \{ +\infty \}\) are proper lower semicontinuous and convex mappings such that \(C \cap \operatorname{dom}\phi \neq\emptyset\) and \(Q \cap \operatorname{dom} \varphi \neq\emptyset\);
-
B5.
\(P_{1}, P_{2}: H_{1} \rightarrow H_{1}\) and \(P_{3}, P_{4}: H_{2} \rightarrow H_{2}\) are nonexpansive mapping;
-
B6.
\(A: H_{1} \rightarrow H_{3}\) and \(B: H_{2} \rightarrow H_{3}\) are bounded linear mappings.
For an arbitrary initial value \(( x_{1}, y_{1} ) \in C \times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C \times Q\) generated by
for all \(u, b \in C\) and \(v, c \in Q\), where \(n \geq1\), \(\lambda_{1}, \lambda_{2} \in ( 0,1 ]\), and the sequences \(\{ \delta_{n} \}\), \(\{ \alpha_{n} \}\), and \(\{ r_{n} \}\) satisfy the following conditions:
-
C1.
\(\{ \delta_{n} \}\) is a positive real sequence such that \(\delta_{n} \in ( \varepsilon, \frac{2}{\lambda_{A} + \lambda_{B}} - \varepsilon )\) for sufficiently small ε, where \(\lambda_{A}\) and \(\lambda_{B}\) are the spectral radii of \(A^{*} A\) and \(B^{*} B\), respectively;
-
C2.
\(\{ \alpha_{n} \}\) is a sequence in \(( 0,1 )\) such that, for some α, \(\beta \in ( 0,1 )\), \(0< \alpha \leq \alpha_{n} \leq \beta <1\);
-
C3.
\(\{ r_{n} \} \subset ( 0,\infty )\) is such that \(\liminf_{n \rightarrow\infty} r_{n} >0\) and \(\lim_{n \rightarrow\infty} \vert r_{n +1} - r_{n} \vert =0\).
Theorem 1
Let \(H_{1}\), \(H_{2}\), \(H_{3}\), F, G, T, S, \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), ϕ, φ, A, and B satisfy conditions (B1)-(B6). Let \(\{ ( x_{n}, y_{n} ) \}\) be a sequence generated by (3.1). If \(\mathcal{F} := \bigcap_{i=1}^{4} F ( P_{i} ) \cap \operatorname{SEGMEP} ( F,G, P_{i}, \phi, \varphi ) \neq\emptyset\), then:
-
(i)
the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges weakly to a solution of problem (1.4);
-
(ii)
if \(P_{i}\), \(i =1,2,3,4\), are demicompact, then the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges strongly to a solution of problem (1.4).
Proof
(i) Let \(( x, y )\in \mathcal{F}\). So, \(x \in F ( P_{1} ) \cap F ( P_{2} )\) and \(y \in F ( P_{3} ) \cap F ( P_{4} )\). It is easy to see from Lemma 3 that
and
Since \(P_{i}\), \(i =1,2,3,4\), are nonexpansive mappings and
for all \(x, y \in H\), we get from Lemma 5 that
On the other hand, we have
So, it follows from (3.4) and (3.5) that
In a similar way, we get
By adding inequalities (3.6) and (3.7) side by side and using \(Ax = By\), we obtain
Let \(\xi_{n} ( x, y ) = \Vert x_{n} - x \Vert ^{2} + \Vert y_{n} - y \Vert ^{2}\). Thus, we have from (3.8) that
Since \(\alpha_{n} \in ( 0,1 )\) and \(\delta_{n} \in ( \varepsilon, \frac{2}{\lambda_{A} + \lambda_{B}} - \varepsilon )\), we get \(2- \delta_{n} ( \lambda_{A} + \lambda_{B} ) >0\). So, from (3.9) we obtain
Therefore, the sequence \(\{ \xi_{n} ( x, y ) \}\) is nonincreasing and lower bounded by 0. Hence, \(\lim_{n \rightarrow\infty} \xi_{n} ( x, y )\) exists. Let \(\lim_{n \rightarrow\infty} \xi_{n} ( x, y ) = \sigma ( x, y )\). So condition (i) of Lemma 4 is satisfied with \(\mu_{n} = ( x_{n}, y_{n} )\), \(\mu^{*} = ( x, y )\), and \(W =\mathcal{F}\). Since the sequence \(\{ \xi_{n} ( x, y ) \}\) converges to a finite limit, we have from inequality (3.9) that
and
Moreover, since \(\Vert x_{n} - x \Vert ^{2} \leq \xi_{n} ( x, y )\) and \(\Vert y_{n} - y \Vert ^{2} \leq \xi_{n} ( x, y )\), the sequences \(\{ x_{n} \}\) and \(\{ y_{n} \}\) are bounded, and \(\limsup_{n \rightarrow\infty} \Vert x_{n} - x \Vert \) and \(\limsup_{n \rightarrow\infty} \Vert y_{n} - y \Vert \) exist. Also, it follows from (3.2) and (3.3) that \(\limsup_{n \rightarrow\infty} \Vert u_{n} - x \Vert \) and \(\limsup_{n \rightarrow\infty} \Vert v_{n} - y \Vert \) exist. Let us assume that the sequences \(\{ x_{n} \}\) and \(\{ y_{n} \}\) converge weakly to points \(x^{*}\) and \(y^{*}\), respectively. So, by (3.10), the sequence \(\{ u_{n} - \delta_{n} A^{*} ( A u_{n} - B v_{n} ) \}\) converges weakly to \(x^{*}\), and \(\{ v_{n} + \delta_{n} B^{*} ( A u_{n} - B v_{n} ) \}\) converges weakly to \(y^{*}\). By Lemma 5 we get
Hence, we obtain
and, similarly,
By Lemma 3, since \(u_{n} = J_{r_{n}}^{F, T} ( x_{n} )\) and \(u_{n +1} = J_{r_{n +1}}^{F, T} ( x_{n +1} )\), we have that, for all \(u \in C\),
and
Taking \(u = u_{n}\) in (3.16) and \(u = u_{n +1}\) in (3.15) and adding the resulting inequalities side by side, we obtain
Using conditions (A2)-(A3), we have
which implies that
Thus, we get
Using (3.13) and (C3), from (3.17) we get
In a similar way, we get
On the other hand, from (3.6) and (3.7) we get
and
Using \(Ax = By\) and adding inequalities (3.20) and (3.21) side by side, we have
where
and
From (3.22)-(3.24) we conclude that
and
Hence, \(u_{n} \rightharpoonup x^{*}\) and \(v_{n} \rightharpoonup y^{*}\).
Since \(P_{i}\), \(i =1,2,3,4\), are nonexpansive mappings, we obtain
Using (3.10), (3.11), (3.18), and (3.26), we have
Similarly, using the same steps as before for \(P_{2}\), \(P_{3}\), and \(P_{4}\), we get
Since
we have from (3.26) and (3.28) that
Similarly, we have
Since the sequences \(\{ x_{n} \}\) and \(\{ y_{n} \}\) converge weakly to \(x^{*}\) and \(y^{*}\), respectively, and \(( I - P_{i} )\), \(i =1,2,3,4\), are demiclosed at zero, it follows from (3.30) and (3.31) that \(x^{*} \in F ( P_{1} ) \cap F ( P_{2} )\) and \(y^{*} \in F ( P_{3} ) \cap F ( P_{4} )\). On the other hand, it is well known that every Hilbert space satisfies Opial’s condition. So, we have that the weakly subsequential limit of \(\{ ( x_{n}, y_{n} ) \}\) is unique.
Now, we show that \(x^{*} \in \operatorname{GMEP} ( F, T, \phi )\) and \(y^{*} \in \operatorname{GMEP} ( G, S, \varphi )\). Since \(u_{n} = J_{r_{n}}^{F, T} ( x_{n} )\), we have
for all \(b, u \in C\) and \(\lambda \in ( 0,1 ]\). From conditions (A2) and (A3) we obtain
and hence
From (3.26) it is easy to see that \(u_{n_{k}} \rightharpoonup x^{*}\). So, we can write \(\lim_{k \rightarrow\infty} \frac{\Vert u_{n_{k}} - x_{n_{k}} \Vert }{r_{n_{k}}} =0\), and from the lower semicontinuity of Ï• we get
for all \(b, u \in C\). Set \(u_{t} = tu + ( 1- t ) x^{*}\) for \(t \in ( 0,1 ]\) and \(u \in C\). Since C is a convex set, we have \(u_{t} \in C\). Hence, from (3.32) we have
Using inequality (3.33), the convexity of Ï•, and conditions (A1)-(A4), we get
which implies that
for all \(b, u \in C\). From the definition of \(u_{t}\) it is clear that \(u_{t} \rightarrow x^{*}\) as \(t \rightarrow0\). Using conditions (A5) and (A6) and the proper lower semicontinuity of Ï•, we obtain
for all \(b, u \in C\), which shows that \(x^{*} \in \operatorname{GMEP} ( F, T, \phi )\). By using similar steps we have that \(y^{*} \in \operatorname{GMEP} ( G, S, \varphi )\).
Since \(A: H_{1} \rightarrow H_{3}\) and \(B: H_{2} \rightarrow H_{3}\) are bounded linear mappings and \(\{ u_{n} \}\) and \(\{ v_{n} \}\) converge weakly to \(x^{*}\) and \(y^{*}\), respectively, for arbitrary \(f \in H_{3}^{*}\), we have
Similarly,
Hence, we get
which implies that
so that \(A x^{*} = B y^{*}\). So, it follows that \(( x^{*}, y^{*} ) \in \operatorname{SEGMEP} ( F, G, T, S, \phi, \varphi )\). Therefore, \(( x^{*}, y^{*} ) \in \mathcal{F}\).
Finally, we conclude that, for each \(( x^{*}, y^{*} ) \in \mathcal{F}\), \(\lim_{n \rightarrow\infty} ( \Vert x_{n} - x^{*} \Vert + \Vert y_{n} - y^{*} \Vert )\) exists and each weak cluster point of the sequence \(\Vert ( x^{*}, y^{*} ) \Vert \) belongs to \(\mathcal{F}\). Let \(H = H_{1} \times H_{2}\) with norm \(\Vert ( x, y ) \Vert = \sqrt{\Vert x \Vert ^{2} + \Vert y \Vert ^{2}}\), \(W=\mathcal{F}\), \(\mu_{n} = ( x_{n}, y_{n} )\), and \(\mu = ( x^{*}, y^{*} )\). From Lemma 4 we see that there exists \(( \overline{x}, \overline{y} ) \in \mathcal{F}\) such that \(x_{n} \rightharpoonup \overline{x}\) and \(y_{n} \rightharpoonup \overline{y}\). Therefore, the sequence \(\{ ( x_{n}, y_{n} ) \}\) generated by the iterative algorithm (3.1) converges weakly to a solution of problem (1.4) in \(\mathcal{F}\). This completes the proof.
(ii) Now, we prove the strong convergence of the sequence \(\{ ( x_{n}, y_{n} ) \}\) generated by the iterative algorithm (3.1) under the demicompact condition.
Since \(P_{i}\), \(i =1,2,3,4\), are demicompact, \(\{ x_{n} \}\) and \(\{ y_{n} \}\) are bounded sequences, and \(\lim_{n \rightarrow\infty} \Vert x_{n} - P_{1} x_{n} \Vert =0\), \(\lim_{n \rightarrow\infty} \Vert x_{n} - P_{2} x_{n} \Vert =0\), \(\lim_{n \rightarrow\infty} \Vert y_{n} - P_{3} y_{n} \Vert =0\), and \(\lim_{n \rightarrow\infty} \Vert y_{n} - P_{4} y_{n} \Vert =0\), there exist subsequences \(\{ x_{n_{k}} \}\) of \(\{ x_{n} \}\) and \(\{ y_{n_{k}} \}\) of \(\{ y_{n} \}\) such that \(\{ x_{n_{k}} \}\) and \(\{ y_{n_{k}} \}\) converge strongly to some points \(u^{*}\) and \(v^{*}\), respectively. The weak convergence of \(\{ x_{n_{k}} \}\) and \(\{ y_{n_{k}} \}\) to \(x^{*}\) and \(y^{*}\), respectively, implies that \(x^{*} = u^{*}\) and \(y^{*} = v^{*}\). It follows from the demiclosedness of \(P_{i}\) that \(x^{*} \in F ( P_{1} )\cap F ( P_{2} )\) and \(y^{*} \in F ( P_{3} )\cap F ( P_{4} )\). Using similar steps to the previous ones, we get that \(x^{*} \in \operatorname{GMEP} ( F, T, \phi )\) and \(y^{*} \in \operatorname{GMEP} ( G, S, \varphi )\). Thus, we have
which implies that \(A x^{*} = B y^{*}\). Hence, \(( x^{*}, y^{*} ) \in \mathcal{F}\). On the other hand, since \(\xi_{n} ( x, y ) = \Vert x_{n} - x \Vert ^{2} + \Vert y_{n} - y \Vert ^{2}\) for \(( x, y )\in \mathcal{F}\), we know that \(\lim_{k \rightarrow\infty} \xi_{n_{k}} ( x^{*}, y^{*} )=0\). From conjecture (i) we see that \(\lim_{n \rightarrow\infty} \xi_{n} ( x^{*}, y^{*} )\) exists; therefore, \(\lim_{n \rightarrow\infty} \xi_{n} ( x^{*}, y^{*} )=0\). So, the iterative scheme (3.1) converges strongly to a solution of problem (1.4). This completes the proof of conjecture (ii). □
Taking \(F = G = T = S = \phi = \varphi =0\) in Theorem 1, we get the following convergence theorem for the split equality problem (1.10).
Corollary 1
Let \(H_{1}\), \(H_{2}\), \(H_{3}\), \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), A, and B satisfy conditions (B1), (B5), and (B6). For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
where \(n \geq1\), and the sequences \(\{ \delta_{n} \}\) and \(\{ \alpha_{n} \}\) satisfy conditions (C1) and (C2), respectively. If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SEP} \neq\emptyset\), then:
-
(i)
The sequence \(\{ ( x_{n}, y_{n} ) \}\) converges weakly to a solution of problem (1.10);
-
(ii)
If \(P_{i}\), \(i =1,2,3,4\), are demicompact, then the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges strongly to a solution of problem (1.10).
Taking \(B = I\) and \(H_{2} = H_{3}\) in Corollary 1, we obtain the following convergence theorem for the split feasibility problem (1.11).
Corollary 2
Let \(H_{1}\), \(H_{2}\), \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), and A satisfy conditions (B1), (B5), and (B6) with \(A: H_{1} \rightarrow H_{2}\). For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
where \(\{ \delta_{n} \}\) is a positive real sequence such that \(\delta_{n} \in ( \varepsilon, \frac{1}{\lambda_{A}} - \varepsilon )\) for sufficiently small ε, where \(\lambda_{A}\) denotes the spectral radius of \(A^{*} A\), and \(\{ \alpha_{n} \}\) satisfy condition (C2). If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SFP} \neq\emptyset\), then:
4 Applications
Let C be a nonempty closed convex subset of a real Hilbert space H, and \(\psi: C \rightarrow C\) be a convex and differentiable mapping. It is known that the convex differentiable minimization problem is to find \(x^{*} \in C\) such that
Also, it is well known that a point \(x^{*}\) is a solution of problem (4.1) if and only if
for all \(y \in C\). Problem (4.2) is called the classical variational inequality problem. If we get \(F ( x^{*}, y ) = \langle \nabla \psi ( x^{*} ), y - x^{*} \rangle\), then the equilibrium problem (1.1) and the variational inequality problem (4.2) have the same solution.
In 2015, Rahaman et al. [3] introduced the split equality mixed convex differentiable optimization problem of finding \(x^{*} \in C\) and \(y^{*} \in Q\) such that
where \(\psi: C \rightarrow H_{1}\) and \(\sigma: Q \rightarrow H_{2}\) are convex differentiable mappings. The set of solutions of the split equality mixed convex differentiable optimization problem (4.3) is denoted by \(\operatorname{SEMCDOP} ( \psi, \sigma, T, S, \phi, \varphi )\). If \(T =0\), then this problem is reduced to the split equality mixed variational inequality problem introduced by Ma et al. [4] in 2015. Also, if \(B = I\) and \(H_{2} = H_{3}\), then problem (4.3) is reduced to the split mixed convex differentiable optimization problem of finding \(x^{*} \in C\) such that
and such that \(A x^{*} = y^{*} \in Q\) solves
The solution set of this problem is denoted by \(\operatorname{SMCDOP} ( \psi, \sigma, T, S, \phi, \varphi )\).
Since the gradients ∇ψ and ∇σ are monotone mappings, if \(F ( x^{*}, y ) = \langle \nabla \psi ( x^{*} ), x - x^{*} \rangle\), \(G ( x, y^{*} ) = \langle \nabla \sigma ( y^{*} ), y - y^{*} \rangle\), and \(\lambda_{1} = \lambda_{2} =1\), then F and G satisfy condition (B2). So, we can give the following result.
Theorem 2
Let \(H_{1}\), \(H_{2}\), \(H_{3}\), T, S, ϕ, φ, \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), A, and B satisfy conditions (B1)-(B6) except (B2). Suppose that the mappings \(\psi:C\rightarrow H_{1}\) and \(\sigma:Q\rightarrow H_{2}\) are convex and differentiable mappings. For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
for all \(u \in C\) and \(v \in Q\), where \(n \geq1\), and the sequences \(\{ \delta_{n} \}\), \(\{ \alpha_{n} \}\), and \(\{ r_{n} \}\) satisfy conditions (C1)-(C3), respectively. If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SEMCDOP} ( \psi, \sigma, T, S, \phi, \varphi )\neq\emptyset\), then:
-
(i)
The sequence \(\{ ( x_{n}, y_{n} ) \}\) converges weakly to a solution of problem (4.3);
-
(ii)
If \(P_{i}\), \(i =1,2,3,4\), are demicompact, then the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges strongly to a solution of problem (4.3).
In Theorem 2, if we take \(B = I\) and \(H_{2} = H_{3}\), then we get the following result.
Corollary 3
Let \(H_{1}\), \(H_{2}\), T, S, ϕ, φ, \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), and A satisfy conditions (B1)-(B6) except (B2) with \(A: H_{1} \rightarrow H_{2}\). Suppose that the mappings \(\psi:C\rightarrow H_{1}\) and \(\sigma:Q\rightarrow H_{2}\) are convex and differentiable mappings. For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
for all \(u \in C\) and \(v \in Q\), where \(n \geq1\), \(\{ \delta_{n} \}\) is a positive real sequences such that \(\delta_{n} \in ( \varepsilon, \frac{1}{\lambda_{A}} - \varepsilon )\) for sufficiently small ε, where \(\lambda_{A}\) denotes the spectral radius of \(A^{*} A\), and the sequences \(\{ \alpha_{n} \}\) and \(\{ r_{n} \}\) satisfy conditions (C2) and (C3), respectively. If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SMCDOP} ( \psi, \sigma, T, S, \phi, \varphi )\neq\emptyset\), then:
-
(i)
The sequence \(\{ ( x_{n}, y_{n} ) \}\) converges weakly to a solution of problem (4.4);
-
(ii)
If \(P_{i}\), \(i =1,2,3,4\), are demicompact, then the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges strongly to a solution of problem (4.4).
In Theorem 1, if we take \(F = G = T = S =0\), then we have the following result for the split equality convex minimization problem (1.8).
Theorem 3
Let \(H_{1}\), \(H_{2}\), \(H_{3}\), ϕ, φ, \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), A, and B satisfy conditions (B1), (B4), (B5), and (B6). For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
for all \(u \in C\) and \(v \in Q\), where \(n \geq1\), and the sequences \(\{ \delta_{n} \}\), \(\{ \alpha_{n} \}\), and \(\{ r_{n} \}\) satisfy conditions (C1)-(C3), respectively. If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SECMP} ( \phi, \varphi )\neq\emptyset\), then:
-
(i)
The sequence \(\{ ( x_{n}, y_{n} ) \}\) converges weakly to a solution of problem (1.8);
-
(ii)
If \(P_{i}\), \(i =1,2,3,4\), are demicompact, then the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges strongly to a solution of problem (1.8).
If we take \(B = I\) and \(H_{2} = H_{3}\) in Theorem 3, then we get the following result for the split convex minimization problem (1.9).
Corollary 4
Let \(H_{1}\), \(H_{2}\), \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), ϕ, φ, and A satisfy conditions (B1), (B4), (B5), and (B6) with \(A: H_{1} \rightarrow H_{2}\). For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
for all \(u \in C\) and \(v \in Q\), where \(n \geq1\), \(\{ \delta_{n} \}\) is a positive real sequences such that \(\delta_{n} \in ( \varepsilon, \frac{1}{\lambda_{A}} - \varepsilon )\) for sufficiently small ε, where \(\lambda_{A}\) denotes the spectral radius of \(A^{*} A\), and the sequences \(\{ \alpha_{n} \}\) and \(\{ r_{n} \}\) satisfy conditions (C2) and (C3), respectively. If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SCMP} ( \phi, \varphi )\neq\emptyset\), then:
-
(i)
The sequence \(\{ ( x_{n}, y_{n} ) \}\) converges weakly to a solution of problem (1.9);
-
(ii)
If \(P_{i}\), \(i =1,2,3,4\), are demicompact, then the sequence \(\{ ( x_{n}, y_{n} ) \}\) converges strongly to a solution of problem (1.9).
In Theorem 1, if we take \(T = S =0\) and \(\lambda_{1} = \lambda_{2} =1\), then we have the following convergence result for the split equality mixed equilibrium problem (1.5).
Theorem 4
Let \(H_{1}\), \(H_{2}\), \(H_{3}\), F, G, ϕ, φ, \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), A, and B satisfy conditions (B1)-(B6) except (B3). For an arbitrary initial value \(( x_{1}, y_{1} ) \in C\times Q\), define the sequence \(\{ ( x_{n}, y_{n} ) \}\) in \(C\times Q\) generated by
for all \(u \in C\) and \(v \in Q\), where \(n \geq1\), and the sequences \(\{ \delta_{n} \}\), \(\{ \alpha_{n} \}\), and \(\{ r_{n} \}\) satisfy conditions (C1)-(C3), respectively. If \(\mathcal{F}:= \bigcap_{i =1}^{4} F ( P_{i} ) \cap \operatorname{SEMEP} ( F, G, \phi, \varphi ) \neq\emptyset\), then:
References
Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123-145 (1994)
Ahmad, R, Rahaman, M: Generalized strongly vector equilibrium problem for set-valued mappings. Filomat 28(9), 1783-1790 (2014)
Rahaman, M, Liou, YC, Ahmad, R, Ahmad, I: Convergence theorems for split equality generalized mixed equilibrium problems for demi-contractive mappings. J. Inequal. Appl. 2015, 418 (2015)
Ma, Z, Wang, L, Chang, SS, Duan, W: Convergence theorems for split equality mixed equilibrium problems with applications. Fixed Point Theory Appl. 2015, 31 (2015). doi:10.1186/s13663-015-0281-x
He, Z: The split equilibrium problem and its convergence algorithms. J. Inequal. Appl. 2012, 162 (2012). doi:10.1186/1029-242X-2012-162
Censor, Y, Elfving, T: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 8(2), 221-239 (1994)
Censor, Y, Bortfeld, T, Martin, B, Trofimov, A: A unified approach for inverse problem in intensity-modulated radiation therapy. Phys. Med. Biol. 51, 2352-2365 (2006)
Censor, Y, Elfving, T, Kopf, N, Bortfeld, T: The multiple-sets split feasibility problem and its applications. Inverse Probl. 21, 2071-2084 (2005)
Censor, Y, Motova, A, Segal, A: Perturbed projections and subgradient projections for the multiple-sets split feasibility problem. J. Math. Anal. Appl. 327, 1244-1256 (2007)
Chang, SS, Lee, HWJ, Chan, CK: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal. 70, 3307-3319 (2009)
Qin, X, Chang, SS, Cho, YJ: Iterative methods for generalized equilibrium problems and fixed point problems with applications. Nonlinear Anal. 11, 2963-2972 (2010)
Qin, X, Shang, M, Su, Y: A general iterative method for equilibrium problem and fixed point problem in Hilbert spaces. Nonlinear Anal. 69, 3897-3909 (2008)
Noor, M, Oettli, W: On general nonlinear complementarity problems and quasi-equilibria. Matematiche 49, 313-346 (1994)
Chang, SS, Agarwal, R: Strong convergence theorems of general split equality problems for quasi-nonexpansive mappings. J. Inequal. Appl. 2014, 367 (2014)
Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings. Dekker, New York (1984)
Goebel, K, Kirk, WA: Topics on Metric Fixed-Point Theory. Cambridge University Press, Cambridge (1990)
Opial, Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 73, 591-597 (1967)
Marino, G, Xu, HK: Weak and strong convergence theorems for strict pseudocontractions in Hilbert space. J. Math. Anal. Appl. 329, 336-346 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author has no competing interests.
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
Karahan, I. Strong and weak convergence theorems for split equality generalized mixed equilibrium problem. Fixed Point Theory Appl 2016, 101 (2016). https://doi.org/10.1186/s13663-016-0592-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0592-6
MSC
- 47H09
- 47J25
Keywords
- split equality generalized mixed equilibrium problem
- nonexpansive mappings
- fixed point
- demicompactness