Abstract
In this paper, we consider the approximations of an iterative process for asymptotically k-strict pseudocontractive mappings in Hilbert spaces. Finally, we present some examples to study the rate of convergence.
Similar content being viewed by others
1 Preliminaries
The class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [1] in 1972. They proved that if C is a nonempty bounded, closed and convex subset of a uniformly convex Banach space E, then every asymptotically nonexpansive self-mapping T of C has a fixed point. Further, the set \(F(T)\) of fixed points of T is closed and convex. In [2], Zegeye et al. introduced a class of Lipschitz pseudocontractive mappings in a Banach space. Since then, the weak and strong convergence problems of the iterative algorithms for such a class of mappings have been studied by several researchers under suitable conditions (see Yao et al. [3] and [4]; Thakur et al. [5, 6]; Dewangan et al. [7, 8]; Zegeye and Shahzad [9]; Jung [10]). Also, the class of nonexpansive mappings via iteration methods was extensively studied (see Tan and Xu [11]; Thakur et al. [12]).
In 2011, Ceng et al. [13] considered the following concept of asymptotically k-strict pseudocontractive type mapping in the intermediate sense in a Hilbert space ℋ. For an asymptotically k-strict pseudocontractive type mapping T with sequence \(\{\gamma_{n} \}\), Ceng et al. proved that the Mann iteration sequence converges weakly to a fixed point of T.
In this paper, based on [13], the convergence of the iteration approximation of asymptotically k-strict pseudocontractive type mappings in a Hilbert space is studied. Finally, we study the rate of convergence of the iteration. Also, some illustrative numerical examples (using Matlab software) are presented.
We need the following definitions and lemmas for the main results.
Definition 1.1
[13]
Let B be a nonempty subset of a Hilbert space ℋ. A mapping \(T: B \rightarrow B\) is called an asymptotically k-strict pseudocontractive type mapping in the intermediate sense with sequence \(\{\gamma_{n}\} \) if there exists a constant \(k \in [0,1)\) and a sequence \(\{\gamma_{n}\} \) in \([0, \infty)\) with \(\lim_{n\rightarrow\infty}\gamma_{n}=0\) such that
Throughout this paper we assume
Then \(\Theta_{n} \geq0 \) (\(\forall n \geq1\)), \(\Theta_{n}\rightarrow 0 \) (\(n\rightarrow\infty\)), and (1.1) reduces to the relation
for all \(x,y\in B\) and \(n\geq1\).
Lemma 1.2
[13]
Suppose that \(\{\delta_{n}\}\), \(\{\beta_{n}\}\) and \(\{\gamma_{n}\}\) are three sequences of nonnegative numbers satisfying the recursive inequality
if \(\beta_{n}\geq1\), \(\sum_{n=1}^{\infty}(\beta_{n}-1)< \infty\) and \(\sum_{n=1}^{\infty}\gamma_{n} <\infty\), then \(\lim_{n\rightarrow \infty}\delta_{n}\) exists.
Lemma 1.3
[14]
Assume that \(\{a_{n}\}\) is a sequence of nonnegative numbers such that
where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\) and \(\{\delta_{n}\}\) is a sequence of real numbers such that
-
(I)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\) and \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(II)
\(\limsup_{n\rightarrow\infty}\frac{\delta_{n}}{\alpha_{n}} \leq0\) or \(\sum_{n=1}^{\infty}|\delta_{n} | <\infty\).
Then \(\lim_{n\rightarrow\infty}a_{n}=0\).
Lemma 1.4
[15]
Let X be a uniformly convex Banach space, \(\{t_{n} \}\) be a sequence of real numbers in \((0,1)\) bounded away from 0 and 1, and \(\{x_{n}\}\) and \(\{y_{n}\}\) be sequences of X such that \(\limsup_{n\rightarrow\infty}\|x_{n}\|\leq a\), \(\limsup_{n\rightarrow\infty}\|y_{n}\|\leq a\) and \(\limsup_{n\rightarrow\infty}\|t_{n}x_{n}+(1-t_{n})y_{n}\|= a\) for some \(a\geq0\), then \(\lim_{n\rightarrow\infty}\|x_{n}-y_{n}\|=0\).
Lemma 1.5
[13]
Let \(\{x_{n}\}\) be a bounded sequence on a reflexive Banach space X. If \(w_{w}( \{x_{n} \})= \{x \}\), then \(x_{n} \rightharpoonup x\).
Lemma 1.6
[13]
Let ℋ be a real Hilbert space.
-
(i)
\(\|x-y\|^{2}=\|x\|^{2}-\|y\|^{2}-2{\prec} x-y,y {\succ}\) for all \(x,y \in \mathcal{H}\);
-
(ii)
\(\|(1-t)x+ty\|^{2}=(1-t)\|x\|^{2}+t\|y\|^{2}-t(1-t)\|x-y\|^{2}\) for all \(t\in[0,1]\) and for all \(x,y \in\mathcal{H}\);
-
(iii)
If \(\{x_{n}\}\) is a sequence in ℋ such that \(x_{n}\rightharpoonup x\), it follows that
$$\limsup_{n\rightarrow\infty}\|x_{n}-y\|^{2}=\limsup _{n\rightarrow\infty}\| x_{n}-x\|^{2}+\|x-y \|^{2},\quad \forall y\in\mathcal{H}. $$
Lemma 1.7
[13]
Let B be a nonempty subset of a Hilbert space ℋ and \(T:B\rightarrow B\) be an asymptotically k-strict pseudocontractive type mapping in the intermediate sense with sequence \(\{ \gamma_{n}\}\). Then
for all \(x,y \in B\) and \(n\geq1\), where \(h_{n}(x,y)=4k\|y-T^{n}y\|\|x-T^{n}x+y-T^{n}y\|+\Theta_{n}\). In particular, if \(F(T)\neq\phi\), then the above inequality reduces to the following
for all \(x \in B\), \(q\in F(T)\) and \(n\geq1\).
Lemma 1.8
[13]
Let B be a nonempty subset of a Hilbert space ℋ and \(T:B\rightarrow B\) be a uniformly continuous asymptotically k-strict pseudocontractive type mapping in the intermediate sense with sequence \(\{ \gamma_{n}\}\). Let \(\{x_{n}\}\) be a bounded sequence in B such that \(\|x_{n}-x_{n+1}\|\rightarrow0\) and \(\|x_{n}-T^{n}x_{n}\|\rightarrow0 \) as \(n\rightarrow\infty\). If \(F(T)\neq\phi\), then \(\|x_{n}-Tx_{n}\|\rightarrow0\) as \(n\rightarrow\infty\).
Proposition 1.9
[13]
Let B be a nonempty, closed and convex subset of a Hilbert space ℋ and \(T:B\rightarrow B\) be a continuous asymptotically k-strict pseudocontractive type mapping in the intermediate sense with sequence \(\{\gamma_{n}\}\) such that \(F(T)\neq \phi\). Then \(I-T\) is demiclosed at zero in the sense that if \(\{x_{n}\}\) is a sequence in B such that \(x_{n}\rightharpoonup x \in B \) and \(\limsup_{m\rightarrow\infty}\limsup_{n\rightarrow\infty}\|x_{n}-T^{m}x_{n}\|=0\), then \((I-T)x=0\).
2 Semigroup
Let B be a nonempty and closed subset of a Hilbert space ℋ and \(I : B \rightarrow B\) be an identity mapping.
A one-parameter family \(\zeta=\{T(t):0\leq t < \infty\}\) from self-mappings of a nonempty closed convex subset B of a Hilbert space ℋ is said to be a nonexpansive semigroup on B if the following conditions are satisfied:
-
(I)
\(T(0)x=x\) for all \(x \in B\);
-
(II)
\(T(s+t)x=T(s)T(t)x\) for all \(x \in B\) and \(s,t\geq0\);
-
(III)
For each \(x \in B\), the mapping \(t\rightarrow T(t)x\) is continuous on \([0,\infty)\);
-
(IV)
\(\|T(t)x-T(t)y\| \leq\|x-y\|\) for all \(x,y \in B\).
We denote by \(\operatorname{Fix}(\zeta)\) the set of all common fixed points of ζ; that is, \(\operatorname{Fix}(\zeta)=\{x \in B: T(s)x=x, \forall s>0 \}\). \(\operatorname{Fix}(\zeta)\) is nonempty if B is bounded.
Lemma 2.1
[16]
Let B be a nonempty, bounded, closed and convex subset of ℋ and \(\zeta=\{T(t):0\leq t < \infty\}\) be a nonexpansive semigroup on B. Then
In this section, we study a new modified iteration process. This process is defined by
where \(\{\beta_{n,i} \}\), \(i=0,\ldots,m\), are the sequences in \((0,1)\) such that the following conditions are satisfied:
-
(1)
\(0 < \liminf_{n\rightarrow\infty} \beta_{n,i} \leq \limsup_{n\rightarrow\infty}\beta_{n,i} <1\).
-
(2)
\(T_{i}:B\rightarrow B\) are uniformly continuous asymptotically \(k_{i}\)-strict pseudocontractive type mappings in the intermediate sense with sequences \(\{\gamma_{n,i}\} \) if there exist constants \(k_{i} \in[0,1)\) and sequences \(\{\gamma_{n,i}\} \) in \([0, \infty)\) with \(\lim_{n\rightarrow\infty}\gamma_{n,i}=0\) for \(i=0,\ldots,m\) such that
$$\begin{aligned}& \bigl\| T^{n}_{i}x-T^{n}_{i}y \bigr\| ^{2} \\& \quad\leq (1+\gamma_{ni})\|x-y\|^{2} \\& \quad\quad{}+ k_{i} \max\bigl\{ \bigl\| x-T^{n}_{i}x- \bigl(y-T^{n}_{i}y\bigr)\bigr\| ,\bigl\| x-T^{n}_{i}x +\bigl(y-T^{n}_{i}y\bigr)\bigr\| \bigr\} ^{2} + \Theta_{ni}, \end{aligned}$$for \(i=0,\ldots,m\) and for all \(x,y \in B\), \(n\geq1\).
-
(3)
ψ is a contractive mapping on B with coefficient λ.
-
(4)
\(\zeta=\{\phi(t): 1\leq t < \infty\}\) is a nonexpansive semigroup on B.
-
(5)
\(\{t_{n}\} \subset[1,+\infty) \) is a positive real divergent sequence.
Now, we prove that the sequence \(\{x_{n}\}\) generated by (2.1) is weakly convergent in a Hilbert space ℋ.
Theorem 2.2
Let B be a nonempty, closed and convex subset of a real Hilbert space ℋ. Suppose that \(T_{i}:B\rightarrow B\) are uniformly continuous asymptotically \(k_{i}\)-strict pseudocontractive type mappings in the intermediate sense for \(i=0,\ldots,m\), for all \(x \in B\), \({\prec} x-T_{i}x , T_{i}x {\succ}\geq0\). Assume that \(\sum_{n=1}^{\infty}\gamma_{ni} <\infty\) and \(\{ x_{n} \}\) is a sequence defined by (2.1). If \(F=\bigcap_{i=0}^{m}F(T_{i})\cap F(\psi) \cap F(\xi) \neq\phi\), then
-
(1)
\(\lim_{n\rightarrow\infty}\|x_{n}-q\|\) exists for all \(q\in F\);
-
(2)
\(\lim_{n\rightarrow\infty}\|x_{n}-u_{n}\|=0\) and \(\lim_{n\rightarrow\infty}\|x_{n}-T_{i}x_{n}\|=0\) (\(i=0,\ldots,m\));
-
(3)
The sequence \(\{x_{n} \}\) is weakly convergent to \(q \in F\).
Proof
By the Hölder inequality,
for \(1 \leq j \leq n\),
Using Lemma 1.6(i), we have
since \({\prec} x_{n}-T^{j}_{0}x_{n},T^{j}_{0}x_{n} {\succ}\geq0\),
therefore
By process (2.1), we get
where \(\varsigma_{n}=\max\{\gamma_{j0}, 1 \leq j\leq n\}\) and \(\upsilon_{n}=\max\{\Theta_{j0}, 1 \leq j\leq n\}\). By process (2.1) and inequality (2.2),
where \(\rho_{0}=1+\frac{\varsigma_{n}}{k_{0}+1}\) and \(\sigma_{0}=\frac{\upsilon_{n}}{k_{0}+1}\). For \(2 \leq i \leq m\),
using Lemma 1.6(i), for \(2 \leq i \leq m\),
Let \(\rho_{i}=1+\frac{\gamma_{ni}}{1+k_{i}}\) and \(\sigma_{i}=\frac{\Theta_{ni}}{1+k_{i}}\) for \(i=1,\ldots,m\),
Also
continuing this process
so
where
and
By process (2.1),
by inequalities (2.6) and (2.7)
Since \(\lim_{n \rightarrow\infty}[ (1-\beta_{n,m} )\lambda^{2} + \beta_{n,m}\rho_{m}\mu_{n}] \leq1\) and \(\lim_{n \rightarrow\infty}\beta_{n,m}(\rho_{m}\eta_{n}+ \sigma_{m})=0\), by Lemma 1.2 we deduce that \(\lim_{n\rightarrow\infty}\|x_{n}-q\|=h \) exists for some \(h> 0\).
By inequality (2.6), \(\limsup_{n\rightarrow\infty}\| x_{n,m}-q\| \leq h\), also by inequality (2.7), since
then \(h \leq\liminf_{n\rightarrow\infty}\|x_{n,m}-q\|\) and \(\lim_{n\rightarrow\infty}\|x_{n,m}-q\|=h\).
By the same argument, \(\lim_{n\rightarrow\infty}\|x_{n,i}-q\|=h \) for \(i=2,\ldots,m-1\). By process (2.1),
and by inequality (2.4), \(\lim_{n\rightarrow\infty}\|T^{n}_{i}x_{n,i}-q\| \leq h\), then by Lemma 1.4, \(\lim_{n\rightarrow\infty}\|x_{n} -T_{i-1}^{n}x_{n,i-1}\|=0\) for \(i=2,\ldots,m\).
Now, we show \(\|x_{n}-T^{n}_{i-1}x_{n}\|\rightarrow0\) for \(i=2,\ldots ,m\), by process (2.1),
also
and by Lemma 1.7,
where \(h_{n}(x_{n},x_{n,i-1})=4k_{i-1}\|x_{n,i-1}-T^{n}_{i-1}x_{n,i-1}\|\| x_{n}-T^{n}_{i-1}x_{n}+x_{n,i-1}-T^{n}_{i-1}x_{n,i-1}\|+\Theta_{ni-1}\). We have
therefore
it means that \(\|x_{n,i-1}-T^{n}_{i-1}x_{n,i-1}\|\rightarrow0\), \(h_{n}(x_{n},x_{n,i-1})\rightarrow0\), \(\|T^{n}_{i-1}x_{n}-T^{n}_{i-1}x_{n,i-1}\| \rightarrow0\) and \(\|x_{n}-T^{n}_{i-1}x_{n}\|\rightarrow0\) for \(i=2,\ldots,m\). Since
and
by inequality (2.4), \(\lim_{n\rightarrow\infty}\|T^{n}_{m}x_{n,m}-q\| \leq h\), by Lemma 1.4, \(\lim_{n\rightarrow\infty}\|\psi(x_{n})-T_{m}^{n}x_{n,m}\|=0\). Since
then \(\lim_{n\rightarrow\infty}\|x_{n+1}-T_{m}^{n}x_{n,m}\|=0\).
We show \(\|x_{n}-T^{n}_{m}x_{n}\|\rightarrow0\) and \(\|x_{n+1}-x_{n}\|\rightarrow0\). We have
by the same argument
it means that \(\|x_{n,m}-T^{n}_{m}x_{n,m}\|\rightarrow0\) and \(\|x_{n+1}-x_{n}\|\rightarrow0\). Since
by Lemma 1.7 and inequality (2.9), \(\|x_{n}-T^{n}_{m}x_{n}\|\rightarrow0\).
We show \(\lim_{n\rightarrow\infty}\|u_{n}-x_{n}\|=0\) and \(\lim_{n\rightarrow\infty}\|T^{n}_{0}x_{n}-x_{n}\|=0\). Let \(\Omega_{n}= \frac{1}{t_{n}}\int_{0}^{t_{n}}\phi(s)u_{n}\,ds\), by inequality (2.3) and process (2.1), \(\lim_{n\rightarrow\infty}\|x_{n,1}-q\| =h\). Also
By inequality (2.3),
and \(\lim_{n\rightarrow\infty}\|\Omega_{n}-q\| \leq h\) and by Lemma 1.4, \(\lim_{n\rightarrow\infty}\|\Omega_{n}-x_{n}\|=0\). Since \(\|x_{n,1}-x_{n}\|=\beta_{n,0}\|\Omega_{n}-x_{n}\|\), then \(\lim_{n\rightarrow\infty}\|x_{n,1}-x_{n}\|=0\). Also \(\|x_{n}-q\| \leq\|x_{n}-\Omega_{n}\| +\|\Omega_{n}-q\|\) and \(\lim_{n\rightarrow\infty}\|\Omega_{n}-q\| = h\). By inequality (2.2), \(\|u_{n}-q\|^{2} \leq\rho_{0} \|x_{n}-q\|^{2}+\sigma_{0}\), so \(\limsup_{n\rightarrow\infty}\|u_{n}-q\| \leq \limsup_{n\rightarrow\infty}\|x_{n}-q\|=h\). On the other hand, by \(\|\Omega_{n}-q\|^{2} = \|\frac{1}{t_{n}}\int_{0}^{t_{n}}K(s)u_{n}\,ds-q\|^{2} \leq \|u_{n}-q\|^{2}\), we have
and by the same argument \(\lim_{n\rightarrow\infty}\|u_{n}-x_{n}\|=0\), \(\lim_{n\rightarrow\infty}\|T^{n}_{0}x_{n}-x_{n}\|=0\). For all \(0 \leq r < \infty\), we note that
by Lemma 2.1, \(\|\phi(r)x_{n}-x_{n}\|\rightarrow0\). Also by Lemma 1.8 we have \(\|x_{n}-T_{i}x_{n}\|\rightarrow0\) as \(n\rightarrow\infty\) for \(i=0,\ldots,m\). Assume that \(x_{ni}\rightarrow u\) weakly and \(x_{nj}\rightarrow v\) weakly as \(n\rightarrow\infty\). Then \(u,v \in F\). We prove that \(u=v\). If \(u \neq v\), by Opial’s condition,
which is a contradiction. Therefore, we have the conclusion. □
Theorem 2.3
Suppose that all of the conditions of Theorem 2.2 hold. If \(0 < \liminf_{n\rightarrow\infty} \beta_{n,i} \leq \limsup_{n\rightarrow\infty}\beta_{n,i} <1\) for all \(i=0,\ldots,m-1\), \(\lim_{n\rightarrow\infty}\beta_{n,m}=0\) and \(\sum_{n=1}^{\infty}\beta_{n,m}=\infty\), then the sequence \(\{x_{n}\}_{n\geq0}\) generated by (2.1) is strongly convergent to \(q \in F\) in B.
Proof
By the same argument of Theorem 2.2,
Since \(\lim_{n \rightarrow\infty}\beta_{n,m}=0\) and \(\lim_{n \rightarrow\infty}\beta_{n,m}(\rho_{m} \eta_{n}+ \sigma _{m})=0\), by Lemma 1.3 we deduce that \(\lim_{n\rightarrow\infty}\|x_{n}-q\|=0 \). Also \(\lim_{n \rightarrow\infty}\|x_{n}-T_{n,m}x_{n}\|=0\) for \(i=0,\ldots,m\) and \(\lim_{n \rightarrow\infty}\|x_{n+1}-x_{n}\|=0\). □
Now, we study a new modified iteration process. This process is defined by
where \(\{\beta_{n,i} \}\), \(i=0,\ldots,m\), are the sequences in \((0,1)\) and \(\phi:B \times I \rightarrow B\) is an integrable function and \(I=[0,b] \subset\mathbb{R}\). We have the following theorem.
Theorem 2.4
Suppose that all of the conditions of Theorem 2.2 hold. If \(\phi:B \times I\rightarrow B\) is a contraction mapping with constant \(l <1 \in\mathbb{R^{+}}\) such that for all \(x,y \in B\) and \(t \in I\),
Also \(0 < \liminf_{n\rightarrow\infty} \beta_{n,i} \leq \limsup_{n\rightarrow\infty}\beta_{n,i} <1\) for all \(i=0,\ldots,m-1\), \(\lim_{n\rightarrow\infty}\beta_{n,m}=0\) and \(\sum_{n=1}^{\infty}\beta_{n,m}=\infty\), then the sequence \(\{x_{n}\}_{n\geq0}\) generated by (2.11) is strongly convergent to \(q \in F=\bigcap_{i=0}^{m}F(T_{i})\cap F(\psi) \cap F(\phi) \neq\phi\) in B.
Proof
By the same argument of Theorem 2.2,
Then
Since \(\lim_{n \rightarrow\infty}\beta_{n,m}=0\) and \(\lim_{n \rightarrow\infty}\beta_{n,m}(\rho_{m}\eta_{n}+ \sigma_{m})=0\), by Lemma 1.3 we deduce that \(\lim_{n\rightarrow\infty}\|x_{n}-q\|=0 \). □
3 Some examples
In this section, we consider the following examples to illustrate the theoretical results.
Example 3.1
Let \(\mathcal{H}=\mathbb{R}\) be the set of real numbers and \(B=[0,\infty)\). For each \(x \in B\), we define
where \(0< k<\frac{1}{2}\). Set \(B_{1}=[0,\frac{1}{2}]\) and \(B_{2}=(\frac{1}{2},\infty)\). Then, for all \(x,y \in B_{1}\) and \(n\geq1\),
and
then for all \(n\geq1\), \(|T^{n}x-T^{n}y|\leq k^{n}|x-y|\).
For all \(x,y \in B_{2}\) and \(n\geq1\), \(|T^{n}x-T^{n}y|=0\leq|x-y|\).
For all \(x \in B_{1}\) and \(y \in B_{2}\), \(|Tx-Ty|=|\frac{k\sin x}{1+x}-0| \leq |kx-0|\),
Therefore \(T:B\rightarrow B\) is an asymptotically \(\frac{1}{2}\)-strict pseudocontractive type mapping in the intermediate sense.
Example 3.2
Let \(\mathcal{H}=\mathbb{R}\) be the set of real numbers and \(B=[0,\infty)\). For each \(x \in B\), we define
where \(0< k<\frac{1}{8}\). Therefore \(T:B\rightarrow B\) is an asymptotically \(\frac{1}{8}\)-strict pseudocontractive type mapping in the intermediate sense.
Example 3.3
[13]
Let \(\mathcal{H}=\mathbb{R}\) be the set of real numbers and \(B=[0,\infty)\). Suppose that \(T:B\rightarrow B\) is defined by [13]
where \(0< k<\frac{1}{4}\). Then \(T:B\rightarrow B\) is an asymptotically \(\frac{1}{4}\)-strict pseudocontractive type mapping in the intermediate sense.
Example 3.4
Let \(\mathcal{H}=\mathbb{R}\) be the set of real numbers and \(B=[0, \infty)\). Consider the following conditions:
-
(1)
\(T_{0}x=\frac{x}{100}\), \(T_{1}x=\frac{x}{200}\), \(T_{2}x=\frac{\sin x}{100(1+x)}\) and \(T_{3}x=\frac{ x}{100(1+x)}\);
-
(2)
\(\psi(x)=\frac{x}{100}\), therefore ψ is a contraction mapping with constant \(\lambda=\frac{1}{100}\);
-
(3)
\(\beta_{n,0}=\frac{n}{10n+1}\), \(\beta_{n,1}=\frac{n}{20n+1}\), \(\beta_{n,2}=\frac{n}{30n+1}\) and \(\beta_{n,3}=\frac{n}{40n+1}\);
-
(4)
\(\phi(s)=e^{-s}\) and \(t_{n}=n\).
Let \(\{x_{n}\}\) be the sequence defined by (2.1).So
and \(\operatorname{Fix}(\zeta)\cap \operatorname{Fix} (\psi)\bigcap^{3}_{i=0} \operatorname{Fix}(T_{i}) =\{0\}\). Set \(x_{1}= 1\) (see Figure 1).
Example 3.5
Suppose that all of the conditions of Example 3.4 hold.Suppose that \(\{x_{n}\}\) is defined by the process
and set \(x_{1}= 1\) (see Figure 2).
The rate of convergence of our approximation is faster than the corresponding one in [13].
Example 3.6
Let \(\mathcal{H}=\mathbb{R}\) be the set of real numbers and \(B=[0, \infty)\). Consider the following conditions:
-
(1)
\(T_{0}x=\frac{x}{100}\), \(T_{1}x=\frac{x}{200}\), \(T_{2}x=\frac{\sin x}{100(1+x)}\) and \(T_{3}x=\frac{ x}{100(1+x)}\);
-
(2)
\(\psi(x)=\frac{x}{100}\), therefore ψ is a contraction mapping with constant \(l=\frac{1}{100}\);
-
(3)
\(\beta_{n,0}=\frac{n}{10n+1}\), \(\beta_{n,1}=\frac{n}{20n+1}\), \(\beta_{n,2}=\frac{n}{30n+1}\) and \(\beta_{n,3}=\frac{n}{40n+1}\);
-
(4)
\(\phi(x,t)=\frac{\sin x}{e^{t}}\) and \(t_{n}=n\).
Let \(\{x_{n}\}\) be the sequence defined by the process
and \(\operatorname{Fix}(\phi)\cap \operatorname{Fix} (\psi)\bigcap^{3}_{i=0} \operatorname{Fix}(T_{i}) =\{0\} \). Set \(x_{1}= 1\) (see Figure 3).
Example 3.7
Suppose that all of the conditions of Example 3.4 hold. Set \(\beta_{n,3}=\frac{1}{10n}\) and let \(\{x_{n}\}\) be the sequence defined by the process
and \(\operatorname{Fix}(\zeta)\cap \operatorname{Fix} (\psi)\bigcap^{3}_{i=0} \operatorname{Fix}(T_{i})=\{0\} \). Suppose \(x_{1}= 1\) (see Figure 4).
4 Conclusion
The stability of a fixed point iterative procedure was first studied by Ostrowski [17] in the case of Banach contraction mappings, and this subject was later developed for certain contractive definitions by several authors.
Let \((X, d)\) be a complete metric space, \(T : X \rightarrow X\) be a map and \(x_{n+1}=f(T,x_{n})\) be an iteration procedure. Suppose that T has at least one fixed point and that the sequence \(\{x_{n}\}\) converges to a fixed point \(x^{*} \in X\). We denote the set of fixed points of the mapping T by \(F(T)\). Let \(\{y_{n}\}\) be an arbitrary sequence in X and \(\varepsilon_{n}=d(y_{n+1},f(T,y_{n}))\). If \(\lim_{n \rightarrow\infty}\varepsilon_{n}=0\) implies that \(\lim_{n \rightarrow\infty}y_{n}=x^{*}\), then the iteration procedure \(x_{n+1}=f(T,x_{n})\) is said to be T-stable. If \(\{y_{n}\}\) is a bounded sequence and \(\lim_{n \rightarrow \infty}\varepsilon_{n}=0\) implies that \(\lim_{n \rightarrow \infty}y_{n}=x^{*}\), then the iteration procedure \(x_{n+1}=f(T,x_{n})\) is said to be boundedly T-stable.
According to the above definition, Haghi et al. [18] studied the T-stability of Picard’s iteration for generalized ϕ-contraction mappings on a metric space. Also Olatinwo and Postolache [19] studied the stability for Jungck-type iterative processes in convex metric spaces.
Now, consider the modified iteration process (2.1), one interesting problem is studying the stability of the iteration scheme \(\{x_{n}\}\) generated by (2.1).
References
Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)
Zegeye, H, Shahzad, N, Mekonen, T: Viscosity approximation methods for pseudocontractive mappings in Banach space. Appl. Math. Comput. 185(1), 538-546 (2007)
Yao, Y, Postolache, M, Kang, SM: Strong convergence of approximated iterations for asymptotically pseudocontractive mappings. Fixed Point Theory Appl. 2014, Article ID 100 (2014)
Yao, Y, Postolache, M, Liou, YC: Coupling Ishikawa algorithms with hybrid techniques for pseudocontractive mappings. Fixed Point Theory Appl. 2013, Article ID 211 (2013)
Thakur, BS, Dewangan, R, Postolache, M: Strong convergence of new iteration process for a strongly continuous semigroup of asymptotically pseudocontractive mappings. Numer. Funct. Anal. Optim. 34(12), 1418-1431 (2013)
Thakur, BS, Dewangan, R, Postolache, M: General composite implicit iteration process for a finite family of asymptotically pseudocontractive mappings. Fixed Point Theory Appl. 2014, Article ID 90 (2014)
Dewangan, R, Thakur, BS, Postolache, M: A hybrid iteration for asymptotically strictly pseudocontractive mappings. J. Inequal. Appl. 2014, Article ID 374 (2014)
Dewangan, R, Thakur, BS, Postolache, M: Strong convergence of asymptotically pseudocontractive semigroup by viscosity iteration. Appl. Math. Comput. 248, 160-168 (2014)
Zegeye, H, Shahzad, N: An algorithm for a common fixed point of a family of pseudocontractive mappings. Fixed Point Theory Appl. 2013, 1-14 (2013)
Jung, JS: Iterative methods for pseudocontractive mappings in Banach spaces. Abstr. Appl. Anal. 2013, 1-7 (2013)
Tan, KK, Xu, HK: Approximating fixed points of nonexpansive by the Ishikawa iteration process. J. Math. Anal. Appl. 178, 301-308 (1993)
Thakur, BS, Thakur, D, Postolache, M: New iteration scheme for numerical reckoning fixed points of nonexpansive mappings. J. Inequal. Appl. 2014, Article ID 328 (2014)
Ceng, LC, Petrusel, A, Yao, JC: Iterative approximation of fixed points for asymptotically strict pseudocontractive type mappings in the intermediate sense. Taiwan. J. Math. 15, 587-606 (2011)
Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 298, 279-291 (2004)
Schu, J: Iterative construction of fixed points of asymptotically nonexpansive mappings. J. Math. Anal. Appl. 158, 407-413 (1991)
Shimizu, T, Takahashi, W: Strong convergence to common fixed points of families nonexpansive mappings. J. Math. Anal. Appl. 211, 71-83 (1997)
Ostrowski, AM: The round-off stability of iterations. Z. Angew. Math. Mech. 47, 77-81 (1967)
Haghi, RH, Postolache, M, Rezapour, SH: On T-stability of the Picard iteration for generalized phi-contraction mappings. Abstr. Appl. Anal. 2012, Article ID 658971 (2012)
Olatinwo, MO, Postolache, M: Stability results for Jungck-type iterative processes in convex metric spaces. Appl. Math. Comput. 218(12), 6727-6732 (2012)
Acknowledgements
The authors would like to thank the anonymous reviewers for their valuable comments and suggestions to improve the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Razani, A., Moradi, R. On the iterates of asymptotically k-strict pseudocontractive mappings in Hilbert spaces with convergence analysis. Fixed Point Theory Appl 2015, 21 (2015). https://doi.org/10.1186/s13663-015-0270-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0270-0