International Journal of Differential Equations

Volume 2013 (2013), Article ID 704547, 11 pages

http://dx.doi.org/10.1155/2013/704547

## Analysis of Caputo Impulsive Fractional Order Differential Equations with Applications

^{1}School of Basic Sciences, Indian Institute of Technology Mandi, Mandi, Himachal Pradesh 175001, India^{2}Dipartimento di Matematica, Universitá di Bologna, Pizza di Porta S. Donato 5, 40126 Bologna, Italy

Received 6 May 2012; Accepted 21 November 2012

Academic Editor: Nikolai Leonenko

Copyright © 2013 Lakshman Mahto et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### 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 [10–15]. 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 [16–21]. 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, 22–24]. 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 derivative*provided 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 [26–28]. 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 where .

Again, for all and each , where .

For and some 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 .

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

Set .

Again, for all and each , where .

For and some with , we can arrive at the inequality . We can see that all the assumptions of Theorem 14 are satisfied, and hence the problem (44) has a solution in .

#### 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.

#### References

- V. D. Milman and A. D. Myškis, “On the stability of motion in the presence of impulses,”
*Siberial Mathematical Journal*, vol. 1, pp. 233–237, 1960. View at Google Scholar - A. M. Samoilenko and N. A. Perestyuk,
*Differential Equations With Impulses*, Viska Scola, Kiev, Ukraine, 1987. - V. Lakshmikantham, D. D. Baĭnov, and P. S. Simeonov,
*Theory of Impulsive Differential Equations*, vol. 6 of*Series in Modern Applied Mathematics*, World Scientific, Teaneck, NJ, USA, 1989. - D. D. Bainov and P. S. Simeonov,
*Systems with Impulsive Effects*, Horwood, Chichister, UK, 1989. - D. D. Bainov and P. S. Simeonov,
*Impulsive DiffErential Equations: Periodic Solutions and Its Applications*, Longman Scientific and Technical Group, Harlow, UK, 1993. - D. Bainov and V. Covachev,
*Impulsive Differential Equations with a Small Parameter*, vol. 24 of*Series on Advances in Mathematics for Applied Sciences*, World Scientific, River Edge, NJ, USA, 1994. - M. Benchohra, J. Henderson, and S. K. Ntonyas,
*Impulsive Diffrential Equations and Inclusions*, vol. 2, Hindawi Publishing Corporation, New York, NY, USA, 2006. - J. Hale,
*Theory of Functional Differential Equations*, Springer, New York, NY, USA, 2nd edition, 1977. - F. Mainardi, “Fractional calculus: some basic problems in continuum and statistical mechanics,” in
*Fractals and Fractional Calculus in Continuum Mechanics*, vol. 378 of*CISM Courses and Lectures*, pp. 291–348, Springer, Vienna, Austria, 1997. View at Google Scholar · View at Zentralblatt MATH - K. Diethelm,
*The Analysis of Fractional Differential Equations*, vol. 2004 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 2010. View at Publisher · View at Google Scholar - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204, North-Holland Mathematics Studies, 2006. - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993. - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. - J. Sabatier, O. P. Agrawal, and J. A. Tenreiro Machado,
*Advances in Fractional Calculus*, Springer, Dordrecht, The Netherlands, 2007. View at Publisher · View at Google Scholar - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Gordon and Breach Science, Yverdon, Switzerland, 1993. - S. Abbas, “Existence of solutions to fractional order ordinary and delay differential equations and applications,”
*Electronic Journal of Differential Equations*, vol. 2011, no. 9, pp. 1–11, 2011. View at Google Scholar · View at Scopus - S. Abbas, M. Banerjee, and S. Momani, “Dynamical analysis of fractional-order modified logistic model,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1098–1104, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - E. Ahmed, A. M. A. El-Sayed, and H. A. A. El-Saka, “Equilibrium points, stability and numerical solutions of fractional-order predator-prey and rabies models,”
*Journal of Mathematical Analysis and Applications*, vol. 325, no. 1, pp. 542–553, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. B. Hadid, “Local and global existence theorems on differential equations of non-integer order,”
*Journal of Fractional Calculus*, vol. 7, pp. 101–105, 1995. View at Google Scholar · View at Zentralblatt MATH - R. W. Ibrahim and S. Momani, “On the existence and uniqueness of solutions of a class of fractional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 334, no. 1, pp. 1–10, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - V. Lakshmikantham and A. S. Vatsala, “Basic theory of fractional differential equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 8, pp. 2677–2682, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. P. Agarwal, M. Benchohra, and B. A. Slimani, “Existence results for differential equations with fractional order and impulses,”
*Georgian Academy of Sciences. A. Razmadze Mathematical Institute. Memoirs on Differential Equations and Mathematical Physics*, vol. 44, pp. 1–21, 2008. View at Google Scholar · View at Zentralblatt MATH - M. Benchohra and B. A. Slimani, “Existence and uniqueness of solutions to impulsive fractional differential equations,”
*Electronic Journal of Differential Equations*, vol. 2009, no. 10, pp. 1–11, 2009. View at Google Scholar · View at Scopus - M. Fečkan, Y. Zhou, and J. Wang, “On the concept and existence of solution for impulsive fractional differential equations,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 17, no. 7, pp. 3050–3060, 2012. View at Publisher · View at Google Scholar - D. Xu, Y. Hueng, and L. Ling, “Existence of positive solutions of an Impulsive Delay Fishing model,”
*Bulletin of Mathematical Analysis and Applications*, vol. 3, no. 2, pp. 89–94, 2011. View at Google Scholar - C. Giannantoni, “The problem of the initial conditions and their physical meaning in linear differential equations of fractional order,”
*Applied Mathematics and Computation*, vol. 141, no. 1, pp. 87–102, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - N. Heymans and I. Podlubny, “Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives,”
*Rheologica Acta*, vol. 45, no. 5, pp. 765–771, 2006. View at Publisher · View at Google Scholar · View at Scopus - I. Podlubny, “Geometric and physical interpretation of fractional integration and fractional differentiation,”
*Fractional Calculus & Applied Analysis*, vol. 5, no. 4, pp. 367–386, 2002, Dedicated to the 60th anniversary of Prof. Francesco Mainard. View at Google Scholar · View at Zentralblatt MATH - E. Zeidler,
*Non-Linear Functional Analysis and Its Application: Fixed Point-Theorems*, vol. 1, Springer, New York, NY, USA, 1986. - B. N. Sadovskiĭ, “On a fixed point principle,”
*Functional Analysis and Its Applications*, vol. 1, no. 2, pp. 74–76, 1967. View at Google Scholar - H. Ye, J. Gao, and Y. Ding, “A generalized Gronwall inequality and its application to a fractional differential equation,”
*Journal of Mathematical Analysis and Applications*, vol. 328, no. 2, pp. 1075–1081, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH