Asymptotic stability analysis of fractional-order neutral systems with time delay

Abstract

In this paper, the asymptotic stability of linear and interval linear fractional-order neutral systems with time delay is discussed with true initial conditions. By applying the relation between integer system’s characteristic equation and fractional system’s characteristic equation, some brief sufficient stability conditions are deserved. The proposed method here is different from other ones in literature. In addition, some simple examples also demonstrate that this method is feasible.

1 Introduction

Recently, fractional-order systems have gained increasing interests from various areas and have become one of the central subjects [1–7]. Note that a fractional-order derivative has a nonlocal property and weakly singular kernels, fractional-order systems provide an excellent tool for the description of memory and hereditary properties of dynamical processes. Therefore, it has many applied fields such as signal processing, physics, electrode-electrolyte polarization; see [1, 3].

The stability is a very essential and crucial issue for fractional-order control systems; see [6, 7]. At present, some powerful criteria have been proposed. For example, for commensurate fractional-order systems, the Matignon stability theorem is the most well-known one [4]. It permits one to determine the stability of the system through the location in the complex plane of the dynamic matrix eigenvalues of the state space. In addition, the Lambert function approach [5, 8], Lyapunov’s second approach [9], the matrix measure approach [10, 11], Bellman-Gronwall’s approach [6], and the LMI approach [7] are also used to investigate the stability of fractional-order linear systems. Reference [12] discussed Lyapunov theory for fractional-order system considering not only the pseudo state space representation but also a frequency-based representation involving the true state of the fractional-order system: $Z_{C}(\omega,t)$.

Of course, time delay has also considerable impacts on the stability of the system. Generally speaking, the analyses of time-delay systems can be usually classified into two types: those concerned with time dependent criteria and those concerned with delay independent stability. As there is no upper limit to the time delay, delay independent results can be regarded as conservative in practice. In addition, if the system contains delay both in its states and in the derivatives of its states, then the system is usually called a neutral type delay system.

Recently, a finite-time stability analysis of fractional time-delay systems has first been presented and reported in [13]. But until now, only a few papers studied the stability of fractional neutral systems. Though the Lyapunov approach of nonlinear fractional neutral system was extended in [14], it is difficult to use the Lyapunov method to study the stability of fractional neutral systems due to the complicated fractional derivatives. However, based on the algebraic approach, Zhang et al. [14] obtained some sufficient conditions for fractional neutral dynamical systems.

In this paper, by using the characteristic equation of the system, some brief sufficient asymptotic stability conditions are obtained with true initial conditions. These stability conditions are simpler and can be tested more easily than the conditions in [14]. In addition, the stability of an interval linear fractional neutral system with time delay is also obtained.

2 Problem formulation and preliminaries

As is well known, the differ-integral operator, denoted by ${}_{a}D_{t}^{\alpha}$, is a combined differentiation and integration operator commonly used in fractional calculus, which is defined by

$${}_{a}D_{t}^{\alpha}=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{{d^{\alpha}}}{{dt^{\alpha}}}, & \alpha>0, \\ 1, & \alpha=0, \\ \int_{a}^{t} {(d\tau)^{-\alpha}},& \alpha< 0. \end{array}\displaystyle \right . $$

However, for fractional derivatives, there exist different definitions. The most commonly used definitions are the Grünwald-Letnikov, the Riemann-Liouville, and the Caputo definitions. The Caputo definition is sometimes called a smooth fractional derivative in the literature because it is suitable to treat by the Laplace transform technique. One can also use a Laplace transform technique for the Riemann-Liouville operator, but potentially a problem is the physical meaning of the initial conditions.

For convenience, in the rest of the paper, $D^{\alpha}$ is used to denote the Caputo fractional derivative of order α,

$$ D^{\alpha}f(t)=\frac{{d^{\alpha}f(t)}}{{dt^{\alpha}}}=\frac{1}{{\Gamma (\alpha-m)}}\int _{0}^{t}\frac{{f^{(m)}(\tau)}}{{(t-\tau)^{\alpha +1-m}}}\, d\tau, $$

(1)

where m is an integer satisfying $(m-1)<\alpha\leq m$.

In addition, this paper mainly focuses on the case that the fractional order is $0<\alpha<2$, since there exists an equivalent relation of fractional-order systems with order $0 <\alpha\leq1$ and with order $1\leq\beta< 2$; see [15].

Next, let us consider the linear fractional neutral system with time delay described by the following form:

$$ \frac{{d^{\alpha}}}{{dt^{\alpha}}}{\bigl(x(t)-Cx(t-\tau)\bigr)}=Ax(t)+Bx(t-\tau) $$

(2)

with the initial condition $x(t_{0}+t)=\psi(t)\in C([-\tau,0],\mathbb {R}^{n})$. Here $1\leq\alpha<2$ is the fractional commensurate order, $x(t)\in\mathbb{R}^{n}$ denotes the pseudo state vector (the true initial function is usually denoted by $Z_{C}(\omega,t)$, see [16, 17]), C, A, and $B\in\mathbb{R}^{n\times n}$ are constant matrices, $\tau>0$ is a pure time delay.

If the matrices A and B are uncertain, then the fractional-order neutral interval system can be described by the state space equation of the form

$$ \frac{{d^{\alpha}}}{{dt^{\alpha}}}{\bigl(x(t)-Cx(t-\tau)\bigr)}=Ax(t)-Bx(t-\tau), $$

(3)

where

$$\begin{aligned}& A\in\bigl[A^{1},A^{2}\bigr]=\bigl\{ [a_{ij}]:{a^{1}_{ij} \leq a_{ij}\leq a^{2}_{ij}}\bigr\} , \\& B\in \bigl[B^{1}, B^{2}\bigr]=\bigl\{ [b_{ij}]:{b^{1}_{ij} \leq b_{ij}\leq b^{2}_{ij}},1\leq i,j\leq n\bigr\} . \end{aligned}$$

Throughout this article, the following conventions are used:

• $\mu(A)$: matrix measure of the matrix A, i.e., $\mu(A)=\frac {1}{2}\lambda_{\mathrm{max}}(A+A^{*})$.

• $\rho(A)$: spectral radius of the matrix A.

• $|A|$: modulus matrix of the matrix A.

• $A\otimes B$: Kronecker product of A and B.

• $\|A\|$: spectral norm of matrix A; $\|A\|=\sqrt{\lambda_{\mathrm{max} } (A^{*} A)}$.

• $\lambda_{\mathrm{max}}(A)$: the maximum eigenvalue of the matrix A.

• $A^{*}$: the conjugate transpose of the matrix A.

• $A\leq B$: the element of A and B satisfy the inequality $a_{ij}\leq b_{ij}$.

In addition, to prove the main results in the next section, we need also the following lemma.

Lemma 2.1

[18]

Let R, T, and $V\in\mathbb{C^{n\times n}}$. If $|R|\le V$, then

$$\begin{aligned}& \rho(R + T) \le\rho\bigl(\vert R + T\vert \bigr) \le\rho\bigl(\vert R \vert + |T|\bigr) \le\rho\bigl(V + \vert T\vert \bigr); \\& \rho(RT) \le\rho\bigl(\vert R\vert \vert T\vert \bigr) \le\rho\bigl(V \vert T\vert \bigr); \qquad \rho(R)\leq\rho\bigl(\vert R\vert \bigr)\leq \rho(V); \\& \operatorname{Re}\bigl(\lambda_{j}(A)\bigr)\leq\mu(A);\qquad \mu(A+B) \leq\mu(A)+\mu(B); \qquad \mu(A)\leq\|A\|. \end{aligned}$$

3 Main results

Throughout this paper, we define $\Theta=\bigl ( {\scriptsize\begin{matrix}{} \sin\frac{{\alpha\pi}}{2} & \cos\frac{{\alpha\pi}}{2}\cr - \cos\frac{{\alpha\pi}}{2} & \sin\frac{{\alpha\pi}}{2}\end{matrix}} \bigr )$, so $\|\Theta\|=1$.

3.1 Stability of linear fractional neutral systems with delay

Lemma 3.1

[18]

Let $A,B\in\mathbb {R}^{n\times n}$ be Hermitian matrices, then

$$\lambda_{\mathrm{max}}(A+B)\leq\lambda_{\mathrm{max}}(A)+\lambda_{\mathrm{max}}(B). $$

Lemma 3.2

[18]

Let $C\in\mathbb{R}^{n\times n}$. If $\rho(C)<1$, then $\operatorname{det}(I\pm C)\neq0$ and

$$(I-C)^{-1}=I+C+C^{2}+\cdots. $$

Specially, if $\|C\|<1$, then $(I-C)^{-1}$ exists, and $\|(I-C)^{-1}\|\leq1/(1-\|C\|)$.

Lemma 3.3

Let $B\in\mathbb{R}^{n\times n}$, define $B_{u}=\Theta\otimes B$, $B_{l}=\Theta\otimes(-iB)$, where $i^{2}=-1$. If $\operatorname{Re}(s)\geq0$, then the following inequality holds:

$$\mu\bigl(\Theta\otimes Be^{-s\tau}\bigr)\leq\sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})}. $$

Proof

Let $s=\alpha+i\beta$, then $Be^{-s\tau}=Be^{-\alpha\tau }(\cos(\beta\tau)-i\sin(\beta\tau))$. Noticing that $\operatorname{Re}(s)=\alpha\geq0$, so $0< e^{-\alpha\tau}<1$. Using Lemma 2.1 and Lemma 3.1, we have

$$\begin{aligned}& \mu\bigl(\Theta\otimes Be^{-s\tau}\bigr) \\& \quad = \frac{1}{2}\lambda_{\mathrm{max}} \bigl({\Theta\otimes Be^{-s\tau}+\Theta^{*} \otimes\bigl(Be^{-s\tau}\bigr)^{*}} \bigr) \\& \quad = \frac{1}{2}\lambda_{\mathrm{max}} \bigl({\Theta\otimes Be^{-\alpha\tau} \bigl(\cos(\beta\tau)-i\sin(\beta\tau)\bigr)+\Theta^{*} \otimes B^{*} e^{-\alpha\tau} \bigl(\cos(\beta\tau)+i\sin(\beta\tau)\bigr)} \bigr) \\& \quad =e^{-\alpha\tau}\frac{1}{2}\lambda_{\mathrm{max}} \bigl( \bigl( \Theta\otimes B+\Theta^{*} \otimes B^{*} \bigr)\cos(\beta\tau) + \bigl(\Theta^{*} \otimes iB^{*}+\Theta\otimes(-iB) \bigr)\sin(\beta\tau) \bigr) \\& \quad \le e^{-\alpha\tau} \biggl(\frac{1}{2}\lambda_{\mathrm{max}} \bigl({\Theta \otimes B+\Theta^{*} \otimes B^{*}} \bigr)\cos(\beta\tau) \\& \qquad {}+ \frac {1}{2}\lambda_{\mathrm{max}} \bigl({\Theta^{*} \otimes iB^{*}-\Theta\otimes (-iB)} \bigr)\sin(\beta\tau) \biggr) \\& \quad = e^{-\alpha\tau} \bigl({\cos(\beta\tau)\mu(\Theta\otimes B)+\sin(\beta \tau)\mu\bigl(\Theta\otimes(-iB)\bigr)} \bigr) \\& \quad = e^{-\alpha\tau} \bigl({\cos(\beta\tau)\mu(B_{u})+\sin(\beta \tau)\mu (B_{l})} \bigr) \\& \quad = e^{-\alpha\tau}\sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})} \biggl({\cos(\beta\tau )\frac{{\mu(B_{u})}}{{\sqrt{\mu^{2}(B_{u})+\mu^{2}(B_{l})} }}+ \sin(\beta\tau )\frac{{\mu(B_{l})}}{{\sqrt{\mu^{2}(B_{u})+\mu^{2}(B_{l})}}}} \biggr) \\& \quad \le e^{-\alpha\tau}\sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})} \\& \quad \le\sqrt{\mu^{2} (B_{u})+\mu^{2}(B_{l})}. \end{aligned}$$

(4)

Thus, the proof is completed. □

Lemma 3.4

[18]

Let $A\in\mathbb{R}^{m\times m}$, $B\in \mathbb{R}^{n\times n}$; $\lambda_{r}$ ($r=1,\ldots,m$) are eigenvalues of the matrix A and $u_{k}$ ($k=1,\ldots,n$) are eigenvalues of the matrix B, then $\lambda_{r} u_{k}$ ($r=1,\ldots,m$, $k=1,\ldots,n$) are eigenvalues of the Kronecker product $A\otimes B$.

Lemma 3.5

Let $A\in\mathbb{R}^{m\times m}$, $B\in\mathbb {R}^{n\times n}$, we have

$$\|A\otimes B\|=\|A\|\cdot\|B\|. $$

Proof

Using Lemma 3.4, we can obtain

$$\begin{aligned} \|A \otimes B\| =&\sqrt{\lambda_{\mathrm{max}} \bigl({(A \otimes B)^{*}(A \otimes B)} \bigr)}=\sqrt{\lambda_{\mathrm{max}} \bigl({\bigl(A^{*} \otimes B^{*}\bigr) (A \otimes B)} \bigr)} \\ =&\sqrt{\lambda_{\mathrm{max}} \bigl({A^{*} A\otimes B^{*} B} \bigr)}=\sqrt{ \lambda_{\mathrm{max}} \bigl({A^{*}A} \bigr)\cdot\lambda_{\mathrm{max} } \bigl({B^{*}B} \bigr)} \\ =&\sqrt{\lambda_{\mathrm{max}}\bigl(A^{*}A\bigr)}\cdot\sqrt{\lambda _{\mathrm{max}}\bigl(B^{*}B\bigr)} \\ =&\|A\| \cdot\|B\|. \end{aligned}$$

(5)

The proof is completed. □

Lemma 3.6

Let $A\in\mathbb{R}^{n\times n}$, $\operatorname{det}(s^{\alpha}I-A)\neq0$ for $\forall \operatorname{Re}(s)\geq0$ if and only if $\operatorname{det}(sI-\Theta \otimes A)\neq0$ for $\forall \operatorname{Re}(s)\geq0$, where $1\leq\alpha<2$.

Proof

According to Theorem 3 in [19], we can easily prove this lemma. □

Next, we consider the global stability of system (2) in the case of the true initial state space, according to the true initial function $Z_{C}(\omega,t)$; see [16, 17].

Definition 3.1

The system (2) is said to be asymptotically stable if for any pseudo initial function $\psi(t), \psi'(t)\in C([-\tau,0], \mathbb{R}^{n})$, any true initial function $Z_{C}(\omega,t)\in C([0,+\infty;-\tau,0], \mathbb{R}^{n})$ and for any time delay $\tau>0$, the analytic solution $x(t)$ of the system (2) satisfies $\lim_{t\to+\infty} x(t)=0$.

Theorem 3.1

If all the roots of the characteristic equation

$$D(s)=\operatorname{det}\bigl(s^{\alpha}\bigl(I-Ce^{-s\tau}\bigr)- \bigl(A+Be^{-s\tau}\bigr)\bigr)=0 $$

have negative real parts, then the system (2) with $1\leq \alpha<2$ is asymptotically stable.

Proof

Taking the Laplace transform of the system (2), we have

$$\begin{aligned}& \bigl(s^{\alpha}I-A-Cs^{\alpha}e^{-s\tau}-Be^{-s\tau} \bigr)X(s) \\& \quad =s^{\alpha-1}\psi(0)+s^{\alpha-2}\psi'(0)-Ce^{-s\tau}s^{\alpha-1} \psi (0)-Ce^{-s\tau}s^{\alpha-2}\psi'(0) \\& \qquad {}+Be^{-s\tau}\int_{-\tau}^{0}{e^{-s\tau}Z_{C}( \omega,t)\, dt}+Ce^{-s\tau }\int_{-\tau}^{0} {e^{-s\tau}Z_{C}(\omega,t)\, dt} \\& \qquad {}+Ce^{-s\tau}\int_{0}^{+\infty}{ \frac{{u_{2-n}(\omega)Z_{C}(\omega ,0)}}{{s+\omega}}\, d\omega}-\int_{0}^{+\infty} { \frac{{u_{2-n}(\omega )Z_{C}(\omega,0)}}{{s+\omega}}\, d\omega}. \end{aligned}$$

(6)

Let $D(s,\tau)=s^{\alpha}I-A-Cs^{\alpha}e^{-s\tau}-Be^{-s\tau}$. Multiplying s on both sides of (6) gives

$$\begin{aligned}& D(s,\tau)sX(s) \\& \quad =s^{\alpha}\psi(0)+s^{\alpha-1}\psi'(0)-Ce^{-s\tau}s^{\alpha}\psi (0)-Ce^{-s\tau}s^{\alpha-1}\psi'(0) \\& \qquad {}+Bse^{-s\tau}\int_{-\tau}^{0}{e^{-s\tau}Z_{C}( \omega,t)\, dt}+Cse^{-s\tau }\int_{-\tau}^{0} {e^{-s\tau}Z_{C}(\omega,t)\, dt} \\& \qquad {}+Cse^{-s\tau}\int_{0}^{+\infty}{ \frac{{u_{2-n}(\omega)Z_{C}(\omega ,0)}}{{s+\omega}}\, d\omega}-s\int_{0}^{+\infty} { \frac{{u_{2-n}(\omega )Z_{C}(\omega,0)}}{{s+\omega}}\, d\omega}. \end{aligned}$$

(7)

Similar to [20], one can easily prove the theorem. □

Theorem 3.2

The system (2) with $1\leq\alpha<2$ is asymptotically stable, if the following inequalities are satisfied:

$$ \begin{aligned} &(1)\quad \|C\|< 1; \\ &(2) \quad \mu(\Theta\otimes A)+\sqrt{\mu^{2} (B_{u})+ \mu^{2} (B_{l})}+\frac {{\|CA\|+\|CB\|}}{{1-\|C\|}}< 0. \end{aligned} $$

(8)

Proof

The system (2) is asymptotically stable if and only if the characteristic equation $D(s)\neq0$ for $\forall \operatorname{Re}(s)\geq0$. Since $0< e^{-\operatorname{Re}(s)\tau}\leq1$ for any $\operatorname{Re}(s)\geq0$, we have from Lemma 2.1

$$ \rho\bigl(Ce^{-s\tau}\bigr)\leq\rho\bigl(\bigl\vert Ce^{-s\tau}\bigr\vert \bigr)\leq\rho\bigl(|C|\bigr)\leq\|C\|< 1. $$

(9)

By Lemma 3.2, we further know that $(I-Ce^{-s\tau})^{-1}$ exists for $\forall \operatorname{Re}(s)\geq0$. Thus $D(s)\neq0$ for $\forall \operatorname{Re}(s)\geq0$, i.e.,

$$ \operatorname{det}\bigl(s^{\alpha}I-\bigl(I-Ce^{-s\tau} \bigr)^{-1}\bigl(A+Be^{-s\tau}\bigr)\bigr)\neq0, \quad \forall \operatorname{Re}(s)\geq0. $$

(10)

In addition, from Lemma 3.6, (10) is equivalent to the following inequality:

$$ \operatorname{det}\bigl(sI-\Theta\otimes\bigl(I-Ce^{-s\tau} \bigr)^{-1}\bigl(A+Be^{-s\tau}\bigr)\bigr)\neq0,\quad \forall \operatorname{Re}(s)\geq0, $$

(11)

which is equivalent to

$$ s\neq\lambda_{j}\bigl(\Theta\otimes\bigl(I-Ce^{-s\tau} \bigr)^{-1}\bigl(A+Be^{-s\tau}\bigr)\bigr),\quad \forall \operatorname{Re}(s)\geq0, j\in1,2,\ldots,n. $$

(12)

Thus, if we have $\operatorname{Re}_{\lambda_{j}}(\Theta\otimes (I-Ce^{-s\tau})^{-1}(A+Be^{-s\tau}))<0$, then we can prove the stability of the system (2).

In fact, employing the well-known relation

$$\bigl(I-Ce^{-s\tau}\bigr)^{-1}=I+\bigl(I-Ce^{-s\tau} \bigr)^{-1}Ce^{-s\tau} $$

and using Lemmas 2.1, 3.2, and 3.3, we can obtain

$$\begin{aligned}& \operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes \bigl(I-Ce^{-s\tau }\bigr)^{-1}\bigl(A+Be^{-s\tau}\bigr) \bigr) \\& \quad =\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bigl(I+ \bigl(I-Ce^{-s\tau }\bigr)^{-1}Ce^{-s\tau}\bigr) \bigl(A+Be^{-s\tau}\bigr)\bigr) \\& \quad =\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bigl(A+Be^{-s\tau }+ \bigl(I-Ce^{-s\tau}\bigr)^{-1}\bigl(CAe^{-s\tau}+CBe^{-2s\tau} \bigr)\bigr)\bigr) \\& \quad =\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes A+\Theta\otimes Be^{-s\tau}+\Theta\otimes\bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(CAe^{-s\tau}+CBe^{-2s\tau }\bigr)\bigr) \\& \quad \le\mu\bigl(\Theta\otimes A+\Theta\otimes Be^{-s\tau}+\Theta\otimes \bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(CAe^{-s\tau}+CBe^{-2s\tau} \bigr)\bigr) \\& \quad \le\mu(\Theta\otimes A)+\mu\bigl(\Theta\otimes Be^{-s\tau}\bigr)+\mu \bigl(\Theta \otimes\bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(CAe^{-s\tau}+CBe^{- 2s\tau}\bigr)\bigr) \\& \quad \le\mu(\Theta\otimes A)+\sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})}+\bigl\Vert \Theta\otimes \bigl(I-Ce^{-s\tau}\bigr)^{-1}\bigl(CAe^{-s\tau}+CBe^{-2s\tau} \bigr)\bigr\Vert \\& \quad \le\mu(\Theta\otimes A)+\sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})}+\|\Theta\|\cdot \bigl\Vert \bigl(I-Ce^{-s\tau}\bigr)^{-1}\bigl(CAe^{-s\tau}+CBe^{- 2s\tau} \bigr)\bigr\Vert \\& \quad \le\mu(\Theta\otimes A)+\sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})}+\frac {{\|CA\|+\|CB\|}}{{1-\|C\|}} \\& \quad < 0. \end{aligned}$$

(13)

This completes the proof. □

Corollary 3.3

The system (2) with $1\leq\alpha<2$ is asymptotically stable, if there exists an invertible matrix $P\in \mathbb{R}^{n\times n}$, such that the following inequalities are satisfied:

$$\begin{aligned}& (1) \quad \|C\|< 1; \\& (2) \quad \mu\bigl(P^{-1}(\Theta\otimes A)P\bigr)+\sqrt{ \mu^{2} \bigl(P^{-1}B_{u}P\bigr)+\mu^{2} \bigl(P^{-1}B_{l}P\bigr)} \\& \hphantom{(2) \quad}\quad {}+ \frac{{\|P^{-1}\|\|CA\|\|P\|+\|P^{-1}\|\|CB\|\|P\|}}{{1-\|C\|}}< 0. \end{aligned}$$

(14)

Proof

According to Theorem 3.2, we see that the system (2) is stable if and only if $\operatorname{Re}_{\lambda _{j}}(\Theta\otimes(I-Ce^{-s\tau})^{-1}(A+Be^{-s\tau}))<0$, $\forall \operatorname{Re}(s)\geq0$, which is equivalent to

$$\operatorname{Re}_{\lambda_{j}}\bigl(P^{-1}\bigl(\Theta\otimes \bigl(I-Ce^{-s\tau }\bigr)^{-1}\bigl(A+Be^{-s\tau}\bigr) \bigr)P\bigr)< 0,\quad \forall \operatorname{Re}(s)\geq0. $$

So, we can prove this corollary easily. □

3.2 Stability of interval linear fractional neutral systems with delay

Now, we consider the interval neutral fractional linear system (3).

Let

$$ \begin{aligned} &\bar{A} =\frac{1}{2}\bigl(A^{1}+A^{2} \bigr), \qquad \Delta A=A-\bar{A}, \qquad A_{M}=A_{2}-\bar {A}; \\ &\bar{B} =\frac{1}{2}\bigl(B^{1}+B^{2}\bigr), \qquad \Delta B=B-\bar{B}, \qquad B_{M}=B_{2}-\bar{B}, \end{aligned} $$

(15)

then $|\Delta A|\leq A_{M}$, $|\Delta B|\leq B_{M}$.

We have the following lemmas and theorems as regards the interval system (3).

Lemma 3.7

Let $B\in\mathbb{R}^{n\times n}$, if $\operatorname{Re}(s)\geq 0$, then the following inequality holds:

$$\mu\bigl(\Theta\otimes Be^{-s\tau}\bigr)\leq\sqrt{2} \|B\|. $$

Proof

Using Lemma 3.3, we have

$$ \mu\bigl(\Theta\otimes Be^{-s\tau}\bigr) = e^{-\alpha\tau} \bigl({\cos(\beta\tau)\mu(\Theta\otimes B)+\sin(\beta \tau)\mu\bigl(\Theta \otimes(-iB)\bigr)} \bigr). $$

(16)

Noticing that $\operatorname{Re}(s)=\alpha\geq0$, we have $0< e^{-\alpha\tau}<1$. According to Lemma 3.1, we can obtain

$$\begin{aligned}& e^{-\alpha\tau} \bigl({\cos(\beta\tau)\mu(\Theta\otimes B)+\sin( \beta\tau )\mu\bigl(\Theta\otimes(-iB)\bigr)} \bigr) \\& \quad \leq e^{-\alpha\tau} \bigl({\bigl\vert \cos(\beta\tau)\bigr\vert \cdot\|\Theta\otimes B\|+\bigl\vert \sin(\beta\tau)\bigr\vert \cdot\bigl\Vert \Theta\otimes(-iB)\bigr\Vert } \bigr) \\& \quad = e^{-\alpha\tau} \bigl({\bigl\vert \cos(\beta\tau)\bigr\vert \cdot\| \Theta\|\|B\|+\bigl\vert \sin (\beta\tau)\bigr\vert \cdot\|\Theta\|\|-iB\|} \bigr) \\& \quad = e^{-\alpha\tau}\|\Theta\|\|B\|\bigl(\bigl\vert \cos(\beta\tau)\bigr\vert +\bigl\vert \sin(\beta\tau)\bigr\vert \bigr) \\& \quad =e^{-\alpha\tau}\|\Theta\|\|B\|\sqrt{2} \biggl(\frac{1}{\sqrt{2}}\bigl\vert \cos(\beta \tau)\bigr\vert +\frac{1}{\sqrt{2}}\bigl\vert \sin(\beta \tau)\bigr\vert \biggr) \\& \quad \le\sqrt{2} \|\Theta\|\|B\| \\& \quad = \sqrt{2} \|B\|. \end{aligned}$$

(17)

Thus, the proof is completed. □

Theorem 3.4

The system (3) with $1\leq\alpha<2$ is asymptotically stable, if the following inequalities are satisfied:

$$\begin{aligned}& (1)\quad \|C\|< 1; \\& (2)\quad \mu(\Theta\otimes\bar{A})+\sqrt{\mu^{2} ( \bar{B}_{u})+\mu^{2} (\bar{B}_{l})}+ \|A_{M}\|+\sqrt{2} \|B_{M}\| \\& \hphantom{(2)\quad}\quad {}+\frac{{\|C\bar{A}\|+\|C\bar{B}\|+\|C\|(\|A_{M}\|+\|B_{M}\|)}}{{1-\|C\|}}< 0. \end{aligned}$$

(18)

Proof

According to Theorem 3.2, we see that the interval system (3) is asymptotically stable if and only if

$$\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bigl(I+\bigl(I-Ce^{-s\tau } \bigr)^{-1}Ce^{-s\tau}\bigr) \bigl(A+Be^{-s\tau}\bigr) \bigr)< 0,\quad \forall \operatorname{Re}(s)\geq0. $$

Using Lemma 2.1, we can obtain

$$\begin{aligned}& \operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bigl(I+ \bigl(I-Ce^{-s\tau }\bigr)^{-1}Ce^{-s\tau}\bigr) \bigl(A+Be^{-s\tau}\bigr)\bigr) \\& \quad =\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bigl(I+ \bigl(I-Ce^{-s\tau }\bigr)^{-1}Ce^{-s\tau}\bigr) \bigl( \bar{A}+\Delta A+(\bar{B}+\Delta B)e^{-s\tau}\bigr)\bigr) \\& \quad =\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bigl(\bar{A}+\bar {B}e^{-s\tau}+\Delta A+\Delta B \\& \qquad {}+\bigl(I-Ce^{-s\tau}\bigr)^{-1}\bigl(C \bar{A}e^{-s\tau}+C\bar{B}e^{-2s\tau }+C\Delta Ae^{-s\tau}+C\Delta Be^{-2s\tau} \bigr)\bigr)\bigr) \\& \quad =\operatorname{Re}_{\lambda_{j}}\bigl(\Theta\otimes\bar{A}+\Theta \otimes \bar{B}e^{-s\tau}+\Theta\otimes\Delta A+\Theta\otimes\Delta Be^{-s\tau} \\& \qquad {}+\Theta\otimes\bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(C \bar{A}e^{-s\tau}+C\bar {B}e^{-2s\tau}+C\Delta Ae^{-s\tau}+C \Delta Be^{-2s\tau}\bigr)\bigr) \\& \quad \le\mu\bigl(\Theta\otimes\bar{A}+\Theta\otimes\bar{B}e^{-s\tau}+ \Theta \otimes\Delta A+\Theta\otimes\Delta Be^{-s\tau} \\& \qquad {}+\Theta\otimes\bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(C \bar{A}e^{-s\tau}+C\bar {B}e^{-2s\tau}+C\Delta Ae^{-s\tau}+C \Delta Be^{-2s\tau}\bigr)\bigr) \\& \quad \le\mu(\Theta\otimes\bar{A})+\mu\bigl(\Theta\otimes\bar{B}e^{-s\tau} \bigr)+\mu (\Theta\otimes\Delta A)+\mu\bigl(\Theta\otimes\Delta Be^{-s\tau} \bigr) \\& \qquad {}+\mu\bigl(\Theta\otimes\bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(C\bar{A}e^{-s\tau}+C\bar {B}e^{- 2s\tau}+C\Delta Ae^{-s\tau}+C\Delta Be^{- 2s\tau}\bigr)\bigr). \end{aligned}$$

(19)

In addition, according to Lemma 3.3 and Lemma 3.7, we can further obtain

$$\begin{aligned}& \mu(\Theta\otimes\bar{A})+\mu\bigl(\Theta\otimes\bar{B}e^{-s\tau}\bigr)+ \mu(\Theta \otimes\Delta A)+\mu\bigl(\Theta\otimes\Delta Be^{-s\tau}\bigr) \\& \qquad {}+\mu\bigl(\Theta\otimes\bigl(I-Ce^{-s\tau}\bigr)^{-1} \bigl(C\bar{A}e^{-s\tau}+C\bar {B}e^{- 2s\tau}+C\Delta Ae^{-s\tau}+C\Delta Be^{- 2s\tau}\bigr)\bigr) \\& \quad \le\mu(\Theta\otimes\bar{A})+\sqrt{\mu^{2}(\bar{B}_{u})+ \mu^{2}(\bar{B}_{l})}+\|\Theta\otimes\Delta A\|+\bigl\Vert \Theta\otimes\Delta Be^{-s\tau}\bigr\Vert \\& \qquad {}+\bigl\Vert \Theta\otimes\bigl(I-Ce^{-s\tau} \bigr)^{-1}\bigl(C\bar{A}e^{-s\tau}+C\bar {B}e^{-2s\tau} +C \Delta Ae^{-s\tau}+C\Delta Be^{-2s\tau}\bigr)\bigr\Vert \\& \quad \le\mu(\Theta\otimes A)+\sqrt{\mu^{2}({\bar{B}}_{u})+ \mu^{2}({\bar{B}}_{l})}+\|\Theta\|\|\Delta A\|+\sqrt{2} \|\Delta B\| \\& \qquad {}+\|\Theta\|\cdot\bigl\Vert \bigl(I-Ce^{-s\tau} \bigr)^{-1}\bigl(C\bar{A}e^{-s\tau}+C\bar {B}e^{- 2s\tau}+C \Delta Ae^{-s\tau}+C\Delta Be^{- 2s\tau}\bigr)\bigr\Vert \\& \quad \le\mu(\Theta\otimes\bar{A})+\sqrt{\mu^{2}(\bar{B}_{u})+ \mu^{2}(\bar{B}_{l})}+\|A_{M}\|+\sqrt{2} \|B_{M}\| \\& \qquad {}+\frac{{\|C\bar{A}\|+\|C\bar{B}\|+\|C\|(\|A_{M}\|+\|B_{M}\|)}}{{1-\|C\|}} \\& \quad < 0. \end{aligned}$$

(20)

This completes the proof. □

Remark 3.1

If we use $\Theta_{1}=\bigl ( {\scriptsize\begin{matrix}{} -\sin\frac{{\alpha\pi}}{2} & +\cos\frac{{\alpha\pi}}{2} \cr -\cos\frac{{\alpha\pi}}{2} & -\sin\frac{{\alpha\pi}}{2}\end{matrix}} \bigr )$ to replace Θ in Theorems 3.2, 3.4 and Corollary 3.3, we obtain the following conclusions:

• 1. The system (2) with $0<\alpha< 1$ is unstable, if the following inequalities are satisfied:

  $$ \begin{aligned} &(1)\quad \|C\|< 1; \\ &(2)\quad \mu(\Theta_{1}\otimes A)+\sqrt{\mu^{2} \bigl(B_{u}'\bigr)+\mu^{2} \bigl(B_{l}' \bigr)}+\frac {{\|CA\|+\|CB\|}}{{1-\|C\|}}< 0. \end{aligned} $$

  (21)

• 2. The system (2) with $0<\alpha< 1$ is unstable, if there exists an invertible matrix $P\in\mathbb{R}^{n\times n}$, such that the following inequalities are satisfied:

  $$\begin{aligned}& (1)\quad \|C\|< 1; \\& (2)\quad \mu\bigl(P^{-1}(\Theta_{1}\otimes A)P\bigr)+\sqrt {\mu^{2} \bigl(P^{-1}B_{u}'P \bigr)+\mu^{2} \bigl(P^{-1}B_{l}'P \bigr)} \\& \hphantom{(2)\quad}\quad {}+\frac{{\|P^{-1}CAP\|+\|P^{-1}CBP\|}}{{1-\|C\|}}< 0, \end{aligned}$$

  (22)

  where $B_{u}'=\Theta_{1}\otimes B$, $B_{l}'=\Theta_{1}\otimes(-iB)$.

• 3. The system (3) with $0<\alpha< 1$ is unstable, if the following inequalities are satisfied:

  $$\begin{aligned}& (1)\quad \|C\|< 1; \\& (2)\quad \mu(\Theta_{1}\otimes\bar{A})+\sqrt{ \mu^{2} \bigl(\bar{B}_{u}'\bigr)+ \mu^{2} \bigl(\bar{B}_{l}'\bigr)}+ \|A_{M}\|+\sqrt{2} \|B_{M}\| \\& \hphantom{(2)\quad}\quad {}+\frac{{\|C\bar{A}\|+\|C\bar{B}\|+\|C\|(\|A_{M}\|+\|B_{M}\|)}}{{1-\|C\|}}< 0, \end{aligned}$$

  (23)

  where $\bar{B}_{u}'=\Theta_{1}\otimes\bar{B}$, $\bar{B}_{l}'=\Theta_{1}\otimes (-i\bar{B})$.

Remark 3.2

As stated in [16, 17], fractional differentiation usually needs an initialization to avoid long range memory phenomenon, so one should use $Z_{C}(\omega,0)$ to initialize Caputo derivative. In Theorem 3.1, we give a simple proof for this case. In fact, for the case of the pseudo state model, one can also prove this theorem according to [20] by taking the Laplace transform.

4 Numerical examples

Next, we apply Matlab to help us demonstrate our results.

Example 4.1

Consider the stability of the following fractional-order neutral system with delay:

$$ \frac{{d^{\alpha}}}{{dt^{\alpha}}} \bigl( {x(t) - Cx(t - \tau)} \bigr) = Ax(t) - Bx(t - \tau), $$

(24)

where $\alpha=3/2$, and

$$A= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {-2} & {-\frac{1}{3}}\\ {\frac{1}{3}} & {-3} \end{array}\displaystyle } \right ),\qquad B= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {-\frac{1}{2}} & {\frac{1.1}{3}}\\ {\frac{1.1}{3}} & {-\frac{1}{2}} \end{array}\displaystyle } \right ),\qquad C= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {0.1} & {0}\\ {0} & {0.1} \end{array}\displaystyle } \right ). $$

Since $\alpha=3/2$, we can obtain $\theta= \bigl ( {\scriptsize\begin{matrix}{} \frac{\sqrt{2}}{2} & -\frac{\sqrt{2}}{2}\cr \frac{\sqrt{2}}{2} & \frac{\sqrt{2}}{2} \end{matrix}} \bigr )$. By computation, we have

$$\mu(\theta\otimes A)=-1.34,\qquad \sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})}=0.6673,\qquad \frac{\|CA\|+\|CB\|}{1-\|C\|}=0.4288. $$

So $\|C\|=0.1<1$ and

$$\begin{aligned}& \mu(\Theta\otimes A)+\sqrt{\mu^{2} (B_{u})+ \mu^{2} (B_{l})}+\frac {{\|CA\|+\|CB\|}}{{1-\|C\|}} \\& \quad =-1.34+0.6673+0.4288=-0.2475< 0. \end{aligned}$$

Therefore, from Theorem 3.2, we know that the fractional system (24) is asymptotically stable.

Example 4.2

Consider the stability of the following fractional-order neutral system with delay:

$$ \frac{{d^{\alpha}}}{{dt^{\alpha}}} \bigl({x(t)-Cx(t-\tau)} \bigr)=Ax(t)-Bx(t-\tau), $$

(25)

where $\alpha=3/2$, and

$$\begin{aligned}& A^{1}= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {-2.2} & {0.1}\\ {0.2} & {-3.1} \end{array}\displaystyle } \right ),\qquad A^{2}= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {-1.8} & {\frac{3}{10}}\\ {0.2} & {-2.9} \end{array}\displaystyle } \right ), \\& B^{1}= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {0.54} & {\frac{1.1}{5}}\\ {\frac{1.1}{5}} & {-0.52} \end{array}\displaystyle } \right ),\qquad B^{2}= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {0.46} & {\frac{1.1}{5}}\\ {\frac{1.1}{5}} & {-0.48} \end{array}\displaystyle } \right ),\qquad C= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {0.1} & {0}\\ {0} & {0.1} \end{array}\displaystyle } \right ). \end{aligned}$$

First, note that

$$\begin{aligned}& \theta= \left ( { \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{\sqrt{2}}{2}} & {-\frac{\sqrt{2}}{2}}\\ {\frac{\sqrt{2}}{2}} & {\frac{\sqrt{2}}{2}} \end{array}\displaystyle } \right ),\qquad \bar{A} = \left ({ \textstyle\begin{array}{@{}c@{\quad}c@{}} {-2} & {\frac{1}{5}} \\ {\frac{1}{5}} & {-3} \end{array}\displaystyle } \right ),\qquad A_{M}= \left ({ \textstyle\begin{array}{@{}c@{\quad}c@{}} {0.2} & {0.1} \\ 0 & {0.1} \end{array}\displaystyle } \right ), \\& \bar{B} =\left ({ \textstyle\begin{array}{@{}c@{\quad}c@{}} {-0.5} & {\frac{1.1}{5}} \\ {\frac{1.1}{5}} & {-0.5} \end{array}\displaystyle } \right ), \qquad B_{M}=\left ({ \textstyle\begin{array}{@{}c@{\quad}c@{}} {0.01} & 0 \\ 0 & {0.02} \end{array}\displaystyle } \right ). \end{aligned}$$

By computation, we have

$$\begin{aligned}& \mu(\theta\otimes A)=-1.3877,\qquad \sqrt{\mu^{2}(B_{u})+ \mu^{2}(B_{l})}=0.6673,\qquad \|A_{M}\|=0.26, \\& \|B_{M}\|=0.02,\qquad \frac{\|CA\|+\|CB\|}{1-\|C\|}=0.4288, \qquad \frac {\|C\|(\|A_{M}\|+\|B_{M}\|)}{1-\|C\|}=0.00292. \end{aligned}$$

So $\|C\|=0.1<1$ and

$$\begin{aligned}& \mu(\Theta\otimes\bar{A})+\sqrt{\mu^{2} (\bar{B}_{u})+ \mu^{2} (\bar{B}_{l})}+\|A_{M}\|+\sqrt{2} \|B_{M}\| \\& \qquad {}+\frac{{\|C\bar{A}\|+\|C\bar{B}\|+\|C\|(\|A_{M}\|+\|B_{M}\|)}}{{1-\|C\|}} \\& \quad =-1.3877+0.6673+0.26+0.028+0.4288+0.00292 =-0.00428< 0. \end{aligned}$$

Therefore, from Theorem 3.4, we know that the fractional system (25) is asymptotically stable.

5 Conclusions

In summary, this paper mainly presents some brief sufficient conditions for the stability of a class of fractional-order neutral systems with uncertain parameters. The proposed method here is quite different from other ones in the literature. Two simple examples also demonstrate that this method is feasible.