1. Introduction
Fractional calculus is attracting more and more researchers in applied sciences and engineering because of many advantages of fractional derivatives which provide important tools in modelling natural phenomena, see, e.g., [1] [2]. There are different types of fractional derivatives, those of Riemann-Liouville and Caputo are the most popular in the literature [3] [4] [5] [6].
In their recent work, Caputo and Fabrizio [7] introduced a new fractional order derivative with a nonsingular kernel, hereinafter called the fractional Caputo-Fabrizio (CF) derivative. This new fractional derivative is less affected by the past compared to the Caputo fractional derivative, which may exhibit slow stabilization [8]. The properties and numerical aspects of the CF derivative and their corresponding fractional integrals have been studied in [9] - [15]. In this paper, we are interested in linear and interval linear fractional-order neutral delay differential equations described by the CF derivative. Recently, a great attention has been paid to fractional delay differential systems. One of the most important research topics of the theory of such systems is the stability analysis. However, in the literature cited above, there are only few results (see, e.g., [8] [16] ) on this topic. In [17] the authors study the stability analysis of linear fractional-order ordinary differential equations described by the CF derivative, whereas the authors of [18] consider the stability analysis of linear fractional-order systems with time delay, establish a characteristic equation using the Laplace transform and provide some brief sufficient stability conditions. In [19] the authors consider the asymptotic stability for uncertain singular neutral delay systems and in [20] [21] [22] the authors study the stability analysis of interval linear fractional ordinary differential systems, interval linear fractional neutral differential systems described by the Caputo derivative and interval linear fractional neutral differential-algebraic systems described by the Caputo derivative, respectively. While being different, we extend the analysis carried out in the above cited references. We apply a spectrum based approach to establish asymptotic stability criteria for fractional-order neutral delay differential systems and the novelty of this work lies in the following aspects. Firstly, the CF definition of the fractional derivative is applied to analyze linear and interval linear fractional-order differential systems including neutral time delay. Secondly, by using the Laplace transform, we establish a novel characteristic equation. Thirdly, we apply an algebraic approach to establish sufficient asymptotic stability criteria ensuring that all the roots of characteristic equation lie in open left half of the complex plane. Fourthly, we present sufficient norm criteria to ensure the asymptotic stability of such systems. A nice consequence is that these stability criteria avoid solving the characteristic (transcendental) equation.
The rest of the paper is organized as follows: In Section 2 we formulate the problem and introduce the notation that will be used throughout the paper. In Section 3 we establish the main results for the asymptotic stability criteria for linear and interval linear fractional neutral delay differential equations. Finally, some concluding remarks are given in Section 4.
2. Problem Formulation and Notation
We consider linear fractional-order neutral delay differential systems of the form
(1)
where , is a real vector of size n (the state vector); A, B and C are real matrices; is a positive parameter (the time delay) and is a consistent initial function. The notation stands for Caputo–Fabrizio fractional order derivative of order of z(t) defined by (see [7] )
We study two cases. In the first case the matrices A, B, and C are constant and in the second case they are interval matrices, that is
(2a)
(2b)
(2c)
where and are given. The equations associated with the constant and interval cases will be denoted respectively by (LFNDDE) and (ILFNDDE). When a property applies equally to both cases (as in Definition 1 for example), the corresponding system will simply be referred to as system (1).
The following notation will be used throughout the paper. For a square complex matrix X,
denotes conjugate transpose of X,
denotes the determinant of X,
denotes the spectral radius of X,
denotes the spectral norm of X;
, where
is the largest eigenvalue,
(if X is Hermitian, that is, if )
denotes the logarithmic norm ofX;
, where is the largest eigenvalue,
(if X is Hermitian, that is, if )
If , we set . If and , the inequality means that for .
The following inequalities, which will be used in the sequel, can be found in the literature, see, e.g., [23]. If and with , then
for any eigenvalue of U,
3. Main Results
Applying the Laplace transform to (1), we obtain
where is the Laplace transform of for , defined by
This leads after rearrangement to
(3)
where
.
The characteristic equation of (1) is defined by
(4)
As we will see, it plays an important role in the stability analysis of system (1).
Definition 1. The zero solution of system (1) is said to be asymptotically stable if for any consistent its analytic solution satisfies for any delay parameter .
From Definition 1 we obtain the following theorem whose proof is similar to that given in [24].
Theorem 1. System (1) is asymptotically stable if the roots of the characteristic equation (4) lie in the open left half of the complex plane and are uniformly bounded away from the imaginary axis.
Next, several sufficient conditions of stability of system (1) are given.
Lemma 1. If the family of matrices defined in (LFNDDE) satisfies the conditions
(C1) , for ,
(C2)
Then, for all such that
(C3)
Proof. To simplify the notation, let us denote by
The condition (C2) can then be written
.
We have
The condition (C1) ensures that is nonsingular and the condition (C2) ensures that and hence is nonsingular. Therefore, (C3) is satisfied.
Remark 1. Note that the condition (C3) is a transcendental inequality, which is difficult to solve. The sufficient conditions in Lemma 1 avoid this difficulty. Since the spectral radius of a matrix is always less than or equal to any induced norm of the matrix, Lemma 1 remains valid under the conditions (C1) and
( )
Now sufficient conditions for asymptotic stability of system (1) are given in the following theorem.
Theorem 2. If the family of matrices defined in (LFNDDE) satisfies the conditions (C1) and (C2), then the system (1) is asymptotically stable for all values of the delay .
Proof. By Lemma 1, if the conditions (C1) and (C2) are satisfied, then the condition (C3) holds. This implies that for any root of the characteristic equation (4). We need to prove that the roots remain bound away from the imaginary axis. Suppose the contrary. Then there exists a sequence of roots ( ) of the characteristic equation where and as . As in the proof of Lemma 1, we use the notation
Since any eigenvalue is a continuous function of s for , similar to [25] and from the condition (C2), there exists such that
Hence,
(5)
For sufficiently large m there exists a positive constant ( ) and a characteristic root such that is sufficiently small, and
(6)
Then it follows from (5) and (6) that for large m and for
That is, for and as we obtain , which contradicts the assumption that ( ) is a sequence of roots of the characteristic equation.
Lemma 2. Let be the family of matrices defined in (LFNDDE) and satisfying (C1). Assume that is nonsingular and define the matrices
.
If
for and , (7)
then the following equality holds for and
(8)
Proof. Note first that there is a z satisfying (7). Indeed such a z is given by and since and , it is easy to check that .
A simple algebraic manipulation yields
where . Note that the condition (C1) ensures that is nonsingular.
Likewise, we have
Combining the expressions of and above leads to the desired result.
In view of Theorem 2 and Lemma 2, we obtain the following
Theorem 3. If the family of matrices defined in (LFNDDE) satisties the assumptions (C1) and
( ) ,
where the matrices F, G and J are defined in Lemma 2, then the system (1) is asymptotically stable for all values of the delay .
Remark 2. Note that Theorem 3 remains valid if the condition for ( ) is replaced by
( ) .
In the following, we give other sufficient conditions ensuring asymptotic stability. For this purpose, we need the following lemma whose proof can be found, for example, in [26].
Lemma 3. For , and ,
,
where and .
Theorem 4. If the family of matrices defined in (LFNDDE) satisfies the following conditions
(H1)
(H2)
where and are defined in Lemma 3, then system (1) is asymptotically stable for all values of the delay .
Proof. First, we show that the characteristic equation (4) has no roots on the closed right half plane. Let s with and . Since
by condition (H1), we deduce that is nonsingular for all s with and
(9)
Let
where
The eigenvalues of and are related by
(10)
Using the formula , the inequality (9), the properties of the logarithmic norm mentioned at the end of Section 2, and Lemma 3, we obtain for all s with
and
Therefore from the condition (H2) it follows that
(11)
In particular, (10) and (11) show that is nonsingular and therefore the roots of the characteristic Equation (4) belong to the open left half of the complex plane. The roots remain uniformly bounded away from the imaginary axis since otherwise for sufficiently small (so that ), there would exist a sequence of roots such that for large m, and
But then
contradicting the assumption that ( ) is a sequence of roots of the characteristic equation.
Now we consider the stability of system (1) in the case (ILFNDDE). From (2) we have
where
Let
(12a)
(12b)
(12c)
Then it is easy to see that
(13)
The following theorem gives sufficient conditions for the stability of (ILFNDDE).
Theorem 5. If the family of matrices defined in (ILFNDDE) satisfies the following conditions
(P1) ,
(P2) , for ,
(P3) ,
where
then system (1) is asymptotically stable for all values of the delay .
Proof. As in the proof of Theorems 2 and 4, we first show that the characteristic Equation (4) has no roots on the closed right half plane. Let s with . Since
by condition (P1), we deduce that is nonsingular for all s with and
(14)
It is straightforward to verify that
where
and that
where
The condition (P2) says that is nonsingular. From (12), (13) and (14) we obtain
where
It follows from the condition (P3) that and hence and are nonsingular. Thus, the roots of the characteristic equation (4) belong to the open left half of the complex plane. The proof that the roots remain bounded away from the imaginary axis is a simple repetition of the proof of Theorem 2.
4. Numerical Examples
Example 1. Consider a system (LFNDDE) with and the matrices
A simple calculation shows that
We deduce form Theorem 4 that the system is asymptotically stable.
Example 2. Consider a system (ILFNDDE) with and the matrices
Then
We verify that
· The eigenvalues of are equal to 0.2 and 0.3. Hence, the condition (P1) is satisfied.
· The equation has the unique solution . Hence, the condition (P2) is satisfied. So that exists and
,
,
where is a matrix formed by taking maximum magnitude of each element of for .
· For condition (P3), The matrix K is given by
We have
So that . For we have
and the eigenvalues of are equal to 0.5 and 0.85. Hence
We deduce form Theorem 5 that the system is asymptotically stable.
5. Conclusion
This paper is concerned with the asymptotic stability of linear fractional-order neutral differential delay systems described by the Caputo-Fabrizio derivative. The systems matrices can be constant or interval matrices. Using the Laplace transform, we have derived a new characteristic equation for such systems. This characteristic equation, though interesting in theory, involves a transcendental term which makes it difficult to use in practice and in particular to study the asymptotic stability of such systems. To overcome this difficulty, sufficient algebraic criteria have been given to ensure the asymptotic stability of such systems in the case of constant matrices (Lemma 1 and Lemma 2). We have successfully shown that under these algebraic criteria, asymptotic stability holds (Theorem 2 and Theorem 3). Also, norm-based criteria have been given to ensure the asymptotic stability. In particular, in case of constant matrices, Theorem 4 involves easily verifiable criteria based only on matrix norm computations. Finally, sufficient conditions are derived to ensure the asymptotic stability of such systems in the case of interval matrices. We have shown that this system is asymptotically stable for any delay parameter (Theorem 5). The effectiveness of the theoretical results has been illustrated by numerical examples.
Acknowledgements
The authors are grateful to the anonymous referees for their constructive comments and suggestions, improving this paper greatly.
[1] Goularta, A.G.O., Lazoa, M.J., Suareza, J.M.S. and Moreirab, D.M. (2017) Fractional Derivative Models for Atmospheric Dispersion of Pollutants. Physica A: Statistical Mechanics and Its Applications, 477, 9-19.
https://doi.org/10.1016/j.physa.2017.02.022
[2] Sierociuka, D., Skovranekb, T., Maciasa, M., Podlubnyb, I., Petrasb, I., Dzielinskia, A. and Ziubinski, P. (2015) Diffusion Process Modeling by Using Fractional-Order Models. Applied Mathematics and Computation, 257, 2-11.
https://doi.org/10.1016/j.amc.2014.11.028
[3] Atangana, A. and Baleanu, D. (2017) Application of Fixed Point Theorem for Stability Analysis of a Nonlinear Schrodinger with Caputo-Liouville Derivative. Filomat, 31, 2243-2248.
https://doi.org/10.2298/FIL1708243A
[4] Kaslik, E. and Sivasundaram, S. (2012) Analytical and Numerical Methods for the Stability Analysis of Linear Fractional Delay Differential Equations. Journal of Computational and Applied Mathematics, 236, 4027-4041.
https://doi.org/10.1016/j.cam.2012.03.010
[5] Li, H., Zhong, S. and Li, H. (2015) Asymptotic Stability Analysis of a Fractional-Order Neutral Systems with Time Delay. Advances in Difference Equations, 2015, Article No. 325.
https://doi.org/10.1186/s13662-015-0659-4
[6] Podlubny, I. (1999) Fractional Differential Equations. Vol. 198 of Mathematics in Science and Engineering. Technical University of Kosice, Kosice.
[7] Caputo, M. and Fabrizio, M. (2015) A New Definition of Fractional Derivative without Singular Kernel. Progress in Fractional Differentiation and Applications, 1, 73-85.
[8] Liu, K., Feckan, M., Regan, D. and Wang, J. (2019) Hyers-Ulam Stability and Existence of Solutions for Differential Equations with Caputo-Fabriziofractional Derivative. Mathematics, 7, 333.
https://doi.org/10.3390/math7040333
[9] Atanackovic, T.M., Pilipovic, S. and Zorica, D. (2018) Properties of the Caputo-Fabrizio Fractional Derivative and Its Distributional Settings. Fractional Calculus and Applied Analysis, 21, 24-29.
https://doi.org/10.1515/fca-2018-0003
[10] Baleanu, D., Mousalou, A. and Rezapoor, S. (2018) The Extended Fractional Caputo-Fabrizio Derivative of Order 2 < σ < 1 on CR [0, 1] and the Existence of Solutions for Two Higher-Order Series-Type Differential Equations. Advances in Difference Equations, 2018, Article No. 255.
[11] Caputo, M. and Fabrizio, M. (2018) Applications of New Time and Spatial Fractional Derivatives with Exponential Kernels. Progress in Fractional Differentiation and Applications, 2, 1-11.
[12] Dassios, I. and Baleanu, D. (2018) Caputo and Related Fractional Derivatives in Singular Systems. Applied Mathematics and Computation, 337, 591-606.
https://doi.org/10.1016/j.amc.2018.05.005
[13] Kaczorek, T. (2015) Reachability of Fractional Continuous-Time Linear Systems Using the Caputo-Fabrizio Derivagtive. In: Claus, T., Herrmann, F., Manitz, M. and Rose, O., Eds., Proceeding 30th European Conference on Modelling and Simulation.
[14] Li, K., Lu, S. and Xu, T. (2019) A Fully Discrete Spectral Method for Fractional Cattaneo Equation Based on Caputo-Fabrizio Derivative. Numerical Methods for Partial Differential Equations, 35, 936-954.
https://doi.org/10.1002/num.22332
[15] Qureshi, S., Norodin, R. and Baleanu, D. (2019) New Numerical Aspects of Caputo-Fabrizio Fractional Derivative Operator. Mathematics, 7, 374.
https://doi.org/10.3390/math7040374
[16] Pang, D. and Jiang, W. (2014) Finite-Time Stability Analysis of Fractional Singular Time-Delay Systems. Advances in Difference Equations, 2014, Article No. 259.
https://doi.org/10.1186/1687-1847-2014-259
[17] Li, H., Cheng, J., Li, H. and Zhong, S. (2019) Stability Analysis of a Fractional-Order Linear System Described by the Caputo-Fabrizio Derivative. Mathematics, 7, 200.
https://doi.org/10.3390/math7020200
[18] Li, H., Zhong, S., Cheng, J. and Li, H. (2019) Stability Analysis of a Fractional-Order Linear System with Time Delay Described by the Caputo-Fabrizio Derivative. Advances in Difference Equations, 2019, Article No. 86.
https://doi.org/10.1186/s13662-019-2024-5
[19] Yuhong, H. and Jia-Bao, L. (2019) Robust H1 Control for Uncertain Singular Neutral Time-Delay Systems. Mathematics, 7, 217.
https://doi.org/10.3390/math7030217
[20] Zhong, S., et al. (2017) Stability Analysis of Linear Fractional-Order Neutral Systems with Time Delay. Science Journal of Circuits, Systems and Signal Processing, 6, 1.
https://doi.org/10.11648/j.cssp.20170601.11
[21] Zhong, S., et al. (2014) Stability Analysis of Fractional-Order Systems with Time Delay. International Journal of Mathematical and Computational Sciences, 8, 660.
[22] Zhong, S., et al. (2012) Stability of Interval Fractional-Order Systems with Order 0 < α < 1. International Journal of Mathematical and Computational Sciences, 6, 987-991.
[23] Horn, R.A. and Johnson, C.R. (2013) Matrix Analysis. Second Edition, Cambridge University Press, Cambridge.
[24] Deng, W., Li, C. and Li, J. (2007) Stability Analysis of Linear Fractional Differential System with Multiple Time Delays. Nonlinear Dynamics, 48, Article ID: 409416.
https://doi.org/10.1007/s11071-006-9094-0
[25] Hu, G. and Cahlon, B. (2001) Algebraic Criteria for Stability of Linear Neutral Systems with a Single Delay. Journal of Computational and Applied mathematics, 135, 125-133.
https://doi.org/10.1016/S0377-0427(00)00570-7
[26] Cao, D.Q., He, P. and Zhang, K. (2003) Exponential Stability Criteria of Uncertain Systems with Multiple Time Delays. Journal of Mathematical Analysis and Applications, 283, 362-374.