Volume 2013, Issue 1 704547
Research Article
Open Access

Analysis of Caputo Impulsive Fractional Order Differential Equations with Applications

Lakshman Mahto

Lakshman Mahto

School of Basic Sciences, Indian Institute of Technology Mandi, Mandi, Himachal Pradesh 175001, India iitmandi.ac.in

Search for more papers by this author
Syed Abbas

Corresponding Author

Syed Abbas

School of Basic Sciences, Indian Institute of Technology Mandi, Mandi, Himachal Pradesh 175001, India iitmandi.ac.in

Search for more papers by this author
Angelo Favini

Angelo Favini

Dipartimento di Matematica, Universitá di Bologna, Pizza di Porta S. Donato 5, 40126 Bologna, Italy unibo.it

Search for more papers by this author
First published: 13 February 2013
Citations: 11
Academic Editor: Nikolai Leonenko

Abstract

We use Sadovskii′s fixed point method to investigate the existence and uniqueness of solutions of Caputo impulsive fractional differential equations of order α ∈ (0,1) with one example of impulsive logistic model and few other examples as well. We also discuss Caputo impulsive fractional differential equations with finite delay. The results proven are new and compliment the existing one.

1. Introduction

Dynamics of many evolutionary processes from various fields such as population dynamics, control theory, physics, biology, and medicine. undergo abrupt changes at certain moments of time like earthquake, harvesting, shock, and so forth. These perturbations can be well approximated as instantaneous change of states or impulses. These processes are modeled by impulsive differential equations. In 1960, Milman and Myšhkis introduced impulsive differential equations in their paper [1]. Based on their work, several monographs have been published by many authors like Samoilenko and Perestyuk [2], Lakshmikantham et al. [3], Bainov and Simeonov [4, 5], Bainov and Covachev [6], and Benchohra et al. [7]. All the authors mentioned perviously have considered impulsive differential equations as ordinary differential equations coupled with impulsive effects. They considered the impulsive effects as difference equations being satisfied at impulses time. So, the solutions are piecewise continuous with discontinuities at impulses time. In the fields like biology, population dynamics, and so forth, problems with hereditary are best modeled by delay differential equations [8]. Problems associated with impulsive effects and hereditary property are modeled by impulsive delay differential equations.

The origin of fractional calculus (derivatives (dα/dtα)f and integrals Iαf of arbitrary order α > 0) goes back to Newton and Leibniz in the 17th century. In a letter correspondence with Leibniz, L’Hospital asked “What if the order of the derivative is 1/2”? Leibniz replied, “Thus it follows that will be equal to , an apparent paradox, from which one day useful consequences will be drawn.” This letter of Leibniz was in September 1695. So, 1695 is considered as the birthday of fractional calculus. Fractional order differential equations are generalizations of classical integer order differential equations and are increasingly used to model problems in fluid dynamics, finance, and other areas of application. Recent investigations have shown that sometimes physical systems can be modeled more accurately using fractional derivative formulations [9]. There are several excellent monographs available on this field [1015]. In [11], the authors give a recent and up-to-date description of the developments of fractional differential and fractional integro-differential equations including applications. The existence and uniqueness of solutions to fractional differential equations has been considered by many authors [1621]. Impulsive fractional differential equations represent a real framework for mathematical modeling to real world problems. Significant progress has been made in the theory of impulsive fractional differential equations [7, 2224]. Xu et al. in their paper [25] have described an impulsive delay fishing model.

Fractional derivatives arise naturally in mathematical problems, for α > 0 and a function f : [0, T] → , recall [10, Definitions 3.1, 2.2]
  • (a)

    the Caputo fractional derivative

    (1)

  • (b)

    the Riemann-Liouville fractional derivative

    (2)

provided that the right-hand sides exist pointwise on [0, T] (Γ denotes the gamma function). Using the Riemann-Liouville fractional integral [10, Definition 2.1] , we have and . exists, for instance, for all α > 0, if ; moreover, . Throughout the paper, we assume that I = [0, T].
One can see that both of the fractional derivatives are actually nonlocal operator because integral is a nonlocal operator. Moreover, calculating time fractional derivative of a function at some time requires all the past history, and hence fractional derivatives can be used for modeling systems with memory. Fractional differential equations can be formulated using both Caputo and Riemann-Liouville fractional derivatives. A Riemann-Liouville initial value problem can be stated as follows:
(3)
or equivalently, in its integral representation [11, Theorem 3.24]. For a physical interpretation of the initial conditions in (3), see [2628]. If derivatives of Caputo type are used instead of Riemann-Liouville type, then initial conditions for the corresponding Caputo fractional differential equations can be formulated as for classical ordinary differential equations, namely, x(0) = x0.
Our main objective is to discuss existence and uniqueness of solutions of the following impulsive fractional differential equation of Caputo type in a Banach space X with norm ∥·∥X:
(4)
where fC(I  ×  X, X), Ik : XX and x0X. 0 = t0 < t1 < t2 < ⋯<tm < tm+1 = T, , , and . We break our function f into two components which satisfy different conditions. We observed that this kind of functions occurs in ecological modeling. We have given the example of logistic equation in the last section. Our main tool is Sadovskii’s fixed point theorem.
Now, we define some important spaces and norm which will encounter frequently:
(5)
with sup-norm ∥·∥, defined by ∥x∥ = sup {∥x(t)∥X : tI}.

Definition 1. A solution of fractional differential equation (4) is a piecewise continuous function x ∈ PC([0, T], X) which satisfied (4).

Definition 2 ([29], Definition 11.1). Kuratowskii noncompactness measure: let M be a bounded set in metric space (X, d), then Kuratowskii noncompactness measure, μ(M) is defined as  inf  {ϵ  :  M covered by a finite many sets such that the diameter of each set ≤ϵ}.

Definition 3 ([29], Definition 11.6). Condensing map: Let Φ : XX be a bounded and continuous operator on Banach space X such that μ(Φ(B)) < μ(B) for all bounded set BD(Φ), where μ is the Kuratowskii noncompactness measure, then Φ is called condensing map.

Definition 4. Compact map: a map f : XX is said to be compact if the image of every bounded subset of X under f is precompact (closure is compact).

Theorem 5 (see [30].)Let B be a convex, bounded, and closed subset of a Banach space X and let Φ : BB be a condensing map. Then, Φ has a fixed point in B.

Lemma 6 ([29], Example 11.7). A map Φ = Φ1 + Φ2 : XX is k-contraction with 0 ≤ k < 1 if

  • (a) Φ1 is k-contraction, that is, ∥Φ1(x) − Φ1(y)∥XkxyX;

  • (b) Φ2 is compact,

and hence Φ is a condensing map.

The structure of the paper is as follows. In Section 2, we prove the existence (Theorem 8) and uniqueness of solutions to (4). We show in Section 3 the existence and uniqueness of solutions for a general class of impulsive functional differential equations of fractional order α ∈ (0,1). In Section 4, we give some examples in favor of our sufficient conditions.

2. Impulsive Fractional Differential Equation

Consider the initial value problem (4) on the cylinder R = {(t, x) ∈ × X : t ∈ [0, T],   xB(0, r)} for some fixed T > 0, r > 0, and assume that there exist p ∈ (0, α), α ∈ (0,1), M1, M2, L1L1/p([0, T], +) and functions f1, f2C(R × X, X) such that f = f1 + f2, and the following assumptions are satisfied:
  • A.1   f1 is bounded and Lipschitz, in particular, ∥f1(t, x)∥XM1(t) and ∥f1(t, x) − f1(t, y)∥XL1(t)∥xyX for all (t, x), (t, y) ∈ R,

  • A.2   f2 is compact and bounded, in particular, ∥f2(t, x)∥XM2(t) for all (t, x) ∈ R,

  • A.3   IkC(X, X) such that ∥Ik(x)∥Xl1 and ∥Ik(x) − Ik(y)∥Xl2xyX,

where C(R × X, X) denotes set of continuous functions from R × X to X and L1/p([0, T], +) denotes space 1/p-Lesbegue measurable functions from [0, T] to + with norm ∥·∥1/p.

Lemma 7 (Fečken et al. [24], Lemma 2). The initial value problem (4) is equivalent to the nonlinear integral equation

(6)
In other words, every solution of the integral equation (6) is also solution of our original initial value problem (4) and conversely.

Theorem 8 (existence of solutions). Under the assumptions (A.1)(A.3), the problem (4) has at least one solution in [0, T], provided that

(7)

Proof. Let Bλ be the closed bounded and convex subset of PC([0, T], X), where Bλ is defined as Bλ = {x : ∥x∥≤λ},   λ = max   {λ0, λ1, …, λm}, and

(8)
Define a map F : BλX such that
(9)
Let us consider that
(10)
Step  1 (F is self mapping). Now, we show that F(Br) ⊂ Br. For t ∈ [0, t1]
(11)
For t ∈ (t1, t2],
(12)
For t ∈ (t2, t3],
(13)
For t ∈ (tm, T],
(14)
and thus F(Bλ) ⊂ Bλ.

Step  2 (F1 is continuous and γ-contraction). To prove the continuity of F1 for t ∈ [0, T], let us consider a sequence xn converging to x. Taking the norm of F1xn(t) − F1x(t), we have

(15)
From the pervoius analysis, we obtain
(16)
To prove that F1 is γ1-contraction, let us consider that, for x, yBr,
(17)
Thus, for
(18)
F1 is γ1-contraction.

Step  3 (F2 is compact). For 0 ≤ τ1τ2T, we have

(19)
The right-hand side of the pervoiusly expression does not depend on x. Thus using Arzela-Ascoli theorem for equicontinuous functions (Diethelm, Theorem D.10 [10]), we conclude that F2(Br) is relatively compact, and hence F2 is completely continuous on I − {t1, t2, …, tm}. In a similar way, it can be prove the equi-continuity of F on and , k = 1,2, …, m. And thus F2 is compact on [0, T].

Step  4 (F is condensing). As F = F1 + F2, F1 is continuous contraction, F2 is compact, so by using Lemma 6, F is condensing map on Br.

And hence by using the Theorem 5, we conclude that (4) has a solution in Br.

Theorem 9. If f is bounded and Lipschitz, in particular, for all (t, x), (t, y) ∈ R and , then the problem (4) has a unique solution in Bλ, provided that

(20)
where c = ((1 − p)/(αp))1−p.

3. Impulsive Fractional Differential Equations with Finite Delay

In this section, we discuss existence and uniqueness of solutions of the following impulsive fractional differential equations of Caputo type with finite delay in a Banach space X with norm |·|
(21)
where f : I × 𝒞X, 𝒞 = C([−r, 0], X) with norm ∥xr = sup {∥x(t)∥X : t ∈ [−r, 0]}. IkC(X, X), (k = 1,2, …, m), and X is a Banach space with a norm |·|X. For any x : [−r, T] → X and tI, xt𝒞 and is defined by xt(s) = x(t + s), s ∈ [−r, 0]. Here, our tools are Banach and Schaefer fixed point theorems.
Define a new Banach space PC([−r, T], X)
(22)

with sup-norm ∥·∥, defined by ∥x∥ = sup {∥x(t)∥X : t ∈ [−r, T]}.

Definition 10. A solution of fractional differential equation (21) is a piecewise continuous function x ∈ PC([−r, T], X) which satisfies (21).

Consider the initial value problem (21) on I × 𝒞 for some fixed T > 0 and assume that there exist p ∈ (0, α), α ∈ (0,1), M3, M4, L2L1/p([0, T], +) such that the following assumptions are satisfied:
  • A.4   fC(I × 𝒞, X),

  • A.5   f bounded, in particular, ∥f(t, ϕ)∥XM3(t) for all (t, ϕ) ∈ I × 𝒞,

  • A.6   f is Lipschitz, in particular, ∥f(t, ϕ) − f(t, ψ)∥XL2(t)  ϕψr for all (t, ϕ), (t, ψ) ∈ I × 𝒞.

Lemma 11 (Fečken et al. [24], Lemma 2). The initial value problem (21) is equivalent to the nonlinear integral equation

(23)
In other words, every solution of the integral equation (23) is also solution of our original initial value problem (21) and conversely.

Remark 12. Since history part/initial condition x(t) = ϕ(t),   t ∈ [−r, 0], is known, so we will investigate the existence and uniqueness of solution in I = [0, T].

Theorem 13 (existence and uniqueness of solution). Under the assumptions (A.3)–(A.6), the problem (21) has a unique solution in [0, T], provided that

(24)
where c = ((1 − p)/(αp))1−p.

Proof. In this case, we define the operator F : PC(I, X) → PC(I, X) by

(25)
Step  1. To prove that F is self mapping, we need to prove that for each x ∈ PC(I, X), Fx ∈ PC(I, X).

The proof is similar to the proof of continuity of F1 in Step  2 of Theorem 8, and hence we omit it.

Step  2 (F is continuous and γ2-contraction). The proof of this step is also similar to the proof of continuous and γ1-contraction of F1 in Step 2 of Theorem 8.

Now by applying Banach’s fixed point theorem, we get that the operator F has an unique fixed point in PC(I, X), and hence the problem (21) has a unique solution in PC([−r, T], X).

Our next result is based on Schaefer’s fixed point theorem. In this case, we replace assumption (A.3) with the following linear growth condition:
  • A.3   Ik bounded, in particular, ,

  • A.5   f bounded, in particular, ∥f(t, ϕ)∥XM4(t)(1 + ∥ϕr) for all (t, ϕ) ∈ I × 𝒞.

Theorem 14. Under the assumptions (A.3) and (A.5), problem (21) has at least one solution.

Proof. We transform the problem into a fixed point problem. For this purpose, consider the operator F : PC(I, X) → PC(I, X) defined by

(26)
Step  1 (F is continuous). Let {xn} be a sequence such that xnx in PC(I, X). Then, for every tI, we have
(27)
We can see that if n,   FxnFx, as xnx and Ik and both f are continuous. Hence, F is continuous.

Step  2 (F maps bounded sets into bounded sets in PC(I, X)). It is enough to show that for any δ > 0, there exists an such that xBδ = {x ∈ PC(I, X)∣∥x∥≤δ}, and we have ∥Fx∥≤l.

For t ∈ [0, T], we have

(28)
Step  3 (F maps bounded sets into equicontinuous sets in PC(I, X)). The proof of this step is similar to the proof of compactness of F2 in Step 3 of Theorem 8.

As a consequence of Steps 1–3 together with PC-type Arzela-Ascoli theorem (Fečken et al. [24], Theorem 2.11), the map F : PC(I, X) → PC(I, X) is completely continuous.

Step  4 (A priori bounds). Now, we prove that the set

  • E(F) = {x ∈ PC(I, X)∣x = λFx, for some λ ∈ (0,1)} is bounded.

We observe that for t ∈ [0, T] and xE(F),   x(t) = λFx(t) and

(29)
and hence
(30)
This shows that E(F) is bounded.

As a consequence of Schaefer’s fixed point theorem, the problem (21) has at least one solution in PC([−r, T], X).

Theorem 15. If f is bounded and Lipschitz, in particular, , for all (t, ϕ), (t, ψ) ∈ I × 𝒞 and , then problem (21) has a unique solution in PC([−r, T], X), provided that

(31)
where c = ((1 − p)/(αp))1−p.

Further, we consider the following more general Caputo fractional differential equation
(32)
where f : I × X × 𝒞X and 𝒞 = C([−r, 0], X) with norm ∥xr = sup {∥x(t)∥X : t ∈ [−r, 0]}, IkC(X, X), (k = 1,2, …, m), and X is a separable real Banach space with the norm ∥·∥X. Here, our tools will be Banach and Schaefer fixed point theorems.

Definition 16. A solution of fractional differential equation (32) is a piecewise continuous function x ∈ PC([−r, T], X) which satisfies (32).

Consider the initial value problem (32) on I × 𝒞 × X for some fixed T > 0 and assume that there exist p ∈ (0, α), M5, M6, L3, L4L1/p([0, T], +) such that the following assumptions are satisfied:
  • A.7   fC(I × X × 𝒞, X),

  • A.8   f bounded, in particular, ∥f(t, x, ϕ)∥XM5(t) for all (t, x, ϕ) ∈ I × X × 𝒞,

  • A.9   f is Lipschitz, in particular, ∥f(t, x, ϕ) − f(t, y, ψ)∥XL3(t)∥xyX + L4(t)∥ϕψr for all (t, x, ϕ), (t, y, ψ) ∈ I × X × 𝒞,

  • A.8   ∥f(t, x, ϕ)∥XM6(t)(1 + ∥xX + ∥ϕr).

Lemma 17 (Fečken et al. [24], Lemma 2). The initial value problem (32) is equivalent to the following nonlinear integral equation

(33)
In other words, every solution of the integral equation (33) is also solution of our original initial value problem (32) and conversely.

Theorem 18. Under the assumptions (A.3), (A.7), (A.8), and (A.9), the problem (32) has a unique solution, provided that

(34)

Proof. The proof is similar to the proof of Theorem 13.

Theorem 19. Under the assumptions (A.3), and (A.8), the problem (32) has at least one solution in PC([−r, T], X).

Proof. The proof is similar to the proof of Theorem 14.

Theorem 20. If f is bounded and Lipschitz, in particular, , for all  (t, x, ϕ), (t, y, ψ) ∈ I × X × 𝒞 and , then the problem (32) has a unique solution in PC([−r, T], X), provided that

(35)
where c = ((1 − p)/(αp))1−p.

4. Examples

Example 21 (fractional impulsive logistic equation). Consider the following class of fractional logistic equations in banach space X with norm ∥·∥X:

(36)
where a(t)∈[a*, a*] and b(t)∈[b*, b*] with a*, b* > 0.

Lemma 22 (Fečken et al. [24], Lemma 2). The initial value problem (36) is equivalent to the nonlinear integral equation

(37)
In other words, every solution of the integral equation (37) is also solution of our original initial value problem (36) and conversely.

We can easily see that for the problem (36), our functions are f1(t, x) = a(t)x and f2(t, x) = −b(t)x2. It is not difficult to deduce that
(38)
Also ∥f2(t, x)∥Xb*x2. From the integral representation of problem (36), we get
(39)
Using Gronwall’s inequality (Diethelm, Lemma 6.19 [10, 31]), we get
(40)
Thus x is bounded which implies that all the assumptions of Theorem 8 are satisfied, and hence there exists a solution of the problem (36).

We give some more examples which are inspired by [24].

Example 23. Consider the following Caputo impulsive delay fractional differential equations

(41)

Set C1 = C([−r, 0], +),   f(t, ϕ) = eνtϕ/((1 + et)(1 + ϕ)),   (t, ϕ)∈[0,1] × C1.

Let ϕ1, ϕ2C1 and let t ∈ [0,1]. Then, we have
(42)
where L*(t) = eνt/2.
Again, for all ϕC1 and each t ∈ [0, T],
(43)
where m1(t) = eνt/2.

For t ∈ [0,1] and some p ∈ (0, α),   L*(t) = m1(t) = eνt/2 ∈ L1/p([0,1], +) with , we can arrive at the inequality . We can see that all the assumptions of Theorem 13 are satisfied, and hence the problem (41) has a unique solution in [0,1].

Example 24. Consider the following Caputo impulsive delay fractional differential equation

(44)

Set C2 = C([0,1], +),   f(t, ϕ) = ϕ/((1 + et)(1 + ϕ)),   (t, ϕ)∈[−r, 0] × C2.

Again, for all ϕC2 and each t ∈ [0, T],
(45)
where m2(t) = et/4.

For t ∈ [0,1] and some p ∈ (0, α),   m2(t) = et/4 ∈ L1/p([0,1], +) with , we can arrive at the inequality 1/4 + cM/Γ(α) < 1. We can see that all the assumptions of Theorem 14 are satisfied, and hence the problem (44) has a solution in [0,1].

Acknowledgments

The authors are thankful to the anonymous reviewer for his/her valuable comments and suggestions. S. Abbas acknowledge “Erasmus Mundus Lot13, India 4EU” for providing him fellowship to visit University of Bologna, Italy. He also acknowledges Professor Stefan Siegmund, Center for Dynamics of TU Dresden, Germany, for his fruitful discussion on this topic and for hosting his short visit.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.