- Research
- Open Access
- Published:

# Separation and stability of solutions to nonlinear systems involving Caputo–Fabrizio derivatives

*Advances in Difference Equations*
**volume 2020**, Article number: 166 (2020)

## 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.

## 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 *CFFD*s. 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 *CFFD*s 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 *CFFD*s 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 *CFFD*s in Sect. 3, and then obtain an inequality involving *CFFD*s 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 *CFFD*s 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.

## 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.

## 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*

*Lemma*3.4*is easily verified by using Definitions*2.1*and*2.2*and Lemma*2.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\). *If**F**is Lipschitz on*\({\mathbb{R}}^{d}\)*with respect to the state variables with the Lipschitz constant**L**and 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\). *If**F**satisfies the conditions in Theorem*3.1*except 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].

## 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*, *then**f**has 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)\).

## 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)\).

## 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-9Caputo, 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/4626940Aydogan, 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

### Keywords

- Caputo–Fabrizio derivatives
- Nonlinear systems
- Stability
- Separation of solutions
- Convex Lyapunov functions