Open Access

Variational inequality problems over split fixed point sets of strict pseudo-nonspreading mappings and quasi-nonexpansive mappings with applications

Fixed Point Theory and Applications20142014:198

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

Received: 29 April 2014

Accepted: 25 August 2014

Published: 24 September 2014

Abstract

In this paper, we first establish a strong convergence theorem for a variational inequality problem over split fixed point sets of a finite family of strict pseudo-nonspreading mappings and a countable family of quasi-nonexpansive mappings. As applications, we establish a strong convergence theorem of split fixed point sets of a finite family of strict pseudo-nonspreading mappings and a countable family of strict pseudo-nonspreading mappings without semicompact assumption on the strict pseudo-nonspreading mappings. We also study the variational inequality problems over split common solutions of fixed points for a finite family of strict pseudo-nonspreading mappings, fixed points of a countable family of pseudo-contractive mappings (or strict pseudo-nonspreading mappings) and solutions of a countable family of nonlinear operators. We study fixed points of a countable family of pseudo-contractive mappings with hemicontinuity assumption, neither Lipschitz continuity nor closedness assumption is needed.

Keywords

hierarchical problems split feasibility problem fixed point problem strict pseudo-nonspreading mappings pseudo-contractive mappings

1 Introduction

The split feasibility problem (SFP) in finite dimensional Hilbert spaces was first introduced by Censor and Elfving [1] for modeling inverse problems which arise from phase retrievals and in medical image reconstruction. Since then, the split feasibility problem (SFP) has received much attention due to its applications in signal processing, image reconstruction, with particular progress in intensity-modulated radiation therapy, approximation theory, control theory, biomedical engineering, communications, and geophysics. For example, one can see [25].

Let C be a nonempty closed convex subset of a real Hilbert space H 1 with the inner product , and the norm .

Let f be a contraction on C, let T : C C be a nonexpansive mapping and { α n } be a sequence in [ 0 , 1 ] . In 2004, Xu [6] proved that under some condition on { α n } , the sequence { x n } generated by
x n + 1 = α n f x n + ( 1 α n ) T x n
strongly converges to x in Fix ( T ) which is the unique solution of the variational inequality
( I f ) x , x x 0

for all x Fix ( T ) .

Xu [7] studied the following minimization problem over the set of fixed point set of a nonexpansive operator T on a real Hilbert space H 1 :
min x Fix ( T ) 1 2 B x , x a , x ,
where a is a given point in H 1 and B is a strongly positive bounded linear operator on H 1 . In [7], Xu proved that the sequence { x n } defined by the following iterative method:
x n + 1 = ( I α n B ) T x n + α n a

converges strongly to the unique solution of the minimization problem of a quadratic function.

Let H 1 , H 2 be two real Hilbert spaces, A : H 1 H 2 be a bounded linear operator, { S i } i = 1 : H 1 H 1 be an infinite family of k i -strictly pseudo-nonspreading mappings and { T i } i = 1 N : H 2 H 2 be a finite family of ρ i -strict pseudo-nonspreading mappings, C = i = 1 Fix ( S i ) and Q = i = 1 N Fix ( T i ) , Chang et al. [8] studied the following iterative sequence.

Let { x n } H 1 be defined by
{ x 1 C chosen arbitrarily , y n = [ I γ A ( I T n ( mod N ) ) A ] x n , x n + 1 = a 0 , n y n + i = 1 a i , n S i , β y n for all  n 1 ,

where S i , β = β I + ( 1 β ) S i , β ( 0 , 1 ) is a constant, I is an identity function on H 1 .

Chang et al. [8] proved a weak convergence theorem to the solution of the following problem: Find x ¯ C , A x ¯ Q .

In addition, if there exists some positive integer m such that S m is semicompact, then { x n } , { y n } converge strongly to a point x ¯ Γ = { x C , A x Q } . In 2013, Tang [9] studied common solutions of fixed points of continuous pseudo-contractive mappings and zero points of the sum of monotone mappings. In 2014, Zegeye and Shahzad [10] and Yao et al. [11] studied common solutions of fixed points of Lipschitz continuous pseudo-contractive mappings and zero points of the sum of monotone mappings. Wangkeree and Nammanee [12] studied common solutions of fixed points of continuous pseudo-contractive mappings and solutions of a continuous monotone variational inequality.

In 2013, Cheng et al. [13] constructed a three-step iteration and obtained a convergence theorem for a countable family of uniformly Lipschitz and uniformly closed pseudo-contractive mappings. Deng [14] constructed another iteration and obtained a convergence theorem for a countable family of closed and Lipschitz pseudo-contractive mappings. Both the results of Cheng et al. [13] and Deng [14] used too strong conditions to study common fixed points of a countable family of pseudo-contractive mappings. The fixed point theorems of pseudo-contractive mappings in the literature assumed the Lipschitz continuous condition; see, for example, [15, 16].

Motivated and inspired by the above results, in this paper, we first establish a strong convergence theorem for a variational inequality problem over split fixed point sets of a finite family of strict pseudo-nonspreading mappings and a countable family of quasi-nonexpansive mappings. As applications, we establish a strong convergence theorem of split fixed point sets of a finite family of strict pseudo-nonspreading mappings and a countable family of strict pseudo-nonspreading mappings without semicompact assumption on the strict pseudo-nonspreading mappings. We also study the variational inequality problems over split common solutions of a fixed point for a finite family of strict pseudo-nonspreading mappings, fixed points of a countable family of pseudo-contractive mappings (or strict pseudo-nonspreading mappings) and solutions of a countable family of nonlinear operators. We study a fixed point of a countable family of pseudo-contractive mappings with hemicontinuity assumption, neither Lipschitz continuity nor closedness assumptions is needed.

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. Let , and denote the inner product and the norm of H 1 , respectively. Let C be a nonempty closed convex subset of H 1 . We denote the strong 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 : H 1 H 1 is called
  1. (i)

    pseudo-contractive if for each x , y H 1 , we have T x T y , x y x y 2 .

    Note that the above inequality can be equivalently written as
    T x T y 2 x y 2 + ( I T ) x ( I T ) y 2 for all  x , y H 1 ;
     
  2. (ii)

    a k-strictly pseudo-contractive mapping if there exists a constant k [ 0 , 1 ) such that x y , T x T y x y 2 k ( I T ) x ( I T ) y 2 for all x , y H 1 ;

     
  3. (iii)

    nonexpansive if T x T y x y for all x , y H 1 ;

     
  4. (iv)

    firmly nonexpansive if T x T y 2 x y 2 ( I T ) x ( I T ) y 2 for every x , y C ;

     
  5. (v)

    quasi-nonexpansive if Fix ( T ) and T x p x p for all x H 1 , p Fix ( T ) ;

     
  6. (vi)

    nonspreading [17] if 2 T x T y 2 T x y 2 + T y x 2 for all x , y H 1 , that is, T x T y 2 x y 2 + 2 x T x , y T y for all x , y H 1 ;

     
  7. (vii)
    α-strictly pseudo-nonspreading [18] if there exists α [ 0 , 1 ) such that
    T x T y 2 x y 2 + α x T x ( y T y ) 2 + 2 x T x , y T y
     
for all x , y H 1 ;
  1. (viii)

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

     
  2. (ix)

    Lipschitz continuous if there exists L > 0 such that T x T y L x y for all x , y H 1 ;

     
  3. (x)

    hemicontinuous ([19], p.204) if, for all x , y H 1 , the mapping g : [ 0 , 1 ] H 1 defined by g ( t ) = T ( t x + ( 1 t ) y ) is continuous, where H 1 has a weak topology;

     
  4. (xi)

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

     
  5. (xi)

    monotone if x y , T x T y 0 for all x , y H 1 .

     

We also know that (i) if V is an α-inverse-strongly monotone mapping and 0 < λ 2 α , then I λ V : C H 1 is a nonexpansive mapping; (ii) if V is a monotone mapping, then T = I V : C H 1 is a pseudo-contractive mapping.

Let T : C H 1 be a mapping. Then p C is called an asymptotic fixed point of T [20] if there exists { x n } C such that x n p , and lim n x n T x n = 0 . We denote by Fix ( T ˆ ) the set of asymptotic fixed points of T. A mapping T : C H is said to be demiclosed if it satisfies Fix ( T ) = Fix ( T ˆ ) .

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

Then B : 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 ( B ) , u B x , and v B y ;

     
  2. (ii)

    a maximal monotone operator on H 1 if B 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 .

     

For a maximal monotone operator B on H 1 and r > 0 , we may define a single-valued operator J r = ( I + r B ) 1 : H 1 D ( B ) , which is called the resolvent of B for r. Let B 1 0 = { x H 1 : 0 B x } .

The following lemmas are needed in this paper.

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.1 [5, 21]

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.2 [22]

Let V : H 1 H 1 be a γ ¯ -strongly monotone and L-Lipschitz 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-Lipschitz continuous mapping. Furthermore, there exists 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 , q C .

Lemma 2.3 [19]

Let B : H 1 H 1 be maximal monotone.
  1. (i)

    For each β > 0 , J β B is single-valued and firmly nonexpansive.

     
  2. (ii)

    D ( J β B ) = H 1 and Fix ( J β B ) = { x D ( B ) : 0 B x } .

     

Lemma 2.4 [23]

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.5 [24]

Let { a n } n N be a sequence of nonnegative real numbers, { α n } be a sequence of real numbers in [ 0 , 1 ] with n = 1 α n = , { u n } be a sequence of nonnegative real numbers with n = 1 u n < , { t n } be 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 .

The equilibrium problem is to find z C such that
( EP ) g ( z , y ) 0 for each  y C ,

where g : C × C R is a bifunction.

This problem includes fixed point problems, optimization problems, variational inequality problems, Nash equilibrium problems, minimax inequalities, and saddle point problems as special cases. (For example, one can see [25] and related literature.) The solution set of equilibrium problem (EP) is denoted by EP ( 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 sup 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.

We have the following result from Blum and Oettli [25].

Theorem 2.1 [25]

Let g : C × C R be a bifunction which satisfies conditions (A1)-(A4). Then, for each r > 0 and each x H 1 , there exists z C such that
g ( z , y ) + 1 r y z , z x 0

for all y C .

In 2005, Combettes and Hirstoaga [26] established the following important properties of a resolvent operator.

Theorem 2.2 [26]

Let g : C × C R be a function satisfying conditions (A1)-(A4). For r > 0 , define T r g : H 1 C by
T r g x = { z C : g ( z , y ) + 1 r y z , z x 0 , y C }
for all x H 1 . Then the following hold:
  1. (i)

    T r g is single-valued.

     
  2. (ii)

    T r g is firmly nonexpansive, that is, T r g x T r g y 2 x y , T r g x T r g y for all x , y H .

     
  3. (iii)

    { x H 1 : T r g x = x } = { x C : g ( x , y ) 0 , y C } .

     
  4. (iv)

    { x C : g ( x , y ) 0 , y C } is a closed and convex subset of C.

     

We call such T r g the resolvent of g for r > 0 .

Lemma 2.6 [27]

Let E be a uniformly convex Banach space, r > 0 be a constant. Then there exists a continuous, strictly increasing and convex function g : [ 0 , 2 r ) [ 0 , ) with g ( 0 ) = 0 such that
k = 1 α k x k 2 k = 1 α k x k 2 α i α j g ( x i x j )

for all i , j N , x k B r : = { z E : z r } , α k N with k = 1 α k = 1 .

Takahashi et al. [28] showed the following result.

Lemma 2.7 [28]

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

Then EP ( 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 .

Lemma 2.8 [18]

Let H be a real Hilbert space, C be a nonempty and closed convex subset of H, and T : C C be a k-strictly pseudo-nonspreading mapping. Then the following hold:
  1. (i)

    If Fix ( T ) , then Fix ( T ) is closed and convex.

     
  2. (ii)

    T is demiclosed.

     

Lemma 2.9 [8]

Let H be a real Hilbert space, C be a nonempty and closed convex subset of H, and T : C C be a k-strictly pseudo-nonspreading mapping and Fix ( T ) . Let T γ = γ I + ( 1 γ ) T , k γ < 1 . Then T γ is a quasi-nonexpansive mapping.

3 Convergence theorems of hierarchical problems

Let C and Q be nonempty closed convex subsets of real Hilbert spaces H 1 and H 2 , respectively. For each i N , let G i be a maximal monotone mapping on H 1 such that the domains of G i are included in C, and let J λ i G i = ( I + λ i G i ) 1 for each λ i > 0 . For i N , κ i > 0 , let B i be a κ i -inverse-strongly monotone mapping of C into H 1 . Let A : H 1 H 2 be a bounded linear operator and A be the adjoint of A, and let R be the spectral radius of the operator A A . Let { θ n } H 1 be a sequence, and let V be a γ ¯ -strongly monotone and L-Lipschitz continuous operator with γ ¯ > 0 and L > 0 . Let { F i } i = 1 and { W i } i = 1 be countable families of quasi-nonexpansive mappings from C into itself with demiclosed property, and let { T i } i = 1 N : H 2 H 2 be a finite family of ρ i -strictly pseudo-nonspreading mappings with ρ = max { ρ i : i = 1 , 2 , , N } ( 0 , 1 ) . Let { S i } i = 1 be a countable family of δ i -strictly pseudo-nonspreading mappings from C into itself with δ = sup i 1 δ i , and let Ψ i : C C be a countable family of pseudo-contractive mappings. Throughout this paper, we use these notations and assumptions unless specified otherwise.

In this paper, we first study the variational inequality problem over split common solutions for a fixed point of a finite family of strict pseudo-nonspreading mappings, and a solution of a countable family of quasi-nonexpansive mappings.

Theorem 3.1 Suppose that Π 1 : = { x C : x i = 1 Fix ( F i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.1 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 a n , i F i y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n )
for each n N , { a n , i : n , i N } [ 0 , 1 ] and { α n , β n } ( 0 , 1 ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 1 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 1 .
Proof Take any x ¯ Π 1 and let x ¯ be fixed. Then x ¯ i = 1 F i x ¯ and A x ¯ i = 1 N T i . For each n N , by Lemma 2.6, we have
s n x ¯ 2 = a n , 0 y n + i = 1 a n , i F i y n x ¯ 2 a n , 0 y n x ¯ 2 + i = 1 a n , i F i y n x ¯ 2 a n , 0 a n , i g ( y n F i y n ) a n , 0 y n x ¯ 2 + i = 1 a n , i y n x ¯ 2 a n , 0 a n , i g ( y n F i y n ) y n x ¯ 2 a n , 0 a n , i g ( y n F i y n ) y n x ¯ 2 .
(1)
In Theorem 3.1 in [8], Chang et al. showed that
y n x ¯ 2 = [ I b A ( I T n ( mod N ) ) A ] x n x ¯ 2 x n x ¯ 2 b ( 1 ρ b A 2 ) ( I T n ( mod N ) ) A x n 2 x n x ¯ 2 .
(2)
Let z n = β n θ n + ( I β n V ) s n and τ = γ ¯ L 2 μ 2 , following the same argument as in the proof of Theorem 3.1 in [22], we have
x n + 1 x ¯ max { x n x ¯ , M } ,
where M = max { θ n V x ¯ τ : n N } . By mathematical induction, we know
x n x ¯ max { x 1 x ¯ , M } .

This implies that the sequence { x n } is bounded. Furthermore, { z n } , { s n } and { F i x n } are bounded for all i N .

Following the same argument as in the proof of Theorem 3.1 in [22] again, we have
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 ] .
(3)

We will divide the proof into two cases as follows.

Case 1: There exists a natural number N such that x n + 1 x ¯ x n x ¯ for each n N . So, lim n x n x ¯ exists. Hence, it follows from (3), (i) and (ii) that
lim n s n x n = 0 .
(4)
Following the same argument as in the proof of Theorem 3.1 in [22] again, we have
lim n x n + 1 x n = 0 ,
(5)
lim n z n s n = 0
(6)
and
lim n z n x n = 0 .
(7)
By (1) and (2), we have
s n x ¯ 2 x n x ¯ 2 b ( 1 ρ b A 2 ) ( I T n ( mod N ) ) A x n 2 a n , 0 a n , i g ( y n F i y n )

for all i N .

Therefore,
b ( 1 ρ b A 2 ) ( I T n ( mod N ) ) A x n 2 + a n , 0 a n , i g ( y n F i y n ) x n x ¯ 2 s n x ¯ 2 x n s n ( s n x ¯ + x n x ¯ )
(8)

for all i N .

Thus, by (4), (8), and condition (iii), we have
lim n ( I T n ( mod N ) ) A x n = 0 and lim n g ( y n F i y n ) = 0
(9)

for all i N .

From the properties of g, we conclude that
lim n y n F i y n = 0
(10)

for all i N .

By Lemma 2.8 and the assumption, we have that Π 1 : = { x C : x i = 1 Fix ( F i )  and  A x i = 1 N Fix ( T i ) } is a nonempty closed convex subset of H. Hence, by Lemma 2.2, we can take x ¯ 0 Π 1 such that
x ¯ 0 = P Π 1 ( 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 Π 1 .
(11)
We 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 for some w H and
lim sup n V x ¯ 0 θ , z n x ¯ 0 = lim k V x ¯ 0 θ , z n k x 0 ¯ .
(12)
By (7), we have that
lim n x n z n = 0 and x n k w .
(13)
Since A is a bounded linear operator, this implies that A x n k A w . Also, by equation (10), we have
lim n k ( I T n k ( mod N ) ) A x n k = 0 .
(14)
Hence there exist a positive integer j { 1 , 2 , , N } and a subsequence { n k i } of { n k } with n k i ( mod N ) = j such that
lim n k i ( I T j ) A x n k i = 0 .
(15)

Since A x n k i A w , it follows from Lemma 2.8 that I T j is demiclosed at 0. This implies that A w Fix ( T j ) .

By equations (13) and (14), we have
y n k = x n k γ A ( I T j ) A x n k i w .
(16)
For each i N , by F i is demiclosed, equations (10) and (16), we have w Fix ( F i ) . Hence, w Π 1 . Thus, from (11) and (12) we have
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 .
(17)
Following the same argument as in the proof of Theorem 3.1 in [22] again, we have that
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 τ ) .
(18)
By (17), (18), assumptions, and Lemma 2.5, we know that lim n x n = x ¯ 0 , where
x ¯ 0 = P Π 1 ( 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.4, 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 ¯ .
(19)
Following the same argument as in the proof of Theorem 3.1 in [22] again, we have
lim j x m j + 1 x ¯ 0 = 0 .
(20)
By equations (19) and (20),
lim j x j x ¯ 0 lim j x m j + 1 x ¯ 0 = 0 .

Thus, the proof is completed. □

Remark 3.1 Theorem 3.1 improves Theorem 3.1 in [29], Theorem 3.3 in [30] and Theorem 3.1 in [31] in the sense that our convergence is for the common fixed point of a countable family of quasi-nonexpansive mappings and for the split feasibility problem.

Applying Theorem 3.1, we study a variational inequality problem over split common solutions for a fixed point of a finite family of strict pseudo-nonspreading mappings and a common fixed point of countable families of mappings.

Theorem 3.2 Suppose that Π 2 : = { x C : x i = 1 Fix ( S i ) i = 1 Fix ( W i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.2 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i W i y n + i = 1 a n , i S i , γ y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where S i , γ = γ I + ( 1 γ ) S i , i 1 , γ [ δ , 1 ) for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] and { b n , i : n , i N } [ 0 , 1 ] . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

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

Proof By Π 2 , there exists w C such that w i = 1 Fix ( S i ) i = 1 Fix ( W i ) = i = 1 Fix ( S i , γ ) i = 1 Fix ( W i ) . For each i N , S i is a δ i -strictly pseudo-nonspreading mapping and γ [ δ , 1 ) , by Lemma 2.9, we have S i , γ is quasi-nonexpansive. For each i N , by Lemma 2.8 and x S i , γ x = ( 1 γ ) x S i x , we see that S i , γ is demiclosed.

For each i N , let F 2 i = S i , γ and F 2 i 1 = W i in Theorem 3.1, then F i is quasi-nonexpansive with demiclosed property and Π 2 = Π 1 . It follows from Theorem 3.1 that lim n x n = x ¯ , where x ¯ = P Π 2 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 2 .

 □

Applying Theorem 3.1, we study split common solutions for common fixed points of a finite family of strict pseudo-nonspreading mappings, and common fixed points of a countable family of strict pseudo-nonspreading mappings. Our result improves Theorem 3.1 in [8].

Theorem 3.3 Suppose that Π 3 : = { x C : x i = 1 Fix ( S i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.3 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = s n = c n , 0 y n + i = 1 c n , i S i , γ y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n ) s n ) ,
where S i , γ = γ I + ( 1 γ ) S i , i 1 , γ [ δ , 1 ) for each n N , { α n , β n } ( 0 , 1 ) and { c n , i : n , i N } [ 0 , 1 ] . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    c n , 0 + i = 1 c n , i = 1 , lim inf n c n , 0 c n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

     

Then lim n x n = x ¯ , where x ¯ = P Π 3 ( θ ) .

Proof By Π 3 , there exists w C such that w i = 1 Fix ( S i ) = i = 1 Fix ( S i , γ ) . For each i N , S i is a δ i -strictly pseudo-nonspreading mapping and γ [ δ , 1 ) , by Lemma 2.9, we have S i , γ is quasi-nonexpansive and Fix ( S i ) = Fix ( S i , γ ) . For each i N , by Lemma 2.8 and x S i , γ x = ( 1 γ ) x S i x , we see that S i , γ is demiclosed.

For each i N , let F i = S i , γ and V ( x ) = x for all x C in Theorem 3.1, then F i is quasi-nonexpansive with demiclosed property and Π 3 = Π 1 . It follows from Theorem 3.1 that lim n x n = x ¯ , where x ¯ = P Π 3 ( θ ) . □

Remark 3.2 Theorem 3.3 improves Theorem 3.1 in [8]. Indeed, Theorem 3.1 in [8] establishes a weak convergence. In Theorem 3.1 in [8], if there exists some positive integer m such that S m is semicompact, then { x n } converges strongly to x ¯ Π 3 . However, Theorem 3.3 is a strong convergence theorem without semicompact assumption.

Let γ = δ = δ i = 0 for all i N and ρ = ρ j = 0 for all j = 1 , 2 , , N in Theorem 3.2, we have the following theorem.

Theorem 3.4 Suppose that for each i N , S i is a nonspreading mapping, and let { T i } i = 1 N : H 2 H 2 be a finite family of nonspreading mappings. Let Π 4 : = { x C : x i = 1 Fix ( S i ) i = 1 Fix ( W i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.4 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i W i y n + i = 1 a n , i S i y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n )
for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] and { b n , i : n , i N } [ 0 , 1 ] . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

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

Proof For each i N , S i is a nonspreading mapping, hence S i is a quasi-nonexpansive mapping and a δ i -strictly pseudo-nonspreading mapping with δ i = 0 . For each i = 1 , 2 , , N , T i is a nonspreading mapping, hence T i is a ρ i -strictly pseudo-nonspreading mapping with ρ i = 0 .

Let γ = δ = δ i = 0 for all i N and ρ = ρ j = 0 for all j = 1 , 2 , , N in Theorem 3.2. It follows from Theorem 3.2 and Π 4 = Π 2 that lim n x n = x ¯ , where x ¯ = P Π 4 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 4 .
 □
  1. (I)
    We study split common fixed points for a finite family of ρ i -strictly pseudo-nonspreading mappings, zeros for a countable family of mappings which are the sum of two monotone mappings and common fixed points for a countable family of quasi-nonexpansive mappings:
    { Find  x ¯ C  such that x ¯ i = 1 ( G i + B i ) 1 0 i = 1 Fix ( W i )
     
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .
Theorem 3.5 Suppose that Π 5 : = { x C : x i = 1 ( B i + G i ) 1 0 i = 1 Fix ( W i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.5 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i W i y n + i = 1 a n , i J r i G i ( I r i B i ) y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n )
for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    0 < r i < 2 κ i for all i N and lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 5 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 5 .
Proof By Theorem 4.1 in [32] and Lemma 2.1(iv), (v), we have that
J r i G 2 , i ( I r i B 2 , i )  is averaged

for each i N .

For each i N , let F 2 i = W i and let F 2 i 1 = J r i G i ( I r i B i ) . Then F i is a quasi-nonexpansive mapping and
i = 1 Fix ( F i ) = i = 1 Fix ( J r i G i ( I r i B i ) ) i = 1 Fix ( W i ) .
Thus, Π 5 = Π 1 . By Theorem 3.1, we have that lim n x n = x ¯ , where x ¯ = P Π 5 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 5 ,

and the proof is completed. □

Remark 3.3 Theorem 3.5 improves Theorem 10 in [33] in the sense that our convergence is for the fixed point of a countable family of quasi-nonexpansive mappings and for the split feasibility problem.
  1. (II)
    We study split common fixed points for a finite family of ρ i -strictly pseudo-nonspreading mappings, zeros for a countable family of mappings which are the sum of two monotone mappings and common fixed points of a countable family of δ i -strictly pseudo-nonspreading mappings:
    { Find  x ¯ C  such that x ¯ i = 1 ( G i + B i ) 1 0 i = 1 Fix ( S i )
     
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .
Theorem 3.6 Suppose that Π 6 : = { x C : x i = 1 Fix ( J r i G i ( I r i B i ) ) i = 1 Fix ( S i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.6 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i S i , γ y n + i = 1 a n , i J r i G i ( I r i B i ) y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n )
for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    0 < r i < 2 κ i for all i N and lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 4 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 6 .
Proof For each i N , let S i , γ = γ S i + ( 1 γ ) I . Then S i , γ is a quasi-nonexpansive mapping and Fix S i = Fix S i , γ for each i N . Then Theorem 3.6 follows immediately from Theorem 3.5. □
  1. (III)
    We study split common fixed points for a finite family of ρ i -strictly pseudo-nonspreading mappings, zeros for a countable family of monotone mappings and common fixed points for a countable family of δ i -strictly pseudo-nonspreading mappings:
    { Find  x ¯ C  such that x ¯ i = 1 B i 1 0 i = 1 Fix ( S i )
     
and
{ u ¯ = A x ¯ H 2 , u i ¯ = A i x ¯  such that u ¯ i = 1 N Fix ( T i ) .
Theorem 3.7 Suppose that Π 7 : = { x C : x i = 1 B i 1 0 i = 1 Fix ( S i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.7 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i S i , γ y n + i = 1 a n , i ( I r i B i ) y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where S i , γ = γ I + ( 1 γ ) S i , i 1 , γ [ δ , 1 ) for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    0 < r i < 2 κ i for all i N and lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 4 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 7 .

Proof For each i N , S i is a δ i -strictly pseudo-nonspreading mapping and γ [ δ , 1 ) , by Lemma 2.9, we have S i , γ is quasi-nonexpansive. By Lemma 2.1, we see that ( I r i B i ) is averaged for each i N .

For each i N , let F 2 i = S i , γ and let F 2 i 1 = ( I r i B i ) in Theorem 3.1. Then F i is a quasi-nonexpansive mapping and
i = 1 Fix ( F i ) = i = 1 Fix ( ( I r i B i ) ) i = 1 Fix ( S i , γ ) .
Thus, Π 7 = Π 1 . Then Theorem 3.7 follows immediately from Theorem 3.1. □
  1. (IV)

    Let f i : C × C R be a bifunction satisfying conditions (A1)-(A4). We study split common solutions for a countable family of equilibrium problems, common fixed points for a countable family of quasi-nonexpansive mappings and common fixed points of a finite family of ρ i -strictly pseudo-nonspreading mappings.

     
That is,
{ Find  x ¯ C  such that x ¯ i = 1 EP ( f i ) i = 1 Fix ( W i )
for all i N , and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .
Theorem 3.8 For each i N , let A f i be as in Lemma  2.7. Suppose that Π 8 : = { x C : x i = 1 EP ( f i ) i = 1 Fix ( W i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.8 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i W i y n + i = 1 a n , i J r i A f i y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n )
for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 8 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 8 .
Proof For each i N , by Lemma 2.7, we know that EP ( f i ) = A f i 1 0 and A f i is a maximal monotone operator with the domain of A f i C . For each i N , by Lemma 2.3, we know that J λ i A f i is firmly nonexpansive, so J λ i A f i is quasi-nonexpansive. For each i N , let F 2 i = W i , and let F 2 i 1 = J λ i A f i in Theorem 3.1. Then F i is a quasi-nonexpansive mapping and
i = 1 Fix ( F i ) = i = 1 Fix ( J λ i A f i ) i = 1 Fix ( W i ) .
Π 9 = Π 1 . By Theorem 3.1, we have that lim n x n = x ¯ , where x ¯ = P Π 8 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 8 .

The proof is completed. □

Remark 3.4 Theorem 3.8 improves Theorem 3.1 in [34] and Theorem 15 in [33] in the sense that our convergence is for the split feasibility problem and for the common solutions of a countable family of equilibrium problems and fixed points for a countable family of quasi-nonexpansive mappings.
  1. (V)
    Let f i : C × C R be a bifunction satisfying conditions (A1)-(A4). We study split common solutions for a countable family of equilibrium problems, common fixed points for a countable family of δ i -strictly pseudo-nonspreading mappings and common fixed points of a finite family of ρ i -strictly pseudo-nonspreading mappings:
    { Find  x ¯ C  such that x ¯ i = 1 EP ( f i ) i = 1 Fix ( S i )
     
for all i N , and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .
Theorem 3.9 For each i N , let A f i be as in Lemma  2.7, and suppose that Π 9 : = { x C : x i = 1 EP ( f i ) i = 1 Fix ( S i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.9 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i S i , γ y n + i = 1 a n , i J r i A f i y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where S i , γ = γ I + ( 1 γ ) S i , i 1 , γ [ δ , 1 ) for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 9 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 9 .
Proof For each i N , let F 2 i = S i , γ and F 2 i 1 = J λ i A f i . Then F i is a quasi-nonexpansive mapping and
i = 1 Fix ( F i ) = i = 1 Fix ( J λ i A f i ) i = 1 Fix ( S i ) .
Π 9 = Π 1 . By Theorem 3.1, we have that lim n x n = x ¯ , where x ¯ = P Π 9 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 9 ,
and the proof is completed. □
  1. (VI)
    For each i N , let M i : C H 1 be a hemicontinuous monotone mapping. We study split common solutions for a countable family of variational inequality problems, common fixed points of a countable family of quasi-nonexpansive mappings and common fixed points of a finite family of ρ i -strictly pseudo-nonspreading mappings:
    { Find  x ¯ C  such that x ¯ i = 1 VI ( C , M i ) i = 1 Fix ( W i ) ,
     
where
VI ( C , M i ) = { z C : y z , M i z 0  for all  y C }
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .

For each i N , let f i ( x , y ) = y x , M i x for all x C in Theorem 3.9, we have the following theorem.

Theorem 3.10 For each i N , let A f i be as in Lemma  2.7 and suppose that M i is bounded on any line segment of C; that is, for each x , y C , there exists κ i ( x , y ) > 0 such that M i ( t x + ( 1 t ) y ) κ i ( x , y ) for all t [ 0 , 1 ] . Suppose that Π 10 : = { x C : x i = 1 VI ( C , M i ) i = 1 Fix ( W i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.10 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i W i y n + i = 1 a n , i J r i A f i , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where f i ( x , y ) = y x , M i x for all x , y C , for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] , and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 10 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 10 .
Proof Since M i : C H is a hemicontinuous monotone mapping, it is sufficient to show that for each i N , f i satisfies conditions (A1)-(A4). Since M i is monotone, we have
y x , M i y M i x 0
and
f i ( x , y ) + f i ( y , x ) = y x , M i x M i y 0 .
Therefore (A2) is satisfied. Since M i : C H is a hemicontinuous mapping, for any x , y H 1 , the mapping g : [ 0 , 1 ] H 1 defined by g ( t ) = M i ( t x + ( 1 t ) y ) is continuous, where H 1 has a weak topology. Since M i is bounded on any line segment of C and each x , y , z H 1 ,
g ( t z + ( 1 t ) x , y ) = y t z ( 1 t ) x , M i ( t z + ( 1 t ) x ) = y t z ( 1 t ) x ( y x ) , M i ( t z + ( 1 t ) x ) + ( y x ) , M i ( t z + ( 1 t ) x ) ,

it is easy to see that lim t 0 f i ( t z + ( 1 t ) x , y ) = lim t 0 y t z ( 1 t ) x , M i ( t z + ( 1 t ) x ) = y x , M i ( x ) = f i ( x , y ) . This shows that condition (A3) is satisfied. It is easy to see that (A1) and (A4) are satisfied. Then Theorem 3.10 follows immediately from Theorem 3.8. □

Remark 3.5 (i) It is easy to see that if M i is continuous on C, then M i is hemicontinuous and bounded on any line segment of C.

(ii) It is easy to see that Theorem 3.10 is true if for each i N , M i : C H is a κ i -inverse strongly monotone mapping or is a continuous strongly monotone mapping. Theorem 3.10 improves Theorem 3.1 of Qing and Shang [35] in the sense that our convergence is for the split feasibility problem and for the common solutions of a countable family of variational inequality problems of hemicontinuous monotone mappings and fixed points for a countable family of quasi-nonexpansive mappings.

(VII) For each i N , let M i : C H be a hemicontinuous monotone mapping. We study split common solutions for a countable family of variational inequality problems, common fixed points for a countable family of δ i -strictly pseudo-nonspreading mappings and common fixed points of a finite family of ρ i -strictly pseudo-nonspreading mappings:
{ Find  x ¯ C  such that x ¯ i = 1 VI ( C , M i ) i = 1 Fix ( S i )
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .

Applying Theorem 3.9 and following the same argument as in Theorem 3.10, we have the following result.

Theorem 3.11 For each i N , let A f i be as in Lemma  2.7 and suppose that M i is bounded on any line segment of C. Suppose that Π 11 : = { x C : x i = 1 VI ( C , M i ) i = 1 Fix S i  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.11 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i S i , γ y n + i = 1 a n , i J r i A f i y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where S i , γ = γ I + ( 1 γ ) S i , γ [ δ , 1 ) , f i ( x , y ) = y x , M i x for all x , y C , i N , for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

     
Then lim n x n = x ¯ , where x ¯ = P Π 11 ( x ¯ V x ¯ + θ ) . This point x ¯ is also a unique solution of the following hierarchical variational inequality:
V x ¯ θ , q x ¯ 0 , q Π 11 .
  1. (VIII)
    For each i N , let Ψ i : C C be a hemicontinuous pseudo-contractive mapping. We study split common fixed points for a countable family of hemicontinuous pseudo-contractive mappings, a countable family of quasi-nonexpansive mappings and a finite family of ρ i -strictly pseudo-nonspreading mappings:
    { Find  x ¯ C  such that x ¯ i = 1 Fix ( Ψ i ) i = 1 Fix ( W i )
     
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .

For i N , let f i ( x , y ) = y x , ( I Ψ i ) x for all x , y C in Theorem 3.11, we have the following theorem.

Theorem 3.12 For each i N , let A f i be as in Lemma  2.7 and suppose that Ψ i is bounded on any line segment of C. Suppose that Π 12 : = { x C : x i = 1 Fix ( Ψ i ) i = 1 Fix ( W i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.12 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i W i y n + i = 1 a n , i J r i A f i , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where f i ( x , y ) = y x , x Ψ i x for all x , y C , for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

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

Proof Let M i = I Ψ i . Since, for each i N , Ψ i is a pseudo-contraction, it is easy to see that M i is monotone. Then Theorem 3.12 follows from Theorem 3.10. □

Remark 3.6 Theorem 3.12 improves Theorem 3.1 of Cheng et al. in [13], Theorem 3.1 of Deng [14], Theorem 3.1 of Zegeye and Shahzad in [16] in the sense that our convergence is for the split feasibility problem and for the common fixed points of a countable family of quasi-nonexpansive mappings and a countable family hemicontinuous pseudo-contractive mappings without any closedness or Lipschitz continuity assumption on these pseudo-contractive mappings.
  1. (IX)
    For each i N , let Ψ i : C C be a hemicontinuous pseudo-contractive mapping. We study split common fixed points for a countable family of hemicontinuous pseudo-contractive mappings, a countable family of δ i -strictly pseudo-nonspreading mappings and a finite family of ρ i -strictly pseudo-nonspreading mappings:
    { Find  x ¯ C  such that x ¯ i = 1 Fix ( Ψ i ) i = 1 Fix ( S i )
     
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .

For each i N , let W i = S i in Theorem 3.12, we have the following theorem.

Theorem 3.13 Suppose that for each i N , M i is bounded on any line segment of C and Π 13 : = { x C : x i = 1 Fix ( Ψ i ) i = 1 Fix ( S i )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.13 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i S i , γ y n + i = 1 a n , i J r i A f i , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where S i , γ = γ I + ( 1 γ ) S i , γ [ δ , 1 ) , f i ( x , y ) = y x , x Ψ i x for all x , y C , for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;

     
  4. (iv)

    lim n θ n = θ for some θ H .

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

    For each i N , let Ψ i : C C be a hemicontinuous pseudo-contractive mapping. We study a split feasibility problem for common fixed points of a countable family of hemicontinuous pseudo-contractive mappings, zeros for a countable family of mappings which are the sum of two monotone mappings and common fixed points of a finite family of ρ i -strictly pseudo-nonspreading mappings.

     
That is,
{ Find  x ¯ C  such that x ¯ i = 1 ( G i + B i ) 1 0 i = 1 Fix ( Ψ i )
and
{ u ¯ = A x ¯ H 2  such that u ¯ i = 1 N Fix ( T i ) .

For each i N , let W i = J r i G i ( I r i B i ) in Theorem 3.12, we have the following theorem.

Theorem 3.14 Suppose that for each i N , Ψ i is bounded on any line segment of C and Π 14 : = { x C : x i = 1 Fix ( Ψ i ) i = 1 Fix ( J r i G i ( I r i B i ) )  and  A x i = 1 N Fix ( T i ) } . Take μ R as follows:
0 < μ < 2 γ ¯ L 2 .
Let { x n } H be defined by
( 3.14 ) { x 1 C chosen arbitrarily , y n = [ I b A ( I T n ( mod N ) ) A ] x n , s n = a n , 0 y n + i = 1 b n , i J λ i A f i y n + i = 1 a n , i J r i G i ( I r i B i ) y n , x n + 1 = α n x n + ( 1 α n ) ( β n θ n + ( 1 β n V ) s n ) ,
where f i ( x , y ) = y x , ( I Ψ i ) x for all x , y C , for each n N , { α n , β n } ( 0 , 1 ) , { a n , i : n , i N } [ 0 , 1 ] , { b n , i : n , i N } [ 0 , 1 ] and { λ i , r i } ( 0 , ) . Assume the following:
  1. (i)

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

     
  2. (ii)

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

     
  3. (iii)

    a n , 0 + i = 1 b n , i + i = 1 a n , i = 1 , lim inf n a n , 0 a n , i > 0 , lim inf n a n , 0 b n , i > 0 , i N and 0 < b < 1 ρ A 2 ;