About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2012 (2012), Article ID 356132, 18 pages
http://dx.doi.org/10.1155/2012/356132
Research Article

On Impulsive Boundary Value Problems of Fractional Differential Equations with Irregular Boundary Conditions

1School of Mathematics and Computer Science, Shanxi Normal University, Linfen, Shanxi 041004, China
2Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

Received 25 February 2012; Accepted 4 September 2012

Academic Editor: Yong H. Wu

Copyright © 2012 Guotao Wang 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 study nonlinear impulsive differential equations of fractional order with irregular boundary conditions. Some existence and uniqueness results are obtained by applying standard fixed-point theorems. For illustration of the results, some examples are discussed.

1. Introduction

Boundary value problems of nonlinear fractional differential equations have recently been studied by several researchers. Fractional differential equations appear naturally in various fields of science and engineering and constitute an important field of research. As a matter of fact, fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes [14]. Some recent work on boundary value problems of fractional order can be found in [523] and the references therein. In [24], some existence and uniqueness results were obtained for an irregular boundary value problem of fractional differential equations.

Dynamical systems with impulse effect are regarded as a class of general hybrid systems. Impulsive hybrid systems are composed of some continuous variable dynamic systems along with certain reset maps that define impulsive switching among them. It is the switching that resets the modes and changes the continuous state of the system. There are three classes of impulsive hybrid systems, namely, impulsive differential systems [25, 26], sampled data or digital control system [27, 28], and impulsive switched system [29, 30]. Applications of such systems include air traffic management [31], automotive control [32, 33], real-time software verification [34], transportation systems [35, 36], manufacturing [37], mobile robotics [38], and process industry [39]. In fact, hybrid systems have a central role in embedded control systems that interact with the physical world. Using hybrid models, one may represent time and event-based behaviors more accurately so as to meet challenging design requirements in the design of control systems for problems such as cut-off control and idle speed control of the engine. For more details, see [40] and the references therein.

The theory of impulsive differential equations of integer order has found its extensive applications in realistic mathematical modelling of a wide variety of practical situations and has emerged as an important area of investigation. The impulsive differential equations of fractional order have also attracted a considerable attention and a variety of results can be found in the papers [4150].

In this paper, motivated by [24], we study a nonlinear impulsive hybrid system of fractional differential equations with irregular boundary conditions given by where is the Caputo fractional derivative, , where and denote the right and the left limits of at , respectively. have a similar meaning for .

Here, we remark that irregular boundary value problems for ordinary and partial differential equations occur in scientific and engineering disciplines and have been addressed by many authors, for instance, see [24] and the references.

The paper is organized as follows. Section 2 deals with some definitions and preliminary results, while the main results are presented in Section 3.

2. Preliminaries

Let us fix with and introduce the spaces: with the norm , and with the norm . Obviously, and are Banach spaces.

Definition 2.1. A function with its Caputo derivative of order existing on is a solution of (1.1) if it satisfies (1.1).

To prove the existence of solutions of problem (1.1), we need the following fixed-point theorems.

Theorem 2.2 (see [51]). Let be a Banach space. Assume that is an open bounded subset of with and let be a completely continuous operator such that Then has a fixed point in .

Lemma 2.3 (see [1]). For , the general solution of fractional differential equation is where ( denotes integer part of ).

Lemma 2.4 (see [1]). Let . Then for some .

Lemma 2.5. For a given , a function is a solution of the following impulsive irregular boundary value problem if and only if is a solution of the impulsive fractional integral equation where

Proof. Let be a solution of (2.6). Then, by Lemma 2.4, we have for some . Differentiating (2.9), we get
If , then for some . Thus, Using the impulse conditions we find that Consequently, we obtain By a similar process, we get
Applying the boundary conditions and , we find that Substituting the value of in (2.9) and (2.16), we obtain (2.7). Conversely, assume that is a solution of the impulsive fractional integral equation (2.7), then by a direct computation, it follows that the solution given by (2.7) satisfies (2.6). This completes the proof.

Remark 2.6. With , the first five terms of the solution (2.7) correspond to the solution for the problem without impulses [24].

3. Main Results

Define an operator by Notice that problem (1.1) has a solution if and only if the operator has a fixed point.

For the sake of convenience, we set the following notations:

Theorem 3.1. Assume that there exists a nonnegative function such that where is a nonnegative constant; there exist positive constants and such that Then problem (1.1) has at least one solution.

Proof. As a first step, we show that the operator is completely continuous. Observe that continuity of follows from the continuity of and .
Let be bounded. Then, there exist positive constants such that , and . Thus, , we have which implies
On the other hand, for any , we get
Hence, for with , we have This implies that is equicontinuous on all and hence, by the Arzela-Ascoli theorem, the operator is completely continuous.
Next, we prove that . For that, let us choose and define a ball . For any , by the assumptions and , we have Thus, where and are given by (3.2). This implies . Hence, is completely continuous. Therefore, by the Schauder fixed-point theorem, the operator has at least one fixed point. Consequently, problem (1.1) has at least one solution in .

Remark 3.2. For in (), if , we can take , then the conclusion of Theorem 3.1 holds.

Theorem 3.3. Suppose that there exist a nonnegative functions and a nonnegative number such that for . Furthermore, the assumption holds. Then problem (1.1) has at least one solution.

Proof. The proof is similar to that of Theorem 3.1, so we omit it.

Theorem 3.4. Suppose that Then problem (1.1) has at least one solution.

Proof. By Theorem 3.1, we know that the operator is completely continuous. In view of (3.11), we can find a constant such that and for , where satisfy
Let . Take such that , which means . Then, as in the proof of Theorem 3.1, we have which, in view of (3.12), implies that , . Therefore, by Theorem 2.2, the operator has at least one fixed point. Thus we conclude that problem (1.1) has at least one solution .

Theorem 3.5. Assume that there exist positive constants such that for .
Then problem (1.1) has a unique solution if

Proof. For , we have which, by (3.15), yields . So, is a contraction. Therefore, by the Banach contraction mapping principle, problem (1.1) has a unique solution.

Example 3.6. Consider the following fractional impulsive irregular boundary value problem where and .

Observe that Clearly, , and the conditions of Theorem 3.1 hold for . Thus, by Theorem 3.1, problem (3.17) has at least one solution. In a similar way, for , the impulsive irregular fractional boundary value problem (3.17) has at least one solution by means of Theorem 3.3.

Example 3.7. Consider the impulsive fractional irregular boundary value problem given by where and .

It can easily be verified that all the assumptions of Theorem 3.4 are satisfied. Thus, by the conclusion of Theorem 3.4, we deduce that the problem (3.19) has at least one solution.

Example 3.8. Consider

Here , and . With we find that Thus, all the conditions of Theorem 3.5 are satisfied. Consequently, the conclusion of Theorem 3.5 applies and the fractional order impulsive irregular boundary value problem (3.20) has a unique solution on .

Acknowledgment

The research of G. Wang and L. Zhang was supported by the Natural Science Foundation for Young Scientists of Shanxi Province (2012021002-3), China.

References

  1. A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier Science B.V., Amsterdam, The Netherlands, 2006.
  2. I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, Calif, USA, 1999.
  3. J. Sabatier, O. P. Agrawal, and J. A. T. Machado, Eds., Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering, Springer, Dordrecht, The Netherlands, 2007.
  4. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives, Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993, Theory and Applications.
  5. R. P. Agarwal, V. Lakshmikantham, and J. J. Nieto, “On the concept of solution for fractional differential equations with uncertainty,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 72, no. 6, pp. 2859–2862, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  6. R. P. Agarwal, Y. Zhou, and Y. He, “Existence of fractional neutral functional differential equations,” Computers & Mathematics with Applications, vol. 59, no. 3, pp. 1095–1100, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  7. B. Ahmad and S. Sivasundaram, “On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order,” Applied Mathematics and Computation, vol. 217, no. 2, pp. 480–487, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  8. B. Ahmad, S. K. Ntouyas, and A. Alsaedi, “New existence results for nonlinear fractional differential equations with three-point integral boundary conditions,” Advances in Difference Equations, vol. 2011, Article ID 107384, 11 pages, 2011. View at Zentralblatt MATH
  9. B. Ahmad and J. J. Nieto, “Existence of solutions for nonlocal boundary value problems of higher-order nonlinear fractional differential equations,” Abstract and Applied Analysis, vol. 2009, Article ID 494720, 9 pages, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  10. B. Ahmad and J. J. Nieto, “Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions,” Boundary Value Problems, vol. 2009, Article ID 708576, 11 pages, 2009. View at Zentralblatt MATH
  11. B. Ahmad and J. J. Nieto, “Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions,” Computers & Mathematics with Applications, vol. 58, no. 9, pp. 1838–1843, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  12. X. Zhang, L. Liu, and Y. H. Wu, “The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives,” Applied Mathematics and Computation, vol. 218, pp. 8526–8536, 2012. View at Publisher · View at Google Scholar
  13. X. Zhang, L. Liu, B. Wiwatanapataphee, and Y. H. Wu, “Positive solutions of eigenvalue problems for a class of fractional differential equations with derivatives,” Abstract and Applied Analysis, vol. 2012, Article ID 512127, 16 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  14. X. Zhang, L. Liu, and Y. H. Wu, “Multiple positive solutions of a singular fractional differential equation with negatively perturbed term,” Mathematical and Computer Modelling, vol. 55, pp. 1263–1274, 2012. View at Publisher · View at Google Scholar
  15. Y. Wang, L. Liu, and Y. Wu, “Positive solutions of a fractional boundary value problem with changing sign nonlinearity,” Abstract and Applied Analysis, vol. 2012, Article ID 149849, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  16. M. Rehman and R. A. Khan, “Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations,” Applied Mathematics Letters, vol. 23, no. 9, pp. 1038–1044, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  17. M. Jia, X. Zhang, and X. Gu, “Nontrivial solutions for a higher fractional differential equation with fractional multi-point boundary conditions,” Boundary Value Problems, vol. 2012, article 70, 2012. View at Publisher · View at Google Scholar
  18. Z. Bai, “On positive solutions of a nonlocal fractional boundary value problem,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 72, no. 2, pp. 916–924, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  19. D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “An existence result for a superlinear fractional differential equation,” Applied Mathematics Letters, vol. 23, no. 9, pp. 1129–1132, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  20. D. Băleanu and O. G. Mustafa, “On the global existence of solutions to a class of fractional differential equations,” Computers & Mathematics with Applications, vol. 59, no. 5, pp. 1835–1841, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  21. S. Zhang, “Positive solutions to singular boundary value problem for nonlinear fractional differential equation,” Computers and Mathematics with Applications, vol. 59, no. 3, pp. 1300–1309, 2010. View at Publisher · View at Google Scholar · View at Scopus
  22. J. Wang, Y. Zhou, W. Wei, and H. Xu, “Nonlocal problems for fractional integrodifferential equations via fractional operators and optimal controls,” Computers and Mathematics with Applications, vol. 62, no. 3, pp. 1427–1441, 2011. View at Publisher · View at Google Scholar · View at Scopus
  23. J. Wang, Y. Zhou, and W. Wei, “Impulsive fractional evolution equations and optimal controls in infinite dimensional spaces,” Topological Methods in Nonlinear Analysis, vol. 38, pp. 17–43, 2011.
  24. B. Ahmad, “Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations,” Applied Mathematics Letters, vol. 23, no. 4, pp. 390–394, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  25. V. Lakshmikantham, D. D. Baĭnov, and P. S. Simeonov, Theory of Impulsive Differential Equations, vol. 6, World Scientific, Singapore, 1989.
  26. A. M. Samoĭlenko and N. A. Perestyuk, Impulsive Differential Equations, vol. 14, World Scientific, Singapore, 1995. View at Publisher · View at Google Scholar
  27. B. Krogh and N. Lynch, Eds., Hybrid Systems: Computation and Control, vol. 1790 of Lecture Notes in Computer Science, Springer, New York, NY, USA, 2000.
  28. F. Vaandrager and J. Van Schuppen, Eds., Hybrid Systems: Computation and Control, vol. 1569 of Lecture Notes in Computer Science, Springer, New York, NY, USA, 1999.
  29. P. Egbunonu and M. Guay, “Identification of switched linear systems using subspace and integer programming techniques,” Nonlinear Analysis. Hybrid Systems, vol. 1, no. 4, pp. 577–592, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  30. S. Engell, G. Frehse, and E. Schnieder, Modelling, Analysis and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Springer, Heidelberg, Germany, 2002.
  31. C. Tomlin, G. J. Pappas, and S. Sastry, “Conflict resolution for air traffic management: a study in multiagent hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 509–521, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  32. C. Altafini, A. Speranzon, and K. H. Johansson, “Hybrid control of a truck and trailer vehicle,” in Hybrid Systems: Computation and Control, C. J. Tomlin and M. R. Greenstreet, Eds., vol. 2289 of Lecture Notes in Computer Science, Springer, New York, NY, USA, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  33. A. Balluchi, L. Benvenuti, M. D. di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli, “Automotive engine control and hybrid systems: challenges and opportunities,” Proceedings of the IEEE, vol. 88, no. 7, pp. 888–911, 2000. View at Publisher · View at Google Scholar · View at Scopus
  34. R. Alur, C. Courcoubetis, and D. Dill, “Model checking for real-time systems,” in Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, pp. 414–425, Philadelphia, Pa, USA, 1990.
  35. J. Lygeros, D. N. Godbole, and S. Sastry, “Verified hybrid controllers for automated vehicles,” IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 522–539, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  36. P. Varaiya, “Smart cars on smart roads: problems of control,” IEEE Transactions on Automatic Control, vol. 38, no. 2, pp. 195–207, 1993. View at Publisher · View at Google Scholar
  37. D. L. Pepyne and C. G. Cassandras, “Optimal Control of hybrid systems in manufacturing,” Proceedings of the IEEE, vol. 88, no. 7, pp. 1108–1122, 2000. View at Publisher · View at Google Scholar · View at Scopus
  38. A. Balluchi, P. Soueres, and A. Bicchi, “Hybrid feedback control for path tracking by a bounded-curvature vehicle,” in Hybrid Systems: Computation and Control, M. Di Benedetto and A. L. Sangiovanni-Vincentelli, Eds., vol. 2034 of Lecture Notes in Computer Science, Springer, New York, NY, USA, 2001.
  39. S. Engell, S. Kowalewski, C. Schulz, and O. Stursberg, “Continuous-discrete interactions in chemical processing plants,” Proceedings of the IEEE, vol. 88, no. 7, pp. 1050–1068, 2000. View at Publisher · View at Google Scholar · View at Scopus
  40. P. J. Antsaklis and A. Nerode, “Hybrid control systems: an introductory discussion to the special issue,” IEEE Transactions on Automatic Control, vol. 43, pp. 457–460, 1998.
  41. R. P. Agarwal and B. Ahmad, “Existence of solutions for impulsive anti-periodic boundary value problems of fractional semilinear evolution equations,” Dynamics of Continuous, Discrete & Impulsive Systems A, vol. 18, no. 4, pp. 535–544, 2011. View at Zentralblatt MATH
  42. B. Ahmad and J. J. Nieto, “Existence of solutions for impulsive anti-periodic boundary value problems of fractional order,” Taiwanese Journal of Mathematics, vol. 15, no. 3, pp. 981–993, 2011.
  43. B. Ahmad and G. Wang, “A study of an impulsive four-point nonlocal boundary value problem of nonlinear fractional differential equations,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1341–1349, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  44. B. Ahmad and S. Sivasundaram, “Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations,” Nonlinear Analysis. Hybrid Systems, vol. 3, no. 3, pp. 251–258, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  45. B. Ahmad and S. Sivasundaram, “Existence of solutions for impulsive integral boundary value problems of fractional order,” Nonlinear Analysis. Hybrid Systems, vol. 4, no. 1, pp. 134–141, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  46. G. M. Mophou, “Existence and uniqueness of mild solutions to impulsive fractional differential equations,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 72, no. 3-4, pp. 1604–1615, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  47. Y. Tian and Z. Bai, “Existence results for the three-point impulsive boundary value problem involving fractional differential equations,” Computers & Mathematics with Applications, vol. 59, no. 8, pp. 2601–2609, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  48. G. Wang, B. Ahmad, and L. Zhang, “Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order,” Nonlinear Analysis, Theory, Methods and Applications, vol. 74, no. 3, pp. 792–804, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  49. G. Wang, B. Ahmad, and L. Zhang, “Some existence results for impulsive nonlinear fractional differential equations with mixed boundary conditions,” Computers and Mathematics with Applications, vol. 62, no. 3, pp. 1389–1397, 2011. View at Publisher · View at Google Scholar · View at Scopus
  50. X. Zhang, X. Huang, and Z. Liu, “The existence and uniqueness of mild solutions for impulsive fractional equations with nonlocal conditions and infinite delay,” Nonlinear Analysis: Hybrid Systems, vol. 4, no. 4, pp. 775–781, 2010. View at Publisher · View at Google Scholar · View at Scopus
  51. J. X. Sun, Nonlinear Functional Analysis and Its Application, Science Press, Beijing, China, 2008.