- Research
- Open access
- Published:
On a nonlocal implicit problem under Atangana–Baleanu–Caputo fractional derivative
Boundary Value Problems volume 2021, Article number: 104 (2021)
Abstract
In this paper, we study a class of initial value problems for a nonlinear implicit fractional differential equation with nonlocal conditions involving the Atangana–Baleanu–Caputo fractional derivative. The applied fractional operator is based on a nonsingular and nonlocal kernel. Then we derive a formula for the solution through the equivalent fractional functional integral equations to the proposed problem. The existence and uniqueness are obtained by means of Schauder’s and Banach’s fixed point theorems. Moreover, two types of the continuous dependence of solutions to such equations are discussed. Finally, the paper includes two examples to substantiate the validity of the main results.
1 Introduction
Fractional calculus [1, 2] has persistently magnetized the attention of many researchers in the few past decades. Recently, novel fractional derivatives which mix the Riemann–Liouville, Caputo, Hadamard, Hilfer, and generalized fractional derivatives have emerged (see [3–8]). Some interested authors and researchers have realized that innovation for novel fractional derivatives with nonsingular (nonlocal) or singular (local) kernels is an urgent necessity to satisfy the need to model more realistic problems in different fields of applied science.
Caputo and Fabrizio in [9] suggested a novel kind of fractional derivatives where the kernel relies on the exponential function. Some properties of this novel operator were studied by Losada and Nieto in [10]. In [11] the authors proposed interesting new fractional operators called Atangana–Baleanu (AB) fractional operators. One of these operators is called Atangana–Baleanu–Caputo (ABC) fractional derivative, and it is basically a generalization of the Caputo operator. Then, in [12, 13], the authors discussed the discrete versions of those novel operators. Some recent and interesting contributions on fractional differential equations (FDEs) and mathematical modeling that incorporate ABC fractional derivatives can be found in the following series of articles [14–26].
The recent investigations of the qualitative analysis of FDEs, e.g., the evolution, impulsive, and functional problems with initial (or boundary) nonlocal conditions, can be found in [27–35] and the references therein.
On the other hand, in the case where a physical procedure is described by IVPs for FDEs, at that point it is desirable that any mistakes made in the estimation of initial data do not impact the solution so much. Mathematically, this is known as continuous dependence of solution of an IVP on the data introduced in the proposed problem. Actually, nonlocal conditions come up when estimations of the function on the limit are associated with values in the domain. It is seen as more reasonable than the classical initial conditions for the forming of some physical phenomena in specific problems of wave spread and thermodynamics. In crossing, we saw that the nonlocal condition \(\sum_{k=1}^{m}\beta _{k}\varkappa (\tau _{k})=\varkappa _{0}\) that may be applied in physical models yields preferred impact over the initial conditions \(\varkappa (0)=\varkappa _{0}\).
In this regard, many interested authors have presented excellent results on the existence and continuous dependence of solution of FDEs with the nonlocal conditions and classical fractional operators. For the recent review of these studies, we refer to [36–44].
Recently, ABC-fractional IVP is one of the studied problems by Thabet et al. [14] which is of type
Through the above discussions, and motivated by [14, 40], in this work, we will prove some new results based on a novel version of fractional operators. More precisely, we consider the following ABC-type nonlocal fractional problem:
where \(0<\varrho \leq 1\), \({}^{\mathit{ABC}}\mathbb{D}_{a^{+}}^{\varrho }\) is the ABC fractional derivative of order ϱ, \(f:[0,\chi ]\times \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R} \) is a continuous function with \(f(0,\varkappa (0),{}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho }\varkappa (0))=0\), \(0<\tau _{1}<\tau _{2}<\cdots<\tau _{m}<\chi \), \(\beta _{k}\) are real numbers (\(k=1,2,\ldots,m\)), and \(\varkappa \in C[0,\chi ]\) such that the operator \({}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho }\) exists and \({}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho }\varkappa \in C[0,\chi ]\).
The main aim of this work is to study the existence, uniqueness of solutions and their continuous dependence on the nonlinear nonlocal problem (1.1)–(1.2) in the frame of ABC fractional derivative by means of Schauder’s and Banach’s fixed point theorems. To the best of our knowledge in the subject, no one considered the existence and data dependence of the ABC-type fractional problem with nonlocal conditions. Therefore, the acquired results are recent studies and an extension of the development of FDEs involving an ABC fractional derivative. Furthermore, the analysis of the results is restricted to a minimum of hypotheses.
The rest of the paper is arranged as follows. In Sect. 2, we recall some useful preliminaries related to the main outcomes. Section 3 is dedicated to obtaining the solution representation to a given problem. Then the existence and uniqueness results are proved via functional integral equation with the aid of some fixed point approaches. Moreover, we discuss the continuous dependence of solutions for the problem at hand. Illustrative examples are given in Sect. 4. Finally, concluding remarks are mentioned in Sect. 5.
2 Background materials and preliminaries
Here, we recall some essential definitions and preliminary facts related to AB fractional operators.
Let \(C([0,\chi ],\mathbb{R} )=C[0,\chi ]\) be the space of continuous functions \(\upsilon :[0,\chi ]\rightarrow \) \(\mathbb{R} \) with the norm
Clearly, \(C[0,\chi ]\) is a Banach space with the norm \(\Vert \cdot \Vert \).
Definition 2.1
([11])
Let \(\varrho \in {}[ 0,1]\) and \(\upsilon \in H^{1}(0,\chi )\). Then the AB-Riemann–Liouville and AB-Caputo fractional derivatives are given by
and
respectively, where \(\mathbb{E}_{\varrho }\) is called the MLF defined by
The AB fractional integral is described by
where \(\mathfrak{N}(\varrho )>0\) is a normalization function satisfying \(\mathfrak{N}(0)=\mathfrak{N}(1)=1\) and
Lemma 2.2
Let \(\varrho \in (0,1]\) and \(\upsilon \in H^{1}(0,\chi )\), if an ABC fractional derivative exists, then we have
and
Definition 2.3
([11])
The relation between the AB-Caputo and AB-Riemann–Liouville operator is
Lemma 2.4
([15])
For \(n<\varrho \leq n+1\), for some \(n\in \mathbb{N} _{0}\) and \(\upsilon (\theta )\) defined on \([0,\chi ]\), we have
-
(i)
\({}^{\mathit{ABC}}\mathbb{D}_{a^{+},\theta }^{\varrho } {}^{\mathit{AB}}\mathbb{I}_{a^{+},\theta }^{\varrho } \upsilon (\theta )=\upsilon (\theta )\);
-
(ii)
\({}^{\mathit{AB}}\mathbb{I}_{a^{+},\theta }^{\varrho }\) \({}^{\mathit{ABC}}\mathbb{D}_{a^{+},\theta }^{\varrho }\upsilon (\theta )=\upsilon (\theta )- \sum_{k=0}^{n}\frac{\upsilon ^{(k)}(a)}{k!}(\theta -a)^{k}\);
-
(iii)
\({}^{\mathit{AB}}\mathbb{I}_{a^{+},\theta }^{\varrho } {}^{\mathit{ABR}}\mathbb{D}_{a^{+},\theta }^{\varrho }\upsilon (\theta )=\upsilon (\theta )- \sum_{k=0}^{n-1}\frac{\upsilon ^{(k)}(a)}{k!}(\theta -a)^{k}\).
Lemma 2.5
([15])
For \(n<\varrho \leq n+1\), \({}^{\mathit{ABC}}\mathbb{D}_{a^{+},\theta }^{\varrho }\) \((\theta -a)^{k}=0\), \(k=0,1,\ldots,n\). Moreover, \({}^{\mathit{ABC}}\mathbb{D}_{a^{+},\theta }^{\varrho }\upsilon (\theta )=0\) if \(\upsilon (\theta )\) is a constant function.
Lemma 2.6
Let \(\varrho \in (0,1]\) and \(\varpi \in C[0,1]\) with \(\varpi (0)=0\). Then the solution of
is given by
Theorem 2.7
([46])
Let \(\mathfrak{X}\) be a Banach space and \(\mathfrak{K} \) be a nonempty closed subset of \(\mathfrak{X}\). If \(\mathfrak{B}:\mathfrak{K}\longrightarrow \mathfrak{K}\) is a contraction, then there exists a unique fixed point of \(\mathfrak{B}\).
Theorem 2.8
([46])
Let \(\mathfrak{X}\) be a Banach space and \(\mathfrak{K}\) be a convex subset of \(\mathfrak{X}\) and \(Q:\mathfrak{K}\rightarrow \mathfrak{K}\) be a compact and continuous map. Then Q has at least one fixed point in \(\mathfrak{K.}\)
3 Main results
This section is devoted to obtaining formula of the solution to ABC-type nonlocal problem (1.1)–(1.2). Then we prove the existence and uniqueness of solution for problem (1.1)–(1.2) by means of Schauder’s fixed point theorem (Theorem 2.8) and Banach’s fixed point theorem (Theorem 2.7). Moreover, we also discuss the continuous dependence of solutions to such equations on arbitrary data.
3.1 Solution representation
Lemma 3.1
Let \(0<\varrho \leq 1\) and \(\sum_{k=1}^{m}\beta _{k}\neq 0\). Then the solution of ABC-type nonlocal problem (1.1)–(1.2) can be indicated by the fractional integral equation
where \(\mathfrak{F}_{\varkappa }\) is the solution of the functional integral equation
and \(\mathcal{A}:= ( \sum_{k=1}^{m}\beta _{k} ) ^{-1}\).
Proof
Set \({}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho }\varkappa (\theta )= \mathfrak{F}_{\varkappa }(\theta )\) in (1.1). Then we get
Applying \({}^{\mathit{AB}}\mathbb{I}_{0,\theta }^{\varrho }\) on both sides of (1.1) and using Lemma 2.2, we have
Putting \(\theta =\tau _{k}\) into (3.3), we get
Multiplying \(\beta _{k}\) and taking the sum to both sides of (3.4), we can write
By nonlocal condition (1.2), we obtain
which implies
Since \(\mathcal{A}= ( \sum_{k=1}^{m}\beta _{k} ) ^{-1}\), we get
Here, \(\mathfrak{F}_{\varkappa }\) is the solution of equation \(\mathfrak{F}_{\varkappa }(\theta )=f(\theta ,\varkappa (\theta ),\mathfrak{F}_{ \varkappa }(\theta ))\), i.e.,
The proof is completed.
Now, we consider the following hypotheses: □
- \((H_{1})\) :
-
There exists a constant \(L_{1}>0\) such that
$$ \bigl\vert f(\theta ,x,y)-f\bigl(\theta ,x^{\ast },y^{\ast } \bigr) \bigr\vert \leq L_{1} \bigl( \bigl\vert x-x^{\ast } \bigr\vert + \bigl\vert y-y^{\ast } \bigr\vert \bigr) $$for all \(\theta \in {}[ 0,\chi ]\) and \(x,x^{\ast },y,y^{\ast }\in \mathbb{R} \).
- \((H_{2})\) :
-
There exists a constant \(\kappa >0\) such that
$$ \bigl\vert f(\theta ,x,y) \bigr\vert \leq \kappa \bigl( 1+ \vert x \vert + \vert y \vert \bigr) ,\quad \forall (\theta ,x,y)\in {}[ 0,\chi ]\times \mathbb{R} \times \mathbb{R} . $$
3.2 Existence results
In this subsection, we prove the existence and uniqueness of solution to ABC-type nonlocal problem (1.1)–(1.2).
The following result is based on Theorem 2.8.
Theorem 3.2
Assume that \(f:[0,\chi ]\times \mathbb{R} ^{2}\longrightarrow \mathbb{R} \) is continuous. If \((H_{2})\) holds with \(\kappa \neq 1\), and
then ABC-type nonlocal problem (1.1)–(1.2) has at least one solution \(\mathfrak{\varkappa }\in C[0,\chi ]\).
Proof
Define the operator \(\mathcal{T}\): \(C[0,\chi ]\rightarrow C[0,\chi ]\) by
where
The operator \(\mathcal{T}\) is well defined. Indeed, we consider a function \(\mathfrak{\varkappa }\in C[0,\chi ]\). It is clear that \(\mathcal{T}\mathfrak{\varkappa }\in C[0,\chi ]\). Also, by equation (3.6), Lemmas 2.4 and 2.5, we have
Since \(\mathfrak{\varkappa }\in C[0,\chi ]\) and \({}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho }\varkappa (\theta )= \mathfrak{F}_{\varkappa }(\theta ) \) in equation (1.1), it follows that
As \(f(\theta ,\varkappa (\theta ),{}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho } \varkappa (\theta ))\) is continuous on \([0,\chi ]\), then \({}^{\mathit{ABC}}\mathbb{D}_{0,\theta }^{\varrho }\mathcal{T}\mathfrak{\varkappa }(\theta )\in C[0, \chi ]\).
Let \(r\geq \frac{\eta _{2}}{1-\eta _{1}}\) and \(\mathcal{B}_{r}=\{\varkappa \in C[0,\chi ]: \Vert \varkappa \Vert \leq r\}\), where \(\mathcal{B}_{r}\) is a nonempty, closed, convex, and bounded subset of \(C[0,\chi ]\) and
Now, we show that \(\mathcal{T}\) fulfills the hypotheses of Theorem 2.8. The proof is presented in numerous steps as follows.
Step 1. \(\mathcal{TB}_{r}\subseteq \mathcal{B}_{r}\).
For \(\theta \in {}[ 0,\chi ]\), we get
and
Thus
It follows from (3.5) and (3.8) that, for each \(\varkappa \in \mathcal{B}_{r}\),
Step 2. \(\mathcal{T}\) is continuous.
Let \(\mathfrak{\varkappa }_{n}\) be a sequence such that \(\mathfrak{\varkappa }_{n}\rightarrow \varkappa \) as \(n\rightarrow \infty \). Then
Since \(\mathfrak{F}_{\varkappa }(\cdot )=f ( \cdot ,\varkappa (\cdot ),\mathfrak{F}_{\varkappa }(\cdot ) ) \in C[0,\chi ]\), it follows that \(\Vert \mathcal{T}\mathfrak{\varkappa }_{n}(\cdot )-\mathcal{T} \mathfrak{\varkappa }(\cdot ) \Vert \rightarrow 0\) as \(n\rightarrow \infty \), which proves the required result.
Step 3. \(\mathcal{T}\) is compact.
We shall show that \(\mathcal{TB}_{r}\) is relatively compact. Clearly, \(\mathcal{TB}_{r}\) is uniformly bounded due to Step 1. It remains to show that \(\mathcal{TB}_{r}\) is equicontinuous. Let \(\theta _{1},\theta _{2}\in {}[ 0,\chi ]\) such that \(0\leq \theta _{1}\leq \theta _{2}\leq \chi \). Then
It follows from (3.9) that, for each \(\varkappa \in \mathcal{B}_{r}\),
Since \(\mathfrak{F}_{\varkappa }(\cdot )=f ( \cdot ,\varkappa (\cdot ),\mathfrak{F}_{\varkappa }(\cdot ) ) \in C[\theta _{1},\theta _{2}]\), it follows that \(\vert \mathcal{T}\mathfrak{\varkappa }(\theta _{2})-\mathcal{T}\mathfrak{\varkappa }(\theta _{1}) \vert \rightarrow 0\) as \(\theta _{2}\rightarrow \theta _{1}\).
As a result of Steps 1 to 3 together with the Arzela–Ascoli theorem, we arrive at \(\mathcal{T}\) being continuous and compact. According to Theorem 2.8, ABC-type nonlocal problem (1.1)–(1.2) has at least one solution in \(\mathcal{B}_{r}\). □
The following result is based on Theorem 2.7.
Theorem 3.3
Assume that \(f:[0,\chi ]\times \mathbb{R} ^{2}\longrightarrow \mathbb{R} \) is continuous. If (\(H_{1}\)) holds with \(L_{1}\neq 1\), then ABC-type nonlocal problem (1.1)–(1.2) has a unique solution \(\mathfrak{\varkappa }\in C[0,\chi ] \) provided that
Proof
We shall use Theorem 2.7 to prove that \(\mathcal{T}\) defined by (3.6) has a fixed point.
Let \(\mathfrak{\varkappa ,\varkappa }^{\ast }\in C[0,\chi ]\) and \(\theta \in {}[ 0,\chi ]\). Then
On the other hand, we have, for each \(\theta \in {}[ 0,\chi ]\),
Thus
By replacing (3.12) in (3.11), we get
Consequently, by (3.10), \(\mathcal{T}\) is a contraction. As a consequence of Theorem 2.7, we conclude that \(\mathcal{T}\) has a fixed point which is a solution of problem (1.1)–(1.2). □
3.3 Continuous dependence
This portion is devoted to discussing the continuous dependence of the solution for ABC-type nonlocal problem (1.1)–(1.2).
Definition 3.4
The solution \(\varkappa \in C[0,\chi ]\) of ABC-type nonlocal problem (1.1)–(1.2) is called continuously dependent on \(\varkappa _{0}\) if, for every \(\epsilon >0\), there exists \(\delta (\epsilon )>0\) such that \(\vert \varkappa _{0}-\widetilde{\varkappa }_{0} \vert < \delta \) implies \(\Vert \varkappa -\widetilde{\varkappa } \Vert <\epsilon \), where ϰ̃ is the solution of equation (1.1) with the nonlocal condition
Theorem 3.5
Assume that the hypotheses of Theorem 3.3are fulfilled. Then the solution of ABC-type nonlocal problem (1.1)–(1.2) depends continuously on \(\varkappa _{0}\).
Proof
In view of Lemma 3.1, the solution of ABC-type nonlocal problem (1.1)–(1.2) is
and the solution of ABC-type nonlocal problem (1.1)–(3.13) is
where \(\mathfrak{F}_{\varkappa }\) and \(\mathfrak{F}_{\widetilde{\varkappa }} \) are the solutions of
and
Hence,
However, we have from (\(H_{1}\)) that
Thus
By replacing (3.17) in (3.16), we get
Since \(\Upsilon <1\), we get
□
Definition 3.6
The solution \(\varkappa \in C[0,\chi ]\) of ABC-type nonlocal problem (1.1)–(1.2) is called continuously dependent on the coefficients \(\sum_{k=1}^{m}\beta _{k}\) if, for every \(\epsilon >0\), there exists \(\delta (\epsilon )>0\) such that \(\sum_{k=1}^{m} \vert \beta _{k}-\widetilde{\beta _{k}} \vert <\delta \) implies \(\Vert \varkappa -\widetilde{\varkappa } \Vert <\epsilon \), where ϰ̃ is the solution of equation (1.1) with the nonlocal condition
Theorem 3.7
Assume that the hypotheses of Theorem 3.3hold. Then the solution of ABC-type nonlocal problem (1.1)–(1.2) depends continuously on the coefficients \(\sum_{k=1}^{m}\beta _{k}\), provided that
and
where \(\widetilde{\mathcal{A}}= \frac{1}{\sum_{k=1}^{m}\widetilde{\beta _{k}}}\) and \(\sum_{k=1}^{m}\widetilde{\beta _{k}}\neq 0\).
Proof
In view of Lemma 3.1, the solution of ABC-type nonlocal problem (1.1)–(1.2) is
and the solution of ABC-type nonlocal problem (1.1)–(3.18) is
where \(\mathfrak{F}_{\varkappa }\) and \(\mathfrak{F}_{\widetilde{\varkappa }} \) are the solutions of
Hence,
Since
Substituting from (3.21) in (3.20), we get
Then
Now, we have from (3.19) that
By (\(H_{1}\)), we obtain
and
which gives
where \(\Vert \mathfrak{F}_{0} \Vert =\max_{\theta \in {}[ 0, \chi ]} \vert f ( \theta ,0,0 ) \vert \). By replacing (3.23), (3.24), and (3.25) in (3.22), we obtain
which implies
where
□
4 Examples
Example 4.1
Let us consider the following ABC-type nonlocal problem:
with nonlocal conditions
where \(0< ( \tau _{1}=\frac{1}{6},\tau _{2}=\frac{1}{4},\tau _{3}= \frac{1}{3} ) <\frac{1}{2}\), \(( \beta _{1}=\frac{1}{8},\beta _{2}=\frac{3}{8},\beta _{3}=\frac{1}{2} ) >0\) (\(k=1,2,3\)) (\(m=3\)), \(\varrho =\frac{1}{3}\).
Notice that (4.1)–(4.2) is a particular case of (1.1)–(1.2).
Set \(f(\theta ,\varkappa ,v)=\frac{\theta ^{2}}{8} ( 1+ \frac{\varkappa }{ ( 1+\varkappa +v ) }+ \frac{v}{ ( 1+\varkappa +v ) } ) \) for \(( \theta ,\varkappa ,v ) \in {}[ 0,\frac{1}{2}]\times \mathcal{\mathbb{R} }^{2}\). Clearly, the function \(f(0,\varkappa (0),v(0))=0\). Let \(\varkappa ,\varkappa ^{\ast },v,v^{\ast }\in \mathcal{\mathbb{R} }\) and \(\theta \in {}[ 0,\frac{1}{2}]\). Then we have
Hence condition \((H_{2})\) is satisfied with \(\kappa =\frac{1}{8}\). By choosing \(\mathfrak{N}(\frac{1}{3})=1\), we can find that \(\eta _{1}\approx 0.23<1\). It follows from Theorem 3.2 that ABC-type nonlocal problem (4.3)–(4.4) has a solution on \([0,\frac{1}{2}]\).
Example 4.2
Consider the ABC-type nonlocal problem
with nonlocal conditions
where \(0< ( \tau _{1}=\frac{1}{3},\tau _{2}=\frac{1}{2} ) <1\), \(( \beta _{1}=\frac{1}{4},\beta _{2}=\frac{3}{4} ) >0\) (\(k=1,2\); \(m=2\)), and \(\varrho =\frac{1}{2}\).
Notice that (4.3)–(4.4) is a particular case of (1.1)–(1.2).
Set \(f(\theta ,\varkappa ,v)=\frac{\theta }{8+e^{\theta }} \frac{1}{ ( 1+\varkappa +v ) }\) for \(( \theta ,\varkappa ,v ) \in {}[ 0,1]\times \mathcal{\mathbb{R} }^{2}\). Clearly, the function \(f(0,\varkappa (0), v(0))=0\). Let \(\varkappa ,\varkappa ^{\ast },v,v^{\ast }\in \mathcal{\mathbb{R} }\) and \(\theta \in {}[ 0,1]\). Then we have
Hence condition \((H_{1})\) is satisfied with \(L_{1}=\frac{1}{8}\). By choosing \(\mathfrak{N}(\frac{1}{2})=1\), we can find that \(\Upsilon \approx 0.28\). Also, we have \(\frac{1}{\mathcal{A}}=1\neq 0\). It follows from Theorem 3.3 that problem (4.3)–(4.4) has a unique solution on \([0,1]\).
By Theorems 3.5 and 3.7, the solution of problem (4.3)–(4.4) depends continuously on the coefficients \(\varkappa _{0}\) and \(\sum_{k=1}^{m}\beta _{k}\).
5 Concluding remarks
We can conclude that the main outcomes of this manuscript have been effectively accomplished. The existence and uniqueness of solutions for the nonlocal Cauchy problem for a nonlinear implicit FDE involving the ABC fractional derivative have been proved through some fixed point techniques (Theorems 2.8, 2.7) and some outcomes related to AB operators. Then, as an application, the continuous dependence of solution to such equations on arbitrary data involved therein was discussed. This paper adds and contributes to growth FDEs, particularly in the case of nonlocal implicit FDEs involving a novel fractional derivative presented recently by Atangana and Baleanu [11]. There are some works that carried out reported studies on the existence and continuous dependence of solutions of classical FDEs, and one of the destinations of this paper is to contribute with the goal that it can have a more prominent degree of studies identified with FDEs involving generalized fractional operators.
As a future direction, the studied problem would be interesting if it were studied on generalized fractional operators of variable order recently introduced by Yang and Machado [8] and its generalization by Sousa and Oliveira [47].
Availability of data and materials
Not applicable.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Math. Stud, vol. 204. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods. World Scientific, New York (2012)
Gambo, Y.Y., Jarad, F., Baleanu, D., Abdeljawad, T.: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 10 (2014)
Sousa, J.V., de Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)
Katugampola, U.: A new approach to a generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2011)
Yang, X.J., Machado, J.T.: A new fractional operator of variable order: application in the description of anomalous diffusion. Phys. A, Stat. Mech. Appl. 481, 276–283 (2017)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)
Losada, J., Nieto, J.J.: Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 87–92 (2015)
Atangana, A., Baleanu, D.: New fractional derivative with non-local and non-singular kernel. Therm. Sci. 20(2), 757–763 (2016)
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. 9, 1098–1107 (2017)
Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 80(1), 11–27 (2017)
Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)
Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017(1), 1 (2017)
Abdo, M.S., Panchal, S.K., Shah, K., Abdeljawad, T.: Existence theory and numerical analysis of three species prey-predator model under Mittag-Leffler power law. Adv. Differ. Equ. 2020(1), 249 (2020). https://doi.org/10.1186/s13662-020-02709-7
Abdo, M.S., Shah, K., Wahash, H.A., Panchal, S.K.: On a comprehensive model of the novel coronavirus (COVID-19) under Mittag-Leffler derivative. Chaos Solitons Fractals 135, 109867 (2020). https://doi.org/10.1016/j.chaos.2020.109867
Abdo, M.S., Abdeljawad, T., Ali, S.M., Shah, K.: On fractional boundary value problems involving fractional derivatives with Mittag-Leffler kernel and nonlinear integral conditions. Adv. Differ. Equ. 2021, 37 (2021). https://doi.org/10.1186/s13662-020-03196-6
Abdo, M.S., Abdeljawad, T., Kucche, K.D., Alqudah, M.A., Ali, S.M., Jeelani, M.B.: On nonlinear pantograph fractional differential equations with Atangana–Baleanu–Caputo derivative. Adv. Differ. Equ. 2021, 65 (2021). https://doi.org/10.1186/s13662-021-03229-8
Abdo, M.S., Abdeljawad, T., Shah, K., Jarad, F.: Study of impulsive problems under Mittag-Leffler power law. Heliyon 6(10), e05109 (2020). https://doi.org/10.1016/j.heliyon.2020.e05109
Algahtani, O.J.J.: Comparing the Atangana–Baleanu and Caputo–Fabrizio derivative with fractional order: Allen Cahn model. Chaos Solitons Fractals 89, 552–559 (2016)
Atangana, A., Koca, I.: Chaos in a simple nonlinear system with Atangana–Baleanu derivatives with fractional order. Chaos Solitons Fractals 89, 447–454 (2016)
Jajarmi, A., Baleanu, D.: A new fractional analysis on the interaction of HIV with CD4+ T-cells. Chaos Solitons Fractals 113, 221–229 (2018)
Shabbir, S., Shah, K., Abdeljawad, T.: Stability analysis for a class of implicit fractional differential equations involving Atangana–Baleanu fractional derivative. Adv. Differ. Equ. 2021, 395 (2021). https://doi.org/10.1186/s13662-021-03551-1
Khan, H., Gomez-Aguilar, J.F., Abdeljawad, T., Khan, A.: Existence results and stability criteria for ABC-fuzzy-Volterra integro-differential equation. Fractals 28(08), 2040048 (2020)
Khan, A., Khan, H., Gomez-Aguilar, J.F., Abdeljawad, T.: Existence and Hyers-Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. Chaos Solitons Fractals 127, 422–427 (2019)
Abdeljawad, T., Baleanu, D.: On fractional derivatives with generalized Mittag-Leffler kernels. Adv. Differ. Equ. 2018(1), 468 (2018)
Abdo, M.S., Abdeljawad, T., Shah, K., Ali, S.M.: On nonlinear coupled evolution system with nonlocal subsidiary conditions under fractal-fractional order derivative. Math. Methods Appl. Sci. 44(8), 6581–6600 (2021). https://doi.org/10.1002/mma.7210
Almeida, R., Malinowska, A.B., Monteiro, M.T.: Fractional differential equations with a Caputo derivative with respect to a kernel function and their applications. Math. Methods Appl. Sci. 41(1), 336–352 (2018)
Benchohra, M., Berhoun, F.: Impulsive fractional differential equations with variable times. Comput. Math. Appl. 59, 1245–1252 (2010)
Gu, H., Trujillo, J.J.: Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 257, 344–354 (2015)
Benchohra, M., Bouriah, S., Nieto, J.J.: Terminal value problem for differential equations with Hilfer–Katugampola fractional derivative. Symmetry 11(5), 672 (2019)
Mei, Z.D., Peng, J.G., Gao, J.H.: Existence and uniqueness of solutions for nonlinear general fractional differential equations in Banach spaces. Indag. Math. 26, 669–678 (2015)
Benchohra, M., Henderson, J., Ntouyas, S.K., Ouahab, A.: Existence results for functional differential equations of fractional order. J. Math. Anal. Appl. 338, 1340–1350 (2008)
Wahash, H.A., Abdo, M.S., Panchal, S.K.: Fractional integrodifferential equations with nonlocal conditions and generalized Hilfer fractional derivative. Ufa Math. J. 11(4), 151–171 (2019)
Abdo, M.S., Panchal, S.K.: Some new uniqueness results of solutions to nonlinear fractional integro-differential equations. Ann. Pure Appl. Math. 16, 345–352 (2018)
Abdo, M.S., Panchal, S.K.: Weighted fractional neutral functional differential equations. J. Sib. Fed. Univ. Math. Phys. 11, 535–549 (2018)
Cao, J., Chen, H., Yang, W.: Existence and continuous dependence of mild solutions for fractional neutral abstract evolution equations. Adv. Differ. Equ. 2015(1), 1 (2015)
Haoues, M., Ardjouni, A., Djoudi, A.: Existence, interval of existence and uniqueness of solutions for nonlinear implicit Caputo fractional differential equations. TJMM 10(1), 9–13 (2018)
Hamd-Allah, E.M.A.: On the existence of solutions of two differential equations with a nonlocal condition. J. Egypt. Math. Soc. 24(3), 367–372 (2016)
Kucche, K.D., Nieto, J.J., Venktesh, V.: Theory of nonlinear implicit fractional differential equations. Differ. Equ. Dyn. Syst. 28, 1–17 (2016)
El-Sayed, A.M.A., Bin-Taher, E.O.: A nonlocal problem for a multiterm fractional-order differential equation. Int. J. Math. Anal. 5(29), 1445–1451 (2011)
El-Sayed, A.M.A., Gaafar, F., El-Gendy, M.: Continuous dependence of the solution of random fractional–order differential equation with nonlocal conditions. Fract. Differ. Calc. 7(1), 135–149 (2017)
El-Sayed, A.M.A., Alrashdi, M.A.: On the continuous dependence of a functional integral equation with parameter. Int. J. Math. Trends Technol. 65(3), 183–189 (2019)
Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels. Adv. Differ. Equ. 2016, 232 (2016). https://doi.org/10.1186/s13662-016-0949-5
Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985)
Sousa, J.V., de Oliveira, E.C.: Two new fractional derivatives of variable order with non-singular kernel and fractional differential equation. Comput. Appl. Math. 37(4), 5375–5394 (2018)
Acknowledgements
The authors extend their appreciation to the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University for funding this work through Research group no: RG-21-09-07. Also, the authors are grateful to the anonymous referees for the suggestions that improved the manuscript.
Funding
This research was supported by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University, Grant No. RG-21-09-07.
Author information
Authors and Affiliations
Contributions
The authors declare that the work was realized with equal contribution. 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
Alnahdi, A.S., Jeelani, M.B., Abdo, M.S. et al. On a nonlocal implicit problem under Atangana–Baleanu–Caputo fractional derivative. Bound Value Probl 2021, 104 (2021). https://doi.org/10.1186/s13661-021-01579-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-021-01579-6