Abstract

The purpose of this paper is to study the convergence analysis of an intermixed algorithm for finding the common element of the set of solutions of split monotone variational inclusion problem (SMIV) and the set of a finite family of variational inequality problems. Under the suitable assumption, a strong convergence theorem has been proved in the framework of a real Hilbert space. In addition, by using our result, we obtain some additional results involving split convex minimization problems (SCMPs) and split feasibility problems (SFPs). Also, we give some numerical examples for supporting our main theorem.

1. Introduction

Let and be real Hilbert spaces whose inner product and norm are denoted by and , respectively, and let C, Q be nonempty closed convex subsets of and , respectively. For a mapping , we denoted by the set of fixed points of (i.e., ). Let be a nonlinear mapping. The variational inequality problem (VIP) is to find such thatand the solution set of problem (1) is denoted by . It is known that the variational inequality, as a strong and great tool, has already been investigated for an extensive class of optimization problems in economics and equilibrium problems arising in physics and many other branches of pure and applied sciences. Recall that a mapping is said to be -inverse strongly monotone if there exists such that

A multivalued mapping is called monotone if for all , , for any and . A monotone mapping is maximal if the graph for is not properly contained in the graph of any other monotone mapping. It is generally known that is maximal if and only if for for all implies . Let be a multivalued maximal monotone mapping. The resolvent mapping associated with is defined bywhere stands for the identity operator on . We note that for all , the resolvent is single-valued, nonexpansive, and firmly nonexpansive.

In 2011, Moudafi [1] introduced the following split monotone variational inclusion problem (SMVI):where is the zero vector in and , and are multivalued mappings on and , and are two given single-valued mappings, and is a bounded linear operator with adjoint of . We note that if (4) and (5) are considered separately, we have that (4) is a variational inclusion problem with its solution set and (5) is a variational inclusion problem with its solution set . We denoted the set of all solutions of (SMVI) by .

It is worth noticing that by taking normal cones to closed convex sets and , then (SMVI) (4) and (5) reduce to the split variational inequality problem (SVIP) that was introduced by Censor et at. [2]. In [1], they mentioned that (SMVI) (4) and (5) contain many special cases, such as split minimization problem (SMP), split minimax problem (SMMP), and split equilibrium problem (SEP). Some related works can be found in [1, 310].

For solving (SMVI) (4) and (5), Modafi  [1] proposed the following algorithm.

Algorithm 1. Let , , and the sequence be generated bywhere with being the spectral radius of the operator .

He obtained the following weak convergence theorem for algorithm (6).

Theorem 1. (see [1]). Let , be real Hilbert spaces. Let be a bounded linear operator with adjoint . For , let be -inverse strongly monotone with and let be two maximal monotone operators. Then, the sequence generated by (6) converges weakly to an element provided that , , and with being the spectral radius of the operator .

Since then, because of a lot of applications of (SMVI), it receives much attention from many authors. They presented many approximation methods for solving (SMVI) (4) and (5). Also the iterative methods for solving (SMVIP) (4) and (5) and fixed-point problems of some nonlinear mappings have been investigated (see [1119]).

On the other hand, Yao et al. [20] presented an intermixed Algorithm 1.3 for two strict pseudo-contractions in real Hilbert spaces. They also showed that the suggested algorithms converge strongly to the fixed points of two strict pseudo-contractions, independently. As a special case, they can find the common fixed points of two strict pseudo-contractions in Hilbert spaces (i.e., a mapping is said to be -strictly pseudo-contractive if there exists a constant such that ).

Algorithm 2. For arbitrarily given , let the sequences and be generated iteratively bywhere and are two sequences of the real number in , are -strictly pseudo-contractions, is a -contraction, is a -contraction, and is a constant.

Under some control conditions, they proved that the sequence converges strongly to and converges strongly to , respectively, where , , and are the metric projection of onto and , respectively. After that, many authors have developed and used this algorithm to solve the fixed-point problems of many nonlinear operators in real Hilbert spaces (see for example [2127]). Question: can we prove the strong convergence theorem of two sequences of split monotone variational inclusion problems and fixed-point problems of nonlinear mappings in real Hilbert spaces?

The purpose of this paper is to modify an intermixed algorithm to answer the question above and prove a strong convergence theorem of two sequences for finding a common element of the set of solutions of (SMVI) (4) and (5) and the set of solutions of a finite family of variational inequality problems in real Hilbert spaces. Furthermore, by applying our main result, we obtain some additional results involving split convex minimization problems (SCMPs) and split feasibility problems (SFPs). Finally, we give some numerical examples for supporting our main theorem.

2. Preliminaries

Let be a real Hilbert space and be a nonempty closed convex subset of . We denote the strong convergence of to and the weak convergence of to by notations “ as ” and “ as ,” respectively. For each and with , we have

Definition 1. Let be a real Hilbert space and be a closed convex subset of . Let be a mapping. Then, is said to be(1)Monotone, if (2)Firmly nonexpansive, if (3)Lipschitz continuous, if there exists a constant such that (4)Nonexpansive, if = 

It is well known that if is -inverse strongly monotone, then it is -Lipschitz continuous and every nonexpansive mapping is 1-Lipschitz continuous. We note that if is a nonexpansive mapping, then it satisfies the following inequality (see Theorem 3 in [28] and Theorem 1 in [29]):Particularly, for every and , we have

For every , there is a unique nearest point in such that

Such an operator is called the metric projection of onto .

Lemma 1. (see [30]). For a given and ,Furthermore, is a firmly nonexpansive mapping of onto and satisfies

Moreover, we also have the following lemma.

Lemma 2. (see [31]). Let be a real Hilbert space, let be a nonempty closed convex subset of , and let be a mapping of into . Let . Then, for ,where is the metric projection of onto .

Lemma 3. Let be a nonempty closed and convex subset of a real Hilbert space . For every , let be the -inverse strongly monotone with . If , thenwhere for all and . Moreover, is a nonexpansive mapping for all .

Proof. By Lemma 4.3 of [32], we have that . Let and let . As the same argument as in the proof of Lemma 8 in [16], we have as nonexpansive.

Lemma 4. (see [33]). Let be a real Hilbert space, be a single-valued nonlinear mapping, and be a set-valued mapping. Then, a point is a solution of variational inclusion problem if and only if , i.e.,Furthermore, if is -inverse strongly monotone and , then is a closed convex subset of .

Lemma 5. (see [33]). The resolvent operator associated with is single-valued, nonexpansive, and 1-inverse strongly monotone for all .

The following two lemmas are the particular case of Lemmas 7 and 8 in [16].

Lemma 6. (see [16]). For every , let be real Hilbert spaces, let be a multivalued maximal monotone mapping, and let be an -inverse strongly monotone mapping. Let be a bounded linear operator with adjoint of , and let be a mapping defined by , for all . Then, , for all , where is the spectral radius of the operator , , and . Furthermore, if , then is a nonexpansive mapping.

Lemma 7. (see [16]). Let and be Hilbert spaces. For , let be a multivalued maximal monotone mapping and let be an -inverse strongly monotone mapping. Let be a bounded linear operator with adjoint . Assume that . Then, if and only if , where is a mapping defined byfor all , , and is the spectral radius of the operator .

Next, we give an example to support Lemma 7.

Example 1. Let be a set of real number and , and let be inner product defined by , for all and and the usual norm given by , for all . Let be defined by for all and be defined by for all . Let be defined by , respectively, for all . Let the mapping be defined by , respectively, for all . Then, is a fixed point of . That is, .

Proof. It is obvious to see that , is 2-inverse strongly monotone, and is 3-inverse strongly monotone. Choose . Since and the resolvent of for all , we obtain thatChoose . Since and the resolvent of for all , we obtain thatSince the spectral radius of the operator is 4, we choose . Then, from (18) and (19), we get thatfor all . Then, by Lemma 7, we have that .

Lemma 8. (see [34]). Let be a sequence of nonnegative real numbers satisfying where is a sequence in and is a sequence in such that(1).(2) or . Then .

3. Main Results

In this section, we introduce an iterative algorithm of two sequences which depend on each other by using the intermixed method. Then, we prove a strong convergence theorem for solving two split monotone variational inclusion problems and a finite family of variational inequality problems.

Theorem 2. Let and be Hilbert spaces, and let be a nonempty closed convex subset of . Let be a bounded linear operator, and let be -contraction mappings with . For , let be multivalued maximal monotone mappings and let be inverse strongly monotone mappings, respectively. For let be inverse strongly monotone mappings, respectively, , and . Let be defined by , and , respectively, where , and with being a spectral radius of . Assume that and . Let and be sequences generated by andfor all where with , , and . Assume the following condition holds:(1), and for some .(2).(3).(4), for all , for some .(5). Then, converges strongly to and converges strongly to .

Proof. We divided the proof into five steps.

Step 1. We will show that and are bounded. Let and . Then, from Lemma 7 and Lemma 6, we getFrom (21), Lemma 3, and (22), we haveSimilarly, from definition of , we haveHence, from (23) and (24), we obtainBy induction, we havefor every . Thus, and are bounded.

Step 2. We will show that . Put , , , and , for all . From Lemma 6, we haveBy applying Lemma 3, we get thatFrom the definition of , (27), and (28), we haveBy the same argument as in (27) and (29), we also haveFrom (29) and (31), we obtain thatFrom (32), conditions , , and , and Lemma 8, we obtain that

Step 3. We show that . From (21), we have thatThen, we haveObserve thatFrom (33) and (37), we haveBy the same argument as above, we also have thatNote thatBy (37) and (39), we get thatBy the same argument as (41), we also obtainConsiderBy (33) and (39), we get thatHowever,It follows from (33) and (45) thatConsiderFrom (39) and (47), we obtainApplying the same method as (48), we also have

Step 4. We will show that and , where and . First, we take a subsequence of such thatSince is bounded, there exists a subsequence of such that as . From (39), we get that . Next, we need to show that . Assume that . By Lemma 7, we get that . Applying Opial’s condition and (49), we get thatThis is a contradiction. Thus, .
Assume that . Then, from Lemma 3 and Lemma 2, we have . From Opial’s condition and (42), we obtainThis is a contradiction. Thus, , and so,However, . From (54) and Lemma 1, we can derive thatBy the same method as (55), we also obtain that

Step 5. Finally, we show that the sequences and converges strongly to and , respectively. From the definition of , we havewhich implies thatFrom the definition of and (58), we getApplying the same argument as in (58) and (59), we getFrom (58) and (59), we haveAccording to condition and , (61), and Lemma 8, we can conclude that and converge strongly to and , respectively. Furthermore, from (39) and (40), we get that and converge strongly to and , respectively. This completes the proof. □

One of the great special cases of the SMVIP is the split variational inclusion problem that has a wide variety of application backgrounds, such as split minimization problems and split feasibility problems.

If we set and in Theorem 2, for all , then we get the strong convergence theorem for the split variational inclusion problem and the finite families of the variational inequality problems as follows:

Corollary 1. Let and be Hilbert spaces, and let be a nonempty closed convex subset of . Let be a bounded linear operator, and let be -contraction mappings with . For every , let be multivalued maximal monotone mappings. For let be inverse strongly monotone with and . Let and . Assume that and . Let and be sequences generated by andfor all , where with , , for all , and with being a spectral radius of . Assume the following conditions hold:(1), and for some .(2).(3).(4), for all , for some .(5). Then, converges strongly to and converges strongly to .

4. Applications

In this section, by applying our main result in Theorem 2, we can prove strong convergence theorems for approximating the solution of the split convex minimization problems and split feasibility problems.

4.1. Split Convex Minimization Problems

Let be a convex and differentiable function and be a proper convex and lower semicontinuous function. It is well known that if is -Lipschitz continuous, then it is -inverse strongly monotone, where is the gradient of (see [10]). It is also known that the subdifferential of is maximal monotone (see [35]). Moreover,

Next, we consider the following the split convex minimization problem (SCMP): findand such that solveswhere is a bounded linear operator with adjoint , defined as above, for . We denoted the set of all solutions of (64) and (65) by . That is, .

If we set , and , for , in Theorem 2, then we get the strong convergence theorem for finding the common solution of the split convex minimization problems and the finite families of the variational inequality problems as follows.

Theorem 3. Let and be Hilbert spaces, and let be a nonempty closed convex subset of . Let be a bounded linear operator, and let be -contraction mappings with . For , let be proper convex and lower semicontinuous functions, and let be convex and differentiable function such that and be -Lipschitz continuous and -Lipschitz continuous, respectively. For let be inverse strongly monotone with and . Let be defined by , and , respectively, where and with is a spectral radius of . Assume that and . Let and be sequences generated by andfor all where with , , and . Assume the following condition holds:(1), and for some .(2).(3).(4), for all , for some .(5). Then, converges strongly to and converges strongly to .

4.2. The Split Feasibility Problem

Let and be two real Hilbert spaces. Let and be the nonempty closed convex subset of and , respectively. The split feasibility problem (SFP) is to find

The set of all solutions (SFP) is denoted by . This problem was introduced by Censor and Elfving [8] in 1994. The split feasibility problem was investigated extensively as a widely important tool in many fields such as signal processing, intensity-modulated radiation therapy problems, and computer tomography (see [3638] and the references therein).

Let be a real Hilbert space, and let be a proper lower semicontinuous convex function of into . The subdifferential of is defined by for all . Then, is a maximal monotone operator [39]. Let be a nonempty closed convex subset of , and let be the indicator function of , i.e., if and if . Then, is a proper, lower semicontinuous and convex function on , and so the subdifferential of is a maximal monotone operator. Then, we can define the resolvent operator of for , by .

Recall that the normal cone of at a point in is defined by if and if . We note that , and for , we have that if and only if (see [31]).

Setting , , and in (SMVI) (4) and (5), then (SMVI) (4) and (5) are reduced to the split feasibility problem (SFP) (67)

Now, by applying Theorem 2, we get the following strong convergence theorem to approximate a common solution of SFP (67) and a finite family of variational inequality problems.

Theorem 4. Let and be Hilbert spaces, and let and be the nonempty closed convex subset of and , respectively. Let be a bounded linear operator with adjoint , and let be -contraction mappings with . For let be inverse strongly monotone with and . Assume that and . Let and be sequences generated by andfor all , where with , , , for all , and with being a spectral radius of . Assume the following condition holds:(1), and for some .(2).(3).(4), for all , for some .(5). Then, converges strongly to and converges strongly to .

Proof. Set , , and in Theorem 2. Then, we get the result.

The split feasibility problem is a significant part of the split monotone variational inclusion problem. It is extensively used to solve practical problems in numerous situations. Many excellent results have been obtained. In what follows, an example of a signal recovery problem is introduced.

Example 2. In signal recovery, compressed sensing can be modeled as the following under-determined linear equation system:where is a vector with non-zero components to be recovered, is the observed or measured data with noisy , and is a bounded linear observation operator. An essential point of this problem is that the signal is sparse; that is, the number of nonzero elements in the signal is much smaller than the dimension of the signal . To solve this situation, a classical model, convex constraint minimization problem, is used to describe the above problem. It is known that problem (69) can be seen as solving the following LASSO problem [40]:where is a given constant and is norm. In particular, LASSO problem (70) is equivalent to the split feasibility problem (SFP) (67) when and .

5. Numerical Examples

In this section, we give some examples for supporting Theorem 2. In example 3, we give the computer programming to support our main result.

Example 3. Let be a set of real number and . Let , and let be inner product defined by , for all and and the usual norm given by , for all . Let be defined by for all and be defined by for all . Let be defined by , respectively, for all . Let the mapping be defined by , respectively, for all . For every , let the mappings be defined by , respectively, for all , and let . Let the mappings be defined by , respectively, for all .
Choose ,. Setting , , , , , and . Let and , and let the sequences and be generated by (21) as follows:for all , where and . By the definition of , for all ,, for all , and and , we have that and . Also, it is easy to see that all parameters satisfy all conditions in Theorem 2. Then, by Theorem 2, we can conclude that the sequence converges strongly to and converges strongly to .

Table 1 and Figure 1 show the numerical results of and where , , and .

Next, in Example 4, we only show an example in infinite-dimensional Hilbert space for supporting Theorem 2. We omit the computer programming.

Example 4. Let be the linear space whose elements consist of all 2-summable sequence of scalars, i.e.,with an inner product defined by , where , and a norm defined by where . Let be defined by for all . And, be defined by for all . Let be defined by and , respectively, for all . Let the mapping be defined by respectively, for all . For every , let the mappings be defined by and , respectively, for all , and let . Let the mappings be defined by , respectively, for all .
Let . Since , we choose . Let and , and let and be the sequences generated by (2) as follows:for all , where and . It is easy to see that , , T, f, g, and all parameters satisfy Theorem 2. Furthermore, we have that and . Then, by Theorem 2, we can conclude that the sequence converges strongly to 0 and converges strongly to 1.

6. Conclusion

(1).Table 1 and Figure 1 in Example 3 show that the sequence converges to and converges to (2)Example 4 is an example in infinite-dimensional Hilbert space for supporting Theorem 2(3)Theorem 2 guarantees the convergence of and in Example 3 and Example 4

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare no conflicts of interest.

Acknowledgments

The authors would like to thank the Faculty of Science and Technology, Rajamangala University of Technology Thanyaburi (RMUTT), Thailand, for the financial support.