 Research
 Open Access
 Published:
On new evolution of Ri’s result via wdistances and the study on the solution for nonlinear integral equations and fractional differential equations
Advances in Difference Equations volume 2018, Article number: 132 (2018)
Abstract
The aim of this work is to establish a new fixed point theorem for generalized contraction mappings with respect to wdistances in complete metric spaces. An illustrative example is provided to advocate the usability of our results. Also, we give a numerical experiment for approximating a fixed point in these examples. As an application, the received results are used to summarize the existence and uniqueness of the solution for nonlinear integral equations and nonlinear fractional differential equations of Caputo type.
Introduction
The most wellknown fixed point result in the metrical fixed point theory is Banach’s contraction mapping principle. Since this principle requires only the structure of a complete metric space with contractive condition on the mapping, which is easy to test in this setting, it is the most widely applied fixed point result in many branches of mathematics. In particular, it is used to demonstrate the existence and uniqueness of a solution of the following equations:

integral equations;

ordinary differential equations;

partial differential equations;

matrix equations;

functional equations.
Moreover, this principle has many applications not only in the various branches in mathematics but also in economics, chemistry, biology, computer science, engineering, and others. Based on the mentioned impact, it was developed extensively by several researchers. In particular, it was improved by such famous fixed point researchers as Boy and Wong [1] and Matkowski [2]. Recently, some fixed point results for generalized contraction mappings have been proved by Ri [3] as follows:
Theorem 1.1
([3])
Let \((X,d)\) be a complete metric space and \(f:X \rightarrow X\) be a mapping. Suppose that there is a function \(\varphi:[0,\infty )\rightarrow[0,\infty)\) such that \(\varphi(0)=0\), \(\varphi(t)< t \), and \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point in X. Moreover, for each \(x \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
This result generalized Boyd and Wong’s fixed point theorem in [1] and Matkowski’s fixed point theorem in [2] and hence it also contains Banach’s contraction mapping principle.
On the another hand, the concept of a wdistance on a metric space was introduced and investigated by Kada et al. [4], and this concept was applied to several famous fixed point theorems. Meanwhile, Kada et al. [4] gave the important tool related to wdistances which will be discussed in the next section. Many generalizations of fixed point results with the idea of wdistances have been investigated heavily by many authors (see in [5–8] and references therein).
To the best of our knowledge, there has been no discussion so far concerning Ri’s fixed point result in [3] in the sense of wdistances. Based on the above mentioned fact, we present new fixed point theorems for generalized contraction mappings with respect to wdistances in complete metric spaces, which is an extension of Ri’s fixed point result, and give an example for showing the usability of our results while Theorem 1.1 is not applicable. We also give numerical experiments for finding a fixed point in this example. As an application, the acquired results are used to aggregate the existence and uniqueness of the solution for nonlinear integral equations and nonlinear fractional differential equations.
Preliminaries
In this section, we recall some important notations, needed definitions, and primary results joint with the literature.
Definition 2.1
([4])
Let \((X,d)\) be a metric space. A function \(q :X\times X\rightarrow [0,\infty)\) is called a wdistance on X if it satisfies the following three conditions for all \(x,y,z \in X \):

(W1)
\(q(x,y)\leq q(x,z)+q(z,y)\);

(W2)
\(q(x,\cdot):X \rightarrow[0,\infty)\) is lower semicontinuous;

(W3)
for each \(\varepsilon>0\), there exists \(\delta>0\) such that \(q(x,y)\leq\delta\) and \(q(x,z)\leq\delta\) imply \(d(y,z)\leq \varepsilon\).
It is well known that each metric on a nonempty set X is a wdistance on X. Here, we give some other examples of wdistances.
Example 2.2
Let \((X, d)\) be a metric space. A function \(q: X\times X\rightarrow[0, \infty)\) defined by \(q(x, y) = c\) for every \(x, y \in X\) is a wdistance on X, where c is a positive real number. But q is not a metric since \(q(x, x) = c \neq0\) for any \(x \in X\).
Example 2.3
Let \((X,\\cdot\)\) be a normed space. Then the function \(q:X\times X \rightarrow[0,\infty)\) defined by
for all \(x, y \in X\) is a wdistance.
The following lemma will be used in the next section.
Lemma 2.4
([4])
Let \((X,d)\) be a metric space, q be a wdistance on X, \(\{x_{n}\}\) and \(\{y_{n}\}\) be two sequences in X and \(x, y, z \in X\).

(i)
If \(\lim_{n\rightarrow\infty}q(x_{n},x)= \lim_{n\rightarrow\infty}q(x_{n},y)=0\), then \(x=y\). In particular, if \(q(z,x)=q(z,y)=0\), then \(x=y\).

(ii)
If \(q(x_{n},y_{n})\leq\alpha_{n}\) and \(q(x_{n},y)\leq\beta_{n}\) for any \(n\in\mathbb{N}\), where \(\{\alpha_{n}\}\) and \(\{\beta_{n}\}\) are sequences in \([0,\infty)\) converging to 0, then \(\{y_{n}\}\) converges to y.

(iii)
If, for each \(\varepsilon>0\), there exists \(N_{\varepsilon}\in\mathbb{N}\) such that \(m>n>N_{\varepsilon}\) implies \(q(x_{n},x_{m})<\varepsilon\) (or \(\lim_{m,n\rightarrow\infty}q(x_{n},x_{m})=0\)), then \(\{x_{n}\}\) is a Cauchy sequence.
Main results
First, we will create two lemmas to prove the main result.
Lemma 3.1
Let q be a wdistance on a metric space \((X,d)\). Suppose that \(\varphi:[0,\infty)\rightarrow[0,\infty) \) is a mapping satisfying \(\varphi(0)=0\),
for all \(t>0\) and \(f:X\rightarrow X\) is a mapping satisfying the following condition:
for all \(x,y \in X\). Then \(\lim_{n\rightarrow\infty}q(f^{n}(x),f^{n+1}(x))=0\) and \(\lim_{n\rightarrow\infty}q(f^{n+1}(x),f^{n}(x))=0\) for each \(x\in X\).
Proof
Let \(x \in X\) be arbitrary. We define the sequence \(\{x_{n}\} \subset X\) by
for all \(n \in\mathbb{N}\). Set \(a_{n}:=q(x_{n},x_{n+1})\geq0\) for all \(n\in\mathbb{N}\). If there is \(n_{0} \in\mathbb{N}\) such that \(a_{n_{0}}=0\), then \(\varphi(a_{n_{0}})=0\) and so
This implies that \(a_{n_{0}+1}=0\). By a similar process, we obtain \(a_{n}=0\) for all \(n> n_{n_{0}+1}\) and hence
for all \(x\in X\). Now we may suppose that \(a_{n} > 0\) for each \(n \in \mathbb{N}\). From condition (3.1) and the fact that \(\varphi(t)< t\) for all \(t>0\), we obtain
for all \(n \in\mathbb{N}\). Hence \(\{a_{n}\}\) and \(\{\varphi(a_{n})\}\) are strictly decreasing and bounded below. This yields that \(\lim_{n\rightarrow\infty}a_{n}\) and \(\lim_{n\rightarrow\infty}\varphi(a_{n})\) exist. We assume that \(0< a= \lim_{n\rightarrow\infty}a_{n}\) and \(a_{n}=a+\varepsilon_{n}\), where \(\varepsilon_{n}>0\). Note that if \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t>0\), then \(\limsup_{t_{n}\rightarrow a^{+}}\varphi(t_{n})< a\) for each sequence \(\{t_{n}\}\) with \(t_{n} \downarrow a^{+}\) as \(n\rightarrow \infty\). Therefore,
This is a contradiction. Thus \(\lim_{n\rightarrow\infty}a_{n}=0\), that is, \(\lim_{n\rightarrow\infty} q(f^{n}(x),f^{n+1}(x))=0\) for each \(x\in X\). Similarly, we can conclude that \(\lim_{n\rightarrow\infty}q(f^{n+1}(x),f^{n}(x))=0\) for each \(x\in X\). □
Lemma 3.2
Let q be a wdistance on a metric space \((X,d)\). Suppose that \(\varphi:[0,\infty)\rightarrow[0,\infty) \) is a mapping satisfying \(\varphi(0)=0\),
for all \(t>0\) and \(f:X\rightarrow X\) is a mapping satisfying the following condition:
for all \(x,y \in X\). Then \(\{f^{n}(x)\}_{n=0}^{n=\infty}\) is a Cauchy sequence for each \(x \in X\).
Proof
We want to prove that \(\lim_{m,n\rightarrow\infty} q(x_{n},x_{m})=0\). Suppose this by contradiction. Then there exist \(\varepsilon>0\) and integers \(m_{k},n_{k} \in\mathbb{N}\) such that \(m_{k}>n_{k}>k\) and \(q(x_{n_{k}},x_{m_{k}})\geq\varepsilon\) for \(k=0,1,2,\ldots\) . Also, we can choose \(m_{k}\) in order to assume that \(q(x_{n_{k}},x_{m_{k}1})<\varepsilon\). Hence, for each \(k \in\mathbb{N}\), we have
Taking limit as \(k \rightarrow\infty\) in the above inequality and using Lemma 3.1, we obtain
We observe that
Letting \(k\rightarrow\infty\) in the above inequality and using the fact that \(\varphi(t)< t\) and \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t>0\), we obtain
This is a contradiction. Hence, \(\lim_{m,n\rightarrow\infty} q(x_{n},x_{m})=0\). From Lemma 2.4 (iii), we get \(\{f^{n}(x)\} _{n=1}^{n=\infty}\) is a Cauchy sequence in X. □
Next, we exhibit the main result in this paper.
Theorem 3.3
Let \((X,d)\) be a complete metric space and \(q:[0,\infty) \rightarrow [0,\infty)\) be a wdistance on X. Suppose that \(f:X\rightarrow X\) is a continuous mapping and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is a function satisfying \(\varphi(0)=0\), \(\varphi(t)< t \), \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point in X. Moreover, for each \(x \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
Proof
Let \(x\in X\) be an arbitrary point in X. From Lemma 3.2, we obtain \(\{f^{n}(x)\}_{n=0}^{n=\infty}\) is a Cauchy sequence. Since \((X,d)\) is a complete metric space, we get \(\lim_{n\rightarrow\infty}f^{n}(x)=p \) for some \(p\in X\). From the continuity of f, we get
Thus, p is a fixed point of f. Furthermore, from condition (3.3), we obtain
It implies that \(q(p,p)=0\).
Next, we will show the uniqueness of the fixed point of T. Suppose that \(u \in X\) is another fixed point of f. From condition (3.3), we obtain
This implies that \(q(p,u)=0\). By Lemma 2.4(i), we get \(p=u\). Therefore, f has a unique fixed point p. This completes the proof. □
Now, we give an example which is possible to apply by the contractive condition (3.3) but not the contractive condition in Theorem 1.1.
Example 3.4
Let \(X=[0,\infty)\) with the metric \(d:X\times X \rightarrow\mathbb{R}\) which is defined by
for all \(x,y \in X\). Define a mapping \(f : X \rightarrow X\) by
where \(x\in[0,\infty)\). Next, we define a function \(\varphi: [0, \infty) \rightarrow[0, \infty)\) by
It is easy to see that condition (1.1) is not satisfied for \(x,y\geq1\) with \(x\neq y\). Hence Theorem 1.1 cannot be applied in this case.
Next, we define a wdistance \(q:X\times X \rightarrow[0,\infty)\) by
for all \(x,y \in X\). Now, we will show that f satisfies the contractive condition (3.3). We will divide this claim into the following cases.

Case 1.
If \(x \in[0,\infty)\) and \(y\geq1\), then
$$\begin{aligned} q(fx,fy) =&fy \\ =&\frac{y}{4} \\ \leq&\frac{y}{3} \\ =&\varphi(y) \\ =&\varphi \bigl(q(x,y) \bigr). \end{aligned}$$ 
Case 2.
If \(x \in[0,\infty)\) and \(y< 1\), then
$$ q(fx,fy) = fy = 0 \leq\varphi \bigl(q(x,y) \bigr). $$
Therefore, all the conditions of Theorem 3.3 hold and hence f has a unique fixed point. Here, \(x=0\) is a unique fixed point of f.
Some numerical experiments for the unique fixed point of f are given in Table 1. Furthermore, the convergence behavior of these iterations is shown in Fig. 1.
Here, we give the wellknown lemma about the relation between some conditions of the control function without the proof.
Lemma 3.5
Let \(\varphi:[0,\infty)\rightarrow[0,\infty)\) be a function.
 (\(\spadesuit_{1}\)):

If φ is right continuous such that \(\varphi(t)< t \) for all \(t>0\), then \(\varphi(0)=0\).
 (\(\spadesuit_{2}\)):

If φ is increasing and right continuous, then φ is upper semicontinuous.
 (\(\spadesuit_{3}\)):

If φ is upper semicontinuous from the right such that \(\varphi(t)< t \) for all \(t>0\), then \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t>0\).
By using Theorem 3.3 and Lemma 3.5, we get the following results.
Corollary 3.6
Let \((X,d)\) be a complete metric space and \(q:[0,\infty) \rightarrow [0,\infty)\) be a wdistance on X. Suppose that \(f:X\rightarrow X\) is a continuous mapping and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is an upper semicontinuous function from the right such that \(\varphi (0)=0\), \(\varphi(t)< t \) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point in X. Moreover, for each \(x \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
Corollary 3.7
Let \((X,d)\) be a complete metric space and \(q:[0,\infty) \rightarrow [0,\infty)\) be a wdistance on X. Suppose that \(f:X\rightarrow X\) is a continuous mapping and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is increasing and right continuous such that \(\varphi(t)< t\) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point p in X. Moreover, for each \(x_{0} \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x_{0}\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
Taking \(q=d\) in Theorem 3.3 and Corollaries 3.6, 3.7, we obtain the following results.
Corollary 3.8
([3])
Let \((X,d)\) be a complete metric space and \(f:X\rightarrow X\) be a mapping. Suppose that there is a function \(\varphi:[0,\infty )\rightarrow[0,\infty)\) such that \(\varphi(0)=0\), \(\varphi(t)< t \) and \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point p in X. Moreover, for each \(x_{0} \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x_{0}\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
Corollary 3.9
Let \((X,d)\) be a complete metric space. Suppose that \(f:X\rightarrow X\) is a mapping and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is upper semicontinuous from the right such that \(\varphi(0)=0\), \(\varphi(t)< t \) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point in X. Moreover, for each \(x \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
Corollary 3.10
([2])
Let \((X,d)\) be a complete metric space. Suppose that \(f:X\rightarrow X\) is a mapping and \(\varphi:[0,\infty)\rightarrow[0,\infty)\) is increasing and right continuous such that \(\varphi(t)< t\) for all \(t>0\) and
for all \(x,y \in X\). Then f has a unique fixed point p in X. Moreover, for each \(x_{0} \in X\), the Picard iteration \(\{x_{n}\}\), which is defined by \(x_{n}=f^{n}x_{0}\) for all \(n \in\mathbb{N}\), converges to a unique fixed point of f.
Applications
The theory of nonlinear integral equations nowadays is a large topic which is found in many applications of various branches in mathematics and other fields such as biology, engineering, economics, etc. Meanwhile, the fractional order models and the theory of nonlinear fractional differential equations are very important to study natural problems because the manner of the trajectory of the fractional order derivatives is nonlocal, which describes that the fractional order derivative has memory effect features. So the theory of nonlinear fractional differential equations can be widely applied in many branches such as the optimal control, finance, chaos, physics, etc. For more details, we refer the reader to [9–16] and the references therein. Nowadays, many mathematicians proved the existence and uniqueness of a solution of nonlinear fractional differential equations by using the fixed point results (see in [7, 17] and the references therein).
In this section, we use the theoretical result in the previous section for proving the existence and uniqueness results of a solution for the following equations:

nonlinear Fredholm integral equations;

nonlinear Volterra integral equations;

fractional differential equations of Caputo type.
Throughout this section, let us denote by \(C[a, b]\), where \(a,b\in \mathbb{R}\) with \(a< b\), the set of all continuous functions from \([a,b]\) into \(\mathbb{R}\).
The nonlinear integral equations
In this subsection, we prove the existence and uniqueness results of a solution for the nonlinear Fredholm integral equation and nonlinear Volterra integral equation by using our main results in the previous section.
Theorem 4.1
Consider the nonlinear Fredholm integral equation
where \(x\in C[a, b]\) such that \(a,b\in\mathbb{R}\) with \(a< b\), \(\phi: [a, b] \rightarrow\mathbb{R}\) and \(K: [a, b]^{2}\times\mathbb{R} \rightarrow\mathbb{R}\) are given continuous mappings. Suppose that there is a function \(\varphi:[0,\infty) \rightarrow[0,\infty)\) such that \(\varphi(0)=0\), \(\varphi(t)< t\), and \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t > 0\) and
for all \(x,y \in C[a, b]\) and for all \(t, s \in[a, b]\). Then the nonlinear integral equation (4.1) has a unique solution. Moreover, for each \(x_{0} \in C[a,b]\), the Picard iteration \(\{x_{n}\}\), which is defined by
for all \(n \in\mathbb{N}\), converges to a unique solution of the nonlinear integral equation (4.1).
Proof
Let \(X=C[a,b]\) and \(f:X\rightarrow X\) be defined by
for all \(x\in X\) and \(t\in[a,b]\). Clearly, X with the metric \(d:X\times X\rightarrow[0,\infty)\) given by
for all \(x,y\in X\) is a complete metric space. Next, we define the function \(q:X\times X\rightarrow[0,\infty)\) by
for all \(x,y \in X\). Clearly, q is a wdistance on X. Here, we will show that f satisfies the contractive condition (3.3). Assume that \(x, y \in X\) and \(t \in[a, b]\). Then we get
This implies that \(\sup_{t\in[a,b]}(fx)(t)+\sup_{t\in [a,b]}(fy)(t) \leq\varphi(q(x,y))\), and so
for all \(x,y \in X\). It follows that f satisfies condition (3.3). Therefore, all the conditions of Theorem 3.3 are satisfied and thus f has a unique fixed point. This implies that there exists a unique solution of the nonlinear Fredholm integral equation (4.1). This completes the proof. □
Using the identical method in the proof of the above theorem, we get the following result.
Theorem 4.2
Consider the nonlinear Volterra integral equation
where \(x\in C[a, b]\) such that \(a,b\in\mathbb{R}\) with \(a< b\), \(\phi: [a, b] \rightarrow\mathbb{R}\) and \(K: [a, b]^{2}\times\mathbb{R} \rightarrow\mathbb{R}\) are given continuous mappings. Suppose that there is a function \(\varphi:[0,\infty) \rightarrow[0,\infty)\) such that \(\varphi(0)=0\), \(\varphi(t)< t\) and \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t > 0\) and
for all \(x,y \in C[a, b]\) and for all \(t, s \in[a, b]\). Then the nonlinear integral equation (4.2) has a unique solution. Moreover, for each \(x_{0} \in C[a,b]\), the Picard iteration \(\{x_{n}\}\), which is defined by
for all \(n \in\mathbb{N}\), converges to a unique solution of the nonlinear integral equation (4.2).
The nonlinear fractional differential equations
The aim of this subsection is to prove the existence and uniqueness result of solutions for the nonlinear fractional differential equations of Caputo type by using Theorem 3.3.
First, let us recall some basic definitions of fractional calculus (see [18, 19]). For a continuous function \(g:[0,\infty)\rightarrow \mathbb{R}\), the Caputo derivative of functional g order \(\beta>0\) is defined as
where \([\beta]\) denotes the integer part of the positive real number β and Γ is a gamma function.
Consider the nonlinear fractional differential equation of Caputo type:
via the integral boundary conditions
where \(1<\beta\leq2\), \(0<\eta<1\), \(x\in C[0,1]\), and \(f:[0,1] \times \mathbb{R} \rightarrow\mathbb{R}\) is a given continuous function (see [20]). It is well known that if f is continuous, then (4.3) is immediately inverted as the very familiar integral equation
Now, we prove the following existence theorem.
Theorem 4.3
Consider the nonlinear fractional differential equation (4.3). Suppose that there is a function \(\varphi:[0,\infty) \rightarrow[0,\infty)\) such that \(\varphi(0)=0\), \(\varphi(t)< t\), and \(\limsup_{s\rightarrow t^{+}}\varphi(s)< t\) for all \(t > 0\), and for each \(x,y \in C[0, 1]\), we have
for all \(s \in[0, 1]\). Then the nonlinear fractional differential equation of Caputo type (4.3) has a unique solution. Moreover, for each \(x_{0} \in C[0,1]\), the Picard iteration \(\{x_{n}\}\), which is defined by
for all \(n \in\mathbb{N}\), converges to a unique solution of the nonlinear fractional differential equation of Caputo type (4.3).
Proof
Let \(X=C[0,1]\) and \(f:X\rightarrow X\) be defined by
for all \(x\in X\). Clearly, X with the metric \(d:X\times X\rightarrow [0,\infty)\) given by
for all \(x,y\in X\) is a complete metric space. Next, we define the function \(q:X\times X\rightarrow[0,\infty)\) by
for all \(x,y \in X\). Clearly, q is a wdistance on X. Here, we will show that f satisfies the contractive condition (3.3). Assume that \(x, y \in X\) and \(t \in[0, 1]\). Then we get
This implies that \(\sup_{t\in[a,b]}(fx)(t)+\sup_{t\in [a,b]}(fy)(t) \leq\varphi(q(x,y))\), and so
for all \(x,y \in X\). It follows that f satisfies condition (3.3). Therefore, all the conditions of Theorem 3.3 are satisfied and thus f has a unique fixed point. This implies that there exists a unique solution of the nonlinear fractional differential equation of Caputo type (4.3). This completes the proof. □
Conclusions
Motivated by the great impact of the models in the form of an integral equation and fractional differential equations of Caputo type, we introduced a new contractive condition by using the idea of a wdistance in metric spaces and established fixed point results for a mapping satisfying the purposed contractive condition. Then we used the received analysis theoretical results for investigating the existence and uniqueness of the solution for nonlinear integral equations and nonlinear fractional differential equations of Caputo type.
References
 1.
Boyd, D.W., Wong, J.S.W.: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458–464 (1969)
 2.
Jachymski, J.R.: Equivalence of some contractivity properties over metrical structures. Proc. Am. Math. Soc. 125, 2327–2335 (1997)
 3.
Ri, S.I.: A new fixed point theorem in the fractal space. Indag. Math. 27(1), 85–93 (2016)
 4.
Kada, O., Suzuki, T., Takahashi, W.: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 44, 381–391 (1996)
 5.
Kutbi, M.A., Sintunavarat, W.: The existence of fixed point theorems via wdistance and αadmissible mappings and applications. Abstr. Appl. Anal. 2013, Article ID 165434 (2013)
 6.
Lakzian, H., Aydi, H., Rhoades, B.E.: Fixed points for \((\phi,\psi,p)\)weakly contractive mappings in metric spaces with wdistance. Appl. Math. Comput. 219, 6777–6782 (2013)
 7.
Lakzian, H., Gopal, D., Sintunavarat, W.: New fixed point results for mappings of contractive type with an application to nonlinear fractional differential equations. J. Fixed Point Theory Appl. 18(2), 251–266 (2016)
 8.
Wongyat, T., Sintunavarat, W.: The existence and uniqueness of the solution for nonlinear Fredholm and Volterra integral equations together with nonlinear fractional differential equations via wdistance. Adv. Differ. Equ. 2017, 211 (2017)
 9.
Baleanu, D., Jajarmi, A., Hajipour, M.: A new formulation of the fractional optimal control problems involving MittagLeffler nonsingular kernel. J. Optim. Theory Appl. 175, 718–737 (2017)
 10.
Baleanu, D., Jajarmi, A., Asad, J.H., Blaszczyk, T.: The motion of a bead sliding on a wire in fractional sense. Acta Phys. Pol. A 131, 1561–1564 (2017)
 11.
Hajipour, M., Jajarmi, A., Baleanu, D.: An efficient nonstandard finite difference scheme for a class of fractional chaotic systems. J. Comput. Nonlinear Dyn. 13, Article ID 021013 (2017)
 12.
Jajarmi, A., Hajipour, M., Baleanu, D.: New aspects of the adaptive synchronization and hyperchaos suppression of a financial model. Chaos Solitons Fractals 99, 285–296 (2017)
 13.
Kumar, D., Singh, J., Baleanu, D.: A new numerical algorithm for fractional Fitzhugh–Nagumo equation arising in transmission of nerve impulses. Nonlinear Dyn. 91, 307–317 (2018)
 14.
Singh, J., Kumar, D., Baleanu, D.: On the analysis of chemical kinetics system pertaining to a fractional derivative with MittagLeffler type kernel. Chaos 27, 103113 (2017)
 15.
Singh, J., Kumar, D., Qurashi, M.A., Baleanu, D.: A novel numerical approach for a nonlinear fractional dynamical model of interpersonal and romantic relationships. Entropy 19(7), 375 (2017). https://doi.org/10.3390/e19070375
 16.
Singh, J., Kumar, D., Hammouch, Z., Atangana, A.: A fractional epidemiological model for computer viruses pertaining to a new fractional derivative. Appl. Math. Comput. 316, 504–515 (2018)
 17.
Aydi, H., Marasi, H.R., Piri, H., Talebi, A.: A solution to the new Caputo–Fabrizio fractional KDV equation via stability. J. Math. Anal. 8, 147–155 (2017)
 18.
Kilbas, A.A., Srivastava, H.H., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
 19.
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integral and Derivative. Gordon & Breach, London (1993)
 20.
Baleanu, D., Rezapour, S., Mohammadi, M.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 371, Article ID 20120144 (2013)
Acknowledgements
The second author would like to thank the Thailand Research Fund and Office of the Higher Education Commission under grant No. MRG5980242 for financial support during the preparation of this manuscript.
Author information
Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Wutiphol Sintunavarat.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
MSC
 47H10
 54H25
Keywords
 wdistance
 Fredholm integral equation
 Volterra integral equation
 Fractional differential equation