 Research
 Open Access
 Published:
Moudafi’s open question and simultaneous iterative algorithm for general split equality variational inclusion problems and general split equality optimization problems
Fixed Point Theory and Applications volume 2014, Article number: 215 (2014)
Abstract
The purpose of this paper is first to introduce and study the general split equality variational inclusion problems and the general split equality optimization problems in the setting of infinitedimensional Hilbert spaces and then propose a new simultaneous iterative algorithm. Under suitable conditions, some strong convergence theorems for the sequences generated by the proposed algorithm converging strongly to a solution for these two kinds of problems are proved. As special cases, we shall utilize our results to study the split feasibility problems, the split equality equilibrium problems, and the split optimization problems. The results presented in the paper not only extend and improve the corresponding recent results announced by many authors, but they also provide an affirmative answer to an open question raised by Moudafi in his recent work.
1 Introduction
Let C and Q be nonempty closed convex subsets of real Hilbert spaces {H}_{1} and {H}_{2}, respectively. The split feasibility problem (SFP) is formulated as
where A:{H}_{1}\to {H}_{2} is a bounded linear operator. In 1994, Censor and Elfving [1] first introduced the (SFP) in finitedimensional Hilbert spaces for modeling inverse problems which arise from phase retrievals and in medical image reconstruction [2]. It has been found that the (SFP) can also be used in various disciplines such as image restoration, and computer tomograph and radiation therapy treatment planning [3–5]. The (SFP) in an infinitedimensional real Hilbert space can be found in [2, 4, 6–10].
Assuming that the (SFP) is consistent, it is not hard to see that {x}^{\ast}\in C solves (SFP) if and only if it solves the fixedpoint equation
where {P}_{C} and {P}_{Q} are the metric projection from {H}_{1} onto C and from {H}_{2} onto Q, respectively, \gamma >0 is a positive constant and {A}^{\ast} is the adjoint of A.
A popular algorithm to be used to solves the SFP (1.1) is due to Byrne’s CQalgorithm [2]:
where \gamma \in (0,2/\lambda ) with λ being the spectral radius of the operator {A}^{\ast}A.
Recently, Moudafi [11, 12] introduced the following split equality feasibility problem (SEFP):
where A:{H}_{1}\to {H}_{3} and B:{H}_{2}\to {H}_{3} are two bounded linear operators. Obviously, if B=I (identity mapping on {H}_{2}) and {H}_{3}={H}_{2}, then (1.3) reduces to (1.1). The kind of split equality problems (1.3) allows asymmetric and partial relations between the variables x and y. The interest is to cover many situations, such as decomposition methods for PDEs, and applications in game theory and intensitymodulated radiation therapy.
In order to solve the split equality feasibility problem (1.3), Moudafi [11] introduced the following simultaneous iterative method:
and under suitable conditions he proved the weak convergence of the sequence \{({x}_{n},{y}_{n})\} to a solution of (1.3) in Hilbert spaces.
At the same time, he raised the following open question.
Moudafi’s Open Question 1.1 Is there any strong convergence theorem of an alternating algorithm for the split equality feasibility problem (1.3) in real Hilbert spaces?
More recently, Eslamian and Latif [13], Chen et al. [14], Chuang [15] and Chang and Wang [16] introduced and studied some kinds of general split feasibility problem, general split equality problem, and split variational inclusion problem in real Hilbert spaces. Under suitable conditions some strong convergence theorems are proved. Also a comprehensive survey and update bibliography on split feasibility problems are given in Ansari and Rehan [17].
Motivated by the above works and related literature, in this paper, we continue to consider the problem (1.3). We obtain some strongly convergent theorems to a solution of the problem (1.3) which provide an affirmative answer to Moudafi’s open question.
For the purpose we first introduce and consider the following more general problems.
(I) General split equality variational inclusion problem:
where {H}_{1}, {H}_{2} and {H}_{3} are three real Hilbert spaces, {U}_{i}:{H}_{1}\to {H}_{1} and {K}_{i}:{H}_{2}\to {H}_{2}, i=1,2,\dots are two families of setvalued maximal monotone mappings, A:{H}_{1}\to {H}_{3} and B:{H}_{2}\to {H}_{3} are two linear and bounded operators.
(II) General split equality optimization problem:
where {H}_{1}, {H}_{2}, and {H}_{3} are three real Hilbert spaces, A:{H}_{1}\to {H}_{3} and B:{H}_{2}\to {H}_{3} are two linear and bounded operators, {h}_{i}:{H}_{1}\to \mathbb{R} and {g}_{i}:{H}_{2}\to \mathbb{R} are two countable families of proper, convex, and lower semicontinuous functions.
The following problems are special cases of Problem I and II.
(III) Split equality feasibility problems.
Let C\subset {H}_{1} and Q\subset {H}_{2} be two nonempty closed convex subsets and A:{H}_{1}\to {H}_{3}, B:{H}_{2}\to {H}_{3} be two bounded linear operators. As mentioned above the socalled ‘split equality feasibility problem’ (SEFP) is to find
Let {i}_{C} and {i}_{Q} be the indicator functions of C and Q, respectively, i.e.,
Denote by {N}_{C}(x) and {N}_{Q}(y) the normal cones of C and Q at x and y, respectively:
It is easy to know that {i}_{C} and {i}_{Q} both are proper convex and lower semicontinuous functions on {H}_{1} and {H}_{2}, respectively, and the subdifferentials \partial {i}_{C} and \partial {i}_{Q} both are maximal monotone operators. We define the resolvent operator {J}_{\beta}^{\partial {i}_{C}} of {i}_{C} by
Here
Hence we have
This implies that {J}_{\beta}^{\partial {i}_{C}}={P}_{C} for any \beta >0. Similarly, we also have \partial {i}_{Q}(y)={N}_{Q}(y), and {J}_{\beta}^{\partial {i}_{Q}}={P}_{Q} for any \beta >0. Therefore the (SEFP) (1.3) is equivalent to the following split equality optimization problem, i.e., to find {x}^{\ast}\in {H}_{1}, and {y}^{\ast}\in {H}_{2} such that
(IV) Split equality equilibrium problem.
Let D be a nonempty closed and convex subset of a real Hilbert space H. A bifunction g:D\times D\to (\mathrm{\infty},+\mathrm{\infty}) is said to be a equilibrium function, if it satisfies the following conditions:

(A1)
g(x,x)=0, for all x\in D;

(A2)
g is monotone, i.e., g(x,y)+g(y,x)\le 0 for all x,y\in D;

(A3)
{lim\hspace{0.17em}sup}_{t\downarrow 0}g(tz+(1t)x,y)\le g(x,y) for all x,y,z\in D;

(A4)
for each x\in D, y\mapsto g(x,y) is convex and lower semicontinuous.
The socalled equilibrium problem with respect to the equilibrium function g is
Its solution set is denoted by EP(g).
For given \lambda >0 and x\in H, the resolvent of the equilibrium function g is the operator {R}_{\lambda ,g}:H\to D defined by
Proposition 1.2 [18]
The resolvent operator {R}_{\lambda ,g} of the equilibrium function g has the following properties:

(1)
{R}_{\lambda ,g} is singlevalued;

(2)
F({R}_{\lambda ,g})=EP(g) and EP(g) is a nonempty closed and convex subset of D;

(3)
{R}_{\lambda ,g} is a firmly nonexpansive mapping.
Let h,g:D\times D\to (\mathrm{\infty},+\mathrm{\infty}) be two equilibrium functions. For given \lambda >0, let {R}_{\lambda ,h} and {R}_{\lambda ,g} be the resolvent of h and g (defined by (1.9)), respectively.
The socalled split equality equilibrium problem with respective to h, g, and D (SEEP(h,g,D)) is to find {x}^{\ast}\in D, {y}^{\ast}\in D such that
where A,B:D\to D are two linear and bounded operators.
By Proposition 1.2, the (SEEP(h,g,D)) (1.10) is equivalent to find {x}^{\ast}\in D, {y}^{\ast}\in D such that for each \lambda >0
Letting C=F({R}_{\lambda h}), Q=F({R}_{\lambda g}), by Proposition 1.2, C and Q both are nonempty closed and convex subset of D. Hence the problem (1.10) is equivalent to the following split equality feasibility problem:
(V) Split optimization problem.
Let {H}_{1} and {H}_{2} be two real Hilbert spaces, A:{H}_{1}\to {H}_{2} be a linear and bounded operators, h:{H}_{1}\to \mathbb{R} and g:{H}_{2}\to \mathbb{R} be two proper convex and lower semicontinuous functions. The split optimization problem (SOP) is to find {x}^{\ast}\in {H}_{1}, A{x}^{\ast}\in {H}_{2} such that
Denote by U=\partial h and K=\partial g, then the (SOP) (1.12) is equivalent to the following split variational inclusion problem (SVIP): to find {x}^{\ast}\in {H}_{1} such that
For solving (GSEVIP) (1.5) and (GSEOP) (1.6), in Sections 3 and 4, we propose a new simultaneous type iterative algorithm. Under suitable conditions some strong convergence theorems for the sequences generated by the algorithm are proved in the setting of infinitedimensional Hilbert spaces. As special cases, we shall utilize our results to study the split feasibility problem, split equality equilibrium problem and the split optimization problem. By the way, we obtain a strongly convergent iterative sequence to a solution of the problem (1.3), which provides an affirmative answer to the open question raised by Moudafi [11]. The results presented in the paper extend and improve the corresponding results announced by Moudafi et al. [11, 12, 19], Eslamian and Latif [13], Chen et al. [14], Censor et al. [1, 3–5, 20], Chuang [15], Naraghirad [21], Chang and Wang [16], Ansari and Rehan [17], and some others.
2 Preliminaries
We first recall some definitions, notations, and conclusions.
Throughout this paper, we assume that H is a real Hilbert space and C is a nonempty closed convex subset of H. In the sequel, we denote by F(T) the set of fixed points of a mapping T and by {x}_{n}\to {x}^{\ast} and {x}_{n}\rightharpoonup {x}^{\ast}, the strong convergence, and weak convergence of a sequence \{{x}_{n}\} to a point {x}^{\ast}, respectively.
Recall that a mapping T:H\to H is said to be nonexpansive, if \parallel TxTy\parallel \le \parallel xy\parallel, \mathrm{\forall}x,y\in H. A typical example of nonexpansive mapping is the metric projection {P}_{C} from H onto C\subseteq H defined by \parallel x{P}_{C}x\parallel ={inf}_{y\in C}\parallel xy\parallel. The metric projection {P}_{C} is firmly nonexpansive, if
and it can be characterized by the fact that
A mapping T:H\to H is said to be quasinonexpansive, if F(T)\ne \mathrm{\varnothing}, and
It is easy to see that if T is a quasinonexpansive mapping, then F(T) is a closed and convex subset of C. Besides, T is said to be a firmly nonexpansive, if
Lemma 2.1 [22]
Let H be a real Hilbert space, and \{{x}_{n}\} be a sequence in H. Then, for any given sequence \{{\lambda}_{n}\} of positive numbers with {\sum}_{i=1}^{\mathrm{\infty}}{\lambda}_{n}=1 for any positive integers i, j with i<j the following holds:
Lemma 2.2 [23]
Let H be a real Hilbert space. For any x,y\in H, the following inequality holds:
Lemma 2.3 [24]
Let \{{t}_{n}\} be a sequence of real numbers. If there exists a subsequence \{{n}_{i}\} of \{n\} such that {t}_{{n}_{i}}<{t}_{{n}_{i}+1} for all i\ge 1, then there exists a nondecreasing sequence \{\tau (n)\} with \tau (n)\to \mathrm{\infty} such that for all (sufficiently large) positive integer number n, the following holds:
In fact,
Definition 2.4 (Demiclosedness principle)
Let C be a nonempty closed convex subset of a real Hilbert space H, and T:C\to C be a mapping with F(T)\ne \mathrm{\varnothing}. Then IT is said to be demiclosed at zero, if for any sequence \{{x}_{n}\}\subset C with {x}_{n}\rightharpoonup x and \parallel {x}_{n}T{x}_{n}\parallel \to 0, x=Tx.
Remark 2.5 [25]
It is well known that if T:C\to C is a nonexpansive mapping, then IT is demiclosed at zero.
Lemma 2.6 Let \{{a}_{n}\}, \{{b}_{n}\} and \{{c}_{n}\} be sequences of positive real numbers satisfying {a}_{n+1}\le (1{b}_{n}){a}_{n}+{c}_{n} for all n\ge 1. If the following conditions are satisfied:

(1)
{b}_{n}\in (0,1) and {\sum}_{n=1}^{\mathrm{\infty}}{b}_{n}=\mathrm{\infty},

(2)
{\sum}_{n=1}^{\mathrm{\infty}}{c}_{n}<\mathrm{\infty}, or {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}\frac{{c}_{n}}{{b}_{n}}\le 0,
then {lim}_{n\to \mathrm{\infty}}{a}_{n}=0.
Lemma 2.7 [15]
Let H be a real Hilbert space, B:H\to {2}^{H} be a setvalued maximal monotone mapping, \beta >0, and let {J}_{\beta}^{B} be the resolvent mapping of B defined by {J}_{\beta}^{B}:={(I+\beta B)}^{1}, then

(i)
for each \beta >0, {J}_{\beta}^{B} is a singlevalued and firmly nonexpansive mapping;

(ii)
D({J}_{\beta}^{B})=H and F({J}_{\beta}^{B})={B}^{1}(0);

(iii)
(I{J}_{\beta}^{B}) is a firmly nonexpansive mapping for each \beta >0;

(iv)
suppose that {B}^{1}(0)\ne \mathrm{\varnothing}, then for each x\in H, each {x}^{\ast}\in {B}^{1}(0) and each \beta >0
{\parallel x{J}_{\beta}^{B}x\parallel}^{2}+\parallel {J}_{\beta}^{B}x{x}^{\ast}\parallel \le {\parallel x{x}^{\ast}\parallel}^{2}; 
(v)
suppose that {B}^{1}(0)\ne \mathrm{\varnothing}. Then \u3008x{J}_{\beta}^{B}x,{J}_{\beta}^{B}xw\u3009\ge 0 for each x\in H, each w\in {B}^{1}(0), and each \beta >0.
Lemma 2.8 Let {H}_{1}, {H}_{2} be two real Hilbert spaces, A:{H}_{1}\to {H}_{2} be a linear bounded operator and {A}^{\ast} be the adjoint of A. Let B:{H}_{2}\to {2}^{{H}_{2}} be a setvalued maximal monotone mapping, \beta >0, and let {J}_{\beta}^{B} be the resolvent mapping of B, then

(i)
{\parallel (I{J}_{\beta}^{B})Ax(I{J}_{\beta}^{B})Ay\parallel}^{2}\le \u3008(I{J}_{\beta}^{B})Ax(I{J}_{\beta}^{B})Ay,AxAy\u3009;

(ii)
{\parallel {A}^{\ast}(I{J}_{\beta}^{B})Ax{A}^{\ast}(I{J}_{\beta}^{B})Ay\parallel}^{2}\le {\parallel A\parallel}^{2}\u3008(I{J}_{\beta}^{B})Ax(I{J}_{\beta}^{B})Ay,AxAy\u3009;

(iii)
if \rho \in (0,\frac{2}{{\parallel A\parallel}^{2}}), then (I\rho {A}^{\ast}(I{J}_{\beta}^{B})A) is a nonexpansive mapping.
Proof By Lemma 2.7(iii), the mapping (I{J}_{\beta}^{B}) is firmly nonexpansive, hence the conclusions (i) and (ii) are obvious.
Now we prove the conclusion (iii).
In fact, for any x,y\in {H}_{1}, it follows from the conclusions (i) and (ii) that
This completes the proof of Lemma 2.8. □
3 General split equality variational inclusion problem and strong convergence theorems
Throughout this section we assume that

(1)
{H}_{1}, {H}_{2}, {H}_{3} are three real Hilbert spaces;

(2)
{\{{U}_{i}\}}_{i=1}^{\mathrm{\infty}}:{H}_{1}\to {2}^{{H}_{1}} and {\{{K}_{i}\}}_{i=1}^{\mathrm{\infty}}:{H}_{2}\to {2}^{{H}_{2}} are two families of setvalued maximal monotone mappings, \beta >0 and \gamma >0 are given positive numbers;

(3)
A:{H}_{1}\to {H}_{3} and B:{H}_{2}\to {H}_{3} are two bounded linear operators and {A}^{\ast}, {B}^{\ast} are the adjoint of A and B, respectively;

(4)
f=\left[\begin{array}{c}{f}_{1}\\ {f}_{2}\end{array}\right], where {f}_{i}, i=1,2 is a kcontractive mapping on {H}_{i} with k\in (0,1);

(5)
the set of solutions of (GSEVIP) (1.5) \mathrm{\Omega}\ne \mathrm{\varnothing},
{J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})}:=\left[\begin{array}{c}{J}_{{\mu}_{i}}^{{U}_{i}}\\ {J}_{{\mu}_{i}}^{{K}_{i}}\end{array}\right],\phantom{\rule{2em}{0ex}}G=[A\phantom{\rule{0.25em}{0ex}}B],\phantom{\rule{2em}{0ex}}{G}^{\ast}=\left[\begin{array}{c}{A}^{\ast}\\ {B}^{\ast}\end{array}\right],\phantom{\rule{2em}{0ex}}{G}^{\ast}G=\left[\begin{array}{cc}{A}^{\ast}A& {A}^{\ast}B\\ {B}^{\ast}A& {B}^{\ast}B\end{array}\right], 
(6)
for any given {w}_{0}\in {H}_{1}\times {H}_{2}, the iterative sequence \{{w}_{n}\}\subset {H}_{1}\times {H}_{2} is generated by
{w}_{n+1}={\alpha}_{n}{w}_{n}+{\beta}_{n}f({w}_{n})+\sum _{i=1}^{\mathrm{\infty}}{\gamma}_{n,i}\left({J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})}(I{\lambda}_{n,i}{G}^{\ast}G){w}_{n}\right),\phantom{\rule{1em}{0ex}}n\ge 0,(3.1)
or its equivalent form:
where \{{\alpha}_{n}\}, \{{\beta}_{n}\}, \{{\gamma}_{n,i}\} are the sequences of nonnegative numbers satisfying
We are now in a position to give the following results.
Lemma 3.1 Let {H}_{1}, {H}_{2}, {H}_{3}, A, B, {A}^{\ast}, {B}^{\ast}, \{{U}_{i}\}, \{{K}_{i}\}, {J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})}, G, {G}^{\ast} be the same as above. If \mathrm{\Omega}\ne \mathrm{\varnothing} (the solution set of (GSEVIP) (1.5)), then {w}^{\ast}:=({x}^{\ast},{y}^{\ast})\in {H}_{1}\times {H}_{2} is a solution of (GSEVIP) (1.5) if and only if for each i\ge 1, and for any given \gamma >0 and \mu >0
Proof Indeed, if {w}^{\ast}=({x}^{\ast},{y}^{\ast})\in {H}_{1}\times {H}_{2} is a solution of (GSEVIP) (1.5), then by Lemma 2.7(ii), for each i\ge 1, and for any \gamma >0 and \mu >0 we have
Hence we have G({w}^{\ast})=A{x}^{\ast}B{y}^{\ast}=0, and so
This implies that (3.2) is true.
Conversely, if {w}^{\ast}=({x}^{\ast},{y}^{\ast})\in {H}_{1}\times {H}_{2} satisfies (3.2), then we have
We make the assumption that the solution set Ω of (GSEVIP) (1.5) is nonempty. Hence the sets {U}_{i}^{1}(0) and {K}_{i}^{1}(0) both are nonempty. By Lemma 2.7(v) and (3.3), we have
and so
Similarly, by Lemma 2.7(v) and (3.3) again, one gets
Adding up (3.4) and (3.5), we have
Simplifying it, we have
Since \mathrm{\Omega}\ne \mathrm{\varnothing}, taking \overline{w}=(\overline{x},\overline{y})\in \mathrm{\Omega}, for each i\ge 1, we have \overline{x}\in {U}_{i}^{1}(0) and \overline{y}\in {K}_{i}^{1}(0) and A\overline{x}=B\overline{y}. In (3.6), taking x=\overline{x} and y=\overline{y}, we have
Hence from (3.3) and (3.7)
It follows from (3.7) and (3.8) that {w}^{\ast} is a solution of (GSEVIP) (1.5).
This completes the proof of Lemma 3.1. □
Lemma 3.2 If \lambda \in (0,\frac{2}{L}), where L={\parallel G\parallel}^{2}, then (I\lambda {G}^{\ast}G):{H}_{1}\times {H}_{2}\to {H}_{1}\times {H}_{2} is a nonexpansive mapping.
Proof In fact, for any w,u\in {H}_{1}\times {H}_{2}, we have
This completes the proof. □
Theorem 3.3 Let {H}_{1}, {H}_{2}, {H}_{3}, A, B, {A}^{\ast}, {B}^{\ast}, \{{U}_{i}\}, \{{K}_{i}\}, {J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})}, G, {G}^{\ast}, f be the same as above. Let \{{w}_{n}\} be the sequence defined by (3.1). If the solution set Ω of (GSEVIP) (1.5) is nonempty and the following conditions are satisfied:

(i)
{\alpha}_{n}+{\beta}_{n}+{\sum}_{i=1}^{\mathrm{\infty}}{\gamma}_{n,i}=1, for each n\ge 0;

(ii)
{lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0, and {\sum}_{n=0}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty};

(iii)
{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}{\gamma}_{n,i}>0 for each i\ge 1;

(iv)
\{{\lambda}_{n,i}\}\subset (0,\frac{2}{L}) for each i\ge 1, where L={\parallel G\parallel}^{2},
then the sequence \{{w}_{n}\} converges strongly to {w}^{\ast}={P}_{\mathrm{\Omega}}f({w}^{\ast}), which is a solution of (GSEVIP) (1.5).
Proof (I) First we prove that the sequence \{{w}_{n}\} is bounded.
In fact, for any given z\in \mathrm{\Omega}, it follows from Lemma 3.1, Lemma 3.2, and condition (iv) that
and (I{\lambda}_{n,i}{G}^{\ast}G):{H}_{1}\times {H}_{2}\to {H}_{1}\times {H}_{2} is a nonexpansive mapping. Also by Lemma 2.7(i), for each i\ge 1, {J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})} is a firmly nonexpansive mapping. Hence we have
By induction, we can prove that
This shows that \{{w}_{n}\} is bounded, and so is \{f({w}_{n})\}.
(II) Now we prove that the following inequality holds:
Indeed, it follows from (3.1) and Lemma 2.1 that for each i\ge 1
This implies that for each i\ge 1
Inequality (3.3) is proved.
It is easy to see that the solution set Ω of (GSEVIP) (1.5) is a closed and convex subset in {H}_{1}\times {H}_{2}. By the assumption that Ω is nonempty, so it is a nonempty closed and convex subset in {H}_{1}\times {H}_{2}. Hence the metric projection {P}_{\mathrm{\Omega}} is well defined. In addition, since {P}_{\mathrm{\Omega}}f:{H}_{1}\times {H}_{2}\to \mathrm{\Omega} is a contractive mapping, there exists a unique {w}^{\ast}\in \mathrm{\Omega} such that
(III) Now we prove that \{{w}_{n}\} converges strongly to {w}^{\ast}.
For the purpose, we consider two cases.
Case I. Suppose that the sequence \{\parallel {w}_{n}{w}^{\ast}\parallel \} is monotone. Since \{\parallel {w}_{n}{w}^{\ast}\parallel \} is bounded, \{\parallel {w}_{n}{w}^{\ast}\parallel \} is convergent. Since {w}^{\ast}\in \mathrm{\Omega}, in (3.9) taking z={w}^{\ast} and letting n\to \mathrm{\infty}, in view of conditions (ii) and (iii), we have
On the other hand, by Lemma 2.2 and (3.1), we have
Simplifying it we have
where
By condition (ii), {lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0 and {\sum}_{n=1}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty}, and so is {\sum}_{n=1}^{\mathrm{\infty}}{\eta}_{n}=\mathrm{\infty}.
Next we prove that
In fact, since \{{w}_{n}\} is bounded in {H}_{1}\times {H}_{2}, there exists a subsequence \{{w}_{{n}_{k}}\}\subset \{{w}_{n}\} with {w}_{{n}_{k}}\rightharpoonup {v}^{\ast} (some point in C\times Q), and {\lambda}_{{n}_{k},i}\to {\lambda}_{i}\in (0,\frac{2}{L}) such that
Since
and {J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})}(I{\lambda}_{{n}_{k},i}{G}^{\ast}G) is a nonexpansive mapping, by Remark 2.5, I{J}_{{\mu}_{i}}^{({B}_{i},{K}_{i})}(I{\lambda}_{n,i}{G}^{\ast}G) is demiclosed at zero, hence we have
By Lemma 3.1, this implies that {v}^{\ast}\in \mathrm{\Omega}. In addition, since {w}^{\ast}={P}_{\mathrm{\Omega}}f({w}^{\ast}), we have
This shows that (3.13) is true. Taking {a}_{n}={\parallel {w}_{n}{w}^{\ast}\parallel}^{2}, {b}_{n}={\eta}_{n}, and {c}_{n}={\delta}_{n}{\eta}_{n} in Lemma 2.6, therefore all conditions in Lemma 2.6 are satisfied. We have {w}_{n}\to {w}^{\ast}.
Case II. If the sequence \{\parallel {w}_{n}{w}^{\ast}\parallel \} is not monotone, by Lemma 2.3, there exists a sequence of positive integers: \{\tau (n)\}, n\ge {n}_{0} (where {n}_{0} large enough) such that
Clearly \{\tau (n)\} is a nondecreasing, \tau (n)\to \mathrm{\infty} as n\to \mathrm{\infty}, and for all n\ge {n}_{0}
Therefore \{\parallel {w}_{\tau (n)}{w}^{\ast}\parallel \} is a nondecreasing sequence. According to Case I, {lim}_{n\to \mathrm{\infty}}\parallel {w}_{\tau (n)}{w}^{\ast}\parallel =0 and {lim}_{n\to \mathrm{\infty}}\parallel {w}_{\tau (n)+1}{w}^{\ast}\parallel =0. Hence we have
This implies that {w}_{n}\to {w}^{\ast} and {w}^{\ast}={P}_{\mathrm{\Omega}}f({w}^{\ast}) is a solution of (GSEVIP) (1.5).
This completes the proof of Theorem 3.3. □
Remark 3.4 Theorem 3.3 extends and improves the main results in Moudafi et al. [11, 12, 19], Eslamian and Latif [13], Chen et al. [14], Chuang [15], Naraghirad [21] and Ansari and Rehan [17].
4 General split equality optimization problem and strong convergence theorems
Let {H}_{1}, {H}_{2}, and {H}_{3} be three real Hilbert spaces. Let A:{H}_{1}\to {H}_{3} and B:{H}_{2}\to {H}_{3} be two linear and bounded operators. The socalled general split equality optimization problem (GSEOP) is to find {x}^{\ast}\in {H}_{1}, and {y}^{\ast}\in {H}_{2} such that for each i\ge 1
where {h}_{i}:{H}_{1}\to \mathbb{R} and {g}_{i}:{H}_{2}\to \mathbb{R} are two families of proper, lower semicontinuous, and convex functions.
For each i\ge 1 denote by \partial {h}_{i}={U}_{i} and \partial {g}_{i}={K}_{i}. Then the mappings {U}_{i}:{H}_{1}\to {2}^{{H}_{1}} and {K}_{i}:{H}_{2}\to {2}^{{H}_{2}}, i=1,2,\dots both are setvalued maximal monotone mappings, and
Therefore (GSEOP) (4.1) is equivalent to the following general split equality variational inclusion problem (GSEVIP): to find {x}^{\ast}\in {H}_{1} and {y}^{\ast}\in {H}_{2} such that
Therefore, the following theorem can be obtained from Theorem 3.3 immediately.
Theorem 4.1 Let {H}_{1}, {H}_{2}, {H}_{3}, A, B, {A}^{\ast}, {B}^{\ast}, \{{U}_{i}\}, \{{K}_{i}\} be the same as above. Let {J}_{{\mu}_{i}}^{({U}_{i},{K}_{i})}, G, {G}^{\ast}, f be the same as in Theorem 3.3. Let \{{w}_{n}\} be the sequence defined by (3.1). If the solution set {\mathrm{\Omega}}_{1} of (GSEVIP) (4.1) is nonempty and the following conditions are satisfied:

(i)
{\alpha}_{n}+{\beta}_{n}+{\sum}_{i=1}^{\mathrm{\infty}}{\gamma}_{n,i}=1, for each n\ge 0;

(ii)
{lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0, and {\sum}_{n=0}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty};

(iii)
{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}{\gamma}_{n,i}>0 for each i\ge 1;

(iv)
\{{\lambda}_{n,i}\}\subset (0,\frac{2}{L}) for each i\ge 1, where L={\parallel G\parallel}^{2},
then the sequence \{{w}_{n}\} converges strongly to {w}^{\ast}={P}_{{\mathrm{\Omega}}_{1}}f({w}^{\ast}), which is a solution of (GSEOP) (4.1).
By using Theorem 3.3 and Theorem 4.1, now we give some corollaries for the split equality feasibility problem, the split equality equilibrium problem, and the split optimization problem.
Let {H}_{1}, {H}_{2}, {H}_{3}, C, Q, A, B be the same as in the split equality feasibility problem (1.3). Let {i}_{C} and {i}_{Q} be the indicator function of C and Q, respectively, defined by (1.7). In Theorem 4.1, take \{U\}=\{\partial {i}_{C}\}, \{K\}=\{\partial {i}_{Q}\}, and {J}_{\mu}^{(U,K)}={P}_{C\times Q}:=\left[\begin{array}{c}{P}_{C}\\ {P}_{Q}\end{array}\right], therefore we have the following.
Corollary 4.2 Let {H}_{1}, {H}_{2}, {H}_{3}, A, B, {A}^{\ast}, {B}^{\ast}, {P}_{C\times Q} be the same as above. Let G, {G}^{\ast}, f be the same as in Theorem 4.1. Let \{{w}_{n}\} be the sequence generated by {w}_{0}\in {H}_{1}\times {H}_{2}
or its equivalent form
If the solution set {\mathrm{\Gamma}}_{1} of (SEFP) (1.3) is nonempty and the following conditions are satisfied:

(i)
{\alpha}_{n}+{\beta}_{n}+{\gamma}_{n}=1, for each n\ge 0;

(ii)
{lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0, and {\sum}_{n=0}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty};

(iii)
{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}{\gamma}_{n}>0;

(iv)
\{{\lambda}_{n}\}\subset (0,\frac{2}{L}) for each i\ge 1, where L={\parallel G\parallel}^{2},
then the sequence \{{w}_{n}\} converges strongly to {w}^{\ast}={P}_{{\mathrm{\Gamma}}_{1}}f({w}^{\ast}), which is a solution of (SEFP) (1.3).
Remark 4.3 Since the simultaneous iterative sequence \{({x}_{n},{y}_{n})\} (4.4) converges strongly to a solution of (SEFP) (1.3). Therefore it provides an affirmative answer to Moudafi’s open question 1.1 [11].
Let h,g:D\times D\to (\mathrm{\infty},+\mathrm{\infty}) be two equilibrium functions. For given \lambda >0, let {R}_{\lambda ,h} and {R}_{\lambda ,g} be the resolvents of h and g (defined by (1.9)), respectively.
The socalled split equality equilibrium problem with respective to h, g, and D (SEEP(h,g,D)) is to find {x}^{\ast}\in D, {y}^{\ast}\in D such that
where A,B:D\to D are two linear and bounded operators.
By Proposition 1.2, the (SEEP(h,g,D)) (4.5) is equivalent to find {x}^{\ast}\in D, {y}^{\ast}\in D such that for each \lambda >0
Letting C=F({R}_{\lambda h}), Q=F({R}_{\lambda g}), by Proposition 1.2, C and Q both are nonempty closed and convex subset of D. Hence the problem (4.5) (and so the problem (4.6)) is equivalent to the following split equality feasibility problem:
In Corollary 4.2 taking {H}_{1}={H}_{2}={H}_{3}=D, from Corollary 4.2 we have the following.
Corollary 4.4 Let D, C, Q be the same as above. Let A, B, {A}^{\ast}, {B}^{\ast}, {P}_{C\times Q}, G, {G}^{\ast}, f be the same as in Corollary 4.2. For any given {w}_{0}\in D\times D, let \{{w}_{n}\} be the sequence generated by
If the solution set {\mathrm{\Gamma}}_{2} of (SEEP(h,g,D)) (4.5) is nonempty and the following conditions are satisfied:

(i)
{\alpha}_{n}+{\beta}_{n}+{\gamma}_{n}=1, for each n\ge 0;

(ii)
{lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0, and {\sum}_{n=0}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty};

(iii)
{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}{\gamma}_{n}>0;

(iv)
\{{\lambda}_{n}\}\subset (0,\frac{2}{L}) for each i\ge 1, where L={\parallel G\parallel}^{2},
then the sequence \{{w}_{n}\} converges strongly to {w}^{\ast}={P}_{{\mathrm{\Gamma}}_{2}}f({w}^{\ast}), which is a solution of (SEEP(h,g,D)) (4.5).
Let {H}_{1} and {H}_{2} be two real Hilbert spaces, A:{H}_{1}\to {H}_{2} be a linear and bounded operators, h:{H}_{1}\to \mathbb{R} and g:{H}_{2}\to \mathbb{R} be two proper convex and lower semicontinuous functions. The split optimization problem (SOP) is to find {x}^{\ast}\in {H}_{1}, A{x}^{\ast}\in {H}_{2} such that
Denote U=\partial h and K=\partial g, then the (SOP) (4.9) is equivalent to the following split variational inclusion problem (SVIP): to find {x}^{\ast}\in {H}_{1} such that
In Theorem 4.1 taking {H}_{3}={H}_{2}, B=I (the identity mapping on {H}_{2}) and
then from Theorem 4.1 we have the following.
Corollary 4.5 Let {H}_{1}, {H}_{2}, A, I, \tilde{G}, {\tilde{G}}^{\ast}, U, K, be the same as above. Let {J}_{\mu}^{(U,K)}, f be the same as in Theorem 4.1. For any given {w}_{0}=({x}_{0},{y}_{0})\in {H}_{1}\times {H}_{2}, let \{{w}_{n}=({x}_{n},{y}_{n})\} be the sequence defined by
or its equivalent form:
If {\mathrm{\Gamma}}_{3}:=\{{x}^{\ast}\in {U}^{1}(0)\cap {A}^{1}{K}^{1}(0)\}, the solution set of (SOP) (4.9) is nonempty, and the following conditions are satisfied:

(i)
{\alpha}_{n}+{\beta}_{n}+{\gamma}_{n}=1, for each n\ge 0;

(ii)
{lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0, and {\sum}_{n=0}^{\mathrm{\infty}}{\beta}_{n}=\mathrm{\infty};

(iii)
{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\alpha}_{n}{\gamma}_{n}>0;

(iv)
\{{\lambda}_{n}\}\subset (0,\frac{2}{L}), where L={\parallel \tilde{G}\parallel}^{2},
then the sequence \{{w}_{n}\} converges strongly to {w}^{\ast}={P}_{{\mathrm{\Gamma}}_{3}}f({w}^{\ast}), which is a solution of (SOP) (4.9).
References
Censor Y, Elfving T: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 1994, 8: 221–239. 10.1007/BF02142692
Byrne C: Iterative oblique projection onto convex subsets and the split feasibility problem. Inverse Probl. 2002, 18: 441–453. 10.1088/02665611/18/2/310
Censor Y, Bortfeld T, Martin N, Trofimov A: A unified approach for inversion problem in intensitymodulated radiation therapy. Phys. Med. Biol. 2006, 51: 2353–2365. 10.1088/00319155/51/10/001
Censor Y, Elfving T, Kopf N, Bortfeld T: The multiplesets split feasibility problem and its applications. Inverse Probl. 2005, 21: 2071–2084. 10.1088/02665611/21/6/017
Censor Y, Motova A, Segal A: Perturbed projections ans subgradient projections for the multiplesets split feasibility problem. J. Math. Anal. Appl. 2007, 327: 1244–1256. 10.1016/j.jmaa.2006.05.010
Xu HK: A variable Krasnosel’skiiMann algorithm and the multiplesets split feasibility problem. Inverse Probl. 2006, 22: 2021–2034. 10.1088/02665611/22/6/007
Yang Q: The relaxed CQ algorithm for solving the split feasibility problem. Inverse Probl. 2004, 20: 1261–1266. 10.1088/02665611/20/4/014
Zhao J, Yang Q: Several solution methods for the split feasibility problem. Inverse Probl. 2005, 21: 1791–1799. 10.1088/02665611/21/5/017
Chang SS, Cho YJ, Kim JK, Zhang WB, Yang L: Multipleset split feasibility problems for asymptotically strict pseudocontractions. Abstr. Appl. Anal. 2012., 2012: Article ID 491760 10:1155/2012/491760
Chang SS, Wang L, Tang YK, Yang L: The split common fixed point problem for total asymptotically strictly pseudocontractive mappings. J. Appl. Math. 2012., 2012: Article ID 385638 10.1155/2012.385638
Moudafi A: A relaxed alternating CQ algorithm for convex feasibility problems. Nonlinear Anal. 2013, 79: 117–121.
Moudafi A, AlShemas E: Simultaneous iterative methods for split equality problem. Trans. Math. Program. Appl. 2013, 1: 1–11.
Eslamian M, Latif A: General split feasibility problems in Hilbert spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 805104
Chen RD, Wang J, Zhang HW: General split equality problems in Hilbert spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 35
Chuang CS: Strong convergence theorems for the split variational inclusion problem in Hilbert spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 350
Chang Ss, Wang L: Strong convergence theorems for the general split variational inclusion problem in Hilbert spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 171
Ansari QH, Rehan A: Split feasibility and fixed point problems. In Nonlinear Analysis: Approximation Theory, Optimization and Applications. Edited by: Ansari QH. Springer, New York; 2014:282–322.
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63(1/4):123–145.
Moudafi A: Split monotone variational inclusions. J. Optim. Theory Appl. 2011, 150: 275–283. 10.1007/s1095701198146
Censor Y, Segal A: The split common fixed point problem for directed operators. J. Convex Anal. 2009, 16: 587–600.
Naraghirad E: On an open question of Moudafi for convex feasibility problem in Hilbert spaces. Taiwan. J. Math. 2014, 18(2):371–408.
Chang SS, Joseph Lee HW, Chan CK, Zhang WB: A modified Halperntype iterative algorithm for totally quasiasymptotically nonexpansive mappings with applications. Appl. Math. Comput. 2012, 218: 6489–6497. 10.1016/j.amc.2011.12.019
Chang SS: On Chidume’s open questions and approximate solutions for multivalued strongly accretive mapping equations in Banach spaces. J. Math. Anal. Appl. 1997, 216: 94–111. 10.1006/jmaa.1997.5661
Maingé PE: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. SetValued Anal. 2008, 16(7–8):899–912. 10.1007/s112280080102z
Goebel K, Kirk WA 28. In Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge; 1990.
Acknowledgements
The authors would like to express their thanks to the editors and the referees for their helpful suggestion and advices. This work was supported by the National Natural Science Foundation of China (Grant No. 11361070).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Chang, Ss., Wang, L., Tang, Y.K. et al. Moudafi’s open question and simultaneous iterative algorithm for general split equality variational inclusion problems and general split equality optimization problems. Fixed Point Theory Appl 2014, 215 (2014). https://doi.org/10.1186/168718122014215
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122014215
Keywords
 general split equality variational inclusion problem
 general split equality optimization problem
 split feasibility problem
 split equality equilibrium problem
 split optimization problem