Skip to content

Advertisement

  • Research
  • Open Access

Hybrid steepest iterative algorithm for a hierarchical fixed point problem

Fixed Point Theory and Applications20172017:25

https://doi.org/10.1186/s13663-017-0618-8

  • Received: 20 July 2017
  • Accepted: 27 October 2017
  • Published:

Abstract

The purpose of this work is to introduce and study an iterative method to approximate solutions of a hierarchical fixed point problem and a variational inequality problem involving a finite family of nonexpansive mappings on a real Hilbert space. Further, we prove that the sequence generated by the proposed iterative method converges to a solution of the hierarchical fixed point problem for a finite family of nonexpansive mappings which is the unique solution of the variational inequality problem. The results presented in this paper are the extension and generalization of some previously known results in this area. An example which satisfies all the conditions of the iterative method and the convergence result is given.

Keywords

  • nonexpansive mapping
  • strongly monotone
  • variational inequalities
  • fixed point problem

MSC

  • 49J30
  • 49J40
  • 47H09
  • 47J20

1 Introduction

Throughout this paper, we always assume that \(\mathcal{V}\) is a real Hilbert space with the inner product \(\langle\cdot,\cdot\rangle\) and the norm \(\|\cdot\|\), respectively. Let a nonlinear mapping \(S : \mathcal {V}\rightarrow\mathcal{V}\) be a nonexpansive operator if
$$ \|Su-Sv\|\leq\|u-v\|, \quad\forall u,v\in\mathcal{V}. $$
A point \(u\in\mathcal{V}\) is said to be a fixed point of S provided \(Su=u\). In this paper, we use \(\overline{F}(S)\) to denote the fixed point set which is closed and convex, see [1].
Let \(S:W\rightarrow\mathcal{V}\) be a nonexpansive mapping, where W is a nonempty closed convex subset of \(\mathcal{V}\). The hierarchical fixed point problem (in short, HFPP) is to find \(u\in\overline{F}(S)\) such that
$$ \langle u-Su, v-u\rangle\geq0,\quad \forall v\in\overline{F}(S). $$
(1.1)
Many authors solve (1.1) by various methods, see [29] and the references therein.
Yao et al. [2] proposed the following iterative algorithm to solve HFPP (1.1):
$$ \textstyle\begin{cases} v_{n}=b_{n}Su_{n}+(1-b_{n})u_{n},\cr u_{n+1}=P_{W}[a_{n}g(u_{n})+(1-a_{n})Sv_{n}], \quad\forall n\geq0,\cr \end{cases} $$
(1.2)
where \(\{a_{n}\}\) and \(\{b_{n}\}\) are sequences in \((0,1)\) and \(g:W\rightarrow\mathcal{V}\) is a contraction mapping, and the sequence \(\{u_{n}\}\) generated by (1.2) converges strongly to \(z\in\overline {F}(S)\), which is also a unique solution of the variational inequality problem (VIP), i.e., to find \(z\in\overline{F}(S)\) such that
$$ \bigl\langle (I-g)z,v-z\bigr\rangle \geq0, \quad\forall v\in\overline{F}(S). $$
(1.3)
After that, Ceng et al. [6] introduced the following algorithm:
$$ u_{n+1}=P_{W}\bigl[a_{n}\rho g(u_{n})+(I-a_{n} \mu F)S(u_{n})\bigr], \quad\forall n\geq0, $$
(1.4)
where F is a Lipschitz continuous and strongly monotone mapping, g is a Lipschitz continuous mapping. Compute an iterative sequence \(\{ u_{n}\}\) generated by (1.4) converging strongly to \(z\in\overline {F}(S)\), which is also a unique solution of the following variational inequality problem (VIP), i.e., to find \(z\in\overline{F}(S)\) such that
$$ \bigl\langle \rho g(z)-\mu F(z),v-z\bigr\rangle \geq0, \quad\forall v\in \overline{F}(S). $$
(1.5)
By using a \(T_{n}\)-mapping [10], Yao [11] proposed the following iterative method:
$$ u_{n+1}=a_{n}c g(u_{n})+b u_{n}+ \bigl[(1-b)I-a_{n}A\bigr]T_{n}u_{n}, \quad\forall n\geq0, $$
(1.6)
where \(c>0\), A is a strongly positive bounded linear operator and \(g:W\rightarrow\mathcal{V}\) is a contraction mapping.
Further, Ceng et al. [12] proposed explicit and implicit iterative schemes for finding a common solution for the set of fixed points of a nonexpansive mapping. Buong and Duong [13] studied the explicit iterative algorithm for finding the approximate solution of a VIP defined over the set of common fixed points of a finite number of nonexpansive mappings:
$$ u_{k+1}=\bigl(1-b^{0}_{k}\bigr)u_{k}+b^{0}_{k}S^{k}_{0}S^{k}_{p} \cdots S^{k}_{1}u_{k}, $$
(1.7)
where \(S^{k}_{i}=(1-b^{i}_{k})u_{k}+b^{i}_{k}S^{i}\) for \(1\leq i\leq p\), \(\{S_{i}\}^{p}_{i=1}\) are p-nonexpansive mappings on a real Hilbert space \(\mathcal{V}\), \(S^{k}_{0}=I-\lambda_{k}\mu F\), and F is an η-strongly monotone and L-Lipschitz continuous mapping.
Very recently, Zhang and Yang [14] studied the more general explicit iterative algorithm
$$ u_{k+1}=a_{k}c g(u_{k})+(I-\mu a_{k}F)S^{k}_{p}S^{k}_{p-1} \cdots S^{k}_{1}u_{k}, $$
(1.8)
where g is an α-Lipschitzian, F is an η-strongly monotone and L-Lipschitz continuous mapping and \(S^{k}_{i}=(1-b^{i}_{k})u_{k}+b^{i}_{k}S^{i}\) for \(1\leq i\leq p\). Under some assumptions, compute an iterative sequence \(\{u_{k}\}\) proposed by the iterative algorithm (1.8) that strongly converges to the solution of the VIP, i.e., to find \(z\in\bigcap^{p}_{i=1}\overline {F}(S_{i})\) such that
$$ \bigl\langle (\mu F-\gamma g)z,v-z\bigr\rangle \geq0, \quad\forall v\in\bigcap ^{p}_{i=1}\overline{F}(S_{i}). $$
(1.9)

Inspired and motivated by the recent research, we develop an iterative algorithm for a hierarchical fixed point problem of a finite family of nonexpansive mappings on the real Hilbert space. We generate a strong convergence theorem for the sequence considered by the generalized method. Numerical examples are also given for the theoretical verification of the algorithm. The algorithm and results presented in this paper improve and extend some recent corresponding algorithms and results; see [15, 16] and the references therein.

2 Preliminaries

We recall some concepts and results which are needed in the sequel.

Definition 2.1

Let \(S:W\rightarrow\mathcal{V}\) be a mapping which is said to be
  1. (i)
    monotone if
    $$ \langle Su-Sv,u-v\rangle\geq0, \quad\forall u,v\in W; $$
     
  2. (ii)
    strongly monotone if there exists a constant \(\alpha>0\) such that
    $$ \langle Su-Sv,u-v\rangle\geq\alpha\|u-v\|^{2}, \quad\forall u,v\in W; $$
     
  3. (iii)
    Lipschitz continuous if there exists a constant \(k>0\) such that
    $$ \|Su-Sv\|\leq k\|u-v\|, \quad\forall u,v\in W. $$
    If \(k=1\), then S is called nonexpansive.
     

Definition 2.2

A mapping \(g:W\rightarrow\mathcal{V}\) is said to be σ-contraction if there exists a constant \(\sigma\in(0,1)\) such that
$$ \|gu-gv\|\leq\sigma\|u-v\|, \quad\forall u,v\in W. $$

Lemma 2.1

([6])

Let \(F:W\rightarrow\mathcal{V}\) be an η-strongly monotone and k-Lipschitz continuous mapping and \(g:W\rightarrow \mathcal{V}\) be a τ-Lipschitz continuous mapping. Then the mapping \(\mu F-\rho g\) is \((\mu\eta-\rho\tau)\)-strongly monotone with condition \(\mu\eta>\rho\tau\geq0\), i.e.,
$$ \bigl\langle (\mu F-\rho g)u-(\mu F-\rho g)v,u-v\bigr\rangle \geq(\mu\eta-\rho\tau )\|u-v\|^{2}, \quad\forall u,v\in W. $$

Definition 2.3

A mapping \(T:\mathcal{V}\rightarrow\mathcal{V}\) is said to be an averaged mapping if it can be written as the average of the identity I and a nonexpansive mapping, i.e.,
$$ T\equiv(1-\alpha)I+\alpha S, $$
where \(\alpha\in(0,1)\) and \(S:\mathcal{V}\rightarrow\mathcal{V}\) is nonexpansive.

Lemma 2.2

([17, 18])

If the mappings \(\{S_{i}\}^{p}_{i=1}\) are averaged and have a common fixed point, then
$$ \bigcap^{p}_{i=1}\overline{F}(S_{i})= \overline{F}(S_{1}S_{2}\cdots S_{p}). $$
In particular, if \(p=2\), we have \(\overline{F}(S_{1})\cap\overline {F}(S_{2})=\overline{F}(S_{1}S_{2})=\overline{F}(S_{2}S_{1})\).

Lemma 2.3

([19])

Let \(\{\alpha_{n}\}\) be a sequence of nonnegative real numbers such that
$$ \alpha_{n+1}\leq(1-w_{n})\alpha_{n}+t_{n}, $$
where \(\{w_{n}\}\in(0,1)\) and \(\{t_{n}\}\) is a sequence such that
  1. (i)

    \(\sum^{\infty}_{n=1}w_{n}=\infty\);

     
  2. (ii)

    \(\lim\sup_{n\rightarrow\infty}\frac{t_{n}}{w_{n}}\leq0\) or \(\sum^{\infty}_{n=1}|t_{n}|<\infty\).

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

Lemma 2.4

([1])

Let \(S:W\rightarrow W\) be a nonexpansive mapping with \(\overline{F}(S)\neq\varnothing\). Then the mapping \(I-S\) is demiclosed at 0, that is, if \(\{u_{n}\}\) is a sequence converging weakly to u and \(\{(I-S)u_{n}\}\) converges strongly to 0, then \((I-S)u=0\).

Lemma 2.5

([20])

Let \(F:W\rightarrow\mathcal{V}\) be an η-strongly monotone and k-Lipschitzian mapping. Let \(\frac{2\eta}{k^{2}}>\mu>0\), \(Q=I-\lambda\mu F\). Then Q is a \((1-\lambda\tau)\)-contraction mapping with \(\min\{1,\frac {1}{\tau}\}>\lambda>0\), that is,
$$ \|Qu-Qv\|\leq(1-\lambda\tau)\|u-v\|, \quad\forall u,v\in W, $$
where \(\tau=1-\sqrt{1-\mu(2\eta-\mu k^{2})}\in(0,1]\).

Lemma 2.6

Let \(\mathcal{V}\) be a real Hilbert space. The following inequality holds:
$$ \|u+v\|^{2}\leq\|u\|^{2}+2\langle v,u+v\rangle, \quad\forall u,v \in\mathcal{V}. $$

3 Main results

In this section, we establish an iterative method for finding the solution of hierarchical fixed point problem (1.1).

Let W be a nonempty closed convex subset of a real Hilbert space \(\mathcal{V}\), and let \(\{S_{i}\}^{p}_{i=1}\) be p nonexpansive mappings on W such that \(\Xi=\bigcap^{p}_{i=1}\overline{F}(S_{i})\neq \emptyset\). Let \(F:W\rightarrow W\) be an η-strongly monotone and k-Lipschitzian mapping and \(g:W\rightarrow W\) be a τ-contraction mapping.

We consider the following hierarchical fixed point problem (in short, HFPP): find \(u\in\Xi\) such that
$$ \bigl\langle \rho g(u)-\mu F(u), v-u\bigr\rangle \leq0, \quad\forall v\in\Xi=\bigcap ^{p}_{i=1}\overline{F}(S_{i}). $$
(3.1)
Now we define the following algorithm for finding a solution of HFPP (3.1).

Algorithm 3.1

Given arbitrarily \(u_{0}\in W\), compute sequences \(\{u_{n}\}\) and \(\{ v_{n}\}\) by the iterative schemes
$$ \textstyle\begin{cases} v_{n}=b_{n}u_{n}+(1-b_{n})S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n},\cr u_{n+1}=a_{n}\rho g(v_{n})+c_{n}v_{n}+[(1-c_{n})I-a_{n}\mu F]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}, \quad\forall n\geq0,\cr \end{cases} $$
(3.2)
where \(S^{n}_{i}=(1-d^{i}_{n})I+d^{i}_{n}S_{i}\) and \(d^{i}_{n}\in(0,1)\) for \(i=1,2,\ldots ,p\), let the parameters satisfy \(\frac{2\eta }{k^{2}}>\mu>0\) and \(\frac{\nu}{\tau}>\rho> 0\), where \(\nu=\mu(\eta -\frac{\mu k^{2}}{2})\) and \(\{a_{n}\}\), \(\{b_{n}\}\) and \(\{c_{n}\}\) are sequences in \((0,1)\) satisfying the following conditions:
  1. (i)

    \(\lim_{n\rightarrow\infty}a_{n}=0\) and \(\sum_{n=1}^{\infty }a_{n}=\infty\) and \(\sum_{n=1}^{\infty}|a_{n-1}-a_{n}|<\infty\).

     
  2. (ii)

    \(\{b_{n}\}\subset[\sigma,1)\) and \(\lim_{n\rightarrow\infty }b_{n}=b<1\).

     
  3. (iii)

    \(a_{n}+c_{n}<1\) and \(\lim_{n\rightarrow\infty}c_{n}=0\).

     
  4. (iv)

    \(\sum_{n=1}^{\infty}|c_{n-1}-c_{n}|<\infty\) and \(\sum_{n=1}^{\infty}|d_{n-1}^{i}-d_{n}^{i}|<\infty\) for \(i=1,2,\ldots,p\).

     

Lemma 3.1

Let \(u^{*}\in\Xi\). Then the sequences \(\{u_{n}\}\) and \(\{v_{n}\}\) defined in Algorithm 3.1 are bounded.

Proof

Let \(u^{*}\in\Xi\). So, we have
$$ \begin{aligned}[b] \big\| v_{n}-u^{*}\big\| &=\big\| b_{n}u_{n}+(1-b_{n})S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-u^{*}\big\| \\ &=\big\| (1-b_{n}) \bigl(S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-u^{*} \bigr)+b_{n}\bigl(u_{n}-u^{*}\bigr)\big\| \\ &\leq(1-b_{n})\big\| u_{n}-u^{*}\big\| +b_{n} \big\| u_{n}-u^{*}\big\| \\ &=\big\| u_{n}-u^{*}\big\| .\end{aligned} $$
(3.3)
From (3.2) and (3.3), we have
$$\begin{aligned} \big\| u_{n+1}-u^{*}\big\| =&\big\| a_{n}\rho g(v_{n})+c_{n}v_{n}+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-u^{*}\big\| \\ =&\big\| a_{n}\bigl(\rho g(v_{n})-\mu F\bigl(u^{*} \bigr)\bigr)+c_{n}\bigl(v_{n}-u^{*}\bigr) \\ &{}+\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}v_{n} \\ &{}-\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u^{*}\big\| \\ \leq& a_{n}\big\| \rho g(v_{n})-\mu F\bigl(u^{*}\bigr) \big\| +c_{n}\big\| v_{n}-u^{*}\big\| \\ &{}+\big\| \bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}v_{n} \\ &{}-\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u^{*}\big\| \\ =&a_{n}\big\| \rho g(v_{n})-\mu F\bigl(u^{*}\bigr) \big\| +c_{n}\big\| v_{n}-u^{*}\big\| \\ &{}+(1-c_{n})\bigg\| \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}- \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u^{*}\bigg\| \\ \leq&(1-c_{n}) \biggl(1-\frac{a_{n}\nu}{1-c_{n}} \biggr) \big\| v_{n}-u^{*}\big\| +c_{n}\big\| v_{n}-u^{*} \big\| +a_{n}\big\| \rho g(v_{n})-\mu F\bigl(u^{*}\bigr)\big\| \\ \leq&(1-a_{n}\nu)\big\| u_{n}-u^{*}\big\| +a_{n} \rho\big\| g(v_{n})-g\bigl(u^{*}\bigr)\big\| +a_{n}\big\| \rho g \bigl(u^{*}\bigr)-\mu F\bigl(u^{*}\bigr)\big\| \\ \leq&(1-a_{n}\nu)\big\| u_{n}-u^{*}\big\| +a_{n} \rho\tau\big\| v_{n}-u^{*}\big\| +a_{n}\big\| \rho g \bigl(u^{*}\bigr)-\mu F\bigl(u^{*}\bigr)\big\| \\ \leq&\bigl(1-a_{n}(\nu-\rho\tau)\bigr)\big\| u_{n}-u^{*} \big\| +a_{n}\big\| \rho g\bigl(u^{*}\bigr)-\mu F\bigl(u^{*} \bigr)\big\| \\ \leq&\bigl(1-a_{n}(\nu-\rho\tau)\bigr)\big\| u_{n}-u^{*} \big\| +a_{n}(\nu-\rho\tau)\frac{\| \rho g(u^{*})-\mu F(u^{*})\|}{(\nu-\rho\tau)} \\ \leq&\max \biggl\{ \big\| u_{n}-u^{*}\big\| ,\frac{\|\rho g(u^{*})-\mu F(u^{*})\| }{\nu-\rho\tau} \biggr\} , \end{aligned}$$
(3.4)
where the third and fifth inequalities follow from (3.3) and the second inequality follows from Lemma 2.5.
By induction on n and (3.4), we have
$$ \big\| u_{n}-u^{*}\big\| \leq\max \biggl\{ \big\| u_{n}-u^{*} \big\| ,\frac{1}{\nu-\tau\rho}\big\| (\rho g-\mu F)u^{*}\big\| \biggr\} \quad\text{for } n=1,2,\ldots\text{ and } u_{o}\in K. $$
Hence, \(\{u_{n}\}\) is bounded; and consequently, we get \(\{v_{n}\}\), \(\{ Sv_{n}\}\), \(\{S_{1}u_{n+1}\}\), \(\|S_{1}^{n}u_{n+1}\|\), \(\|S_{2}S_{1}^{n}u_{n+1}\|,\ldots, \|S^{n}_{p-1}\cdots S^{n}_{1}u_{n+1}\|, \|S_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n+1}\|, \|S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n}\|+ \|S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n}\|+\|S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n}\| +\|S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n}\|\) and \(\{g(v_{n})\}\) are bounded. □

Lemma 3.2

Let \(\{u_{n}\}\) be a sequence generated by Algorithm 3.1. Then
  1. (i)

    \(\lim_{n\rightarrow\infty}\|u_{n+1}-u_{n}\|=0\).

     
  2. (ii)

    \(\lim_{n\rightarrow\infty}\|u_{n}-S_{p}^{n}S^{n}_{p-1}\cdots S^{n}_{1}u_{n}\|=0\).

     

Proof

From the sequence \(\{v_{n}\}\) defined in Algorithm 3.1, we have
$$ \begin{aligned}[b] \|v_{n}-v_{n-1}\|={}&\big\| b_{n}u_{n}+(1-b_{n})S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n} \\ &-b_{n-1}u_{n-1}-(1-b_{n-1})S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n-1}\big\| \\ ={}&\big\| (1-b_{n}) \bigl(S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n-1}\bigr) \\ &-(b_{n}-b_{n-1})S^{n-1}_{p}S^{n-1}_{p-1} \cdots S_{1}^{n-1}u_{n-1} \\ &+b_{n}(u_{n}-u_{n-1})-(b_{n-1}-b_{n})u_{n-1} \big\| \\ \leq{}&\|u_{n}-u_{n-1}\|+|b_{n}-b_{n-1}| \big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S_{1}^{n-1}u_{n-1}-u_{n-1}\big\| \\ &+(1-b_{n})\big\| S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n-1}\big\| .\end{aligned} $$
(3.5)
From the definition of \(S^{n}_{i}\) it follows that
$$ \begin{aligned}[b] \big\| S^{n}_{2}S^{n}_{1}v_{n}-S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \leq{}&\big\| S^{n}_{2}S^{n}_{1}v_{n}-S^{n}_{2}S^{n-1}_{1}v_{n} \big\| +\big\| S^{n}_{2}S^{n-1}_{1}v_{n}-S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \\ \leq{}&\big\| S^{n}_{1}v_{n}-S^{n-1}_{1}v_{n} \big\| +\big\| S^{n}_{2}S^{n-1}_{1}v_{n}-S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \\ \leq{}&\big\| \bigl(1-d^{1}_{n}\bigr)v_{n}+d^{1}_{n}S_{1}v_{n}- \bigl(1-d^{1}_{n-1}\bigr)v_{n}-d^{1}_{n-1}S_{1}v_{n} \big\| \\ &+\big\| \bigl(1-d^{2}_{n}\bigr)S^{n-1}_{1}v_{n}+d^{2}_{n}S_{2}S^{n-1}_{1}v_{n} \\ &- \bigl(1-d^{2}_{n-1}\bigr)S^{n-1}_{1}v_{n}-d^{2}_{n-1}S_{2}S^{n-1}_{1}v_{n} \big\| \\ \leq{}&\big|d^{1}_{n}-d^{1}_{n-1}\big|\bigl( \|v_{n}\|+\|S_{1}v_{n}\|\bigr) \\ &+\big|d^{2}_{n}-d^{2}_{n-1}\big|\bigl( \big\| S^{n-1}_{1}v_{n}\big\| +\big\| S_{2}S^{n-1}_{1}v_{n} \big\| \bigr),\end{aligned} $$
(3.6)
and from (3.6), we have
$$ \begin{aligned}[b] &\big\| S^{n}_{3}S^{n}_{2}S^{n}_{1}v_{n}-S^{n-1}_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \\ &\quad\leq\big\| S^{n}_{3}S^{n}_{2}S^{n}_{1}v_{n}-S^{n}_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| + \big\| S^{n}_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n}-S^{n-1}_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \\ &\quad\leq\big\| S^{n}_{2}S^{n}_{1}v_{n}-S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \\ &\qquad{}+\big\| \bigl(1-d^{3}_{n}\bigr)S^{n-1}_{2}S^{n-1}_{1}v_{n} +d^{3}_{n}S_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n} \\ &{}\qquad-\bigl(1-d^{3}_{n-1}\bigr)S^{n-1}_{2}S^{n-1}_{1}v_{n}-d^{3}_{n-1}S_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \\ &\quad\leq\big|d^{1}_{n}-d^{1}_{n-1}\big|\bigl( \|v_{n}\|+\|S_{1}v_{n}\| \bigr)+\big|d^{2}_{n}-d^{2}_{n-1}\big| \bigl(\big\| S^{n-1}_{1}v_{n}\big\| +\big\| S_{2}S^{n-1}_{1}v_{n} \big\| \bigr) \\ &\quad\quad{}+\big|d^{3}_{n}-d^{3}_{n-1}\big|\bigl( \big\| S^{n-1}_{2}S^{n-1}_{1}v_{n}\big\| + \big\| S_{3}S^{n-1}_{2}S^{n-1}_{1}v_{n} \big\| \bigr).\end{aligned} $$
(3.7)
By induction on p, it follows that
$$ \begin{aligned}[b] &\big\| S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n}\big\| \\ &\quad\leq\big|d^{1}_{n}-d^{1}_{n-1}\big|\bigl( \|v_{n}\|+\|S_{1}v_{n}\| \bigr)+\big|d^{2}_{n}-d^{2}_{n-1}\big| \bigl(\big\| S^{n-1}_{1}v_{n}\big\| +\big\| S_{2}S_{1}^{n-1}v_{n} \big\| \bigr) \\ &\quad\quad{}+\cdots+\big|d^{p}_{n}-d^{p}_{n-1}\big|\bigl( \big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n} \big\| \bigr).\end{aligned} $$
(3.8)
Similarly,
$$ \begin{aligned}[b] &\big\| S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n}\big\| \\ &\quad\leq\big|d^{1}_{n}-d^{1}_{n-1}\big|\bigl( \|u_{n}\|+\|S_{1}u_{n}\| \bigr)+\big|d^{2}_{n}-d^{2}_{n-1}\big| \bigl(\big\| S^{n-1}_{1}u_{n}\big\| +\big\| S_{2}S^{n-1}_{1}u_{n} \big\| \bigr) \\ &\quad\quad{}+\cdots+\big|d^{p}_{n}-d^{p}_{n-1}\big|\bigl( \big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| \bigr).\end{aligned} $$
(3.9)
From (3.5), (3.8) and (3.9), it follows that
$$\begin{aligned} \|u_{n+1}-u_{n}\| =&\big\| a_{n}\rho g(v_{n})+c_{n}v_{n}+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n} \\ &{}-a_{n-1}\rho g(v_{n-1})-c_{n-1}v_{n-1} \\ &{}-\bigl[(1-c_{n-1})I-a_{n-1}\mu F\bigr]S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1}\big\| \\ =&\big\| a_{n}\rho\bigl(g(v_{n})-g(v_{n-1}) \bigr)+a_{n}\rho g(v_{n-1})-a_{n-1}\rho g(v_{n-1}) \\ &{}+c_{n}(v_{n}-v_{n-1})+c_{n}v_{n-1}-c_{n-1}v_{n-1} \\ &{}+\bigl(\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}v_{n} \\ &{}-\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1}\bigr) \\ &{}+\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1} \\ &{}-\bigl[(1-c_{n-1})I-a_{n-1}\mu F\bigr]S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1}\big\| \\ =&\big\| a_{n}\rho\bigl(g(v_{n})-g(v_{n-1}) \bigr)+(a_{n}-a_{n-1})\rho g(v_{n-1}) \\ &{}+c_{n}(v_{n}-v_{n-1})+(c_{n}-c_{n-1})v_{n-1} \\ &{}+\bigl(\bigl[(1-c_{n})I-a_{n}\mu F\bigr] \bigl(S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1}\bigr)\bigr) \\ &{}+\bigl(\bigl[(1-c_{n})I-a_{n}\mu F\bigr]- \bigl[(1-c_{n-1})I-a_{n-1}\mu F\bigr]\bigr)S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1}\big\| \\ \leq&a_{n}\rho\tau\|v_{n}-v_{n-1} \|+|a_{n}-a_{n-1}|\big\| \rho g(v_{n-1})\big\| \\ &{}+c_{n}\|v_{n}-v_{n-1}\|+|c_{n}-c_{n-1}| \|v_{n-1}\| \\ &{}+(1-c_{n}) \biggl(1-\frac{a_{n}\nu}{1-c_{n}} \biggr)\big\| S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n}\big\| \\ &{}+ \bigl(|c_{n}-c_{n-1}|+|a_{n}-a_{n-1}|\mu F \bigr)\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \\ \leq&(a_{n}\rho\tau+c_{n})\|v_{n}-v_{n-1} \| \\ &{}+|a_{n}-a_{n-1}|\bigl(\big\| \rho g(v_{n-1})\big\| +\mu F\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+|c_{n}-c_{n-1}|\bigl(\|v_{n-1}\|+ \big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+(1-c_{n}) \biggl(1-\frac{a_{n}\nu}{1-c_{n}} \biggr)\big\| S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n}\big\| \\ \leq&\bigl(1-a_{n}(1-\rho\tau)\bigr)\|u_{n}-u_{n-1} \| \\ &{}+|a_{n}-a_{n-1}|\bigl(\big\| \rho g(v_{n-1})\big\| +\mu F\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+|b_{n}-b_{n-1}|\big\| S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n-1}-u_{n-1}\big\| \\ &{}+|c_{n}-c_{n-1}|\bigl(\|v_{n-1}\|+ \big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+(1-c_{n}) \biggl(1-\frac{a_{n}\nu}{1-c_{n}} \biggr)\big\| S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n}\big\| \\ &{}+(1-b_{n})\big\| S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n}\big\| \\ \leq&\bigl(1-a_{n}(1-\rho\tau)\bigr)\|u_{n}-u_{n-1} \| \\ &{}+|a_{n}-a_{n-1}|\bigl(\big\| \rho g(v_{n-1})\big\| +\mu F\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+|b_{n}-b_{n-1}|\big\| S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}u_{n-1}-u_{n-1}\big\| \\ &{}+|c_{n}-c_{n-1}|\bigl(\|v_{n-1}\|+ \big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+\big|d^{1}_{n}-d^{1}_{n-1}\big|\bigl( \|v_{n}\|+\big\| S_{1}v_{n}\|+\|u_{n}\|+\| S_{1}u_{n}\big\| \bigr) \\ &{}+\big|d^{2}_{n}-d^{2}_{n-1}\big|\bigl( \big\| S^{n-1}_{1}v_{n}\big\| +\big\| S_{2}S^{n-1}_{1}v_{n} \big\| +\big\| S^{n-1}_{1}u_{n}\big\| +\big\| S_{2}S^{n-1}_{1}u_{n} \big\| \bigr) \\ &{}+\cdots+\big|d^{p}_{n}-d^{p}_{n-1}\big|\bigl( \big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n} \big\| \\ &{}+\big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| \bigr) \\ \leq&\bigl(1-a_{n}(1-\rho\tau)\bigr)\|u_{n}-u_{n-1} \| \\ &{}+|a_{n}-a_{n-1}|\bigl(\big\| \rho g(v_{n-1})\big\| +\mu F\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \\ &{}+\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n-1}-u_{n-1}\big\| \bigr) \\ &{}+|c_{n}-c_{n-1}|\bigl(\|v_{n-1}\|+ \big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \bigr) \\ &{}+\big|d^{1}_{n}-d^{1}_{n-1}\big|\bigl( \|v_{n}\|+\|S_{1}v_{n}\|+\|u_{n}\|+\| S_{1}u_{n}\|\bigr) \\ &{}+\big|d^{2}_{n}-d^{2}_{n-1}\big|\bigl( \big\| S^{n-1}_{1}v_{n}\big\| +\big\| S_{2}S^{n-1}_{1}v_{n} \big\| +\big\| S^{n-1}_{1}u_{n}\big\| +\big\| S_{2}S^{n-1}_{1}u_{n} \big\| \bigr) \\ &{}+\cdots+\big|d^{p}_{n}-d^{p}_{n-1}\big|\bigl( \big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n} \big\| \\ &{}+\big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| \bigr) \\ \leq&\bigl(1-a_{n}(1-\rho\tau)\bigr)\|u_{n}-u_{n-1} \|\\ &{} +M\bigl(|a_{n}-a_{n-1}|+|c_{n}-c_{n-1}|+\big|d^{1}_{n}-d^{1}_{n-1}\big| \\ &{}+\big|d^{2}_{n}-d^{2}_{n-1}\big|+ \cdots+\big|d^{p}_{n}-d^{p}_{n-1}\big|\bigr), \end{aligned}$$
where
$$\begin{aligned} M={}&\max \Bigl\{ \sup_{n\geq1} \bigl(\big\| \rho g(v_{n-1})\big\| + \mu F\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n-1}\big\| \\ &+\big\| S^{n-1}_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n-1}-u_{n-1}\big\| \bigr), \\ &\sup_{n\geq1} \bigl(\big\| S^{n-1}_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n-1}\big\| +\|v_{n-1}\| \bigr), \\ &\sup_{n\geq1} \bigl(\|v_{n}\|+\|S_{1}v_{n} \|+\|u_{n}\|+\|S_{1}u_{n}\| \bigr), \\ &\sup_{n\geq1} \bigl(\big\| S^{n-1}_{1}v_{n} \big\| +\big\| S_{2}S^{n-1}_{1}v_{n}\big\| +\big\| S^{n-1}_{1}u_{n}\big\| +\big\| S_{2}S^{n-1}_{1}u_{n} \big\| \bigr), \\ &\sup_{n\geq1} \bigl(\big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}v_{n}\big\| +\big\| S_{p}S^{n-1}_{p-1} \cdots S^{n-1}_{1}v_{n}\big\| \\ &+\big\| S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| +\big\| S_{p}S^{n-1}_{p-1}\cdots S^{n-1}_{1}u_{n} \big\| \bigr) \Bigr\} .\end{aligned} $$
From conditions (i) and (iv) of Algorithm 3.1 and Lemma 2.3, we have
$$ \lim_{n\rightarrow\infty}\|u_{n+1}-u_{n}\|=0. $$
(3.10)
From (3.2), we have
$$\begin{aligned}[b] \big\| u_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}\big\| \leq{}&\| u_{n}-u_{n+1}\|+\big\| u_{n+1}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}\big\| \\ \leq{}&\|u_{n}-u_{n+1}\|+\big\| a_{n}\rho g(v_{n})+c_{n}v_{n} \\ &+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S_{p}^{n}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}\big\| \\\leq{}&\|u_{n}-u_{n+1}\|+a_{n}\big\| \rho g(v_{n})-\mu F S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| \\ &+c_{n}\big\| v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| \\ &+\big\| S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}\big\| \\ \leq{}&\|u_{n}-u_{n+1}\|+a_{n}\big\| \rho g(v_{n})-\mu F S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| \\ &+c_{n}\big\| v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| +\| v_{n}-u_{n} \| \\ \leq{}&\|u_{n}-u_{n+1}\|+a_{n}\big\| \rho g(v_{n})-\mu F S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| \\ &+c_{n}\big\| v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| \\ &+\big\| b_{n}u_{n}+(1-b_{n})S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-u_{n}\big\| \\ \leq{}&\|u_{n}-u_{n+1}\|+a_{n}\big\| \rho g(v_{n})-\mu F S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| \\ &+c_{n}\big\| v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| +(1-b_{n}) \big\| S_{p}^{n}S^{n}_{p-1}\cdots S^{n}_{1}u_{n}-u_{n}\big\| .\\\end{aligned} $$
(3.11)
From (3.11), we have
$$\begin{aligned} b_{n}\big\| S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-u_{n}\big\| \leq{}&\| u_{n}-u_{n+1}\|+a_{n}\big\| \rho g(v_{n})-\mu F S_{p}^{n}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}\big\| \\ &+c_{n}\big\| v_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}\big\| .\end{aligned} $$
Since from (i), (ii), (iii) and (3.10), we have
$$ \lim_{n\rightarrow\infty}\big\| u_{n}-S_{p}^{n}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}\big\| =0. $$
 □

Lemma 3.3

Let
$$\begin{aligned} u_{n}=a_{n}\rho g(u_{n})+c_{n}u_{n}+ \bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}. \end{aligned}$$
(3.12)
Then \(u_{n}\) converges strongly to \(\tilde{u}\in\Xi\) as \(n\rightarrow0\).

Proof

Since \(\{u_{n}\}\) is bounded, we assume that \(\{u_{n}\}\) converges weakly to a point \(\tilde{u}\in W\). From Lemma 2.4, we have \(\tilde {u}\in\Xi\). Now, for \(\tilde{u}\in\Xi\), we get
$$\begin{aligned} \|u_{n}-\tilde{u}\|^{2}={}&\big\| a_{n}\rho g(u_{n})+c_{n}u_{n}+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n}-\tilde{u}\big\| ^{2} \\ \leq{}& \bigl\langle a_{n}\bigl(\rho g(u_{n})-\mu F(\tilde {u})\bigr)+c_{n}(u_{n}-\tilde{u}) \\ &+\bigl[(1-c_{n})I-a_{n}\mu F\bigr]\bigl(S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n}-S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}\tilde {u}\bigr),u_{n}-\tilde{u} \bigr\rangle \\ ={}& \bigl\langle a_{n}\rho\bigl(g(u_{n})-g(\tilde{u}) \bigr),u_{n}-\tilde{u} \bigr\rangle \\ &+a_{n} \bigl\langle \rho g(\tilde{u})-\mu F(\tilde{u}),u_{n}- \tilde {u} \bigr\rangle +c_{n} \langle u_{n}- \tilde{u},u_{n}-\tilde{u} \rangle \\ &+\bigl[(1-c_{n})I-a_{n}\mu F\bigr] \bigl\langle S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n}-S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}\tilde {u},u_{n}-\tilde{u} \bigr\rangle \\ \leq{}& a_{n}\rho\tau\|u_{n}-\tilde{u}\|^{2}+a_{n} \bigl\langle \rho g(\tilde{u})-\mu F(\tilde{u}),u_{n}-\tilde{u} \bigr\rangle \\ &+c_{n}\|u_{n}-\tilde{u}\|^{2}+ \bigl[(1-c_{n})I-a_{n}\mu F\bigr]\|u_{n}-\tilde {u} \|^{2} \\ \leq{}&\bigl(1-a_{n}(\mu F-\rho\tau)\bigr)\|u_{n}-\tilde{u} \|^{2}+a_{n} \bigl\langle \rho g(\tilde{u})-\mu F( \tilde{u}),u_{n}-\tilde{u} \bigr\rangle .\end{aligned} $$
Hence,
$$ \|u_{n}-\tilde{u}\|^{2}\leq\frac{1}{(\mu F-\rho\tau)} \bigl\langle \rho g(\tilde{u})-\mu F(\tilde{u}),u_{n}-\tilde{u} \bigr\rangle . $$
(3.13)
Since \(u_{n}\rightharpoonup\tilde{u}\), from (3.13) we obtain \(u_{n}\rightarrow\tilde{u}\). □

Theorem 3.1

The sequence \(\{u_{n}\}\) generated by Algorithm 3.1 converges strongly to \(z\in\Xi=\bigcap^{p}_{i=1}\overline{F}(S_{i})\), which is also a unique solution of the HFPP
$$ \bigl\langle \rho g(z)-\mu F(z),u-z\bigr\rangle \leq0, \quad\forall u\in\Xi. $$

Proof

Let \(u_{t}\in W\) be a unique fixed point. Now, we claim that
$$ \lim_{n\rightarrow\infty}\sup\bigl\langle \rho g(z)-\mu F(z),z-u_{n} \bigr\rangle \leq0, $$
where \(z=\lim_{t\rightarrow0}u_{t}\). It follows from Lemma 3.3 that \(z\in\Xi\).
By using Lemma 2.6, we get
$$\begin{aligned} \|u_{n}-u_{t}\|^{2}={}&\big\| a_{n}\rho g(u_{n})+c_{n}u_{n}+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n}-u_{t}\big\| ^{2} \\ ={}&\big\| a_{n}\bigl(\rho g(u_{n})-\mu F(u_{t}) \bigr)+c_{n}(u_{n}-u_{t}) \\ &+\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n} \\ &-\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{t}\big\| ^{2} \\ \leq{}&\big\| c_{n}(u_{n}-u_{t})+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}u_{n} \\ &-\bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{t}\big\| ^{2} +2a_{n}\bigl\langle \rho g(u_{n})-\mu F(u_{t}),u_{n}-u_{t} \bigr\rangle \\ \leq{}& \biggl\{ c_{n}\|u_{n}-u_{t} \|+(1-c_{n}) \bigg\| \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{n} \\ &- \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}u_{t} \bigg\| \biggr\} ^{2} \\ &+2a_{n}\rho\bigl\langle g(u_{n})-g(u_{t}),u_{n}-u_{t} \bigr\rangle +2a_{n}\bigl\langle \rho g(u_{t})-\mu F(u_{t}),u_{n}-u_{t}\bigr\rangle \\ \leq{}& \biggl\{ c_{n}\|u_{n}-u_{t} \|+(1-c_{n}) \biggl(I-\frac{a_{n}\nu }{1-c_{n}} \biggr)\|u_{n}-u_{t} \| \biggr\} ^{2} \\ &+2a_{n}\rho\tau\|u_{n}-u_{t}\| \|u_{n}-u_{t}\|+2a_{n}\bigl\langle \rho g(u_{t})-\mu F(u_{t}),u_{n}-u_{t}\bigr\rangle \\ \leq{}& \bigl\{ c_{n}\|u_{n}-u_{t} \|+(1-c_{n}-a_{n}\nu)\|u_{n}-u_{t}\| \bigr\} ^{2}+2a_{n}\rho\tau\|u_{n}-u_{t} \|^{2} \\ &+2a_{n}\bigl\langle \rho g(u_{t})-\mu F(u_{t}),u_{n}-u_{t} \bigr\rangle \\ \leq{}&\bigl((1-a_{n}\nu)^{2}+2a_{n}\rho\tau\bigr) \|u_{n}-u_{t}\|^{2}+2a_{n}\bigl\langle \rho g(u_{t})-\mu F(u_{t}),u_{n}-u_{t} \bigr\rangle .\end{aligned} $$
From the above we have
$$ \bigl\langle \rho g(u_{t})-\mu F(u_{t}),u_{t}-u_{n} \bigr\rangle \leq\frac{\mathcal {A}_{n}(t)}{2a_{n}}\|u_{n}-u_{t} \|^{2}, $$
where \(\mathcal{A}_{n}(t)=[1-[(1-a_{n}\nu)^{2}+2a_{n}\rho\tau]]\).
Further,
$$ \lim_{n\rightarrow\infty}\sup\bigl\langle \rho g(u_{t})-\mu F(u_{t}),u_{t}-u_{n}\bigr\rangle \leq \frac{\mathcal{A}_{n}(t)}{2}\mathcal{M}, $$
(3.14)
where \(\mathcal{M}>0\) is a constant such that \(\mathcal{M}\geq\| u_{n}-u_{t}\|^{2}\).
Taking the limsup as \(t\rightarrow0\) in (3.14), we get
$$ \lim_{n\rightarrow\infty}\sup\bigl\langle \rho g(z)-\mu F(z),z-u_{n} \bigr\rangle \leq0. $$
Now, we have to show that \(u_{n}\rightarrow z\).
$$\begin{aligned} \|u_{n+1}-z\|^{2} =&\big\| a_{n}\rho g(v_{n})+c_{n}v_{n}+\bigl[(1-c_{n})I-a_{n} \mu F\bigr]S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n}-z\big\| ^{2} \\ =&\bigl\langle a_{n}\rho g(v_{n})+c_{n}v_{n}+ \bigl[(1-c_{n})I-a_{n}\mu F\bigr]S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}v_{n}-z,u_{n+1}-z\bigr\rangle \\ \leq& \biggl\langle a_{n}\bigl(\rho g(v_{n})-\mu F(z) \bigr)+c_{n}(v_{n}-z)+(1-c_{n}) \biggl[ \biggl(I- \frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n} \\ &{}- \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}z \biggr],u_{n+1}-z \biggr\rangle \\ =&\bigl\langle a_{n}\rho\bigl(g(v_{n})-g(z) \bigr),u_{n+1}-z\bigr\rangle +a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle \\ &{}+c_{n}\langle v_{n}-z,u_{n+1}-z \rangle+(1-c_{n}) \biggl\langle \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1}\cdots S^{n}_{1}v_{n} \\ &{}- \biggl(I-\frac{a_{n}\mu F}{1-c_{n}} \biggr)S^{n}_{p}S^{n}_{p-1} \cdots S^{n}_{1}z,u_{n+1}-z \biggr\rangle \\ \leq&a_{n}\rho\tau\|v_{n}-z\|\|u_{n+1}-z \|+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle \\ &{}+c_{n}\|v_{n}-z\|\|u_{n+1}-z\|+(1-c_{n}-a_{n} \nu)\|v_{n}-z\|\| u_{n+1}-z\| \\ \leq&(a_{n}\rho\tau+1-a_{n}\nu)\|v_{n}-z\| \|u_{n+1}-z\|+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle \\ \leq&\bigl(1-a_{n}(\nu-\rho\tau)\bigr)\|v_{n}-z\| \|u_{n+1}-z\|+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle \\ \leq&\bigl(1-a_{n}(\nu-\rho\tau)\bigr)\|u_{n}-z\| \|u_{n+1}-z\|+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle \\ \leq&\frac{(1-a_{n}(\nu-\rho\tau))}{2} \bigl(\|u_{n}-z\|^{2}+\| u_{n+1}-z\|^{2} \bigr) \\ &{}+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle . \end{aligned}$$
Further,
$$\begin{gathered}\begin{aligned} \biggl[1-\frac{(1-a_{n}(\nu-\rho\tau))}{2} \biggr]\|u_{n+1}-z\|^{2}\leq{} & \biggl[\frac{1-a_{n}(\nu-\rho\tau)}{2} \biggr]\|u_{n}-z\|^{2} \\ &+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle ,\end{aligned} \\ \begin{aligned} \biggl[\frac{1+a_{n}(\nu-\rho\tau)}{2} \biggr]\|u_{n+1}-z\|^{2}\leq{}& \biggl[\frac{1-a_{n}(\nu-\rho\tau)}{2} \biggr]\|u_{n}-z\|^{2} \\ &+a_{n}\bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z\bigr\rangle ,\end{aligned}\end{gathered} $$
which implies that
$$\begin{gathered} \begin{aligned}\|u_{n+1}-z\|^{2}\leq{}& \biggl[\frac{1-a_{n}(\nu-\rho\tau)}{1+a_{n}(\nu -\rho\tau)} \biggr] \|u_{n}-z\|^{2} \\ &+ \biggl[\frac{2a_{n}}{1+a_{n}(\nu-\rho\tau)} \biggr] \bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z \bigr\rangle ,\end{aligned} \\ \begin{aligned}\|u_{n+1}-z\|^{2}\leq{}& \biggl[1-\frac{2a_{n}(\nu-\rho\tau)}{1+a_{n}(\nu -\rho\tau)} \biggr] \|u_{n}-z\|^{2} \\ &+ \biggl[\frac{2a_{n}(\nu-\rho\tau)}{1+a_{n}(\nu-\rho\tau)} \biggr] \biggl\{ \frac{1}{\nu-\rho\tau} \bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z \bigr\rangle \biggr\} .\end{aligned}\end{gathered} $$
Let \(w_{n}= [\frac{2a_{n}(\nu-\rho\tau)}{1+a_{n}(\nu-\rho\tau)} ]\) and
$$ t_{n}= \biggl[\frac{2a_{n}(\nu-\rho\tau)}{1+a_{n}(\nu-\rho\tau)} \biggr] \biggl\{ \frac{1}{\nu-\rho\tau} \bigl\langle \rho g(z)-\mu F(z),u_{n+1}-z \bigr\rangle \biggr\} . $$
We have \(\sum_{n=1}^{\infty}a_{n}=\infty\) and \(\lim_{n\rightarrow\infty }\sup \{\frac{1}{\nu-\rho\tau}\langle\rho g(z)-\mu F(z),u_{n+1}-z\rangle \}\leq0\). It follows that \(\sum_{n=1}^{\infty}w_{n}=\infty\) and \(\lim_{n\rightarrow\infty}\sup\frac{t_{n}}{w_{n}}\leq0\). Thus, all the conditions of Lemma 2.3 are fulfilled. Hence, \(u_{n}\rightarrow z\). □

4 Examples

The following example ensures that all the conditions of Algorithm 3.1 and the convergence result are fulfilled.

Example 4.1

Let \(a_{n}=\frac{1}{3n}\), \(b_{n}=\frac{2n-1}{3n}\) and \(c_{n}=\frac {1}{3n}\). Then
$$ \lim_{n\rightarrow\infty}a_{n}=\frac{1}{3}\lim _{n\rightarrow\infty}\frac {1}{n}=0, $$
and
$$ \sum^{\infty}_{n=1}a_{n}= \frac{1}{3}\sum^{\infty}_{n=1} \frac {1}{n}=\infty. $$
The sequence \(\{a_{n}\}\) satisfies condition (i) of Algorithm 3.1.
Now we compute
$$\begin{aligned} a_{n-1}-a_{n}=\frac{1}{3(n-1)}-\frac{1}{3n}= \frac{1}{3} \biggl(\frac {1}{n-1}-\frac{1}{n} \biggr) =\frac{1}{3n(n-1)}.\end{aligned} $$
So,
$$ \sum^{\infty}_{n=1}|a_{n-1}-a_{n}|< \infty. $$
Similarly, we can show
$$ \sum^{\infty}_{n=1}|c_{n-1}-c_{n}|< \infty. $$
The sequences \(\{a_{n}\}\), \(\{b_{n}\}\) and \(\{c_{n}\}\) satisfy conditions (i), (ii) and (iii).
Let \(d^{i}_{n}=\frac{n}{n+i}\) for \(i=1,2\). Then
$$ \sum_{n=1}^{\infty}\big|d^{i}_{n-1}-d^{i}_{n}\big|< \infty. $$
Hence the sequence \(\{d^{i}_{n}\}\) also satisfies condition (iv) of Algorithm 3.1.
Let \(S_{1},S_{2}:\mathbb{R}\rightarrow\mathbb{R}\) be defined by
$$S_{1}(u)=\sin\frac{u}{2} $$
and
$$S_{2}(u)=\frac{u}{2}, \quad\forall u\in\mathbb{R}, $$
and let the mapping \(g:\mathbb{R}\rightarrow\mathbb{R}\) be defined by
$$ g(u)=\frac{u}{2}+1, \quad\forall u\in\mathbb{R}. $$
It is easy to verify that \(S_{1}\) and \(S_{2}\) are \(\frac {1}{2}\)-nonexpansive and g is a \(\frac{1}{2}\)-contraction mapping.
Further,
$$ \Xi=\bigcap^{2}_{i=1}F(S_{i})=\{0 \}. $$
Suppose that the mapping \(F:\mathbb{R}\rightarrow\mathbb{R}\) is defined by
$$ F(u)=2u, \quad\forall u\in\mathbb{R}. $$
Hence, F is 2-strongly monotone and 2-Lipschitzian.

Assume that \(\rho=\frac{1}{15}\) and \(\mu=\frac{1}{5}\) and they satisfy \(0<\mu<\frac{2\eta}{k^{2}}\) and \(0\leq\rho\tau<\nu\), where \(\nu=1-\sqrt {1-\mu(2\eta-\mu k^{2})}\).

All codes were written in Matlab, the values of \(\{v_{n}\}\) and \(\{ u_{n}\}\) with different n are given in Table 1.
Table 1

The values of \(\pmb{u_{n}}\) and \(\pmb{v_{n}}\) with the initial values \(\pmb{u_{1}=-10}\) and \(\pmb{u_{1}=10}\)

 

\(\boldsymbol{u_{1}=-10}\)

\(\boldsymbol{u_{1}=10}\)

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

\(\boldsymbol{v_{n}}\)

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

\(\boldsymbol{v_{n}}\)

n = 1

−10.0000

−14.5154

10.0000

14.6347

n = 2

−7.0467

−7.0467

7.8560

7.8997

n = 3

−2.7768

−2.7268

5.2941

5.2981

n = 4

−1.0152

−1.0152

2.0321

2.0431

n = 5

−0.3254

−0.3252

0.8356

0.8436

n = 6

−0.0703

−0.0703

0.3587

0.3487

n = 7

−0.0458

−0.0458

0.1662

0.1689

n = 8

−0.0492

−0.0429

0.0889

0.0989

n = 9

−0.0399

−0.0399

0.0571

0.0671

n = 10

−0.0327

−0.0372

0.0429

0.0429

n = 11

−0.0298

−0.0331

0.0357

0.0375

n = 12

−0.0297

−0.0289

0.0315

0.0351

n = 13

−0.0146

−0.0279

0.0286

0.0211

n = 14

−0.0118

−0.0164

0.0224

0.0200

n = 15

−0.0109

−0.0131

0.0207

0.0198

Remark 4.1

Table 1 and Figures 1 and 2 show that the sequences \(\{v_{n}\}\) and \(\{ u_{n}\}\) converge to 0. Also, \(\{0\}\in\Xi\).
Figure 1
Figure 1

The convergence of \(\pmb{u_{n}}\) and \(\pmb{v_{n}}\) with the initial value \(\pmb{u_{1}=-10}\) .

Figure 2
Figure 2

The convergence of \(\pmb{u_{n}}\) and \(\pmb{v_{n}}\) with the initial value \(\pmb{u_{1}=10}\) .

5 Conclusion

We have analyzed an iterative method for finding an approximate solution of hierarchical fixed point problem (1.1) and variational inequality problem (1.5) involving a finite family of nonexpansive mappings in a real Hilbert space. This method can be viewed as a modification and improvement of some existing methods [15, 16] for solving the variational inequality problem and the hierarchical fixed point problem. Therefore, Algorithm 3.1 is expected to be widely applicable.

Declarations

Authors’ contributions

Both the authors contributed equally and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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 Applied Mathematics, Aligarh Muslim University, Aligarh, 202002, India

References

  1. Geobel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990) View ArticleGoogle Scholar
  2. Yao, Y, Cho, YJ, Liou, YC: Iterative algorithms for hierarchical fixed points problems and variational inequalities. Math. Comput. Model. 52(9-10), 1697-1705 (2010) View ArticleMATHMathSciNetGoogle Scholar
  3. Crombez, G: A hierarchical presentation of operators with fixed points on Hilbert spaces. Numer. Funct. Anal. Optim. 27, 259-277 (2006) View ArticleMATHMathSciNetGoogle Scholar
  4. Moudafi, A: Krasnoselski-Mann iteration for hierarchical fixed-point problems. Inverse Probl. 23(4), 1635-1640 (2007) View ArticleMATHMathSciNetGoogle Scholar
  5. Gu, G, Wang, S, Cho, YJ: Strong convergence algorithms for hierarchical fixed points problems and variational inequalities. J. Appl. Math. 2011, Article ID 164978 (2011) View ArticleMATHMathSciNetGoogle Scholar
  6. Ceng, LC, Ansari, QH, Yao, JC: Iterative methods for hierarchical variational inequalities in Hilbert spaces. J. Optim. Theory Appl. 151, 489-512 (2011) View ArticleMATHMathSciNetGoogle Scholar
  7. Xu, HK: Viscosity method for hierarchical fixed point approach to variational inequalities. Taiwan. J. Math. 14(2), 463-478 (2010) View ArticleMATHMathSciNetGoogle Scholar
  8. Wang, Y, Xu, W: Strong convergence of a modified iterative algorithm for hierarchical fixed point problems and variational inequalities. Fixed Point Theory Appl. 2013, Article ID 121 (2013) View ArticleMATHMathSciNetGoogle Scholar
  9. Ansari, QH, Ceng, LC, Gupta, H: Triple hierarchical variational inequalities. In: Ansari, QH (ed.) Nonlinear Analysis: Approximation Theory, Optimization and Applications, pp. 231-280. Springer, New York (2014) Google Scholar
  10. Takahashi, W, Atsushiba, S: Strong convergence theorems for a finite family of nonexpansive mappings and applications. Indian J. Math. 41(3), 435-453 (1999) MATHMathSciNetGoogle Scholar
  11. Yao, Y: A general iterative method for a finite family of nonexpansive mappings. Nonlinear Anal. 66, 2676-2678 (2007) View ArticleMATHMathSciNetGoogle Scholar
  12. Ceng, LC, Khan, AR, Ansari, QH, Yao, JC: Viscosity approximation methods for strongly positive and monotone operators. Fixed Point Theory 10(1), 35-71 (2009) MATHMathSciNetGoogle Scholar
  13. Buong, N, Duong, LT: An explicit iterative algorithm for a class of variational inequalities in Hilbert spaces. J. Optim. Theory Appl. 151, 513-524 (2011) View ArticleMATHMathSciNetGoogle Scholar
  14. Zhang, C, Yang, C: A new explicit iterative algorithm for solving a class of variational inequalities over the common fixed points set of a finite family of nonexpansive mappings. Fixed Point Theory Appl. 2014, Article ID 60 (2014) View ArticleMATHMathSciNetGoogle Scholar
  15. Bnouhachem, A, Ansari, QH, Yao, JC: An iterative algorithm for hierarchical fixed point problems for a finite family of nonexpansive mappings. Fixed Point Theory Appl. 2015, Article ID 111 (2015) View ArticleMATHMathSciNetGoogle Scholar
  16. Bnouhachem, A, Ansari, QH, Yao, JC: Strong convergence algorithm for hierarchical fixed point problems of a finite family of nonexpansive mappings. Fixed Point Theory 17, 47-62 (2016) MATHMathSciNetGoogle Scholar
  17. Byrne, C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 20, 103-120 (2004) View ArticleMATHMathSciNetGoogle Scholar
  18. Combettes, PL: Solving monotone inclusions via compositions of nonexpansive averaged operators. Optimization 53, 475-504 (2004) View ArticleMATHMathSciNetGoogle Scholar
  19. Xu, HK: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 66, 240-256 (2002) View ArticleMATHMathSciNetGoogle Scholar
  20. Deng, BC, Chen, T, Li, ZF: Cyclic iterative method for strictly pseudononspreading in Hilbert spaces. J. Appl. Math. 2012, Article ID 435676 (2012) MATHMathSciNetGoogle Scholar

Copyright

© The Author(s) 2017

Advertisement