 Research
 Open Access
 Published:
Boundedness and Lagrange stability of fractional order perturbed system related to unperturbed systems with initial time difference in Caputo's sense
Advances in Difference Equations volume 2011, Article number: 54 (2011)
Abstract
In this paper, we have investigated that initial time difference boundedness criteria and Lagrange stability for fractional order differential equation in Caputo's sense are unified with Lyapunovlike functions to establish comparison result. 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 present a comparison result that again gives the null solution a central role in the comparison fractional order differential equation when establishing initial time difference boundedness criteria and Lagrange stability of the perturbed fractional order differential equation with respect to the unperturbed fractional order differential equation in Caputo's sense.
AMS(MOS) Subject Classification: 34C11; 34D10; 34D99.
1 Introduction
The concept of nonintegerorder derivative, popularly known as fractional derivative, goes back to the 17th century [1, 2]. It is only a few decades ago, it was realized that the derivatives of arbitrary order provide an excellent framework for modeling the realworld problems in a variety of disciplines from physics, chemistry, biology and engineering such as viscoelasticity and damping, diffusion and wave propagation, electromagnetism, chaos and fractals, heat transfer, electronics, signal processing, robotics, system identification, traffic systems, genetic algorithms, percolation, modeling and identification, telecommunications, irreversibility, control systems as well as economy, and finance [1, 3–5].
There has been a surge in the study of the theory of fractional order differential systems, but it is still in the initial stages. We have investigated the boundedness and Lagrange stability of perturbed solution with respect to unperturbed solution with ITD of the nonlinear differential equations of fractional order. The differential operators are taken in the Caputo's sense, we have the relations among the Caputo, RiemannLiouville and GrünwaldLetnikov fractional derivatives, and the initial conditions are specified according to Caputo's suggestion [6], thus allowing for interpretation in a physically meaningful way [4, 5, 7].
The concept of a Lyapunov function has been employed with great success in a wide variety of investigations to understand qualitative and quantitative properties of dynamic systems for many years. Lyapunov' s direct method is a standard technique used in the study of the qualitative behavior of differential systems along with a comparison result [4, 8–11] that allows the prediction of behavior of a differential system when the behavior of the null solution of a comparison system is known. The application of Lyapunov's direct method in boundedness theory [4, 9, 10, 12, 13] has the advantage of not requiring knowledge of solutions. However, there has been difficulty with this approach when trying to apply it to unperturbed fractional differential systems [14, 15] and associated perturbed fractional differential systems with an ITD. The difficulty arises because there is a significant difference between ITD boundedness and Lagrange stability [2, 12–20] and the classical notion of boundedness and Lagrange stability for fractional order differential systems [4, 7]. The classical notions of boundedness and Lagrange stability [5, 7–10, 21] are with respect to the null solution, but ITD boundedness and Lagrange stability [2, 12–20] are 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 in initial time [2, 12–20].
In this work, we have dissipated this complexity and have a new comparison result that 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 [15, 19, 20, 22].
In Section 2, we present basic definitions, fundamental lemmas and necessary rudimentary material. In Section 3, we have a comparison result in which the stability properties of the null solution of the comparison system imply the corresponding (ITD) boundedness and Lagrange stability properties of the perturbed fractional order differential system with respect to the unperturbed fractional order differential system. In Section 4, we have an example as an application how to apply the main results of main theorems, and in Section 5, we give a conclusion.
2 Preliminaries
In this section, we give relation among the fractional order derivatives, Caputo, ReimannLiouville and GrünwaldLetnikov fractional order derivatives, necessary definition of initial value problems of fractional order differential equations with these sense and a comparison result for Lyapunovlike functions.
2.1 Fractional order derivatives: Caputo, ReimannLiouville and GrünwaldLetnikov
Caputo's and ReimannLiouville's definition of fractional derivatives, namely,
respectively order of 0 < q < 1, and p + q = 1 where Γ denotes the Gamma function.
Fractional derivatives and integrals play an important role in the development of theory of fractional dynamic systems [4, 7, 11]. Using of halforder derivatives and integrals leads to a formulation of certain realworld problems in different areas [1, 6]. Fractional derivatives and integrals are also useful in pure mathematics and in applications outside mathematics include such otherwise unrelated topics as: transmission line theory, chemical analysis of aqueous solutions, design of heatflux meters, rheology of soils, growth of intergranular grooves at metal surfaces, quantum mechanical calculations and dissemination of atmospheric pollutants.
The main advantage of Caputo' s approach is that the initial conditions for fractional order differential equations with Caputo derivative take on the same form as that of ordinary differential equations with integer derivatives another difference is that the Caputo derivative for a constant C is zero, while the RiemannLiouville fractional derivative for a constant C is not zero but equals to ${D}^{q}C=\frac{C{\left(t{\tau}_{0}\right)}^{q}}{\Gamma \left(1q\right)}$. By using (2.1.1) and therefore,
and
In particular, if x(τ _{0}) = 0, then we obtain
Hence, we can see that Caputo' s derivative is defined for functions for which RiemannLiouville fractional order derivative exists.
Let us write that GrünwaldLetnikov' s notion of fractional order derivative in a convenient form
where $S\left(x,h,r,q\right)=\sum _{r=1}^{n}{\left(1\right)}^{r+1}\left(\begin{array}{c}\hfill q\hfill \\ \hfill r\hfill \end{array}\right)x\left(trh\right)$ If we know that x(t) is continuous and $\frac{dx\left(t\right)}{dt}$ exist and integrable, then RiemannLiouville and GrünwaldLetnikov fractional order derivatives are connected by the relation
By using (2.1.3) implies that we have the relations among the Caputo, RiemannLiouville and GrünwaldLetnikov fractional derivatives
The foregoing equivalent expressions are very useful in the study of qualitative properties of solutions of fractional order differential equations.
2.2 Fractional order differential equations with Caputo's derivative
The main advantage of Caputo' s approach to fractional derivative is that the initial values and the notion of solution parallel the IVP of differential equations, where the derivative is of order one, that is the usual derivative. Since no known physical interpretation of initial conditions in RiemannLiouville' s sense [4, 7, 11] was available, it was felt the solutions obtained are practically useless. Under natural conditions on x(t) as q → n, the Caputo' s derivative becomes the conventional n th derivative of x(t) for n  1 < q < n.
Consider the initial value problems of the fractional order differential equations with Caputo derivative
and the perturbed system of initial value problem of the fractional order differential equation with Caputo's derivative of (2.2.2)
where f, F, H ∈ C[[t _{0}, τ _{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.2.3) and R(t, y) is said to be perturbation term.
We will only give the basic existence and uniqueness result with the Lipschitz condition by using contraction mapping theorem and a weighted norm with MittagLeffler function in [4].
Theorem 2.2.1: Assume that

(i)
f ∈ C[R,ℝ^{n}] and bounded by M on R where R = [(t, x) : t _{0} ≤ t ≤ t _{0} + T, x  x _{0} ≤ b];

(i)
(ii) f(t, x)  f(t, y)  ≤ L x  y, L > 0, (t, x) ∈ R where the inequalities are componentwise.
Then there exist a unique solution x(t) = x(t, t _{0}, x _{0}) on [t _{0}, t _{0} + α] for the initial value problem of the fractional order differential equation with Caputo's derivative of (2.2.1) where $\alpha =min\left[T,{\left(\frac{b\Gamma \left(q+1\right)}{M}\right)}^{\frac{1}{q}}\right]$.
Proof of Theorem 2.3.1, please see in [4].
Corollary 2.2.1: Let 0 < q < 1, and f : (t _{0}, t _{0} + T] × Sρ → ℝ be a function such that f(t, x) ∈ L(t _{0}, t _{0} + T) for any x ∈.Sρ. If x(t) ∈ L(t _{0}, t _{0} + T), then x(t) satisfies a.e. the initial value problems of the fractional order differential equations with Caputo's derivative (2.2.5) if, and only if, x(t) satisfies a.e. the Volterra fractional order integral equation (2.2.6).
Proof of Corollary 2.2.1, please see in [7].
We assume that we have sufficient conditions to the existence and uniqueness of solutions through (t _{0}, x _{0}) and (τ _{0}, y _{0}). If f ∈ C[[t _{0}, t _{0} + T] × ℝ^{n},ℝ^{n}] and x(t) ∈ C ^{q}[[t _{0}, T], ℝ] is the solution of
where ^{c} D ^{q} x is the Caputo fractional order derivative of x as in (2.1.1), then it also satisfies the Volterra fractional order integral equation
and that every solution of (2.2.6) is also a solution of (2.2.5), for detail please see [7].
2.3 ITD boundedness and Lagrange stability, fundamental Lemmata and Lyapunovlike function
Before we establish our comparison theorem and boundedness criteria and Lagrange stability for initial time difference, we need to introduce the following definitions of ITD boundedness and Lagrange stability and Lyapunovlike functions.
Definition 2.3.1: The solution y(t, τ _{0}, y _{0}) of the initial value problems of fractional order differential equation with Caputo' s derivative of (2.2.3) through (τ _{0}, y _{0}) is said to be initial time difference equibounded with respect to the solution $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$, where x(t, t _{0}, x _{0}) is any solution of the initial value problems of fractional order differential equation with Caputo' s derivative of (2.2.1) for t ≥ τ _{0}, τ _{0} ∈ ℝ_{+} and η = τ _{0}  t _{0} if and only if for any α > 0 there exist positive functions β = β(τ _{0}, α) and γ = γ(τ _{0}, α) that is continuous in τ _{0} for each α such that
If β and γ are independent of τ _{0}, then the solution y(t, τ _{0}, y _{0}) of the initial value problems of fractional order differential equation with Caputo's derivative of (2.2.3) is initial time difference uniformly equibounded with respect to the solution x(t  η, t _{0}, x _{0}).
Definition 2.3.2: The solution y(t, τ _{0}, y _{0}) of the initial value problems of fractional order differential equation with Caputo' s derivative of (2.2.3) through (τ _{0}, y _{0}) is said to be initial time difference quasiequiasymptotically stable (equiattractive in the large) with respect to the solution $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ for t ≥ τ _{0}, τ _{0} ∈ ℝ_{+} if for each ϵ > 0 and each α > 0 there exist a positive function γ = γ(τ _{0}, α) and T = T(τ _{0}, ϵ, α) > 0 a number such that
If T and γ are independent of τ _{0}, then the solution y(t, τ _{0}, y _{0}) of the initial value problems of fractional order differential equation with Caputo's derivative of (2.2.3) is initial time difference uniformly quasiequiasymptotically stable with respect to the solution x(t  η, t _{0}, x _{0}). If the Definition 2.3.1 and the Definition 2.3.2 hold together, then we have initial time difference Lagrange stability.
Definition 2.3.3: A function ϕ(r) is said to belong to the class $\mathcal{K}$ if ϕ ∈ C[(0,ρ),ℝ_{+}], ϕ(0) = 0, and ϕ(r) is strictly monotone increasing in r. It is said to belong to class ${\mathcal{K}}_{\infty}$ if ρ = ∞ and ϕ (r) → ∞ as r → ∞.
Definition 2.3.4: For any Lyapunovlike function V(t, x) ∈ C[ℝ_{+} × ℝ^{n}, ℝ_{+}] we define the fractional order Diniderivatives in Caputo's sense ${}^{c}{D}_{+}^{q}V\left(t,x\right)$ and ${}^{c}{D}_{}^{q}V(t,x)$ as follows
for (t, x) ∈ ℝ_{+} × ℝ^{n}.
Definition 2.3.5: For a realvalued function V(t, x) ∈ C[ℝ_{+} × ℝ^{n}, ℝ_{+}] we define the generalized fractional order derivatives (Dinilike derivatives) in Caputo's sense ${}_{*}^{c}{D}_{+}^{q}V\left(t,y\stackrel{\u0303}{x}\right)$ and ${}_{*}^{c}{D}_{}^{q}V\left(t,y\stackrel{\u0303}{x}\right)$ as follows
for (t, x) ∈ ℝ_{+} × ℝ^{n}.
Lemma 2.3.1: (see [14]) Let f, F ∈ C[[t _{0}, T] × ℝ^{n}, ℝ^{n}], and let
where G(t, r) ∈ C[ℝ_{+} × ℝ_{+}, ℝ_{+}] and $\stackrel{\u0304}{B}$ is closed ball with center at x _{0} and radius r. Assume that r*(t, τ _{0},  y _{0}  x _{0} ) is the maximal solution of initial value problem of fractional order differential equation with Caputo' s derivative d ^{c} D ^{q} u = G(t, u),u(τ _{0}) = y _{0}  x _{0}  through (τ _{0},  y _{0}  x _{0} ). $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ and y(t, τ _{0}, y _{0}) is the solution of fractional order differential equation (2.2.3) with Caputo' s derivatives. Then
Lemma 2.3.2: (see [14]) Let V(t, z) ∈ C[ℝ_{+} × ℝ^{n}, ℝ_{+}] and V(t, z) be locally Lipschitzian in z. Assume that the generalized fractional order derivatives (Dinilike derivatives) in Caputo's sense
satisfies ${}_{*}^{c}{D}_{+}^{q}V\left(t,y\stackrel{\u0303}{x}\right)\le G\left(t,V\left(t,y\stackrel{\u0303}{x}\right)\right)$ with $\left(t,\stackrel{\u0303}{x}\right),\left(t,y\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$, where G(t, u) ∈ C[ℝ_{+} × ℝ_{+}, ℝ]. Let r(t) = r(t, τ _{0}, u _{0}) be the maximal solution of the fractional order differential equation ^{c} D ^{q} u = G(t, u),u(τ _{0}) = u _{0} ≥ 0, for t ≥ t _{0}. If $\stackrel{\u0303}{x}\left(t\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ and y(t) = y(t, τ _{0}, y _{0}) is any solution of (2.2.3) for t ≥ τ _{0} such that V(τ _{0}, y _{0}  x _{0}) ≤ u _{0} then $V\left(t,y\left(t\right)\stackrel{\u0303}{x}\left(t\right)\right)\le r\left(t\right)$ for t ≥ τ _{0}.
3 Initial time difference fractional comparison results
In this section, we have an other comparison result in which the boundedness and Lagrange stability properties of the null solution of the comparison system imply the corresponding initial time difference boundedness and Lagrange 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.
3.1 ITD boundedness criteria and Lagrange stability
Theorem 3.1.1: Assume that

(i)
Let V(t, z) ∈ C[ℝ_{+} × ℝ^{n}, ℝ_{+}] be locally Lipschitzian in z and the fractional order Dini derivatives in Caputo' s sense ${}^{c}{D}_{+}^{q}V(t,y(t)\tilde{x}(t))$
$${}^{c}{D}_{+}^{q}V(t,y(t)\tilde{x}(t))\le \underset{h\to {0}^{+}}{\mathrm{lim}}\mathrm{sup}\frac{1}{{h}^{q}}[V(t,y(t)\tilde{x}(t))V(th,(y\tilde{x}){h}^{q}(F(t,y)\tilde{f}(t,\tilde{x})))]$$satisfies ${}_{*}^{c}{D}_{+}^{q}V\left(t,y\stackrel{\u0303}{x}\right)\le G\left(t,V\left(t,y\stackrel{\u0303}{x}\right)\right)$ for $\left(t,\stackrel{\u0303}{x}\right),\left(t,y\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$, (t, y) ∈ ℝ_{+} × ℝ^{n}, where G(t, u) ∈ C[ℝ_{+} × ℝ_{+}, ℝ] and the generalized fractional order (Dinilike) derivatives in Caputo's sense ${}_{*}^{c}{D}_{+}^{q}V\left(t,x\right)$;

(ii)
Let V(t, x) be positive definite such that
$$b\left(\left\rightx\left\right\right)\le V\left(t,x\right)\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{with}}\phantom{\rule{2.77695pt}{0ex}}\left(t,x\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$$(3.1.1)and $b\in \mathcal{K},b\left(u\right)\to \infty $ as u → ∞ on the interval 0 ≤ u < ∞;

(iii)
Let r(t) = r(t, τ _{0}, u _{0}) be the maximal solution of the fractional order differential equation with Caputo's derivative
$${}^{c}{D}^{q}u=G(t,u),\phantom{\rule{0.5em}{0ex}}u({\tau}_{0})={u}_{0}\ge 0\phantom{\rule{0.5em}{0ex}}\text{for}\phantom{\rule{0.5em}{0ex}}t\ge {\tau}_{0}.$$(3.1.2)
Then the boundedness properties of the null solution of the fractional order differential system with Caputo's derivative (3.1.2) with G(t, 0) = 0 imply the corresponding initial time difference boundedness properties of y(t, τ _{0}, y _{0}) any solution of fractional order differential system with Caputo's derivative (2.2.3) with respect to $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ where x(t, t _{0}, x _{0}) is any solution of fractional order differential system with Caputo's derivative of (2.2.1).
Proof: Let α > 0 and τ _{0} ∈ ℝ_{+} be given, and let  y _{0}  x _{0}  < α and τ _{0}  t _{0} ≤ γ for γ(τ _{0}, α) > 0. In view of the hypotheses on V(t, x), there exists a number α _{1} = α _{1}(τ _{0}, α) > 0 satisfying the inequalities
together. Assume that comparison system (3.1.2) is equibounded. Then, given α _{1} ≥ 0 and τ _{0} ∈ ℝ_{+} there exist a β _{1} = β _{1}(τ _{0}, α) that is continues in τ _{0} for each α such that
Moreover, b(u) → ∞ as u → ∞, we can choose a L = L(τ _{0}, α) verifying the relation
Now let u _{0} = V(τ _{0}, y _{0}  x _{0}). Then assumption (i) and Lemma 2.3.2 show that
where r(t, τ _{0}, u _{0}) is the maximal solution of comparison equation (3.1.2). Suppose, if possible, that there is a solution of system (2.2.4) w(t, τ _{0}, w _{0}) = y(t, τ _{0}, y _{0})  x(t  η, t _{0}, x _{0}) for t ≥ τ _{0} with  y _{0}  x _{0}  < α having the property that, for some t _{1} > τ _{0}, ${t}_{1}>{\tau}_{0},\left\righty(t,{\tau}_{0},{y}_{0})\tilde{x}(t,{\tau}_{0},{x}_{0}=L$. Then because of relations (3.1.1), (3.1.3), (3.1.4) and (3.1.5), there results oddity
then
These complete the proof.
Theorem 3.1.2: Let the assumption of Theorem 3.1.1 holds. Then the quasiequiasymptotically stability properties of the null solution of the fractional order differential system with Caputo's derivative (3.1.2) with G(t,0) = 0 imply the corresponding initial time difference quasiequiasymptotically stability properties of y(t, τ _{0}, y _{0}) any solution of fractional order differential system with Caputo's derivative (2.2.3) with respect to $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ where x(t, t _{0}, x _{0}) is any solution of fractional order differential system with Caputo's derivative of (2.2.1).
Proof: We wan3t to prove the theorem by considering Definition 2.3.2.
Let ϵ > 0, α ≥ 0 and τ _{0} ∈ ℝ_{+} be given and let  y _{0}x _{0}  ≤ α and τ _{0}  t _{0} ≤ γ for γ(τ _{0}, α) > 0. As in the proof of the Theorem 3.1.1, there exists a α _{1} = α _{1}(τ _{0}, α) satisfying
simultaneously. Since for comparison system (3.1.2) is quasiequiasymptotically stable. Then, given α _{1} ≥ 0, b(ϵ) and τ _{0} ∈ ℝ_{+} there exist a T = T(τ _{0}, α, ϵ) such that
Choose u _{0} = V(τ _{0}, y _{0}  x _{0}). Then assumption (i) and Lemma 2.3.2 show that
If possible, let there exist a sequence {t _{ k }},
such that, for some solution of system (2.2.4) w(t, τ _{0}, w _{0}) = y(t, τ _{0}, y _{0})  x(t  η, t _{0}, x _{0}) for t ≥ τ _{0} with  y _{0}  x _{0} ≤ α we have
This implies, in view of the inequalities (3.1.1), (3.1.6) and (3.1.7)
which proves
Therefore, these complete the proof.
Theorem 3.1.3: Let the assumption of Theorem 3.1.1 holds as

(i)
Let V(t, z) ∈ C[ℝ_{+} × ℝ^{n}, ℝ_{+}] be locally Lipschitzian in z and the fractional order Dini derivatives in Caputo' s sense ${}^{c}{D}_{+}^{q}V(t,y(t)\tilde{x}(t))$
$${}^{c}{D}_{+}^{q}V(t,y(t)\tilde{x}(t))\le \underset{h\to {0}^{+}}{\mathrm{lim}}\mathrm{sup}\frac{1}{{h}^{q}}[V(t,y(t)\tilde{x}(t))V(th,(y\tilde{x}){h}^{q}(F(t,y)\tilde{f}(t,\tilde{x})))]$$satisfies ${}_{*}^{c}{D}_{+}^{q}V\left(t,y\stackrel{\u0303}{x}\right)\le G\left(t,V\left(t,y\stackrel{\u0303}{x}\right)\right)$ for $\left(t,\stackrel{\u0303}{x}\right),\left(t,y\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$, (t, y) ∈ ℝ_{+} × ℝ^{n}, where G(t, u) ∈ C[ℝ_{+} × ℝ_{+}, ℝ] and the generalized fractional order (Dinilike) derivatives in Caputo's sense ${}_{*}^{c}{D}_{+}^{q}V(t,x)$;

(ii)
(ii) Let V(t, x) be positive definite such that
$$b\left(\left\rightx\left\right\right)\le V\left(t,x\right)\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{with}}\phantom{\rule{2.77695pt}{0ex}}\left(t,x\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$$and $b\in \mathcal{K},b\left(u\right)\to \infty $ as u → ∞ on the interval [0, ∞);

(iii)
Let r(t) = r(t, τ _{0}, u _{0}) be the maximal solution of the fractional order differential equation with Caputo's derivative
$${}^{c}{D}^{q}u=G(t,u),\phantom{\rule{0.5em}{0ex}}u({\tau}_{0})={u}_{0}\ge 0\phantom{\rule{0.5em}{0ex}}\text{for}\phantom{\rule{0.5em}{0ex}}t\ge {\tau}_{0}.$$
Then the boundedness and Lagrange stability properties of the null solution of the fractional order differential system with Caputo' s derivative (3.1.2) with G(t, 0) = 0 imply the corresponding initial time difference boundedness and Lagrange stability properties of y(t, τ _{0}, y _{0}) any solution of fractional order differential system with Caputo's derivative (2.2.3) with respect to $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ where x(t, t _{0}, x _{0}) is any solution of fractional order differential system with Caputo's derivative of (2.2.1).
Proof: We know that equiLagrange stability requires the equiboundedness and quasiequiasymptotically stability. We proved in Theorem 3.1.1 and Theorem 3.1.2, respectively. Then the proof of Theorem 3.1.3 is complete.
3.2 ITD uniformly boundedness criteria and Lagrange stability
Theorem 3.2.1: Assume that the assumptions of Theorem 3.1.1 hold. In addition to hypotheses of Theorem 3.1.1, let V(t, x) verify the inequality
where $a\in \mathcal{K}$ on the interval [0, ∞).
Then, if fractional order comparison system (3.1.2) is uniformly bounded, the solution y(t, τ _{0}, y _{0}) of (2.2.3) through (τ _{0}, y _{0}) is initial time difference uniformly bounded for t ≥ τ _{0} ∈ ℝ_{+} with respect to the solution x(t  η, t _{0}, x _{0}) through (t _{0}, x _{0}) where x(t, t _{0}, x _{0}) is the solution of (2.2.1) through (t _{0}, x _{0}).
Proof: Let α ≥ 0 and τ _{0} ∈ ℝ_{+} be given, and let  y _{0}  x _{0}  ≤ α, τ _{0}  t _{0} ≤ γ for γ(α) > 0. In view of the hypotheses on V(t, x), there exists a number α _{1} = a(α) satisfying the inequalities
together. Assume that fractional order comparison system (3.1.2) is uniformly equibounded. Then, given α _{1} ≥ 0 and τ _{0} ∈ ℝ_{+} there exist a β _{1} = β _{1}(α) such that
Moreover, b(u) → ∞ as u → ∞, we can choose a L = L(α) verifying the relation
Now let u _{0} = V(τ _{0}, y _{0}  x _{0}). Then assumption (i) and Lemma 2.3.2 show that
where r(t, τ _{0}, u _{0}) is the maximal solution of comparison equation (3.1.2). Suppose, if possible, that there is a solution of system (2.2.4) w(t, τ _{0}, w _{0}) = y(t, τ _{0}, y _{0})  x(t  η, t _{0}, x _{0}) for t ≥ τ _{0} with  y _{0}  x _{0}  ≤ α having the property that, for some t _{1} > τ _{0},
where L is independent of τ _{0}. Then because of relations (3.1.1), (3.1.5), (3.2.2) and (3.2.3), there results contradiction
Therefore,
These completes the proof.
Theorem 3.2.2: Assume that the assumptions of Theorem 3.2.1 holds. Then, if fractional order comparison system (3.1.2) is uniformly quasiequiasymptotically stable, the solution y(t, τ _{0}, y _{0}) of (2.2.3) through (τ _{0}, y _{0}) is initial time difference uniformly quasiequiasymptotically stable for t ≥ τ _{0} ∈ ℝ_{+} with respect to the solution x(t  η, t _{0}, x _{0}) through (t _{0}, x _{0}) where x(t, t _{0}, x _{0}) is the solution of (2.2.1) through (t _{0}, x _{0}).
Proof: We want to prove the theorem by considering Definition 2.3.2 as independent of τ _{0}. Let ϵ > 0, α ≥ 0 and τ _{0} ∈ ℝ_{+} be given. and let  y _{0}  x _{0}  ≤ α and τ _{0}  t _{0} ≤ γ for γ(α) > 0.
As in the preceding proof, there exists a α _{1} = a(α) satisfying
simultaneously. Since for comparison system (3.1.2) is uniformly quasi equiasymptotically stable. Then, given α _{1} ≥ 0, b(ϵ) > 0 and τ _{0} ∈ ℝ_{+} there exist a T = T(α, ϵ) such that
Choose u _{0} = V(τ _{0}, y _{0}  x _{0}). Then assumption (i) and Lemma 2.3.2 show that
If possible, let there exist a sequence {t _{ k }},
such that, for some solution of system (2.2.4) w(t, τ _{0}, w _{0}) = y(t, τ _{0}, y _{0})  x(t  η, t _{0}, x _{0}) for t ≥ τ _{0} with  y _{0}  x _{0}  ≤ α we have
This implies, in view of the inequalities (3.1.1), (3.1.5) and (3.2.4), we obtain
which proves
Therefore, these complete the proof.
Theorem 3.2.3: Assume that

(i)
Let V(t, z) ∈ C[ℝ_{+} × ℝ^{n}, ℝ_{+}] be locally Lipschitzian in z and the fractional order Dini derivatives in Caputo's sense ${}^{c}{D}_{+}^{q}V(t,y(t)\tilde{x}(t))$
$${}^{c}{D}_{+}^{q}V(t,y(t)\tilde{x}(t))\le \underset{h\to {0}^{+}}{\mathrm{lim}}\mathrm{sup}\frac{1}{{h}^{q}}[V(t,y(t)\tilde{x}(t))V(th,(y\tilde{x}){h}^{q}(F(t,y)\tilde{f}(t,\tilde{x})))]$$satisfies ${}_{*}^{c}{D}_{+}^{q}V\left(t,y\stackrel{\u0303}{x}\right)\le G\left(t,V\left(t,y\stackrel{\u0303}{x}\right)\right)$ for $\left(t,\stackrel{\u0303}{x}\right),\left(t,y\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$, where G(t, u) ∈ C[ℝ_{+} × ℝ_{+}, ℝ] and the generalized fractional order (Dinilike) derivatives in Caputo's sense ${}_{*}^{c}{D}_{+}^{q}V(t,x)$;

(ii)
Let V(t, x) be positive definite such that
$$b\left(\left\rightx\left\right\right)\le V\left(t,x\right)\le a\left(\left\rightx\left\right\right)\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{with}}\phantom{\rule{2.77695pt}{0ex}}\left(t,x\right)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$$(3.2.5)and $a,b\in \mathcal{K},b\left(u\right)\to \infty $ as u → ∞ on the interval 0 ≤ u < ∞;

(iii)
Let r(t) = r(t, τ _{0}, u _{0}) be the maximal solution of the fractional order differential equation
with Caputo's derivative
$${}^{c}{D}^{q}u=G(t,u),\phantom{\rule{0.5em}{0ex}}u({\tau}_{0})={u}_{0}\ge 0\phantom{\rule{0.5em}{0ex}}\text{for}\phantom{\rule{0.5em}{0ex}}t\ge {\tau}_{0}.$$
Then the uniformLagrange stability properties of the null solution of the fractional order differential system with Caputo's derivative (3.1.2) with G(t, 0) = 0 imply the corresponding initial time difference uniformLagrange stability properties of y(t, τ _{0}, y _{0}) any solution of fractional order differential system with Caputo's derivative (2.2.3) with respect to $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)=x\left(t\eta ,{t}_{0},{x}_{0}\right)$ where x(t, t _{0}, x _{0}) is any solution of fractional order differential system with Caputo's derivative of (2.2.1).
Proof: By using the Theorem 3.2.1 and the Theorem 3.2.2, we have that the uniform boundedness and uniformly quasiequiasymptotically stability properties of comparison system (3.1.2) imply the corresponding uniform boundedness and uniformly quasiequiasymptotically stability properties of y(t, τ _{0}, y _{0}) of perturbed differential system of (2.2.3) that differs in initial position and initial time with respect to the solution x(t  η, t _{0}, x _{0}), where x(t, t _{0}, x _{0}) is any solution of the unperturbed differential system of (2.2.1). These completes the proof.
4 An example
Example 4.1: Let us consider the unperturbed nonlinear fractional order vector differential system with the order q in Caputo's sense for t ≥ τ _{0}, τ _{0} ∈ ℝ as follows
and its perturbed nonlinear fractional order vector differential system of (4.1 (a)) with the order q in Caputo's sense for t ≥ τ _{0}, τ _{0} ∈ ℝ as follows
where the perturbation term $R\left(t,\stackrel{\u0303}{x},y\right)$ of (4.2 (a)) is
Let us choose the Lyapunov function as $V\left(t,y\stackrel{\u0303}{x}\right)=\left\righty\stackrel{\u0303}{x}\left\right={y}_{1}{\stackrel{\u0303}{x}}_{1}+{y}_{2}{\stackrel{\u0303}{x}}_{2}$ and $y\stackrel{\u0303}{x}\ge 0$ where $\left\righty\stackrel{\u0303}{x}\left\right$ is the norm defined by standard metric in componentwise.
Let a, b ∈ K be defined by
so that we have
Thus, V is positive definite and decrescent. The Dinilike derivative of $V\left(t,y\stackrel{\u0303}{x}\right)$ by substituting in for ${}^{c}{D}^{q}{\tilde{x}}_{1}{,}^{c}{D}^{q}{\tilde{x}}_{2}$, ^{c} D ^{q} y _{ 1 }and ^{c} D ^{q} y _{ 2 }yields
And we have
We apply Theorem 3.2.3 with the comparison system
for t ≥ τ _{0}, τ _{0} ∈ ℝ.
Hence, the Lagrange stability properties of the comparison equation in u imply that the corresponding initial time difference Lagrange stability properties of the y(t, τ _{0}, y _{0}) of the system (4.2) with respect to the solution $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)$ of the system (4.1) for t ≥ τ _{0}, τ _{0} ∈ ℝ.
Remark 4.2: Let q be the integer order 1 and the systems (4.1 (a)) and (4.2 (a)) become the nonlinear vector differential systems for t ≥ τ _{0} ≥ 0 on ℝ
and its perturbed system
If we choose $V\left(t,y\stackrel{\u0303}{x}\right)={\u2225y\stackrel{\u0303}{x}\u2225}^{2}=\u27e8y\stackrel{\u0303}{x},y\stackrel{\u0303}{x}\u27e9={\left({y}_{1}{\stackrel{\u0303}{x}}_{1}\right)}^{2}+{\left({y}_{2}{\stackrel{\u0303}{x}}_{2}\right)}^{2}$, then ${D}_{*}^{+}V\left(t,y\stackrel{\u0303}{x}\right)$ is negative definite as in Example 4.1 we omit the details. Hence, if all the hypotheses of the Theorem 3.2.3 for q = 1 have been satisfied, then the solution y(t, τ _{0}, y _{0}) of (4.4) is initial time difference Lagrange stable with respect to the solution $\stackrel{\u0303}{x}\left(t,{\tau}_{0},{x}_{0}\right)$ of (4.3) for t ≥ τ _{0}, τ _{0} ∈ ℝ since we have
We apply Theorem 3.2.3 with the comparison system
for t ≥ τ _{0}.
Remark 4.3: Boundedness criteria and Lagrange stability of the solution y(t, τ _{0}, y _{0}) of the system (2.3) are initial time differences with respect to the solution x(t η, t _{0}, x _{0}) where x(t, t _{0}, x _{0}) is the solution of (2.1) for t ≥ τ _{0} ≥ 0,.τ _{0} ∈ ℝ is inherently dependent on the order to be chosen.
5 Conclusion
Lyapunov' s second method is a standard technique used in the study of the qualitative behavior of fractional order differential systems with Caputo derivatives along with a comparison results that allows the prediction of behavior of a differential system when the behavior of the null solution of a comparison system is known. The application of Lyapunov' s second method in boundedness theory has the advantage of not requiring knowledge of solutions; however, there has been difficulty with this approach when trying to apply it to unperturbed fractional order differential systems and associated perturbed fractional order differential systems with an initial time difference.
The difficulty arises because there is a significant difference between initial time difference boundedness and Lagrange stability and the classical notion of boundedness and Lagrange stability for fractional order differential systems. The classical notions of boundedness and Lagrange stability are with respect to the null solution, but initial time difference boundedness and Lagrange stability are with respect to the unperturbed fractional order differential system where the perturbed fractional order differential system and the unperturbed fractional order differential system differ in initial conditions.
Therefore, in this work, we have dispersed this intricacy and a new comparison result that again gives the null solution a central role in the comparison fractional order differential system. The direct application and generalization of this result in qualitative method have created many paths for continuing research in this direction.
References
 1.
Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.
 2.
Samko S, Kilbas A, Marichev O: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach 1993, 1006. ISBN 2881248640
 3.
Baleanu D, Sadati SJ, Ghaderi R, et al.: Razumikhin stability theorem for fractional systems with delay. Abstract and Applied Analysis 2010, 2010: 19. Article ID 124812
 4.
Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamical Systems. Cambridge Scientific Publishers; 2009.
 5.
Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.
 6.
Caputo M: Linear models of dissipation whose Q is almost independent. II Geophys J R Astronom 1967, 13: 529539.
 7.
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier Science BV Amsterdam 2006.
 8.
Brauer F, Nohel J: The Qualitative Theory of Ordinary Differential Equations. W.A. Benjamin, Inc., New York; 1969.
 9.
Lakshmikantham V, Leela S: Differential and Integral Inequalities. Volume 1. Academic Press, New York; 1969.
 10.
Lakshmikantham V, Leela S, Martynyuk AA: Stability Analysis of Nonlinear Systems. Marcel Dekker, New York; 1989.
 11.
Li Y, Chen YQ, Podlubny I: Stability of fractionalorder nonlinear dynamic systems: Lyapunov direct method and generalized MittagLeffler stability. Comput Math Appl 2010,59(5 SI):18101821.
 12.
Yakar C: Boundedness Criteria in Terms of Two Measures with Initial Time Difference. Dynamics of Continuous, Discrete and Impulsive Systems. In Series A: Mathematical Analysis. Watam Press, Waterloo; 2007:270275. DCDIS 14 (S2) 1305
 13.
Yakar C, Çiçek M: Theory, Methods and Applications of Initial Time Difference Boundedness Criteria and Lagrange Stability in Terms of Two Measures for Nonlinear Systems. Hacettepe Journal of Mathematics and Statistics 2011,40(2):305330.
 14.
Yakar C, Shaw MD: A Comparison Result and Lyapunov Stability Criteria with Initial Time Difference. Dynamics of Continuous, Discrete and Impulsive Systems. Series A: Mathematical Analysis 2005,12(6):731741.
 15.
Yakar C, Shaw MD: Practical stability in terms of two measures with initial time difference. Nonlinear Anal Theory Methods Appl 2009, 71: e781e785. 10.1016/j.na.2008.11.039
 16.
Lakshmikantham V, Vatsala AS: Differential inequalities with time difference and application. J Inequal Appl 1999, 3: 233244.
 17.
Shaw MD, Yakar C: Generalized variation of parameters with initial time difference and a comparison result in term Lyapunovlike functions. Int J Nonlinear Differ Equ Theory Methods Appl 1999, 5: 86108.
 18.
Shaw MD, Yakar C: Stability criteria and slowly growing motions with initial time difference. Problems Nonlinear Anal Eng Syst 2000, 1: 5066.
 19.
Yakar C: Strict Stability Criteria of Perturbed Systems with respect to Unperturbed Systems in term of Initial Time Difference. In Proceedings of the Conference on Complex Analysis and Potential Theory. World Scientific Publishing; 2007:239248.
 20.
Yakar C, Shaw MD: Initial Time Difference Stability in Terms of Two Measures and Variational Comparison Result. Dynamics of Continuous, Discrete and Impulsive Systems. Series A: Mathematical Analysis 2008, 15: 417425.
 21.
Lakshmikanthama V, Vatsala AS: Basic theory of fractional differential equations. Nonlinear Anal 2008, 69: 26772682. 10.1016/j.na.2007.08.042
 22.
Yakar C: Fractional differential equations in terms of comparison results and lyapunov stability with initial time difference. Abst Appl Anal 2010.,3(762857): 16
Acknowledgements
This work has been supported by The Yıldız Technical University and Yeditepe University Department of Mathematics and The Scientific and Technological Research Council of Turkey.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
The authors have contributed that initial time difference boundedness criteria and Lagrange stability for fractional order differential equation in Caputo's sense are unified with Lyapunovlike functions to establish comparison result. 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 present a comparison result that again gives the null solution a central role in the comparison fractional order differential equation when establishing initial time difference boundedness criteria and Lagrange stability of the perturbed fractional order differential equation with respect to the unperturbed fractional order differential equation in Caputo's sense.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 initial time difference (ITD)
 boundedness and Lagrange stability
 fractional order differential equation
 perturbed fractional order differential systems
 comparison results