# Fractional Differential Equations in Terms of Comparison Results and Lyapunov Stability with Initial Time Difference

Authors: Coşkun Yakar
Journal: Abstract and Applied Analysis
 (2010)

---

## Abstract

The qualitative behavior of a perturbed fractional-order differential equation with Caputo's derivative that differs in initial position and initial time with respect to the unperturbed fractional-order differential equation with Caputo's derivative has been investigated. We compare the classical notion of stability to the notion of initial time difference stability for fractional-order differential equations in Caputo's sense. We present a comparison result which again gives the null solution a central role in the comparison fractional-order differential equation when establishing initial time difference stability of the perturbed fractional-order differential equation with respect to the unperturbed fractional-order differential equation.


---

## Body

## 1. Introduction

We have investigated that the stability of perturbed solution with respect to unperturbed solution with initial time difference of the nonlinear differential equations of fractional-order. The differential operators are taken in the Riemann-Liouville and Caputo’s sense and the initial conditions are specified according to Caputo’s suggestion [1], thus allowing for interpretation in a physically meaningful way [2].Lyapunov’s second method is a standard technique used in the study of the qualitative behavior of differential systems [3–6] along with a comparison result [2, 7] that allows the prediction of behavior of a differential system when the behavior of the null solution of a comparison system is known. However, there has been difficulty with this approach when trying to apply it to unperturbed fractional differential systems [2, 6, 8] and associated perturbed fractional differential systems with an initial time difference. The difficulty arises because there is a significant difference between initial time difference (ITD) stability [7, 9–16] and the classical notion of stability for fractional differential systems [2, 6]. The classical notions of stability [2–6, 8, 17] are with respect to the null solution, but ITD stability [7, 9–16] is with respect to the unperturbed fractional-order differential system where the perturbed fractional-order differential system and the unperturbed fractional-order differential system differ both in initial position and initial time [7, 9–16].In this paper, we have dissipated this complexity and have a new comparison result which again gives the null solution a central role in the comparison fractional-order differential system. This result creates many paths for continuing research by direct application and generalization [13, 15, 16].In Section2, we present basic definitions and necessary rudimentary material. In Section 3, we discuss and compare the differences between the classical notion of stability and the recent notion of initial time difference (ITD) stability by means of fractional-order differential systems. In Section 4, we have a comparison result in which the stability properties of the null solution of the comparison system imply the corresponding stability properties of the unperturbed fractional-order differential system. In Section 5, we have an other comparison result in which the stability properties of the null solution of the comparison system imply the corresponding (ITD) stability properties of the perturbed fractional-order differential system with respect to the unperturbed fractional-order differential system.


## 2. Preliminaries

In this section we give relation among the fractional-order derivatives: Caputo, Reimann-Liouville and Grünwald-Letnikov fractional-order derivatives and necessary definition of initial value problems of fractional-order differential equations with these sense.


### 2.1. Fractional-Order Derivatives: Caputo, Reimann-Liouville and Grünwald-Letnikov

Caputo’s and Reimann-Liouville’s definitions of fractional derivatives, are namely,(2.1)cDqx=1Γ(1-q)∫τ0t(t-s)-qx′(s)ds,τ0≤t≤T,(2.2)Dqx=1Γ(p)(ddt∫τ0t(t-s)p-1x(s)ds),τ0≤t≤T,
respectively, order of 0<q<1 and p+q=1, where Γ denotes the Gamma function.The most important advantage for fractional-order differential equations with Caputo’s derivative is the initial conditions that are the same form as that of ordinary differential equations with integer derivatives. Another difference is that the Caputo derivative for a constantC is zero, while the Riemann-Liouville fractional derivative for a constant C is not zero but equals to DqC=C(t-τ0)-q/Γ(1-q). By using (2.1), therefore,(2.3)cDqx(t)=Dq[x(t)-x(τ0)],cDqx(t)=Dqx(t)-x(τ0)Γ(1-q)(t-τ0)-q.
In particular, if x(τ0)=0, we obtain(2.4)cDqx(t)=Dqx(t).
Hence, we can see that Caputo’s derivative is defined for functions for which Riemann-Liouville fractional-order derivative exists.Let us write that Grünwald-Letnikov's notion of fractional-order derivative in a convenient form(2.5)D0qx(t)=limlimh→0nh=t-τ01hq[x(t)-S(x,h,r,q)],
where S(x,h,r,q)=∑r=1n(-1)r+1(qr)x(t-rh). If we know that x(t) is continuous and dx(t)/dt exist and integrable, then Riemann-Liouville and Grünwald-Letnikov fractional-order derivatives are connected by the relation(2.6)Dqx(t)=D0qx(t)=x(τ0)(t-τ0)-qΓ(1-q)+∫τ0t(t-s)-qΓ(1-q)ddsx(s)ds.Using (2.3)implies that we have the following relations among the Caputo, Riemann-Liouville and Grünwald-Letnikov fractional derivatives(2.7)cDqx(t)=Dq[x(t)-x(τ0)]=D0q[x(t)-x(τ0)]=1Γ(1-q)∫τ0t(t-s)-qdx(s)dsds.
The foregoing equivalent expressions are very useful in the study of qualitative properties of solutions of fractional differential equations.


### 2.2. Existence of Euler Solution

We consider the initial value problem of the fractional-order differential equation with Reimann-Liouville's derivative(2.8)Dqx=f(t,x),x(t)(t-t0)1-q∣t=t0=x0fort≥t0,t0∈ℝ+,
where f is any function from [t0,T]×ℝn→ℝn. Let(2.9)π=[t0,t1,…,tN]
be a partition of [t0,T].Consider the interval[t0,t1] and observe that the right hand side of the initial value problem of fractional-order differential equation with Reimann-Liouville’s derivative(2.10)Dqx=f(t0,x0),x(t)(t-t0)1-q∣t=t0=x0fort≥t0
on [t0,t1] is constant.Therefore, the initial value problem has a unique solution of (2.10) of the fractional-order differential equation with Reimann-Liouville’s derivative given by(2.11)x(t)=x0(t-t0)q-1Γ(q)+f(t0,x0)(t-t0)qΓ(1+q),t∈[t0,t1].
Define the node x1=x(t1) and iterate next by considering on [t1,t2] the initial value problem(2.12)Dqx=f(t1,x1),x1(t)(t-t1)1-q∣t=t1=x10fort≥t1.
The next node is x2=x(t2) and we proceed this way till an arc xπ=xπ(t) has been defined on all [t0,T]. Let us employ the notation xπ to emphasize the role played by the particular partition π in determining xπ which is the Euler curved arc corresponding to the partition π. The diameter of the partition π is given by(2.13)μπ=max[ti-ti-1:1≤i≤N].Definition 2.1.
An Euler solution is any curved arcx=x(t) which is the uniform limit of Euler curved arcs xπ, corresponding to some sequence πj such that πj→0, which means the convergence of the diameter μπj→0 as j→∞.Now, we can give the following result on existence of an Euler solution of the initial value problem of fractional-order differential equation with Reimann-Liouville’s derivative for (2.8).Theorem 2.2.
Assume that
(i)
∥f(t,x)∥≤g(t,∥x∥),(t,x)∈[t0,T]×ℝn, where g∈C[[t0,T]×ℝ+,ℝ+],g(t,u) is nondecreasing in (t,u);(ii)
The maximal solutionr(t)=r(t,t0,u0) of the fractional-order scalar differential equation with Reimann-Liouville's derivative
(2.14)Dqu=g(t,u),u(t)(t-t0)1-q∣t=t0=u0≥0fort≥t0,t0∈ℝ+
exists on [t0,T].
Then(a)
there exists at least one Euler solutionx(t)=x(t,t0,x0) to the initial value problem (2.8), which satisfies a Hölder condition;(b)
any Euler solutionx(t) of (2.8) satisfies the relation
(2.15)∥x(t)-x0(t)∥≤r(t,t0,u0)-u0,t∈[t0,T],
where u0=∥x0∥ and x0(t)=x0(t-t0)q-1/Γ(q).For proof of Theorem2.2, please see in [6].Iff(t,x) in (2.8) is assumed to be continuous, then x(t)=x(t,t0,x0), an Euler solution, is actually a solution of the initial value problem (2.8).Theorem 2.3.
Under the assumptions of Theorem2.2 and if we suppose that f∈C[[t0,t0+T]×ℝn,ℝn], then x(t) is a solution of initial value problem (2.8).For proof Theorem2.3, please see in [6].


### 2.3. Fractional-Order Differential Equations with Caputo’s Derivative

Consider the initial value problems of the fractional-order differential equations with Caputo's derivative(2.16)cDqx=f(t,x),x(t0)=x0fort≥t0,t0∈ℝ+,(2.17)cDqx=f(t,x),x(τ0)=y0fort≥τ0,τ0∈ℝ+,
where x0=limt→t0Dq-1x(t) and y0=limt→τ0Dq-1x(t) exist, and the perturbed system of initial value problem of the fractional-order differential equation with Caputo’s derivative of (2.17)(2.18)cDqy=F(t,y),y(τ0)=y0fort≥τ0≥t0,
where y0=limt→τ0Dq-1y(t), exists, and f,F∈C[[t0,τ0+T]×ℝn,ℝn]; satisfy a local Lipschitz condition on the set ℝ+×Sρ,Sρ=[x∈ℝn:∥x∥<ρ<∞] and f(t,0)=0 for t≥0. In particular, F(t,y)=f(t,y)+R(t,y), we have a special case of (2.18) and R(t,y) is said to be perturbation term.Corollary 2.4.
Let0<q<1, and f:(t0,t0+T]×Sρ→ℝ a function such that f(t,x)∈L(t0,t0+T) for any x∈Sρ. If x(t)∈L(t0,t0+T), then x(t) satisfies a.e. the initial value problems of the fractional-order differential equations with Reimann-Liouville's derivative (2.19) if, and only if, x(t) satisfies a.e. the Volterra fractional-order integral equation (2.20).For proof of Corollary2.4, please see in [2].We assume that we have sufficient conditions to the existence and uniqueness of solutions through(t0,x0) and (τ0,y0). If f∈C[[t0,t0+T]×ℝn,ℝn] and x(t) is the solution of(2.19)Dqx=f(t,x),x(t)(t-t0)1-q∣t=t0=x0fort≥t0,t0∈ℝ+,
where Dqx is the Reimann-Liouville fractional-order derivative of x as in (2.2), then it also satisfies the Volterra fractional-order integral equation(2.20)x(t)=x0(t-t0)q-1Γ(q)+1Γ(q)∫t0t(t-s)q-1f(s,x(s))ds,t0≤t≤t0+T
that is, every solution of (2.20) is also a solution of (2.19); for detail please see [2].We will only give the basic existence and uniqueness result with the Lipschitz condition by using contraction mapping theorem and a weighted norm with Mittag-Leffler function in [6].Theorem 2.5.
Assume that(i)
f∈C[R,ℝn] and bounded by M on R, where R=[(t,x):t0≤t≤t0+T,∥x-x0∥≤b];(ii)
∥f(t,x)-f(t,y)∥≤L∥x-y∥,L>0,(t,x)∈R, where the inequalities are componentwise.Then there exists a unique solution x(t)=x(t,t0,x0) on [t0,t0+α] for the initial value problem of the fractional-order differential equation with Caputo's derivative of (2.16), where α=min[T,(bΓ(q+1)/M)1/q].For proof of Theorem2.5, please see in [6].


### 2.4. Stability Criteria with ITD and Lyapunov-Like Function

Before we can establish our comparison theorem and Lyapunov stability criteria for initial time difference, we need to introduce the following definitions of ITD stability and Lyapunov-like functions.Definition 2.6.
The solutiony(t,τ0,y0) of the initial value problems of fractional-order differential equation with Caputo’s derivative of (2.18) through (τ0,y0) is said to be initial time difference stable with respect to the solution x̃(t,τ0,x0)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the initial value problems of fractional-order differential equation with Caputo's derivative of (2.16) for t≥τ0,τ0∈ℝ+ and η=τ0-t0 if and only if given any ϵ>0 there exist δ1=δ1(ϵ,τ0)>0 and δ2=δ2(ϵ,τ0)>0, such that
(2.21)∥y(t,τ0,y0)-x(t-η,t0,x0)∥<ϵ,whenever∥y0-x0∥<δ1,|τ0-t0|<δ2fort≥τ0.
If δ1,δ2 are independent of τ0, then the solution y(t,τ0,y0) of the initial value problems of fractional-order differential equation with Caputo’s derivative of (2.18) is initial time difference uniformly stable with respect to the fractional solution x(t-η,t0,x0).  If the solution of initial value problems of fractional-order differential equation with Caputo’s derivative of y(t,τ0,y0) of the fractional system (2.18) through (τ0,y0) is initial time difference stable and there exist γ1(τ0)>0 and γ2(τ0)>0 such that
(2.22)limt→∞∥y(t,τ0,y0)-x(t-η,t0,x0)∥=0
for all y(t,τ0,y0) and x(t-η,t0,x0) with ∥y0-x0∥<γ1 and |τ0-t0|<γ2 for t≥τ0, then it is said to be initial time difference asymptotically stable with respect to the fractional solution x(t-η,t0,x0). It is initial time difference uniformly asymptotically stable with respect to the fractional solution x(t-η,t0,x0) if γ1 and γ2 are independent of τ0.Definition 2.7.
A functionϕ(r) is said to belong to the class 𝒦 if ϕ∈C[(0,ρ),ℝ+],ϕ(0)=0, and ϕ(r) is strictly monotone increasing in r.Definition 2.8.
For any Lyapunov-like functionV(t,x)∈C[ℝ+×ℝn,ℝ+], we define the fractional-order Dini derivatives in Caputo’s sense cD+qV(t,x) and cD_qV(t,x) as follows
(2.23)cD+qV(t,x)=limh→0+sup1hq[V(t,x)-V(t-h,x-hqf(t,x))],(2.24)cD_qV(t,x)=limh→0-inf1hq[V(t,x)-V(t-h,x-hqf(t,x))]
for (t,x)∈ℝ+×ℝn.Definition 2.9.
For a real-valued functionV(t,x)∈C[ℝ+×ℝn,ℝ+], we define the generalized fractional-order derivatives (Dini-like derivatives) in Caputo's sense *cD+qV(t,y-x̃) and *cD_qV(t,y-x̃) as follows
(2.25)*cD+qV(t,y-x̃)=limh→0+sup1hq[V(t,y-x̃)-V(t-h,y-x̃-hq(F(t,y)-f̃(t,x̃)))],(2.26)*cD_qV(t,y-x̃)=limh→0-inf1hq[V(t,y-x̃)-V(t-h,y-x̃-hq(F(t,y)-f̃(t,x̃)))]
for (t,x)∈ℝ+×ℝn.


## 2.1. Fractional-Order Derivatives: Caputo, Reimann-Liouville and Grünwald-Letnikov

Caputo’s and Reimann-Liouville’s definitions of fractional derivatives, are namely,(2.1)cDqx=1Γ(1-q)∫τ0t(t-s)-qx′(s)ds,τ0≤t≤T,(2.2)Dqx=1Γ(p)(ddt∫τ0t(t-s)p-1x(s)ds),τ0≤t≤T,
respectively, order of 0<q<1 and p+q=1, where Γ denotes the Gamma function.The most important advantage for fractional-order differential equations with Caputo’s derivative is the initial conditions that are the same form as that of ordinary differential equations with integer derivatives. Another difference is that the Caputo derivative for a constantC is zero, while the Riemann-Liouville fractional derivative for a constant C is not zero but equals to DqC=C(t-τ0)-q/Γ(1-q). By using (2.1), therefore,(2.3)cDqx(t)=Dq[x(t)-x(τ0)],cDqx(t)=Dqx(t)-x(τ0)Γ(1-q)(t-τ0)-q.
In particular, if x(τ0)=0, we obtain(2.4)cDqx(t)=Dqx(t).
Hence, we can see that Caputo’s derivative is defined for functions for which Riemann-Liouville fractional-order derivative exists.Let us write that Grünwald-Letnikov's notion of fractional-order derivative in a convenient form(2.5)D0qx(t)=limlimh→0nh=t-τ01hq[x(t)-S(x,h,r,q)],
where S(x,h,r,q)=∑r=1n(-1)r+1(qr)x(t-rh). If we know that x(t) is continuous and dx(t)/dt exist and integrable, then Riemann-Liouville and Grünwald-Letnikov fractional-order derivatives are connected by the relation(2.6)Dqx(t)=D0qx(t)=x(τ0)(t-τ0)-qΓ(1-q)+∫τ0t(t-s)-qΓ(1-q)ddsx(s)ds.Using (2.3)implies that we have the following relations among the Caputo, Riemann-Liouville and Grünwald-Letnikov fractional derivatives(2.7)cDqx(t)=Dq[x(t)-x(τ0)]=D0q[x(t)-x(τ0)]=1Γ(1-q)∫τ0t(t-s)-qdx(s)dsds.
The foregoing equivalent expressions are very useful in the study of qualitative properties of solutions of fractional differential equations.


## 2.2. Existence of Euler Solution

We consider the initial value problem of the fractional-order differential equation with Reimann-Liouville's derivative(2.8)Dqx=f(t,x),x(t)(t-t0)1-q∣t=t0=x0fort≥t0,t0∈ℝ+,
where f is any function from [t0,T]×ℝn→ℝn. Let(2.9)π=[t0,t1,…,tN]
be a partition of [t0,T].Consider the interval[t0,t1] and observe that the right hand side of the initial value problem of fractional-order differential equation with Reimann-Liouville’s derivative(2.10)Dqx=f(t0,x0),x(t)(t-t0)1-q∣t=t0=x0fort≥t0
on [t0,t1] is constant.Therefore, the initial value problem has a unique solution of (2.10) of the fractional-order differential equation with Reimann-Liouville’s derivative given by(2.11)x(t)=x0(t-t0)q-1Γ(q)+f(t0,x0)(t-t0)qΓ(1+q),t∈[t0,t1].
Define the node x1=x(t1) and iterate next by considering on [t1,t2] the initial value problem(2.12)Dqx=f(t1,x1),x1(t)(t-t1)1-q∣t=t1=x10fort≥t1.
The next node is x2=x(t2) and we proceed this way till an arc xπ=xπ(t) has been defined on all [t0,T]. Let us employ the notation xπ to emphasize the role played by the particular partition π in determining xπ which is the Euler curved arc corresponding to the partition π. The diameter of the partition π is given by(2.13)μπ=max[ti-ti-1:1≤i≤N].Definition 2.1.
An Euler solution is any curved arcx=x(t) which is the uniform limit of Euler curved arcs xπ, corresponding to some sequence πj such that πj→0, which means the convergence of the diameter μπj→0 as j→∞.Now, we can give the following result on existence of an Euler solution of the initial value problem of fractional-order differential equation with Reimann-Liouville’s derivative for (2.8).Theorem 2.2.
Assume that
(i)
∥f(t,x)∥≤g(t,∥x∥),(t,x)∈[t0,T]×ℝn, where g∈C[[t0,T]×ℝ+,ℝ+],g(t,u) is nondecreasing in (t,u);(ii)
The maximal solutionr(t)=r(t,t0,u0) of the fractional-order scalar differential equation with Reimann-Liouville's derivative
(2.14)Dqu=g(t,u),u(t)(t-t0)1-q∣t=t0=u0≥0fort≥t0,t0∈ℝ+
exists on [t0,T].
Then(a)
there exists at least one Euler solutionx(t)=x(t,t0,x0) to the initial value problem (2.8), which satisfies a Hölder condition;(b)
any Euler solutionx(t) of (2.8) satisfies the relation
(2.15)∥x(t)-x0(t)∥≤r(t,t0,u0)-u0,t∈[t0,T],
where u0=∥x0∥ and x0(t)=x0(t-t0)q-1/Γ(q).For proof of Theorem2.2, please see in [6].Iff(t,x) in (2.8) is assumed to be continuous, then x(t)=x(t,t0,x0), an Euler solution, is actually a solution of the initial value problem (2.8).Theorem 2.3.
Under the assumptions of Theorem2.2 and if we suppose that f∈C[[t0,t0+T]×ℝn,ℝn], then x(t) is a solution of initial value problem (2.8).For proof Theorem2.3, please see in [6].


## 2.3. Fractional-Order Differential Equations with Caputo’s Derivative

Consider the initial value problems of the fractional-order differential equations with Caputo's derivative(2.16)cDqx=f(t,x),x(t0)=x0fort≥t0,t0∈ℝ+,(2.17)cDqx=f(t,x),x(τ0)=y0fort≥τ0,τ0∈ℝ+,
where x0=limt→t0Dq-1x(t) and y0=limt→τ0Dq-1x(t) exist, and the perturbed system of initial value problem of the fractional-order differential equation with Caputo’s derivative of (2.17)(2.18)cDqy=F(t,y),y(τ0)=y0fort≥τ0≥t0,
where y0=limt→τ0Dq-1y(t), exists, and f,F∈C[[t0,τ0+T]×ℝn,ℝn]; satisfy a local Lipschitz condition on the set ℝ+×Sρ,Sρ=[x∈ℝn:∥x∥<ρ<∞] and f(t,0)=0 for t≥0. In particular, F(t,y)=f(t,y)+R(t,y), we have a special case of (2.18) and R(t,y) is said to be perturbation term.Corollary 2.4.
Let0<q<1, and f:(t0,t0+T]×Sρ→ℝ a function such that f(t,x)∈L(t0,t0+T) for any x∈Sρ. If x(t)∈L(t0,t0+T), then x(t) satisfies a.e. the initial value problems of the fractional-order differential equations with Reimann-Liouville's derivative (2.19) if, and only if, x(t) satisfies a.e. the Volterra fractional-order integral equation (2.20).For proof of Corollary2.4, please see in [2].We assume that we have sufficient conditions to the existence and uniqueness of solutions through(t0,x0) and (τ0,y0). If f∈C[[t0,t0+T]×ℝn,ℝn] and x(t) is the solution of(2.19)Dqx=f(t,x),x(t)(t-t0)1-q∣t=t0=x0fort≥t0,t0∈ℝ+,
where Dqx is the Reimann-Liouville fractional-order derivative of x as in (2.2), then it also satisfies the Volterra fractional-order integral equation(2.20)x(t)=x0(t-t0)q-1Γ(q)+1Γ(q)∫t0t(t-s)q-1f(s,x(s))ds,t0≤t≤t0+T
that is, every solution of (2.20) is also a solution of (2.19); for detail please see [2].We will only give the basic existence and uniqueness result with the Lipschitz condition by using contraction mapping theorem and a weighted norm with Mittag-Leffler function in [6].Theorem 2.5.
Assume that(i)
f∈C[R,ℝn] and bounded by M on R, where R=[(t,x):t0≤t≤t0+T,∥x-x0∥≤b];(ii)
∥f(t,x)-f(t,y)∥≤L∥x-y∥,L>0,(t,x)∈R, where the inequalities are componentwise.Then there exists a unique solution x(t)=x(t,t0,x0) on [t0,t0+α] for the initial value problem of the fractional-order differential equation with Caputo's derivative of (2.16), where α=min[T,(bΓ(q+1)/M)1/q].For proof of Theorem2.5, please see in [6].


## 2.4. Stability Criteria with ITD and Lyapunov-Like Function

Before we can establish our comparison theorem and Lyapunov stability criteria for initial time difference, we need to introduce the following definitions of ITD stability and Lyapunov-like functions.Definition 2.6.
The solutiony(t,τ0,y0) of the initial value problems of fractional-order differential equation with Caputo’s derivative of (2.18) through (τ0,y0) is said to be initial time difference stable with respect to the solution x̃(t,τ0,x0)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the initial value problems of fractional-order differential equation with Caputo's derivative of (2.16) for t≥τ0,τ0∈ℝ+ and η=τ0-t0 if and only if given any ϵ>0 there exist δ1=δ1(ϵ,τ0)>0 and δ2=δ2(ϵ,τ0)>0, such that
(2.21)∥y(t,τ0,y0)-x(t-η,t0,x0)∥<ϵ,whenever∥y0-x0∥<δ1,|τ0-t0|<δ2fort≥τ0.
If δ1,δ2 are independent of τ0, then the solution y(t,τ0,y0) of the initial value problems of fractional-order differential equation with Caputo’s derivative of (2.18) is initial time difference uniformly stable with respect to the fractional solution x(t-η,t0,x0).  If the solution of initial value problems of fractional-order differential equation with Caputo’s derivative of y(t,τ0,y0) of the fractional system (2.18) through (τ0,y0) is initial time difference stable and there exist γ1(τ0)>0 and γ2(τ0)>0 such that
(2.22)limt→∞∥y(t,τ0,y0)-x(t-η,t0,x0)∥=0
for all y(t,τ0,y0) and x(t-η,t0,x0) with ∥y0-x0∥<γ1 and |τ0-t0|<γ2 for t≥τ0, then it is said to be initial time difference asymptotically stable with respect to the fractional solution x(t-η,t0,x0). It is initial time difference uniformly asymptotically stable with respect to the fractional solution x(t-η,t0,x0) if γ1 and γ2 are independent of τ0.Definition 2.7.
A functionϕ(r) is said to belong to the class 𝒦 if ϕ∈C[(0,ρ),ℝ+],ϕ(0)=0, and ϕ(r) is strictly monotone increasing in r.Definition 2.8.
For any Lyapunov-like functionV(t,x)∈C[ℝ+×ℝn,ℝ+], we define the fractional-order Dini derivatives in Caputo’s sense cD+qV(t,x) and cD_qV(t,x) as follows
(2.23)cD+qV(t,x)=limh→0+sup1hq[V(t,x)-V(t-h,x-hqf(t,x))],(2.24)cD_qV(t,x)=limh→0-inf1hq[V(t,x)-V(t-h,x-hqf(t,x))]
for (t,x)∈ℝ+×ℝn.Definition 2.9.
For a real-valued functionV(t,x)∈C[ℝ+×ℝn,ℝ+], we define the generalized fractional-order derivatives (Dini-like derivatives) in Caputo's sense *cD+qV(t,y-x̃) and *cD_qV(t,y-x̃) as follows
(2.25)*cD+qV(t,y-x̃)=limh→0+sup1hq[V(t,y-x̃)-V(t-h,y-x̃-hq(F(t,y)-f̃(t,x̃)))],(2.26)*cD_qV(t,y-x̃)=limh→0-inf1hq[V(t,y-x̃)-V(t-h,y-x̃-hq(F(t,y)-f̃(t,x̃)))]
for (t,x)∈ℝ+×ℝn.


## 3. Comparing Fractional Stability with Fractional (ITD) Stability

### 3.1. Fractional Classical Notion of Stability

Letx(t,t0,x0) and x(t,t0,y0) be any solutions of the initial value problems of fractional-order differential equations with Caputo’s derivative of (2.16) and  of (3.1), respectively,(3.1)cDqx=f(t,x),x(t0)=y0fort≥t0,t0∈ℝ+,
where f∈C[[t0,T]×ℝn,ℝn].Assume thatf(t,0)=0,t∈ℝ+ so that x=0 is a null solution of fractional-order differential equation with Caputo’s derivative of (3.1) through (t0,0). Now, we can state the well-known definitions concerning the stability of the null solution.Definition 3.1.
The null solutionx=0 of fractional-order differential equation with Caputo’s derivative of (3.1) is said to be stable if and only if for each ϵ>0 and for all t0∈ℝ+, there exists a positive function δ=δ(ϵ,t0) that is continuous in t0 for each ϵ such that
(3.2)∥x0∥≤δimplies∥x(t,t0,x0)∥<ϵfort≥t0.
If δ  is independent of  t0, then the null solution x=0 of initial value problems of fractional-order differential equation with Caputo’s derivative of (3.1) is said to be uniformly stable.Definition 3.2.
The solutionx(t,t0,y0) of initial value problems of fractional-order differential equation with Caputo’s derivative of (3.1) through (t0,y0) is said to be stable with respect to the solution x(t,t0,x0) of fractional-order differential equation with Caputo’s derivative of (3.1) for t≥t0∈ℝ+ if and only if given any ϵ>0  there exists a positive function δ=δ(ϵ,t0) that is continuous in t0 for each ϵ  such that
(3.3)∥y0-x0∥≤δimplies∥x(t,t0,y0)-x(t,t0,x0)∥<ϵfort≥t0.
If δ  is independent of  t0 , then the solution of the fractional-order differential equation with Caputo’s derivative of (3.1) is uniformly stable with respect to the solution x(t,t0,x0) of (2.16).
We remark that for the purpose of studying the classical stability of a given solutionx(t,t0,y0) of the initial value problem of fractional-order differential equation with Caputo's derivative of (3.1), it is convenient to make a change of variable. Let x(t,t0,x0)  and x(t,t0,y0) be the unique solutions of the fractional-order differential equations with Caputo’s derivative (2.16) and (3.1), respectively, and set z(t,t0,y0-x0)=x(t,t0,y0)-x(t,t0,x0) for t≥t0.  Then
(3.4)cDqz(t,t0,y0-x0)=Dqcx(t,t0,y0)-cDqx(t,t0,x0),(3.5)cDqz(t,t0,y0-x0)=f(t,z(t,t0,y0-x0)+x(t,t0,x0))-f(t,x(t,t0,x0)),cDqz(t,t0,y0-x0)=f̃(t,z(t,t0,y0-x0)).
It is easy to observe that  z(t,t0,y0-x0)≡0  is a solution of the transformed initial value problems of the fractional differential equation with Caputo’s derivative if y0-x0=0  which implies f(t,0)=0.  Since cDqz(t)=0  and z(t,t0,0)=0  is the null solution, the solution of x(t,t0,x0) initial value problems of the fractional-order differential equation with Caputo’s  derivative of (2.16) corresponds to the identically null solution of cDqz=f̃(t,z), where f̃(t,z(t,t0,y0-x0))=f(t,z(t,t0,y0-x0)+x(t,t0,x0))-f(t,x(t,t0,x0)).  Hence, we can always assume, without any loss of generality, that x(t,t0,x0)≡0 is the null solution of the given fractional-order differential equation with Caputo’s derivative of (3.1) and we can limit our study of stability to that of the null solution [2, 6, 8]. However, it is impossible to do the same transformation for fractional (ITD) stability which we deal with it.


### 3.2. New Notion of Fractional (ITD) Stability

Letx(t,τ0,y0) be a fractional solution of (2.17) and x̃(t,τ0,x0)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of initial value problems of the fractional-order differential equations with Caputo’s derivative of the system (2.16) for t≥τ0≥0. Let us make a transformation similar to that in (3.5).  Set z(t,τ0,y0-x0)=x(t,τ0,y0)-x(t-η,t0,x0) for t≥τ0. Then(3.6)cDqz(t,τ0,y0-x0)=cDqx(t,τ0,y0)-cDqx(t-η,t0,x0),cDqz(t,τ0,y0-x0)=f̃(η;t,z(t,τ0,y0-x0)).
One can observe that even if y0=x0,z(t,τ0,0) is not zero and is not the null solution of the initial value problems of transformed fractional-order differential equation with Caputo’s derivative and the solution. x(t-η,t0,x0) does not correspond to the identically zero solution of cDqz=f̃(η;t,z). Therefore, we cannot use stability properties of the fractional-order differential equation with Caputo's derivative of null solution in order to find fractional (ITD) stability properties using this approach.


## 3.1. Fractional Classical Notion of Stability

Letx(t,t0,x0) and x(t,t0,y0) be any solutions of the initial value problems of fractional-order differential equations with Caputo’s derivative of (2.16) and  of (3.1), respectively,(3.1)cDqx=f(t,x),x(t0)=y0fort≥t0,t0∈ℝ+,
where f∈C[[t0,T]×ℝn,ℝn].Assume thatf(t,0)=0,t∈ℝ+ so that x=0 is a null solution of fractional-order differential equation with Caputo’s derivative of (3.1) through (t0,0). Now, we can state the well-known definitions concerning the stability of the null solution.Definition 3.1.
The null solutionx=0 of fractional-order differential equation with Caputo’s derivative of (3.1) is said to be stable if and only if for each ϵ>0 and for all t0∈ℝ+, there exists a positive function δ=δ(ϵ,t0) that is continuous in t0 for each ϵ such that
(3.2)∥x0∥≤δimplies∥x(t,t0,x0)∥<ϵfort≥t0.
If δ  is independent of  t0, then the null solution x=0 of initial value problems of fractional-order differential equation with Caputo’s derivative of (3.1) is said to be uniformly stable.Definition 3.2.
The solutionx(t,t0,y0) of initial value problems of fractional-order differential equation with Caputo’s derivative of (3.1) through (t0,y0) is said to be stable with respect to the solution x(t,t0,x0) of fractional-order differential equation with Caputo’s derivative of (3.1) for t≥t0∈ℝ+ if and only if given any ϵ>0  there exists a positive function δ=δ(ϵ,t0) that is continuous in t0 for each ϵ  such that
(3.3)∥y0-x0∥≤δimplies∥x(t,t0,y0)-x(t,t0,x0)∥<ϵfort≥t0.
If δ  is independent of  t0 , then the solution of the fractional-order differential equation with Caputo’s derivative of (3.1) is uniformly stable with respect to the solution x(t,t0,x0) of (2.16).
We remark that for the purpose of studying the classical stability of a given solutionx(t,t0,y0) of the initial value problem of fractional-order differential equation with Caputo's derivative of (3.1), it is convenient to make a change of variable. Let x(t,t0,x0)  and x(t,t0,y0) be the unique solutions of the fractional-order differential equations with Caputo’s derivative (2.16) and (3.1), respectively, and set z(t,t0,y0-x0)=x(t,t0,y0)-x(t,t0,x0) for t≥t0.  Then
(3.4)cDqz(t,t0,y0-x0)=Dqcx(t,t0,y0)-cDqx(t,t0,x0),(3.5)cDqz(t,t0,y0-x0)=f(t,z(t,t0,y0-x0)+x(t,t0,x0))-f(t,x(t,t0,x0)),cDqz(t,t0,y0-x0)=f̃(t,z(t,t0,y0-x0)).
It is easy to observe that  z(t,t0,y0-x0)≡0  is a solution of the transformed initial value problems of the fractional differential equation with Caputo’s derivative if y0-x0=0  which implies f(t,0)=0.  Since cDqz(t)=0  and z(t,t0,0)=0  is the null solution, the solution of x(t,t0,x0) initial value problems of the fractional-order differential equation with Caputo’s  derivative of (2.16) corresponds to the identically null solution of cDqz=f̃(t,z), where f̃(t,z(t,t0,y0-x0))=f(t,z(t,t0,y0-x0)+x(t,t0,x0))-f(t,x(t,t0,x0)).  Hence, we can always assume, without any loss of generality, that x(t,t0,x0)≡0 is the null solution of the given fractional-order differential equation with Caputo’s derivative of (3.1) and we can limit our study of stability to that of the null solution [2, 6, 8]. However, it is impossible to do the same transformation for fractional (ITD) stability which we deal with it.


## 3.2. New Notion of Fractional (ITD) Stability

Letx(t,τ0,y0) be a fractional solution of (2.17) and x̃(t,τ0,x0)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of initial value problems of the fractional-order differential equations with Caputo’s derivative of the system (2.16) for t≥τ0≥0. Let us make a transformation similar to that in (3.5).  Set z(t,τ0,y0-x0)=x(t,τ0,y0)-x(t-η,t0,x0) for t≥τ0. Then(3.6)cDqz(t,τ0,y0-x0)=cDqx(t,τ0,y0)-cDqx(t-η,t0,x0),cDqz(t,τ0,y0-x0)=f̃(η;t,z(t,τ0,y0-x0)).
One can observe that even if y0=x0,z(t,τ0,0) is not zero and is not the null solution of the initial value problems of transformed fractional-order differential equation with Caputo’s derivative and the solution. x(t-η,t0,x0) does not correspond to the identically zero solution of cDqz=f̃(η;t,z). Therefore, we cannot use stability properties of the fractional-order differential equation with Caputo's derivative of null solution in order to find fractional (ITD) stability properties using this approach.


## 4. A Fractional Comparison Result

In our earlier work and in the work of others [4–6], the differences between the classical notion of fractional stability and fractional  ITD stability did not allow the use of the behavior of the null solution in our fractional ITD stability analysis. The main result presented in this section resolves those difficulties with a new approach that allows the use of the fractional stability of the null solution of the comparison system to predict the Caputo’s fractional stability properties of y(t,τ0,y0)  the solution of fractional-order differential equation with Caputo’s derivative of (2.18) with respect to x̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the fractional-order differential equation with Caputo’s derivative of (2.16).Let0<q<1 and p+q=1. The function space is denoted by Cp[[τ0,T],ℝ] as follows:(4.1)Cp[[τ0,T],ℝ]=[u∈C[(τ0,T],ℝ],(t-τ0)1-qu(t)∈C[[τ0,T],ℝ]].
The Riemann-Liouville fractional derivative is defined by(4.2)Dqx(t)=x(τ0)(t-τ0)-qΓ(1-q)+∫τ0t(t-s)-qΓ(1-q)ddsx(s)ds.
Now, we will prove the following comparison result.Theorem 4.1.
Assume thatm∈Cp[[τ0,T],ℝ+] is locally Hölder continuous, g∈Cp[[τ0,T]×ℝ+,ℝ] and
(4.3)Dqm(t)≤g(t,m(t)),τ0≤t≤T.
Let r(t) be the maximal solution of the initial value problem of fractional-order scalar differential equation with Riemann-Liouville's derivative
(4.4)Dqu(t)=g(t,u(t)),u(t)(t-τ0)1-q∣t=τ0=u0≥0
existing on [τ0,T] such that m0≤u0, where m0=m(t)(t-τ0)1-q∣t=τ0. Then we have
(4.5)m(t)≤r(t),τ0≤t≤T.Proof.
In view of the definition of the maximal solutionr(t) of the fractional-order differential equation with Riemann-Liouville’s derivative of (4.4), it is enough to prove that
(4.6)m(t)<u(t,ϵ),τ0≤t≤T,
where u(t,ϵ) is any solution of the initial value problem of fractional-order scalar differential equation with Riemann-Liouville's derivative
(4.7)Dqu=g(t,u)+ϵwithinitialvalueu0+ϵ,ϵ>0.
Now it follows from (4.7) that
(4.8)Dqu(t,ϵ)>g(t,u(t,ϵ)).
Then by applying the comparison result [2, Theorem 2.1 in page 23], we get (4.6) and since limϵ→0u(t,ϵ)=r(t) uniformly on each compact set τ0≤t≤T0<T. Hence,
(4.9)m(t)≤limϵ→0u(t,ϵ)=r(t),τ0≤t≤T.
The proof is complete.Theorem 4.2.
Assume thatf∈C[[τ0,T]×S(ρ),ℝn] and [x,f(t,x)]+≤g(t,∥x∥],(t,x)∈[τ0,T]×S(ρ), where [x,f(t,x)]+=limh→0+sup(1/hq)[∥x∥-∥x-hqf(t,x)∥] and g∈C[[τ0,T]×ℝ+,ℝ],g(t,0)≡0. Then the stability properties of the trivial solution of the comparison initial value problem of fractional-order differential equation with Caputo's derivative
(4.10)cDqu=g(t,u(t)),u(τ0)=u0≥0
imply the corresponding stability results of the solution x(t,τ0,y0) of the initial value problem of the fractional-order differential equation with Caputo's derivative of (2.17), respectively.Proof.
Letu≡0 of (4.10) be stable. Then given 0<ϵ<ρ and τ0≥0, there exists for a δ=δ(ϵ,τ0)>0 with the property that
(4.11)0≤u0<δimpliesu(t,τ0,u0)<ϵ,t≥τ0.
We claim that the trivial solution of (2.17) is stable for these ϵ and δ. If this was false, then there would exists a solution x(t) of (2.17) and t1>τ0 such that
(4.12)∥x(t1)∥=ϵ,∥x(t)∥≤ϵforτ0≤t≤t1.
For [τ0,t1], we set m(t)=∥x(t)∥ and choose ∥y0∥≤u0. Then we have
(4.13)x(t)-S(x,h,r,q)=hqf(t,x(t))+ϵ(hq)
which shows that S(x,h,r,q)=x(t)-hqf(t,x(t))-ϵ(hq) where ϵ(hq)/hq→0 as h→0+. Now, by using the fractional-order Dini derivatives in Caputo’s sense cD+qm(t) in Definition 2.8 as in (2.23), we have
(4.14)cD+qm(t)=limh→0+sup1hq[∥x(t)∥-∥x(t)-hqf(t,x(t))∥]≤g(t,m(t))
for τ0≤t≤t1 and m(τ0)=∥y0∥.
This yields by comparison Theorem4.1, the estimate
(4.15)∥x(t,τ0,y0)∥≤r(t,τ0,∥y0∥),τ0≤t≤t1,
where r(t,τ0,u0) is the maximal solution of (4.4). At t=t1, we therefore arrive at the following contradiction
(4.16)ϵ=∥x(t1,τ0,y0)∥≤r(t1,τ0,∥y0∥)<ϵ.
Therefore, this do justify our claim.Hence the trivial solution of initial value problem of the fractional-order differential equation with Caputo’s derivative of (2.17) is stable.
Next suppose thatu≡0 is asymptotically stable. Since this implies by definition of the stability of u≡0, the stability of the trivial solution of (4.10) is the foregoing argument. This means the inequality (4.15) holds for all τ0≤t and hence, it is clear, by hypothesis, that if ∥x0∥<δ0, then limt→∞∥x(t,τ0,x0)∥=0. The proof is therefore complete.


## 5. An Initial Time Difference Fractional Comparison Result

In this section, we have an other comparison result in which the stability properties of the null solution of the comparison system imply the corresponding initial time difference stability properties of the perturbed fractional-order differential system in Caputo’s sense with respect to the unperturbed fractional-order differential system in Caputo’s sense.Theorem 5.1.
Letf,F∈C[[t0,T]×ℝn,ℝn], and let
(5.1)G(t,r)=maxx~,y∈B̅(x0;r)∥F(t,y)-f̃(t,x̃)∥,
where G(t,r)∈C[ℝ+×ℝ+,ℝ+] and B̅ is closed ball with center at x0 and radius r. Assume that r*(t,τ0,∥y0-x0∥) is the maximal solution of initial value problem of fractional-order differential equation with Caputo’s derivative cDqu=G(t,u),u(τ0)=∥y0-x0∥ through (τ0,∥y0-x0∥). x̃(t,τ0,x0)=x(t-η,t0,x0), where x(t,t0,x0)  is any solution of fractional-order differential equation of (2.16) for t≥τ0≥0,t0∈ℝ+, and η=τ0-t0, and y(t,τ0,y0) is the solution of fractional-order differential equation (2.18) with Caputo's derivatives. Then
(5.2)∥y(t,τ0,y0)-x(t-η,t0,x0)∥≤r*(t,τ0,∥y0-x0∥)fort≥τ0.Proof.
Letm(t)=∥y(t,τ0,y0)-x̃(t,τ0,x0)∥ for t≥τ0. Then by using the fractional-order Dini derivatives in Caputo's sense cD+qm(t) in Definition 2.8 as in (2.23), we obtain
(5.3)cD+qm(t)=cD+q[∥y(t,τ0,y0)-x̃(t,τ0,x0)∥]≤∥F(t,y(t,τ0,y0))-f̃(t,x̃(t,τ0,x0))∥≤maxx̃,y∈B̅(x0;m(t))∥F(t,y)-f̃(t,x̃)∥=G(t,m(t)).
Therefore, cD+qm(t)≤G(t,m(t)),m(τ0)=∥y0-x0∥ and by using a standard result in [6], we get m(t)≤r*(t,τ0,∥y0-x0∥).Now, we can formulate the comparison results via Lyapunov-like functions.Theorem 5.2.
LetV(t,z)∈C[ℝ+×ℝn,ℝ+] and V(t,z) be locally Lipschitzian in z. Assume that the generalized fractional-order derivatives (Dini-like derivatives) in Caputo’s sense
(5.4)*cD+qV(t,y-x̃)=limh→0+sup1hq[V(t,y-x̃)-V(t-h,y-x̃-hq(F(t,y)-f̃(t,x̃)))]
satisfies *cD+qV(t,y-x̃)≤G(t,V(t,y-x̃)) with (t,x̃),(t,y)∈ℝ+×ℝn, where G(t,u)∈C[ℝ+×ℝ+,ℝ].  Let r(t)=r(t,τ0,u0) be the maximal solution of the fractional-order differential equation  Dcqu=G(t,u),u(τ0)=u0≥0, for t≥t0.  If x̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the system (2.16) for t≥τ0≥0, t0∈ℝ+ and η=τ0-t0 and y(t)=y(t,τ0,y0) is any solution of (2.18) for t≥τ0 such that V(τ0,y0-x0)≤u0, then V(t,y(t)-x̃(t))≤r(t) for t≥τ0.Proof.
Letx̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the system fractional-order differential equation (2.16) for t≥τ0≥0, t0∈ℝ+, and η=τ0-t0 and y(t)=y(t,τ0,y0) is any solution of fractional-order differential equation (2.18) for t≥τ0 such that V(τ0,y0-x0)≤u0 holds. Define m(t)=V(t,y(t)-x̃(t)) for t≥τ0 so that m(t0)≤u0. Then for small enough h>0, we get
(5.5)m(t)-m(t-h)=V(t,y(t)-x̃(t))-V(t-h,y(t-h)-x̃(t-h)).
Since V is locally Lipschitzian in x̃ and fractional-order Dini derivatives in Caputo’s sense cD+qm(t)(5.6)V(t,y(t)-x̃(t))-V(t-h,S(y-x̃,h,r,q))≤V(t,y(t)-x̃(t))-V(t-h,(y(t)-x̃(t))-hq(F(t,y)-f̃(t,x̃)))+V(t-h,(y(t)-x̃(t))-hq(F(t,y)-f̃(t,x̃)))-V(t-h,S(y-x̃,h,r,q)),
where L>0 is the Lipschitz constant, S(y-x̃,h,r,q)=y-x̃-hq[(F(t,y)-f̃(t,x̃))]-[ϵ1(hq)-ϵ2(hq))] and ϵ1 and ϵ2 are error terms
(5.7)cD+qm(t)≤limh→0+sup1hq[V(t,y(t)-x̃(t))-V(t-h,(y(t)-x̃(t))-hq(F(t,y)-f̃(t,x̃)))]+limh→0+sup1hq[V(t-h,(y(t)-x̃(t))-hq(F(t,y)-f̃(t,x̃)))-V(t-h,S(y-x̃,h,r,q))],cD+qm(t)≤limh→0+sup1hq[L(ϵ1(hq)-ϵ2(hq))]+limh→0+sup1hq[V(t,y(t)-x̃(t))-V(t-h,(y(t)-x̃(t)))-hq(F(t,y)-f̃(t,x̃))],
where limh→0+supL[(ϵ1(hq)-ϵ2(hq))/hq]→0. Since *cD+qV(t,y-x̃) is the generalized fractional-order derivatives (Dini-like derivatives) in Caputo’s sense, we have
(5.8)cD+qm(t)≤*cD+qV(t,y(t)-x̃(t))≤G(t,V(t,y(t)-x̃(t)))=G(t,V(t,m(t))),cD+qm(t)≤G(t,V(t,m(t))),m(τ0)=V(τ0,y(τ0)-x̃(τ0))≤u0.By using Theorem5.1, this implies(5.9)m(t)=V(t,y(t)-x̃(t))≤r(t,τ0,∥y0-x0∥),wherer is the maximal solution of cDqu=G(t,u),u(τ0)=u0≥0 for t≥t0.Now, we present the main comparison result that yields knowledge of initial time difference fractional stability properties if we know the stability properties of the null solution of the fractional comparison system.Theorem 5.3.
Assume that
(i) letV(t,z)∈C[ℝ+×ℝn,ℝ+] be locally Lipschitzian in z, positive definite and decrescent where the fractional-order Dini derivatives in Caputo’s sense cD+qm(t)
(5.10)cD+qm(t)≤limh→0+sup1hq[V(t,y(t)-x̃(t))-V(t-h,(y-x̃)-hq(F(t,y)-f̃(t,x̃)))]
satisfies *cD+qV(t,y-x̃)≤G(t,V(t,y-x̃)) for (t,x̃) and (t,y)∈ℝ+×ℝn, where G(t,u)∈C[ℝ+×ℝ+,ℝ] and the generalized fractional-order (Dini-like) derivatives in Caputo's sense *cD+qV(t,x),(5.11)a(∥x∥)≤V(t,x)≤b(∥x∥),(t,x)∈ℝ+×ℝn,a,b∈𝒦.
(ii) Letr(t)=r(t,τ0,u0) be the maximal solution of the fractional-order differential equation with Caputo’s derivative
(5.12)cDqu=G(t,u),u(τ0)=u0≥0fort≥τ0.
Then the stability properties of the null solution of the fractional-order differential system with Caputo’s derivative (5.12) with G(t,0)=0 imply the corresponding stability properties of y(t,τ0,y0) any solution of fractional-order differential system with Caputo’s derivative (2.18) with respect to x̃(t,τ0,x0)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of fractional-order differential system with Caputo’s derivative of (2.16).Proof.
Letx̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the fractional-order differential system with Caputo's derivative of (2.16) for t≥t0≥0, t0∈ℝ+, and η=τ0-t0 and y(t)=y(t,τ0,y0) is any solution of fractional-order differential system with Caputo's derivative of (2.18) for t≥t0 such that V(τ0,y0-x0) holds. If we define m(t)=V(t,y(t)-x̃(t)) for t≥τ0 so that m(τ0)≤u0, then Theorems 5.1 and 5.2 imply that
(5.13)cD+qm(t)≤G(V(t,m(t))),m(τ0)=V(τ0,y(τ0)-x̃(τ0))≤u0,
where the fractional-order Dini derivatives in Caputo’s sense cD+qm(t) and the generalized fractional-order (Dini-like) derivatives in Caputo's sense *cD+qV(t,x) have been used. Thus, m(t)=V(t,y(t)-x̃(t))≤r(t,τ0,∥y0-x0∥), where r is the maximal solution of the fractional comparison system of (5.12) with Caputo's derivative. Let the null solution of the fractional comparison system of (5.12) with Caputo's derivative be stable. Given any ϵ>0, since V is positive definite and a∈𝒦 by (i) we have
(5.14)a(∥y-x̃∥)≤V(t,y-x̃)for(t,x̃),(t,y)∈ℝ+×ℝn,V(t,y(t)-x̃(t))≤r(t,τ0,∥y0-x0∥)<a(ϵ)fort≥τ0providedthat∥y0-x0∥<δ(ϵ,τ0).
Hence
(5.15)V(t,y(t)-x̃(t))≤r(t,τ0,∥y0-x0∥)<a(ϵ).
Since a-1 exists, we have ∥y(t)-x̃(t)∥<ϵ and ∥y0-x0∥<δ(ϵ,τ0). Therefore, y(t,τ0,y0) the solution of fractional-order differential equation of (2.18) with Caputo's derivative is stable with respect to x̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the fractional-order differential equation of (2.16) with Caputo's derivative. If the null solution of the fractional comparison system of (5.12) with Caputo's derivative is asymptotically stable, then
(5.16)a(∥y(t)-x̃(t)∥)≤r(t,τ0,∥y0-x0∥)holdsfort≥τ0,∥y0-x0∥smallenough.
That implies
(5.17)limt→∞∥y(t,τ0,y0)-x(t-η,t0,x0)∥=0
since a∈𝒦. Hence, y(t,τ0,y0) the solution of fractional differential equation (2.18) is asymptotically stable with respect to x̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the system (2.16). Since V is decrescent and b∈𝒦 by (i) we have
(5.18)V(t,y-x̃)≤b(∥(y-x̃)∥)for(t,x̃),(t,y)∈ℝ+×ℝn
and the choice of δ=δ(ϵ) is independent of τ0.
Thus, uniform stability and uniform asymptotic stability of the fractional comparison system of (5.12) with Caputo's derivative imply the corresponding uniform stability and uniform asymptotic stability of the fractional solution of (2.18) in Caputo’s sense with respect to x̃(t)=x(t-η,t0,x0), where x(t,t0,x0) is any solution of the fractional system of (2.16) in Caputo's sense. Hence, x(t,t0,x0) is any solution of the fractional system of (2.16) in Caputo’s sense that is uniformly stable and uniformly asymptotically stable.



---

*Source: 762857-2010-02-16.xml*