Abstract
This work mainly investigates the separation and stability of solutions to nonlinear systems involving Caputo–Fabrizio fractional derivatives. An inequality ensuring the positivity of the fractional derivative at a given point is derived, by which the sufficient conditions for the separation of solutions are obtained. The comparison principle and the inequality for the fractional derivatives of convex functions are obtained, by which the approach of the convex Lyapunov functions is extended effectively to establish the criteria for the stability of solutions in the context of Caputo–Fabrizio fractional derivatives. Applications of the main results are illustrated by using examples.
Similar content being viewed by others
1 Introduction
The fractional derivative, in which the order of the derivative is permitted to be noninteger, originated in 1695. Although it is as old as the classical calculus, the world of analysis seems to be always dominated by the latter. It has been thought out of mainstream science for over 300 years, and it is only in the last 40 years that it has come back to life.
It is worth stressing that the recovery of vitality is not just another way of presenting old stories, since the fractional derivatives and fractional differential equations have been applied to numerous fields such as viscoelasticity, signal processing, biology, engineering, neuroscience and materials science in the last four decades, and have become a well-accepted instrument in the description of complex systems [1–5].
Many important results have been obtained for the investigation of the theory of differential equations with the Riemann–Liouville or Caputo fractional derivatives. For instance, the existence of solutions to the boundary value problems was discussed in [6–12] for some specific fractional differential or integro-differential equations or inclusions by the use of certain fixed point theorems; and new results were derived in [13] on exact controllability of a class of fractional neutral integro-differential systems. Moreover, the boundary value problems involving the ψ-Caputo fractional derivative were studied in [14].
It is also worth pointing out that the concepts of fractional derivatives are also modified and further developed to adapt to the new requirements of theory and practice. Up to now, there exist several definitions of the fractional derivative in the literature, each being constructed to satisfy various constraints and to be consistent with physical background and experimental data, among which the most popular ones are the Riemann–Liouville and Caputo fractional derivatives. The integral kernels in the previous two kinds of fractional derivatives are singular, which describe the processes involving memory effects.
The retarded effects in many dynamical processes can also be depicted by using integrals with nonsingular kernels, among which the exponential kernels were used in [15, 16] to capture the temporal memory. Based on the previous considerations, a new fractional derivative with nonsingular kernel was proposed recently by Caputo and Fabrizio in [17, 18], and then the concept of the Atangana–Baleanu derivative with Mittag-Leffler kernel was introduced in [19] and the existence of solutions to some integral equations was discussed in [20, 21].
Moreover, the definition of the conformable fractional derivative was also suggested in [22] such that the chain rule holds for the new derivative, and some results for this type of derivative have been already achieved [23–26].
The Caputo and Fabrizio fractional derivative (CFFD) and the differential equations involving the CFFD have received growing attention. In recent years, a considerable literature has sprung up in the framework of CFFDs. The definition of the CFFD and its properties were deeply explored and further extended in [27–34], among which the definition of the extended CFFD was first introduced in [34]. The well-posedness for the differential systems with the CFFD was well investigated in the published studies [35–42]; among them, the existence of solutions for a coupled system of differential inclusions was discussed in [37] by using some fixed point theorems for the multivalued maps, the existence of solutions and of approximate solutions for some high-order fractional integro-differential equations were completely considered in [38] and [39–41], respectively, by means of fixed point theorems and by virtue of approaches involving α-contractive maps, and the results for the existence and dimension of the set of solutions were obtained in [42] for the second fractional integro-differential inclusion problem with the extended CFFD. And more importantly, the differential equations involving the CFFD have found a wide range of applications [43–49].
For the above-mentioned equations involving the CFFD, relatively speaking, there are very few results in the published studies for the separation of solutions and for the stability in the Lyapunov sense, and in the context of Caputo factional derivatives, the former has been considered for the case where the state space is one-dimensional [2, 50–52]; while the latter has been completely discussed in [53–59] by using the Lyapunov second’s method. It is noted that the direct calculation of the fractional derivative of the Lyapunov functions is far from easy, and the method of the convex Lyapunov functions was recently introduced in [60] and then developed in [61, 62], which effectively settles the difficulty.
It is also worth remarking that the Hyers–Ulam stability was discussed in [63–65] for the specific integro-differential equations and advection–reaction diffusion system with the Atangana–Baleanu derivative.
Inspired by results and techniques in the aforementioned papers, in this work we will discuss the qualitative properties and stability of solutions to the initial value problem (IVP) with the extend CFFD. Concretely speaking, the first goal is to investigate the separation of trajectories of solutions to the IVP involving CFFDs as follows:
where \(\mathcal{D}_{a}^{(\alpha)}\) denotes the CFFD of order α (defined below); ω and F are vector-valued functions on \([a, \infty)\) and \(\mathbb{R}^{d+1}\), respectively, and \(F(a,\omega_{a})=0\). The approach employed here depends on the inequality to be established in this work, which is different from any other methods used to discuss the same problems with the Caputo fractional derivative in the existing studies [2, 50–52]. Here the separation of solutions means that the trajectories of solutions with different initial values do not intersect each other.
Based on the previous discussion, under the local Lipschitz condition, we then explore the stability of the zero solution to the system
where f is a vector-valued function on \(\mathbb{R}^{d}\), and \(p(t)\) is a scalar function on \([a,\infty)\) with \(p(a)=0\).
It is also worth remarking that, in the framework of CFFDs and under the local Lipschitz condition, there are no global existence results for the solutions in the published studies due to the restriction of the construction of the integral equations equivalent to the fractional ones under consideration, which causes the difficulty to the discussion of the stability.
To arrive at our second goal, using the comparison principle and the inequality involving the CFFD of convex functions to be established in this work, we follow the idea from [61, 66] by extending the vector fields of fractional nonlinear systems and obtain the criteria for the stability of solutions under the local Lipschitz condition. Moreover, we have also to point out that the discussion of stability of autonomous systems (\(p(t)\equiv1\) in (2)) is trivial (see Remark 4.1 in Sect. 4).
The paper is divided into six parts. The Caputo–Fabrizio fractional derivative and integral are introduced in Sect. 2. We first establish a comparison principle for the CFFDs in Sect. 3, and then obtain an inequality involving CFFDs by which the result for the separation of trajectories of solutions to the IVP (1) for the case of one dimension is derived. We then establish an inequality involving the CFFDs of convex functions in Sect. 4, by which, combined with the comparison principle, we discuss the stability of solutions to the IVP (2). The validity of the main result is illustrated in Sect. 5 by using two examples, and finally, the conclusions are discussed in Sect. 6.
2 Preliminaries
We introduce the Caputo–Fabrizio fractional derivative and integra in this section, and show their basic properties to be used in what follows.
Given a positive integer d, the d-dimensional Euclidean space is denoted by \(\mathbb{R}^{d}\), equipped with the classical norm \(|\cdot|\). Let \(J_{a}\) be a left-closed interval with the left endpoint a and Ω be a connected open subset of \(\mathbb{R}^{d}\), and denote by \(C(J_{a},\varOmega)\) the space of all continuous functions from \(J_{a}\) into Ω. The gradient vector of a function V on \(\mathbb{R}^{d}\) is denoted by ∇V.
Moreover, unless otherwise specified, it is always assumed that the exponent α is in the interval \((0,1)\) throughout this work.
Given an absolutely continuous function ω in the interval \([a,b]\), the Caputo–Fabrizio fractional derivative of order α is defined [17, 18] by
Here the function \(e_{\alpha}(\cdot)\) is defined by
Using the results obtained by integration by parts on the right-hand side of (3), we next give the weak version of the CFFD, denoted by \(\mathcal{D}_{a}^{(\alpha)}\), without requirement for the smoothness of functions.
Definition 2.1
([34])
Letting ω be in \(C(J_{a},\mathbb{R})\), the Caputo–Fabrizio fractional derivative of order α is defined by
Remark 2.1
and \(\mathcal{D}_{a}^{(\alpha)} \omega(a) = 0\).
Definition 2.2
Letting ω be in \(C(J_{a},\mathbb{R})\), the Caputo–Fabrizio fractional integral of order α is defined by
Remark 2.2
Here our definition of the fractional integral is slightly different from those in [27, 33], by which a harmonic connection between \(\mathcal{D}_{a}^{(\alpha)} \mathcal{I}_{a}^{(\alpha)}\) and \(\mathcal{I}_{a}^{(\alpha)} \mathcal{D}_{a}^{(\alpha)}\) is established.
Lemma 2.1
Ifωbelongs to\(C(J_{a},\mathbb{R})\), then\(\mathcal{D}_{a}^{(\alpha)} \mathcal{I}_{a}^{(\alpha)} \omega(t) = \omega(t)-\omega(a) \)and\(\mathcal{I}_{a}^{(\alpha)} \mathcal{D}_{a}^{(\alpha)} \omega(t) = \omega(t)-\omega(a)\).
Proof
Letting \(\beta=\frac{\alpha}{1-\alpha}\) and using Remark 2.1 and Definition 2.2, a direct calculation yields
and
The assertions are thus verified. □
For a vector-valued function \(\omega(t) = (\omega_{1}(t),\omega_{2}(t) ,\dots,\omega_{d}(t))^{\top}\), the corresponding Caputo–Fabrizio fractional integral and derivative of order α are defined respectively by
and
The inequality \(\omega(t) \geq0\) on \(J_{a}\) means that \(\omega _{i}(t)\geq0\) for each t in \(J_{a}\) and for \(i=1,2,\dots,d\), and \(\omega(t)>0\) is defined similarly.
3 Comparison principles and separation of trajectories
The following assertion can be directly verified by using Definition 2.2.
Lemma 3.1
Let functionsωandυbelong to\(C(J_{a},\mathbb {R}^{d})\). If\(\omega(t)\leq\upsilon(t)\)on\(J_{a}\)with\(\omega (a)=\upsilon(a)\), then\(\mathcal{I}_{a}^{(\alpha)} \omega(t) \leq \mathcal{I}_{a}^{(\alpha)} \upsilon(t)\)on\(J_{a}\).
Using Lemma 3.1, we next derive a comparison principle, which will play a key role in the discussion of the stability.
Lemma 3.2
Letωandυbelong to\(C(J_{a},\mathbb{R}^{d})\)with\(\omega(a)\leq\upsilon(a)\). If\(\mathcal{D}_{a}^{(\alpha)} \omega(t) \leq\mathcal {D}_{a}^{(\alpha)} \upsilon(t)\)on\(J_{a}\), then\(\omega(t)\leq\upsilon(t)\)on\(J_{a}\).
Proof
The continuities of ω and υ ensure that both \(\mathcal{D}_{a}^{(\alpha)}\omega(t)\) and \(\mathcal{D}_{a}^{(\alpha)} \upsilon(t)\) lie in \(C(J_{a},\mathbb {R}^{d})\). Noting \(\mathcal{D}_{a}^{(\alpha)} \omega(a) = 0 = \mathcal {D}_{a}^{(\alpha)} \upsilon(a) \) and using the inequality for CFFD in the conditions, we infer by Lemma 3.1 that
and hence by Lemma 2.1 that
which is equivalent to
which due to the condition \(\omega(a)\leq\upsilon(a)\) yields the desired result. □
Corollary 3.1
Letωbelong to\(C(J_{a},\mathbb{R}^{d})\). If\(\mathcal{D}_{a}^{(\alpha)} \omega(t) \leq0\)on\(J_{a}\), then\(\omega(t) \leq\omega(a)\)on\(J_{a}\).
An important inequality is next established to be used to discuss the separation of trajectories of solutions to IVPs.
Lemma 3.3
Let a functionχbelong to\(C(J_{a},\mathbb{R}^{d})\). If\(\chi(t)< 0\)on the subinterval\([a,t_{1})\)of\(J_{a}\)with\(\chi (t_{1})=0\), then\(\mathcal{D}_{a}^{(\alpha)} \chi(t_{1}) >0\).
Proof
From Definition 2.1 and the condition \(\chi(t_{1})=0\), it follows that
This, together with the assumption \(\chi(t)<0\) on \([a,t_{1})\), verifies the desired assertion. □
Remark 3.1
The preceding inequality is strict, which plays a central role in the investigation on the separation of trajectories.
Before starting with the discussion of the separation of trajectories, we here have to consider the existence of solutions.
Definition 3.1
A function ω from the interval \(J_{a}\) into \(\mathbb{R}^{d}\) is called a solution to the IVP (1) if it belongs to \(C(J_{a},\mathbb{R}^{d})\) and solves the first equation in (1) on \(J_{a}\) with \(\omega(a)=\omega_{a}\).
Lemma 3.4
Let\(F:J_{a}\times{\mathbb{R}}^{d}\mapsto{\mathbb{R}}^{d}\)be a continuous function with\(F(a,\omega_{a})=0\). Then a functionωin\(C(J_{a},\mathbb{R}^{d})\)is a solution to the problem (1) if and only if it is a solution in\(C(J_{a},\mathbb{R}^{d})\)to the integral equation
Lemma3.4is easily verified by using Definitions2.1and2.2and Lemma2.1.
Remark 3.2
If the fractional derivative in problem (1) is replaced by that in (3), then the equivalence in Lemma 3.4 does not hold generally any more.
Theorem 3.1
Let\(F:[a,\infty)\times{\mathbb{R}}^{d}\mapsto{\mathbb{R}}^{d}\)be a continuous function with\(F(a,\omega_{a})=0\). IfFis Lipschitz on\({\mathbb{R}}^{d}\)with respect to the state variables with the Lipschitz constantLand if\(2L(1-\alpha)<1\), then there exists a unique solution to problem (1) defined on\([a,\infty)\).
Proof
The inequality \(2L(1-\alpha)<1\) ensures that we can choose a positive number \(\mu>\alpha L[1-2(1-\alpha)L]^{-1}\). Let \(T>a\) and for each ω in \(C([a,T],{\mathbb{R}}^{d})\) define
And then \(C([a,T],{\mathbb{R}}^{d})\) becomes a Banach space equipped with the norm \(\|\cdot\|_{\mu}\).
Define the operator \(\mathcal{A}:C([a,T],{\mathbb{R}}^{d})\mapsto C([a,T],{\mathbb{R}}^{d})\) as follows:
And then, using the Lipschitz condition, we obtain the following estimate:
Multiplying both sides of the above inequality by \(\exp(-\mu t)\) yields
which implies that \(\mathcal{A}\) is a contraction because of \(L(2(1-\alpha) + \alpha\mu^{-1})<1\). It follows from the Banach fixed point theorem that the operator has a unique fixed point in \(C([a,T],{\mathbb{R}}^{d})\), and Lemma 3.4 ensures that this fixed point is the unique solution to problem (1). Finally, the solution is clearly defined on \(\mathbb{R}^{+}\) due to arbitrariness of choice of T. The proof is complete. □
By using Lemma 3.3 and Theorem 3.1, we now present a result for the separation of trajectories of the solutions to IVP (1) for the case where the dimension \(d=1\).
Theorem 3.2
(Separation of trajectories)
Let the dimension\(d=1\). IfFsatisfies the conditions in Theorem3.1except that\(F(a,\omega_{a})=0\)is replaced by\(F(a,\omega )=0\)for anyωin\({\mathbb{R}}\), then the trajectories of any two solutions with different initial values at\(t=a\)to the equation in (1) do not intersect on\({\mathbb{R}}^{+}\).
Proof
Let \(\omega_{1a}\) and \(\omega_{2a}\) be different initial values with \(\omega_{1a}<\omega_{2a}\), then, according to Theorem 3.1, the corresponding solutions to the equation in (1), denoted by \(\omega_{1}(t)\) and \(\omega _{2}(t)\), respectively, are defined on \(\mathbb{R}^{+}\).
Now suppose that the assertion of the theorem is false, and then, the inequality \(\omega_{1a}<\omega_{2a}\) and the continuity of the solutions ensure that there exists a positive number \(t_{1}\) such that, for each t in the interval \([a,t_{1})\),
for which \(\omega_{1}(t_{1})=\omega_{2}(t_{1})\); letting \(\chi(t)=\omega _{1}(t)-\omega_{2}(t)\), we thus derive by Lemma 3.3 the inequality \(\mathcal{D}_{a}^{(\alpha)}\chi(t_{1})>0\).
On the other hand, the relation \(\omega_{1}(t_{1})=\omega_{2}(t_{1})\) implies
This yields \(\mathcal{D}_{a}^{(\alpha)}\chi(t_{1})=0\), which contradicts the preceding inequality \(\mathcal{D}_{a}^{(\alpha)}\chi(t_{1})>0\). Thus, the proof is complete. □
Remark 3.3
Just as pointed out in Remark 3.1, the strict inequality in Lemma 3.3 leads here to a concise proof of the separation of trajectories, and the approach here employed is different from any other methods used to discuss the same problems with the Caputo fractional derivative in the existing studies [2, 50–52].
4 Convex Lyapunov functions and stability
We explore in this section the stability of the solutions to the IVP (2).
Definition 4.1
The zero solution of the equation in (2) is stable if, for any \(\epsilon>0\), there is a positive number δ such that if \(|\omega_{a}|<\delta\), then, for the solution \(\omega(t,\omega_{a})\) of (2), we have \(|\omega(t,\omega_{a})|<\epsilon\) for all \(t\geq a\).
Remark 4.1
The discussion for the stability of autonomous systems is trivial.
To see this, let \(p(t)\equiv1\) in (2), and then the system (2) becomes autonomous. Let ω be in \(C(J_{a},\mathbb{R}^{d})\), then \(\mathcal{D}_{a}^{(\alpha)}\omega(t)\) belongs also to \(C(J_{a},\mathbb{R}^{d})\) with \(\mathcal{D}_{t}^{(\alpha)}\omega(a)=0\), which forces \(f(\omega _{a})=0\), and thus \(\omega(t)\equiv\omega_{a}\) is the unique solution to (2). Accordingly, in order to discuss the stability of system (2) with \(p(t)\equiv1\), it must hold that \(f(\omega)\equiv0\) whenever \(|\omega|<\delta\) for some \(\delta>0\), which obviously is trivial.
Definition 4.2
([67])
A continuous function \(\kappa:\mathbb{R}^{+}\mapsto\mathbb{R}^{+}\) is said to belong to class \(\mathcal{K}\) if it is strictly increasing and \(\kappa(0)=0\). For such a function, we shall usually write \(\kappa\in\mathcal{K}\).
Lemma 4.1
(Kirszbraun’s theorem, [68])
If\(S\subset\mathbb{R}^{m}\)and\(f:S\mapsto\mathbb{R}^{n}\)is Lipschitz, thenfhas a Lipschitz extension\(f_{E}:\mathbb{R}^{m}\mapsto \mathbb{R}^{n}\)with\(\operatorname{Lip}(f_{E})=\operatorname{Lip}(f)\).
Given a positive number r, define the subsets \(\mathcal{S}(r)\) of \(\mathbb{R}^{d}\) by
We now are in a position to present an important inequality involving the CFFD of composition function in this work.
Lemma 4.2
Let\(V:\mathcal{S}(r)\mapsto\mathbb{R}\)be a continuously differentiable and convex function. Then for any functionωin\(C(J_{a},\mathcal{S}(r))\), the inequality
holds on\(J_{a}\). Here and in what follows, the dot ⋅ denotes an inner product on\(\mathbb{R}^{d}\).
Proof
The continuity of V and ω ensures that both \(\mathcal {D}_{a}^{(\alpha)}V(\omega(t))\) and \(\mathcal{D}_{a}^{(\alpha )}\omega(t)\) exist on \(J_{a}\). Let \(\psi(t,\tau)=V(\omega(t))-V(\omega(\tau))\), and then the differentiability and convexity of V imply that [69]
Using Definition 2.1, by the inequality just derived, we deduce the following estimate:
which verifies the desired inequality. □
In order to discuss the stability of solutions to problem (2), let \(\mathcal{S}(r)\) be defined as in Sect. 4 and we further impose several assumptions on the functions in (2):
- (A1)
\(p(\cdot)\) is a nonnegative and continuous real-valued function bounded on \(\mathbb{R}^{+}\) and \(p(a)=0\).
- (A2)
\(f(\cdot):\mathcal{S}(r)\mapsto\mathbb{R}^{d}\) is a continuous function with \(f(0)=0\) and satisfies on \(\mathcal{S}(r)\) the Lipschitz condition with \(2L(1-\alpha)\sup{p(t)}<1\).
We now present a result for the stability of solutions by using convex Lyapunov functions.
Theorem 4.1
Let conditions (A1) and (A2) be satisfied. If there exists a real-valued function\(V(\omega)\)which is continuously differentiable and convex on\(\mathcal{S}(r)\)with\(V(0)=0\)such that
for some class-\(\mathcal{K}\)functionκand
on\(\mathcal{S}(r)\), then the zero solution of problem (2) is stable.
Proof
Given a positive number r, choose an arbitrary positive number ε in the interval \((0,r)\). And then it follows from the continuity of \(V(\omega)\) and \(V(0)=0\) that there exists a positive number \(\delta<\varepsilon\) such that for any \(\omega_{a}\) in \(\mathcal{S}(\delta)\),
Using condition (A2), we infer by Lemma 4.1 that f has a Lipschitz extension \(f_{E}:\mathbb{R}^{d}\mapsto\mathbb{R}^{d}\) with \(\operatorname {Lip}(f_{E})=\operatorname{Lip}(f)\) and \(f_{E}=f\) on \(\mathcal{S}(r)\), and using the function \(f_{E}\) just obtained and the initial data \(\omega _{a}\) previously chosen, construct an IVP as follows:
and then it follows from Theorem 3.1 that there is a unique solution to the IVP (7), denoted by \(\bar{\omega }(t,\omega_{a}) \) and defined on \(\mathbb{R}^{+}\), and we further claim that it is also the unique solution to the IVP (2) defined on \(\mathbb{R}^{+}\). To this end, we first verify that the inequality
holds on \(\mathbb{R}^{+}\).
Now suppose that, contrary to our assertion, the inequality is false, and then, from the condition \(|\bar{\omega}(a,\omega_{a})|=|\omega _{a}|<\delta<\varepsilon\) and the continuity of the solution \(\bar{\omega}(t,\omega_{a})\), it follows that there exists a positive number \(t_{1}>0\) such that for each t in the interval \([a,t_{1})\),
with \(|\bar{\omega}(t_{1},\omega_{a})|=\varepsilon\), and observing \(\varepsilon< r\), it follows from the inequality in (9) and the condition \(\kappa(|\omega|)\leq V(\omega)\) in \(\mathcal{S}(r)\) that
Also, by the inequality in (9) and the second inequality in the conditions, we deduce that for each t in the interval \([a,t_{1})\),
Due to the differentiability and convexity of the function V, Lemma 4.2 and the preceding inequality imply that for each t in the interval \([a,t_{1})\),
which by Corollary 3.1 yields
Combined with the inequalities in (8)–(11), the chain of inequalities are derived as follows:
and for \(t=t_{1}\), in particular,
and this obvious contradiction verifies the previous assertion that the inequality in (8) holds on \(\mathbb{R}^{+}\).
The inequality in (8) obviously implies that for each t in \(\mathbb{R}^{+}\), \(\bar{\omega}(t,\omega_{a})\) lies in \(\mathcal{S}(r)\) from which we get
and thus
Therefore, the function \(\bar{\omega}(t,\omega_{a})\) is also a unique solution to the IVP (1) defined on \(\mathbb{R}^{+}\).
Again, using the inequality in (8), the stability is consequently verified. □
Remark 4.2
([67])
The condition that \(\kappa(|\omega|)\leq V(\omega)\) on \(\mathcal{S}(r)\) for some κ in \(\mathcal{K}\) with \(V(0)=0\) is equivalent to \(V(\omega)>0\) for ω in \(\bar{\mathcal{S}}(r)\) with \(\omega \neq0\) and \(V(0)=0\). And \(V(\omega)\) is said to be positive definite on \(\mathcal{S}(r)\).
5 Illustrative examples
(I) Consider the following system of equations:
If \(\alpha>\frac{7}{8}\), then the zero solution is stable.
Indeed, let \(\omega=(\omega_{1},\omega_{2})^{\top}\), \(\mathcal{S}(\frac {1}{4})=\{(\omega_{1},\omega_{2})| \omega_{1}^{2}+\omega_{2}^{2}<\frac{1}{4}\} \), \(f(\omega)=(\omega_{2},-\frac{\omega_{1}}{1+\omega_{1}})^{\top}\), and \(p(t)=1-\exp(-t)\). Then \(f(\omega)\) is Lipschitz in \(\mathcal{S}(\frac{1}{4})\) with the Lipschitz constant \(L=4\), and it is obvious that \(2L(1-\alpha)\sup {p(t)}=8(1-\alpha)<1\). Let \(V(\omega)=\frac{1}{2}\omega_{2}^{2}+\omega _{1}-\ln(1+\omega_{1})\). Then, the Lyapunov function V is clearly positive definite on \(\mathcal{S}(\frac{1}{4})\), and, moreover, it is also convex on \(\mathcal{S}(\frac{1}{4})\) since its Hessian matrix
is positive definite. Furthermore, a routine computation implies that
Thus all conditions in Theorem 4.1 are satisfied and therefore the desired assertion follows.
(II) Consider the scalar equation as follows:
The zero solution of the above equation is stable for each \(\alpha\in(0,~1)\).
To see this, set \(p(t)=1-\cos^{2} t\), \(f(\omega)=-\omega^{3}\). Obviously, function f does not satisfy the global Lipschitz condition on \(\mathbb{R}\). It satisfies the Lipschitz condition in \(\mathcal {S}(\frac{1}{4})=(-\frac{1}{4},\frac{1}{4})\) with \(L=\frac{3}{16}\), and thus it is easy to check \(2L(1-\alpha)\sup{p(t)}=\frac {3}{8}(1-\alpha)<1\) for each \(\alpha\in(0,1)\). Now, let \(V(\omega )=\omega^{2}\). The function V is obviously positive definite on \(\mathcal{S}(\frac{1}{4})\) and satisfies the inequality \(\nabla V(\omega)\cdot f(\omega)=-2\omega^{4}\leq0\). The corresponding conditions in Theorem 4.1 are thus verified and consequently, the zero solution is stable for each \(\alpha\in(0,1)\).
6 Conclusions
The CFFD was introduced in 2015. Up to now, many results for the theory of differential equations with the CFFD have been obtained, and these equations have also found a large spectrum of applications. But very little has been published on the subject of the separation and Lyapunov stability of solutions to nonlinear systems involving CFFD.
In this work, using the techniques of inequalities we derived a sufficient condition for the separation of solutions to the specific nonlinear equation, and by establishing the inequality for the convex functions, we successfully generalized the method of convex Lyapunov functions to the context of the CFFD and set up the criteria for the stability in the Lyapunov sense for the nonlinear system with the CFFD.
We believe that the inequalities established in this work are also significant on their own. It is expected that the inequality in Lemma 3.3 might be used to further explore the comparison principles, and that in Lemma 4.2 might be utilized to investigate maximum principles for some partial differential equations involving the CFFD.
It is easy to check the validity of the results obtained in this work, and, moreover, it remains to further explore whether or not the results and approaches here can be extended to the systems involving the Mittag-Leffler kernel.
References
Metezler, R., Klafter, J.: The random walk’s guide to anomalous diffusion: a fraction dynamics approach. Phys. Rep. 323, 1–77 (2000)
Diethelm, K.: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics, vol. 2004. Springer, Berlin (2010)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integral and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)
Lundstrom, B.N., Higgs, M.H., Spain, W.J., Fairhall, A.L.: Fractional differentiation by neocortical pyramidal neurons. Nat. Neurosci. 11, 1335–1342 (2008)
West, B.J.: Colloquium: fractional calculus view of complexity: a tutorial. Rev. Mod. Phys. 86, 1169–1184 (2014)
Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. 371, Article ID 20120144 (2013)
Baleanu, D., Etemad, S., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ. 2019, Article ID 473 (2019)
Akbari Kojabad, E., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, Article ID 351 (2017)
Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, Article ID 135 (2018)
Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three step crisis integro-differential equation. Adv. Differ. Equ. 2019, Article ID 153 (2019)
Talaee, M., Shabibi, M., Gilani, A., Rezapour, S.: On the existence of solutions for a point-wise defined multi-singular integro-differential equation with integral boundary condition. Adv. Differ. Equ. 2020, Article ID 41 (2020)
Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015)
Ravichandran, C., Valliammal, N., Nieto, J.J.: New results on exact controllability of a class of fractional neutral integrodifferential systems with state dependent delay in Banach spaces. J. Franklin Inst. 356, 1535–1565 (2019)
Belmor, S., Ravichandran, C., Jarad, F.: Nonlinear generalized fractional differential equations with generalized fractional integral conditions. J. Taibah Univ. Sci. 14, 114–123 (2020)
Stanislavsky, A., Weron, K.: Two-time scale subordination in physical processes with long-term memory. Ann. Phys. 339, 643–653 (2008)
Harko, T., Leung, S.L., Mocanu, G.: Generalized Langevin equation with colored noise description of the stochastic oscillations of accretion disks. Eur. Phys. J. C 74, Article ID 2900 (2014). https://doi.org/10.1140/epjc/s10052-014-2900-9
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 2, 73–75 (2015)
Caputo, M., Fabrizio, M.: Applications of new time and spatial fractional derivatives with exponential kernels. Prog. Fract. Differ. Appl. 2, 1–11 (2016)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 2, 763–769 (2016)
Logeswari, K., Ravichandran, C.: A new exploration on existence of fractional neutral integro-differential equations in the concept of Atangana–Baleanu derivative. Physica A 544, Article ID 123454 (2020)
Panda, S.K., Abdeljawad, T., Ravichandran, C.: Novel fixed point approach to Atangana–Baleanu fractional and \(L_{p}\)-Fredholm integral equation. Alex. Eng. J. (2020). https://doi.org/10.1016/j.aej.2019.12.027
Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2015)
Abdeljawad, T., Alzabut, J., Jarad, F.: A generalized Lyapunov-type inequality in the frame of conformable derivatives. Adv. Differ. Equ. 2017, Article ID 321 (2017)
Zhong, W.Y., Wang, L.F.: Basic theory of initial value problems of conformable fractional differential equations. Adv. Differ. Equ. 2018, Article ID 321 (2018)
Zhong, W.Y., Wang, L.F.: Positive solutions of conformable fractional differential equations with integral boundary conditions. Bound. Value Probl. 2018, Article ID 137 (2018)
Atangana, A.: On the new fractional derivative and application to nonlinear Fisher’s reaction–diffusion equation. Appl. Math. Comput. 273, 948–956 (2016)
Zhao, D.Z., Luo, M.K.: Representations of acting processes and memory effects: general fractional derivative and its application to theory of heat conduction with finite wave speeds. Appl. Math. Comput. 346, 531–544 (2019)
Atanackovic, T.M., Marko, J.M., Pilipovic, S.: Wave equation in fractional Zener-type viscoelastic media involving Caputo–Fabrizio fractional derivatives. Meccanica 54, 155–167 (2019)
Gomez-Aguilar, J.F., Lopez-Lopez, M.G., Alvarado-Martinez, V.M., Reyes-Reyes, J., Adam-Medinab, M.: Modeling diffusive transport with a fractional derivative without singular kernel. Physica A 447, 467–481 (2016)
Loh, J.R., Isah, A., Phang, C., Toh, Y.T.: On the new properties of Caputo–Fabrizio operator and its application in deriving shifted Legendre operational matrix. Appl. Numer. Math. 132, 138–153 (2018)
Yepez-Martinez, H., Gomez-Aguilar, J.F.: A new modified definition of Caputo–Fabrizio fractional-order derivative and their applications to the multi step homotopy analysis method (MHAM). J. Comput. Appl. Math. 346, 247–260 (2019)
Losada, J., Nieto, J.J.: Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 2, 87–89 (2015)
Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq\sigma< 1\) on \(C_{\mathbb{R}}[0, 1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 218, Article ID 255 (2018)
Mozyrska, D., Torres, D.F.M., Wyrwas, M.: Solutions of systems with the Caputo–Fabrizio fractional delta derivative on time scales. Nonlinear Anal. Hybrid Syst. 32, 168–176 (2019)
Mirza, I.A., Vieru, D.: Fundamental solutions to advection–diffusion equation with time-fractional Caputo–Fabrizio derivative. Comput. Math. Appl. 73, 1–10 (2017)
Alsaedi, A., Baleanu, D., Etemad, S., Rezapour, S.: On coupled systems of time-fractional differential problems by using a new fractional derivative. J. Funct. Spaces 2016, Article ID 4626940 (2016). https://doi.org/10.1155/2016/4626940
Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, Article ID 90 (2018)
Baleanu, D., Mousalou, A., Shahram Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017, Article ID 51 (2017)
Baleanu, D., Mousalou, A., Shahram Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, Article ID 145 (2017)
Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, Article ID 221 (2017)
Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, Article ID 79 (2019)
Caputo, M., Fabrizio, M.: On the notion of fractional derivative and applications to the hysteresis phenomena. Meccanica 52, 3043–3052 (2017)
Morales-Delgado, V.F., Gomez-Aguilar, J.F., Saad, K., Jimenez, R.F.E.: Application of the Caputo–Fabrizio and Atangana–Baleanu fractional derivatives to mathematical model of cancer chemotherapy effect. Math. Methods Appl. Sci. 42, 1167–1193 (2019)
Rangaig, N.A., Convicto, V.C.: On fractional modelling of dye removal using fractional derivative with non-singular kernel. J. King Saud Univ., Sci. 31, 525–527 (2019)
Abro, K.A., Memon, A.A., Abro, S.H., Khan, I., Tlili, I.: Enhancement of heat transfer rate of solar energy via rotating Jeffrey nanofluids using Caputo–Fabrizio fractional operator: an application to solar energy. Energy Rep. 5, 41–49 (2019)
Atangana, A., Alkahtani, B.S.T.: New model of groundwater flowing within a confine aquifer: application of Caputo–Fabrizio derivative. Arab. J. Geosci. 9, Article ID 8 (2016)
Ullah, S., Khan, M.A., Farooq, M.: A new fractional model for the dynamics of the hepatitis B virus using the Caputo–Fabrizio derivative. Eur. Phys. J. Plus 133, Article ID 237 (2018)
Dokuyucu, M.A., Celik, E., Bulut, H., Baskonus, H.M.: Cancer treatment model with the Caputo–Fabrizio fractional derivative. Eur. Phys. J. Plus 133, Article ID 92 (2018)
Cong, M.D., Tuan, H.T.: Generation of nonlocal fractional dynamical systems by fractional differential equations. J. Integral Equ. Appl. 29, 585–608 (2017)
Diethelm, K.: On the separation of solutions of fractional differential equations. Fract. Calc. Appl. Anal. 11, 259–268 (2008)
Diethelm, K., Ford, N.J.: Volterra integral equations and fractional calculus: do neighboring solutions intersect? J. Integral Equ. Appl. 24, 25–37 (2012)
Li, C.P., Zhang, F.R.: A survey on the stability of fractional differential equations. Eur. Phys. J. Spec. Top. 193, 27–47 (2011)
Li, Y., Chen, Y.Q., Podlubny, I.: Mittag-Leffler stability of fractional order nonlinear dynamic systems. Automatica 45, 1965–1969 (2009)
Li, Y., Chen, Y.Q., Podlubny, I.: Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability. Comput. Math. Appl. 59, 1810–1821 (2010)
Choi, S.K., Koo, N.: The monotonic property and stability of solutions of fractional differential equations. Nonlinear Anal. 74, 6530–6536 (2011)
Devi, J.V., Mc Rae, F.A., Drici, Z.: Variational Lyapunov method for fractional differential equations. Comput. Math. Appl. 64, 2982–2989 (2012)
Agarwal, R.P., O’Regan, D., Hristova, S.: Stability with initial time difference of Caputo fractional differential equations by Lyapunov functions. Z. Anal. Anwend. 36, 49–77 (2017)
Aguila-Camacho, N., Duarte-Mermoud, M.A., Gallegos, J.A.: Lyapunov functions for fractional order systems. Commun. Nonlinear Sci. Numer. Simul. 19, 2951–2957 (2014)
Chen, W., Dai, H., Song, Y., Zhang, Z.: Convex Lyapunov functions for stability analysis of fractional order systems. IET Control Theory Appl. 11, 1070–1074 (2018)
Tuan, H.T., Hieu, T.: Stability of fractional-order nonlinear systems by Lyapunov direct method. IET Control Theory Appl. 12, 2417–2422 (2018)
Gomoyunov, M.I.: Fractional derivatives of convex Lyapunov functions and control problems in fractional order systems. Fract. Calc. Appl. Anal. 21, 1238–1261 (2017)
Ravichandran, C., Logeswari, K., Jarad, F.: New results on existence in the framework of Atangana–Baleanu derivative for fractional integro-differential equations. Chaos Solitons Fractals 125, 194–200 (2019)
Khan, H., Gómez-Aguilar, J.F., Khan, A., Khan, T.S.: Stability analysis for fractional order advection–reaction diffusion system. Physica A 521, 737–751 (2019)
Khan, H., Li, Y.J., Khan, A., Aziz, K.: Existence of solution for a fractional-order Lotka–Volterra reaction–diffusion model with Mittag-Leffler kernel. Math. Methods Appl. Sci. 42, 3377–3387 (2019)
Yoshizawa, T.: Stability Theory by Liapunov’s Second Method. Gakujutsutosho Printing Co., Ltd., Tokyo (1966)
Rouche, N., Habets, P., Laloy, M.: Stability Theory by Liapunov’s Direct Method. Springer, New York (1977)
Federer, H.: Geometric Measure Theory. Springer, New York (1969)
Holmes, R.B.: Geometric Functional Analysis and Its Applications. Springer, New York (1975)
Acknowledgements
The authors are grateful to the referees for carefully reading the paper and for their comments and suggestions.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
The paper is supported by the Natural Science Foundation of Hunan Province of China (Grant no. 11JJ3007).
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
Zhong, W., Wang, L. & Abdeljawad, T. Separation and stability of solutions to nonlinear systems involving Caputo–Fabrizio derivatives. Adv Differ Equ 2020, 166 (2020). https://doi.org/10.1186/s13662-020-02632-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02632-x