Skip to main content

Theory and Modern Applications

Finite-time stability analysis of fractional singular time-delay systems

Abstract

This paper studies the finite-time stability of fractional singular time-delay systems. First, by the method of the steps, we discuss the existence and uniqueness of the solutions for the equivalent systems to the fractional singular time-delay systems. Furthermore, we give the Mittag-Leffler estimation of the solutions for the equivalent systems and obtain the sufficient conditions of the finite-time stability for the original systems.

MSC:34K20.

1 Introduction

In the past 30 years or so, fractional calculus has attracted many physicists, mathematicians, and engineers, and notable contributions have been made to both the theory and the applications of fractional differential equations (see [1–9]). Moreover, the different techniques have been applied to investigate the stability of various fractional dynamical systems, such as the principle of contraction mappings [10], the Lyapunov direct method [11], linear matrix inequalities [12], Gronwall inequalities [13–16] and fixed-point theorems [17].

At the same time, we notice that large numbers of practical systems, such as economic systems, power systems and so on, are singular differential systems which are also named differential-algebraic systems or descriptor systems. Such systems have some particular properties including regularity and impulse behavior which does not need to be considered in normal systems. In [18–22], the authors discuss singular systems with or without delay and obtain some important results. However, in the previous literature, there are few results on the stability of fractional singular systems, especially the fractional singular systems with time delay. In this regard, it is necessary and important to study the stability problems for fractional singular dynamical systems. Motivated by this consideration, in this paper, we investigate the stability of fractional singular dynamical systems with state delay via the generalized Gronwall approach.

In this paper, we consider the following fractional singular time-delay system:

{ E ( c D α x ( t ) ) = A x ( t ) + B x ( t − τ ) , t ∈ [ 0 , T ] , x ( t ) = φ ( t ) , t ∈ [ − τ , 0 ] ,
(1.1)

where D α c denotes the Caputo fractional derivative of order 0<α≤1; the vector function x(t)∈ R n is a state vector; A,B,E∈ R n × n are constant matrices; E∈ R n × n is a singular matrix i.e. rank(E)=q<n; the constant parameter τ>0 represents the delay argument and φ(t) is a given sufficiently often differentiable function on [−τ,0].

The organization of this paper is as follows. In Section 2, we summarize some notations and give preliminary results which will be used in this paper. In Section 3, we present our main results.

2 Preliminaries and lemmas

For completeness, in this section, we firstly demonstrate and study the definitions and some fundamental results of fractional calculus which can be found in [2–4].

Definition 2.1 (see [2])

The Euler gamma function is defined as

Γ(z)= ∫ 0 ∞ e − t t z − 1 dt,z∈C,
(2.1)

where â„‚ denotes the complex plane.

Definition 2.2 (see [2])

The fractional integral of order α with the lower limit zero for any function f(t)∈C([0,+∞),R), t≥0 is defined as

I α f(t)= lim h → 0 n h = t h α ∑ r = 0 n [ α r ]f(t−rh)= 1 Γ ( α ) ∫ 0 t ( t − θ ) α − 1 f(θ)dθ,α>0,
(2.2)

where [ α r ] = α ( α + 1 ) ⋯ ( α + r − 1 ) r ! , Γ(⋅) is the gamma function.

Definition 2.3 (see [2])

The Riemann-Liouville derivative of order α with the lower limit zero for any function f(t)∈C([0,+∞),R), t≥0 is defined as

D α l f(t)= 1 Γ ( n − α ) d n d t n ∫ 0 t ( t − θ ) n − α − 1 f(θ)dθ,n−1<α<n.
(2.3)

Definition 2.4 (see [2])

The Caputo derivative of order α for any function f(t)∈ C n ([0,+∞),R), t≥0, is defined as

D α c f(t)= 1 Γ ( n − α ) ∫ 0 t ( t − θ ) n − α − 1 f ( n ) (θ)dθ= I n − α f ( n ) (t),n−1<α<n.
(2.4)

Remark 2.1 (see [2])

  1. (i)

    The Laplace transform of the Caputo derivative is

    L { c D α f ( t ) ; s } = s α F(s)− ∑ k = 0 n − 1 s α − k − 1 f ( k ) (0)(n−1<α≤n);
    (2.5)
  2. (ii)

    The Caputo fractional derivative is a linear operator satisfying the relation

    D α c ( λ f ( t ) + μ g ( t ) ) =λc D α f(t)+μc D α g(t),
    (2.6)

where λ and μ are scalars.

Lemma 2.1 (see [3])

Let 0<α<1, then we have

I α ( c D α x ( t ) ) =x(t)−x(0).
(2.7)

Definition 2.5 (see [4])

The Mittag-Leffler function in two parameters is defined as

E α , β (z)= ∑ k = 0 ∞ z k Γ ( α k + β ) ,z∈C,
(2.8)

where α>0, β>0, and z∈C.

Remark 2.2 (see [4])

  1. (i)

    For β=1, E α , 1 (λ z α )= E α (λ z α )= ∑ k = 0 ∞ λ k ( z α ) k Γ ( α k + 1 ) , and E 1 , 1 (z)= e z , z∈C;

  2. (ii)

    for β=1, the matrix extension of the aforementioned Mittag-Leffler function has the following representation: E α (A t α )= ∑ k = 0 ∞ A k ( t α ) k Γ ( α k + 1 ) , z∈C and D α c E α (A t α )=A E α (A t α );

  3. (iii)

    we have the Laplace transform of the Mittag-Leffler function in two parameters

    L { t α k + β − 1 E α , β ( k ) ( ± a t α ) ; s } = k ! s α − β ( s α ∓ a ) k + 1 ( Re ( s ) > | a | 1 / α ) ,
    (2.9)

where Re(s) denotes the real parts of s.

Next, we introduce some fundamental definitions and lemmas about singular systems.

Definition 2.6 (see [18])

For any given two matrices E,A∈ R n × n , the pencil (E,A) is called regular if there exists a constant scalar λ∈C such that |λE+A|≠0, or the polynomial |sE−A|≢0.

Lemma 2.2 (see [18])

The pencil (E,A) is regular if and only if two nonsingular matrices Q, P may be chosen such that

QEP=diag( I n 1 ,N),QAP=diag( A 1 , I n 2 ),
(2.10)

where n 1 + n 2 =n; A 1 ∈ R n 1 × n 1 ; N∈ R n 2 × n 2 is nilpotent; I n 1 , I n 2 are identity matrices.

Remark 2.3 (see [18])

  1. (i)

    N∈ R n 2 × n 2 is nilpotent (the nilpotent index is denoted by h), and we have

    N h =0and N h − 1 ≠0,
    (2.11)

where h is also called the index of the matrix pair (E,A);

  1. (ii)

    the system (1.1) will be termed regular if the pencil (E,A) is regular.

In the following, we present the first equivalent form (FE1) of system (1.1) by the coordinate transformation, which is also called the standard decomposition of a singular system.

For convenience, we denote D α c x(t) by x ( α ) (t), from Lemma 2.1 and Remark 2.4, we deduce the following statement. Assume that the system (1.1) is regular throughout this paper, there exist two nonsingular matrices Q and P such that the system (1.1) is a restricted system equivalent to

{ { x 1 ( α ) ( t ) = A 1 x 1 ( t ) + B 11 x 1 ( t − τ ) + B 12 x 2 ( t − τ ) , t ≥ 0 , x 1 ( t ) = φ 1 ( t ) , − τ ≤ t ≤ 0 ; ( a ) { N x 2 ( α ) ( t ) = x 2 ( t ) + B 21 x 1 ( t − τ ) + B 22 x 2 ( t − τ ) , t ≥ 0 , x 2 ( t ) = φ 2 ( t ) , − τ ≤ t ≤ 0 , ( b )
(2.12)

with the coordinate transformation

x ¯ =[ x 1 / x 2 ]= P − 1 x, φ ¯ =[ φ 1 / φ 2 ]= P − 1 φ; x 1 , φ 1 ∈ R n 1 ; x 2 , φ 2 ∈ R n 2 ,
(2.13)

and

QEP=diag( I n 1 ,N),QAP=diag( A 1 , I n 2 ),QBP=[ B 11 B 12 B 21 B 22 ],
(2.14)

where φ 1 ∈ R n 1 ; φ 2 ∈ R n 2 ; n 1 + n 2 =n; A 1 , B 11 ∈ R n 1 × n 1 ; N, B 22 ∈ R n 2 × n 2 ; B 12 ∈ R n 1 × n 2 ; N is nilpotent.

The following definitions and lemmas will play important roles in our next analysis.

Definition 2.7 (see [23])

If X and Y are normed linear spaces, an operator T:X→Y is linear if

T(α x 1 +β x 2 )=αT( x 1 )+βT( x 2 ),
(2.15)

for all x 1 , x 2 in X and scalars α and β.

Remark 2.4 (see [23])

We say the linear operator T is a bounded linear operator from X to Y if there is a finite constant C 0 such that ∥ T x ∥ Y ≤ C 0 ∥ x ∥ X for all x in X.

Lemma 2.3 (see [23])

If T:X→Y is a linear operator from a normed linear space X to a normed linear space Y, the following are equivalent:

  1. (i)

    T is bounded;

  2. (ii)

    T is continuous;

  3. (iii)

    T is continuous at 0.

Lemma 2.4 (see [24]; Generalized Gronwall Inequality)

Suppose x(t), a(t) are nonnegative and local integrable on 0≤t<T; some T≤∞, and g(t) is a nonnegative, nondecreasing continuous function defined on 0≤t<T; g(t)≤ C 1 , where C 1 is a constant, α>0 with

x(t)≤a(t)+g(t) ∫ 0 t ( t − s ) α − 1 x(s)ds
(2.16)

on this interval. Then

x(t)≤a(t)+g(t) ∫ 0 t ∑ n = 1 ∞ [ g ( t ) Γ ( α ) ] n Γ ( n α ) ( t − s ) n α − 1 a(s)ds,0≤t<T.
(2.17)

Lemma 2.5 (see [24])

Under the hypothesis of Theorem  3.2, let a(t) be a nondecreasing function on [0,T). Then

x(t)≤a(t) E α ( g ( t ) Γ ( α ) t α ) ,
(2.18)

where E α is the Mittag-Leffler function.

3 Main results

In this section, we discuss some problems of the singular fractional time-delay system (1.1).

Let D α be the Caputo fractional differential operator of order 0<α≤1, T and T= ( N D α − I ) − 1 . It is not difficult to verify the following:

T=− ( I + N D α + N 2 D 2 α + ⋯ + N h − 1 D ( h − 1 ) α ) ,
(3.1)

where I∈ R n 2 × n 2 is an identity matrix.

Theorem 3.1 The fractional differential operator T is bounded i.e. there exists a positive constant M such that for ∀ x 2 (t) we have

∥ T x 2 ( t ) ∥ ≤M ∥ x 2 ( t ) ∥ .
(3.2)

Proof Obviously, the fractional differential operator T is linear. According to Lemma 2.3, we are only necessary to show that T is continuous at 0. Let any sequences x n (t)→0, y n (t)→ y 0 (t), and y n (t)=T x n (t), all we finally need to do is to show that y 0 (t)=0.

According to y n (t)=T x n (t)= ( N D α − I ) − 1 x n (t), we have

( N D α − I ) y n (t)= x n (t),
(3.3)

and for n→∞,

( N D α − I ) y 0 ( t ) = 0 ⇒ N D α y 0 ( t ) = y 0 ( t ) ⇒ y 0 ( t ) = N D α y 0 ( t ) = N 2 D 2 α y 0 ( t ) = ⋯ = N h − 1 D ( h − 1 ) α y 0 ( t ) = N h D h α y 0 ( t ) .
(3.4)

Combining Remark 2.3 and (3.4) yields

y 0 (t)=0.
(3.5)

Therefore, the operator T is bounded. □

To give the solution of systems (2.12), let us define a new function.

Definition 3.1 (see [25])

Let α obey (0≤α<1), the function

δ α (t)= 1 Γ ( 1 − α ) ∫ 0 t δ ( θ ) ( t − θ ) α dθ
(3.6)

is called an α−δ function, where δ(t) is the Dirac delta function.

Remark 3.1 (see [25])

The Laplace transformation of the α−δ function is L{ δ α (t);s}= s α − 1 .

Theorem 3.2 If the system (1.1) is regular, the solution for the system (2.12) exists uniquely.

Proof From Remark 2.3, we know that the pencil (E,A) is regular if the system (1.1) is regular. By the coordinate transformation, the system (2.12) is equivalent to the system (1.1). For t∈[0,Ï„], then t−τ∈[−τ,0], the system (2.12)(a) may be written as

x 1 ( α ) (t)= A 1 x 1 (t)+ B 11 φ 1 (t−τ)+ B 12 φ 2 (t−τ),t∈[0,τ].
(3.7)

Let f 1 (t)= B 11 φ 1 (t−τ)+ B 12 φ 2 (t−τ). Obviously, if f 1 (t) is the known function, then (3.7) may be written as

x 1 ( α ) (t)= A 1 x 1 (t)+ f 1 (t).
(3.8)

Applying the Laplace transformation on both sides of (3.8) and using (2.5) yield

s α X 1 ( s ) − s α − 1 x 1 ( 0 ) = A 1 X 1 ( s ) + F 1 ( s ) , X 1 ( s ) = ( s α I − A 1 ) − 1 s α − 1 x 1 ( 0 ) + ( s α I − A 1 ) − 1 F 1 ( s ) .
(3.9)

Applying the Laplace inverse transformation on both sides of (3.9) and using (2.9) yield

x 1 (t)= E α , 1 ( A 1 t α ) x 1 (0)+ ∫ 0 t ( t − θ ) α − 1 E α , α ( A 1 ( t − θ ) α ) f 1 (θ)dθ,t∈[0,τ].
(3.10)

As for the system (2.12)(b), it may be rewritten as

N x 2 ( α ) (t)= x 2 (t)+ B 21 φ 1 (t−τ)+ B 22 φ 2 (t−τ),t∈[0,τ].
(3.11)

Similarly, let f 2 (t)= B 21 φ 1 (t−τ)+ B 22 φ 2 (t−τ), and f 2 (t) is the known sufficiently often differentiable function, then (3.11) may be written as

N x 2 ( α ) (t)= x 2 (t)+ f 2 (t).
(3.12)

Taking the Laplace transformation on both sides of (3.12), we have

( s α N − I ) X 2 ( s ) = s α − 1 N x 2 ( 0 ) + F 2 ( s ) , X 2 ( s ) = ( s α N − I ) − 1 ( s α − 1 N x 2 ( 0 ) + F 2 ( s ) ) = − ∑ i = 0 h − 1 N i ( s α ) i ( s α − 1 N x 2 ( 0 ) + F 2 ( s ) ) = − ∑ i = 1 h N i − 1 s i α − 1 x 2 ( 0 ) − ∑ i = 0 h − 1 N i s i α F 2 ( s ) .
(3.13)

According to Remark 3.1, the inverse Laplace transformation of X 2 (s) yields

x 2 (s)=− ∑ i = 1 h N i − 1 δ i α x 2 (0)− ∑ i = 0 h − 1 N i D i α f 2 (t),t∈[0,τ].
(3.14)

Obviously, by the method of steps, once the solution x ¯ (t) of the system (2.12) on [0,τ] is known, continuing the above process, we can easily obtain the solution x ¯ (t) of the system (2.12) on [τ,2τ],[2τ,3τ],… . Thus the solution x ¯ (t) of the system (2.12) on [0,T] exists uniquely. □

Furthermore, we give the following theorems as regards the Mittag-Leffler estimation of the solution and finite-time stability for this singular system.

Let us denote by C([a,b]) the space of all continuous real functions defined on [a,b] and by C([a,b], R n ) the Banach space of continuous functions mapping the interval [a,b] into R n with the topology of uniform convergence. Let C=C([−τ,0], R n ), [a,b]=[−τ,0], and designate the norm of an element φ in C by

∥φ∥= sup − τ ≤ t ≤ 0 ∥ φ ( t ) ∥ .
(3.15)

Let X=C([−τ,T], R n ) and x(t)=φ(t), t∈[−τ,0] be equipped with the norm

∥ x ( t ) ∥ := sup 0 ≤ t ≤ T x(t),∥ x t ∥:= ∥ x ( t + θ ) ∥ := sup − τ ≤ θ ≤ 0 ∥ x ( t + θ ) ∥ ,∀x∈X.
(3.16)

Definition 3.2 (see [15])

The system given by (1.1) satisfying the initial condition x(t)=φ(t), for t∈[−τ,0] is finite-time stable w.r.t. { t 0 ,δ,ϵ,J}, δ<ϵ, J=[ t 0 , t 0 +T] if and only if

∥φ∥<δ
(3.17)

implies

∥ x ( t ) ∥ <ϵ,∀t∈J.
(3.18)

Theorem 3.3 If x ¯ (t)=[ x 1 (t)/ x 2 (t)] is a solution of the system (2.12), then there exist positive constants a and b such that

  1. (i)

    a=1+M∥ B 21 ∥+M∥ B 22 ∥;

  2. (ii)

    b>∥ A 1 ∥+∥ B 11 ∥+∥ B 12 ∥;

  3. (iii)

    ∥ x ¯ (t)∥≤a∥ φ ¯ ∥ E α (b t α ), ∀t∈J=[0,T].

Proof According to Lemma 2.1, the system (2.12)(a) may be rewritten in the form of the equivalent Volterra integral equation

x 1 ( t ) = x 1 ( 0 ) + 1 Γ ( α ) ∫ 0 t ( t − s ) α − 1 [ A 1 x 1 ( s ) + B 11 x 1 ( s − τ ) + B 12 x 2 ( s − τ ) ] d s = φ 1 ( 0 ) + 1 Γ ( α ) ∫ 0 t ( t − s ) α − 1 A 1 x 1 ( s ) d s + 1 Γ ( α ) ∫ 0 t ( t − s ) α − 1 [ B 11 x 1 ( s − τ ) + B 12 x 2 ( s − τ ) ] d s , t ≥ 0 .
(3.19)

Using the appropriate property of the norm ∥⋅∥ on (3.19), it follows that

∥ x 1 ( t ) ∥ ≤ ∥ φ 1 ( 0 ) ∥ + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ∥ A 1 ∥ ∥ x 1 ( s ) ∥ d s + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 [ ∥ B 11 ∥ ∥ x 1 ( s − τ ) ∥ + ∥ B 12 ∥ ∥ x 2 ( s − τ ) ∥ ] d s ≤ ∥ φ ¯ ∥ + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ∥ A 1 ∥ ∥ x ¯ ( s ) ∥ d s + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 [ ∥ B 11 ∥ ∥ x ¯ ( s − τ ) ∥ + ∥ B 12 ∥ ∥ x ¯ ( s − τ ) ∥ ] d s , t ≥ 0 .
(3.20)

As for the system (2.12)(b), we have

N D α x 2 ( t ) = x 2 ( t ) + B 21 x 1 ( t − τ ) + B 22 x 2 ( t − τ ) , x 2 ( t ) = ( N D α − I ) − 1 [ B 21 x 1 ( t − τ ) + B 22 x 2 ( t − τ ) ] = T B 21 x 1 ( t − τ ) + T B 22 x 2 ( t − τ ) .
(3.21)

Applying the appropriate property of the norm ∥⋅∥ and Theorem 3.1, we have

∥ x 2 ( t ) ∥ ≤ M ∥ B 21 ∥ ∥ x 1 ( t − τ ) ∥ + M ∥ B 22 ∥ ∥ x 2 ( t − τ ) ∥ ≤ ( M ∥ B 21 ∥ + M ∥ B 22 ∥ ) ∥ x ¯ ( t − τ ) ∥ , t ≥ 0 .
(3.22)

Combining (3.20) and (3.22) yields

∥ x ¯ ( t ) ∥ ≤ ∥ x 1 ( t ) ∥ + ∥ x 2 ( t ) ∥ ≤ ∥ φ ¯ ∥ + ( M ∥ B 21 ∥ + M ∥ B 22 ∥ ) ∥ x ¯ ( t − τ ) ∥ + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ∥ A 1 ∥ ∥ x ¯ ( s ) ∥ d s + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ( ∥ B 11 ∥ + ∥ B 12 ∥ ) ∥ x ¯ ( s − τ ) ∥ d s , t ≥ 0 .
(3.23)

For 0≤t≤τ, ∥ x ¯ (t−τ)∥≤∥ φ ¯ ∥, (3.23) can be written as

∥ x ¯ ( t ) ∥ ≤ ( 1 + M ∥ B 21 ∥ + M ∥ B 22 ∥ ) ∥ φ ¯ ∥ + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ∥ A 1 ∥ ∥ x ¯ ( s ) ∥ d s + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ( ∥ B 11 ∥ + ∥ B 12 ∥ ) ∥ x ¯ ( s − τ ) ∥ d s , 0 ≤ t ≤ τ .
(3.24)

From Definition 2.2, we know that I α f(t) is an increasing function of t, if f(t)>0. So 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ∥ A 1 ∥∥ x ¯ (s)∥ds and 1 Γ ( α ) ∫ 0 t | t − s | α − 1 [∥ B 11 ∥+∥ B 12 ∥]∥ x ¯ (s−τ)∥ds are both increasing functions with regard to t. Taking into account (3.24) and (3.16) yields

∥ x ¯ t ∥ ≤ ( 1 + M ∥ B 21 ∥ + M ∥ B 22 ∥ ) ∥ φ ¯ ∥ + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ∥ A 1 ∥ ∥ x ¯ s ∥ d s + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ( ∥ B 11 ∥ + ∥ B 12 ∥ ) ∥ x ¯ s ∥ d s ≤ ( 1 + M ∥ B 21 ∥ + M ∥ B 22 ∥ ) ∥ φ ¯ ∥ + 1 Γ ( α ) ∫ 0 t | t − s | α − 1 ( ∥ A 1 ∥ + ∥ B 11 ∥ + ∥ B 12 ∥ ) ∥ x ¯ s ∥ d s , 0 ≤ t ≤ τ .
(3.25)

Let a=1+M∥ B 21 ∥+M∥ B 22 ∥ and b 0 =∥ A 1 ∥+∥ B 11 ∥+∥ B 12 ∥, we can see the function a(t) in Lemma 2.5 to be

a(t)= ( 1 + M ∥ B 21 ∥ + M ∥ B 22 ∥ ) ∥ φ ¯ ∥=a∥ φ ¯ ∥,
(3.26)

obviously, it is nondecreasing.

An application of the corollary of the generalized Gronwall inequality (2.18) yields

∥ x ¯ t ∥≤a∥ φ ¯ ∥ E α ( b 0 t α ) ,0≤t≤τ.
(3.27)

Similarly, the same argument implies the following estimate:

∥ x ¯ t ∥≤a∥ x ¯ τ 0 ∥ E α ( b 0 ( t − τ 0 ) α ) , τ 0 ≤t≤ τ 0 +τ, τ 0 ≥0.
(3.28)

From Definition 2.5, we know that the Mittag-Leffler function E α (t) is an increasing function with regard to t. Therefore, there exists b> b 0 such that E α (b Ï„ α )> E α ( b 0 Ï„ α ) and E α ( b ( t − Ï„ ) α ) E α ( b 0 Ï„ α ) E α ( b t α ) < 1 a .

Equations (3.27) and (3.28) suggest the following general expression:

∥ x ¯ t ∥≤a∥ φ ¯ ∥ E α ( b t α ) ,0≤t≤nτ≤T.
(3.29)

To prove (3.29) by induction we have to show that it holds for n=1 because of (3.27) and if it holds for n=k, then it also holds for n=k+1. Indeed, for t∈[τ,(k+1)τ], so that t−τ∈[0,kτ], on the one hand, using (3.28), we have

∥ x ¯ t ∥≤a∥ x ¯ t − τ ∥ E α ( b 0 τ α ) .
(3.30)

On the other hand, using (3.29) we obtain

∥ x ¯ t − τ ∥≤a∥ φ ¯ ∥ E α ( b ( t − τ ) α ) .
(3.31)

Taking into account (3.30) and (3.31) we conclude that

∥ x ¯ t ∥ ≤ a [ a ∥ φ ¯ ∥ E α ( b ( t − τ ) α ) ] E α ( b 0 τ α ) = a ∥ φ ¯ ∥ E α ( b t α ) a E α ( b ( t − τ ) α ) E α ( b 0 τ α ) E α ( b t α ) ≤ a ∥ φ ¯ ∥ E α ( b t α ) .
(3.32)

That is,

∥ x ¯ ( t ) ∥ ≤∥ x ¯ t ∥≤a∥ φ ¯ ∥ E α ( b t α ) .
(3.33)

The proof is completed. □

Theorem 3.4 The fractional singular time-delay system given by (1.1) is finite-time stable w.r.t. {0,δ,ϵ,J}, δ<ϵ, if the following condition is satisfied:

a ∥ P ∥ 2 E α ( b t α ) ≤ ϵ δ ,∀t∈J=[0,T].
(3.34)

Proof From the coordinate transformation (2.13), we have

x(t)=P x ¯ (t)=P [ x 1 ( t ) / x 2 ( t ) ] ,φ(t)=P φ ¯ (t)=P [ φ 1 ( t ) / φ 2 ( t ) ] .
(3.35)

From Theorem 3.3 we obtain

∥ x ( t ) ∥ ≤∥P∥ ∥ x ¯ ( t ) ∥ ≤a ∥ P ∥ 2 ∥φ∥ E α ( b t α ) .
(3.36)

Hence, using Definition 3.2 and the basic condition of Theorem 3.4, it follows that

∥ x ( t ) ∥ <ϵ,∀t∈J=[0,T].
(3.37)

The proof is completed. □

References

  1. Miller KS, Boss B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.

    Google Scholar 

  2. Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.

    Google Scholar 

  3. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    Google Scholar 

  4. Kaczorek T: Selected Problems of Fractional Systems Theory. Springer, Berlin; 2011.

    Book  Google Scholar 

  5. Weitzner H, Zaslavsky GM: Some applications of fractional equations. Commun. Nonlinear Sci. Numer. Simul. 2003, 8(3-4):273-281. 10.1016/S1007-5704(03)00049-2

    Article  MathSciNet  Google Scholar 

  6. Machado JT, Kiryakova V, Mainardi F: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 2011, 16(3):1140-1153. 10.1016/j.cnsns.2010.05.027

    Article  MathSciNet  Google Scholar 

  7. Machado JAT, Costa AC, Quelhas MD: Fractional dynamics in DNA. Commun. Nonlinear Sci. Numer. Simul. 2011, 16(8):2963-2969. 10.1016/j.cnsns.2010.11.007

    Article  Google Scholar 

  8. Zhou Y, Jiao F, Li J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal. 2009, 71(7-8):3249-3256. 10.1016/j.na.2009.01.202

    Article  MathSciNet  Google Scholar 

  9. Zhou X, Jiang W, Hu L: Controllability of a fractional linear time-invariant neutral dynamical system. Appl. Math. Lett. 2013, 26(4):418-424. 10.1016/j.aml.2012.10.016

    Article  MathSciNet  Google Scholar 

  10. Deng W: Smoothness and stability of the solutions for nonlinear fractional differential equations. Nonlinear Anal. 2010, 72(3-4):1768-1777. 10.1016/j.na.2009.09.018

    Article  MathSciNet  Google Scholar 

  11. Li Y, Chen Y, Podlubny I: Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability. Comput. Math. Appl. 2010, 59(5):1810-1821. 10.1016/j.camwa.2009.08.019

    Article  MathSciNet  Google Scholar 

  12. Sabatier J, Moze M, Farges C: LMI stability conditions for fractional order systems. Comput. Math. Appl. 2010, 59(5):1594-1609. 10.1016/j.camwa.2009.08.003

    Article  MathSciNet  Google Scholar 

  13. Lazarević MP:Finite time stability analysis of P D a fractional control of robotic time-delay systems. Mech. Res. Commun. 2006, 33(2):269-279. 10.1016/j.mechrescom.2005.08.010

    Article  Google Scholar 

  14. Zhang X: Some results of linear fractional order time-delay system. Appl. Math. Comput. 2008, 197(1):407-411. 10.1016/j.amc.2007.07.069

    Article  MathSciNet  Google Scholar 

  15. Lazarević MP, Spasić AM: Finite-time stability analysis of fractional order time-delay systems: Gronwall’s approach. Math. Comput. Model. 2009, 49(3-4):475-481. 10.1016/j.mcm.2008.09.011

    Article  Google Scholar 

  16. Pang D, Jiang W: Finite-time stability of neutral fractional time-delay systems via generalized Gronwall’s inequality. Abstr. Appl. Anal. 2014., 2014: Article ID 610547

    Google Scholar 

  17. Wang J, Lv L, Zhou Y: New concepts and results in stability of fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2012, 17(6):2530-2538. 10.1016/j.cnsns.2011.09.030

    Article  MathSciNet  Google Scholar 

  18. Dai L: Singular Control Systems. Springer, Berlin; 1989.

    Book  Google Scholar 

  19. Fridman E: Stability of linear descriptor systems with delay: a Lyapunov-based approach. J. Math. Anal. Appl. 2002, 273(1):24-44. 10.1016/S0022-247X(02)00202-0

    Article  MathSciNet  Google Scholar 

  20. Jiang W: Eigenvalue and stability of singular differential delay systems. J. Math. Anal. Appl. 2004, 297(1):305-316. 10.1016/j.jmaa.2004.05.008

    Article  MathSciNet  Google Scholar 

  21. Campbell SL, Linh VH: Stability criteria for differential-algebraic equations with multiple delays and their numerical solutions. Appl. Math. Comput. 2009, 208(2):397-415. 10.1016/j.amc.2008.12.008

    Article  MathSciNet  Google Scholar 

  22. Liu X, Zhong S, Ding X: A Razumikhin approach to exponential admissibility of switched descriptor delayed systems. Appl. Math. Model. 2014, 38(5-6):1647-1659. 10.1016/j.apm.2013.09.007

    Article  MathSciNet  Google Scholar 

  23. MacCluer BD: Elementary Functional Analysis. Springer, New York; 2009.

    Book  Google Scholar 

  24. Ye H, Gao J, Ding Y: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 2007, 328(2):1075-1081. 10.1016/j.jmaa.2006.05.061

    Article  MathSciNet  Google Scholar 

  25. Jiang W: The constant variation formulae for singular fractional differential systems with delay. Comput. Math. Appl. 2010, 59(3):1184-1190. 10.1016/j.camwa.2009.07.010

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are sincerely thankful to the reviewers for their valuable suggestions and insightful comments. This research was jointly supported by National Natural Science Foundation of China (no. 11371027 and no. 11471015), Program of Natural Science of Colleges of Anhui Province (KJ2013A032, KJ2011A020) and the Special Research Fund for the Doctoral Program of the Ministry of Education of China (20093401110001).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Denghao Pang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors contributed equally to the manuscript. Both of them read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pang, D., Jiang, W. Finite-time stability analysis of fractional singular time-delay systems. Adv Differ Equ 2014, 259 (2014). https://doi.org/10.1186/1687-1847-2014-259

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2014-259

Keywords