Open Access

Mathematical programming with multiple sets split monotone variational inclusion constraints

Fixed Point Theory and Applications20142014:20

https://doi.org/10.1186/1687-1812-2014-20

Received: 27 August 2013

Accepted: 26 December 2013

Published: 22 January 2014

Abstract

In this paper, we first study a hierarchical problem of Baillon’s type, and we study a strong convergence theorem of this problem. For the special case of this convergence theorem, we obtain a strong convergence theorem for the ergodic theorem of Baillon’s type. Our result of the ergodic theorem of Baillon’s type improves and generalizes many existence theorems of this type of problem. Two numerical examples are given to demonstrate our results.

As applications of our convergence theorem of the hierarchical problem, we study the unique solution for the following problems: mathematical programming with multiply sets split variational inclusion and fixed point set constraints; mathematical programming with multiple sets split variational inequalities and fixed point set constraints; the variational inequality problem with a system of mixed type equilibria and fixed point set constraints; the variational inequality problem with multiple sets split system of mixed type equilibria and fixed point set constraints; mathematical programming with a system of mixed type equilibria and fixed point set constraints. We give iteration processes for these types of problems and establish the strong convergence for the unique solution of these problems. For our special case, our results can be reduced to the following problems: the unique minimal norm solution of the multiply sets split monotonic variational inclusion problems; the minimum norm solutions for the multiple sets split system of mixed type equilibria problem; the minimum norm solution of the system of mixed type equilibria problem. Our results will have many applications in diverse fields of science.

Keywords

hierarchical problemssplit variational inclusion problemsfixed point problemsmathematical programmingminimum norm solution

1 Introduction

Let C 1 , C 2 , , C m be nonempty closed convex subsets of a Hilbert space H 1 . The well-known convex feasiblity problem (CFP) is to find x H 1 such that
x C 1 C 2 C m .
The split feasibility problem (SFP) is to find a point
x C  such that  A x Q ,

where C is a nonempty closed convex subset of a Hilbert space H 1 , Q is a nonempty closed convex subset of a Hilbert space H 2 , and A : H 1 H 2 is an operation. The split feasibility problem (SFP) in the finite dimensional Hilbert spaces was first introduced by Censor et al. [1] for modeling inverse problems which arise from phase retrievals and in medical image reconstruction. Since then, the convex feasibility problem and the split feasibility problem (SFP) has received much attention due to its applications in signal processing, image reconstruction, approximation theory, control theory, biomedical engineering, communications, and geophysics. For example, one can refer to [15] and related literature.

Let C 1 , C 2 , , C m be nonempty closed convex subsets of a Hilbert space H 1 , let Q 1 , Q 2 , , Q n be nonempty closed convex sets H 2 and let A 1 , A 2 , , A m : H 1 H 2 be linear operator operators. The well-known multiple sets split feasibility problem studied by Censor et al. [6]. Xu [7] and Lopez et al. [8] (MSSFP) is to find x H 1 such that
x C i  such that  A i x Q i for all  i = 1 , 2 , , m .
In 2011, Moudafi [9] introduced and studied the following split monotone variational inclusion (SMVI):
Find  x ¯ H 1  such that  x ¯ ( B 1 + G 1 ) 1 0 ,
(1)
and
y ¯ = A x ¯ H 2  such that  y ¯ ( B + G ) 1 0 ,
(2)

where H 1 and H 2 are real Hilbert spaces, A : H 1 H 2 is a bounded linear operator, B 1 : H 1 H 1 and B : H 2 H 2 are given operators, G 1 : H 1 H 1 and G : H 2 H 2 are given multivalued mappings.

Moudafi [9] proved a weakly convergence theorem for the solution of the split monotone variational inclusion (SMVI) with an iteration process.

In 2011, Maruyama et al. [10] proved the following ergodic theorem of Baillon’s type [11].

Theorem 1.1 [10]

Let C be a nonempty closed convex subset of a real Hilbert space H, T : C C be a 2-generalized hybrid mapping with Fix ( T ) and let P Fix ( T ) be the metric projection of H 1 onto Fix ( T ) . Then, for any x C ,
S n x : = 1 n k = 0 n 1 T k x

converges weakly to an element p of Fix ( T ) , where p = lim n P Fix ( T ) T n x .

In this paper, we first study a hierarchical problem of Baillon’s type, and we study a strong convergence theorem of this problem. For the special case of this convergence theorem, we obtain a strong convergence theorem for the ergodic theorem of Baillon’s type. Our result of the ergodic theorem of Baillon’s type improves and generalizes many existence theorems of this type of problem. Two numerical examples are given to demonstrate our results.

As applications of our convergence theorem of the hierarchical problem, we study the unique solution for the following problems: mathematical programming with multiply sets split variational inclusion and a fixed point set constraints; mathematical programming with multiple sets split variational inequalities and fixed point set constraints; the variational inequality problem with a system of mixed type equilibria and fixed point set constraints; the variational inequality problem with multiple sets split system of mixed type equilibria and a fixed point set constraints; mathematical programming with system of mixed type equilibrium and a fixed point set constraints. We give iteration processes for these types of problems and establish the strong convergence for the unique solution of these problems. For the special case of our results, our results can be reduced to the following problems: the unique minimal norm solution of the multiply sets split monotonic variational inclusion problems; the minimum norm solutions for the multiple sets split system of mixed type equilibrium problem; the minimum norm solution of the system of the mixed type equilibria problem. Our results will have many applications in diverse fields of science.

2 Preliminaries

Throughout this paper, let be the set of positive integers and let be the set of real numbers, H 1 be a (real) Hilbert space with inner product , and norm , respectively, and C be a nonempty closed convex subset of H 1 . We denote the strongly convergence and the weak convergence of { x n } to x H 1 by x n x and x n x , respectively.

Let T : C H 1 be a mapping, and let Fix ( T ) : = { x C : T x = x } denote the set of fixed points of T. A mapping T : C H 1 is called
  1. (i)
    a 2-generalized hybrid mapping [10] if there exist δ 1 , δ 2 , ϵ 1 , ϵ 2 R such that
    δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2
     

for all x , y C .

We know that the class of 2-generalized hybrid mapping contains the classes of nonexpansive mappings, nonspreading mappings, and a ( α , β ) -generalized hybrid [12] in a Hilbert space. We give an example for a 2-generalized hybrid mapping.

Example 2.1 [13]

Let T : [ 0 , 2 ] R be defined as
T x = { 0 if  x [ 0 , 2 ) , 1 if  x = 2 .

Then T is a 2-generalized hybrid mapping and Fix ( T ) = { 0 } .

Proof Let ϵ 1 = ϵ 2 = 1 4 , δ 1 = δ 2 = 1 2 .

Case 1: If x [ 0 , 2 ) , y = 2 , then T x = T 2 x = 0 , T y = 1 and x T y 1 . We know that
δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 = δ 1 + δ 2 + ( 1 δ 1 δ 2 ) x T y 2 δ 1 + δ 2 + ( 1 δ 1 δ 2 ) = 1
and
ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2 = 4 ϵ 1 + 4 ϵ 2 + ( 1 ϵ 1 ϵ 2 ) x 2 2 4 ϵ 1 + 4 ϵ 2 1 + 1 = 2 .
Therefore,
δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2 .
Case 2: If x [ 0 , 2 ) , y [ 0 , 2 ) , then T x = T 2 x = 0 , T y = T 2 y = 0 . We know that
δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 = ( 1 δ 1 δ 2 ) x 2 = 0 ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2 .
Case 3: If x = y = 2 , then T x = 1 , T 2 x = 0 , T y = 1 , T 2 y = 0 . We know that
δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 = δ 1 + ( 1 δ 1 δ 2 ) = ( 1 δ 2 ) = 1 2
and
ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2 = 4 ϵ 1 + ϵ 2 5 4 .
Therefore,
δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2 .

By the above case, we know that T is a 2-generalized hybrid. □

A mapping V : H 1 H 1 is called
  1. (i)

    strongly monotone if there exists γ ¯ > 0 such that x y , V x V y γ ¯ x y 2 for all x , y H 1 ;

     
  2. (ii)

    α-inverse-strongly monotone if x y , V x V y α V x V y 2 for all x , y H 1 and α > 0 .

     

We also know that if V is a α-inverse-strongly monotone mapping and 0 < λ 2 α , then I λ V : C H 1 is nonexpansive.

Let G : H 1 H 1 be a multivalued mapping. The effective domain of G is denoted by D ( G ) , that is, D ( G ) = { x H 1 : G x } .

Then G : H 1 H 1 is called
  1. (i)

    a monotone operator on H 1 if x y , u v 0 for all x , y D ( G ) , u G x , and v G y ;

     
  2. (ii)

    a maximal monotone operator on H 1 if G is a monotone operator on H 1 and its graph is not properly contained in the graph of any other monotone operator on H 1 .

     

Lemma 2.1 [14]

Let C be a nonempty closed convex subset of a real Hilbert space H 1 . Let T be a nonexpansive mapping of C into itself, and let { x n } be a sequence in C. If x n w and lim n x n T x n = 0 , then T w = w .

In 2012, Hojo et al. [15] also gave an example for a 2-generalized hybrid mapping which is not a generalized hybrid mapping with Fix ( T ) = { ( 0 , 0 ) } . We shall prove that this example for a 2-generalized hybrid mapping does not satisfy the demiclosed property as in Lemma 2.1.

Example 2.2 Let A = { x R 2 : x 1 } and T A R 2 be defined as
T x = { ( 0 , 0 ) if  x A , x x if  x R 2 / A .

Hojo et al. [15] showed that T is a 2-generalized hybrid mapping, but T is not a generalized hybrid mapping. Note that T does not have the demiclosed property. Indeed, there exists a sequence { x n } A such that x n w and lim n x n T x n = 0 , but w in R 2 / Fix ( T ) = R 2 / { ( 0 , 0 ) } .

Proof Let r n = 1 + 1 n , x n = ( r n cos θ , r n sin θ ) for all n N , then x n ( cos θ , sin θ ) and T x n = ( cos θ , sin θ ) . We also have T x n x n = ( ( r n 1 ) cos θ , ( r n 1 ) sin θ ) = r n 1 0 , but ( cos θ , sin θ ) ( 0 , 0 ) . □

Lemma 2.2 [16]

Let V : H 1 H 1 be a γ ¯ -strongly monotone and L-Lipschitzian continuous operator with γ ¯ > 0 and L > 0 . Let θ H 1 , and V 1 : H 1 H 1 such that V 1 x = V x θ . Then V 1 is a γ ¯ -strongly monotone and L-Lipschitzian continuous mapping. Furthermore, there is a unique fixed point z 0 in C satisfying z 0 = P C ( z 0 V z 0 + θ ) . This point z 0 C is also a unique solution of the hierarchical variational inequality V z 0 θ , q z 0 0 , for all q C .

Let C be a nonempty subset of a real Hilbert space H 1 . Then T : C H 1 is a firmly nonexpansive mapping if T x T y 2 x y 2 ( I T ) x ( I T ) y 2 for every x , y C , that is, T x T y 2 x y , T x T y for every x , y C .

Lemma 2.3 [17]

Let G 1 be a maximal monotone mapping on H 1 . Let J r G 1 be the resolvent of G 1 defined by J r G 1 = ( I + r G 1 ) 1 for each r > 0 . Then the following holds:
| s t | s J s G 1 x J t G 1 x , J s G 1 x x J s G 1 x J t G 1 x 2
for all s , t > 0 and x H 1 . In particular,
J s G 1 x J t G 1 x | s t | s J s G 1 x x

for all s , t > 0 and x H 1 .

A mapping T : H 1 H 1 is said to be averaged if T = ( 1 α ) I + α S , where α ( 0 , 1 ) and S : H 1 H 1 is nonexpansive. In this case, we also say that T is α-averaged. A firmly nonexpansive mapping is 1 2 -averaged.

Lemma 2.4 ([7, 18])

Let C be a nonempty closed convex subset of a real Hilbert space H, and let T : C C be a mapping. Then the following are satisfied:
  1. (i)

    T is nonexpansive if and only if the complement ( I T ) is 1 / 2 -ism.

     
  2. (ii)

    If S is υ-ism, then for γ > 0 , γS is υ / γ -ism.

     
  3. (iii)

    S is averaged if and only if the complement I S is υ-ism for some υ > 1 / 2 .

     
  4. (iv)

    If S and T are both averaged, then the product (composite) ST is averaged.

     
  5. (v)

    If the mappings { T i } i = 1 n are averaged and have a common fixed point, then i = 1 n Fix ( T i ) = Fix ( T 1 T n ) .

     

Lemma 2.5 [19]

Let { a n } be a sequence of real numbers such that there exists a subsequence { n i } of { n } such that a n i < a n i + 1 for all i N . Then there exists a nondecreasing sequence { m k } N such that m k and the following properties are satisfied by all (sufficiently large) numbers k N :
a m k a m k + 1 and a k a m k + 1 .

In fact, m k = max { j k : a j < a j + 1 } .

Lemma 2.6 [20]

Let { a n } n N be a sequence of nonnegative real numbers, { α n } a sequence of real numbers in [ 0 , 1 ] with n = 1 α n = , { u n } a sequence of nonnegative real numbers with n = 1 u n < , { t n } a sequence of real numbers with lim sup t n 0 . Suppose that a n + 1 ( 1 α n ) a n + α n t n + u n for each n N . Then lim n a n = 0 .

3 Convergence theorems of hierarchical problems

Let H 1 be a real Hilbert space and let C be a nonempty closed convex subset of H 1 . For each i = 1 , 2 , and κ i > 0 , let F i be a κ i -inverse-strongly monotone mapping of C into H 1 . For each i = 1 , 2 , let G i be a maximal monotone mapping on H 1 such that the domain of G i is included in C and define the set G i 1 0 as G i 1 0 = { x H 1 : 0 G i x } . Let J λ n G 1 = ( I + λ n G 1 ) 1 and J r n G 2 = ( I + r n G 2 ) 1 for each n N , λ n > 0 and r n > 0 . Let { θ n } H 1 be a sequence. Let V be a γ ¯ -strongly monotone and L-Lipschitzian continuous operator with γ ¯ > 0 and L > 0 . Throughout this paper, we use these notations and assumptions unless specified otherwise.

The following strong convergence theorem for hierarchical problems is one of our main results in this paper.

Theorem 3.1 Let T : C H 1 be a 2-generalized hybrid mapping with Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H 1 be defined by
{ x 1 C  chosen arbitrarily , y n = J λ n G 1 ( I λ n F 1 ) J r n G 2 ( I r n F 2 ) x n , s n = 1 n k = 0 n 1 T k y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( I β n V ) s n )
(3.1)
for each n N , { λ n } ( 0 , ) , { α n } ( 0 , 1 ) , { β n } ( 0 , 1 ) , and { r n } ( 0 , ) . Assume that:
  1. (i)

    0 < lim inf n α n lim sup n α n < 1 ;

     
  2. (ii)

    lim n β n = 0 , and n = 1 β n = ;

     
  3. (iii)

    0 < a 1 λ n b 1 < 2 κ 1 , and 0 < a 2 r n b 2 < 2 κ 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H 1 .

     
Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 .
Proof Take any x ¯ Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 and let x ¯ be fixed. Then we have x ¯ = J λ n G 1 ( I λ n F 1 ) x ¯ and x ¯ = J r n G 2 ( I r n F 2 ) x ¯ . Let u n = J r n G 2 ( I r n F 2 ) x n . For each n N , by the same argument as the proof of Theorem 3.1 [16], we have
u n x ¯ 2 x n x ¯ 2 r n ( 2 κ 2 r n ) F 2 x n F 2 x ¯ 2 x n x ¯ 2
(3)
and
y n x ¯ 2 u n x ¯ 2 λ n ( 2 κ 1 λ n ) F 1 u n F 1 x ¯ 2 x n x ¯ 2 .
(4)
By equations (3) and (4), we have
y n x ¯ u n x ¯ x n x ¯ .
Since T is a 2-generalized hybrid mapping with Fix ( T ) , we know that T is a quasi-nonexpansive, and
s n x ¯ = 1 n k = 0 n 1 T k y n x ¯ 1 n k = 0 n 1 T k y n x ¯ y n x ¯ u n x ¯ x n x ¯ .
(5)
By the same argument as in the proof of Theorem 3.1 [16], we find that the sequence { x n } is bounded. Furthermore, { u n } , { z n } , { y n } , and { s n } are bounded. We also have
x n + 1 x n 2 ( 1 α n ) 2 [ β n 2 θ n V s n 2 + s n x n 2 + 2 β n θ n V s n s n x n ]
(6)
and
x n + 1 x ¯ 2 x n x ¯ 2 + ( 1 α n ) α n s n x n 2 2 ( 1 α n ) β n θ n , x n x ¯ 2 ( 1 α n ) β n V s n , x n x ¯ + ( 1 α n ) 2 [ β n 2 θ n V s n 2 + 2 β n θ n V s n s n x n ] .
(7)

We will divide the proof into two cases.

Case 1: there exists a natural number N such that x n + 1 x ¯ x n x ¯ for each n N . Therefore, lim n x n x ¯ exists. Hence, it follows from equation (7), (i), and (ii) that
lim n s n x n = 0 .
(8)
By equations (6), (8), (i), and (ii), we have
lim n x n + 1 x n = 0 .
(9)
We also have
z n s n β n θ n + ( 1 β n V ) s n s n β n θ n V s n .
(10)
By equation (10), (iv), and (ii) we have
lim n z n s n = 0 .
(11)
By equations (8) and (11),
lim n z n x n = 0 .
(12)
By the same argument as in the proof of Theorem 3.1 [16], we have
lim n u n x n = 0
(13)
and
lim n y n u n = 0 .
(14)
Since Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 is a nonempty closed convex subset of H 1 , by Lemma 2.2, we can take x ¯ 0 Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 such that
x ¯ 0 = P Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 ( x ¯ 0 V x ¯ 0 + θ ) .
This point x ¯ 0 is also a unique solution of the hierarchical variational inequality:
V x ¯ 0 θ , q x ¯ 0 0 , q Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 .
(15)
We shall show that
lim sup n V x ¯ 0 θ , z n x ¯ 0 0 .
Without loss of generality, there exists a subsequence { z n k } of { z n } such that
z n k w
(16)
for some w H 1 and
lim sup n V x ¯ 0 θ , z n x ¯ 0 = lim k V x ¯ 0 θ , z n k x ¯ 0 .
(17)
By equations (12) and (13), we have
lim n u n z n = 0
and u n k w . On the other hand, since 0 < a 1 λ n b 1 < 2 κ 1 , there exists a subsequence { λ n k j } of { λ n k } such that { λ n k j } converges to a number λ ¯ [ a 1 , b 1 ] . By equation (14) and Lemma 2.3, we have
u n k j J λ ¯ G 1 ( I λ ¯ F 1 ) u n k j u n k j J λ n k j G 1 ( I λ n k j F 1 ) u n k j + J λ n k j G 1 ( I λ ¯ F 1 ) u n k j J λ ¯ G 1 ( I λ ¯ F 1 ) u n k j + J λ n k j G 1 ( I λ n k j F 1 ) u n k j J λ n k j G 1 ( I λ ¯ F 1 ) u n k j u n k j y n k j + | λ n k j λ ¯ | F 1 u n k j + | λ n k j λ ¯ | λ ¯ J λ ¯ G 1 ( I λ ¯ F 1 ) u n k j ( I λ ¯ F 1 ) u n k j 0 .
(18)

By equation (18), u n k j w , and Lemma 2.1, w Fix ( J λ ¯ G 1 ( I λ ¯ F ) ) = ( F + B ) 1 0 .

Since 0 < a 2 r n b 2 < 2 κ 2 , there exists a subsequence { r n k j } of { r n k } such that { r n k j } converges to a number r ¯ [ a 2 , b 2 ] . By the same argument as for equation (18), we have
x n k j J r ¯ G 2 ( I r ¯ F 2 ) x n k j 0 .
(19)

By equation (13) and u n k w , we have x n k w .

By equation (19), x n k w and Lemma 2.1, we have w Fix ( J r ¯ G 2 ( I r ¯ F 2 ) ) = ( F 2 + G 2 ) 1 0 .

Since T is a 2-generalized hybrid mapping, there exist δ 1 , δ 2 , ϵ 1 , ϵ 2 R such that
δ 1 T 2 x T y 2 + δ 2 T x T y 2 + ( 1 δ 1 δ 2 ) x T y 2 ϵ 1 T 2 x y 2 + ϵ 2 T x y 2 + ( 1 ϵ 1 ϵ 2 ) x y 2
(20)
for all x , y C . Replacing x by T k y n in equation (20), we have, for all y C and k = 1 , 2 , , n ,
δ 1 T k + 2 y n T y 2 + δ 2 T k + 1 y n T y 2 + ( 1 δ 1 δ 2 ) T k y n T y 2 ϵ 1 T k + 2 y n y 2 + ϵ 2 T k + 1 y n y 2 + ( 1 ϵ 1 ϵ 2 ) T k y n y 2 ϵ 1 [ T k + 2 y n T y 2 + T y y 2 + 2 T k + 2 y n T y , T y y ] + ϵ 2 [ T k + 1 y n T y 2 + T y y 2 + 2 T k + 1 y n T y , T y y ] + ( 1 ϵ 1 ϵ 2 ) [ T k y n T y 2 + T y y 2 + 2 T k y n T y , T y y ] .
This implies that
0 ( ϵ 1 δ 1 ) T k + 2 y n T y 2 + T y y 2 + 2 ϵ 1 T k + 2 y n T y , T y y + ( ϵ 2 δ 2 ) T k + 1 y n T y 2 + 2 ϵ 2 T k + 1 y n T y , T y y + ( δ 1 ϵ 1 + δ 2 ϵ 2 ) T k y n T y 2 + 2 ( 1 ϵ 1 ϵ 2 ) T k y n T y , T y y ( ϵ 1 δ 1 ) [ T k + 2 y n T y 2 T k y n T y 2 ] + ( ϵ 2 δ 2 ) [ T k + 1 y n T y 2 T k y n T y 2 ] + T y y 2 + 2 T k y n T y + ϵ 1 ( T k + 2 y n T k y n ) + ϵ 2 ( T k + 1 y n T k y n ) , T y y .
(21)
Summing up these inequalities (21) with respect to k = 0 to k = n 1 and dividing by n, we have
0 ( ϵ 1 δ 1 ) n [ T n + 1 y n T y 2 + T n y n T y 2 T y n T y 2 y n T y 2 ] + ( ϵ 2 δ 2 ) n [ T n y n T y 2 y n T y 2 ] + T y y 2 + 2 s n T y , T y y + 2 n ϵ 1 ( T n + 1 y n + T n y n T y n y n ) + ϵ 2 ( T n y n y n ) , T y y .
(22)
Replacing n by n k j and let n k j . Then from equation (11), (16), and (22), we have s n k j w , and
0 T y y 2 + 2 w T y , T y y .
Taking y = w in the above inequality, we have
0 T w w 2 + 2 w T w , T w w = T w w 2 2 T w w 2 = T w w 2 .
This implies that w Fix ( T ) . Hence, w Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 . Therefore, we have from equations (15) and (17)
lim sup n V x ¯ 0 θ , z n x ¯ 0 = lim k V x ¯ 0 θ , z n k x ¯ 0 = V x ¯ 0 θ , w x ¯ 0 0 .
(23)
By the same argument as the proof of Theorem 3.1 [16], we have
x n + 1 x ¯ 0 2 [ 1 2 ( 1 α n ) β n τ ] x n x ¯ 0 2 + 2 ( 1 α n ) β n τ ( β n τ x n x ¯ 0 2 2 + θ n θ , z n x ¯ 0 τ + θ V x ¯ 0 , z n x ¯ 0 τ ) .
(24)
By equations (23), (24), assumptions, and Lemma 2.6, we know that lim n x n = x ¯ 0 , where
x ¯ 0 = P Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 ( x ¯ 0 V x ¯ 0 + θ ) .
Case 2: Suppose that there exists { n i } of { n } such that x n i x ¯ x n i + 1 x ¯ for all i N . By Lemma 2.5, there exists a nondecreasing sequence { m j } in such that m j and
x m j x ¯ x m j + 1 x ¯ and x j x ¯ x m j + 1 x ¯ .
(25)
Hence, it follows from equations (7) and (25) that
( 1 α m j ) α m j s m j x m j 2 2 ( 1 α m j ) β m j θ m j , x m j x ¯ 2 ( 1 α m j ) β m j V s m j , x m j x ¯ + ( 1 α m j ) 2 [ β m j 2 θ m j V s m j 2 + 2 β m j θ m j V s m j s m j x m j ]
(26)
for each j N . Hence, it follows from equation (26), (i), and (ii) that
lim j s m j x m j = 0 .
(27)
We show that
lim sup j V x ¯ 0 θ , z m j x ¯ 0 0 .
Without loss of generality, there exists a subsequence { z m j k } of { z m j } such that z m j k w for some w H and
lim sup j V x ¯ 0 θ , z m j x ¯ 0 = lim k V x ¯ 0 θ , z m j k x ¯ 0 .
(28)
By a similar argument as in the proof of Case 1, we have w Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 . Therefore, we have from equations (28) and (15)
lim sup j V x ¯ 0 θ , z m j x ¯ 0 = lim k V x ¯ 0 θ , z m j k x ¯ 0 = V x ¯ 0 θ , w x ¯ 0 0 .
(29)
Following a similar argument as in the proof of Case 1, we have
x m j + 1 x ¯ 0 2 [ 1 2 ( 1 α m j ) β m j τ ] x m j x ¯ 0 2 + ( 1 α m j ) ( β m j τ ) 2 x m j x ¯ 0 2 + 2 β m j ( 1 α m j ) θ n θ , z m j x ¯ 0 + 2 β m j ( 1 α m j ) θ V x ¯ 0 , z m j x ¯ 0 .
(30)
From x m j x ¯ x m j + 1 x ¯ , we have
2 ( 1 α m j ) β m j τ x m j x ¯ 0 2 ( 1 α m j ) ( β m j τ ) 2 x m j x ¯ 0 2 + 2 β m j ( 1 α m j ) θ n θ , z m j x ¯ 0 + 2 β m j ( 1 α m j ) θ V x ¯ 0 , z m j x ¯ 0 .
(31)
Since ( 1 α m j ) β m j > 0 , we have
2 τ x m j x ¯ 0 2 β m j τ x m j x ¯ 0 2 + 2 θ n θ , z m j x ¯ 0 + 2 θ V x ¯ 0 , z m j x ¯ 0 .
(32)
By equations (29), (32), and the assumptions, we know that
lim j x m j x ¯ 0 = 0 .
By (6), (27), and the assumptions, we know that
lim j x m j + 1 x m j = 0 .
Thus, we have
lim j x m j + 1 x ¯ 0 = 0 .
(33)
By equations (25) and (33),
lim j x j x ¯ 0 lim j x m j + 1 x ¯ 0 = 0 .

Thus, the proof is completed. □

Remark 3.1
  1. (i)

    The assumptions, method, conclusion, and applications of Theorem 3.1 are different from Theorem 3.1 in [21] and [22]. In Theorem 3.1, Lemma 2.5 is used to prove the result, but in [21] and [22] we did not use this lemma.

     
  2. (ii)

    The assumptions, method, and conclusion of Theorem 3.1 are different from Theorem 3.1 [16]. In Theorem 3.1 [16], T is a quasi-nonexpansive with the demiclosed property, but in Theorem 3.1, T is a 2-generalized hybrid mapping, and by Example 2.2, we know that T does not satisfy the demiclosed property. Therefore Theorem 3.1 [16] cannot apply for a 2-generalized hybrid mapping.

     
Example 3.1 Let T be the same as Example 2.1. Let α n = 1 / 2 , β n = 1 / n , θ n = 1 , V x = x , G 1 x = F 1 x = 2 x , G 2 x = F 2 x = 3 x , r n = 1 / 2 , λ n = 1 / 2 . Then V, G 1 , G 2 , F 1 , F 2 satisfy all conditions of Theorem 3.1 and Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 = { 0 } , and if we let x 1 = 2.000000000 , we see the following numerical results and graph (see Figure 1) demonstrating Theorem 3.1: Besides, we know the following.

n = 1 − 5

2.000000000

1.500000000

1.000000000

0.666666667

0.458333333

n = 6 − 10

0.329166667

0.247916667

0.195386905

0.160193452

0.135652282

n = 11 − 15

0.117826141

0.104367616

0.093850475

0.085386776

0.078407674

     
Figure 1

x -axis: index; y -axis: x n .

If | x n x n 1 | < 10 3 , then n = 35 ; if | x n x n 1 | < 10 4 , then n = 103 ; if | x n x n 1 | < 10 5 , then n = 319 ; if | x n x n 1 | < 10 6 , then n = 1 , 003 .

For i = 1 , 2 , let F i = 0 , G i = i C , and λ n = r n = 1 for all n N in Theorem 3.1. Furthermore, put θ n = θ , and V ( x ) = x for all x H 1 ; we obtain the following theorem which generalizes Theorem 4.1 in [10].

Theorem 3.2 Let T : C H 1 be a 2-generalized hybrid mapping such that F ( T ) . Let θ C , and { x n } C be defined by
{ x 1 C  chosen arbitrarily , s n = 1 n k = 0 n 1 T k x n , x n + 1 = α n x n + ( 1 α n ) ( β n θ + ( 1 β n ) s n )
(3.2)

for each n N , { α n } ( 0 , 1 ) , and { β n } ( 0 , 1 ) . Assume that 0 < lim inf n α n lim sup n α n < 1 and lim n β n = 0 , and n = 1 β n = . Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) θ .

Example 3.2 Let T be the same as Example 2.1. Let α n = 1 / 2 , β n = 1 / n , θ = 1 . Then the following numerical results and graph (see Figure 2) demonstrate Theorem 3.2: Besides, we know the following.

n = 1 − 5

2.000000000

1.500000000

1.187500000

0.892361111

0.654839410

n = 6 − 10

0.479806858

0.356556683

0.271536914

0.213118132

0.172638974

n = 11 − 15

0.144088241

0.123452725

0.108108238

0.096353820

0.087086603

n = 16 − 20

0.079585996

0.073374619

0.068130205

0.063630247

0.059717263

Figure 2

x -axis: index; y -axis: x n .

If | x n x n 1 | < 10 3 , then n = 36 ; if | x n x n 1 | < 10 4 , then n = 104 ; if | x n x n 1 | < 10 5 , then n = 320 ; if | x n x n 1 | < 10 6 , then n = 1 , 004 .

4 Mathematical programming with multiple sets split feasibility constraints

Let H 1 be a Hilbert space, let f be a proper lower semicontinuous convex function of H 1 into ( , ) . The subdifferential ∂f of f is defined as follows:
f ( x ) = { z H 1 : f ( x ) + z , y x f ( y ) , y H 1 }
for all x H 1 . From Rockafellar [23], we know that ∂f is a maximal monotone operator. Let C be a nonempty closed convex subset of a real Hilbert space H 1 , and i C be the indicator function of C, i.e.
i C x = { 0 if  x C , if  x C .
Furthermore, we also define the normal cone N C u of C at u as follows:
N C u = { z H 1 : z , v u 0 , v C } .
Then i C is a proper lower semicontinuous convex function on H, and the subdifferential i C of i C is a maximal monotone operator. Thus, we can define the resolvent J λ i C of i C for λ > 0 , i.e.
J λ i C x = ( I + λ i C ) 1 x
for all x H . Since
i C x = { z H 1 : i C x + z , y x i C y , y H 1 } = { z H 1 : z , y x 0 , y C } = N C x
for all x C , we have
u = J λ i C x x u + λ i C u x u λ N C u x u , y u 0 , y C u = P C x .
(34)
The equilibrium problem is to find z C such that
g ( z , y ) 0 for each  y C .
(EP)

The solutions set of the equilibrium problem (EP) is denoted by E P ( g ) . For solving the equilibrium problem, let us assume that the bifunction g : C × C R satisfies the following conditions:

(A1) g ( x , x ) = 0 for each x C ;

(A2) g is monotone, i.e., g ( x , y ) + g ( y , x ) 0 for any x , y C ;

(A3) for each x , y , z C , lim t 0 g ( t z + ( 1 t ) x , y ) g ( x , y ) ;

(A4) for each x C , the scalar function y g ( x , y ) is convex and lower semicontinuous.

Lemma 4.1 [24, 25]

Let g : C × C R be a bifunction which satisfies conditions (A1)-(A4). Let r > 0 and x C . Then there exists z C such that
g ( z , y ) + 1 r y z , z x 0 for all  y C .
Furthermore, if
T r g ( x ) : = { z C : g ( z , y ) + 1 r y z , z x 0  for all  y C } ,
then we have:
  1. (i)

    T r g is single-valued;

     
  2. (ii)

    T r g is a firmly nonexpansive mapping;

     
  3. (iii)

    E P ( g ) is a closed convex subset of C;

     
  4. (iv)

    E P ( g ) = Fix ( T r g ) .

     

We call such T r g the resolvent of g for r > 0 . Throughout these section, we use these notations and assumptions unless specified otherwise.

Takahashi et al. [26] gave the following lemma.

Lemma 4.2 [26]

Let g : C × C R be a bifunction satisfying the conditions (A1)-(A4). Define A g as follows:
A g x = { { z H 1 : g ( x , y ) y x , z , y C } if  x C ; if  x C .
(L4.2)

Then, E P ( g ) = A g 1 0 and A g is a maximal monotone operator with the domain of A g C . Furthermore, for any x H 1 and r > 0 , the resolvent T r g of g coincides with the resolvent of  A g , i.e., T r g x = ( I + r A g ) 1 x .

Let C, Q, and Q be nonempty closed convex subsets of real Hilbert spaces H 1 , H 2 , and H 3 , respectively, let G i be a maximal monotone mapping on H 1 such that the domains of G i is included in C for each i = 1 , 2 . Let J λ G 1 = ( I + λ G 1 ) 1 and J r G 2 = ( I + r G 2 ) 1 for each λ > 0 and r > 0 , let L 1 be a κ 1 -inverse-strongly monotone mapping of C into H 1 , let L 2 be a κ 2 -inverse-strongly monotone mapping of C into H 1 , let B be a ν-inverse-strongly monotone mapping of Q into H 2 and let B be a ν -inverse-strongly monotone mapping of Q into H 3 . Let G be a maximal monotone mappings on H 2 such that the domain of G is included in Q and let G be maximal a monotone mappings on H 3 such that the domain of G is included in Q . Let J λ G = ( I + λ G ) 1 and J r G = ( I + r G ) 1 for each λ > 0 and r > 0 . Let A , A 1 : H 1 H 2 be bounded linear operators, A 1 and A the adjoints of A 1 and A respectively, A 2 : H 1 H 3 a bounded linear operator, and A 2 the adjoint of A 2 . Let R i be the spectral radius of the operator A i A i for i = 1 , 2 , respectively, and R the spectral radius of the operator A A . Let I, I 2 , I 3 be the identity mappings of H 1 , H 2 , H 3 , respectively. We use these notations throughout this section unless specified otherwise.

In order to study the convergence theorems for the solutions set of the multiple sets split monotone variational inclusion problem, we study the following essential problem (SFP-1):
Find  x ¯ H 1  such that  A x ¯ ( G + B ) 1 ( 0 ) .
Theorem 4.1 Given any x ¯ H 1 we have the following.
  1. (i)

    If x ¯ is a solution of (SFP-1), then ( I λ A ( I 2 U ) A ) x ¯ = x ¯ , where λ > 0 , U = J σ G ( I 2 σ B ) and σ > 0 .

     
  2. (ii)

    Suppose that U = J σ G ( I 2 σ B ) , 0 < λ < 1 R , 0 < σ < 2 ν . Then A ( I 2 U ) A is a κ R -ism mapping, J σ G ( I 2 σ B ) , and I λ A ( I 2 U ) A are averaged for some κ > 1 2 . Suppose further that solution set of (SFP-1) is nonempty and ( I λ A ( I 2 U ) A ) x ¯ = x ¯ . Then x ¯ is a solution of (SFP-1).

     

Proof (i) Suppose that x ¯ H 1 is a solution of (SFP-1). Then x ¯ H 1 , A x ¯ Fix ( U ) . It is easy to see that ( I λ A ( I 2 U ) A ) x ¯ = x ¯ .

(ii) Since the solutions set of (SFP-1) is nonempty, there exists w ¯ H 1 such that A w ¯ F ( U ) . Since B is a ν-inverse-strongly monotone mapping of Q into H 2 , it follows from Lemma 2.4(iii) and (iv) that
J σ G ( I 2 σ B )  is averaged .
(35)
By Lemma 2.4(iii), for some κ > 1 2 , we know that
I 2 U = I 2 J σ G ( I 2 σ B )  is  κ -ism .
(36)
In Theorem 3.1 [9], Moudafi showed that
A 1 ( I 2 U ) A  is  κ R -ism .
(37)
By Lemma 2.4(iii) and 0 < λ < 1 R , we know that
I λ A ( I 2 U ) A  is averaged
(38)
for some κ > 1 2 . Since
x ¯ = ( I λ A ( I 2 U ) A ) x ¯ .
(39)
This implies
A ( I 2 U ) A x ¯ = 0 .
(40)
We know that U ( A x ¯ ) = A x ¯ + w 1 , with A w 1 = 0 , which combined with the fact that U ( A w ¯ ) = A w ¯ yields
U ( A x ¯ ) U ( A w ¯ ) 2 = A x ¯ + w 1 A w ¯ 2 = A x ¯ A w ¯ 2 + w 1 2 .
(41)

Since U = J σ G ( I 2 σ B ) is a nonexpansive mapping and we have equation (41), we have w 1 = 0 .

This implies that
A x ¯ = Fix ( U ) = Fix ( J σ G ( I 2 σ B ) ) .
(42)

This shows that x ¯ is a solution of (SFP-1). □

In the following theorem, we consider the multiple set split monotonic variational inclusion problem (MSSMVIP-1):
Find  x ¯ H 1  such that  x ¯ G 1 1 ( 0 ) G 2 1 ( 0 ) , A 1 x ¯ ( B + G ) 1 ( 0 ) , and  A 2 x ¯ ( B + G ) 1 ( 0 ) .
That is,
Find  x ¯ H 1  such that  x ¯ Fix ( J λ G 1 ) Fix ( J r G 2 ) , A 1 x ¯ Fix ( U 1 )  and  A 2 x ¯ Fix ( U 2 ) where  U 1 = J σ G ( I 2 σ B ) , U 2 = J σ G ( I 3 σ B ) .

Let Ω 1 be the solutions set of (MSSMVIP-1).

Theorem 4.2 Let T : C H 1 be a 2-generalized hybrid mapping. Suppose that Ω 1 is the solutions set of (MSSMVIP-1) with Fix ( T ) Ω 1 . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H 1 be defined by
{ x 1 C  chosen arbitrarily , y n = J λ G 1 ( I λ A 1 ( I 2 U 1 ) A 1 ) J r G 2 ( I r A 2 ( I 3 U 2 ) A 2 ) x n , s n = 1 n k = 0 n 1 T k y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
(4.2)
where U 1 = J σ G ( I 2 σ B ) , U 2 = J σ G ( I 3 σ B ) , { α n } ( 0 , 1 ) , { β n } ( 0 , 1 ) , r ( 0 , ) and λ ( 0 , ) . We have
  1. (i)

    0 < lim inf n α n lim sup n α n < 1 ;

     
  2. (ii)

    lim n β n = 0 , and n = 1 β n = ;

     
  3. (iii)

    0 < λ < 1 R 1 , 0 < r < 1 R 2 , 0 < σ < 2 ν and 0 < σ < 2 ν ;

     
  4. (iv)

    lim n θ n = θ for some θ H 1 .

     
Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 1 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 1 .

Proof Let F 1 = A 1 ( I 2 U 1 ) A 1 , F 2 = A 2 ( I 3 U 2 ) A 2 , λ n = λ and r n = r for all n N in Theorem 3.1. It follow from Theorem 4.1(ii) that F i is μ i R i -ivm for some μ i > 1 2 and each i = 1 , 2 . Then algorithm (3.1) in Theorem 3.1 follows immediately from algorithm (4.2) in Theorem 4.2.

Since Fix ( T ) Ω 1 is nonempty, there exists w ¯ C such that
w ¯ Fix ( T ) Fix ( J λ G 1 ) Fix ( I λ A 1 ( I 2 U 1 ) A 1 ) Fix ( J r G 2 ) Fix ( I r A 2 ( I 3 U 2 ) A 2 ) .
(43)
This implies that
w ¯ Fix ( T ) Fix ( J λ G 1 ( I λ A 1 ( I 2 U 1 ) A 1 ) ) Fix ( J r G 2 ( I r A 2 ( I 3 U 2 ) A 2 ) ) .
(44)
That is,
w ¯ Fix ( T ) Fix ( J λ G 1 ( I λ F 1 ) ) Fix ( J r G 2 ( I r F 2 ) ) .
(45)
Hence,
w ¯ Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 .
(46)
It follows from Theorem 3.1 that lim n x n = x ¯ , where
x ¯ = P Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 ( x ¯ V x ¯ + θ ) .
This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 .
If
w Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 .
(47)
By equations (44), (45), and (46), we know that
w = T w , w = J λ G 1 ( I λ A 1 ( I 2 U 1 ) A 1 ) w , w = J r G 2 ( I r A 2 ( I 3 U 2 ) A 2 ) w .
(48)
By Ω 1 , equation (48), and Lemma 2.4(v), we have
w = T w , w = J λ G 1 w , w = ( I λ A 1 ( I 2 U 1 ) A 1 ) w , w = J r G 2 w , w = ( I r A 2 ( I 3 U 2 ) A 2 ) w .
(49)
It follows from Theorem 4.1(ii) that w is a solution of (MSSMVIP-1). Therefore, w Fix ( T ) Ω 1 and
Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 Fix ( T ) Ω 1 .
Conversely, if w Fix ( T ) Ω 1 , by equations (43), (44), (45), and (46), we know that w Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 and
Fix ( T ) Ω 1 Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 .

Therefore, Fix ( T ) Ω 1 = Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 and the proof is completed. □

Remark 4.1 Moudafi [9] studied a weak convergence theorem for the split monotone variational inclusion problem, while Theorem 4.2 is a strong convergence theorem for the multiply sets split monotone variational inclusion problem.

By Theorem 4.2, we study the mathematical programming problem with (MSSMVIP-1) and fixed point set constraints.

Theorem 4.3 In Theorem 4.2, let h : C R be a convex Gâteaux differential function with Gâteaux derivative V, and the assumption (iv) is replaced by lim n θ n = 0 . Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 1 ( x ¯ V x ¯ ) . This point x ¯ is also a unique solution of the mathematical programming problem with (MSSMVIP-1) and fixed point constraints: min x Fix ( T ) Ω 1 h ( x ) .

Proof Let θ = 0 in Theorem 4.2, by Theorem 4.2, we see that
V x ¯ , q x ¯ 0 , q F ( T ) Ω 1 .
(50)
Since h : C R is a convex Gâteaux differential function with Gâteaux dirivitive V, we obtain
V x ¯ , y x ¯ = lim t 0 h ( x ¯ + t ( y x ¯ ) ) h ( x ¯ ) t = lim t 0 h ( ( 1 t ) x ¯ + t y ) h ( x ¯ ) t lim t 0 ( 1 t ) h ( x ¯ ) + t h ( y ) h ( x ¯ ) t = h ( y ) h ( x ¯ )
(51)

for all y C . By equations (50) and (51), it is easy to see that h ( x ¯ ) h ( q ) for all q Fix ( T ) Ω 1 . □

If we put h ( x ) = 1 2 x 2 in Theorem 4.3, then V = I , and we have the following minimum norm of common solutions for (MSSMVIP-1) and Fix ( T ) .

Theorem 4.4 In Theorem 4.3, let the iteration process { x n + 1 } be replaced by
x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n ) s n ) , n N .

Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 1 ( 0 ) . This point x ¯ is also a unique minimum solution of Fix ( T ) Ω 1 : min x Fix ( T ) Ω 1 x .

The multiple sets split variational inequality problem (MSSMVIP-2) is defined as follows:
Find  x ¯ H 1  such that  x ¯ G 1 1 ( 0 ) G 2 1 ( 0 ) ,
(52)
and
B ( A 1 x ¯ ) , y A 1 x ¯ 0 for all  y Q ,
(53)
B ( A 2 x ¯ ) , y A 2 x ¯ 0 for all  y Q .
(54)
That is,
Find  x ¯ H 1  such that  x ¯ Fix ( J λ G 1 ) Fix ( J r G 2 )
(55)
and
A 1 x ¯ Fix ( P Q ( I σ B ) ) and A 2 x ¯ Fix ( P Q ( I σ B ) ) .
(56)

By Theorem 4.2, we can study a variational inequality problem with the split variational inequality (MSSMVIP-2) and fixed point set constraints.

Theorem 4.5 In Theorem 4.2, let U 1 = J σ G ( I σ B ) , U 2 = J σ G ( I σ B ) be replaced by U 1 = P Q ( I σ B ) , U 2 = P Q ( I σ B ) , respectively. Suppose that the set of solutions for (MSSMVIP-2) is Ω 2 and Fix ( T ) Ω 2 . Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 2 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 2 .
Proof Let G = i Q and G = i Q in Theorem 4.2, then, by equation (34), we have J σ G ( I σ B ) = P Q ( I σ B ) , J σ G ( I σ B ) = P Q ( I σ B ) . Since Fix ( T ) Ω 2 , there exists w ¯ C such that we can find
w ¯ H 1  such that  w ¯ Fix ( J λ G 1 ) Fix ( J r G 2 )
(57)
and
A 1 w ¯ Fix ( P Q ( I σ B ) ) and A 2 w ¯ Fix ( P Q ( I σ B ) ) .
(58)
This implies that
A 1 w ¯ Fix ( J σ G ( I σ B ) ) and A 2 w ¯ Fix ( J σ G ( I σ B ) ) .
(59)
Therefore, w ¯ Fix ( T ) Ω 1 . It follows from Theorem 4.2 that lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 1 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 1 .
By equations (57), (58), and (59), lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 2 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 2 .

 □

Remark 4.2 Censor et al. [27] studied a weak convergence theorem for the split variational inequalities problem with the additional assumption, while Theorem 4.5 studies a strong convergence theorem for multiply sets split variational inequalities problem without this additional assumption.

By Theorem 4.5, we study a mathematical programming problem with (MSSMVIP-2) and fixed point set constraints.

Theorem 4.6 In Theorem 4.5, let h : C R be a convex Gâteaux differential function with Gâteaux derivative V, and the assumption (iv) is replaced by lim n θ n = 0 . Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 2 ( x ¯ V x ¯ ) . This point x ¯ is also a unique solution of the following mathematical programming problem with (MSSMVIP-2) and fixed point constraints:
min x Fix ( T ) Ω 2 h ( x ) .

Proof By Theorem 4.5 and following the same argument as in the proof of Theorem 4.3, we see that the proof is complete. □

In the following theorem, we consider the following split monotonic variational inclusion problem (MSSMVIP-3):
Find  x ¯ H 1  such that  x ¯ G 2 1 ( 0 ) , x ¯ ( G 1 + F 1 ) 1 0 ,  and  A 2 x ¯ ( B + G ) 1 ( 0 ) .
That is,
Find  x ¯ H 1  such that  x ¯ Fix ( J λ G 1 ( I λ F 1 ) ) Fix ( J r G 2 ) ,  and  A 2 x ¯ Fix ( U 2 ) where  U 2 = J σ G ( I 3 σ B ) .

Let Ω 3 be the solutions set of (MSSMVIP-3).

Theorem 4.7 Let T : C H 1 be a 2-generalized hybrid mapping. Suppose that Ω 3 is the solutions set of (MSSMVIP-3) with Fix ( T ) Ω 3 . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H 1 be defined by
{ x 1 C  chosen arbitrarily , y n = J λ G 1 ( I λ F 1 ) J r G 2 ( I r A 2 ( I 3 U 2 ) A 2 ) x n , s n = 1 n k = 0 n 1 T k y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
(4.7)
where U 2 = J σ G ( I 3 σ B ) , { α n } ( 0 , 1 ) , { β n } ( 0 , 1 ) , r ( 0 , ) and λ ( 0 , ) .
  1. (i)

    0 < lim inf n α n lim sup n α n < 1 ;

     
  2. (ii)

    lim n β n = 0 , and n = 1 β n = ;

     
  3. (iii)

    0 < λ < 2 κ 1 , 0 < r < 1 R 2 and 0 < σ < 2 ν ;

     
  4. (iv)

    lim n θ n = θ for some θ H 1 .

     
Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 3 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 3 .

Proof Let F 2 = A 2 ( I U 2 ) A 2 , λ n = λ and r n = r for all n N in Theorem 3.1. It follows from Theorem 4.1(ii) that F 2 is μ i R i -ivm for some μ i > 1 2 . Then algorithm (3.1) in Theorem 3.1 follows immediately from algorithm (4.7) in Theorem 4.7.

Since Fix ( T ) Ω 3 is nonempty, there exists w ¯ C such that
w ¯ Fix ( T ) Fix ( J λ G 1 ( I λ F 1 ) ) Fix ( J r G 2 ) Fix ( I r A 2 ( I U 2 ) A 2 ) .
(60)
This implies that
w ¯ Fix ( T ) Fix ( J λ G 1 ( I λ F 1 ) ) Fix ( J r G 2 ( I r A 2 ( I U 2 ) A 2 ) ) .
(61)
That is,
w ¯ Fix ( T ) Fix ( J λ G 1 ( I λ F 1 ) ) Fix ( J r G 2 ( I r F 2 ) ) .
(62)
Hence,
w ¯ Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 .
(63)
It follows from Theorem 3.1 that lim n x n = x ¯ , where
x ¯ = P Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 ( x ¯ V x ¯ + θ ) .
This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) ( F 1 + G 1 ) 1 0 ( F 2 + G 2 ) 1 0 .
If
w Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 .
(64)
That is,
w = T w , w = J λ G 1 ( I F 1 ) w and w = J r G 2 ( I r A 2 ( I U 2 ) A 2 ) w .
(65)
By Ω 3 , equation (65) and Lemma 2.4(v), we have
w = T w , w = J λ G 1 ( I λ F 1 ) w , w = J r G 2 w , w = ( I r A 2 ( I 3 U 2 ) A 2 ) w .
(66)
By Ω 3 , equation (66), and Theorem 4.1(ii), we see that w is a solution of (MSSMVIP-3). Therefore, w Fix ( T ) Ω 3 and Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 Fix ( T ) Ω 3 . Conversely, if w Fix ( T ) Ω 3 , by equations (60), (61), (62), and (63), we know that w Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 and
Fix ( T ) Ω 3 Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 .

Therefore, Fix ( T ) Ω 3 = Fix ( T ) ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 and the proof is completed. □

Remark 4.3 Theorem 4.7 also improve Theorem 3.1 [9].

For each i = 1 , 2 , let f i : C × C R be a bifunction satisfying the conditions (A1)-(A4). The system of mixed type equilibria problem (MSSMVIP-4) is defined as follows.
Find  x ¯ C  such that  f 1 ( x ¯ , x ) + x x ¯ , F 1 x ¯ 0  and  f 2 ( x ¯ , x ) + x x ¯ , F 2 x ¯ 0

for all x C .

By Theorem 3.1 and Lemma 4.2, we study a variational inequality problem with (MSSMVIP-4) and fixed point set constraints.

Theorem 4.8 Let T : C H 1 be a 2-generalized hybrid mapping. For each i = 1 , 2 , let f i : C × C R be a bifunction satisfying the conditions (A1)-(A4), and J λ A f 1 , J r A f 2 , defined as Lemma 4.2. Suppose that Ω 4 is the solutions set of (MSSMVIP-4) with ( A f 1 + F 1 ) 1 0 ( A f 2 + F 2 ) 1 0 Fix ( T ) . Let { x n } H be defined by
{ x 1 C  chosen arbitrarily , y n = J λ A f 1 ( I λ F 1 ) J r A f 2 ( I r F 2 ) x n , s n = 1 n k = 0 n 1 T k y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
(4.8)
where { α n } ( 0 , 1 ) , { β n } ( 0 , 1 ) , r ( 0 , ) and λ ( 0 , ) . Assume that:
  1. (i)

    0 < lim inf n α n lim sup n α n < 1 ;

     
  2. (ii)

    lim n β n = 0 , and n = 1 β n = ;

     
  3. (iii)

    0 < a 1 λ b 1 < 2 κ 1 , 0 < a 2 r b 2 < κ 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H 1 .

     
Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 4 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 4 .
Proof For each i = 1 , 2 , let A f i be as in Lemma 4.2. By Lemma 4.2, we see that A f i is a maximal monotone operator with the domain of A f i C . Furthermore, for any x H 1 and r > 0 , the resolvent T λ f i of f i coincides with the resolvent of A f i , i.e.,
T λ f i x = ( I + λ A f i ) 1 x .
(67)
For i = 1 , 2 , let G i = A f i in Theorem 3.1. By equation (67), we have
T λ f i x = ( I + λ A f 1 ) 1 x = J λ G 1 x , T r f 2 x = ( I + r A f 2 ) 1 x = J r G 2 x .
(68)

Then algorithm (3.1) in Theorem 3.1 follows immediately from algorithm (4.8) in Theorem 4.8.

By equation (68), we have Fix ( T λ f 1 ) = A f 1 1 0 = Fix ( J λ A f 1 ) and Fix ( T r f 2 ) = A f 2 1 0 = Fix ( J r A f 2 ) .

It follows from Theorem 3.1 that lim n x n = x ¯ , where
x ¯ = P Fix ( T ) Ω 1 ( x ¯ V x ¯ + θ ) .
This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 1 .
Here w ( G 1 + F 1 ) 1 0 ( G 2 + F 2 ) 1 0 . That is, w ( A f 1 + F 1 ) 1 0 ( A f 2 + F 2 ) 1 0 . That is, w Fix ( J λ A f 1 ( I λ F 1 ) ) Fix ( J r A f 2 ( I r F 2 ) ) . That is,
f 1 ( w , x ) + x w , F 1 w 0
and
f 2 ( w , x ) + x w , F 2 w 0

for all x C . Therefore, Ω 1 = Ω 4 and the proof is complete. □

By Theorem 4.2, we study a mathematical programming problem with (MSSMVIP-4) and fixed point set constraints.

Theorem 4.9 In Theorem 4.8, let h : C R be a convex Gâteaux differential function with Gâteaux derivative V, and let the assumption (iv) be replaced by lim n θ n = 0 . Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 4 ( x ¯ V x ¯ ) . This point x ¯ is also a unique solution of the mathematical programming problem with (MSSMVIP-2) constraints:
min x Fix ( T ) Ω 4 h ( x ) .
For each i = 1 , 2 , let f i : C × C R and g 1 : Q × Q R , g 2 : Q × Q R be bifunctions satisfying conditions (A1)-(A4). The multiple sets split system of mixed type equilibrium problems (MSSMVIP-5) is defined as follows.
Find  x ¯ C  such that  x ¯ E P ( f 1 ) E P ( f 2 ) , g 1 ( A 1 x ¯ , y ) + y A 1 x ¯ , B A 1 x ¯ 0  and g 2 ( A 2 x ¯ , y ) + y A 2 x ¯ , B A 2 x ¯ 0

for all y Q , y Q .

By Theorem 4.2, we can study a variational inequality problem with (MSSMVIP-5) and fixed point set constraints.

Theorem 4.10 For each i = 1 , 2 , let f i : C × C R and g 1 : Q × Q R , g 2 : Q × Q R be bifunctions satisfying the conditions (A1)-(A4). Let T : C H 1 be a 2-generalized hybrid mapping, and let J λ A f 1 , J r A f 2 , J σ A g 1 , J σ A g 2 be defined as in Lemma 4.2. Suppose that Ω 5 is the solutions set of (MSSMVIP-4) with Ω 5 Fix ( T ) . Let { x n } H be defined by
{ x 1 C  chosen arbitrarily , y n = J λ A f 1 ( I λ A 1 ( I 2 U 1 ) A 1 ) J λ A f 2 ( I r A 2 ( I 3 U 2 ) A 2 ) x n , s n = 1 n k = 0 n 1 T k y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
(4.10)
where U 1 = J σ A g 1 ( I 2 σ B ) , U 2 = J σ A g 2 ( I 3 σ B ) . Then lim n x n = x ¯ , where x ¯ = P Fix ( T ) Ω 5 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Fix ( T ) Ω 5 .

Proof For i = 1 , 2 , let G i = A f i , G = A g 1 , and G = A g 2 in Theorem 4.2. By Theorem 4.2 and following the same argument as in the proof of Theorem 4.8, we prove Theorem 4.10. □

For each i = 1 , 2 , let f i : C × C R and g i : Q × Q R be bifunctions satisfying conditions (A1)-(A4). The split mixed type equilibrium problem (MSSMVIP-6) is defined as follows.
Find  x ¯ C  such that  x ¯ E P ( f 2 ) , f 1 ( x ¯ , x ) + x x ¯ , F 1 x ¯ 0  and g 2 ( A 2 x ¯ , y ) + y A 2 x ¯ , B A 2 x ¯ 0

for all x C , y Q .

Applying Theorem 4.7 and following a similar argument as in Theorem 4.10, we can study a variational inequality problem with (MSSMVIP-6) and with fixed point set constraints.

Theorem 4.11 For each i = 1 , 2 , let f i : C × C R and g i : Q × Q R be bifunctions satisfying conditions (A1)-(A4). Let T : C H 1 be a 2-generalized hybrid mapping, and J λ A f 1 , J r A f 2 , J σ A g 1 , J σ A g 2 defined as in Lemma 4.2. Suppose that Ω 6 is the solutions set of (MSSMVIP-6) with Ω 6 Fix ( T ) . Let { x n } H be defined by
{ x 1 C  chosen arbitrarily , y n = J λ A f 1 ( I λ F 1 ) J λ A f 2 ( I r A 2 ( I 3 U 2 ) A 2 ) x n , s n = 1 n k = 0 n 1 T k y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
(4.11)
where U 2 = J σ A g 2 ( I 3 σ B ) , { α n } ( 0 , 1 ) , { β n } ( 0 , 1 ) , r ( 0 , ) and λ ( 0 , ) . Assume further that
  1. (i)

    0 < lim inf n α n lim sup n α n < 1 ;

     
  2. (ii)

    lim n β n = 0 , and n = 1 β n = ;

     
  3. (iii)

    0 < λ < 2 κ 1 , 0 < r < 1 R 2 and 0 < σ < 2 ν ;

     
  4. (iv)

    lim n θ