- Research
- Open access
- Published:
A new iterative approximation scheme for Reich–Suzuki-type nonexpansive operators with an application
Journal of Inequalities and Applications volume 2022, Article number: 28 (2022)
Abstract
In this article, we propose a faster iterative scheme, called the AH iterative scheme, for approximating fixed points of contractive-like mappings and Reich–Suzuki-type nonexpansive mappings. We show that the AH iterative scheme converges faster than a number of existing iterative schemes for contractive-like mappings. The \(w^{2}\)-stability result of the new iterative scheme is established and a supportive example is provided to illustrate the notion of \(w^{2}\)-stability. Then, we prove weak and several strong convergence results of our new iterative scheme for fixed points of Reich–Suzuki-type nonexpansive mappings. Further, we carry out a numerical experiment to illustrate the efficiency of our new iterative scheme. As an application, we use our main result to prove the existence of a solution of a mixed-type nonlinear integral equation. An illustrative example to validate the result in our application is also given. Our results extend and generalize several related results in the existing literature.
1 Introduction
Throughout the paper, let \(\mathbb{N}\) be the set of all natural numbers, \(\mathbb{R}\) a set of all real numbers, \(\mathcal{V}\) a nonempty subset of a Banach space \(\mathcal{M}\). A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is called a contraction if there exists \(\zeta \in [0,1)\) such that \(\|\mathcalligra{U}p-\mathcalligra{U}q\|\leq \zeta \|p-q\|\), for all \(p,q\in \mathcal{V}\). If \(\zeta =1\), then \(\mathcalligra{U}\) is called a nonexpansive mapping. A point \(p^{\star }\in \mathcal{V}\) is said to be a fixed point of \(\mathcalligra{U}\) if it satisfies \(\mathcalligra{U}p^{\star }=p^{\star }\). We denote by \(\Im (\mathcalligra{U})\) the set of all fixed points of \(\mathcalligra{U}\).
The major ideas of fixed-point theory can be divided into two categories. One is to find the necessary and sufficient conditions under which an operator admits fixed points. The other is to determine such fixed points by using some schematic algorithms. Formally, the first category is usually referred to as the existence part and the second one is known as the computation or approximation part. Another important concept of fixed-point theory that is less well known is the study of the behaviors of fixed points such as stability, data dependency, etc.
For some decades now, the fixed-point theory has been revealed as a very powerful and useful tool in the study of nonlinear phenomenon. In particular, fixed-point techniques have been applied in diverse areas of biology, chemistry, economics, engineering, game theory, physics, etc., (see [4, 5, 13, 23–26, 30, 31] and the references therein).
In [6], Berinde provided the class of weak contractions that properly includes the class of Zamfirescu operators [47]. This class of mappings is also known by many authors as almost contraction mappings.
Definition 1.1
A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is called a weak contraction if there exist \(\zeta \in (0 ,1)\) and \(L \geq 0\) such that
In [17], Imoru and Olantiwo gave a definition of a class of mapping considered to be a generalization of the classes of mappings studied by Berinde [6], Osilike and Udomene [28] and some other existing classes of contraction mappings as follows.
Definition 1.2
([17])
A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is called contractive-like if there exists a constant \(\zeta \in [0,1)\) and a strictly increasing continuous function \(\psi :[0,\infty )\to [0,\infty )\) with \(\psi (0)=0\) such that
for all \(p,q\in \mathcal{V}\).
Remark 1.3
If \(\psi (p) = Lp\), then (1.2) reduces to (1.1).
In recent years, many extensions and generalizations of nonexpansive mappings have been studied by several authors due to their importance in terms of applications.
In 2008, Suzuki [35] introduced an interesting generalization of nonexpansive mappings and obtained some existence and convergence results. Such mappings are commonly known as mappings satisfying condition (C).
Definition 1.4
A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is said to satisfy condition (C) if
In 2019, Pant and Pandey [29] considered the class of Reich–Suzuki-type nonexpansive mappings as follows.
Definition 1.5
A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is said to be Reich–Suzuki-type nonexpansive if there exists a real number \(\varpi \in [0,1)\) such that for each \(p,q\in \mathcal{V}\),
Clearly, every mapping satisfying condition (C) is a Reich–Suzuki-type nonexpansive mapping with \(\varpi =0\). However, the converse is not true, as shown in [29].
On the other hand, many iterative schemes have been constructed to approximate the fixed points of different classes of mappings. Some of these iterative schemes are: Mann [21], Ishikawa [19], Noor [22], Agarwal et al. [2], Abbas and Nazir [1], CR [11], Normal-S [32], Picard-S [13], Thakur et al. [37], and M [41] iterative schemes.
Very recently, Ahmad et al. [3] introduced a novel iterative scheme known as the JK iterative scheme as follows:
where \(\{r_{v}\}\) and \(\{k_{v}\}\) are sequences in \((0,1) \). The authors established some weak and strong convergence results for mappings satisfying condition (C). They further showed numerically that the JK iterative scheme converges faster than the S [2] and Thakur [37] iterative schemes.
To see recent results concerning iterative schemes and the existence theory of fixed points one can refer to, for example, [10, 36, 43–46].
Motivated and inspired by the research in this direction, we propose a new four-step iterative scheme called the AH iterative scheme, to approximate the fixed points of contractive-like mappings and Reich–Suzuki-type nonexpansive mappings as follows:
where \(\{r_{v}\}\) and \(\{k_{v}\}\) are sequences in \((0,1) \).
The purpose of this article is to prove that the AH iterative scheme (1.6) converges faster than the JK iterative scheme (1.5) for contractive-like mappings. Numerically, we further show that the AH iterative scheme (1.6) converges faster than a number of existing iterative schemes. Also, we prove that our proposed iterative scheme defined by (1.6) is \(w^{2}\)-stable and the stability result is supported with an example. Again, we establish weak and strong convergence results of the AH iterative scheme (1.6) for Reich–Suzuki-type nonexpansive mappings. Further, we use a new example of Reich–Suzuki-type nonexpansive mappings to show that the AH iterative scheme (1.6) outperforms some existing prominent iterative schemes. Finally, we use our main results to establish the existence of the solution of a nonlinear integral equation in Banach spaces.
2 Preliminaries
Let \(\mathcal{M}^{*}\) be the dual of a Banach space \(\mathcal{M}\) and \(\langle \cdot ,\cdot \rangle \) denotes the generalized duality pairing between \(\mathcal{M}\) and \(\mathcal{M}^{*}\). Then, the multivalued mapping \(J:\mathcal{M}\to 2^{\mathcal{M}^{*}}\) is the normalized duality mapping defined for each \(p\in \mathcal{M}\) by
Let \(D=\{p\in \mathcal{M}:\|p\|=1\}\). Then, a Banach space \(\mathcal{M}\) is said to be smooth if the limit
exists for each \(p,q\in D\). In this case, the norm of \(\mathcal{M}\) is called Gâteaux differentiable. It is well known that J is single valued if \(\mathcal{M}\) is smooth [12]. Suppose for each \(p\in D\), the limit of (2.2) exists and is attained uniformly for \(q\in D\), the norm of \(\mathcal{M}\) is called Fréchet differentiable in this case. It is also well known that
for all \(p,q\in \mathcal{M}\), where J is the Fréchet derivative of the functional \(\frac{1}{2}\|\cdot \|^{2}\) at \(p\in \mathcal{M}\) and b is an increasing function defined on \([0,\infty )\) such that \(\lim_{v\downarrow 0}\frac{b(v)}{v}=0\).
A Banach space \(\mathcal{M}\) is said to be uniformly convex if for each \(\epsilon \in (0,2]\), there exists \(\delta >0\) such that for \(p,q\in \mathcal{M}\) satisfying \(\|p\|\leq 1\), \(\|q\|\leq 1\) and \(\|p-q\|>\epsilon \), we have \(\Vert \frac{p+q}{2} \Vert <1-\delta \).
A Banach space \(\mathcal{M}\) is said to satisfy Opial’s condition if for any sequence \(\{p_{v}\}\) in \(\mathcal{M}\) that converges weakly to \(p\in \mathcal{M}\) implies
Let \(\mathcal{V}\) be a nonempty closed convex subset of a Banach space \(\mathcal{M}\), and \(\{p_{v}\}\) is a bounded sequence in \(\mathcal{M}\). For \(p\in \mathcal{M}\), we put
The asymptotic radius of \(\{p_{v}\}\) relative to \(\mathcal{V}\) is defined by
The asymptotic center of \(\{p_{v}\}\) relative to \(\mathcal{V}\) is given as:
In a uniformly convex Banach space, it is well known that \(A(\mathcal{V},\{p_{v}\})\) consists of exactly one point.
Let \(\mathcal{V}\) be a nonempty closed convex subset of a Banach space \(\mathcal{M}\). A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is said to be demiclosed with respect to \(p\in \mathcal{M}\), if for each sequence \(\{p_{v}\}\) that is weakly convergent to \(p\in \mathcal{V}\) and \(\{\mathcalligra{U}p_{v}\}\) converges strongly to q implies that \(\mathcalligra{U}p=q\).
Definition 2.1
([7])
Let \(\{\delta _{v}\}\) and \(\{\gamma _{v}\}\) be two sequences of real numbers that converge to δ and γ, respectively, and assume that there exists
Then,
- (\(\Theta _{1}\)):
-
if \(\ell =0\), we say that \(\{\delta _{v}\}\) converges to δ faster than \(\{\gamma _{v}\}\) does to γ.
- (\(\Theta _{2}\)):
-
If \(0<\ell <\infty \), we say that \(\{\delta _{v}\}\) and \(\{\gamma _{v}\}\) have the same rate of convergence.
Definition 2.2
([7])
Let \(\{\eta _{v}\}\) and \(\{\phi _{v}\}\) be two fixed-point iteration processes that converge to the same point \(p^{\star }\), the error estimates
are available, where \(\{\delta _{v}\}\) and \(\{\gamma _{v}\}\) are two sequences of positive numbers converging to zero. Then, we say that \(\{\eta _{v}\}\) converges faster to \(p^{\star }\) than \(\{\phi _{v}\}\) does if \(\{\delta _{v}\}\) converges faster than \(\{\gamma _{v}\}\).
Definition 2.3
A sequence \(\{p_{v}\}\) in \(\mathcal{V}\) is said to be an approximate fixed-point sequence (a.f.p.s. for short) for a mapping \(\mathcalligra{U}: \mathcal{V}\to \mathcal{V}\) if
Definition 2.4
([34])
A mapping \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) is said to be a satisfied condition \((I)\) if a nondecreasing function \(f:[0,\infty )\to [0,\infty )\) exists with \(f(0)=0\) and for all \(s>0\), then \(f(s)>0\) such that \(\|p-\mathcalligra{U}p\|\geq f(d(p,\Im (\mathcalligra{U})))\) for all \(p\in \mathcal{V}\), where \(d(p,\Im (\mathcalligra{U}))=\inf_{p^{\star }\in \Im (\mathcalligra{U})}\|p-p^{\star }\|\).
Lemma 2.5
([42])
Let \(\{ \mathfrak{\theta }_{v}\}\) and \(\{\lambda _{v}\}\) be nonnegative real sequences satisfying the following inequalities:
where \(\sigma _{v}\in (0,1)\) for all \(v\in \mathbb{N}\), \(\sum_{v=0}^{\infty }\sigma _{v}=\infty \) and \(\lim_{v\to \infty } \frac{ \mathfrak{\lambda }_{v}}{\sigma _{v}}=0\), then \(\lim_{v\to \infty } \mathfrak{\theta }_{v}=0\).
Lemma 2.6
([33])
Suppose \(\mathcal{M}\) is a uniformly convex Banach space and \(\{\iota _{v}\}\) is any sequence satisfying \(0< p\leq \iota _{v}\leq q<1\) for all \(v\geq 1\). Suppose \(\{p_{v}\}\) and \(\{q_{v}\}\) are any sequences of \(\mathcal{M}\) such that
hold for some \(x\geq 0\). Then, \(\lim_{v\to \infty }\|p_{v}-q_{v}\|=0\).
Lemma 2.7
([39])
Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping. If \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpansive mapping with \(\Im (\mathcalligra{U})\neq \emptyset \), then the following hold:
-
(i)
If \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpansive mapping, then for every choice of \(p\in \mathcal{V}\) and \(p^{\star }\in \Im (\mathcalligra{U})\), it follows that \(\|\mathcalligra{U}p-\mathcalligra{U}p^{\star }\|\leq \|p-p^{\star }\| \).
-
(ii)
If \(\mathcalligra{U}\) satisfies condition (C), then \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpansive mapping.
Lemma 2.8
([40])
Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping. If \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpansive mapping, then for all \(p,q\in \mathcal{V}\), the following inequality holds:
We now offer a numerical example that satisfies the inequality of the above lemma but does not satisfy the condition (C).
Example 2.9
Let \((\mathbb{R}, \|\cdot \|)\) be a Banach space with the usual norm and \(\mathcal{V}=[-1,1]\). Define \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) by
-
(1)
The mapping \(\mathcalligra{U}\) does not satisfy the condition (C) and hence is not a nonexpansive mapping. If we take \(p=\frac{1}{3}\) and \(q=1\), then
$$ \frac{1}{2} \vert p-\mathcalligra{U}p \vert =\frac{1}{2} \biggl\vert \frac{1}{3}-\mathcalligra{U} \biggl(\frac{1}{3} \biggr) \biggr\vert =\frac{1}{6}\leq \frac{2}{3}= \vert p-q \vert . $$On the other hand,
$$ \vert \mathcalligra{U}p-\mathcalligra{U}q \vert =1>\frac{2}{3}= \vert p-q \vert . $$ -
(2)
Now, we show that \(\mathcalligra{U}\) satisfies condition (2.4). For this, the following conditions are considered:
Case I: If \(p,q\in [-1,0)\), we have
$$\begin{aligned} \vert p-\mathcalligra{U}q \vert \leq & \vert p-\mathcalligra{U}p \vert + \vert \mathcalligra{U}p-\mathcalligra{U}q \vert \\ =& \vert p-\mathcalligra{U}p \vert +\frac{1}{3} \vert p-q \vert . \end{aligned}$$Case II: If \(p,q\in [0,1]\backslash \{\frac{1}{3}\}\), then we obtain
$$\begin{aligned} \vert p-\mathcalligra{U}q \vert \leq & \vert p-\mathcalligra{U}p \vert + \vert \mathcalligra{U}p-\mathcalligra{U}q \vert \\ \leq & \vert p-\mathcalligra{U}p \vert + \vert p-q \vert . \end{aligned}$$Case III: If \(p\in [-1,0)\) and \(q\in [0,1]\backslash \{\frac{1}{3}\}\), we obtain
$$\begin{aligned} \vert p-\mathcalligra{U}q \vert =& \vert p+q \vert \leq \vert p \vert + \vert q \vert \\ \leq &\frac{4}{3} \vert p \vert + \vert p-q \vert \quad (\text{as } p< 0 \text{ and } q \geq 0) \\ =& \biggl\vert p-\biggl(-\frac{p}{3}\biggr) \biggr\vert + \vert p-q \vert \\ =& \vert p-\mathcalligra{U}q \vert + \vert p-q \vert . \end{aligned}$$Case IV: If \(p\in [-1,0)\) and \(q=\frac{1}{3}\), we have
$$\begin{aligned} \vert p-\mathcalligra{U}q \vert =& \vert p \vert \leq \frac{4}{3} \vert p \vert + \biggl\vert p-\frac{1}{3} \biggr\vert \\ =& \vert p-\mathcalligra{U}p \vert + \vert p-q \vert . \end{aligned}$$Case V: If \(p\in [0,1]\backslash \{\frac{1}{3}\}\) and \(q=\frac{1}{3}\), we obtain
$$\begin{aligned} \vert p-\mathcalligra{U}q \vert =& \vert p \vert \leq 2 \vert p \vert + \biggl\vert p-\frac{1}{3} \biggr\vert \\ =& \vert p-\mathcalligra{U}q \vert + \biggl\vert p-\frac{1}{3} \biggr\vert . \end{aligned}$$Hence, \(\mathcalligra{U}\) satisfies the condition (2.4) with \(\frac{3+\varpi }{1-\varpi } \geq 1\).
3 Rate of convergence
In this section, we show both analytically and numerically that the AH iterative scheme (1.6) converges faster than the JK iterative scheme (1.5) for contractive-like mappings.
Theorem 3.1
Let \(\mathcalligra{U}\) be a mapping satisfying (1.2) defined on a nonempty closed convex subset \(\mathcal{V}\) of a Banach space \(\mathcal{M}\). Then, the sequence \(\{p_{v}\}\) generated by the AH iterative scheme (1.6) converges strongly to a unique fixed point of \(\mathcalligra{U}\).
Proof
Using (1.2) and (1.6), we have
Using (1.6) and (3.1), we have
Now, from (1.6) and (3.2), we obtain
Finally, using (1.6) and (3.3), we obtain
Since \(0<\zeta <1\) and \(r_{v},k_{v}\in (0,1)\), it implies that \((1-r_{v}(1-\zeta ))<1\) and \((1-k_{v}(1-\zeta ))<1\). It follows that \((1-k_{v}(1-\zeta ))(1-k_{v}(1-\zeta ))<1\). □
Thus, from (3.4), we have
Inductively, we obtain:
Since \(0<\zeta <1\), \(p_{v}\to p^{\star }\) as \(v\to \infty \). This completes the proof.
Theorem 3.2
Let \(\mathcalligra{U}\) be a mapping satisfying (1.2) defined on a nonempty closed convex subset \(\mathcal{V}\) of a Banach space \(\mathcal{M}\). If \(\{p_{v}\}\) is a sequence generated by the AH iterative scheme (1.6), then \(\{p_{v}\}\) converges faster than \(\{m_{v}\}\) generated by the JK iterative scheme (1.5).
Proof
Recalling (3.6) in Theorem 3.1, we have
Also, from (1.5), we obtain
Using (1.5) and (3.7), we have
Again, from (1.5) and (3.8), we obtain
Inductively, we obtain:
Let \(\Lambda _{v}=\zeta ^{4(v+1)}\|p_{0}-p^{\star }\|\) and \(\beta _{v}=\zeta ^{2(v+1)}\|m_{0}-p^{\star }\|\), then we have that
Hence, the sequence \(\{p_{v}\}\) converges faster to \(p^{\star }\) than \(\{m_{v}\}\). □
Now, we give a nontrivial example to compare the rate of convergence of the AH iterative scheme (1.6) with some leading iterative schemes in the literature.
Example 3.3
Let \(\mathcal{M}=\mathbb{R}^{3}\) and \(\mathcal{V}=\{p=(p_{1},p_{2},p_{3}):(p_{1},p_{2},p_{3})\in [0,8] \times [0,8]\times [0,8]\}\) be a subset of \(\mathcal{M}\) with norm \(\|p\|=\|(p_{1},p_{2},p_{3})\|=|p_{1}|+|p_{2}|+|p_{3}|\). Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be defined by
Clearly, the only fixed point of \(\mathcalligra{U}\) is \((0,0,0)\). We will now show that \(\mathcalligra{U}\) is a contractive-like mapping. To see this, we define a function \(\psi :[0,\infty )\to [0,\infty )\) by \(\psi (p)=\frac{p}{6}\). Clearly, ψ is a strictly increasing continuous function with \(\psi (0)=0\). We show that
for all \(p,q\in \mathcal{V}\) and \(\zeta \in (0,1]\). It will be useful to note the following. If \(p=(p_{1},p_{2},p_{3})\in [0,4)\times [0,4)\times [0,4)\), then
and
Similarly, if \(p=(p_{1},p_{2},p_{3})\in [4,8]\times [4,8]\times [4,8]\), we have
and
Next, we consider the following cases:
Case 1: If \(p=(p_{1},p_{2},p_{3})\), \(q=(q_{1},q_{2},q_{3})\in [0,4)\times [0,4) \times [0,4)\), then using (3.13), we have
Case 2: If \(p=(p_{1},p_{2},p_{3})\), \(q=(q_{1},q_{2},q_{3})\in [4,8]\times [4,8] \times [4,8]\), then using (3.14), we obtain
Case 3: If \(p=(p_{1},p_{2},p_{3})\in [0,4)\times [0,4)\times [0,4)\) and \(q=(q_{1},q_{2},q_{3})\in [4,8]\times [4,8]\times [4,8]\), then using (3.13), we have
Case 4: If \(p=(p_{1},p_{2},p_{3})\in [4,8]\times [4,8]\times [4,8]\) and \(q=(q_{1},q_{2},q_{3})\in [0,4)\times [0,4)\times [0,4)\), then using (3.13), we obtain
Hence, (5.1) is fulfilled with \(\zeta =\frac{1}{4}\). Thus, \(\mathcalligra{U}\) is a contractive-like mapping.
Using MATLAB R2015a, we obtain Tables 1–3 and Fig. 1. From Tables 1–3, we can easily see that all the iterative schemes with control parameters \(r_{v}=0.8\), \(k_{v}=0.6\), \(l_{v}=0.5\), \(v\in \mathbb{N}\) and starting point \((2,2.5,3)\) converge to \(p^{\star }=(0,0,0)\). Obviously, our iterative scheme (1.6) requires the least number of iterations as compared to other iterative schemes. Also, from the graphical point of view in Fig. 1, it is evident that the AH iterative scheme (1.6) converges faster than other iterative schemes.
4 Stability results
The concept of stability of a fixed-point iteration process was rigorously studied by Harder in her Ph.D thesis that was published in 1987.
Definition 4.1
Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping. Define a fixed-point iteration method by \(p_{v+1}=f(\mathcalligra{U},p_{v})\) such that \(\{p_{v}\}\) converges to a fixed point \(p^{\star }\) of \(\mathcalligra{U}\). Let \(\{h_{v}\}\) be an arbitrary sequence in \(\mathcal{M}\). Define
A fixed-point iterative method is said to be \(\mathcalligra{U}\)-stable if the following condition is fulfilled:
The notion of stability in Definition 4.1 has recently been studied by several authors for different classes of contraction mappings (see [16, 18, 27] and the references in them).
In [8], Berinde observed that the concept of stability in Definition 4.1 is not precise because of the sequence \(\{h_{v}\}\) that is arbitrarily taken. To overcome this limitation, Berinde [8] observed that it would be more natural if \(\{h_{v}\}\) were an approximate sequence of \(\{p_{v}\}\). Therefore, any iteration process that is stable will also be weakly stable but the converse is generally not true.
Definition 4.2
([8])
Let \(\{p_{v}\}\subset \mathcal{V}\) be a given sequence. Then, a sequence \(\{h_{v}\}\subset \mathcal{V}\) is an approximate sequence of \(\{p_{v}\}\) if, for any \(c\in \mathbb{N}\), there exists \(\eta = \eta (c)\) such that
Definition 4.3
([8])
Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping and \(\{p_{v}\}\) be an iterative procedure defined for \(p_{1}\in \mathcal{V}\) and
Let \(\{p_{v}\}\) converge to a fixed point \(p^{\star }\) of \(\mathcalligra{U}\). Suppose for any approximate sequence \(\{h_{v}\}\subset \mathcal{V}\) of \(\{p_{v}\}\)
then we shall say that (4.3) is weakly \(\mathcalligra{U}\)-stable or weakly stable with respect to \(\mathcalligra{U}\).
In 2010, Timis [38] studied a new concept of weak stability that is obtained from Definition 4.3 by replacing the approximate sequence with the notion of the equivalent sequence that is more general.
Definition 4.4
([9])
Let \(\{p_{v}\}\) and \(\{h_{v}\}\) be two sequences. We say that these sequences are equivalent if
Definition 4.5
([38])
Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping. Let \(\{p_{v}\}\) be an iterative procedure defined for \(p_{1}\in \mathcal{V}\) and
Let \(\{p_{v}\}\) converge to a fixed point \(p^{\star }\) of \(\mathcalligra{U}\). Suppose for any equivalent sequence \(\{h_{v}\}\subset \mathcal{V}\) of \(\{p_{v}\}\)
then we shall say that (4.4) is weakly \(w^{2}\)-stable with respect to \(\mathcalligra{U}\).
It is shown in [38] with an example that any equivalent sequence is an approximative sequence but the reverse is not true.
In this section, we prove that the AH iterative scheme (1.6) is \(w^{2}\)-stable with respect to \(\mathcalligra{U}\) for contractive-like mappings.
Theorem 4.6
Suppose all the conditions in Theorem 3.1hold. Then, the AH iterative scheme (1.6) is \(w^{2}\)-stable with respect to \(\mathcalligra{U}\).
Proof
Let \(\{h_{v}\}\subset \mathcal{V}\) be an equivalent sequence of \(\{p_{v}\}\). Put \(\epsilon _{v}=\|h_{v+1}-(1-k_{v})a_{v}-k_{v}\mathcalligra{U}a_{v}\|\), where \(a_{v}=\mathcalligra{U}(\mathcalligra{U}b_{v})\), \(b_{v}=\mathcalligra{U}(\mathcalligra{U}c_{v})\), \(c_{v}=(1-r_{v})h_{v}+r_{v}\mathcalligra{U}h_{v}\). Suppose that \(\lim_{v\to \infty }\epsilon _{v}=0\). Then, applying the triangular inequality, (1.2) and (1.6) give
Since \((1-(1-\zeta )k_{v})<1\) for all \(v\in \mathbb{N}\), then from (4.5), we obtain
Also,
Similarly,
Finally, since \((1-(1-\zeta )r_{v})<1\) for all \(v\in \mathbb{N}\), we have
Using (4.6), (4.7), (4.8) and (4.9), we obtain
We established in Theorem 3.1 that \(\lim_{v\to \infty }\|p_{v}-p^{\star }\|=0\) and since ψ is a strictly increasing continuous function with \(\psi (0)=0\), consequently \(\lim_{v\to \infty }\|p_{v+1}-p^{\star }\|=0\). Following the equivalence of \(\{p_{v}\}\) and \(\{h_{v}\}\), we have that \(\lim_{v\to \infty }\|p_{v}-h_{v}\|=0\). Since \(\lim_{v\to \infty }\epsilon _{v}=0\), then taking the limits of both sides of (4.10) yields \(\lim_{v\to \infty }\|h_{v}-p^{\star }\|=0\). Hence, the AH iterative scheme (1.6) is \(w^{2}\)-stable with respect to \(\mathcalligra{U}\). □
In order to support the analytical proof of Theorem 4.6, we provide the following illustrative example.
Example 4.7
Let \((\mathbb{R}, \|\cdot \|)\) be a Banach space with the usual norm and \(\mathcal{V}=[0,1]\). Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping defined by \(\mathcalligra{U}p=\frac{p}{6}\). Then clearly, zero is the only fixed point of \(\mathcalligra{U}\) and \(\mathcalligra{U}\) satisfies (1.1) with \(\zeta =\frac{1}{6}\).
Next, we show that the sequence \(\{p_{v}\}\) generated by the iterative scheme (1.6) converges to \(p^{\star }=0\in \Im (\mathcalligra{U})\). For this, let \(r_{v}=k_{v}=\frac{1}{v+3}\) and \(p_{1}\in [0,1]\), then from (1.6), we obtain
Set \(y_{v}=\frac{1295}{1296}+\frac{10}{6^{5}(v+3)}+ \frac{25}{6^{7}(v+3)^{2}}\). Note that \(y_{v}\in (0,1)\) for all \(v\in \mathbb{N}\) and \(\sum_{v=0}^{\infty }y_{v}=\infty \). Thus, by Lemma 2.5, we obtain \(\lim_{v\to \infty }p_{v}=0\).
It is not difficult to see that \(\lim_{v\to \infty }\|p_{v}\|=\|\lim_{v\to \infty }p_{v} \|=0\). Then, if we take \(h_{v}=\frac{1}{v+4}\) for all \(v\in \mathbb{N}\), we obtain
which shows that \(\lim_{v\to \infty }\|p_{v}-h_{v}\|=0\). If follows that \(\{p_{v}\}\) and \(\{h_{v}\}\) are equivalent sequences.
Suppose that \(\epsilon _{v}\) is the sequence associated with the iterative sequence \(\{p_{v}\}\), then we obtain
Clearly, \(\lim_{v\to \infty }\epsilon _{v}=0\). Therefore, the sequence \(\{p_{v}\}\) generated by the AH iterative scheme (1.6) is \(w^{2}\)-stable with respect \(\mathcalligra{U}\).
5 Convergence results
In this section, we prove weak and strong convergence theorems of the AH iterative scheme (1.6) for Reich–Suzuki-type nonexpansive mappings.
Lemma 5.1
Let \(\mathcalligra{U}\) be a self Reich–Suzuki-type nonexpansive mapping defined on a nonempty closed convex subset \(\mathcal{V}\) of a Banach space \(\mathcal{M}\) with \(\Im (\mathcalligra{U})\neq \emptyset \). Let \(\{p_{v}\}\) be the sequence generated by the AH iterative scheme (1.6), then \(\lim_{v\to \infty }\|p_{v}-p^{\star }\|\) exists for each \(p^{\star }\in \Im (\mathcalligra{U})\).
Proof
Let \(p^{\star }\in \Im (\mathcalligra{U})\). By Lemma 2.7, we obtain
Thus, \(\{\|p_{v}-p^{\star }\|\}\) is a bounded and decreasing sequence of reals and hence \(\lim_{v\to \infty }\|p_{v}-p^{\star }\|\) exists. □
Lemma 5.2
Let \(\mathcalligra{U}\) be a self Reich–Suzuki-type nonexpansive mapping defined on a nonempty closed convex subset \(\mathcal{V}\) of a uniformly convex Banach space \(\mathcal{M}\). Let \(\{p_{v}\}\) be the iterative sequence defined by the AH iterative scheme (1.6). Then, \(\Im (\mathcalligra{U})\neq \emptyset \) if and only if \(\{p_{v}\}\) is bounded and \(\lim_{v\to \infty }\|\mathcalligra{U}p_{v}-p_{v}\|=0\).
Proof
Suppose that \(\Im (\mathcalligra{U})\neq \emptyset \) and \(p^{\star }\in \Im (\mathcalligra{U})\). Then, by Lemma 5.1, \(\lim_{v\to \infty }\|p_{v}-p^{\star }\|\) exists and \(\{p_{v}\}\) is bounded. Now, we set
From (5.1), (5.2) and (5.5), we have
Recalling Lemma 2.7, we have
Also, from (1.6) and Lemma 5.1, we obtain
This implies that
Therefore,
From (5.6) and (5.9), we obtain
Using (1.6), we have
Since \(0< r_{v}<1\) for all \(v\in \mathbb{N}\), then from Lemma 2.6, we have
Conversely, suppose that \(\{p_{v}\}\) is bounded and \(\lim_{v\to \infty }\|\mathcalligra{U}p_{v}-p_{v}\|=0\). Let \(p^{\star }\in A(\mathcal{V},\{p_{v}\})\). By Lemma 2.8, we have
This implies that \(\mathcalligra{U}p^{\star }\in A(\mathcal{V},\{p_{v}\})\). Since \(\mathcal{M}\) is uniformly convex, then \(A(\mathcal{V},\{p_{v}\})\) has only one element, therefore we obtain \(\mathcalligra{U}p^{\star }=p^{\star }\). □
Now, we establish the weak convergence result. For this, the following Lemma will be useful:
Lemma 5.3
If all the assumptions in Theorem 5.4are fulfilled, then \(\lim_{v\to \infty }\langle p_{v},J(p^{\star }_{1}-p^{\star }_{2}) \rangle \) exists for any \(p^{\star }_{1},p^{\star }_{2}\in \Im (\mathcalligra{U})\); in particular \(\lim_{v\to \infty }\langle p-q,J(p^{\star }_{1}-p^{\star }_{2}) \rangle =0\) for all \(p,q\in \omega _{w}(p_{v})\), where \(\omega _{w}(p_{v})\) denotes the set of all weak limit points of \(\{p_{v}\}\).
Proof
The conclusion follows from Lemma 2.3 in [20]. □
Theorem 5.4
Let \(\mathcalligra{U}\), \(\mathcal{V}\) and \({p_{v}}\) be as in Lemma 5.2. Let \(\mathcal{M}\) be a uniformly convex Banach space. Suppose that either of the following assumptions holds:
-
(a)
\(\mathcal{M}\) satisfies Opial’s condition and \(I-\mathcalligra{U}\) is demiclosed with respect to zero;
-
(b)
\(\mathcal{M}\) has a Fréchet differential norm.
If \(\Im (\mathcalligra{U})\neq \emptyset \), then the sequence \(\{p_{v}\}\) converges weakly to a point of \(\mathcalligra{U}\).
Proof
By Lemma 5.1, we have that \(\lim_{v\to \infty }\|p_{v}-p^{\star }\|\) exists. Now, it is sufficient to prove that \(\{p_{v}\}\) have a unique weak subsequential limit in \(\Im (\mathcalligra{U})\). Suppose that \(\{p_{v_{i}}\}\) and \(\{p_{v_{k}}\}\) are two subsequences of \(\{p_{v}\}\), which converge weakly to g and y, respectively. Now, suppose that (a) is true. Then, from Lemma 5.2, \(\lim_{v\to \infty }\|\mathcalligra{U}p_{v}-p_{v}\|=0\) and by the demiclosedness of \(I- \mathcalligra{U}\) with respect to zero, we have that \((1-\mathcalligra{U})g=0\). That is, \(g=\mathcalligra{U}g\); similarly \(y=\mathcalligra{U}y\).
Next, we prove uniqueness. Since \(g,y\in \Im (\mathcalligra{U})\), then \(\lim_{v\to \infty }\|p_{v}-g\|\) and \(\lim_{v\to \infty }\|p_{v}-y\|\) exists. If \(g\neq y\), then from Opial’s condition, we have
which is a contradiction, so \(g=y\). Again, assume that (b) holds. Recalling Lemma 5.3, we have \(\langle p_{v},J(p^{\star }_{1}-p^{\star }_{2})\rangle =0\) for all \(p,q\in \omega _{w}(p_{v})\). Thus, \(\|g-y\|^{2}=\langle g-y,J(g-y)\rangle \) implies \(g=y\). □
We now establish the following strong convergence results:
Theorem 5.5
Let \(\mathcalligra{U}\), \(\mathcal{V}\) and \(\mathcal{M}\) be as in Lemma 5.2. The sequence \(\{p_{v}\}\) generated by the AH iterative scheme (1.6) converges to an element of \(\Im (\mathcalligra{U})\) if and only if \(\liminf_{v\to \infty }d(p_{v},\Im (\mathcalligra{U}))=0\), where \(d(p_{v},\Im (\mathcalligra{U}))=\inf \{\|p_{v}-p^{\star }\|:p^{\star }\in \Im (\mathcalligra{U})\} \).
Proof
The necessity is obvious.
Conversely, suppose \(\liminf_{v\to \infty }d(p_{v},\Im (\mathcalligra{U}))=0\) and \(p^{\star }\in \Im (\mathcalligra{U})\). By Lemma 5.1, \(\lim_{v\to \infty }\|p_{v}-p^{\star }\|\) exists, for any \(p^{\star }\in \Im (\mathcalligra{U})\). It is sufficient to prove that the sequence \(\{p_{v}\}\) is Cauchy in \(\mathcal{V}\). Since \(\lim_{v\to \infty }d(p_{v},\Im (\mathcalligra{U}))=0\), then given \(\varepsilon >0\), there exists \(\rho _{0}\in \mathbb{N}\) such that for all \(v\geq \rho _{0}\)
In particular, \(\inf \{\|p_{\rho _{0}}-p^{\star }\|:p^{\star }\in \Im (\mathcalligra{U})\}< \frac{\varepsilon }{2}\). Therefore, there exists \(p^{\star }\in \Im (\mathcalligra{U})\) such that
Now for \(\rho ,v\geq \rho _{0}\), we have
This implies that the sequence \(\{p_{v}\}\) is Cauchy in \(\mathcal{V}\). Since \(\mathcal{V}\) is closed, there must be an element \(q\in \mathcal{V}\) such that \(\lim_{v\to \infty }p_{v}=q\). Now, \(\lim_{v\to \infty }d(p_{v},\Im (\mathcalligra{U}))=0\) gives that \(d(q,\Im (\mathcalligra{U})=0\), that is \(q\in \Im (\mathcalligra{U})\). □
A strong convergence on a compact domain is established in the following way:
Theorem 5.6
Let \(\mathcalligra{U}\) and \(\mathcal{M}\) be as in Lemma 5.2and \(\mathcal{V}\) be a nonempty compact convex subset of \(\mathcal{M}\). Then, the sequence \(\{p_{v}\}\) generated by the iterative scheme (1.6) converges strongly to a fixed point of \(\mathcalligra{U}\).
Proof
According to Lemma 5.2, \(\lim_{v\to \infty }\|\mathcalligra{U}p_{v}-p_{v}\|=0\). Since \(\mathcal{V}\) is convex and compact, the iterative sequence \(\{p_{v}\}\) contained in the set \(\mathcal{V}\) has a convergent subsequence, namely, \(\{p_{v_{i}}\}\) endowed with a strong limit, namely, \(q\in \mathcal{V}\). Putting \(p=p_{v_{i}}\) and \(q=q\), we apply Lemma 2.8, to obtain
As \(i\to \infty \), one can see that \(p_{v_{i}}\to \mathcalligra{U}q\). It follows that \(\mathcalligra{U}q=q\), i.e., \(q\in \Im (\mathcalligra{U})\). According to Lemma 5.1, \(\lim_{v\to \infty }\|p_{v}-q\|\) exists, that is, q forms a strong limit for \(\{p_{v}\}\). □
A strong convergence theorem using a condition (I) of the operators is the following:
Theorem 5.7
Let \(\mathcalligra{U}\), \(\mathcal{V}\) and \(\mathcal{M}\) be as in Lemma 5.2. If \(\mathcalligra{U}\) satisfies condition (I), then the sequence \(\{p_{v}\}\) generated by the AH iterative scheme (1.6) converges strongly to a fixed point of \(\mathcalligra{U}\).
Proof
In Lemma 5.2, we have shown that
By Definition 2.4 and (5.11), we have
Since \(f:[0,\infty )\to [0,\infty )\) is a nondecreasing function that satisfies the condition \(f(0)=0\) and \(f(s)>0\), for all \(s>0\), we obtain
Since all the requirements of Theorem 5.5 are shown, one concludes that the sequence \(\{p_{v}\}\) is strongly convergent in the fixed-point set of \(\mathcalligra{U}\). □
6 Numerical result
In this section, we give an example of a Reich–Suzuki-type nonexpansive mapping that does not satisfy the condition (C). Further, we compare the convergence of the AH iterative scheme with some leading iterative schemes in the literature.
Example 6.1
Let \((\mathbb{R},\|\cdot \|)\) be a Banach space with the usual norm and \(\mathcal{V}=[5,7]\). Let \(\mathcalligra{U}:\mathcal{V}\to \mathcal{V}\) be a mapping defined by
-
(i)
The mapping \(\mathcalligra{U}\) does not satisfy the condition (C). For this, let \(p=6\) and \(q=7\), we have
$$\begin{aligned} \frac{1}{2} \vert p-\mathcalligra{U}p \vert =\frac{1}{2} \bigl\vert 6-\mathcalligra{U}(6) \bigr\vert =\frac{2}{5}< 1= \vert p-q \vert . \end{aligned}$$On the other hand,
$$ \vert \mathcalligra{U}p-\mathcalligra{U}q \vert = \bigl\vert \mathcalligra{U}(6)- \mathcalligra{U}(7) \bigr\vert = \frac{6}{5}>1= \vert p-q \vert . $$ -
(ii)
Now, to demonstrate that \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpasive mapping, the following cases are considered.
Case 1: If \(p,q<7\), then
$$ \begin{aligned} &\varpi \vert p-\mathcalligra{U}p \vert + \varpi \vert q-\mathcalligra{U}q \vert +(1-2\varpi ) \vert p-q \vert \\ &\quad =\frac{1}{2} \biggl\vert p- \biggl(\frac{p+20}{5} \biggr) \biggr\vert + \frac{1}{2} \biggl\vert q- \biggl(\frac{p+20}{5} \biggr) \biggr\vert \\ &\quad =\frac{1}{2} \biggl\vert \frac{4p-20}{6} \biggr\vert + \frac{1}{2} \biggl\vert \frac{4q-20}{5} \biggr\vert \\ &\quad \geq \frac{1}{2} \biggl\vert \biggl(\frac{4p-20}{5} \biggr)- \biggl( \frac{4q-20}{5} \biggr) \biggr\vert \\ &\quad =\frac{1}{2} \biggl\vert \frac{4p}{5}-\frac{4p}{5} \biggr\vert =\frac{2}{5} \vert p-q \vert \\ &\quad \geq \frac{1}{5} \vert p-q \vert = \vert \mathcalligra{U}p-\mathcalligra{U}q \vert . \end{aligned} $$Case 2: If \(p<7\) and \(q=7\), then we have
$$ \begin{aligned} \varpi \vert p-\mathcalligra{U}p \vert + \varpi \vert q-\mathcalligra{U}q \vert +(1-2\varpi ) \vert p-q \vert &= \frac{1}{2} \biggl\vert \frac{4p-20}{5} \biggr\vert + \frac{1}{2} \vert 7-4 \vert \\ &=\frac{1}{2} \biggl\vert \frac{4p-20}{5} \biggr\vert + \frac{3}{2} \\ &\geq \biggl\vert \frac{p}{5} \biggr\vert = \vert \mathcalligra{U}p- \mathcalligra{U}q \vert . \end{aligned} $$Case 3: If \(q<7\) and \(p=7\), then we obtain
$$ \begin{aligned} \varpi \vert p-\mathcalligra{U}p \vert + \varpi \vert q-\mathcalligra{U}q \vert +(1-2\varpi ) \vert p-q \vert &= \frac{1}{2} \vert 7-4 \vert + \frac{1}{2} \biggl\vert \frac{4q-20}{5} \biggr\vert \\ &=\frac{3}{2}+\frac{1}{2} \biggl\vert \frac{4q-20}{5} \biggr\vert \\ &\geq \biggl\vert \frac{q}{5} \biggr\vert = \vert \mathcalligra{U}p- \mathcalligra{U}q \vert . \end{aligned} $$(6.2)Case 4: If \(p=q=7\), then we obtain
$$ \begin{aligned} \varpi \vert p-\mathcalligra{U}p \vert +\varpi \vert q-\mathcalligra{U}q \vert +(1-2\varpi ) \vert p-q \vert \geq 0= \vert 4-4 \vert = \vert \mathcalligra{U}p-\mathcalligra{U}q \vert . \end{aligned} $$Hence, \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpansive mapping and has fixed point 5.
From Table 4 and Fig. 2, it can be clearly seen that the AH iterative converges faster to the fixed point of \(\mathcalligra{U}\) than other iterative schemes.
7 Application
In this section, we consider the application of our main results to the following nonlinear mixed Volterra–Fredholm-type integral equation:
Let \(C([a,b])\) denote the space of all real-valued continuous functions on \(I=[a,b]\). It is well known that \(C([a,b])\) is a Banach space with the maximum norm,
Theorem 7.1
Let \(\mathcal{H}\) be a nonempty closed convex subset of \(\mathcal{G}=C([a,b])\) and \(\mathcalligra{U}:\mathcal{H}\to \mathcal{H}\) be defined by
Assume that the following conditions hold:
- (\(Z_{1}\)):
-
\(\vartheta :I\to \mathbb{R}\) is continuous;
- (\(Z_{2}\)):
-
\(\varphi :I\times I\to \mathbb{R}\) is continuous for all \((r,s)\in I\times I\) such that \(|\varphi (s,r)|\leq M\);
- (\(Z_{3}\)):
-
\(\varUpsilon :I\times \mathcal{H}\to \mathcal{H}\) is continuous and there exists a constant \(L_{\varUpsilon }>0\) such that
$$ \bigl\vert \varUpsilon (s,p_{1})-\varUpsilon (s,p_{2}) \bigr\vert \leq L_{\varUpsilon } \vert p_{1}-q_{2} \vert , $$for all \(s\in I\) and \(p_{1},q_{2}\in \mathbb{R}\);
- (\(Z_{4}\)):
-
\(\lambda L_{\varUpsilon }M(b-a)^{2}<1\).
Then, the mixed Volterra–Fredholm integral equation (7.1) has a unique solution in \(C([a,b])\) if and only if \(\mathcalligra{U}\) admits an a.f.p.s.
Proof
Let \(p,q\in C([a,b])\), then
By assumption \((Z_{3})\), we have \(\lambda L_{\varUpsilon }M(b-a)^{2}<1\), then (7.2) yields
Therefore, by Lemma 2.8, \(\mathcalligra{U}\) is a Reich–Suzuki-type nonexpansive mapping since it satisfies the condition (2.4) on \(\mathcal{H}\) with \(\frac{3+\varpi }{1-\varpi }=1\).
Take \(\mathcal{H}=\mathcal{V}\) and \(\mathcal{G}=\mathcal{M}\). Then, all the conditions of Lemma 5.2 are fulfilled, thus, (7.1) has a solution in \(\mathcal{H}\subseteq C([a,b])\). □
Example 7.2
Consider the following mixed-type nonlinear integral equation:
Clearly, the above integral equation is a special case of (7.1) with
Then, for any \(t\in [0,1]\) and \(p_{1},q_{1}\in \mathbb{R}\), we obtain
Next, for any \(p,q\in \mathbb{R}\) with \(p< q\), then by the mean-value theorem, there exists f, \(p< f< q\) such that \(\frac{\cos p-\cos q}{p-q}=-\sin f \Rightarrow |\cos p-\cos q|\leq |p-q|\). Therefore, (7.4) yields
It is not difficult to see that \(\vartheta (t)\) is continuous on \([0,1]\). Also, \(\varUpsilon (t,p(s))\) is continuous and \((r,s)\in [0,1]\times [0,1]\), thus
Consequently, all the assumptions in Theorem 7.1 are performed with \(\lambda L_{\varUpsilon }M(b-a)^{2}=\frac{2}{7}\cdot \frac{1}{2}\cdot 1 \cdot (1-0)^{2}=\frac{2}{14}<1\).
Hence, there exists a solution of the mixed-type nonlinear integral equation (7.3). Further, one can easily verify that the function \(p(t)=\frac{\pi }{2}t\) is the exact solution of (7.3).
8 Conclusion
In this work, we have introduced a four-step iterative scheme, called the AH iterative scheme (1.6) for approximating the fixed points of contractive-like mappings and Reich–Suzuki-type nonexpansive mappings. The new iterative scheme has been shown to converge faster than the JK iterative scheme (1.5) analytically for contractive-like mappings. Furthermore, we have illustrated numerically that our new iterative scheme converges faster than many prominent iterative schemes in the literature for contractive-like mappings. The \(w^{2}\)-stability result of the AH iterative scheme has also been established for contractive-like mappings. We have provided an example to illustrate the notion of \(w^{2}\)-stability of the AH iterative scheme with respect to \(\mathcalligra{U}\). Also, we have proved weak and several strong convergence theorems for Reich–Suzuki-type nonexpansive mappings in uniformly convex Banach spaces. A new example of Reich–Suzuki-type nonexpansive mappings has been provided to compare the convergence behavior of the AH iterative method (1.6) with some well-known iterative schemes. As an application, we used our main results to establish the existence of solution of a mixed-type nonlinear integral equation. Finally, we illustrated the result in our application with an interesting example.
Availability of data and materials
The data used to support the findings of this study are available from the corresponding author upon request.
References
Abbas, M., Nazir, T.: A new faster iteration process applied to constrained minimization and feasibility problems. Mat. Vesn. 66, 223–234 (2014)
Agarwal, R.P., O’Regan, D., Sahu, D.R.: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 8, 61–79 (2007)
Ahmad, J., Ullah, K., Arshad, M., Ma, Z.: A new iterative method for Suzuki mappings in Banach spaces. J. Math. 2021, Article ID 6622931 (2021). https://doi.org/10.1155/2021/6622931
Ali, F., Ali, J., Nieto, J.J.: Some observations on generalized non-expansive mappings with an application. Comput. Appl. Math. 39(2), 74 (2020)
Amnuaykarn, K., Kumam, P., Nantadilok, J.: On the existence of best proximity points of multi-valued mappings in CAT(0) spaces. J. Nonlinear Funct. Anal. 2021, Article ID 25 (2021)
Berinde, V.: On the approximation of fixed points of weak contractive mappings. Carpath. J. Math. 19, 7–22 (2003)
Berinde, V.: Picard iteration converges faster than Mann iteration for a class of quasicontractive operators. Fixed Point Theory Appl. 2, 97–105 (2004)
Berinde, V.: Iterative Approximation of Fixed Points. Springer, Berlin (2007)
Cardinali, T., Rubbioni, P.: A generalization of the Caristi fixed point theorem in metric spaces. Fixed Point Theory 11, 3–10 (2010)
Ceng, L.C., Petrusel, A., Yao, J.C., Yao, Y.: Systems of variational inequalities with hierarchical variational inequality constraints for Lipschitzian pseudocontractions. Fixed Point Theory 20, 113–133 (2019)
Chugh, R., Kumar, V., Kumar, S.: Strong convergence of a new three step iterative scheme in Banach spaces. Am. J. Comput. Math. 2, 345–357 (2012)
Goebel, K., Kirk, W.A.: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990)
Gursoy, F., Karakaya, V.: A Picard–S hybrid type iteration method for solving a differential equation with retarded argument (2014) 1403.2546v2
Harder, A.M.: Fixed point theory and stability results for fixed-point iteration procedures. Ph.D. thesis, University of Missouri-Rolla, Missouri (1987)
Harder, A.M., Hicks, T.L.: A stable iteration procedure for nonexpansive mappings. Math. Jpn. 33, 687–692 (1988)
Hassan, S., De la Sen, M., Agarwal, P., Ali, Q., Hussain, A.: A new faster iterative scheme for numerical fixed points estimation of Suzuki’s generalized nonexpansive mappings. Math. Probl. Eng. 2020, Article ID 3863819 (2020). https://doi.org/10.1155/2020/3863819
Imoru, C.O., Olantiwo, M.O.: On the stability of Picard and Mann iteration processes. Carpath. J. Math. 19(2), 155–160 (2003)
Iqbal, H., Abbas, M., Husnine, S.M.: Existence and approximation of fixed points of multivalued generalized α-nonexpansive mappings in Banach spaces. Numer. Algorithms (2020). https://doi.org/10.1007/s11075-019-00854-z
Ishikawa, S.: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147–150 (1974)
Khan, S.H., Kim, J.K.: Common fixed points of two nonexpansive mappings by a modified faster iteration scheme. Bull. Korean Math. Soc. 47(5), 973–985 (2010)
Mann, W.R.: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506–510 (1953)
Noor, M.A.: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 251, 217–229 (2000)
Ofem, A.E., Igbokwe, D.I.: An efficient iterative method and its applications to a nonlinear integral equation and a delay differential equation in Banach spaces. Turk. J. Inequal. 4(2), 79–107 (2020)
Ofem, A.E., Igbokwe, D.I.: New faster four step iterative algorithm for Suzuki generalized nonexpansive mappings with an application. Adv. Theory Nonlinear Anal. Appl. 5(4), 482–506 (2021)
Ofem, A.E., Udofia, U.E.: Iterative solutions for common fixed points of nonexpansive mappings and strongly pseudocontractive mappings with applications. Can. J. Appl. Math. 3(1), 18–36 (2021)
Ofem, A.E., Udofia, U.E., Igbokwe, D.I.: New iterative for solving constrained convex minimization problem and split feasibility problem. Eur. J. Math. Anal. 1(2), 106–132 (2021)
Okeke, G.A., Abbas, M., Dela Sen, M.: Approximation of the fixed point of multivalued quasi-nonexpansive mappings via a faster iterative process with applications. Discrete Dyn. Nat. Soc. 2020, Article ID 8634050 (2020). https://doi.org/10.1155/2020/8634050
Osilike, M.O., Udomene, A.: Short proofs of stability results for fixed-point iteration procedures for a class of contractive-type mappings. Indian J. Pure Appl. Math. 30(12), 1229–1234 (1999)
Pant, R., Pandey, R.: Existence and convergence results for a class of non-expansive type mappings in hyperbolic spaces. Appl. Gen. Topol. 20, 281–295 (2019)
Reich, S., Zaslavski, A.J.: Fixed points and convergence results for a class of contractive mappings. J. Nonlinear Var. Anal. 5, 665–671 (2021)
Reich, S., Zaslavski, A.J.: Convergence of iterates of nonlinear contractive mappings. Appl. Set-Valued Anal. Optim. 3, 109–115 (2021)
Sahu, D.R., Petrusel, A.: Strong convergence of iterative methods by strictly pseudocontractive mappings in Banach spaces. Nonlinear Anal. 74, 6012–6023 (2011)
Schu, J.: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 43, 153–159 (1991)
Senter, H.F., Dotson, W.G.: Approximating fixed points of nonexpansive mapping. Proc. Am. Math. Soc. 44, 375–380 (1974)
Suzuki, T.: Fixed point theorems and convergence theorems for some generalized nonexpansive mappings. J. Math. Anal. Appl. 340, 1088–1095 (2008)
Takahashi, W., Wen, C.F., Yao, J.C.: Strong convergence theorems by hybrid methods for noncommutative normally 2-generalized hybrid mappings in Hilbert spaces. Appl. Anal. Optim. 3, 43–56 (2019)
Thakur, B.S., Thakur, D., Postolache, M.: A new iterative scheme for numerical reckoning fixed points of Suzuki’s generalized nonexpansive mappings. Appl. Math. Comput. 275, 147–155 (2016)
Timis, I.: On the weak stability of Picard iteration for some contractive type mappings and coincidence theorems. Int. J. Comput. Appl. 37, 9–13 (2012)
Ullah, K., Ahmad, J., Arshad, M., Ma, Z.: Approximating fixed points using a faster iterative method and application to split feasibility problems. Comput. 2021 (2021). https://doi.org/10.3390/computation9080090
Ullah, K., Ahmad, J., de la Sen, M.: On generalized nonexpansive maps in Banach spaces. Comput. 2020 (2020). https://doi.org/10.3390/computation8030061
Ullah, K., Arshad, M.: Numerical reckoning fixed points for Suzuki’s generalized nonexpansive mappings via new iteration process. Filomat 32, 187–196 (2018)
Weng, X.: Fixed point iteration for local strictly pseudocontractive mapping. Proc. Am. Math. Soc. 113, 727–731 (1991)
Yao, Y., Liou, Y.C., Yao, J.C.: Split common fixed point problem for two quasi-pseudo-contractive operators and its algorithm construction. Fixed Point Theory Appl. 2015, 127 (2015)
Yao, Y., 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)
Yao, Y., Qin, X., Yao, J.C.: Projection methods for firmly type nonexpansive operators. J. Nonlinear Convex Anal. 19, 407–415 (2018)
Yao, Y., Yao, J.C., Liou, Y.C., Postolache, M.: Iterative algorithms for split common fixed points of demicontractive operators without priori knowledge of operator norms. Carpath. J. Math. 34, 459–466 (2018)
Zamfirescu, T.: Fixed point theorems in metric spaces. Arch. Math. (Basel) 23, 292–298 (1972)
Acknowledgements
The authors are thankful to the editor and anonymous referees for their valuable comments and suggestions.
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
AEO analyzed the results in the literature and made the original draft preparation. HI carried out the formal analysis, writing review and editing, and project administration. FA performed the validation and formal analysis. JA conducted the formal analysis, writing review and editing. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ofem, A.E., Işık, H., Ali, F. et al. A new iterative approximation scheme for Reich–Suzuki-type nonexpansive operators with an application. J Inequal Appl 2022, 28 (2022). https://doi.org/10.1186/s13660-022-02762-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02762-8