International Journal of Differential Equations

International Journal of Differential Equations / 2013 / Article
Special Issue

Fractional Differential Equations (2012)

View this Special Issue

Research Article | Open Access

Volume 2013 |Article ID 704547 | 11 pages | https://doi.org/10.1155/2013/704547

Analysis of Caputo Impulsive Fractional Order Differential Equations with Applications

Academic Editor: Nikolai Leonenko
Received06 May 2012
Accepted21 Nov 2012
Published13 Feb 2013

Abstract

We use Sadovskii's fixed point method to investigate the existence and uniqueness of solutions of Caputo impulsive fractional differential equations of order 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 and integrals of arbitrary order ) 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 ”? 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 and a function , recall [10, Definitions 3.1, 2.2](a) the Caputo fractional derivative(b) the Riemann-Liouville fractional derivativeprovided that the right-hand sides exist pointwise on ( denotes the gamma function). Using the Riemann-Liouville fractional integral [10, Definition 2.1] , we have and . exists, for instance, for all , if ; moreover, . Throughout the paper, we assume that .

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: 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, .

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 with norm : where , and . , , , and . We break our function 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: with sup-norm , defined by .

Definition 1. A solution of fractional differential equation (4) is a piecewise continuous function which satisfied (4).

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

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

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

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

Lemma 6 ([29], Example 11.7). A map is -contraction with if (a) is -contraction, that is, ;(b) 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 . 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 for some fixed , , and assume that there exist , , and functions such that , and the following assumptions are satisfied:() is bounded and Lipschitz, in particular, and for all ,() is compact and bounded, in particular, for all ,() such that and , where denotes set of continuous functions from to and denotes space -Lesbegue measurable functions from to with norm .

Lemma 7 (Fečken et al. [24], Lemma 2). The initial value problem (4) is equivalent to the nonlinear integral equation 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 , provided that

Proof. Let be the closed bounded and convex subset of , where is defined as , and Define a map such that Let us consider that Step  1 ( is self mapping). Now, we show that . For For , For , For , and thus .
Step  2 ( is continuous and -contraction). To prove the continuity of for , let us consider a sequence converging to . Taking the norm of , we have From the pervoius analysis, we obtain To prove that is -contraction, let us consider that, for , Thus, for is -contraction.
Step  3 ( is compact). For , we have The right-hand side of the pervoiusly expression does not depend on . Thus using Arzela-Ascoli theorem for equicontinuous functions (Diethelm, Theorem D.10 [10]), we conclude that is relatively compact, and hence is completely continuous on . In a similar way, it can be prove the equi-continuity of on and , . And thus is compact on .
Step  4 ( is condensing). As , is continuous contraction, is compact, so by using Lemma 6, is condensing map on .

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

Theorem 9. If is bounded and Lipschitz, in particular, for all and , then the problem (4) has a unique solution in , provided that where .

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 with norm where , with norm . , , and is a Banach space with a norm . For any and , and is defined by , . Here, our tools are Banach and Schaefer fixed point theorems.

Define a new Banach space

with sup-norm , defined by .

Definition 10. A solution of fractional differential equation (21) is a piecewise continuous function which satisfies (21).

Consider the initial value problem (21) on for some fixed and assume that there exist , such that the following assumptions are satisfied:(),() bounded, in particular, for all ,() is Lipschitz, in particular, for all .

Lemma 11 (Fečken et al. [24], Lemma 2). The initial value problem (21) is equivalent to the nonlinear integral equation 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 , is known, so we will investigate the existence and uniqueness of solution in .

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

Proof. In this case, we define the operator by Step  1. To prove that is self mapping, we need to prove that for each , .
The proof is similar to the proof of continuity of in Step  2 of Theorem 8, and hence we omit it.
Step  2 ( is continuous and -contraction). The proof of this step is also similar to the proof of continuous and -contraction of in Step 2 of Theorem 8.
Now by applying Banach’s fixed point theorem, we get that the operator has an unique fixed point in , and hence the problem (21) has a unique solution in .

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

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 defined by Step  1 ( is continuous). Let be a sequence such that in . Then, for every , we have We can see that if , as and and both are continuous. Hence, is continuous.
Step  2 ( maps bounded sets into bounded sets in . It is enough to show that for any , there exists an such that , and we have .
For , we have Step  3 ( maps bounded sets into equicontinuous sets in . The proof of this step is similar to the proof of compactness of 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 is completely continuous.
Step  4 (A priori bounds). Now, we prove that the set, for some is bounded.
We observe that for and and and hence This shows that is bounded.
As a consequence of Schaefer’s fixed point theorem, the problem (21) has at least one solution in .

Theorem 15. If is bounded and Lipschitz, in particular, , for all and , then problem (21) has a unique solution in , provided that where .

Further, we consider the following more general Caputo fractional differential equation where and with norm , , , and is a separable real Banach space with the norm . 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 which satisfies (32).

Consider the initial value problem (32) on for some fixed and assume that there exist , such that the following assumptions are satisfied: (), () bounded, in particular, for all ,() is Lipschitz, in particular, for all ,().

Lemma 17 (Fečken et al. [24], Lemma 2). The initial value problem (32) is equivalent to the following nonlinear integral equation 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

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 .

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

Theorem 20. If is bounded and Lipschitz, in particular, , for all and , then the problem (32) has a unique solution in , provided that where .

4. Examples

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

Lemma 22 (Fečken et al. [24], Lemma 2). The initial value problem (36) is equivalent to the nonlinear integral equation 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 and . It is not difficult to deduce that

Also . From the integral representation of problem (36), we get

Using Gronwall’s inequality (Diethelm, Lemma 6.19 [10, 31]), we get Thus 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

Set .

Let and let . Then, we have