Open Access

Strong convergence theorems for the split equality variational inclusion problem and fixed point problem in Hilbert spaces

Fixed Point Theory and Applications20152015:223

https://doi.org/10.1186/s13663-015-0470-7

Received: 8 August 2015

Accepted: 16 November 2015

Published: 1 December 2015

Abstract

In this paper, we propose and investigate two new iterative algorithms for solving the split equality variational inclusion problem in Hilbert spaces. We also prove that the sequences generated by the proposed algorithms converge strongly to a common solution of the split equality variational inclusion problem and fixed points of a family of nonexpansive mappings, which is also an unique solution of a variational inequality as an optimality condition for a minimization problem. The results presented in this paper extend and generalize a variety of existing results in this area.

Keywords

split equality problemsplit equality variational inclusion problemfixed pointvariational inequality

1 Introduction

In this paper, we consider the split equality problem (SEP) proposed by Moudafi [1]. Let \(H_{1}\), \(H_{2}\), \(H_{3}\) be real Hilbert spaces, \(S_{n}:H_{1}\rightarrow H_{1}\) be a family of nonexpansive mappings, \(\operatorname{Fix}(S_{n})\) denote the fixed points set of \(S_{n}\), \(n =1, 2, \ldots \) , \(C=\bigcap^{\infty} _{n=1}\operatorname{Fix}(S_{n})\in H_{1}\), Q be the nonempty closed convex set of \(H_{2}\). Let \(A:H_{1}\rightarrow H_{3}\), \(B:H_{2}\rightarrow H_{3}\) be two bounded linear operators. The so-called SEP can mathematically be formulated as finding \(x\in C\), \(y\in Q\) satisfying the property:
$$ x\in C, y\in Q,\quad Ax=By. $$
(1)
Throughout this paper, we use Γ to denote the solution set of SEP, that is,
$$\Gamma=\bigl\{ (x, y)\in H_{1}\times H_{2}, Ax=By, x\in C, y\in Q\bigr\} . $$

If \(B=I\) (the identity mapping on Hilbert space H), the problem (1) is equivalent to the well-known split feasibility problem (SFP). It is easy to see that the SEP (1) includes the SFP as a special case. The split equality problems allow asymmetric and partial relations between the variables x and y. As is well known, the SEP has received much attention due to its application in various disciplines such as medical image reconstruction, game theory, decomposition methods for PDEs, and radiation therapy treatment planning [24].

In 2011, Moudafi [5] introduced and studied the following split variational inclusion problem (SVIP). Let \(H_{1}\), \(H_{2}\) be Hilbert spaces, \(A: H_{1}\rightarrow H_{2}\) be a bounded linear operator, \(A^{*}\) be the adjoint of A, and \(B_{1}:H_{1}\rightarrow H_{1} \), \(B_{2}: H_{2}\rightarrow H_{2}\) be two set-valued maximal monotone mappings. SVIP is formulated as the following problem:
$$ \mbox{find }x^{*}\in H_{1}\mbox{ such that }0\in B_{1} \bigl(x^{*} \bigr), 0\in B_{2} \bigl(Ax^{*} \bigr). $$
(2)
Recently, Byrne et al. [6] proposed the following iterative method to solve the problem (2): For given \(x_{0}\in H_{1}\) and \(\lambda>0\), the iterative sequence \(\{x_{n}\}\) is generated as follows:
$$ x_{n+1}=J_{\lambda}^{B_{1}} \bigl[x_{n}+\gamma A^{*} \bigl(J_{\lambda }^{B_{2}}-I \bigr)Ax_{n} \bigr]. $$
(3)
Moreover, iterative methods for nonexpansive mappings have been applied to solve minimization problem. Moudafi [7] proposed the viscosity approximation method: For every initial \(x_{0}\in H\), the sequence \(\{x_{n}\}\) is generated by
$$ x_{n+1}=\alpha_{n}f(x_{n})+(1- \alpha_{n})Tx_{n} $$
(4)
under some certain appropriate conditions imposed on \(\{\alpha_{n}\}\), and it is proved that the sequence generated by (4) converges strongly to the unique solution \(x^{*}\) of the variational inequality
$$\bigl\langle (I-f)x^{*}, x-x^{*} \bigr\rangle \geq0, \quad x\in C. $$
For the iterative method (4), Marino and Xu [8] introduced a new viscosity approximation method and considered the following iterative sequence \(\{x_{n}\}\):
$$ x_{n+1}=\alpha_{n}\gamma f(x_{n})+(I- \alpha_{n}A)Tx_{n}, $$
(5)
and they proved that the sequence generated by (5) converges strongly to the unique solution \(x^{*}\) of the variational inequality
$$\bigl\langle (A-\gamma f)x^{*}, x-x^{*} \bigr\rangle \geq0,\quad x \in C $$
which is the optimality condition for the following minimization problem:
$$\min\frac{1}{2}\langle Ax, x\rangle-h(x), $$
where h is a potential function for γf.
In 2013, Kazmi and Rizvi [9] combined the iterative method (3) and the viscosity approximation method (4) for solving a split variational inclusion and the fixed point problem of a nonexpansive mapping. Kazmi and Rizvi presented the following iteration scheme:
$$ \left \{ \textstyle\begin{array}{@{}l} u_{n}=J_{\lambda}^{B_{1}}[x_{n}+\gamma A^{*}(J_{\lambda }^{B_{2}}-I)Ax_{n}]; \\ x_{n+1}=\alpha_{n}f(x_{n})+(1-\alpha_{n})Tu_{n}, \end{array}\displaystyle \right . $$
(6)
and they proved that the sequences \(\{u_{n}\}\), \(\{x_{n}\}\) converge strongly to \(z\in \operatorname{Fix}(T)\cap\Gamma\), where \(z=P_{\operatorname{Fix}(T)\cap\Gamma }f(z)\), Γ is the solution set of SVIP.
In 2015, Sitthithakerngkiet et al. [10] combined the iterative method (3) and the viscosity approximation method (5) for solving a split variational inclusion and the fixed point problem of a family of nonexpansive mappings. They proposed the following iteration algorithm:
$$ \left \{ \textstyle\begin{array}{@{}l} y_{n}=J_{\lambda}^{B_{1}}[x_{n}+\gamma A^{*}(J_{\lambda }^{B_{2}}-I)Ax_{n}]; \\ x_{n+1}=\alpha_{n}\xi f(x_{n})+(I-\alpha_{n}D)S_{n}y_{n}, \end{array}\displaystyle \right . $$
(7)
and they proved that the sequence converges strongly to a common solution of SVIP and the fixed point of a family of nonexpansive mappings.
Inspired and motivated by the corresponding convergence results of (1), (2), and (7), we consider the split equality variational inclusion problem (SEVIP):
$$ \mbox{find }x\in U^{-1}(0)=\operatorname{Fix} \bigl(J_{u_{n}}^{U} \bigr), y\in K^{-1}(0)=\operatorname{Fix} \bigl(J_{u_{n}}^{K} \bigr)\mbox{ such that }Ax=By, $$
(8)
where \(H_{1}\), \(H_{2}\), \(H_{3}\) are real Hilbert spaces, \(U: H_{1}\rightarrow2^{H_{1}}\) and \(K: H_{2}\rightarrow2^{H_{2}}\) are set-valued maximal monotone mappings, \(A:H_{1}\rightarrow H_{3}\), \(B:H_{2}\rightarrow H_{3}\) are two bounded linear operators.
In this paper, we will introduce a more general iterative method for SEVIP (8) and a fixed point problem, which is defined in the following way:
$$ \left \{ \textstyle\begin{array}{@{}l} v_{n}= J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)w_{n}, \\ w_{n}=\alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}, \end{array}\displaystyle \right . $$
(9)
where \(\sigma\in[0, 1]\), \(\alpha_{n}\in(0, 1)\), and D is a strongly positive bounded linear operator. Note that, if \(\sigma=1\), \(u_{n}=\lambda\), \(D=I\), \(B=I\), \(S_{n}=T\), scheme (9) can be reduced to (7), that is, the iterative method (9) for solving the split equality variational inclusion problem can be reduced to the iterative method (7) for solving SVIP and SFP.

Meanwhile, we will prove that the sequences generated by (9) converge strongly to a common element of the solution set of a split equality variational inclusion problem and the common fixed point set of a family of nonexpansive mappings, which is also an unique solution of a variational inequality as an optimality condition for a minimization problem.

2 Preliminaries

We first recall that some definitions, notations, and conclusions which will be used in the proofs of our main results. Let H be a real Hilbert space with inner product \(\langle\cdot, \cdot\rangle\) and the norm \(\|\cdot\|\). We denote by ‘→’ strong convergence, by ‘’ weak convergence. In order to establish our convergence theorems, we need the following concepts.

Definition 2.1

  1. (1)
    A mapping \(f: H\rightarrow H\) is k-contractive if there exists a constant \(k\in(0, 1)\) such that
    $$\|fx-fy\|\leq k\|x-y\|,\quad \forall x, y\in H. $$
     
  2. (2)
    A mapping T is nonexpansive if
    $$\|Tx-Ty\|\leq\|x-y\|, \quad\forall x,y\in H. $$
     
  3. (3)
    A mapping T is monotone if
    $$\langle Tx-Ty, x-y\rangle\geq0,\quad \forall x,y\in H. $$
     
  4. (4)
    A mapping T is firmly nonexpansive if
    $$\|Tx-Ty\|^{2}\leq\langle x-y, Tx-Ty\rangle,\quad \forall x, y \in H. $$
     
  5. (5)
    A bounded linear operator D is said to be strongly positive if there exists a constant \(\alpha>0\) such that
    $$\langle Dx, x\rangle\geq\alpha\|x\|^{2},\quad \forall x\in H. $$
     
  6. (6)
    A mapping \(P_{C}\) is called the metric projection of H onto C, if \(P_{C}x\) is the unique point in C with the property
    $$\|x-P_{C}x\|=\min\bigl\{ \|x-y\|: y\in C\bigr\} ,\quad \forall x\in H. $$
     
Moreover, \(P_{C}\) is characterized by the following properties:
$$\langle x-P_{C}x, y-P_{C}x\rangle\leq0, \quad\forall y\in C. $$

Proposition 2.1

A Banach space E is said to have the Opial property, if for any sequence \(\{x_{n}\}\) with \(x_{n}\rightharpoonup x^{*}\), we have
$$\liminf_{n\rightarrow\infty } \bigl\| x_{n}-x^{*}\bigr\| < \liminf _{n\rightarrow \infty }\|x_{n}-y\| $$
\(\forall y\in E \) with \(y\neq x^{*}\).

Proposition 2.2

In Hilbert spaces, the following inequalities hold:
$$\begin{aligned}& \|x+y\|^{2}\leq\|x\|^{2}+2\langle y, x+y\rangle, \quad\forall x, y\in H, \end{aligned}$$
(10)
$$\begin{aligned}& \langle x, y\rangle=\frac{1}{2} \bigl(\|x\|^{2}+\|y \|^{2}-\|x-y\|^{2} \bigr),\quad \forall x, y\in H. \end{aligned}$$
(11)

Lemma 2.1

([11])

Assume D is a strongly positive linear bounded operator on a Hilbert H with coefficient \(\overline{\gamma}>0\) and \(0<\alpha\leq\|D\| ^{-1}\), then \(\|I-\alpha D\|\leq1-\alpha\overline{\gamma}\).

Lemma 2.2

([11])

Let C be a nonempty, closed, and convex subset of a Hilbert space H. Assume that \(f: C\rightarrow C\) is a contraction with a coefficient \(k\in(0, 1)\) and D is a strongly positive linear bounded operator with a coefficient \(\overline{\gamma}>0\). Then, for \(0<\gamma <\frac{\overline{\gamma}}{k}\),
$$\bigl\langle x-y, (D-\gamma f)x-(D-\gamma f)y \bigr\rangle \geq(\overline{\gamma }-\gamma k)\|x-y\|^{2},\quad \forall x, y\in H. $$
That is, \(D-\gamma f\) is strongly monotone with coefficient \(\overline {\gamma}-\gamma k\).

Lemma 2.3

([12])

Let C be a nonempty closed subset of a real Hilbert space H, and let \(\{S_{n}\}\) be a sequence of mappings from C into itself. Suppose that \(\{S_{n}\}\) satisfies the AKTT condition: \(\sum_{n=1}^{n=\infty}\sup\{\| S_{n+1}v-S_{n}v\|:v\in C\}<\infty\). Then for each \(x\in C\), \(\{S_{n}x\} \) converges strongly to a point in C. Furthermore, let \(S: C\rightarrow C\) be defined by
$$Sx=S_{n}x, \quad\forall x\in C. $$
Then \(\lim_{n\rightarrow\infty}\sup\{\|Sv-S_{n}v\|: v\in C\}=0\).

Lemma 2.4

([13])

Assume \(a_{n}\) is a sequence of nonnegative numbers such that \(a_{n+1}\leq(1-\gamma_{n})a_{n}+\delta_{n}\) where \(\{\gamma_{n}\}\) is a sequence in \((0, 1)\) and \(\{\delta_{n}\}\) is a sequence such that:
  1. (i)

    \(\sum_{n=1}^{\infty}\gamma_{n}=\infty\);

     
  2. (ii)

    \(\limsup_{n\rightarrow\infty}\frac{\delta_{n}}{\gamma_{n}}\leq0\) or \(\sum_{n=1}^{\infty}|\delta_{n}|<\infty\).

     
Then \(\lim_{n\rightarrow\infty}a_{n}=0\).

Lemma 2.5

([14])

Let U be a set-valued maximal monotone operator on H. For \(u>0\), we define the resolvent \(J_{u}^{U}=(I+u U)^{-1}\), then the following holds:
  1. (i)

    For each \(u>0\), \(J_{u}^{U}\) is a single-valued and firmly nonexpansive mapping.

     
  2. (ii)

    \(D(J_{u}^{U})=H\) and \(\operatorname{Fix}(J_{u}^{U})=U^{-1}(0)=\{x\in D(G): 0\in Ux\}\).

     
  3. (iii)

    \(\|J_{\alpha}^{U}x-J_{\beta}^{U}x\|^{2}\leq\frac{\alpha-\beta }{\alpha}\langle J_{\alpha}^{U}x-J_{\beta}^{U}x,J_{\alpha}^{U}x-x \rangle\), for all \(\alpha, \beta>0\) and \(x\in H\).

     
In fact \(\|J_{\alpha}^{U}x-J_{\beta}^{U}x\|\leq\frac{|\alpha-\beta |}{\alpha}\|J_{\alpha}^{U}x-x\|\).
  1. (iv)

    Suppose that \(U^{-1}(0)\neq\emptyset\), then \(\langle x-J_{\alpha }^{U}x, J_{\alpha}^{U}x-w\rangle\geq0\) for each \(x\in H\) and each \(w\in U^{-1}(0)\), and each \(\beta>0\).

     

Lemma 2.6

([15])

Let \(\{S_{n}\}\) be a sequence of real numbers that does not decrease at infinity, in the sense that there exists a subsequence \(\{S_{n_{j}}\} _{j\geq0}\) of \(\{S_{n}\}\) such that
$$\{S_{n_{j}}\}< \{S_{n_{j}+1}\}\quad \textit{for all }j\geq0. $$
Also consider the sequence of the integers \(\{\tau(n)\}_{n\geq n_{0}}\) defined by
$$\tau(n)=\max\{k\leq n | S_{k}< S_{k+1}\}. $$
Then \(\{\tau(n)\}_{n\geq n_{0}}\) is a nondecreasing sequence verifying \(\lim_{n\rightarrow\infty}\tau(n)=\infty\), and for all \(n\geq n_{0}\), the following two estimates hold:
$$S_{\tau(n)}\leq S_{\tau(n)+1},\qquad S_{n}\leq S_{\tau(n)+1}. $$

3 Main result

In this section, the following supposed conditions always hold:
  1. (1)

    Let \(H_{1}\), \(H_{2}\), \(H_{3}\) be Hilbert spaces.

     
  2. (2)

    Let U and K be two set-valued maximal monotone mappings.

     
  3. (3)

    Let \(A: H_{1}\rightarrow H_{3} \), \(B: H_{2}\rightarrow H_{3} \) be two bounded linear operators and \(A^{*}\), \(B^{*}\) be the adjoint of A and B.

     
  4. (4)

    \(f= \bigl[ {\scriptsize\begin{matrix}{} f_{1}\cr f_{2} \end{matrix}} \bigr]\), where \(f_{i}\), \(i=1, 2\) is a contraction mapping on \(H_{i}\) with constant \(k\in(0, 1)\).

     
  5. (5)

    Let \(S_{n}\) be a sequence of nonexpansive mappings on \(H_{1}\), D be a strongly positive bounded linear operator with coefficient \(\overline{\gamma}>0\).

     
  6. (6)
    Assume the solution set of SEVIP (3) \(\Gamma\neq\emptyset\),
    $$J_{u_{n}}^{(U,K)}= \begin{bmatrix} J_{u_{n}}^{U}\\ J_{u_{n}}^{K} \end{bmatrix}, \qquad G=[A \quad {-}B], \qquad G^{*}G= \begin{bmatrix} A^{*}A&-A^{*}B\\ -B^{*}A&B^{*}B \end{bmatrix}. $$
     

Proposition 3.1

Let \(T=I-\gamma G^{*}G : H_{1}\times H_{2}\longrightarrow H_{1}\times H_{2}\), where \(\gamma\in(0, \frac{2}{L})\), with \(L=\rho(G^{*}G)\) being the spectral radius of the self adjoint operator \(G^{*}G\) on \(H_{1}\times H_{2}\), then T is a nonexpansive mapping.

Proof

In fact, for any \(x, y\in H_{1}\times H_{2}\),
$$\begin{aligned} \|Tx-Ty\|^{2} =& \bigl\| \bigl(I-\gamma G^{*}G \bigr)x- \bigl(I- \gamma G^{*}G \bigr)y\bigr\| ^{2} \\ =&\bigl\| x-y-\gamma G^{*}G(x-y)\bigr\| ^{2} \\ =&\|x-y\|^{2}+\gamma^{2}\bigl\| G^{*}G(x-y) \bigr\| ^{2}-2\gamma \bigl\langle x-y, G^{*}G(x-y) \bigr\rangle \\ \leq&\|x-y\|^{2}+\gamma^{2}L\bigl\| G(x-y)\bigr\| ^{2}-2 \gamma \bigl\langle G(x-y), G(x-y) \bigr\rangle \\ =&\|x-y\|^{2}+\gamma^{2}L\bigl\| G(x-y)\bigr\| ^{2}-2 \gamma\bigl\| G(x-y)\bigr\| ^{2} \\ =&\|x-y\|^{2}-\gamma(2-\gamma L)\bigl\| G(x-y)\bigr\| ^{2} \\ \leq&\|x-y\|^{2}. \end{aligned}$$

This completes the proof of Proposition 3.1. □

Lemma 3.1

([13])

Let \(H_{1}\), \(H_{2}\), \(H_{3}\), A, B, \(A^{*}\), \(B^{*}\), U, K, \(J_{u_{n}}^{(U,K)}\), G, \(G^{*}\), f, \(S_{n}\), D, S be the same as above. If \(\Gamma\neq\emptyset\) (the solution set of SEVIP (8)), then \(w^{*}=(x^{*}, y^{*})\in H_{1}\times H_{2}\) is a solution of SEVIP (8) if and only if for any given \(\gamma>0\) and \(u>0\)
$$w^{*}=J_{u}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w^{*}. $$

Theorem 3.1

Let \(H_{1}\), \(H_{2}\), \(H_{3}\), A, B, \(A^{*}\), \(B^{*}\), U, K, \(J_{u_{n}}^{(U,K)}\), G, \(G^{*}\), f, \(S_{n}\), D, S be the same as above. Let \(w_{n}\) be generated by
$$ \left \{ \textstyle\begin{array}{@{}l} v_{n}= J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)w_{n}; \\ w_{n}=\alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}. \end{array}\displaystyle \right . $$
(12)
Suppose \(S_{n}\) satisfies the AKTT condition, \(\operatorname{Fix}(S)=\bigcap^{\infty }_{i=1}\operatorname{Fix}(S_{n})\).
If the solution set \(\Omega=\operatorname{Fix}(S)\cap\Gamma\) is nonempty and the following conditions are satisfied:
  1. (i)

    \(\alpha_{n}\in(0, 1)\), \(\lim_{n\rightarrow\infty}\alpha_{n}=0\);

     
  2. (ii)

    \(0<\overline{\gamma}<\frac{1}{\alpha_{n}}\), \(0<\sigma<\frac {\overline{\gamma}}{k}\).

     
Then the sequence \(w_{n}\) converges strongly to a point \(w^{*}\), where \(w^{*}=P_{\Omega}(I-D-\sigma f)(w^{*})\) is a unique solution of the variational inequalities
$$ \bigl\langle (D-\sigma f)w^{*}, w^{*}-z \bigr\rangle \leq0, \quad z \in\Omega. $$
(13)

Proof

First, we show that \(w_{n}\) defined by (12) is well defined.

We define a mapping
$$ W_{n}=\alpha_{n}\sigma f(w_{n})+(I-\alpha _{n}D)S_{n}J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n},\quad n\geq0. $$
(14)
By Lemma 2.1, Proposition 3.1, and (14), for any \(x, y\subseteq H_{1}\), we have
$$\begin{aligned} &\bigl\| W_{n}(x)-W_{n}(y)\bigr\| \\ &\quad= \bigl\| \alpha_{n}\sigma f(x)-\alpha_{n}\sigma f(y)+(I- \alpha_{n}D) \bigl(S_{n}J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)x-S_{n}J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)y \bigr)\bigr\| \\ &\quad\leq\alpha_{n}\sigma\bigl\| f(x)-f(y)\bigr\| +\|I-\alpha_{n}D\|\bigl\| S_{n}J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)x-S_{n}J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)y\bigr\| \\ &\quad\leq\alpha_{n}\sigma k\|x-y\|+(1-\alpha_{n}\overline{ \gamma})\|x-y\|\\ &\quad= \bigl(1-\alpha_{n}(\overline{\gamma}-\sigma k) \bigr)\|x-y\|. \end{aligned}$$
Since \(0<1-\alpha_{n}(\overline{\gamma}-\sigma k)<1\), it follows that \(W_{n}\) is a contraction. Therefore, by the Banach contraction principle, \(W_{n}\) has a unique fixed point in \(H_{1}\), denoted by \(w_{n}\), that is,
$$ w_{n}=\alpha_{n}\sigma f(w_{n})+(I-\alpha _{n}D)S_{n}J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}, $$
(15)
which is exactly (12).

Second, we claim that \(w_{n}\) is bounded.

Indeed, take any \(z\in\Omega\), we have \(z=J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)z\) and \(z\in \operatorname{Fix}(S)=\bigcap_{n=1}^{\infty} \operatorname{Fix}(S_{n})\),
$$\begin{aligned} \|v_{n}-z\| =& \bigl\| J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}-z\bigr\| \\ =& \bigl\| J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}-J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)z\bigr\| \\ \leq&\|w_{n}-z\|. \end{aligned}$$
Thus, we derive that
$$\begin{aligned} \|w_{n}-z\| =& \bigl\| \alpha_{n}\sigma f(w_{n})+(I- \alpha _{n}D)S_{n}v_{n}-z\bigr\| \\ =&\bigl\| \alpha_{n}\sigma f(w_{n})-\alpha_{n}Dz+(I- \alpha _{n}D)S_{n}v_{n}-(I-\alpha_{n}D)S_{n}z \bigr\| \\ \leq&\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| +\|I- \alpha_{n}D\|\|v_{n}-z\| \\ \leq&\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| +(1- \alpha_{n}\overline{\gamma })\|w_{n}-z\| \\ \leq&\alpha_{n}\bigl\| \sigma \bigl(f(w_{n})-f(z) \bigr)+ \bigl( \sigma f(z)-Dz \bigr)\bigr\| +(1-\alpha _{n}\overline{\gamma}) \|w_{n}-z\| \\ \leq&\alpha_{n}\sigma k\|w_{n}-z\|+\alpha_{n} \bigl\| \sigma f(z)-Dz\bigr\| +(1-\alpha_{n}\overline{\gamma})\|w_{n}-z \| \\ =& \bigl(1-\alpha_{n}(\overline{\gamma}-\sigma k) \bigr) \|w_{n}-z\|+\alpha _{n}(\overline{\gamma}-\sigma k) \frac{\|\sigma f(z)-Dz\|}{\overline {\gamma}-\sigma k}. \end{aligned}$$
It follows that
$$\begin{aligned} &\alpha_{n}(\overline{\gamma}-\sigma k)\|w_{n}-z\|\leq \alpha _{n}(\overline{\gamma}-\sigma k)\frac{\|\sigma f(z)-Dz\|}{\overline {\gamma}-\sigma k}, \\ &\|w_{n}-z\|\leq\frac{\|\sigma f(z)-Dz\|}{\overline{\gamma}-\sigma k}. \end{aligned}$$
(16)

Hence the sequence \(\{w_{n}\}\) of (15) is bounded, so are \(\{v_{n}\}\), \(\{f(w_{n})\}\), and \(\{S_{n}v_{n}\}\).

Third, we show that \(\|w_{n}-v_{n}\|\rightarrow0\).

Indeed, for any \(z\in\Omega\), we have
$$\begin{aligned} \|v_{n}-z\|^{2} =& \bigl\| J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}-z\bigr\| ^{2} \\ \leq&\bigl\| w_{n}-z-\gamma G^{*}G w_{n} \bigr\| ^{2} \\ =&\|w_{n}-z\|^{2}+\gamma^{2}\bigl\| G^{*}G w_{n}\bigr\| ^{2}-2\gamma \bigl\langle w_{n}-z, G^{*}G w_{n} \bigr\rangle \\ \leq&\|w_{n}-z\|^{2}+\gamma^{2}L\|G w_{n}\|^{2}-2\gamma\|G w_{n}\| ^{2} \\ =&\|w_{n}-z\|^{2}-\gamma(2-\gamma L)\|G w_{n} \| ^{2}. \end{aligned}$$
(17)
It follows from (10) and (17) that
$$\begin{aligned} \|w_{n}-z\|^{2} =& \bigl\| \alpha_{n} \sigma f(w_{n})+(I-\alpha _{n}D)S_{n}v_{n}-z \bigr\| ^{2} \\ =& \bigl\| (I-\alpha_{n}D) (S_{n}v_{n}-z)+ \alpha_{n} \bigl(\sigma f(w_{n})-Dz \bigr)\bigr\| ^{2} \\ \leq&\bigl\| (I-\alpha_{n}D) (S_{n}v_{n}-z) \bigr\| ^{2}+2\alpha_{n} \bigl\langle \sigma f(w_{n})-Dz, w_{n}-z \bigr\rangle \\ \leq&(1-\alpha_{n}\overline{\gamma})^{2} \|v_{n}-z\|^{2}+2\alpha _{n} \bigl\langle \sigma f(w_{n})-Dz, w_{n}-z \bigr\rangle \\ \leq&(1-\alpha_{n}\overline{\gamma}) \|w_{n}-z \|^{2}-(1-\alpha _{n}\overline{\gamma})\gamma(2-\gamma L)\|G w_{n}\|^{2} \\ &{}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z \|. \end{aligned}$$
(18)
This implies that
$$\begin{aligned} (1-\alpha_{n}\overline{\gamma})\gamma(2-\gamma L)\|G w_{n} \|^{2} \leq &-\alpha_{n}\overline{\gamma} \|w_{n}-z\|^{2}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\|\\ \leq&2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\|. \end{aligned}$$

Since both \(w_{n}\) and \(f(w_{n})\) are bounded and \(\alpha_{n}\rightarrow 0\), we have \(\|G w_{n}\|\rightarrow0 \).

Then from (11) and Lemma 2.5, we derive that
$$\begin{aligned} \|v_{n}-z\|^{2} =& \bigl\| J_{u_{i}}^{(U_{i},K_{i})} \bigl(I-\gamma G^{*}G \bigr)w_{n}-z\bigr\| ^{2} \\ \leq& \bigl\langle v_{n}-z, w_{n}-\gamma G^{*}G w_{n}-z \bigr\rangle \\ =&\frac{1}{2} \bigl\{ \|v_{n}-z\|^{2}+ \|w_{n}-z\|^{2}-\gamma(2-\gamma L)\|G w_{n} \|^{2}-\|w_{n}-v_{n}\|^{2} \\ &{}-\bigl\| \gamma G^{*}G w_{n}\bigr\| ^{2}+2 \bigl\langle w_{n}-v_{n}, \gamma G^{*}G w_{n} \bigr\rangle \bigr\} . \end{aligned}$$
This implies that
$$ \|v_{n}-z\|^{2}\leq\|w_{n}-z\|^{2}- \|w_{n}-v_{n}\|^{2}+2\gamma\sqrt {L} \|w_{n}-v_{n}\|\|G w_{n}\|. $$
(19)
By (18) and (19), we have
$$\begin{aligned} \|w_{n}-z\|^{2} \leq&(1-\alpha_{n}\overline{ \gamma})^{2} \|v_{n}-z\| ^{2}+2 \alpha_{n} \bigl\langle \sigma f(w_{n})-Dz, w_{n}-z \bigr\rangle \\ \leq&(1-\alpha_{n}\overline{\gamma}) \|v_{n}-z \|^{2}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\| \\ \leq&(1-\alpha_{n}\overline{\gamma})\|w_{n}-z \|^{2}-(1-\alpha _{n}\overline{\gamma})\|w_{n}-v_{n} \|^{2} \\ &{}+2(1-\alpha_{n}\overline{\gamma})\gamma\sqrt{L} \|w_{n}-v_{n}\|\| G w_{n}\|+2 \alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\|. \end{aligned}$$
Hence, we obtain
$$\begin{aligned} (1-\alpha_{n}\overline{\gamma})\|w_{n}-v_{n} \|^{2}\leq{}&2(1-\alpha _{n}\overline{\gamma})\gamma\sqrt{L} \|w_{n}-v_{n}\|\| G w_{n}\|\\ &{}+2\alpha _{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\|. \end{aligned}$$
Since \(\alpha_{n}\rightarrow0\), \(\|G w_{n}\|\rightarrow0\), it follows that \(\|w_{n}-v_{n}\|\rightarrow0 \).
Nextly, we show \(\|S v_{n}-v_{n}\|\rightarrow0\).
$$\begin{aligned} \|w_{n}-S_{n}w_{n}\| =&\|w_{n}-S_{n}v_{n}+S_{n}v_{n}-S_{n}w_{n} \| \\ \leq&\|w_{n}-S_{n}v_{n}\|+ \|v_{n}-w_{n}\| \\ =&\bigl\| \alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}-S_{n}v_{n} \bigr\| +\|v_{n}-w_{n}\| \\ =&\alpha_{n}\bigl\| f(w_{n})-D S_{n}v_{n} \bigr\| +\|v_{n}-w_{n}\|. \end{aligned}$$

Since \(\{f(w_{n})\}\) and \(\{S_{n}v_{n}\}\) are bounded, \(\alpha _{n}\rightarrow0\), \(\|w_{n}-v_{n}\|\rightarrow0 \), then \(\| w_{n}-S_{n}w_{n}\|\rightarrow0 \).

Thus,
$$\begin{aligned} \|v_{n}-S_{n}v_{n}\| =&\| v_{n}-w_{n}+w_{n}-S_{n}w_{n}+S_{n}w_{n}-S_{n}v_{n}\|\\ \leq& \|v_{n}-w_{n}\|+\|w_{n}-S_{n}w_{n} \|+\|w_{n}-v_{n}\|. \end{aligned}$$

Since \(\|w_{n}-v_{n}\|\rightarrow0 \), \(\|w_{n}-S_{n}w_{n}\|\rightarrow0 \), we get \(\|v_{n}-S_{n}v_{n}\|\rightarrow0\).

Moreover, we note that
$$\begin{aligned} \|S v_{n}-v_{n}\| \leq&\|S v_{n}-S_{n}v_{n} \|+\|S_{n}v_{n}-v_{n}\|\\ \leq& \sup \bigl\{ \|S w-S_{n}w\|:w\in\{v_{n}\} \bigr\} + \|S_{n}v_{n}-v_{n}\|. \end{aligned}$$

By Lemma 2.3, we have \(\|S v_{n}-v_{n}\|\rightarrow0 \).

Now, we prove that \(\widetilde{w}\in\Omega\).

Since \(\{v_{n}\}\) is bounded, we may assume that there exists a subsequence \(\{v_{n_{i}}\}\) of \(\{v_{n}\}\) which converges weakly to a point , i.e. \(v_{n_{i}}\rightharpoonup\widetilde{w}\) as \(i\rightarrow\infty\). Suppose that \(\widetilde{w} \notin \operatorname{Fix}(S)\), since \(v_{n_{i}}\rightharpoonup\widetilde{w}\) and \(S\widetilde{w}\neq \widetilde{w}\). Applying Opial’s property, we obtain
$$\begin{aligned} \liminf_{i\rightarrow\infty} \|v_{n_{i}}-\widetilde{w}\| < &\liminf _{i\rightarrow\infty }\|v_{n_{i}}-S\widetilde{w}\| \\ \leq&\liminf_{i\rightarrow\infty }\bigl\{ \|v_{n_{i}}-S v_{n_{i}}\|+ \|S v_{n_{i}}-S\widetilde{w}\|\bigr\} \\ \leq&\liminf_{i\rightarrow\infty }\|v_{n_{i}}-\widetilde{w}\|. \end{aligned}$$

This is a contraction, then \(\widetilde{w} \in \operatorname{Fix}(S)=\bigcap^{\infty }_{i=1}\operatorname{Fix}(S_{n})\).

Since \(\{w_{n}\}\) and \(\{v_{n}\}\) are bounded, \(\|w_{n}-v_{n}\| \rightarrow0 \), \(\{w_{n}\}\) and \(\{v_{n}\}\) have the same asymptotical behavior, we may assume that there exists a subsequence \(\{w_{n_{i}}\}\) of \(\{w_{n}\}\) which also converges weakly to the point , i.e. \(w_{n_{i}}\rightharpoonup\widetilde{w}\) as \(n_{i}\rightarrow\infty\). Suppose that \(\widetilde{w}\neq J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)\widetilde{w}\), Applying Opial’s property, we have
$$\begin{aligned} &\liminf_{i\rightarrow\infty} \|w_{n_{i}}-\widetilde{w}\| \\ &\quad< \liminf_{i\rightarrow\infty }\bigl\| w_{n_{i}}-J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)\widetilde{w}\bigr\| \\ &\quad\leq\liminf_{i\rightarrow\infty } \bigl\{ \bigl\| w_{n_{i}}-J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n_{i}}\bigr\| \\ &\qquad{}+\bigl\| J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n_{i}}-J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)\widetilde{w}\bigr\| \bigr\} \\ &\quad\leq\liminf_{i\rightarrow\infty }\bigl\{ \|w_{n_{i}}-v_{n_{i}}\|+\| w_{n_{i}}-\widetilde{w}\|\bigr\} \\ &\quad\leq\liminf_{i\rightarrow\infty }\|w_{n_{i}}-\widetilde{w}\|. \end{aligned}$$

This is a contraction, then \(\widetilde{w}= J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)\widetilde{w}\), by Lemma 3.1 we have \(\widetilde{w} \in\Gamma\). Thus, is a solution of SEVIP, i.e. \(\widetilde{w} \in \Omega=\operatorname{Fix}(S)\cap\Gamma\).

We now show that \(\limsup_{n\rightarrow\infty}\langle\sigma f(w^{*})-Dw^{*}, w_{n}-w^{*}\rangle\leq0\), where \(w^{*}=P_{\Omega }(I-D+\sigma f)(w^{*})\) is the unique solution of VI (13).

Indeed, we can choose a subsequence \(\{w_{n_{i}}\}\) of \(\{w_{n}\}\) such that
$$\limsup_{n\rightarrow\infty} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle =\lim _{n\rightarrow\infty} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n_{i}}-w^{*} \bigr\rangle . $$
We also assume that \(w_{n_{i}}\rightharpoonup\widetilde{w}\). Therefore
$$\begin{aligned} &\limsup_{n\rightarrow\infty} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle \\ &\quad=\lim_{n_{i}\rightarrow\infty} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n_{i}}-w^{*} \bigr\rangle \\ &\quad= \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, \widetilde{w}-w^{*} \bigr\rangle \\ &\quad= \bigl\langle (I-D+\sigma f)w^{*}-w^{*}, \widetilde{w}-w^{*} \bigr\rangle \\ &\quad= \bigl\langle (I-D+\sigma f)w^{*}-P_{\Omega}(I-D+\sigma f)w^{*}, \widetilde{w}-P_{\Omega}(I-D+\sigma f)w^{*} \bigr\rangle \\ &\quad\leq 0. \end{aligned}$$
Then
$$ \limsup_{n\rightarrow\infty} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle \leq0 . $$
(20)

On the other hand, we will prove that \(w^{*}=P_{\Omega}(I-D+\sigma f)(w^{*})\) is the unique solution of VI (13).

Suppose \(w^{*}\in\Omega\) and \(w^{**}\in\Omega\) both are solutions to VI (13), then
$$\bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w^{**}-w^{*} \bigr\rangle \leq0 $$
and
$$\bigl\langle \sigma f \bigl(w^{**} \bigr)-Dw^{**}, w^{*}-w^{**} \bigr\rangle \leq0. $$
From the above inequalities we have
$$\bigl\langle (D-\sigma f)w^{**}-(D-\sigma f)w^{*}, w^{**}-w^{*} \bigr\rangle \leq0. $$

By Lemma 2.2, we have \(D-\sigma f\) is strongly monotone, then \(w^{**}=w^{*}\), the uniqueness is proved.

Finally, we show that \(w_{n}\) converges strongly to \(w^{*}\) as \(n\rightarrow\infty\).
$$\begin{aligned} &\bigl\| w_{n}-w^{*}\bigr\| ^{2}\\ &\quad= \bigl\| \alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}-w^{*} \bigr\| ^{2}\\ &\quad= \bigl\| (I-\alpha_{n}D) \bigl(S_{n}v_{n}-w^{*} \bigr)+\alpha_{n} \bigl(\sigma f(w_{n})-Dw^{*} \bigr)\bigr\| ^{2}\\ &\quad\leq\bigl\| (I-\alpha_{n}D) \bigl(S_{n}v_{n}-w^{*} \bigr)\bigr\| ^{2}+2\alpha_{n} \bigl\langle \sigma f(w_{n})-Dw^{*}, w_{n}-w^{*} \bigr\rangle \\ &\quad\leq(1-\alpha_{n}\overline{\gamma})^{2} \bigl\| v_{n}-w^{*}\bigr\| ^{2}+2\alpha _{n}\sigma \bigl\langle f(w_{n})-f \bigl(w^{*} \bigr), w_{n}-w^{*} \bigr\rangle \\ &\qquad{}+2\alpha_{n} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle \\ &\quad\leq(1-\alpha_{n}\overline{\gamma})^{2} \bigl\| w_{n}-w^{*}\bigr\| ^{2}+2\alpha _{n}\sigma k\bigl\| w_{n}-w^{*}\bigr\| ^{2}+2\alpha_{n} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle . \end{aligned}$$
This implies that
$$2(\overline{\gamma}-\sigma k)\bigl\| w_{n}-w^{*}\bigr\| ^{2} \leq\alpha_{n}\overline {\gamma}^{2}\bigl\| w_{n}-w^{*} \bigr\| ^{2}+2 \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle . $$
From condition (i) and (20), we can obtain the desired conclusion
$$\lim_{n\rightarrow\infty}\bigl\| w_{n}-w^{*}\bigr\| =0. $$

This completes the proof. □

Theorem 3.2

Let \(H_{1}\), \(H_{2}\), \(H_{3}\), A, B, \(A^{*}\), \(B^{*}\), U, K, \(J_{u_{n}}^{(U,K)}\), G, \(G^{*}\), f, \(S_{n}\), D, S be the same as them of Theorem  3.1. Let \(w_{n}\) be generated by
$$ \left \{ \textstyle\begin{array}{@{}l} v_{n}= J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)w_{n}; \\ w_{n+1}=\alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}, \end{array}\displaystyle \right . $$
(21)
suppose \(S_{n}\) satisfies the AKTT condition, \(\operatorname{Fix}(S)=\bigcap^{\infty }_{i=1}\operatorname{Fix}(S_{n})\). If the solution set \(\Omega=\operatorname{Fix}(S) \cap\Gamma\) is nonempty and the following conditions are satisfied:
  1. (i)

    \(\alpha_{n}\in(0, 1)\), \(\lim_{n\rightarrow\infty}\alpha _{n}=0\), \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);

     
  2. (ii)

    \(\sum_{n=0}^{\infty}|\alpha_{n+1}-\alpha_{n}|<\infty\);

     
  3. (iii)

    \(\sum_{n=0}^{\infty}|u_{n+1}-u_{n}|<\infty\);

     
  4. (iv)

    \(0<\overline{\gamma}<\frac{1}{\alpha_{n}}\), \(0<\sigma<\frac {\overline{\gamma}}{k}\),

     
then the sequence \(w_{n}\) converges strongly to a point \(w^{*}\), where \(w^{*}=P_{\Omega}(I-D-\sigma f)(w^{*})\) is a unique solution of the variational inequalities
$$ \bigl\langle (D-\sigma f)w^{*}, w^{*}-z \bigr\rangle \leq0,\quad z \in\Omega. $$
(22)

Proof

We first prove the \(w_{n}\) is bounded.

For any given \(z\in\Omega\), we have \(z=J_{u_{i}}^{(U_{i},K_{i})}(I-\gamma G^{*}G)z\) and \(z\in F(S)=\bigcap_{n=1}^{\infty}F(S_{n})\). By Lemma 2.1 and Proposition 3.1, we have
$$\begin{aligned} \|w_{n+1}-z\| =& \bigl\| \alpha_{n}\sigma f(w_{n})+(I- \alpha _{n}D)S_{n}v_{n}-z\bigr\| \\ =&\bigl\| \alpha_{n}\sigma f(w_{n})-\alpha_{n}Dz+(I- \alpha _{n}D)S_{n}v_{n}-(I-\alpha_{n}D)S_{n}z \bigr\| \\ \leq&\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| +\|I- \alpha_{n}D\|\|v_{n}-z\| \\ \leq&\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| +(1- \alpha_{n}\overline{\gamma })\bigl\| J_{u_{i}}^{(U_{i},K_{i})} \bigl(I- \gamma G^{*}G \bigr)w_{n}-z\bigr\| \\ \leq&\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| +(1- \alpha_{n}\overline{\gamma })\|w_{n}-z\| \\ \leq&\alpha_{n}\bigl\| \sigma \bigl(f(w_{n})-f(z) \bigr)+ \bigl( \sigma f(z)-Dz \bigr)\bigr\| +(1-\alpha _{n}\overline{\gamma}) \|w_{n}-z\| \\ \leq&\alpha_{n}\sigma k\|w_{n}-z\|+\alpha_{n} \bigl\| \sigma f(z)-Dz\bigr\| +(1-\alpha_{n}\overline{\gamma})\|w_{n}-z \| \\ =& \bigl(I-\alpha_{n}(\overline{\gamma}-\sigma k) \bigr) \|w_{n}-z\|+\alpha _{n}(\overline{\gamma}-\sigma k) \frac{\|\sigma f(z)-Dz\|}{\overline {\gamma}-\sigma k} \\ \leq&\max \biggl\{ \|w_{n}-z\|, \frac{\|\sigma f(z)-Dz\|}{\overline{\gamma }-\sigma k} \biggr\} . \end{aligned}$$
By a simple induction, we have
$$\|w_{n}-z\|\leq\max \biggl\{ \|w_{0}-z\|, \frac{\|\sigma f(z)-Dz\|}{\overline {\gamma}-\sigma k} \biggr\} . $$

Therefore, \(\{w_{n}\}\) is bounded, and so are \(\{v_{n}\}\), \(\{ f(w_{n})\}\), \(\{S_{n}v_{n}\}\).

From (17), by a similar argument to the proof of Theorem 3.1, we derive that
$$\begin{aligned} & \|w_{n+1}-z\|^{2} \\ & = \bigl\| \alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}-z \bigr\| ^{2} \\ & = \bigl\| (I-\alpha_{n}D) (S_{n}v_{n}-z)+ \alpha_{n} \bigl(\sigma f(w_{n})-Dz \bigr)\bigr\| ^{2} \\ & \leq\bigl\| (I-\alpha_{n}D) (S_{n}v_{n}-z) \bigr\| ^{2}+2\alpha_{n} \bigl\langle \sigma f(w_{n})-Dz, w_{n+1}-z \bigr\rangle \\ & \leq(1-\alpha_{n}\overline{\gamma})^{2} \|v_{n}-z\|^{2}+2\alpha _{n} \bigl\langle \sigma f(w_{n})-Dz, w_{n+1}-z \bigr\rangle \\ & \leq(1-\alpha_{n}\overline{\gamma}) \|w_{n}-z \|^{2}-(1-\alpha _{n}\overline{\gamma})\gamma(2-\gamma L)\|G w_{n}\|^{2} \\ &\qquad{}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n+1}-z\|. \end{aligned}$$
(23)
This implies that
$$\begin{aligned} &(1-\alpha_{n}\overline{\gamma})\gamma(2-\gamma L)\|G w_{n}\|^{2} \\ & \quad\leq\|w_{n}-z\|^{2}-\|w_{n+1}-z \|^{2}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\|. \end{aligned}$$
(24)

Now, the rest of the proofs will be analyzed as two cases due to the monotone property of \(\{\|w_{n}-z\|\}\).

Case 1: \(\{\|w_{n}-z\|\}\) is a monotone sequence.

Since \(\{\|w_{n}-z\|\}\) is bounded, \(\{\|w_{n}-z\|\}\) is convergent. Take the limit on both sides for (24), in view of condition (i). We have
$$\|G w_{n}\|\rightarrow0 $$
By the same argument as in the proof of Theorem 3.1, we derive that
$$ \|v_{n}-z\|^{2}\leq\|w_{n}-z\|^{2}- \|w_{n}-v_{n}\|^{2}+2\gamma\sqrt{L}\| w_{n}-v_{n}\|\| G w_{n}\|. $$
(25)
Then, from (23), (25), and (10), we derive that
$$\begin{aligned} \|w_{n+1}-z\|^{2} \leq&(1-\alpha_{n}\overline{ \gamma})^{2} \|v_{n}-z\| ^{2}+2 \alpha_{n} \bigl\langle \sigma f(w_{n})-Dz, w_{n+1}-z \bigr\rangle \\ \leq&(1-\alpha_{n}\overline{\gamma})\|w_{n}-z \|^{2}-(1-\alpha _{n}\overline{\gamma})\|w_{n}-v_{n} \|^{2}\\ &{} +2(1-\alpha_{n}\overline{\gamma})\gamma\sqrt{L} \|w_{n}-v_{n}\|\| G w_{n}\|\\ &{}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n+1}-z\|. \end{aligned}$$
Hence, we obtain
$$\begin{aligned} (1-\alpha_{n}\overline{\gamma})\|w_{n}-v_{n} \|^{2} \leq&\|w_{n}-z\| ^{2}-\|w_{n+1}-z \|^{2}+2(1-\alpha_{n}\overline{\gamma})\gamma\sqrt{L}\| w_{n}-v_{n}\|\| G w_{n}\|\\ &{}+2\alpha_{n}\bigl\| \sigma f(w_{n})-Dz\bigr\| \|w_{n}-z\|. \end{aligned}$$

Since \(\{w_{n}\}\), \(\{v_{n}\}\), \(\{f(w_{n})\}\) are bounded, \(\lim_{n\rightarrow\infty}\{\|w_{n}-z\|\}\) exists and \(\alpha_{n}\rightarrow 0\), then \(\|w_{n}-v_{n}\|\rightarrow0 \).

Indeed, \(J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)\) is nonexpansive and by Lemma 2.5(iii) we derive that
$$\begin{aligned} \|v_{n+1}-v_{n}\| =&\bigl\| J_{u_{n+1}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n+1}-J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}\bigr\| \\ \leq&\bigl\| J_{u_{n+1}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n+1}-J_{u_{n+1}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}\bigr\| \\ &{}+\bigl\| J_{u_{n+1}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}-J_{u_{n}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}\bigr\| \\ \leq&\|w_{n+1}-w_{n}\|+\frac{|u_{n+1}-u_{n}|}{u_{n+1}}\bigl\| J_{u_{n+1}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}-w_{n}\bigr\| \end{aligned}$$
Since \(\liminf_{n\rightarrow\infty}u_{n}>0\), we may assume that there exists a real number m such that \(u_{n}\geq m>0\) for all \(n\in N\). Then we have
$$\begin{aligned} \|v_{n+1}-v_{n}\| \leq&\|w_{n+1}-w_{n} \|+\frac{|u_{n+1}-u_{n}|}{m}\bigl\| J_{u_{n+1}}^{(U,K)} \bigl(I-\gamma G^{*}G \bigr)w_{n}-w_{n}\bigr\| \\ \leq&\|w_{n+1}-w_{n}\|+M_{1}|u_{n+1}-u_{n}|, \end{aligned}$$
where \(M_{1}=\sup\{\frac{1}{m}\|J_{u_{n+1}}^{(U,K)}(I-\gamma G^{*}G)w_{n}-w_{n}\|: n\in N\}\).
Thus, we get
$$\begin{aligned} &\|w_{n+2}-w_{n+1}\|\\ &\quad=\bigl\| \alpha_{n+1}\sigma f(w_{n+1})+(I-\alpha _{n+1}D)S_{n+1}v_{n+1}-\alpha_{n}\sigma f(w_{n})-(I-\alpha _{n}D)S_{n}v_{n}\bigr\| \\ &\quad=\bigl\| \alpha_{n+1}\sigma f(w_{n+1})+(I-\alpha _{n+1}D)S_{n+1}v_{n+1}-\alpha_{n}\sigma f(w_{n})-(I-\alpha _{n}D)S_{n}v_{n} \\ &\qquad{}-(I-\alpha_{n+1}D)S_{n+1}v_{n}+(I- \alpha_{n+1}D)S_{n+1}v_{n}-(I-\alpha _{n}D)S_{n+1}v_{n} \\ &\qquad{}+(I-\alpha_{n}D)S_{n+1}v_{n}- \alpha_{n+1}\sigma f(w_{n})+\alpha_{n+1}\sigma f(w_{n})\bigr\| \\ &\quad=\bigl\| (I-\alpha_{n+1}D) (S_{n+1}v_{n+1}-S_{n+1}v_{n})+( \alpha_{n}-\alpha _{n+1})D S_{n+1}v_{n} \\ &\qquad{}+(I-\alpha_{n}D) (S_{n+1}v_{n}-S_{n}v_{n})+( \alpha_{n+1}-\alpha _{n})\sigma f(w_{n})+ \alpha_{n+1}\sigma \bigl(f(w_{n+1})-f(w_{n}) \bigr)\bigr\| \\ &\quad\leq(I-\alpha_{n+1}\overline{\gamma})\|v_{n+1}-v_{n} \|+|\alpha _{n}-\alpha_{n+1}|\|D S_{n+1}v_{n} \|+(I-\alpha_{n}\overline{\gamma})\| S_{n+1}v_{n}-S_{n}v_{n} \|\\ &\qquad{}+|\alpha_{n}-\alpha_{n+1}|\bigl\| \sigma f(w_{n})\bigr\| + \alpha_{n+1}\sigma k\| w_{n+1}-w_{n}\| \\ &\quad=(I-\alpha_{n+1}\overline{\gamma})\|v_{n+1}-v_{n} \|+\alpha _{n+1}\sigma k\|w_{n+1}-w_{n}\|\\ &\qquad{}+|\alpha_{n}-\alpha_{n+1}| \bigl(\|D S_{n+1}v_{n} \|+\bigl\| \sigma f(w_{n})\bigr\| \bigr)+(I-\alpha_{n}\overline{ \gamma})\|S_{n+1}v_{n}-S_{n}v_{n}\| \\ &\quad\leq \bigl(1-\alpha_{n+1}(\overline{\gamma}-\sigma k) \bigr) \|w_{n+1}-w_{n}\| +M_{1}|u_{n+1}-u_{n}| \\ &\qquad{}+|\alpha_{n}-\alpha_{n+1}| \bigl(\|D S_{n+1}v_{n} \|+\bigl\| \sigma f(w_{n})\bigr\| \bigr)+\| S_{n+1}v_{n}-S_{n}v_{n} \|\\ &\quad\leq \bigl(1-\alpha_{n+1}(\overline{\gamma}-\sigma k) \bigr) \|w_{n+1}-w_{n}\| +M_{1}|u_{n+1}-u_{n}|+2M_{2}| \alpha_{n}-\alpha_{n+1}|+L_{n} \\ &\quad\leq \bigl(1-\alpha_{n+1}(\overline{\gamma}-\sigma k) \bigr) \|w_{n+1}-w_{n}\| +M_{3}\bigl(|u_{n+1}-u_{n}|+| \alpha_{n}-\alpha_{n+1}|\bigr)+L_{n}, \end{aligned}$$
where \(M_{2} =\max\{\sup_{n\in N}\|D S_{n+1}v_{n}\|, \sup_{n\in N}\| \sigma f(w_{n})\|\}\), \(M_{3}=\max\{M_{1}, 2M_{2}\}\), \(L_{n}= \sup\{\|S_{n+1}v-S_{n}v\|: v\in v_{n}\}\).

By Lemma 2.4, we have \(\|w_{n+1}-w_{n}\|\rightarrow0 \).

Then, from condition (i) and \(|u_{n+1}-u_{n}|\rightarrow0\), we have \(\| v_{n+1}-v_{n}\|\rightarrow0 \).

Indeed,
$$\begin{aligned} \|w_{n}-S_{n}v_{n}\| \leq&\|w_{n}-S_{n-1}v_{n-1} \|+\| S_{n-1}v_{n-1}-S_{n-1}v_{n}\|+ \|S_{n-1}v_{n}-S_{n}v_{n}\|\\ \leq&\alpha_{n-1}\bigl\| \sigma f(w_{n-1})-D S_{n-1}v_{n-1} \bigr\| +\| v_{n-1}-v_{n}\|\\ &{}+\sup\bigl\{ \|S_{n-1}w-S_{n}w\|: w\in v_{n}\bigr\} . \end{aligned}$$

Since \(\|v_{n+1}-v_{n}\|\rightarrow0 \), by Lemma 2.3 and condition (i), we have \(\|w_{n}-S_{n}v_{n}\|\rightarrow0 \).

Then
$$\|S_{n}v_{n}-v_{n}\|\leq\|S_{n}v_{n}-w_{n} \|+\|w_{n}-v_{n}\|. $$

Since \(\|w_{n}-S_{n}v_{n}\|\rightarrow0 \) and \(\|w_{n}-v_{n}\| \rightarrow0 \), we get \(\|S_{n}v_{n}-v_{n}\|\rightarrow0 \).

Moreover, we note that
$$\begin{aligned} \|S v_{n}-v_{n}\| \leq&\|S v_{n}-S_{n}v_{n} \|+\|S_{n}v_{n}-v_{n}\|\\ \leq& \sup \bigl\{ \|S w-S_{n}w\|:w\in\{v_{n}\} \bigr\} + \|S_{n}v_{n}-v_{n}\|. \end{aligned}$$
By Lemma 2.3 we have
$$ \|S v_{n}-v_{n}\|\rightarrow0. $$
(26)

Since \(\{v_{n}\}\) is bounded, we may assume that there exists a subsequence \(\{v_{n_{i}}\}\) of \(\{v_{n}\}\) which converges weakly to a point , i.e. \(v_{n_{i}}\rightharpoonup\widetilde{w}\) as \(i\rightarrow\infty\), \(\{w_{n}\}\) and \(\{v_{n}\}\) are bounded, \(\{ w_{n}\}\) and \(\{v_{n}\}\) have the same asymptotical behavior.

We may assume that there exists a subsequence \(\{w_{n_{i}}\}\) of \(\{ w_{n}\}\) which also converges weakly to the point , i.e. \(w_{n_{i}}\rightharpoonup\widetilde{w}\) as \(i\rightarrow\infty\). By the same argument as in the proof of Theorem 3.1, we derive that is a solution of SEVIP, i.e. \(\widetilde{w} \in\Omega =\operatorname{Fix}(S)\cap\Gamma\).

Next, by the same argument as in the proof of Theorem 3.1, we derive that
$$\limsup_{n\rightarrow\infty} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n}-w^{*} \bigr\rangle \leq0, $$
where \(w^{*}=P_{\Omega}(I-D+\sigma f)(w^{*})\) is the unique solution of VI (22).
Finally, we show that \(w_{n}\) converges strongly to \(w^{*}\) as \(n\rightarrow\infty\).
$$\begin{aligned} & \bigl\| w_{n+1}-w^{*}\bigr\| ^{2} \\ &\quad= \bigl\| \alpha_{n}\sigma f(w_{n})+(I-\alpha_{n}D)S_{n}v_{n}-w^{*} \bigr\| ^{2} \\ &\quad= \bigl\| (I-\alpha_{n}D) \bigl(S_{n}v_{n}-w^{*} \bigr)+\alpha_{n} \bigl(\sigma f(w_{n})-Dw^{*} \bigr)\bigr\| ^{2} \\ &\quad\leq\bigl\| (I-\alpha_{n}D) \bigl(S_{n}v_{n}-w^{*} \bigr)\bigr\| ^{2}+2\alpha_{n} \bigl\langle \sigma f(w_{n})-Dw^{*}, w_{n+1}-w^{*} \bigr\rangle \\ &\quad\leq(1-\alpha_{n}\overline{\gamma})^{2} \bigl\| v_{n}-w^{*}\bigr\| ^{2}+2\alpha _{n}\sigma \bigl\langle f(w_{n})-f \bigl(w^{*} \bigr), w_{n+1}-w^{*} \bigr\rangle \\ &\qquad{}+2\alpha_{n} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n+1}-w^{*} \bigr\rangle \\ &\quad\leq(1-\alpha_{n}\overline{\gamma})^{2} \bigl\| w_{n}-w^{*}\bigr\| ^{2}+2\alpha _{n}\sigma k\bigl\| w_{n}-w^{*}\bigr\| \bigl\| w_{n+1}-w^{*}\bigr\| \\ &\qquad{}+2\alpha_{n} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n+1}-w^{*} \bigr\rangle \\ &\quad\leq(1-\alpha_{n}\overline{\gamma})^{2} \bigl\| w_{n}-w^{*}\bigr\| ^{2}+\alpha _{n}\sigma k \bigl(\bigl\| w_{n}-w^{*}\bigr\| ^{2}+\bigl\| w_{n+1}-w^{*} \bigr\| ^{2} \bigr)\\ &\qquad{}+2\alpha_{n} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n+1}-w^{*} \bigr\rangle . \end{aligned}$$
It follows that
$$\begin{aligned} \bigl\| w_{n+1}-w^{*}\bigr\| ^{2} \leq&\frac{1-2\alpha_{n}\overline{\gamma}+\alpha _{n}^{2}\overline{\gamma}^{2}+\alpha_{n}\sigma k}{1-\alpha_{n}\sigma k} \bigl\| w_{n}-w^{*}\bigr\| ^{2}\\ &{}+\frac{2\alpha_{n}}{1-\alpha_{n}\sigma k} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n+1}-w^{*} \bigr\rangle \\ =& \biggl(1-\frac{2\alpha_{n}(\overline{\gamma}-\sigma k)}{1-\alpha_{n}\sigma k} \biggr)\bigl\| w_{n}-w^{*} \bigr\| ^{2}+\frac{\alpha_{n}^{2}\overline{\gamma }^{2}}{1-\alpha_{n}\sigma k}\bigl\| w_{n}-w^{*} \bigr\| ^{2}\\ &{}+\frac{2\alpha_{n}}{1-\alpha_{n}\sigma k} \bigl\langle \sigma f \bigl(w^{*} \bigr)-Dw^{*}, w_{n+1}-w^{*} \bigr\rangle , \end{aligned}$$
where \(\gamma_{n}=\frac{2\alpha_{n}(\overline{\gamma}-\sigma k)}{1-\alpha_{n}\sigma k}\) and \(\delta_{n}=\frac{\alpha_{n}^{2}\overline {\gamma}^{2}}{1-\alpha_{n}\sigma k}\|w_{n}-w^{*}\|^{2}+\frac{2\alpha _{n}}{1-\alpha_{n}\sigma k}\langle \sigma f(w^{*})-Dw^{*}, w_{n+1}-w^{*}\rangle\).

Hence, all conditions of Lemma 2.4 are satisfied.

Therefore, we immediately deduce that \(w_{n}\rightarrow w^{*}\).

Case 2: The sequence \(\{\|w_{n}-z\|\}\) is not monotone.

By Lemma 2.6, there exists a sequence of positive integers: \(\{\tau(n)\} \), \(n\geq n_{0}\), where \(n_{0}\) is large enough such that
$$\tau(n)=\max \bigl\{ k\leq n: \bigl\| w_{k}-w^{*}\bigr\| \leq \bigl\| w_{k+1}-w^{*}\bigr\| \bigr\} . $$

It is easy to see that \(\{\tau(n)\}\) is nondecreasing and \(\tau (n)\rightarrow\infty\) as \(n\rightarrow\infty\).

We have \(\|w_{\tau (n)}-w^{*}\|<\|w_{\tau(n)+1}-w^{*}\|\); \(\|w_{n}-w^{*}\|<\|w_{\tau (n)+1}-w^{*}\|\).

Just as the argument of Case 1, we have
$$ \textstyle\begin{cases} \lim_{n\rightarrow\infty}\|w_{\tau(n)}-v_{\tau(n)}\|=0;\\ \lim_{n\rightarrow\infty}\|v_{\tau(n)+1}-v_{\tau(n)}\| =\lim_{n\rightarrow\infty}\|w_{\tau(n)+1}-w_{\tau(n)}\|=0; \\ \lim_{n\rightarrow\infty}\|Sv_{\tau(n)}-v_{\tau(n)}\|=0;\\ \limsup_{n\rightarrow\infty}\langle\sigma f(w^{*})-Dw^{*}, w_{\tau (n)}-w^{*}\rangle\leq0. \end{cases} $$

According to Case 1, we have \(\lim_{n\rightarrow\infty}\|w_{\tau (n)}-w^{*}\|=0\) and \(\lim_{n\rightarrow\infty}\|w_{\tau(n)+1}-w^{*}\|=0\).

Finally, from Lemma 2.6, we get
$$0\leq\bigl\| w_{n}-w^{*}\bigr\| \leq \max \bigl\{ \bigl\| w_{n}-w^{*} \bigr\| ,\bigl\| w_{\tau(n)}-w^{*}\bigr\| \bigr\} \leq\bigl\| w_{\tau(n)+1}-w^{*} \bigr\| \rightarrow0,\quad n\rightarrow\infty. $$

Therefore, the sequence \(\{w_{n}\}\) converges strongly to \(w^{*}\).

This completes the proof. □

Corollary 3.1

Let \(H_{1}\), \(H_{2}\), \(H_{3}\), A, B, \(A^{*}\), \(B^{*}\), U, K, \(J_{u_{n}}^{(U,K)}\), G, \(G^{*}\), f, \(S_{n}\), S be the same as them of Theorem  3.1. Let \(w_{n}\) be generated by
$$\left \{ \textstyle\begin{array}{@{}l} v_{n}= J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)w_{n}; \\ w_{n+1}=\alpha_{n} f(w_{n})+(1-\alpha_{n})S_{n}v_{n}. \end{array}\displaystyle \right . $$
Suppose \(S_{n}\) satisfies the AKTT condition, \(\operatorname{Fix}(S)=\bigcap^{\infty }_{n=1}\operatorname{Fix}(S_{n})\). If the solution set \(\Omega=\operatorname{Fix}(S)\cap\Gamma\) is nonempty and the following conditions are satisfied:
  1. (i)

    \(\alpha_{n}\in(0, 1)\), \(\lim_{n\rightarrow\infty}\alpha _{n}=0\), \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);

     
  2. (ii)

    \(\sum_{n=0}^{\infty}|\alpha_{n+1}-\alpha_{n}|<\infty\);

     
  3. (iii)

    \(\sum_{n=0}^{\infty}|u_{n+1}-u_{n}|<\infty\),

     
then the sequence \(w_{n}\) converges strongly to \(w^{*}\), where \(w^{*}=P_{\Omega}f(w^{*})\).

Corollary 3.2

Let \(H_{1}\), \(H_{2}\), \(H_{3}\), A, B, \(A^{*}\), \(B^{*}\), U, K, \(J_{u_{n}}^{(U,K)}\), G, \(G^{*}\), f, \(S_{n}\), S be the same as them of Theorem  3.1. Let \(\{\omega_{k}\}\) be a sequence of positive real numbers with \(\sum_{k=1}^{\infty}\omega_{k}=1\), \(S=\sum_{k=1}^{\infty}\omega_{k}S_{k}\), \(L_{n}=\sum_{k=1}^{n}\frac{\omega _{k}}{M_{n}}S_{k}\), and \(M_{n}=\sum_{k=1}^{n}\omega_{k}\). Let \(w_{n}\) be generated by
$$\left \{ \textstyle\begin{array}{@{}l} v_{n}= J_{u_{n}}^{(U,K)}(I-\gamma G^{*}G)w_{n}; \\ w_{n+1}=\alpha_{n} f(w_{n})+(1-\alpha_{n})L_{n}v_{n}. \end{array}\displaystyle \right . $$
Suppose \(S_{n}\) satisfies the AKTT condition, \(\operatorname{Fix}(S)=\bigcap^{\infty }_{n=1}\operatorname{Fix}(S_{n})\). If the solution set \(\Omega=\operatorname{Fix}(S)\cap\Gamma\) is nonempty and the following conditions are satisfied:
  1. (i)

    \(\alpha_{n}\in(0, 1)\), \(\lim_{n\rightarrow\infty}\alpha _{n}=0\), \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);

     
  2. (ii)

    \(\sum_{n=0}^{\infty}|\alpha_{n+1}-\alpha_{n}|<\infty\);

     
  3. (iii)

    \(\sum_{n=0}^{\infty}|u_{n+1}-u_{n}|<\infty\).

     

Then the sequence \(w_{n}\) converges strongly to a point \(w^{*}\), where \(w^{*}=P_{\Omega}f(w^{*})\).

It should be noted that by Bruck’s lemma [16] and He-Guo’s lemma [17] each \(L_{n}\) is also nonexpansive mapping and \(\operatorname{Fix}(S)=\bigcap^{\infty}_{n=1}\operatorname{Fix}(S_{n})\).

4 Numerical example

In this section, we give an example and numerical results to illustrate our algorithms and the main result of this paper. All the experiment are performed on a personal Lenovo computer with Intel Core i3-2485M CPU 2.30 GHz and RAM 2.00 GB.

Example 4.1

Let \(H_{1}=R^{4}\), \(H_{2}=R^{4}\), \(H_{3}=R^{4}\), two operators of matrix multiplication \(U: R^{4}\rightarrow R^{4}\), \(K: R^{4}\rightarrow R^{4}\) defined by \(U(x)=T_{1}(x)\), \(K(x)=T_{2}(x)\), where
$$T_{1}= \begin{bmatrix} 8&0&0&0\\ 0&12&0&0\\ 0&0&7&0\\ 0&0&0&20 \end{bmatrix},\qquad T_{2}= \begin{bmatrix} 3&0&0&0\\ 0&6&0&0\\ 0&0&2&0\\ 0&0&0&12 \end{bmatrix} $$
put \(S_{n}(x)=\frac{1}{1+2n}x\), \(\sigma=1\), \(D=I\), then U, K, \(S_{n}\) satisfy all conditions of Theorem 3.1 and Corollary 3.1. We know (12) is equivalent to the following step:
$$\left \{ \textstyle\begin{array}{@{}l} x_{n+1}=\alpha_{n}f_{1}(x_{n})+(1-\alpha_{n})S_{n}J_{u_{n}}^{U}(x_{n}-\gamma A^{T}(Ax_{n}-By_{n})); \\ y_{n+1}=\alpha_{n}f_{2}(y_{n})+(1-\alpha_{n})S_{n}J_{u_{n}}^{K}(y_{n}+\gamma B^{T}(Ax_{n}-By_{n})). \end{array}\displaystyle \right . $$
Note that if \(T_{1}\), \(T_{2}\) are positive linear operators, then they are maximal monotone. We defined the resolvent mappings \(J_{u_{n}}^{U}=(I+u_{n}U)^{-1}\), \(J_{u_{n}}^{K}=(I+u_{n}K)^{-1}\), where \(u_{n}>0\). Then we present the following algorithm.

Algorithm 4.1

Step 0. Choose initial point \((x_{0}, y_{0})\in(0,1\times10^{5})\times (0,1\times10^{5})\), \(c>0\), \(\gamma\in(0, \frac{2}{\lambda _{A}+\lambda_{A}})\) arbitrarily and put \(n=1\).

Step 1. Compute \((x_{n+1}, y_{n+1} )\) as follows:
$$\left \{ \textstyle\begin{array}{@{}l} x_{n+1}=\alpha_{n}f_{1}(x_{n})+(1-\alpha_{n})S_{n}J_{u_{n}}^{U}(x_{n}-\gamma A^{T}(Ax_{n}-By_{n})); \\ y_{n+1}=\alpha_{n}f_{2}(y_{n})+(1-\alpha_{n})S_{n}J_{u_{n}}^{K}(y_{n}+\gamma B^{T}(Ax_{n}-By_{n})). \end{array}\displaystyle \right . $$

Step 2. Set \(\|Ax_{n}-By_{n}\|<\varepsilon\) as the stop criterion, else set \(n=n+1\) and go to step 1.

Table 1 shows the numerical results of Algorithm 4.1 with different initial points.
Table 1

Numerical results for some initial points \(\pmb{(x_{0}, y_{0})=(0.01, 0.01), (1, 1), (15, 15)}\)

Initial point

ε

Iter.

Time

(0.01,0.01)

0.00001

2

0.00251

(0.01,0.01)

0.00001

2

0.00268

(1,1)

0.00001

5

0.00452

(1,1)

0.00001

6

0.00550

(15,15)

0.00001

8

0.00606

(15,15)

0.00001

8

0.00790

Table 2 shows that decreasing of \(u_{n}\) has an effect on the number of iterations, that is, \(u_{n}\) will converge faster to a solution when \(u_{n}\) is increased.
Table 2

Numerical results for some different \(\pmb{u_{n}=1, 0.5, 0.2, 0.1}\)

\(\boldsymbol {u_{n}}\)

ε

Iter.

Time

1

0.00001

22

0.02175

1

0.00001

21

0.01469

0.5

0.00001

36

0.02851

0.5

0.00001

37

0.03045

0.2

0.00001

125

0.11522

0.2

0.00001

113

0.08003

0.1

0.00001

1223

0.94707

0.1

0.00001

757

0.53070

Declarations

Acknowledgements

We wish to thank the referees for their helpful comments and suggestions. This research was supported by NSFC Grant No. 11071279 and Tian Yuan Special Foundation (No. 11426167).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Tianjin Polytechnic University
(2)
School of Mathematics and Statistics, Xidian University

References

  1. Moudafi, A: Alternating CQ-algorithm for convex feasibility and split fixed point problems. J. Nonlinear Convex Anal. 15(4), 809-818 (2014) MATHMathSciNetGoogle Scholar
  2. Censor, Y, Bortfeld, T, Martin, B, Trofimov, A: A unified approach for inversion problems in intensity-modulated therapy. Phys. Med. Biol. 51, 2353-2365 (2006) View ArticleGoogle Scholar
  3. Byrne, C: Iterative oblique projection onto convex sets and the split feasibility problem. Inverse Probl. 18, 441-453 (2002) View ArticleMATHMathSciNetGoogle Scholar
  4. Byrne, C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 20(1), 103-120 (2004) View ArticleMATHMathSciNetGoogle Scholar
  5. Moudafi, A: Split monotone variational inclusions. J. Optim. Theory Appl. 150, 275-283 (2011) View ArticleMATHMathSciNetGoogle Scholar
  6. Byrne, C, Censor, Y, Gibali, A, Reich, S: Weak and strong convergence of algorithms for the split common null point problem. J. Nonlinear Convex Anal. 13, 759-775 (2012) MATHMathSciNetGoogle Scholar
  7. Moudafi, A: Viscosity approximation methods for fixed points problems. J. Math. Anal. Appl. 241, 46-55 (2000) View ArticleMATHMathSciNetGoogle Scholar
  8. Marino, G, Xu, HK: A general iterative method for nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl. 318, 43-52 (2006) View ArticleMATHMathSciNetGoogle Scholar
  9. Kazmi, KR, Rizvi, SH: An iterative method for split variational inclusion problem and fixed point problem for a nonexpansive mapping. Optim. Lett. 8(3), 1113-1124 (2014) View ArticleMATHMathSciNetGoogle Scholar
  10. Sitthithakerngkiet, K, Deepho, J, Kumam, P: A hybrid viscosity algorithm via modify the hybrid steepest descent method for solving the split variational inclusion in image reconstruction and fixed point problems. Appl. Math. Comput. 250, 986-1001 (2015) View ArticleMathSciNetGoogle Scholar
  11. Marino, G, Xu, HK: A general iterative method for nonexpansive mappings in Hilbert spaces. J. Math. Anal. Appl. 318(1), 43-52 (2006) View ArticleMATHMathSciNetGoogle Scholar
  12. Aoyama, K, Kimura, Y, Takahashi, W, Toyoda, M: Approximation of common fixed points of a countable family of nonexpansive mappings in a Banach space. Nonlinear Anal., Theory Methods Appl. 67(8), 2350-2360 (2007) View ArticleMATHMathSciNetGoogle Scholar
  13. Chang, S-S, Wang, L, Tang, YK, Wang, G: Moudafi’s open question and simultaneous iterative algorithm for general split equality variational inclusion problems and general split equality optimization problems. Fixed Point Theory Appl. 2014, Article ID 215 (2014) View ArticleGoogle Scholar
  14. Takahashi, W: Nonlinear Functional Analysis. Fixed Point Theory and Its Application. Yokohama Publishers, Yokohama (2000) Google Scholar
  15. Mainge, P-E: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. Set-Valued Anal. 16(7-8), 899-912 (2008) View ArticleMATHMathSciNetGoogle Scholar
  16. Bruck, R-E: Properties of fixed-point sets of nonexpansive mappings in Banach spaces. Trans. Am. Math. Soc. 179, 251-262 (1973) View ArticleMATHMathSciNetGoogle Scholar
  17. He, SN, Guo, J: Iterative algorithm for common fixed points of infinite family of nonexpansive mappings in Banach spaces. J. Appl. Math. 2012, Article ID 787419 (2012) MathSciNetGoogle Scholar

Copyright

© Guo et al. 2015