Abstract
In this paper we study fractional initial value problems with Caputo–Fabrizio derivative which involves nonsingular kernel. First we apply α-ℓ-contraction and α-type F-contraction mappings to study the existence and uniqueness of solutions for such problems. Finally, we use some contraction mappings in complete \(\mathfrak{F}\)-metric spaces for this purpose.
Similar content being viewed by others
1 Introduction
Fractional calculus is a part of mathematical analysis that studies the performance of derivative and integral operations on non-integer orders. In the past years, early work in fractional calculus was limited to mathematics. But, in the last few years, extensive studies on the applications of fractional operators in the other disciplines have been conducted. Recently, this field had found many applications in various directions such as applied mathematics, electrochemistry, tracer in fluid flows, fractional-order multi-poles in electromagnetism, finance, signal processing, bio-engineering, viscoelasticity, fluid mechanics, and fluid dynamics [10, 24]. These wide applications have led researchers to provide different definitions of fractional derivatives. The main difference between these definitions is related to possessing different kernels. Two famous fractional derivatives, namely the Riemann–Liouville and the Caputo derivatives, have received a lot of attention and so differential and integral equations containing these derivatives by several methods containing numerical and analytical methods ([22, 29, 30], but these definitions included a singular kernel. Thus, recently Caputo and Fabrizio provided a definition with a nonsingular kernel which the properties of this new definition can be found in [25]. Various methods have been used by researchers to solve differential equations including Caputo–Fabrizio fractional derivative and multi-singular point-wise defined equations (see [16, 18, 32] and the references therein). One of the efficient methods in investigating the existence and uniqueness of the solutions of differential equations is using of fixed point theory and for this reason there is a long history of presenting various fixed point theorems (see [1–7, 9, 11, 13, 17, 19, 22, 26–28, 34]).
In 2012, Samet et al. [33] proposed the concept of α-ψ contractive mappings and investigated the existence of fixed points for such mappings, then some researchers improved them to large classes of the contractive type mappings (see [8, 12, 14, 15, 20, 22, 23]).
Wardowski et al. [35] proposed and investigated the F-contraction, then Abbas et al. [17, 21] further generalized the concept of F-contraction and proved some fixed point results.
Wasfi Shatanawi and Erdal Karapınar in [34] introduced \(F_{S}\)–contractions in the sense of Wardowski and Seghal and \(F_{J}\)–contractions in the sense of Wardowski and Jachymski. Then they ensured some existence and uniqueness fixed point results. Throughout the article \(\mathfrak{J}\) denote \([0,1]\).
In this work, we consider the following differential equation with Caputo–Fabrizio derivatives via fixed point theorems:
where \(D^{\varsigma }\) is the Caputo–Fabrizio derivative of order ς and f is continuous with \(f(0,\hslash (0))=0\).
In what we will have below it is supposed that \((M,d)\) be a complete b-metric space and \(p_{1}\) is its constant, also the elements of Ω are increasing and continuous functions \(\ell : [0,\infty ) \to [0,\infty )\) satisfying \(\ell (qx)\leq q\ell (x)\leq qx\), \(q>1\); moreover, Λ denotes the family of nondecreasing functions such that, for \(p_{1}\geq 1\), we have \(\varrho : [0,\infty ) \to [0,\frac{1}{{p_{1}}^{2}})\).
Definition 1.1
([5])
Let \(\psi :M\rightarrow M\) and suppose that there exists \(\alpha :M\times M\to [0,\infty )\) with
for \(x,y\in M\), \(\varrho \in \Lambda \) and \(\ell \in \Omega \). Then ψ is called a generalized α-ℓ-Geraghty contraction mapping.
Definition 1.2
([33])
Let for \(\psi :M\rightarrow M\) where \(M\neq \emptyset \) and \(\alpha : M\times M\rightarrow [0,\infty )\) we have
Then ψ is called an α-admissible mapping.
Now, we have the following fixed point theorem.
Theorem 1.3
([5])
Let \(\psi :M\rightarrow M\) be a generalized α-ℓ-Geraghty and
- \((n1)\):
-
ψ is α-admissible;
- \((n2)\):
-
there exist \(\jmath _{0}\in M\) with \(\alpha (\jmath _{0},\psi \jmath _{0})\geq 1\);
- \((n3)\):
-
\(\{\jmath _{n}\}\subseteq M\), \(\lim_{n\rightarrow \infty }\jmath _{n} =u \) where \(u \in M\) and \(\alpha (\jmath _{n},\jmath _{n+1})\geq 1\)
implies \(\alpha (\jmath _{n},\jmath )\geq 1\).
Then there exists a fixed point for the mapping ψ.
Definition 1.4
Let \(0<\varsigma <1\), \(\jmath \in C^{1}[0,b)\), \(b>0\). The Caputo–Fabrizio derivative for ȷ of order ς is defined by
where \(M(\varsigma )\) is a normalization constant depending on ς with \(M(0)=M(1)=1\). Note that \(({}^{CF}D^{\varsigma })(\jmath )=0\) if and only if ȷ is a constant.
Definition 1.5
Let \(0<\varsigma <1\). The Caputo–Fabrizio integral for a function ȷ of order ς is defined by
Take as \(d:M\times M\to [0,\infty )\) given by
where \(p_{1}=2\) is the constant of \((M,d)\) and \(M=\mathcal{C}(\mathfrak{J},R)\).
In this paper we consider
where \(D^{\varsigma }\) is the Caputo–Fabrizio derivative of order ς, also it is supposed that \(f:\mathfrak{J}\times M\rightarrow M\) satisfies in \(f(0,\hslash (0))=0\) and is continuous.
It is easy to prove the following lemma.
Lemma 1.6
If \(0<\varsigma <1\), then
2 Main results
In this section, for existence and uniqueness of a solution for the problem be defined in (6) firs we apply an α-ℓ-contraction, then we continue by using an α-type F-contraction and another contraction in complete \(\mathfrak{F}\)-metric space to examine the existence and uniqueness of solutions of the mentioned problem.
Theorem 2.1
Suppose
- (n1):
-
there exist \(\jmath :R^{2}\rightarrow R\) such that
$$ \bigl\vert f\bigl(p,\hslash (p)\bigr)-f\bigl(p,\wp (p)\bigr) \bigr\vert \leq \frac{{(2 - \varsigma )M(\varsigma )}}{{4\sqrt{2} }}\sqrt{\varrho \bigl( {\ell \bigl({{ \bigl\vert {\hslash (p) - x (p)} \bigr\vert }^{2}}\bigr)} \bigr)\ell \bigl({{ \bigl\vert { \hslash (p) - \wp (p)} \bigr\vert }^{2}}\bigr)} $$for \(p\in \mathfrak{J}\), \(\ell \in \Omega \) and \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J},R)\) with \(\jmath (\hslash ,\wp )\geq 0\);
- (n2):
-
there exist \(\hslash _{1}\in \mathcal{C}(\mathfrak{J})\) with \(\jmath (\hslash _{1}(p),\top \hslash _{1}(p))\geq 0\), \(p\in \mathfrak{J}\), where \(\top :\mathcal{C}(\mathfrak{J})\rightarrow \mathcal{C}(\mathfrak{J})\) is defined by
$$ (\top \hslash ) (p)=\hslash _{0}+{}_{0}^{CF}I^{\varsigma }f \bigl(p,\hslash (p)\bigr); $$ - (n3):
-
for \(p\in \mathfrak{J}\) and \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J})\), \(\jmath (\hslash (p),\wp (p))\geq 0\) implies \(\jmath (\top \hslash (p),\top \wp (p))\geq 0\);
- (n4):
-
\(\{\hslash _{n}\}\subseteq \mathcal{C}(\mathfrak{J})\), \(\hslash _{n}\rightarrow \hslash \) where \(\hslash \in \mathcal{C}(\mathfrak{J})\) and \(\jmath (\hslash _{n},\hslash _{n+1})\geq 0\) implies \(\jmath (\hslash _{n},\hslash )\geq 0\), for \(n\in \mathrm{N}\).
Then there exist at least one solution for the problem (6).
Proof
Applying the Caputo–Fabrizio integral and using Proposition 1.6, from (6) we have
We prove that ⊤ has a fixed point. Thus,
Hence for \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J})\), \(p\in \mathfrak{J}\) with \(\jmath (\hslash (p),\wp (p))\geq 0\), we have
Put \(\alpha : \mathcal{C}(\mathfrak{J})\times \mathcal{C}(\mathfrak{J}) \rightarrow [0,\infty )\) by
and
So, ⊤ is an α-ℓ-contraction. To show that ⊤ is α-admissible, we have from (n3)
for \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J})\). By (n2), we have \(\hslash _{0} \in \mathcal{C}(\mathfrak{J})\) such that \(\alpha (\hslash _{0},\top \hslash _{0})\geq 1\). From (n4) and Theorem 1.3, there exists \(\hslash ^{*}\in \mathcal{C}(\mathfrak{J})\) such that \(\hslash ^{*}=\top \hslash ^{*}\). □
Now to define an α-type F-contraction mapping, let \(\mathfrak{F}\) be the family of strictly increasing functions \(F:\mathfrak{R}_{+}\rightarrow R\) such that there exists \(k\in (0,1)\) for which \(\lim_{\alpha \rightarrow 0^{+}}\alpha ^{k}F(\alpha )=0\) and also \(\lim_{n\rightarrow \infty }F(\alpha _{n})=-\infty \) if and only if \(\lim_{n\to \infty }\alpha _{n}=0\) for each sequence \(\{\alpha _{n}\}_{n\in \mathrm{N}}\) of positive numbers.
Definition 2.2
Suppose that there exist \(y>0\), \(F\in \mathfrak{F}\) and \(\alpha :M\times M\rightarrow {\{-\infty \}}\cup (0,\infty )\) such that for \(\hslash ,\wp \in M\) we have \(d(\psi \hslash ,\psi \wp )>0\) and
Then \(\psi :M\rightarrow M\) is called an α-type F-contraction on M where \((M,d)\) is a metric space.
We present the following theorem.
Theorem 2.3
([17])
Let \((M,d)\) be a metric space and \(\psi :M\rightarrow M\) be an α-type F-contraction such that:
- \((n1)\):
-
there exist \(\hslash _{0}\in M\) with \(\alpha (\hslash _{0},\psi \hslash _{0})\geq 1\),
- \((n2)\):
-
ψ is α-admissible,
- \((n3)\):
-
if \(\{\hslash _{n}\}\subseteq M\) with \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) and \(\hslash _{n} \to \hslash \), then \(\alpha (\hslash _{n},\hslash )\geq 1\), \(n\in \mathrm{N}\),
- \((n4)\):
-
F is continuous.
Then ψ has a fixed point \(\hslash ^{*}\in M\) and for \(\hslash _{0}\in M\) the sequence \(\{\psi ^{n}\hslash _{0}\}_{n\in \mathrm{N}}\) is convergent to \(\hslash ^{*}\).
If we consider the metric
then we can prove the following theorem in \(X=C(\mathfrak{J},R)\).
Theorem 2.4
There exist \(\jmath :R^{2}\rightarrow R\) such that
- (H1):
-
\(\vert {f(p,\hslash (p)) - f(p,\wp (p))} \vert \le \frac{{(2 - \varsigma )M(\varsigma )}}{2}{e^{-y}} \vert {\hslash (p) - \wp (p)} \vert \) for \(p\in \mathfrak{J}\) and \(\hslash ,\wp \in R\);
- (H2):
-
∃ \(\hslash _{1}\in \mathcal{C}(\mathfrak{J})\) such that \(\jmath (\hslash _{1}(p),\top \hslash _{1}(p))\geq 0\) for \(p\in \mathfrak{J}\), where \(\top :\mathcal{C}(\mathfrak{J})\rightarrow \mathcal{C}(\mathfrak{J})\) defined by the following
$$ \top \hslash (p)=\hslash _{0}+{}_{0}^{CF}I^{\varsigma }f \bigl(p, \hslash (p)\bigr); $$ - (H3):
-
for \(p\in \mathfrak{J}\) and \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J})\), \(\jmath (\hslash (p),\wp (p))\geq 0\) implies \(\jmath (\top \hslash (p),\top \wp (p))\geq 0\):
- (H4):
-
\(\{\hslash _{n}\}\subseteq \mathcal{C}(\mathfrak{J})\), \(\lim_{n\rightarrow \infty }\hslash _{n} = \hslash \) where \(\hslash \in \mathcal{C}(\mathfrak{J})\) and \(\jmath (\hslash _{n},\hslash _{n+1})\geq 0\) implies \(\jmath (\hslash _{n},\hslash )\geq 0\), for \(n\in \mathrm{N}\).
Then there exists at least one fixed point for ⊤ which is the solution of problem (6).
Proof
We show that ⊤ has a fixed point. Thus,
Hence for \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J})\), \(p\in \mathfrak{J}\) with \(\jmath (\hslash (p),\wp (p))\geq 0\), we have
So
therefore
Now, suppose \(F:[0,\infty )\rightarrow R\) is defined by \(F(u) = \operatorname{Ln}({u^{2}} + u)\), \(u>0\), then it is straightforward to show that \(F\in \mathfrak{F}\).
Set \(\alpha : \mathcal{C}(\mathfrak{J})\times \mathcal{C}(\mathfrak{J}) \rightarrow \{-\infty \}\cup [0,\infty )\) by
then we have \(y+\alpha (\hslash ,\wp )F(d(\top \hslash ,\top \wp ))\leq F(d( \hslash ,\wp ))\) for \(\hslash ,\wp \in M\) with \(d(\top \hslash ,\top \wp )>0\). Therefore we conclude that ⊤ satisfies all conditions of definition of α-type F-contraction. By (H3),
which shows that ⊤ is α-admissible. From (H2) we have \(\hslash _{0} \in \mathcal{C}(\mathfrak{J})\) such that \(\alpha (\hslash _{0},\top \hslash _{0})\geq 1\). According to (H4) and Theorem 2.3, we can obtain \(\hslash ^{*}\in \mathcal{C}(\mathfrak{J})\) where \(\hslash ^{*}=\top \hslash ^{*}\) which is a fixed point of ⊤ and therefore a solution of the problem. □
Now to use in the next definition let us define \(\mathfrak{F}\) involved the functions \(\psi :(0, \infty )\rightarrow R\) such that:
- \((\mathfrak{F}_{1})\):
-
\(0 < p< t\) implies \(\psi (p)\leq \psi (t)\);
- \((\mathfrak{F}_{2})\):
-
\(s_{n}\rightarrow 0 \text{ if and only if } \psi (s_{n})\rightarrow - \infty \),
where \(\{s_{n}\}\subset (0,+\infty )\).
Definition 2.5
([20])
Let \(\psi \in \mathfrak{F}\), \(a \in [0, +\infty ) \) and \(d: M\times M\rightarrow [0, +\infty )\) with the following conditions:
- \((d_{1})\):
-
\((\hslash , \wp ) \in M\times M\), \(d(\hslash , \wp )=0 \Leftrightarrow \hslash =\wp \);
- \((d_{2})\):
-
\(d(\hslash , \wp )=d(\wp ,\hslash )\), for \((\hslash , \wp )\in M\times M\);
- \((d_{3})\):
-
If \((\hslash , \wp ) \in M\times M\), \((u_{i})^{N}_{i=1}\subset M\) such that \((u_{1},u_{N})=(\hslash ,\wp )\), \(N\in \mathrm{N}\), \(N\geq 2\) we have
$$ d(\hslash , \wp )>0 \quad \text{implies}\quad \psi \bigl(d(\hslash , \wp )\bigr)\leq \psi \Biggl(\sum_{i=1}^{N-1} d(u_{i}, u_{i+1}) \Biggr)+a. $$
Then d is called an \(\mathfrak{F}\)-metric on M, and the pair \((M, d)\) is said to be a \(\mathfrak{F}\)-metric space.
If we have the following condition for a sequence \(\{\hslash _{n}\}\)
then we say \(\{\hslash _{n}\}\) is convergent to ℏ with respect to \(\mathfrak{F}\)-metric d. Similar to the common definitions \(\{\hslash _{n}\}\) is \(\mathfrak{F}\)-Cauchy in \((M, d)\) if
Similarly the \(\mathfrak{F}\)-completeness of \((M, d)\) can be defined.
Essential are the next definition and also the next fixed point theorem: let Γ be the set of \(\ell :[0,\infty )\rightarrow [0,\infty )\) such that
- \((\ell _{1})\):
-
ℓ is nondecreasing;
- \((\ell _{2})\):
-
\(\sum_{n=1}^{\infty } \ell ^{n}(p)<\infty \) for \(p\in R^{+}\), where \(\ell ^{n}\) is the nth iterate of ℓ.
Definition 2.6
([31])
Suppose that \(\psi :M\to M \) and \(\alpha :M\times M\rightarrow [0,\infty )\), if for \(p\in M \)
Then ψ is said to be an α-orbital admissible.
Theorem 2.7
([13])
Suppose \((M, d)\) be a \(\mathfrak{F}\)-complete metric space and \(\psi :M\rightarrow M\) such that
for \(\hslash ,\wp \in M\), where \(\ell \in \Gamma \). Also assume
- \((n1)\):
-
ψ is α-orbital admissible;
- \((n2)\):
-
there exists \(\hslash _{0}\in M\) with \(\alpha (\hslash _{0},\psi \hslash _{0}) \geq 1\);
- \((n3)\):
-
\(\psi \in \mathfrak{F}\) verifying \((d_{3})\) is continuous and for a continuous function ℓ we have \(\psi (u)>\psi (\ell (u))+a\), \(0< u < \infty \), such that a is the same appeared in \((d_{3})\).
Then there exists a fixed point for f.
Now let us define the \(\mathfrak{F}\)-metric \(d:M\times M\rightarrow [0,\infty )\) given by
where \(M=\mathcal{C}(\mathfrak{J},\mathrm{N})\) and continues function ψ on \((0,\infty )\) by \(\psi (p) =-\frac{1}{p}\) for \(p > 0\). Since \(-\frac{1}{u}>\frac{1}{\ell (u)}>1\), it is obvious that \(\psi (u)>\psi (\ell (u))+a\), \(u>0\), in the sense that ℓ has the following conditions:
Now we are ready to present the following theorem.
Theorem 2.8
Assume
- (n1):
-
there exists \(\jmath :R^{2}\rightarrow R\) with
$$\begin{aligned} \bigl\vert {f\bigl(p,\hslash (p)\bigr) - f\bigl(p,\wp (p)\bigr)} \bigr\vert &\le \frac{{(2 - \varsigma )M(\kappa )}}{2}\ell \bigl( { \bigl\vert {\hslash (p) - \wp (p)} \bigr\vert } \bigr), \end{aligned}$$where \(s \in \mathfrak{J}\) and \(\hslash ,\wp \in R\) such that \(\jmath (\hslash ,\wp )\geq 0\);
- (n2):
-
there exists \(\hslash _{1}\in \mathcal{C}(\mathfrak{J})\) with \(\jmath (\hslash _{1}(p),\top \hslash _{1}(p))\geq 0\) where \(p\in \mathfrak{J}\) and \(\top :\mathcal{C}(\mathfrak{J})\rightarrow \mathcal{C}(\mathfrak{J})\) is defined by
$$\begin{aligned} &(\top \hslash ) (p)=\hslash _{0}+{}_{0}^{CF}I^{\varsigma }f \bigl(p,\hslash (p)\bigr); \end{aligned}$$(9) - (n3):
-
for \(p\in \mathfrak{J}\) and \(\hslash \in \mathcal{C}(\mathfrak{J})\), \(\jmath (\hslash (p),\top \hslash (p))\geq 0\) implies \(\jmath (\top \hslash (p),\top ^{2}\hslash (p))\geq 0\).
Then there exists at least one fixed point for ⊤ which is the solution of (6).
Proof
We have
Hence for \(\hslash ,\wp \in \mathcal{C}(\mathfrak{J})\), \(p\in \mathfrak{J}\) with \(\jmath (\hslash (p),\wp (p))\geq 0\), we have
Put \(\alpha : \mathcal{C}(\mathfrak{J})\times \mathcal{C}(\mathfrak{J}) \rightarrow [0,\infty )\) by
Therefore \(\alpha (\hslash ,\wp )d(\top \hslash ,\top \wp ))\leq d(\top \hslash ,\top \wp ))\leq \ell (d(\hslash ,\wp ))\), \(\hslash ,\wp \in M\) with \(d(\top \hslash ,\top \wp )>0\).
From (n3),
for \(\hslash \in \mathcal{C}(\mathfrak{J})\). Therefore, we conclude that ⊤ is orbital α-admissible. From (n2), we can choose \(\hslash _{1} \in \mathcal{C}(\mathfrak{J})\) such that \(\alpha (\hslash _{1},\top \hslash _{1})\geq 1\). Also from (n3) and Theorem 2.7, we get \(\wp ^{*}\in \mathcal{C}(\mathfrak{J})\) with \(\hslash ^{*}=\top \hslash ^{*}\). Hence, we obtain \(\hslash ^{*}\) as a solution of the problem and this completes the proof. □
Now, for a positive integer n we denote by \(h^{n}\) the nth iterate of h, so that \(y=h^{0}y\) and \(h^{n+1}y=h(h^{n}y)\) for \(y\in \mathrm{X}\) and \(n\in \mathrm{N}\). The triplet \((\mathrm{X},d,h)\) represent a metric space \((\mathrm{X},d)\) with a self-mapping h on it. We shall use \((\mathrm{X}*,d,h)\) to indicate the corresponding metric space is complete. Also on \((\mathrm{X},d,h)\) an orbit of \(y_{0}\in \mathrm{X}\) is the set
and \(\rho (y_{0})\) denote to the diameter of the set \(O(y_{0})\). Note that for any subset B of X, \(\rho (B)=\sup \{d(u,y):u,y\in B\}\) is the diameter of B. We shall use the triplet \((\mathrm{X}_{0*},d,h)\) if for some \(y\in \mathrm{X}\), every Cauchy sequence from \(O(y)\) converges in X. In this case, the corresponding space is called orbitally complete.
Corollary 2.9
For \((\mathrm{X},d*,h)\) with \(p:\mathrm{X} \rightarrow \mathrm{N}\), we suppose there exists \(\tau >0\) such that for \(v,w\in \mathrm{X}\)
Assume there exists \(y_{0}\in \mathrm{X}\) such that \(0<\rho <\infty \). Moreover, \((\mathrm{X},d)\) is h-orbitally complete. Then h has a unique fixed point.
Theorem 2.10
On account of (6), we assume that
and
for \(p\in \mathfrak{J}\), then the problem (6) possesses a unique solution.
Proof
We consider \(d:M\times M\to [0,\infty )\) given by \(d(\hslash ,\wp )=\sup_{p\in \mathfrak{J}}|\hslash (p)-\wp (p)| \) and, applying the Caputo–Fabrizio integral to both sides of (6), we get
We demonstrate that (6) has a unique solution. We get
also
On the other hand
also we have
Hence condition (10) holds with \(p:\mathrm{X}\rightarrow \mathrm{N}\) such that \(p(\hslash )=2\), \(\hslash \in \mathrm{X}\). Accordingly all axioms of Corollary 2.9 are verified and consequently ⊤ possesses a unique fixed point. So (6) possesses a unique solution. □
Availability of data and materials
Not applicable.
References
Abdeljawad, T., Agarwal, R., Karapinar, E., Kumari, S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11(5), 686 (2019)
Abdeljawad, T., Baleanu, D.: Integration by parts and its applications of a new nonlocal fractional derivative with Mittag-Leffler nonsingular kernel. J. Nonlinear Sci. Appl. 10, 1098–1107 (2017)
Adiguzel, R.S., Aksoy, U., Karapinar, E., Irhan, I.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Afshari, H., Alsulami, H.H., Karapinar, E.: On the extended multivalued Geraghty type contractions. J. Nonlinear Sci. Appl. 9, 4695–4706 (2016). https://doi.org/10.22436/jnsa.009.06.108
Afshari, H., Aydi, H., Karapinar, E.: Existence of fixed points of set-valued mappings in b-metric spaces. East Asian Math. J. 32(3), 319–332 (2016)
Afshari, H., Kalantari, S., Baleanu, D.: Solution of fractional differential equations via α-ψ-Geraghty type mappings. Adv. Differ. Equ. 2018, 347 (2018)
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 286, 1 (2015)
Aksoy, U., Karapinar, E., Erhan, I.: Fixed points of generalized alpha-admissible contractions on b-metric spaces with an application to boundary value problems. J. Nonlinear Convex Anal. 17(6), 1095–1108 (2016)
Algahtani, B., Aydi, H., Karapinar, E., Rakocevic, E.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7(8), 694 (2019)
Ali Shah, N., Khan, I.: Heat transfer analysis in a second grade fluid over and oscillating vertical plate using fractional Caputo–Fabrizio derivatives. Eur. Phys. J. C 76, 362 (2016). https://doi.org/10.1140/epjc/s10052-016-4209-3
Alqahtani, B., Fulga, A., Jarad, F., Karapinar, E.: Nonlinear F-contractions on b-metric spaces and differential equations in the frame of fractional derivatives with Mittag-Leffler kernel. Chaos Solitons Fractals 128, 349–354 (2019). https://doi.org/10.1016/j.chaos.2019.08.002
Arshad, M., Ameer, E., Karapinar, E.: Generalized contractions with triangular a-orbital admissible mapping on Branciari metric spaces. J. Inequal. Appl. 2016, 63 (2016)
Aydi, H., Karapinar, E., Mitrovi, Z.D., Rashid, T.: A remark on “Existence and uniqueness for a neutral differential problem with unbounded delay via fixed point results F-metric space”. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 3197–3206 (2019). https://doi.org/10.1007/s13398-019-00690-9
Aydi, H., Karapinar, E., Yazidi, H.: Modified F-contractions via alpha-admissible mappings and application to integral equations. Filomat 31(5), 1141–1148 (2017)
Aydi, H., Karapinar, E., Zhang, D.: Common fixed points in the context of Brianciari metric spaces. Results Math. 71, 73–91 (2017)
Caputo, M., Fabrizzio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)
Gopal, D., Abbas, M., Kumar, D.P., Vetro, C.: Fixed points of α-type F-contractive mappings with an application to nonlinear fractional differential equation. Acta Math. Sci. 36(3), 957–970 (2016)
Goufo, E.F., Doungmo, P., Morgan, K., Mwambakana, J.N.: Duplication in a model of rock fracture with fractional derivative without singular kernel. Open Math. 13, 839–846 (2015)
Goufoa, D., Kumar, E.F., Mugisha, S.B.: Similarities in a fifth-order evolution equation with and with no singular kernel. Chaos Solitons Fractals 130, 109467 (2020)
Jleli, M., Samet, B.: On a new generalization of metric spaces. Fixed Point Theory Appl. 2018, 128 (2018)
Karapinar, E., Abdeljawad, T., Jarad, F.: Wardowski type contractions with applications on Caputo type nonlinear fractional differential equations. Adv. Differ. Equ. 2019, 421 (2019)
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential equations. Mathematics 7(5), 444 (2019)
Karapinar, E., Samet, B.: Generalized α-ψ-contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012, Article ID 793486 (2012)
Kilbas, A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. North Holland Math Stud., vol. 204 (2006)
Losada, J., Nieto, J.J.: Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 87–92 (2015)
Marasi, H.R., Afshari, H., Daneshbastam, M., Zhai, C.B.: Fixed points of mixed monotone operators for existence and uniqueness of nonlinear fractional differential equations. J. Contemp. Math. Anal. 52, 8–13 (2017)
Marasi, H.R., Afshari, H., Zhai, C.B.: Some existence and uniqueness results for nonlinear fractional partial differential equations. Rocky Mt. J. Math. 47, 571–585 (2017). https://doi.org/10.1216/RMJ-2017-47-2-1
Marasi, H.R., Aydi, H.: Existence and uniqueness results for two-term nonlinear fractional differential equations via a fixed point technique. J. Math. 2021, Article ID 6670176 (2021). https://doi.org/10.1155/2021/6670176
Marasi, H.R., Karimi, S.: Convergence of the variational iteration method for solving fractional Klein–Gordon equation. J. Math. Comput. Sci. 4(2), 257–266 (2014)
Marasi, H.R., Nikbakht, M.: The Adomian decomposition method for boundary eigenvalue problems. Aust. J. Basic Appl. Sci. 5(12), 2106–2111 (2011)
Popescu, O.: Some new fixed point theorems for α-Geraghty-contraction type maps in metric spaces. Fixed Point Theory Appl. 2014, 190 (2014)
Rezapour, S., Shabibi, M.: A singular fractional differential equation with Riemann–Liouville integral boundary condition. J. Adv. Math. Stud. 8(1), 80–88 (2015)
Samet, B., Vetro, C., Vetro, P.: Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal. 75, 2154–2165 (2012)
Shatanawi, W., Karapinar, E., Aydi, H., Fulga, A.: Wardowski type contractions with applications on Caputo type nonlinear fractional differential equations. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 82(2), 157–170 (2020)
Wardowski, D.: Fixed point theory of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Acknowledgements
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Afshari, H., Hosseinpour, H. & Marasi, H.R. Application of some new contractions for existence and uniqueness of differential equations involving Caputo–Fabrizio derivative. Adv Differ Equ 2021, 321 (2021). https://doi.org/10.1186/s13662-021-03476-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03476-9