Abstract
In this article, we introduce a new type of non-expansive mapping, namely weakly K-nonexpansive mapping, which is weaker than non-expansiveness and stronger than quasi-nonexpansiveness. We prove some weak and strong convergence results using weakly K-nonexpansive mappings. Also, we define weakly \((\alpha ,K)\)-nonexpansive mapping and using it prove one stability result for JF-iterative process. Some prominent examples are presented illustrating the facts. A numerical example is given to compare the convergence behavior of some known iterative algorithms for weakly K-nonexpansive mappings. Moreover, we show by example that the class of α-nonexpansive mappings due to Aoyama and Kohsaka and the class of generalized α-nonexpansive mappings due to Pant and Shukla are independent. Finally, our fixed point theorem is applied to obtain a solution of a nonlinear fractional differential equation.
Similar content being viewed by others
1 Introduction
Throughout this article, \((\mathcal {B},\lVert \cdot\rVert )\) denotes a real Banach space, and \(\mathcal {D}\) is a non-empty, closed and convex subset of \(\mathcal {B}\), unless otherwise stated. Let \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) be a self-mapping, and \(\operatorname{Fix}(\varUpsilon )\) denotes the set of all fixed points of ϒ. Also, we use the notations \(u_{n} \rightharpoonup u\) and \(u_{n} \to u\) for a sequence \(\{u_{n}\}\) converging weakly and strongly to u, respectively.
The self-mapping ϒ on \(\mathcal {D}\) is said to be non-expansive (see [19]) if \(\lVert \varUpsilon x-\varUpsilon y\rVert \le \lVert x-y\rVert \) for all \(x,y\in \mathcal {D}\) and is said to be quasi-nonexpansive (see [19]) if \(\operatorname{Fix}(\varUpsilon ) \ne \emptyset \) and \(\lVert \varUpsilon x-\rho \rVert \le \lVert x-\rho \rVert \) for all \(x\in \mathcal {D}\) and \(\rho \in \operatorname{Fix}(\varUpsilon )\). There are several extensions and generalizations of non-expansive mappings considered by many researchers.
In 1973, Hardy and Rogers [21] introduced the notion of generalized non-expansive mapping as below:
Definition 1.1
([21])
A mapping \(\varUpsilon : \mathcal {D} \to \mathcal {D}\) is said to be a Generalized non-expansive mapping if for all \(x,y \in \mathcal {D}\),
where \(\alpha _{i} \ge 0\) with \(\sum_{i=1}^{5} \alpha _{i} \le 1\). Or equivalently, [11]
with \(\alpha _{i} \ge 0\) and \(\alpha _{1}+2\alpha _{2}+2\alpha _{3} \le 1\).
It is clear that if \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \), then ϒ is a quasi-nonexpansive mapping.
In 2008, Suzuki [44] introduced a new generalization of non-expansive mappings, namely Condition (C) as below:
Definition 1.2
([44])
A mapping \(\varUpsilon : \mathcal {D} \to \mathcal {D}\) is said to satisfy Condition (C) if for all \(x,y\in \mathcal {D}\),
It is also clear that a mapping with a fixed point satisfying Condition (C) is necessarily a quasi-nonexpansive mapping.
After that, in 2011, Aoyama and Kohsaka [9] introduced another class of non-expansive mappings and proved the existence of fixed point of such mappings.
Definition 1.3
([9])
A mapping \(\varUpsilon : \mathcal {D} \to \mathcal {D}\) is said to be an α-nonexpansive mapping if
for all \(x,y\in \mathcal {D}\) and for some \(0\le \alpha <1\).
Furthermore, in 2017, Pant and Shukla [34] introduced a larger class of mappings, which contains both Suzuki-type mappings and α-nonexpansive mappings, and established some convergence theorem.
Definition 1.4
([34])
A mapping \(\varUpsilon : \mathcal {D} \to \mathcal {D}\) is said to be a generalized α-nonexpansive mapping if \(\frac{1}{2} \lVert x-\varUpsilon x\rVert \le \lVert x-y\rVert \) implies
for all \(x,y\in \mathcal {D}\) and for some \(0\le \alpha <1\).
It can be easily prove that for both α-nonexpansive mappings and generalized α-nonexpansive mappings, if \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \), then they are quasi-nonexpansive mappings. Thus, all the classes of mappings defined in (1.2), (1.3), (1.4), and (1.5) are wider than the class of non-expansive mappings and are narrower than the quasi-nonexpansive mappings.
Very recently, in 2020, Ali et al. [6] showed that the Suzuki Condition (C) and the generalized non-expansive mapping are independent.
On the other hand, the iterative processes have great importance in modern fixed point theory. To find a fixed point of a self-mapping defined on a metric type space, we often use the Picard iteration. On a distance space \(\mathcal{X}\) for a mapping ϒ, the Picard iterative process is defined by \(u_{n+1}=\varUpsilon u_{n}\) with an initial guess \(u_{1}\in \mathcal{X}\). Most of the researchers working on fixed point theory use this iterative process to obtain fixed points of a mapping [1, 14, 18, 41].
In 1953, Mann [26] first initiated an iterative process to approximate the fixed point for non-expansive mappings with an initial guess \(u_{1}\in \mathcal {D}\) as:
where \(\{\tau _{n}\}\) is a sequence in \((0,1)\).
After that, Ishikawa [24] in 1974 introduced a two step iterative process with the help of two constant sequences \(\{\tau _{n}\}\) and \(\{\xi _{n}\}\) in \((0,1)\) with an initial guess \(u_{1}\in \mathcal {D}\) as:
which the convergence is faster than the Mann iterative process.
In the last few years, several researchers obtained various iterative process to approximate fixed points of various classes of mappings. Among them are the iterations introduced by Noor [28], Agarwal et al. [2], Thakur et al. [45], and Piri et al. [36], as well as Picard-S iteration [35], M-iteration [48], \(\mathrm{M}^{*}\)-iteration [47], K-iteration [22], etc.
Very recently, in 2020, Ali et al. [6] have introduced a new iterative process called JF-iterative process with an initial guess \(u_{1}\in \mathcal {D}\), which is as follows:
where \(\{\xi _{n}\}\) and \(\{\tau _{n}\}\) are two sequences in \((0,1)\).
Considering generalized non-expansive mappings, they proved in [6] that the iterative process given by (1.8) converges faster than the Mann iteration, Ishikawa iteration, Noor iteration, S-iteration, Picard-S iteration, and Thakur et al. iteration.
Now, a natural question arises: How can we approximate the fixed point of such mappings using a certain iterative scheme if a mapping does not belong to any of non-expansive, generalized non-expansive, Condition (C), α-nonexpansive and generalized α-nonexpansive classes? In this paper, we answer this question only partially. Indeed, inspired by the papers [33] and [40], we introduce a new class of non-expansive mappings, namely weakly K-nonexpansive mappings, which is defined as follows:
Definition 1.5
A mapping \(\varUpsilon :\mathcal {D}\to \mathcal {D}\) is said to be a weakly K-nonexpansive mapping if there exists \(K\ge 0\) such that
It is to be noted that a weakly K-nonexpansive mapping does not guarantee the existence of fixed point. In particular, if \(K=0\), then (1.9) reduces to non-expansive mapping, and if \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \), then (1.9) reduces to quasi-nonexpansive mapping. Thus, the class of weakly K-nonexpansive mappings is larger than the that of non-expansive mappings and smaller than the class of quasi-nonexpansive mappings.
Here, using weakly K-nonexpansive mappings ϒ with \(\operatorname{Fix}(\varUpsilon ) \ne \emptyset \), we establish a convergence theorem for the JF-iterative process to approximate fixed point for such mappings, and finally we compare its convergence rate by providing a numerical example with some other known iterative process.
In 1967, Ostrowski [32] was the first who studied the stability of iterative procedures in a metric space for the Picard iteration.
Definition 1.6
([10])
Let \((\mathcal {X},d)\) be a metric space and \(\varUpsilon :\mathcal {X} \to \mathcal {X}\) be a mapping. Let \(u_{1}\in \mathcal {X}\) and \(u_{n+1}=f(\varUpsilon ,u_{n})\) be a general iterative process involving the mapping ϒ. Suppose that \(\{u_{n}\}_{{n}}\) converges to a fixed point \(\rho \in \mathcal {X}\) of ϒ. Let \(\{x_{n}\}_{{n}}\subset \mathcal {X}\) be any sequence and let \(\epsilon _{n}:=d(x_{n+1},f(\varUpsilon ,x_{n}))\) for all \(n\in \mathbb{N}\). Then the iterative process \(u_{n+1}=f(\varUpsilon ,u_{n})\) is ϒ-stable (or stable with respect to the mapping ϒ) if and only if \(\lim_{n\to \infty}\epsilon _{n}=0\) implies \(\lim_{n\to \infty}x_{n}=\rho \).
The stability of different iterative procedures of certain contractive mappings have been studied by several researchers (See, [20, 37–39, 46], and [10, 16]).
In 1995, Osilike [31] proposed a new type of contractive mapping in a normed linear space \(\mathcal {X}\) as: for all \(x,y\in \mathcal {X}\), there exists \(\alpha \in [0,1)\) and \(K\ge 0\) such that
Using this contractive condition, he proved that the Picard and Ishikawa iterating sequences are ϒ-stable. Thereafter, in 2003, Imoru et al. [23] generalized the contractive mapping due to Osilike by replacing the constant K by a certain function as follows and proved some stability results for the Picard and Mann iterative processes (see, also [29] for the Ishikawa iterative process):
For all \(x,y\in \mathcal {X}\), there exists \(\alpha \in [0,1)\) and a monotone increasing and continuous function \(\psi :[0,+\infty )\to [0,+\infty )\) with \(\psi (0)=0\) such that
Now, the question is: Does there exist a larger class of contractive mappings than that of (1.11) so that the stability results can be improved? We have also answered this question partially. Indeed, we employ another type of non-expansivity, namely the weakly \((\alpha ,K)\)-nonexpansive mappings defined as follows, and show by an example that there are such mappings, which do not satisfy (1.11), but they are weakly \((\alpha ,K)\)-nonexpansive mappings.
Definition 1.7
A mapping \(\varUpsilon :\mathcal {D}\to \mathcal {D}\) is said to be a weakly \((\alpha ,K)\)-nonexpansive mapping if ∃ \(\alpha \in (0,1)\) and \(K\ge 0\) such that
Using weakly \((\alpha ,K)\)-nonexpansive mapping (1.12), we prove stability results for the JF-iterative process (1.8).
2 Preliminaries
In this section, we recall some basic definitions, preliminary facts, and Lemmas, which we have used in our main results.
Definition 2.1
([19])
A Banach space \(\mathcal {B}\) is said to be strictly convex if for all \(x,y\in \mathcal {B}\) with \(x\ne y\) and \(\lVert x\rVert =\lVert y\rVert =1\) implies \(\lVert \frac{x+y}{2} \rVert <2\), and \(\mathcal {B}\) is said to be uniformly convex if for each \(\epsilon \in (0,2]\), ∃ a \(0<\delta <1\) such that \(\frac{\lVert x+y\rVert}{2}\le 1-\delta \); \(\forall x,y\in \mathcal {B}\) with \(\lVert x\rVert \le 1\), \(\lVert y\rVert \le 1\) and \(\lVert x-y\rVert \ge \epsilon \).
A mapping \(\varUpsilon :\mathcal {D}\to \mathcal {B}\) is said to be demiclosed at \(y\in \mathcal {B}\) (see [19]) if for every sequence \(\{u_{n}\}\subset \mathcal {D}\) with \(u_{n}\rightharpoonup x\) for some \(x\in \mathcal {D}\) and \(\varUpsilon u_{n} \to y\) implies that \(\varUpsilon x=y\).
A Banach space \(\mathcal {B}\) is said to satisfy Opial’s property(see [30]) if for any arbitrary sequence \(\{u_{n}\}\subset \mathcal {B}\) with \(u_{n} \rightharpoonup x\in \mathcal {B}\) such that for all \(y\in \mathcal {B} \setminus \{x\}\),
Let \(\{u_{n}\}\) be a bounded sequence in \(\mathcal {B}\). Then, for every \(x\in \mathcal {D}\), we define (see [19]):
-
Asymptotic radius of \(\{u_{n}\}\) relative to x by
$$ r\bigl(x,\{u_{n}\}\bigr):=\limsup_{n\to +\infty}\lVert u_{n}-x\rVert . $$ -
Asymptotic radius of \(\{u_{n}\}\) relative to \(\mathcal {D}\) by
$$ r\bigl(\mathcal {D},\{u_{n}\}\bigr):=\inf_{x\in \mathcal {D}}r \bigl(x,\{u_{n}\}\bigr). $$ -
Asymptotic centre of \(\{u_{n}\}\) relative to \(\mathcal {D}\) by
$$ A\bigl(\mathcal {D},\{u_{n}\}\bigr):= \bigl\{ x\in \mathcal {D} :r \bigl(x,\{u_{n}\}\bigr)=r\bigl( \mathcal {D},\{u_{n}\}\bigr) \bigr\} .$$
Moreover, if \(\mathcal {B}\) is uniformly convex, then it is well known that \(A(\mathcal {D},\{u_{n}\})\) is a singleton set.
A mapping \(\varUpsilon :\mathcal {D}\to \mathcal {D}\) is said to satisfy Condition (I) (see [43]) if there exists a non-decreasing function \(\varphi :[0,+\infty )\to [0,+\infty )\) with \(\varphi (0)=0\) and \(\varphi (t)>0\), for all \(t>0\) such that \(\lVert x-\varUpsilon x\rVert \ge \varphi (d(x,\operatorname{Fix}(\varUpsilon )))\), for all \(x\in \mathcal {D}\); where \(d(x,\operatorname{Fix}(\varUpsilon )):=\inf_{\rho \in \operatorname{Fix}( \varUpsilon )}\lVert x-\rho \rVert \).
Lemma 2.2
([42])
Let \(\mathcal {B}\) be a uniformly convex Banach space and \(0< r\le s_{n}\le t<1\) for all \(n\in \mathbb{N}\). Suppose that \(\{a_{n}\}\) and \(\{b_{n}\}\) are two sequences in \(\mathcal {B}\) satisfying \(\limsup_{n\to +\infty}\lVert a_{n}\rVert \le s\), \(\limsup_{n\to +\infty}\lVert b_{n}\rVert \le s\) and \(\limsup_{n\to +\infty}\lVert s_{n}a_{n}+(1-s_{n})b_{n}\rVert =s\) for some \(s\ge 0\). Then \(\lim_{n\to +\infty}\lVert a_{n}-b_{n}\rVert =0\).
Lemma 2.3
([15])
Let μ be a real number with \(0\le \mu <1\) and \(\{\epsilon _{n}\}\) be a sequence of positive reals such that \(\lim_{n\to +\infty} \epsilon _{n}=0\). Then, for any sequence of positive reals \(\{x_{n}\}\) satisfying \(x_{n+1}\le \epsilon _{n} +\mu x_{n}\), we have \(\lim_{n\to +\infty}x_{n}=0\).
3 Some basic discussions
In this section, we discuss the nature of our weakly K-nonexpansive and weakly \((\alpha ,K)\)-nonexpansive mappings, compare them with the other previously defined mappings, and prove some basic properties of our newly defined non-expansive type mappings, which we used in our main results. Pant & Shukla [34] proved that every mapping satisfying Condition (C) (1.3) is a generalized α-nonexpansive mapping (1.5), but the reverse implication is not true.
Ali et al. [6] proved via some examples that the generalized non-expansive mapping (1.2) due to Hardy-Rogers and the Condition (C) (1.3) are independent.
Also, it has already been proved that generalized α-nonexpansive mapping (1.5) is not necessarily a α-nonexpansive mapping (1.4) (see [34], Example 3.4).
First, we will prove that the class of α-nonexpansive mappings (1.4) and the class of generalized α-nonexpansive mapping (1.5) are independent. For this purpose, we consider the following example:
Example 3.1
Let \(\mathcal {B}=\mathbb{R}\) and \(\mathcal {D}=\{1,2,4\}\). Define \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) by
Then, ϒ is an α-nonexpansive mapping but not generalized α-nonexpansive mapping.
To prove that ϒ is an α-nonexpansive mapping, take \(\alpha =\frac{3}{7}\).
Case 1: If \(x=2\) and \(y=1\), then
Case 2: If \((x,y)\in \{(1,1),(2,2),(4,4),(2,4)\}\) then, \(\lVert \varUpsilon x-\varUpsilon y\rVert ^{2} =0\) and since \(\alpha =\frac{3}{7}>0\) and \(1-2\alpha =\frac{1}{7}>0\), so, \(\alpha ( \lVert x-\varUpsilon y\rVert ^{2}+ \lVert y- \varUpsilon x\rVert ^{2} )+(1-2\alpha )\lVert x-y\rVert ^{2} \ge 0\). Thus, \(\lVert \varUpsilon x-\varUpsilon y\rVert ^{2} \le \alpha ( \lVert x-\varUpsilon y\rVert ^{2}+ \lVert y-\varUpsilon x\rVert ^{2} )+(1-2\alpha )\lVert x-y\rVert ^{2}\) holds.
Case 3: If \(x=1\) and \(y=4\) then,
Hence, ϒ is an α-nonexpansive mapping.
Now, take \(x=2\) and \(y=1\). Then, \(\frac{1}{2} \lVert x-\varUpsilon x\rVert =1=\lVert x-y\rVert \). Suppose that there exists \(\alpha \in [0,1)\) such that \(\lVert \varUpsilon x-\varUpsilon y\rVert \le \alpha ( \lVert x- \varUpsilon y\rVert + \lVert y-\varUpsilon x\rVert )+(1-2 \alpha )\lVert x-y\rVert \). Then, \(2\le 3\alpha +(1-2\alpha )\) implies \(\alpha \ge 1\), a contradiction. Hence, ϒ is not a generalized α-nonexpansive mapping.
Also, note that ϒ is a weakly K-nonexpansive mapping for \(K=1\).
Example 3.2
Let \(\mathcal {B}:=\mathbb{R}\) and \(\mathcal {D}=[0,4]\). Define \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) by
Then, ϒ is a weakly K-nonexpansive mapping, whether it is neither a generalized α-nonexpansive mapping nor satisfies the Suzuki Condition (C).
Take \(K=1\). If \(x,y\in [0,4)\), then (1.9) holds trivially, as \(\lVert \varUpsilon x-\varUpsilon y\rVert =0\).
If \(x=4\) and \(y\in [0,4)\), then \(\lVert \varUpsilon x-\varUpsilon y\rVert =3<4=\lVert x-y\rVert +K \lVert y-\varUpsilon y\rVert .\lVert x-\varUpsilon x\rVert \). Therefore, ϒ is a weakly K-nonexpansive mapping.
Take \(x=4\) and \(y=3\). Then \(\frac{1}{2} \lVert x-\varUpsilon x\rVert =\frac{1}{2} <1=\lVert x-y\rVert \). Suppose that there exists \(\alpha \in [0,1)\) such that \(\lVert \varUpsilon x-\varUpsilon y\rVert \le \alpha ( \lVert x- \varUpsilon y\rVert + \lVert y-\varUpsilon x\rVert )+(1-2 \alpha )\lVert x-y\rVert \). Then \(3\le 4\alpha +(1-2\alpha )\) implies \(\alpha \ge 1\), a contradiction. Therefore, ϒ is not a generalized α-nonexpansive mapping and contrapositively ϒ does not satisfy Condition (C).
Example 3.3
Let \(\mathcal {B}:=\mathbb{R}^{2}\). Define a norm on \(\mathbb{R}^{2}\) by \(\lVert x\rVert =\lVert (x_{1},x_{2})\rVert := \lvert x_{1}\rvert + \lvert x_{2}\rvert \). Then \((\mathcal {B}, \lVert \cdot\rVert )\) is a Banach space. Consider a subset of \(\mathcal {D}\subset \mathbb{R}^{2}\) defined as:
\(\mathcal {D}:=\{(0,0),(2,0),(4,0),(0,4),(4,5),(5,4)\}\). Define a map \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) by
Then, ϒ is a weakly K-nonexpansive mapping but satisfies none of the (1.2), (1.3), (1.4), and (1.5).
It can be easily verify that ϒ is a weakly K-nonexpansive mapping for \(K=1\).
Take \(x=(4,5)\) and \(y=(5,4)\). Suppose that there exists \(\alpha \in [0,1)\) satisfying \(\lVert \varUpsilon x-\varUpsilon y\rVert ^{2}\le \alpha ( \lVert x-\varUpsilon y\rVert ^{2}+ \lVert y-\varUpsilon x\rVert ^{2} )+(1-2\alpha )\lVert x-y\rVert ^{2}\). Then, \(64 \le \alpha (25+25)+4(1-2\alpha )\) implies \(\alpha \ge \frac{30}{21}>1\), a contradiction. Therefore, ϒ is not an α-nonexpansive mapping (1.4).
Taking the same x and y, suppose that there exists \(\alpha _{1},\alpha _{2},\alpha _{3}\in [0,1)\) with \(\alpha _{1}+2\alpha _{2}+2\alpha _{3} \le 1\) such that (1.2) holds. Then, \(8\le 2\alpha _{1}+10\alpha _{2}+10\alpha _{3} \le 2+6\alpha _{2}+6 \alpha _{3} \le 5-3\alpha _{1}\) implies \(\alpha _{1} \le -1\), a contradiction. Therefore, ϒ is not a generalized non-expansive mapping (1.2).
Next take \(x=(0,4)\) and \(y=(5,4)\). Then \(\frac{1}{2} \lVert x-\varUpsilon x\rVert =4 <5=\lVert x-y\rVert \). Now, suppose that there exists \(\alpha \in [0,1)\) satisfying
Then, \(8\le \alpha (0+5)+5(1-2\alpha )\) implies \(\alpha \le -\frac{3}{5}\), a contradiction. Therefore, ϒ is not a generalized α-nonexpansive mapping (1.5). Then, contrapositively, ϒ does not satisfy Condition (C) (1.3). Moreover, ϒ is not a non-expansive mapping.
Proposition 3.4
For a weakly K-nonexpansive mapping \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) we have,
Proof
Simply using the triangle inequality, we have
for all \(x,y\in \mathcal {D}\). □
Lemma 3.5
Let \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) be a weakly K-nonexpansive mapping, where \(\mathcal {D}\) is a closed subset of a Banach space \(\mathcal {B}\). Then, \(\operatorname{Fix}(\varUpsilon )\) is closed. Moreover, if \(\mathcal {B}\) is strictly convex, and \(\mathcal {D}\) is convex, then \(\operatorname{Fix}(\varUpsilon )\) is convex.
Proof
To show that \(\operatorname{Fix}(\varUpsilon )\) is closed, let us assume that \(\rho \in \overline{\operatorname{Fix}(\varUpsilon )}\). Then, there exists a sequence \(\{\rho _{n}\}\subset \operatorname{Fix}(\varUpsilon )\) such that \(\rho _{n} \xrightarrow{n\to +\infty} \rho \).
Now, using (3.3), we have
Taking the limit on both sides, we have \(\lim_{n\to +\infty}\lVert \rho _{n}-\varUpsilon \rho \rVert \le \lim_{n\to +\infty}\lVert \rho _{n}-\rho \rVert =0\), which implies that \(\rho _{n} \xrightarrow{n\to +\infty} \varUpsilon \rho \), and hence, \(\rho =\varUpsilon \rho \), i.e., \(\rho \in \operatorname{Fix}(\varUpsilon )\), and consequently, \(\operatorname{Fix}(\varUpsilon )\) is closed.
Now, we will show that \(\operatorname{Fix}(\varUpsilon )\) is convex. For this aim, let \(\rho _{1},\rho _{2}\in \operatorname{Fix}(\varUpsilon )\) with \(\rho _{1}\ne \rho _{2}\) and let \(0<\mu <1\). Put \(\rho :=\mu \rho _{1}+(1-\mu )\rho _{2}\). We claim that \(\rho \in \operatorname{Fix}(\varUpsilon )\).
Using (3.3), we have,
Similarly,
Now,
implies that \(\lVert \rho _{1}-\varUpsilon \rho \rVert +\lVert \varUpsilon \rho - \rho _{2}\rVert =\lVert \rho _{1}-\rho _{2}\rVert \). Since \(\mathcal {B}\) is strictly convex, there exists a constant \(\kappa >0\) such that \(\rho _{1}-\varUpsilon \rho =\kappa (\varUpsilon \rho -\rho _{2})\). Then, \(\varUpsilon \rho =\delta \rho _{1}+(1-\delta )\rho _{2}\), where \(\delta =\frac{1}{1+\kappa}\in (0,1)\). Now, using (3.4) and (3.5), we get
and
Thus, we get \(1-\delta \le 1-\mu \), and \(\delta \le \mu \) implies \(\delta =\mu \). Then, \(\varUpsilon \rho =\rho \), i.e., \(\rho \in \operatorname{Fix}(\varUpsilon )\), and hence, \(\operatorname{Fix}(\varUpsilon )\) is convex. □
Lemma 3.6
Let \(\mathcal {B}\) be a Banach space having Opial’s property and \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) be a weakly K-nonexpansive mapping, where \(\mathcal {D}\) is a closed subset of \(\mathcal {B}\). If \(\{u_{n}\}\) is a sequence in \(\mathcal {D}\) such that \(u_{n} \rightharpoonup x\) for some \(x\in \mathcal {D}\) and \(\lim_{n\to +\infty} \lVert u_{n}-\varUpsilon u_{n} \rVert =0\), then \(\mathcal {I}-\varUpsilon \) is demiclosed at zero, where \(\mathcal {I}\) is the identity mapping on \(\mathcal {D}\).
Proof
Using (3.3), we have, \(\lVert u_{n}-\varUpsilon x\rVert \le \lVert u_{n}-x\rVert +\lVert u_{n}- \varUpsilon u_{n}\rVert (1+K\lVert x-\varUpsilon x\rVert )\).
Taking lim inf on both sides, we get \(\liminf_{n\to +\infty}\lVert u_{n}-\varUpsilon x\rVert \le \liminf_{n \to +\infty}\lVert u_{n}-x\rVert \) and by Opial’s property, we have \(\varUpsilon x=x\), i.e., \(\mathcal {I}-\varUpsilon \) is demiclosed at zero. □
4 Stability results
In this section, first we present an example, which does not satisfy (1.11) but satisfies (1.12), and then we prove some stability results of JF-iterative process (1.8) for weakly \((\alpha ,K)\)-nonexpansive mappings (1.12).
Example 4.1
Let \(\mathcal {X}:=[2,\infty )\). Define \(\varUpsilon :\mathcal {X}\to \mathcal {X}\) by \(\varUpsilon (x)=x^{2}\). Then, it is easy to check that ϒ is a weakly \((\alpha ,K)\)-nonexpansive mapping with \(\alpha =\frac{1}{2}\) and \(K=1\). But ϒ does not satisfy (1.11). For this, we take \(x=2\) and \(y=2^{n}\) (\(n \in \mathbb{N}\)). Then, for any \(\alpha \in [0,1)\) we have \(\psi (2)\ge \frac{1}{2}.[(2^{2n}-4)-\alpha (2^{n}-2)]\to +\infty \) as \(n\to +\infty \), which is a contradiction.
Remark 4.2
A weakly \((\alpha ,K)\)-nonexpansive mapping does not ensure the existence of fixed point. Example 4.1 shows this.
Theorem 4.3
Let \((\mathcal {X}, \lVert \cdot\rVert )\) be a normed linear space and \(\varUpsilon :\mathcal {X}\to \mathcal {X}\) be a weakly \((\alpha ,K)\)-nonexpansive mapping. Suppose that ϒ has a fixed point \(\rho \in \mathcal {X}\). Let \(u_{1} \in \mathcal {X}\) and \(u_{n+1}=f(\varUpsilon , u_{n})\) be the JF-iterating process defined by (1.8). Then, the JF-iterative process is ϒ-stable.
Proof
Here, \(u_{n+1}=f(\varUpsilon , u_{n})\) defined by the iterative scheme (1.8), where \(\{\tau _{n}\}\) and \(\{\xi _{n}\}\) are sequences in \((0,1)\). Let \(\{x_{n}\} \subset \mathcal {X}\) be an arbitrary sequence. Define \(\epsilon _{n}:=\lVert x_{n+1}-f(\varUpsilon ,x_{n})\rVert \).
First suppose that \(\lim_{n\to +\infty}\epsilon _{n}=0\). Then,
Since \(\alpha \in (0,1)\), so \(0\le 1-\tau _{n}+\alpha \tau _{n}=1-\tau _{n}(1-\alpha )<1\), and \(0\le 1-\xi _{n}+\alpha \xi _{n}=1-\xi _{n}(1-\alpha )<1\). Therefore, by Lemma 2.3, we have \(\lim_{n\to +\infty}\lVert x_{n}-\rho \rVert =0\), i.e., \(\lim_{n\to +\infty}x_{n}=\rho \). Consequently, JF-iterative process is ϒ-stable. □
5 Convergence results
In this section, we present some convergence results for weakly K-nonexpansive mappings using JF iterative algorithm (1.8). For this purpose, the following Lemmas are crucial.
Lemma 5.1
Let \(\mathcal {D}\) be a non-empty, closed and convex subset of a uniformly convex Banach space \(\mathcal {B}\) and \(\varUpsilon : \mathcal {D} \to \mathcal {D}\) be a weakly K-nonexpansive mapping with \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \). Let \(\{u_{n}\}\) be the iterative sequence defined by (1.8). Then, \(\lim_{n\to +\infty}\lVert u_{n}-\rho \rVert \) exists for all \(\rho \in \operatorname{Fix}(\varUpsilon )\).
Proof
Let \(\rho \in \operatorname{Fix}(\varUpsilon )\). Since ϒ is a weakly K-nonexpansive mapping, so for every sequence \(\{x_{n}\}\subset \mathcal {D}\), we can get \(\lVert \varUpsilon x_{n}-\rho \rVert \le \lVert x_{n}-\rho \rVert \). Then using the iteration (1.8), we have
Now, using (5.1), we have
Finally, using (5.3), we have
Thus, we get \(\{\lVert u_{n}-\rho \rVert \}_{n}\) is a non-increasing sequence of reals, which is bounded below by zero. Hence, \(\lim_{n\to +\infty}\lVert u_{n}-\rho \rVert \) exists for all \(\rho \in \operatorname{Fix}(\varUpsilon )\). □
Lemma 5.2
Let \(\varUpsilon : \mathcal {D} \to \mathcal {D}\) be a weakly K-nonexpansive mapping defined on a non-empty closed convex subset \(\mathcal {D}\) of a uniformly convex Banach space \(\mathcal {B}\). Let \(\{u_{n}\}\) be the iterative sequence defined by (1.8). Then, \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \) if and only if \(\{u_{n}\}\) is bounded and \(\lim_{n\to +\infty}\lVert u_{n}-\varUpsilon u_{n}\rVert =0\).
Proof
First suppose that \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \) and let \(\rho \in \operatorname{Fix}(\varUpsilon )\). Then, from Lemma 5.1, we have \(\lim_{n\to +\infty}\lVert u_{n}-\rho \rVert \) exists and consequently \(\{u_{n}\}\) becomes bounded.
Let \(\lim_{n\to +\infty}\lVert u_{n}-\rho \rVert =\theta \). Then, from (5.1) and (5.3), we have \(\limsup_{n\to +\infty} \lVert w_{n}-\rho \rVert \le \theta \) and \(\limsup_{n\to +\infty} \lVert v_{n}-\rho \rVert \le \theta \).
Since ϒ is weakly K-nonexpansive mapping, we have \(\lVert \varUpsilon u_{n}-\rho \rVert = \lVert \varUpsilon u_{n}- \varUpsilon \rho \rVert \le \lVert u_{n}-\rho \rVert \) and therefore \(\limsup_{n\to +\infty} \lVert \varUpsilon u_{n}-\rho \rVert \le \theta \).
Now, taking lim inf on both sides of (5.4), we have
which yields \(\lim_{n\to +\infty} \lVert v_{n}-\rho \rVert =\theta \).
Again by taking lim inf on both sides in (5.2), we have
implying that \(\lim_{n\to +\infty} \lVert w_{n}-\rho \rVert =\theta \).
Therefore,
which implies that \(\lim_{n\to +\infty}\lVert (1-\xi _{n})(u_{n}-\rho )+ \xi _{n}(\varUpsilon u_{n}-\rho )\rVert =\theta \). Consequently, using Lemma 2.2, we can conclude that \(\lim_{n\to +\infty}\lVert u_{n}-\varUpsilon u_{n} \rVert =0\).
Conversely, suppose that \(\{u_{n}\}\) be bounded and \(\lim_{n\to +\infty}\lVert u_{n}-\varUpsilon u_{n} \rVert =0\). Since \(\mathcal {B}\) is a uniformly convex Banach space, and \(\mathcal {D}\) is a non-empty closed and convex subset of \(\mathcal {B}\), \(A(\mathcal {D},\{u_{n}\}) \) is a singleton set, say \(\{\rho \}\).
Now, we claim that ρ is a fixed point of ϒ. Using (3.3), we have
Therefore, \(\varUpsilon \rho \in A(\mathcal {D},\{u_{n}\})\) and consequently, \(\varUpsilon \rho =\rho \), i.e., ρ is a fixed point of ϒ, and we are done. □
Now, we are ready to prove a weak convergence result and a strong convergence result for a weakly K-nonexpansive mapping using the iterative scheme given by (1.8).
Theorem 5.3
Let \(\mathcal {B}\) be a uniformly convex Banach space having the Opial property and \(\mathcal {D}(\ne \emptyset )\) be a closed and convex subset of \(\mathcal {B}\). Let \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) be a weakly K-nonexpansive mapping and let \(\{u_{n}\}\) be an iterated sequence defined by (1.8). If \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \), then \(\{u_{n}\}\) converges weakly to a fixed point of ϒ.
Proof
Suppose that \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \). Then, from Lemma 5.2, we have \(\lim_{n\to +\infty}\lVert u_{n}-\varUpsilon u_{n}\rVert =0\). Since \(\mathcal {B}\) is uniformly convex, it is reflexive, and hence there exists a sub-sequence \(\{u_{n_{i}}\}_{i}\) of \(\{u_{n}\}\) such that \(u_{n_{i}}\rightharpoonup \rho \) for some \(\rho \in \mathcal {D}\). Then, by Lemma 3.6, \(\mathcal {I}-\varUpsilon \) is demiclosed at zero, where \(\mathcal {I}\) is the identity mapping on \(\mathcal {D}\), i.e., \(\rho \in \operatorname{Fix}(\varUpsilon )\).
By the contrary, suppose that \(u_{n} \not \rightharpoonup \rho \). Then, there exists a subsequence \(\{u_{n_{j}}\}_{j}\) of \(\{u_{n}\}\) such that \(u_{n_{j}}\rightharpoonup \rho '\) for some \(\rho '\ (\ne \rho )\in \mathcal {D}\). Then, by Lemma 3.6, \(\rho ' \in \operatorname{Fix}(\varUpsilon )\).
Again from Lemma 5.1, we conclude that \(\lim_{n\to +\infty}\lVert u_{n}-\rho \rVert \) exists, \(\forall \rho \in \operatorname{Fix}(\varUpsilon )\). Therefore,
arrives at a contradiction and consequently, \(u_{n} \rightharpoonup \rho \), which completes the proof. □
Theorem 5.4
Let \(\mathcal {B}\) be a uniformly convex Banach space and \(\mathcal {D}\) be a closed and convex subset of \(\mathcal {B}\). Let \(\varUpsilon :\mathcal {D} \to \mathcal {D}\) be a weakly K-nonexpansive mapping with \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \) and let \(\{u_{n}\}\) be the iterated sequence defined by (1.8). Then, \(\{u_{n}\}\) converges strongly to a fixed point of ϒ if one of the followings hold:
-
(i)
\(\liminf_{n\to +\infty}d(u_{n},\operatorname{Fix}(\varUpsilon ))=0\),
-
(ii)
ϒ satisfies Condition (I).
Proof
(i) Assume that \(\liminf_{n\to +\infty}d(u_{n},\operatorname{Fix}(\varUpsilon ))=0\). Since \(\operatorname{Fix}(\varUpsilon )\ne \emptyset \), let us choose \(\rho \in \operatorname{Fix}(\varUpsilon )\). From (5.5), we have \(\lVert u_{n+1}-\rho \rVert \le \lVert u_{n}-\rho \rVert \), which implies that \(d(u_{n+1},\operatorname{Fix}(\varUpsilon )) \le d(u_{n},\operatorname{Fix}( \varUpsilon ))\). Thus, \(\{d(u_{n},\operatorname{Fix}(\varUpsilon ))\}_{{n}}\) is a non-increasing sequence, which is bounded below by zero. Therefore, \(\lim_{n\to +\infty}d(u_{n},\operatorname{Fix}(\varUpsilon ))\) exists and by our assumption, \(\lim_{n\to +\infty}d(u_{n},\operatorname{Fix}(\varUpsilon ))=0\). Then, there exists a subsequence \(\{u_{n_{k}}\}_{{k}}\) of \(\{u_{n}\}\) and a sequence \(\{\rho _{{k}}\}\) of \(\operatorname{Fix}(\varUpsilon )\) such that
Again, we have \(\lVert u_{n_{k+1}}-\rho _{{k}}\rVert \le \lVert u_{n_{k}}- \rho _{{k}}\rVert <\frac{1}{2^{k}}\).
Therefore, \(\lVert \rho _{{k+1}}-\rho _{{k}}\rVert \le \lVert \rho _{{k+1}}-u_{n_{k+1}} \rVert +\lVert u_{n_{k+1}}-\rho _{{k}} \rVert \le \frac{1}{2^{k+1}}+\frac{1}{2^{k}} < \frac{1}{2^{k-1}}\). Now, can be easily proved that \(\{\rho _{{k}}\}\) is a Cauchy sequence in \(\operatorname{Fix}(\varUpsilon )\) and since \(\operatorname{Fix}(\varUpsilon )\) is closed, \(\rho _{{k}} \to \rho '\) for some \(\rho ' \in \operatorname{Fix}(\varUpsilon )\).
Again, \(\lVert u_{n_{k}}-\rho '\rVert \le \lVert u_{n_{k}}-\rho _{{k}} \rVert + \lVert \rho _{{k}}-\rho '\rVert \to 0\) as \(k\to \infty \). So, \(u_{n_{k}}\to \rho '\). Since \(\lim_{n\to +\infty} \lVert u_{n}-\rho '\rVert \) exists, by Lemma 5.1\(u_{n}\to \rho '\).
(ii) From Lemma 5.2, we have \(\lim_{n\to + \infty}\lVert u_{n}-\varUpsilon u_{n}\rVert =0\). Again, from Condition (I), we have,
which implies \(\lim_{n\to +\infty} \varphi (d(u_{n},\operatorname{Fix}(\varUpsilon )) )=0\) and hence \(\lim_{n\to +\infty} d(u_{n},\operatorname{Fix}(\varUpsilon ))=0\), which reduces to (i) and completes the proof. □
Now, we compare the behavior of convergence of some known iterative scheme for the weakly K-nonexpansive mappings by choosing the parameter sequences \(\{\tau _{n}\}\) and \(\{\xi _{n}\}\) in \((0,1)\).
Example 5.5
Let \(\mathcal {B}=\mathbb{R}\) be equipped with the usual norm and \(\mathcal {D}=[1,+\infty )\). Define a map \(\varUpsilon : \mathcal {D}\to \mathcal {D}\) by
Then, it can be easily checked that ϒ is a weakly K-nonexpansive mapping for \(K=2\).
It is clear that \(x=1\) is the unique fixed point of ϒ. Now, to approximate this fixed point, consider \(\tau _{n}=\frac{5n}{7n+4}\) and \(\xi _{n}=\frac{2n}{3n+1}\) and let the initial guess be \(u_{1}=3\). Using these sequences of scalars and the weakly K-nonexpansive mapping defined in (5.6), in Table 1, we compare the convergence behavior of the Mann-iteration, Ishikawa-iteration, Agarwal-iteration, Thakur-new iteration, M-iteration, \(M^{*}\)-iteration, JF-iteration, and we stop the process when the result is correct up to 7-decimal places (i.e., we stop the process when the result comes 1.0000000).
6 Application to nonlinear fractional differential equation
During the last three decades, fractional differential calculus has became an interesting and fruitful area of research in science and engineering. It has several applications in the field of signal processing, fluid flow, diffusive transport, electrical networks, electronics, robotics, telecommunication, etc.; for more details, one can refer to ([3–5, 7, 8, 17, 25], and [27]). Sometimes, it is observed that a particular nonlinear fractional differential equation may have no analytic solution. In this case, we need to find out an approximate solution. In this section, we will estimate an approximate solution of a nonlinear fractional differential equation using the iterative algorithm (1.8).
Type-I:
Consider the fractional differential equation:
with the boundary conditions \(y(0)=0\) and \(y(1)=1\), where \(f:[0,1]\times \mathbb{R}\to \mathbb{R}\) is a continuous function, and \(D^{\gamma}(=\frac{d^{\gamma}}{dx^{\gamma}})\) denotes the fractional derivative of order γ.
Let \(\mathcal {B}=C[0,1]\) be the Banach space of all continuous functions from \([0,1]\) to \(\mathbb{R}\) equipped with the sup-norm. The Green function [12] corresponding to the equation (6.1) is defined by
Now, we approximate the solution of the fractional differential equation (6.1) using the iterative scheme (1.8).
Theorem 6.1
Let \(\mathcal {B}=C[0,1]\) be a Banach space equipped with the sup-norm and \(\{u_{n}\}\) be a sequence defined by JF-iterative scheme for the function \(\varUpsilon : \mathcal {B}\to \mathcal {B}\) defined by
Moreover, assume that f is a Lipschitz function with respect to the second variable, i.e., \(|f(x,y_{1})-f(x,y_{2})|\le |y_{1}-y_{2}|\), for all \(x\in [0,1]\) and \(y_{1},y_{2}\in \mathcal {B}\). Then JF-iterative sequence converges to a solution of the problem (6.1).
Proof
We know that the solution of the fractional differential equation (6.1) in terms of Green’s function is
Then for all \(y_{1},y_{2}\in \mathcal {B}\) and \(x\in [0,1]\), we have
Thus, we get \(\lVert \varUpsilon y_{1}-\varUpsilon y_{2}\rVert \le \lVert y_{1}-y_{2} \rVert \), \(\forall y_{1},y_{2}\in \mathcal {B}\). Then, ϒ is a non-expansive mapping and so is a weakly K-nonexpansive mapping, and hence the JF-iterative scheme converges to the solution of (6.1). □
Now, we present a numerical example, corresponding to the above theorem.
Example 6.2
Consider the following fractional differential equation:
with the boundary conditions \(y(0)=0\) and \(y(1)=1\).
Consider the mapping \(\varUpsilon :C[0,1]\to C[0,1]\) defined by
Take \(\gamma =\frac{3}{2}\), initial guess \(u_{1}(x)=x^{2}(1-x)^{2}\) and \(x\in [0,1]\). Choose the sequences \(\xi _{n}=0.87\) and \(\tau _{n}=0.69\) for all \(n\in \mathbb{N}\). Then, the JF-iterative scheme (1.8) converges to the solution of (6.2) shown in Table 2.
Type-II:
Now, we consider the nonlinear fractional differential equation
with the boundary conditions \(y(0)=1\) and \(y(1)=1\), and \(\phi :[0,1]\times \mathbb{R} \to \mathbb{R}\) is a continuous function. The Green function associated with (6.4) is given by \(G(t)=t^{\gamma -1}E_{\gamma -\delta ,\gamma} (-t^{\gamma - \delta} )\), where \(E_{p,q}(z):=\sum_{m=0}^{\infty } \frac{z^{m}}{\Gamma (mp+q)}\), \(p,q>0\), denotes the two parameter Mittag-Leffler function (see [12]).
Theorem 6.3
Consider the Banach space \(\mathcal {B}:=C[0,1]\) equipped with the sup-norm and \(\{u_{n}\} \), which is a sequence defined by JF-iterative scheme for the function \(\varUpsilon :\mathcal {B} \to \mathcal {B}\) defined by
Moreover, assume that ϕ satisfies the following condition:
Then, the JF-iterative sequence converges to a solution of the fractional differential equation (6.4).
Proof
For all \(y_{1},y_{2}\in \mathcal {B}\) and \(x\in [0,1]\), we have
Using the properties of the Mittag-Leffler function, it can be seen [12, 13] that \(G(t)=t^{\gamma -1}E_{\gamma -\delta ,\gamma} (-t^{\gamma - \delta} )\le t^{\gamma -1}\) for all \(t\in [0,1]\). Then, \(\sup_{x\in [0,1]}\int _{0}^{x}|G(x-s)| \,ds \le \sup_{x \in [0,1]}\frac{x^{\gamma}}{\gamma}=\frac{1}{\gamma}\).
Therefore, we get \(\lVert \varUpsilon y_{1}-\varUpsilon y_{2}\rVert \le \lVert y_{1}-y_{2} \rVert \) for all \(y_{1},y_{2} \in \mathcal {B}\). Thus, ϒ is a weakly K-nonexpansive mapping for \(K=0\), and hence the JF-iterative scheme converges to a fixed point of ϒ. Again, it is well known that the exact solution of (6.4) is given by \(y(x)=\int _{0}^{x} G(x-s)\phi (s,y(s)) \,ds \). Consequently, the JF-iterative scheme converges to the solution of the equation (6.4). □
7 Conclusion
The main purpose of this paper is to introduce a new type of non-expansive mappings, which is different from any other previously defined non-expensive type mappings. We have used the latest JF-iterative algorithm to approximate fixed points for our new non-expansive mappings, and we have established some weak and strong convergence theorems. Also, here, we have introduced the concept of \((\alpha ,K)\)-nonexpansive mappings and have proved a stability result for the JF-iterative process, which is more general than other previous stability results. Furthermore, we have presented a numerical example for our mappings and have compared the convergence behavior of various iterative processes with respect to it. We have also shown that α-nonexpansive mappings and generalized α-nonexpansive mappings are independent of each other. Moreover, an application of our fixed point theorems is given to the nonlinear fractional differential equations.
Availability of data and materials
Not applicable.
References
Ðukić, D., Pounović, L., Radenović, S.: Convergence of iterates with errors of uniformly quasi-Lipschitzian mappings in cone metric spaces. Kragujev. J. Math. 35(3), 399–410 (2011)
Agrawal, R.P., O’Regan, D., Sahu, D.R.: Iterative construction of fixed points of nearly asymptotically non-expansive mappings. J. Nonlinear Convex Anal. 8(1), 61–79 (2007)
Al-Habahbeh, A.: Exact solution for commensurate and incommensurate linear systems of fractional differential equations. J. Math. Comput. Sci. 28, 123–136 (2023)
Al-Issa, S.M., Mawed, N.M.: Results on solvability of nonlinear quadratic integral equations of fractional orders in Banach algebra. J. Nonlinear Sci. Appl. 14, 181–195 (2021)
Al-Sadi, W., Alkhazan, A., Abdullah, T.Q.S., Al-Sowsa, M.: Stability and existence the solution for a coupled system of hybrid fractional differential equation with uniqueness. Arab J. Basic Appl. Sci. 28(1), 340–350 (2021)
Ali, F., Ali, J., Nieto, J.J.: Some observations on generalized non-expansive mappings with an application. Comput. Appl. Math. 39, 74 (2020)
Ali, J., Jubair, M., Ali, F.: Stability and convergence of F iterative scheme with an application to the fractional differential equation. Eng. Comput. 38, 693–702 (2022)
Ameer, E., Aydi, H., Işik, H., Nazam, M., Parvaneh, V., Arshad, M.: Some existence results for a system of nonlinear fractional differential equations. J. Math. 2020, Article ID 4786053 (2020). https://doi.org/10.1155/2020/4786053
Aoyama, K., Kohsaka, F.: Fixed point theorem for α-nonexpansive mappings in Banach spaces. Nonlinear Anal. 74, 4387–4391 (2011)
Ariza-Ruiz, D.: Convergence and stability of some iterative processes for a class of quasinonexpansive type mappings. J. Nonlinear Sci. Appl. 5, 93–103 (2012)
Bae, J.S.: Fixed point theorems of generalized non-expansive maps. J. Korean Math. Soc. 21(2), 233–248 (1984)
Bai, Z., Sun, S., Du, Z., Chen, Y.Q.: The Green function for a class of Caputo fractional differential equations with a convection term. Fract. Calc. Appl. Anal. 23(3), 787–798 (2020)
Baleanue, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A 371, 20120144 (2012). https://doi.org/10.1098/rsta.2012.0144
Beg, I., Dey, D., Saha, M.: Convergence and stability of two random iteration algorithms. J. Nonlinear Funct. Anal. 2014, 17 (2014)
Berinde, V.: On the stability of some fixed point procedures. Bul. Ştiinţ., Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. XVIII(1), 7–14 (2002)
Ćirić, L., Rafiq, A., Radenović, S., Rajović, M.: On Mann implicit iterations for strongly accreative and strongly pseudo-contractive mappings. Appl. Math. Comput. 198, 128–137 (2008)
Das, A., Parvaneh, V., Deuri, B.C., Bagheri, Z.: Application of a generalization of Darbo’s fixed point theorem via Mizogochi–Takahashi mappings on mixed fractional integral equations involving \((k, s)\)-Riemann–Liouville and Erdélyi–Kober fractional integrals. Int. J. Nonlinear Anal. Appl. 13(1), 859–869 (2022)
Debnath, P., Konwar, N., Radenović, S.: Metric Fixed Point Theory, Applications in Science, Engineering and Behavioural Sciences. Springer, Singapore (2021)
Geobel, K., Kirk, W.A.: Topic in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990)
Harder, A.M., Hicks, T.L.: Stability results for fixed point iteration procedures. Math. Jpn. 33, 693–706 (1988)
Hardy, G.F., Rogers, T.D.: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 16, 201–206 (1973)
Hussain, N., Ullah, K., Arshad, M.: Fixed point approximation for Suzuki generalized nonexpansive mappings via new iteration process. J. Nonlinear Convex Anal. 19(8), 1383–1393 (2018)
Imoru, C.O., Olantinwo, M.O.: On the stability of Picard and Mann iteration processes. Carpath. J. Math. 19(2), 155–160 (2003)
Ishikawa, S.: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147–150 (1974)
Kumar, V., Malik, M.: Existence and stability results of nonlinear fractional differential equations with nonlinear integral boundary condition on time scales. Appl. Appl. Math. 6, 129–145 (2020)
Mann, W.R.: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506–510 (1953)
Motaharifar, F., Ghassabi, M., Talebitooti, R.: A variational iteration method (VIM) for nonlinear dynamic response of a cracked plate interacting with a fluid media. Eng. Comput. 37, 3299–3318 (2021)
Noor, M.A.: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 251(1), 217–229 (2000)
Olatinwo, M.O., Owojori, O.O., Imoru, C.O.: On some stability results for fixed point iteration procedure. J. Math. Stat. 2(1), 339–342 (2006)
Opial, Z.: Weak convergence of the sequence of successive approximations for non-expansive mappings. Bull. Am. Math. Soc. 73, 595–597 (1967)
Osilike, M.O.: Stability results for fixed point iteration procedure. J. Niger. Math. Soc. 26(10), 937–945 (1995)
Ostrowski, M.: The round off stability of iterations. Z. Angew. Math. Mech. 47(1), 77–81 (1967)
Panja, S., Roy, K., Saha, M.: Weak interpolative type contractive mappings on b-metric spaces and their applications. Indian J. Math. 62(2), 231–247 (2020)
Pant, R., Shukla, R.: Approximating fixed points of generalized α-non-expansive mappings in Banach spaces. Numer. Funct. Anal. Optim. 38, 248–266 (2017)
Picard, E.: Memoire sur la theorie des equations aux derivees partielles et la methode des approximations successives. J. Math. Pures Appl. 6, 145–210 (1890)
Piri, H., Daraby, B., Rahrovi, S., Ghasemi, M.: Approximating fixed points of generalized α-nonexpansive mappings in Banach spaces by new faster iteration process. Numer. Algorithms 81, 1129–1148 (2019)
Rhoades, B.E.: Fixed point theorems and stability results for fixed point iteration procedures. Indian J. Pure Appl. Math. 21(1), 1–9 (1990)
Rhoades, B.E.: Some fixed point iteration procedures. Int. J. Math. Math. Sci. 14(1), 1–16 (1991)
Rhoades, B.E.: Fixed point theorems and stability results for fixed point iteration procedures, II. Indian J. Pure Appl. Math. 24(11), 691–703 (1993)
Roy, K., Saha, M.: Fixed point theorems for a pair of generalized contractive mappings over a metric space with an application to homotopy. Acta Univ. Apulensis 60, 1–17 (2019). https://doi.org/10.17114/j.aua.2019.60.01
Saha, M., Baisnab, A.P.: Fixed point of mappings with contractive iterate. Proc. Natl. Acad. Sci., India 63(A), IV, 645–650 (1993)
Schu, J.: Weak and strong convergence to fixed points of asymptotically non-expansive mappings. Bull. Aust. Math. Soc. 43(1), 153–159 (1991)
Senter, H.F., Dotson, W.G.: Approximating fixed points of non-expansive mappings. Proc. Am. Math. Soc. 44(2), 375–380 (1974)
Suzuki, T.: Fixed point theorems and convergence theorems for some generalized non-expansive mappings. J. Math. Anal. Appl. 340(2), 1088–1095 (2008)
Thakur, B.S., Thakur, D., Postolache, M.: A new iterative scheme for numerical reckoning fixed points of Suzuki’s generalized non-expansive mappings. Appl. Math. Comput. 275, 147–155 (2016)
Todorčević, V.: Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics. Springer, Cham (2019)
Ullah, K., Arshad, M.: New iteration process and numerical reckoning fixed points in Banach spaces. UPB Sci. Bull., Ser. A 79(4), 113–122 (2017)
Ullah, K., Arshad, M.: Numerical reckoning fixed points for Suzuki’s generalized nonexpansive mappings via new iteration process. Filomat 32(1), 187–196 (2018)
Acknowledgements
Sayantan Panja and Kushal Roy both acknowledge financial support awarded by the Council of Scientific and Industrial Research, New Delhi, India, through research fellowship for carrying out research work leading to the preparation of this manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Conceptualization, MP, MS and VP; Formal analysis, MP, MS and VP; Investigation, SP, KR and MS; Methodology, SP, KR, MP and MS; Supervision, MP, MS and VP; Writing—original draft, SP, KR and MS; Writing—review and editing, MP and VP and Software, SP, KR, MP and MS. All 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
Panja, S., Roy, K., Paunović, M.V. et al. Fixed points of weakly K-nonexpansive mappings and a stability result for fixed point iterative process with an application. J Inequal Appl 2022, 90 (2022). https://doi.org/10.1186/s13660-022-02826-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02826-9