Abstract
The purpose of this paper is to introduce and study the general viscosity approximation methods for quasi-nonexpansive mappings in the setting of infinite-dimensional Hilbert spaces. Under suitable conditions, we prove that the sequences generated by the proposed new algorithm converge strongly to a fixed point of quasi-nonexpansive mappings in Hilbert spaces, which is also the unique solution of some variational inequality. Then this result is used to study the split equality fixed point problems, the split equality common fixed point problems, the split equality null point problems, etc. Our results improve and generalize many results in the literature and they should have many applications in nonlinear science.
Similar content being viewed by others
1 Introduction
Let C be a nonempty subset of a real Hilbert space H. A mapping \(T: C \to C\) is called nonexpansive if \(\|Tx - Ty\|\le\|x - y\|\) for all \(x, y\in C\). The set of the fixed points of T is denoted by \(\operatorname{Fix}(T)= \{x\in C: Tx = x\}\). \(T: C \to C\) is called quasi-nonexpansive if \(\operatorname{Fix}(T)\neq\emptyset\), and \(\|Tx - p\|\le\|x - p\|\) for all \(x\in C\), \(p\in \operatorname{Fix}(T)\).
The viscosity approximation method for nonlinear mappings was first introduced by Moudafi [1]. Starting with an arbitrary initial \(x_{0}\in H\), define a sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) generated by
where f is a contraction with a coefficient \(\theta\in[0,1)\) on H, i.e., \(\|f(x) - f(y)\|\le\theta\|x - y\|\) for all \(x, y \in H\), and \(\{\epsilon_{n}\}_{n\in\mathbb{N}}\) is a sequence in \((0,1)\) satisfying the following given conditions:
-
\(\lim_{n\to\infty}\epsilon_{n}=0\);
-
\(\sum_{n=0}^{\infty}\epsilon_{n}=\infty\);
-
\(\lim_{n\to\infty}(\frac{1}{\epsilon_{n}}-\frac {1}{\epsilon_{n+1}})=0\).
It is proved that the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) generated by (1.1) converges strongly to the unique solution \(p\in \operatorname{Fix}(T)\) of the variational inequality
In [2], Maingé considered the following viscosity approximation method for quasi-nonexpansive mappings. Starting with an arbitrary initial \(x_{0}\in C\subset H\), \(\{x_{n}\}_{n\in\mathbb{N}}\) generated by
where \(T_{\omega}=\omega I+(1-\omega)T\), with T quasi-nonexpansive on \(C\subset H\), \(\operatorname{Fix}(T)\neq\emptyset\) and \(\omega\in(0,1)\), \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) is a sequence in \((0,1)\) satisfying the following given conditions:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\).
It is also proved that the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) generated by (1.3) converges strongly to the unique solution of the variational inequality (1.2).
In [3], Tian and Jin considered the following general iterative method:
It is proved that if the sequence \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) satisfies appropriate conditions, the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) generated by (1.4) converges strongly to the unique solution of the variational inequality
or equivalently \(p = P_{\operatorname{Fix}(T)}(I- A +\gamma f )p\), where \(\operatorname{Fix}(T)\) is the fixed point set of a quasi-nonexpansive mapping T, and A is a strongly positive linear bounded operator.
In [4], Marino et al. considered the following general viscosity explicit midpoint rule:
It is proved that if the sequences \(\{\alpha_{n}\}_{n\in\mathbb{N}}\), \(\{\beta_{n}\}_{n\in\mathbb{N}}\), and \(\{s_{n}\}_{n\in\mathbb{N}}\) satisfy appropriate conditions, the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) generated by (1.6) converges strongly to the unique solution of the variational inequality (1.2), where \(\operatorname{Fix}(T)\) is the fixed point set of a quasi-nonexpansive mapping T.
Let \(H_{i}\), \(i=1,2,3\), be a real Hilbert space, and \(T: H_{1}\to H_{1}\) with fixed point set \(\operatorname{Fix}(T)\). Let \(C_{1}\) and \(C_{2}\) be nonempty closed convex subsets of \(H_{1}\) and \(H_{2}\), respectively, and let \(A: H_{1}\to H_{2}\) be a bounded linear operator.
The split feasibility problem (SFP) is the problem of finding
In 1994, Censor and Elfving [5] first introduced the (SFP) in finite-dimensional Hilbert spaces for modeling inverse problems which arise from phase retrievals and in medical image reconstruction.
Let \(A_{1}: H_{1}\to H_{3}\), \(A_{2}: H_{2}\to H_{3}\) be bounded linear operators. Moudafi [6] introduced the following split equality feasibility problem (SEFP):
Obviously, if \(A_{2} = I\) (identity mapping on \(H_{2}\)) and \(H_{2}=H_{3}\), then (SEFP) is reduced to (SFP). Moudafi [6] introduced an iteration process to establish a weak convergence theorem for split equality feasibility problem under suitable assumptions. The (SEFP) has many applications such as decomposition methods for PDEs and applications in game theory and intensity-modulated radiation therapy.
Let \(T_{1}: H_{1}\to H_{1}\) and \(T_{2}: H_{2}\to H_{2}\) be firmly quasi-nonexpansive mappings such that \(\operatorname{Fix}(T_{1})\neq\emptyset\), \(\operatorname{Fix}(T_{2})\neq\emptyset\), and let \(A_{1}: H_{1}\to H_{3}\), \(A_{2}: H_{2}\to H_{3}\) be bounded linear operators. Moudafi [7] introduced an iteration process and established weak convergence theorem for split equality fixed point problem (SEFPP):
When \(A_{2}=I\) and \(H_{2}=H_{3}\), then the (SEFPP) is reduced to the split common fixed point problem (SCFPP):
When \(C_{1}\subset H_{1}\), \(C_{1}\neq\emptyset\), \(C_{2}\subset H_{2}\), \(C_{2}\neq\emptyset\), let \(T_{1}=P_{C_{1}}\) and \(T_{2}=P_{C_{2}}\), the (SEFPP) is then reduced to the (SEFP), where \(P_{C_{1}}\) and \(P_{C_{2}}\) denote the metric projection of \(C_{1}\) and \(C_{2}\), respectively.
Very recently there have been many works concerning fixed point methods for nonexpansive mappings. For more details, see, e.g., [8,9,10,11] and the references therein.
Motivated and inspired by the above works on viscosity approximation method for quasi-nonexpansive mappings and split equality problems, in this paper we first introduce a general viscosity approximation method for quasi-nonexpansive mappings. Under suitable conditions, we prove that the sequences generated by the proposed new algorithm converge strongly to a fixed point of quasi-nonexpansive mappings in Hilbert spaces, which is also the unique solution of some variational inequality. Then this result is used to study the split equality fixed point problems, the split equality common fixed point problems, the split equality null point problems, etc. Our results improve and generalize many results in the literature and they should have many applications in nonlinear science.
2 Preliminaries
Let H be a real Hilbert space with inner product \(\langle \cdot,\cdot\rangle\) and induced norm \(\|\cdot\|\). Let \(I: H\to H\) be an identity mapping on H. We denote the strong convergence and the weak convergence of \(\{x_{n}\}_{n\in\mathbb{N}}\) to \(x\in H\) by \(x_{n}\to x\) and \(x_{n}\rightharpoonup x\), respectively. Throughout this paper, we use these notations and assumptions unless specified otherwise.
The following identities are valid in a Hilbert space H: for each \(x,y\in H\), \(t\in[0, 1]\),
-
(i)
\(\|x+y\|^{2}\le\|x\|^{2}+2\langle y,x+y\rangle\);
-
(ii)
\(\|tx+(1-t)y\|^{2}=t\|x\|^{2}+(1-t)\|y\|^{2}-t(1-t)\|x-y\|^{2}\).
Let C be a nonempty subset of the real Hilbert space H, and let \(T: C \to H\) be a single-valued mapping. Then T is called
-
(1)
nonexpansive if \(\|Tx-Ty\|\le\|x-y\|\) for all \(x,y\in C\);
-
(2)
L-Lipschitz continuous if there exists \(L>0\) such that \(\| Tx-Ty\|\le L\|x-y\|\) for all \(x,y\in C\);
-
(3)
quasi-nonexpansive if \(\operatorname{Fix}(T)\neq\emptyset\), and
$$\|Tx -p\|\le\|x - p\|\quad \mbox{for all }x\in C\mbox{ and for all }p\in \operatorname{Fix}(T); $$ -
(4)
ρ-strongly quasi-nonexpansive, where \(\rho\ge0\), if \(\operatorname{Fix}(T)\neq\emptyset\) and
$$ \|Tx -p\|^{2}\le\|x - p\|^{2}-\rho\|Tx-x\| $$for all \(x\in C\) and for all \(p\in \operatorname{Fix}(T)\);
-
(5)
strictly quasi-nonexpansive if \(\operatorname{Fix}(T)\neq\emptyset\) and \(\|Tx -p\|<\|x - p\|\) for all \(p\in \operatorname{Fix}(T)\) and for all \(x\in C\setminus \operatorname{Fix}(T)\);
-
(6)
monotone if \(\langle x-y, Tx-Ty\rangle\ge 0\) for all \(x,y\in C\);
-
(7)
η-strongly monotone if there exists \(\eta>0\) such that \(\langle x-y, Tx-Ty\rangle\ge \eta\|x-y\|^{2}\) for all \(x,y\in C\);
-
(8)
α-inverse-strongly monotone (in short α-ism) if there exists \(\alpha>0\) such that \(\langle x-y, Tx-Ty\rangle\ge \eta\|Tx-Ty\|^{2}\) for all \(x,y\in C\);
-
(9)
demiclosed if for each sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) and \(x\in C\) with \(x_{n}\rightharpoonup x\) and \((I-T)x_{n}\to0\) implies \((I-T)x=0\);
-
(10)
firmly nonexpansive if \(\|Tx-Ty\|^{2}\le\langle Tx-Ty, x-y\rangle\) for all \(x,y\in C\);
-
(11)
α-averaged if there exist \(\alpha\in(0,1)\) and nonexpansive \(S:C\to H\) such that \(T=(1-\alpha)I+\alpha S\).
It is easy to see that every strongly quasi-nonexpansive mapping is a strictly quasi-nonexpansive mapping and every strictly quasi-nonexpansive mapping is a quasi-nonexpansive mapping.
Lemma 2.1
Let H be a Hilbert space and let \(T_{\rho}:H\to H\) with \(\operatorname{Fix}(T_{\rho})\neq \emptyset\). Then \(T_{\rho}\) is a ρ-strongly quasi-nonexpansive mapping with \(\rho\ge0\) if and only if there exists a quasi-nonexpansive mapping T such that \(T_{\rho}=(1-\frac{1}{1+\rho})I+\frac{1}{1+\rho}T\) and \(\operatorname{Fix}(T_{\rho})=\operatorname{Fix}(T)\).
Proof
Since the statement \(\operatorname{Fix}(T_{\rho})=\operatorname{Fix}(T)\) is evident, we only prove that \(T_{\rho}\) is a ρ-strongly quasi-nonexpansive mapping if and only if T is a quasi-nonexpansive mapping.
(Necessity) For all \(x\in H \) and for all \(p\in \operatorname{Fix}(T)\),
Since \(T_{\rho}\) is ρ-strongly quasi-nonexpansive, we have
It follows from (2.1) and (2.2) that
i.e., T is a quasi-nonexpansive mapping.
(Sufficiency) Since
then
i.e., \(T_{\rho}\) is a ρ-strongly quasi-nonexpansive mapping. □
Lemma 2.2
Let \(F: H\to H\) be L-Lipschitz continuous and η-strongly monotone with \(L>0\) and \(\eta>0\). Then, for all \(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\beta\in(0,1)\), \(I-\beta\mu F\) is \((1-\beta\tau)\)-contraction, where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\).
Proof
By assumption, it is easy to see that \(\eta\le L\). Since \(\mu\in(0,\frac{2\eta}{L^{2}})\), \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})>0\), we have \(1-\beta\tau<1\). On the other hand, \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2}) =-\frac{1}{2}L^{2}(\mu-\frac{\eta}{L^{2}})^{2}+\frac{\eta^{2}}{2L^{2}}\le \frac{\eta^{2}}{2L^{2}}\le\frac{1}{2}\). Hence \(1-\beta\tau>0\).
For all \(x,y\in H\),
i.e.,
□
Lemma 2.3
([12])
Let C be a nonempty subset of H, and let \(T_{1}, T_{2}: C\to C\) be quasi-nonexpansive operators. Suppose that either \(T_{1}\) or \(T_{2}\) is strictly quasi-nonexpansive, and \(\operatorname{Fix}(T_{1})\cap \operatorname{Fix}(T_{2})\neq\emptyset\). Then the following hold:
-
(i)
\(\operatorname{Fix}(T_{1}T_{2})=\operatorname{Fix}(T_{1})\cap \operatorname{Fix}(T_{2})\);
-
(ii)
\(T_{1}T_{2}\) is quasi-nonexpansive;
-
(iii)
When both \(T_{1}\) and \(T_{2}\) are strictly quasi-nonexpansive, \(T_{1}T_{2}\) is strictly quasi-nonexpansive.
Lemma 2.4
([12])
Let C be a nonempty subset of a Hilbert space H, and let \(T: C\to H\) be nonexpansive operators, and \(\alpha\in(0,1)\). Then the following are equivalent:
-
(i)
T is averaged;
-
(ii)
\(\|Tx-Ty\|^{2}\le \|x-y\|^{2}-\frac{1-\alpha}{\alpha}\|(I-T)x-(I-T)y\|^{2}\), \(\forall x,y\in C\).
Lemma 2.5
Let C be a nonempty subset of H, and let \(T_{1}: C\to C\) be a quasi-nonexpansive mapping and \(T_{2}: C\to C\) be a firmly nonexpansive mapping such that \(\operatorname{Fix}(T_{1})\cap \operatorname{Fix}(T_{2})\neq\emptyset\). Then \(T_{1}T_{2}\) is quasi-nonexpansive and \(\operatorname{Fix}(T_{1}T_{2})=\operatorname{Fix}(T_{1})\cap \operatorname{Fix}(T_{2})\).
Proof
Since each firmly nonexpansive mapping is nonexpansive and \(\frac{1}{2}\)-averaged, by Lemma 2.4, for all \(p\in \operatorname{Fix}(T_{2})\) and for all \(x\in C\setminus \operatorname{Fix}(T_{2})\), we have
i.e., \(T_{2}\) is strictly quasi-nonexpansive. Then Lemma 2.5 follows from Lemma 2.3. □
Recall that the metric projection \(P_{K}\) from a Hilbert space H to a closed convex subset K of H is defined as follows: for each \(x\in H\), there exists a unique element \(P_{K}x\in K\) such that
Lemma 2.6
([13])
Let K be a closed convex subset of H. Given \(x\in H\) and \(z\in K\). Then \(z = P_{K}x\) if and only if there holds the inequality
Lemma 2.7
([14])
Let C be a nonempty closed convex subset of a real Hilbert space H. Let T be a nonexpansive self-mapping on C. Then \(I - T\) is demiclosed, i.e., for each sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) and \(x\in C\) with \(x_{n}\rightharpoonup x\) and \((I-T)x_{n}\to0\) implies \((I-T)x=0\).
Lemma 2.8
([15])
Let \(\{a_{n}\}_{n\in\mathbb{N}}\) be a sequence of nonnegative real numbers such that
with
-
\(\{\alpha_{n}\}_{n\in\mathbb{N}}\subset[0,1]\), \(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
\(\limsup_{n\to\infty}\sigma_{n}\le0\);
-
\(\gamma_{n}\ge0\), \(\sum_{n=0}^{\infty}\gamma_{n}<\infty\).
Then \(\lim_{n\to\infty}a_{n}=0\).
Lemma 2.9
([16])
Let \(\{\varGamma_{n}\}_{n\in\mathbb {N}}\) be a sequence of real numbers that does not decrease at infinity, in the sense that there exists a subsequence \(\{\varGamma_{n_{k}}\}_{k\in\mathbb{N}}\) of \(\{\varGamma_{n}\}_{n\in\mathbb{N}}\) which satisfies \(\varGamma_{n_{j}}<\varGamma_{n_{j}+1}\) for all \(j\ge0\). Also consider the sequence of integers \(\{\delta(n)\}_{n\in\mathbb{N}}\) defined by
Then \(\{\delta(n)\}_{n\in\mathbb{N}}\) is a nondecreasing sequence verifying \(\lim_{n\to\infty}\delta(n)=\infty\), and for all \(n\ge n_{0}\), it holds that \(\varGamma_{\delta(n)}<\varGamma_{\delta (n)+1}\) and we have
3 General viscosity approximation methods for quasi-nonexpansive mappings
Let \(f:H\to H\) be θ-contractive with \(\theta\in(0,1)\), \(F:H\to H\) be L-Lipschitz continuous and η-strongly monotone with \(L>0\), and \(\eta>0\). Choose \(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\theta\in(0,\tau)\), where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\). Throughout this section, we use these notations and assumptions unless specified otherwise.
Theorem 3.1
Let \(T:H\to H\) be a quasi-nonexpansive mapping such that \(\operatorname{Fix}(T)\neq\emptyset\), with \(I-T\) demiclosed at 0. For any given \(x_{0}\in H\), the iterative sequence \(\{x_{n}\}_{n\in\mathbb{N}}\subset H\) is generated by
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(\limsup_{n\to\infty}\beta_{n}(1-\beta_{n})>0\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) defined by (3.1) converges strongly to \(p\in \operatorname{Fix}(T)\), which is the unique solution in \(\operatorname{Fix}(T)\) of the variational inequality (VI)
Proof
Clearly, \(\operatorname{Fix}(T)\) is closed and convex.
Step 1. There exists unique \(p\in \operatorname{Fix}(T)\) such that
Take \(\lambda=\frac{\mu\eta-\theta}{(\mu L+\theta)^{2}}\), for \(\forall x,y\in H\), we have
i.e., \(I-\lambda(\mu F-f)\) is a contractive mapping. So is \(P_{\operatorname{Fix}(T)}(I-\lambda(\mu F-f))\). Hence, there exists unique \(p\in \operatorname{Fix}(T)\) such that \(p=P_{\operatorname{Fix}(T)}(I-\lambda(\mu F-f))p\), then
Step 2. \(\{x_{n}\}_{n\in\mathbb{N}}\) is a bounded sequence.
Let \(p\in \operatorname{Fix}(T)\) be the unique solution of the variational inequality (3.2). Then \(Tp=p\) and
From Lemma 2.2 and (3.3), it follows that
Then, by induction on n, \(\{x_{n}\}_{n\in\mathbb{N}}\) is a bounded sequence. So are \(\{v_{n}\}_{n\in\mathbb{N}}\), \(\{f(x_{n})\}_{n\in\mathbb{N}}\), and \(\{F(x_{n})\}_{n\in\mathbb{N}}\).
Step 3. \(\lim_{n\to\infty}\|x_{n}-p\|=0\).
From the well-known inequality
which holds for all \(x,y\in H\), it follows that
Summarizing, we get that
Set \(\varGamma_{n}=\|x_{n}-p\|^{2}\), neglecting the negative term \(-\frac{(1-\alpha_{n}\tau)^{2}\beta_{n}(1-\beta_{n})}{1-\alpha_{n}\theta}\| Tx_{n}-x_{n}\|^{2}\) in the obtained relation, we get the following inequality:
From relation (3.4) we also obtain
where \(M=\sup_{n\in \mathbb{N}}\{\frac{\alpha_{n}\tau^{2}}{1-\alpha_{n}\theta}\varGamma_{n}+\frac {2}{1-\alpha_{n}\theta}\|\mu F(p)-f(p)\|\cdot\|x_{n+1}-p\|\}\).
Case 1: Suppose that there exists \(n_{0}\) such that \(\{\varGamma_{n}\}_{n\ge n_{0}}\) is nonincreasing, it is equal to \(\varGamma_{n+1}\le\varGamma_{n}\) for all \(n\ge n_{0}\). It follows that \(\lim_{n\to\infty}\varGamma_{n}\) exists, so we conclude that
Since \(\lim_{n\to\infty}\alpha_{n}=0\), and from (3.6), (3.7) we deduce that
From assumption (iii), we obtain that
Therefore we get
In order to apply Xu’s Lemma 2.8 to the sequence \(a_{n}=\varGamma_{n}\), we show that
where p is the unique solution of the variational inequality (3.2).
Since \(\{x_{n}\}_{n\in\mathbb{N}}\) is bounded, there exists \(\{x_{n_{k}}\}_{k\in\mathbb{N}}\) of \(\{x_{n}\}_{n\in\mathbb{N}}\) and \(x\in H\) such that \(x_{n_{k}}\rightharpoonup x \) and
From (3.8) and \(I-T\) demiclosed at 0, we know that \(x\in \operatorname{Fix}(T)\). Since \(p=P_{\operatorname{Fix}(T)}(I-\lambda(\mu F-f))p\) and \(x\in \operatorname{Fix}(T)\), we have
Set \(\sigma_{n}=\frac{\frac{1}{2}\alpha_{n}\tau^{2}\varGamma_{n}}{\tau-\theta}+\frac {1}{\tau-\theta}\langle f(p)-\mu F(p),x_{n+1}-p\rangle\). Since \(\{x_{n}\}_{n\in\mathbb{N}}\) is bounded, so is \(\{\varGamma_{n}\}_{n\in\mathbb{N}}\). Equation (3.9) and assumption (i) imply \(\limsup_{n\to\infty}\sigma_{n}\le0\). It follows from assumptions (i) and (ii) that
Then \(\lim_{n\to\infty}\|x_{n}-p\|=0\) by Lemma 2.8.
Case 2: Suppose that there exists \(\{n_{k}\}_{k\in\mathbb{N}}\) of \(\{n\}_{n\in\mathbb{N}}\) such that \(\|x_{n_{k}}-p\|<\|x_{n_{k}+1}-p\|\) for all \(k\in\mathbb{N}\).
From Maingé’s Lemma 2.9, there exists a nondecreasing sequence of integers \(\{\delta(n)\}_{n\in\mathbb{N}}\) satisfying, for all \(n\ge n_{0}\), the following:
-
(a)
\(\lim_{n\to\infty}\delta(n)=\infty\);
-
(b)
\(\|x_{\delta(n)}-p\|<\|x_{\delta(n)+1}-p\|\);
-
(c)
\(\|x_{n}-p\|<\|x_{\delta(n)+1}-p\|\).
From the last and relation (3.5), we have
Hence it turns out that
By (3.10), (3.6), and arguing as in case 1, we get
Similar to Case 1, we have
If we replace n with \({\delta(n)}\) in (3.5), by condition (b), we obtain
and also
Therefore dividing both sides of the obtained inequality by \(\alpha_{\delta(n)}\), we have
Since \(\lim_{n\to\infty}\alpha_{\delta(n)}=0\), by (3.11) and (3.12), we get \(\lim_{n\to\infty}\|x_{\delta(n)}-p\|=0\). By condition (c), \(\lim_{n\to\infty}\|x_{n}-p\|=0\). □
Corollary 3.2
Let \(T_{\rho}:H\to H\) be a ρ-strongly quasi-nonexpansive mapping such that \(\operatorname{Fix}(T_{\rho})\neq\emptyset\), with \(\rho>0\) and \(I-T_{\rho}\) demiclosed at 0. For any given \(x_{0}\in H\), the iterative sequence \(\{x_{n}\}_{n\in\mathbb{N}}\subset H\) is generated by
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\), defined by (3.13), converges strongly to \(p\in \operatorname{Fix}(T_{\rho})\), which is the unique solution in \(\operatorname{Fix}(T_{\rho})\) of the variational inequality (VI)
Proof
By Lemma 2.1, there exists a quasi-nonexpansive mapping T such that \(T_{\rho}=(1-\frac{1}{1+\rho})I+\frac{1}{1+\rho}T\) and \(\operatorname{Fix}(T_{\rho})=\operatorname{Fix}(T)\). \(I-T_{\rho}\) is demiclosed at 0, so is \(I-T\). Take \(\beta_{n}=1-\frac{1}{1+\rho}\) for all \(n\in\mathbb{N}\), since \(\rho>0\), then \(\beta_{n}(1-\beta_{n})=\frac{\rho}{(1+\rho)^{2}}>0\). Then Corollary 3.2 follows from Theorem 3.1. □
4 Split equality fixed point problems
Let \(H_{1}\) and \(H_{2}\) be two real Hilbert spaces, the product \(H=H_{1}\times H_{2}\) is a Hilbert space with inner product and norm given by
for any .
In this section we always assume that
-
(1)
\(H_{1}\), \(H_{2}\), \(H_{3}\) are three real Hilbert spaces and \(H=H_{1}\times H_{2}\);
-
(2)
, where \(T_{i}\), \(i=1,2\), is a one-to-one and quasi-nonexpansive mapping;
-
(3)
\(G= [A_{1} \ {-}A_{2}] \) and , where \(A_{i}\), \(i=1,2\) is a bounded linear operator from \(H_{i}\) into \(H_{3}\) and \(A^{*}_{i}\) is the adjoint of \(A_{i}\);
-
(4)
, where \(f_{i}\), \(i=1,2\) is a θ-contraction on \(H_{i}\) with \(\theta\in (0,1)\);
-
(5)
, where \(F_{i}\), \(i=1,2\), is L-Lipschitz continuous and η-strongly monotone on \(H_{i}\) with \(L>0\), and \(\eta>0\).
Lemma 4.1
([17])
Let \(U=I-\lambda G^{*}G\), where \(0<\lambda<2/\rho(G^{*}G)\) with \(\rho(G^{*}G)\) being the spectral radius of the self-adjoint operator \(G^{*}G\) on H. Then we have the following result:
-
(1)
\(\|U\|\le1\) (i.e., U is nonexpansive) and averaged;
-
(2)
, \(\operatorname{Fix}(P_{C}U)=\operatorname{Fix}(P_{C})\cap \operatorname{Fix}(U)\).
Theorem 4.2
Let \(H_{1}\), \(H_{2}\), \(H_{3}\), H, \(T_{1}\), \(T_{2}\), T, \(A_{1}\), \(A_{2}\), G, \(G^{*}G\), \(f_{1}\), \(f_{2}\), f, \(F_{1}\), \(F_{2}\), F satisfy the above conditions (1)–(5). For any given \(x_{0}\in H\), the iterative sequence is generated by
or its equivalent form
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\). If the solution set of (SEFP) is nonempty and the following conditions are satisfied:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(\limsup_{n\to\infty}\beta_{n}(1-\beta_{n})>0\);
-
(iv)
\(\lambda\in(0,\frac{2}{R})\), where \(R=\|G\|^{2}\);
-
(v)
for each \(i=1,2\), \(T_{i}\) is demiclosed;
-
(vi)
\(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\theta\in(0,\tau)\), where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\), defined by (4.1), converges strongly to \(p\in\varGamma\), which is the unique solution in Γ of the variational inequality (VI)
Proof
For each \(i=1,2\), since \(f_{i}\) is θ-contraction, \(F_{i}\) is L-Lipschitz continuous and η-strongly monotone on \(H_{i}\) with \(L>0\) and \(\eta>0\), and \(T_{i}\) is quasi-nonexpansive, we have
i.e.,
for all . This shows that f is a θ-contraction. Similarly, F is L-Lipschitz continuous and η-strongly monotone, and T is a quasi-nonexpansive mapping.
Let be a sequence in \(H=H_{1}\times H_{2}\) such that , and \(\lim_{n\to\infty}\|Tx_{n}-x_{n}\|=0\). Then, for each \(i=1,2\), we have \(\lim_{n\to\infty}\|T_{i}x_{i,n}-x_{i,n}\|=0\), and
for each . For each \(i=1,2\), let \(y_{i}\in H_{i}\) and with \(y_{j}=0\) (\(j\neq i\)). Then \(\lim_{n\to\infty}\langle x_{n}-x,y\rangle=0\) implies \(\lim_{n\to\infty}\langle x_{i,n}-x_{i},y_{i}\rangle=0\) and \(x_{i,n}\rightharpoonup x_{i}\).
For each \(i=1,2\), since \(T_{i}: H_{i}\to H_{i}\) is demiclosed, \(x_{i}\in \operatorname{Fix}(T_{i})\). It is easy to see that \(x\in \operatorname{Fix}(T)\neq\emptyset\). Hence T is demiclosed.
By Lemma 4.1, \(U=I-\lambda G^{*}G\) is a \(\frac{1-\alpha}{\alpha}\)-strongly quasi-nonexpansive mapping for some \(\alpha>0\), and . Since \(\varGamma\neq\emptyset\), U is a strictly quasi-nonexpansive mapping. By Lemma 2.3, \(\operatorname{Fix}(TU)=\operatorname{Fix}(T)\cap \operatorname{Fix}(U)=\varGamma\neq\emptyset\).
5 Applications
In this section, we always assume that \(H_{1}\), \(H_{2}\), \(H_{3}\), H, \(T_{1}\), \(T_{2}\), T, \(A_{1}\), \(A_{2}\), G, \(G^{*}G\), \(f_{1}\), \(f_{2}\), f, \(F_{1}\), \(F_{2}\), F satisfy conditions (1)–(5) in Sect. 4.
5.1 Split equality common fixed point problems
The split equality common fixed point problem (SECFPP) is the problem of finding
where \(T_{i}\), \(i=1,2\), is a quasi-nonexpansive mapping on \(H_{i}\) and \(S_{i}\), \(i=1,2\), is a firmly nonexpansive mapping on \(H_{i}\), respectively. Its solution set is denoted by , then we have the following result.
Theorem 5.1
Let , where \(S_{i}\), \(i=1,2\), is a firmly nonexpansive mapping on \(H_{i}\). For any given \(x_{0}\in H\), the iterative sequence is generated by
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\). If the solution set \(\varGamma_{\mathrm{CF}}\) is nonempty and the following conditions are satisfied:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(\limsup_{n\to\infty}\beta_{n}(1-\beta_{n})>0\);
-
(iv)
\(\lambda\in(0,\frac{2}{R})\), where \(R=\|G\|^{2}\);
-
(v)
for each \(i=1,2\), \(T_{i}\) is demiclosed;
-
(vi)
\(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\theta\in(0,\tau)\), where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\), defined by (5.2), converges strongly to \(p\in\varGamma_{\mathrm{CF}}\), which is the unique solution in \(\varGamma_{\mathrm{CF}}\) of the variational inequality (VI)
Proof
For each \(i=1,2\), \(S_{i}\) is a firmly nonexpansive mapping on \(H_{i}\), it is easy to verify that S is a firmly nonexpansive mapping on H. Since \(\varGamma_{\mathrm{CF}}\neq\emptyset\), S is a strictly quasi-nonexpansive mapping on H. By Lemma 2.3, \(\operatorname{Fix}(TS)=\operatorname{Fix}(T)\cap \operatorname{Fix}(S)\) and TS is a quasi-nonexpansive mapping. Then Theorem 5.1 follows from Theorem 4.2. □
5.2 Split equality null point problems and split equality fixed point problems
Let \(\mathcal{M}\) be a set-valued mapping of H into \(2^{H}\). The effective domain of \(\mathcal{M}\) is denoted by \(\operatorname{dom}(\mathcal {M})\); that is, \(\operatorname{dom}(\mathcal{M})=\{x\in H: \mathcal{M}x\neq \emptyset\}\). A set-valued mapping \(\mathcal{M}\) is said to be a monotone operator on H if \(\langle u-v,x-y\rangle\ge0\) for all \(x, y \in \operatorname{dom}(M)\), \(u \in\mathcal{M}x\), and \(v \in\mathcal{M}y\). A monotone operator \(\mathcal{M}\) on H is said to be maximal if its graph is not properly contained in the graph of any other monotone operator on H.
The split equality null point problems and split equality fixed point problems are the problem of finding
where \(T_{i}\), \(i=1,2\) is a quasi-nonexpansive mapping on \(H_{i}\), and \(\mathcal{M}_{i}\), \(i=1,2\), is a set-valued maximal monotone operator of \(H_{i}\) into \(2^{H_{i}}\) with \(r>0\), respectively. Its solution set is denoted by .
For a maximal monotone operator \(\mathcal{M}\) on H and \(r > 0\), we may define a single-valued operator \(J^{\mathcal{M}}_{r} = (I+r\mathcal{M})^{-1}: H\to \operatorname{dom}(\mathcal{M})\), which is called the resolvent of \(\mathcal{M}\) for r. From Chuang [18] and Chang [19], we know that the associated resolvent mapping \(J^{\mathcal{M}}_{r}\) is a firmly nonexpansive mapping, and
This implies that the split equality null point problems and split equality fixed point problems (5.3) are equivalent to SECFPP (5.1). Then the following theorem can be obtained from Theorem 5.1 immediately.
Theorem 5.2
Let , where \(\mathcal {M}_{i}\), \(i=1,2\), is a set-valued maximal monotone operator of \(H_{i}\) into \(2^{H_{i}}\), \(J^{\mathcal{M}_{i}}_{r}\) is the associated resolvent of \(\mathcal{M}_{i}\) with \(r>0\), respectively. For any given \(x_{0}\in H\), the iterative sequence is generated by
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\). If the solution set \(\varGamma_{NF}\) is nonempty and the following conditions are satisfied:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(\limsup_{n\to\infty}\beta_{n}(1-\beta_{n})>0\);
-
(iv)
\(\lambda\in(0,\frac{2}{R})\), where \(R=\|G\|^{2}\);
-
(v)
for each \(i=1,2\), \(T_{i}\) is demiclosed;
-
(vi)
\(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\theta\in(0,\tau)\), where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\), defined by (5.4), converges strongly to \(p\in\varGamma_{NF}\), which is the unique solution in \(\varGamma_{NF}\) of the variational inequality (VI)
5.3 Split equality optimization problems and split equality fixed point problems
Let \(H_{i}\), \(i=1,2,3\), be a real Hilbert space. Let \(g_{i}: H_{i}\to \mathbb{R}\), \(i=1,2\), be a proper, convex, and lower semi-continuous function, and \(A_{i}: H_{i}\to H_{3}\), \(i=1,2\), be a bounded linear operator.
The split equality optimization problem (SEOP) is the problem of finding
The split equality optimization problem and split equality fixed point problems are the problem of finding
where \(T_{i}\), \(i=1,2\), is a quasi-nonexpansive mapping on \(H_{i}\). The solution set of (5.6) is denoted by .
The subdifferential of \(g_{i}\), \(i=1,2\), at x is the set
Denoted by \(\partial g_{i} = \mathcal{M}_{i}\), \(i=1,2\), is a maximal monotone mapping, so we can define the resolvent \(J^{\mathcal {M}_{i}}_{r}\), where \(r > 0\). Since \(x_{1}\) and \(x_{2}\) are a minimum of \(g_{1}\) on \(H_{1}\) and that of \(g_{2}\) on \(H_{2}\), respectively, for any given \(r > 0\), we have
This implies that the split equality optimization problem and split equality fixed point problems (5.6) are equivalent to the split equality null point problems and split equality fixed point problems (5.3). Then the following theorem can be obtained from Theorem 5.2 immediately.
Theorem 5.3
Let \(g_{i}: H_{i}\to\mathbb{R}\), \(i=1,2\), be a proper, convex, and lower semi-continuous function. Let , where \(\mathcal {M}_{i}=\partial g_{i}\), \(i=1,2\), and \(J^{\mathcal{M}_{i}}_{r}\) is the associated resolvent of \(\mathcal{M}_{i}\) with \(r>0\), respectively. For any given \(x_{0}\in H\), the iterative sequence is generated by
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\). If the solution set \(\varGamma_{\mathrm{OF}}\) is nonempty and the following conditions are satisfied:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(\limsup_{n\to\infty}\beta_{n}(1-\beta_{n})>0\);
-
(iv)
\(\lambda\in(0,\frac{2}{R})\), where \(R=\|G\|^{2}\);
-
(v)
for each \(i=1,2\), \(T_{i}\) is demiclosed;
-
(vi)
\(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\theta\in(0,\tau)\), where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\), defined by (5.7), converges strongly to \(p\in\varGamma_{\mathrm{OF}}\), which is the unique solution in \(\varGamma_{\mathrm{OF}}\) of the variational inequality (VI)
5.4 Split equality equilibrium problems and split equality fixed point problems
Let C be a nonempty closed and convex subset of a real Hilbert space. A bifunction \(\varTheta: C\times C\to\mathbb{R}\) is called an equilibrium function if and only if it satisfies the following conditions:
-
(A1)
\(\varTheta(x,x)=0\) for all \(x\in C\);
-
(A2)
Θ is monotone, i.e., \(g(x,y)+g(y,x)\le0\) for all \(x,y\in C\);
-
(A3)
Θ is upper-hemicontinuous, i.e., for all \(x,y,z\in C\), \(\limsup_{t\to0^{+}}\varTheta(tz+(1-t)x,y)\le \varTheta(x,y)\);
-
(A4)
\(\varTheta(x,\cdot)\) is convex and lower semicontinuous for all \(x\in C\).
The so-called equilibrium problem with respect to the equilibrium function Θ is the problem of finding
Its solution set is denoted by \(\operatorname{EP}(\varTheta, C)\). Numerous problems in physics, optimization, and economics are reduced to finding a solution of (5.8) (see [20, 21]).
The split equality equilibrium problems and split equality fixed point problems are the problem of finding
where \(T_{i}\), \(i=1,2\), is a quasi-nonexpansive mapping on \(H_{i}\) and \(\varTheta_{i}\) is an equilibrium function of \(C_{i}\times C_{i}\) into \(\mathbb{R}\), respectively. Its solution set is denoted by .
For given \(r>0\) and \(x\in H\), the resolvent of the equilibrium function Θ is the operator defined by
Proposition 5.4
([22])
The resolvent operator \(T^{\varTheta}_{r}\) of the equilibrium function Θ has the following properties:
-
(i)
\(T^{\varTheta}_{r}\) is single-valued;
-
(ii)
\(\operatorname{Fix}(T^{\varTheta}_{r}) = \operatorname{EP}(\varTheta, C)\), and \(\operatorname{EP}(\varTheta, C)\) is a nonempty closed and convex subset of C;
-
(iii)
\(T^{\varTheta}_{r}\) is a firmly nonexpansive mapping.
Using the above lemma, Takahashi et al. [23] obtained the following lemma. See Aoyama et al. [24] for a more general result.
Lemma 5.5
Let C be a nonempty closed convex subset of H, and let Θ be a bifunction of \(C\times C\) into \(\mathbb{R}\) satisfying (A1) to (A4). Let \(\mathcal{M}_{\varTheta}\) be a set-valued mapping of H into itself defined by
Then \(\operatorname{EP}(\varTheta, C)=\mathcal{M}_{\varTheta}^{-1}(0)\) and \(\mathcal {M}_{\varTheta}\) is a maximal monotone operator with \(\operatorname{dom}(\mathcal {M}_{\varTheta}) \subset C\). Furthermore, for any \(x\in H\) and \(r > 0\), the resolvent \(T^{\varTheta}_{r}\) of Θ coincides with the resolvent of \(\mathcal{M}_{\varTheta}\), i.e.,
This implies that the split equality equilibrium problems and split equality fixed point problems (5.9) are equivalent to the split equality null point problems and split equality fixed point problems (5.3). Then we have the following result.
Theorem 5.6
Let \(C_{i}\), \(i=1,2\), be a nonempty closed convex subset of \(H_{i}\). Let , where \(\varTheta_{i}\), \(i=1,2\), is an equilibrium function of \(C_{i}\times C_{i}\) into \(\mathbb{R}\) with \(r>0\). For any given \(x_{0}\in H\), the iterative sequence is generated by
where \(\{\alpha_{n}\}_{n\in\mathbb{N}}\) and \(\{\beta_{n}\}_{n\in\mathbb{N}}\) are two sequences in \((0,1)\). If the solution set \(\varGamma_{\mathrm{OF}}\) is nonempty and the following conditions are satisfied:
-
(i)
\(\lim_{n\to\infty}\alpha_{n}=0\);
-
(ii)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(\limsup_{n\to\infty}\beta_{n}(1-\beta_{n})>0\);
-
(iv)
\(\lambda\in(0,\frac{2}{R})\), where \(R=\|G\|^{2}\);
-
(v)
for each \(i=1,2\), \(T_{i}\) is demiclosed;
-
(vi)
\(\mu\in(0,\frac{2\eta}{L^{2}})\) and \(\theta\in(0,\tau)\), where \(\tau=\mu(\eta-\frac{1}{2}\mu L^{2})\).
Then the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\), defined by (5.10), converges strongly to \(p\in\varGamma_{\mathrm{OF}}\), which is the unique solution in \(\varGamma_{\mathrm{OF}}\) of the variational inequality (VI)
References
Moudafi, A.: Viscosity approximation methods for fixed-points problems. J. Math. Anal. Appl. 241, 46–55 (2000)
Maingé, P.E.: The viscosity approximation process for quasi-nonexpansive mappings in Hilbert spaces. Comput. Math. Appl. 59, 74–79 (2010)
Tian, M., Jin, X.: A general iterative method for quasi-nonexpansive mappings in Hilbert space. J. Inequal. Appl. 2012, 38 (2012)
Marino, G., Scardamaglia, B., Zaccone, R.: A general viscosity explicit midpoint rule for quasi-nonexpansive mappings. J. Nonlinear Convex Anal. 1, 137–148 (2017)
Censor, Y., Elfving, T.: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 8, 221–239 (1994)
Moudafi, A.: A relaxed alternating CQ-algorithm for convex feasibility problems. Nonlinear Anal. 79, 117–121 (2013)
Moudafi, A., Al-Shemas, E.: Simultaneous iterative methods for split equality problem. Trans. Math. Program. Appl. 1, 1–11 (2013)
Cho, S.Y., Qin, X., Yao, J.-C., Yao, Y.: Viscosity approximation splitting methods for monotone and nonexpansive operators in Hilbert spaces. J. Nonlinear Convex Anal. 19, 251–264 (2018)
Yao, Y., Qin, X., Yao, J.-C.: Projection methods for firmly type nonexpansive operators. J. Nonlinear Convex Anal. 19, 407–415 (2018)
Yao, Y.-H., Liou, Y.-C., Yao, J.-C.: Iterative algorithms for the split variational inequality and fixed point problems under nonlinear transformations. J. Nonlinear Sci. Appl. 10, 843–854 (2017)
Zhu, Z., Zhou, Z., Liou, Y.-C., Yao, Y., Xing, Y.: A globally convergent method for computing the fixed point of self-mapping on general nonconvex set. J. Nonlinear Convex Anal. 18, 1067–1078 (2017)
Bauschke, H.H., Combettes, P.L.: Convex Analysis and Monotone Operator Theory in Hilbert Spaces. Springer, Berlin (2011)
Takahashi, W.: Nonlinear Functional Analysis—Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama (2000)
Goebel, K., Kirk, W.A.: Topics in Metric Fixed Point Theory. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1990)
Xu, H.K.: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 66, 240–256 (2002)
Maingé, P.E.: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. Set-Valued Anal. 16, 899–912 (2008)
Shi, L.Y., Chen, R., Wu, Y.: Strong convergence of iterative algorithms for the split equality problem. J. Inequal. Appl. 2014, 478 (2014)
Chuang, C.S.: Strong convergence theorems for the split variational inclusion problem in Hilbert spaces. Fixed Point Theory Appl. 2013, 350 (2013)
Chang, S.S., Wang, L., Tang, Y.K., 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, 215 (2014)
Chang, S.S., Lee, H.W.J., Chan, C.K.: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal. 70, 3307–3319 (2009)
Qin, X., Shang, M., Su, Y.: A general iterative method for equilibrium problem and fixed point problem in Hilbert spaces. Nonlinear Anal. 69, 3897–3909 (2008)
Blum, E., Oettli, W.: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123–145 (1994)
Takahashi, S., Takahashi, W., Toyoda, M.: Strong convergence theorems for maximal monotone operators with nonlinear mappings in Hilbert spaces. Math. Stud. 147, 27–41 (2010)
Aoyama, K., Kimura, Y., Takahashi, W.: Maximal monotone operators and maximal monotone functions for equilibrium problems. J. Convex Anal. 15, 395–409 (2008)
Funding
This work was supported by the Scientific Research Fund of SiChuan Provincial Education Department (No. 16ZA0333).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Liu, X., Chen, Z. & Xiao, Y. General viscosity approximation methods for quasi-nonexpansive mappings with applications. J Inequal Appl 2019, 71 (2019). https://doi.org/10.1186/s13660-019-2012-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2012-z