Research Article | Open Access
Gani Tr. Stamov, "Impulsive Fractional Integrodifferential Equations and Lyapunov Method for Existence of Almost Periodic Solutions", Mathematical Problems in Engineering, vol. 2015, Article ID 861039, 9 pages, 2015. https://doi.org/10.1155/2015/861039
Impulsive Fractional Integrodifferential Equations and Lyapunov Method for Existence of Almost Periodic Solutions
The plan of this paper is to find conditions for the existence of almost periodic solutions for a class of impulsive fractional integrodifferential equations. The investigations are carried out by using a new fractional comparison principle, coupled with the fractional Lyapunov method. The stability behavior of the almost periodic solutions is also considered, extending the corresponding theory of impulsive integrodifferential equations.
The states of many evolutionary processes are often subject to instantaneous perturbations and experience abrupt changes at certain moments of time. The duration of the changes is very short and negligible in comparison with the duration of the process considered and can be thought of as “momentarily” changes or as impulses. Systems with short-term perturbations are often naturally described by impulsive differential equations. Such equations have become an active research subject in nonlinear science and have attracted more attention in many fields due to their importance in many branches of science and industry [1–3]. A great progress in studying impulsive integrodifferential equations has also been made. See, for example, [4–8] and the references therein. Indeed, impulsive integrodifferential systems played a very important role in modern applied mathematical models of real processes arising in phenomena studied in diverse disciplines.
Since the tools of impulsive fractional differential equations are applicable to various fields of study, the investigation of the theory of such equations has been started quite recently. In a series of papers different questions of the fundamental and qualitative theories of such equations have been investigated [9–14].
Additionally, in relation to the mathematical simulation in chaos, fluid dynamics, and many physical systems, recently the investigation of impulsive fractional functional differential equations began. Fractional-order impulsive functional differential equations are found to be more adequate than integer-order models in many applications and real-world phenomena studying in physics, mechanics, chemistry, engineering, and finance [15–18].
The problems of existence and uniqueness of the solutions of impulsive integrodifferential systems of fractional order have been studied by several authors. For example, Anguraj and Maheswari  proved the existence and uniqueness results for a fractional impulsive neutral integrodifferential system with infinite delay. By using Schaefer fixed point theorem, Gao et al.  established sufficient conditions for the existence and uniqueness of solutions for a class of impulsive integrodifferential equations with nonlocal conditions involving the Caputo fractional derivative. In the paper  Xie investigated the existence and uniqueness of mild solutions for impulsive fractional integrodifferential evolution equations with infinite delay in Banach spaces. However, to the best of our knowledge, there has not been any work so far considering the qualitative theory of such equations, and our aim here is mainly to fill the gap.
In the present paper, the problems of existence and stability of almost periodic solutions of impulsive integrodifferential equations of Caputo fractional order with impulse effect at fixed moments are considered by means of Lyapunov direct method. The paper is organized as follows. In Section 2 we give some notations, the problem investigated in this paper is formulated, and some definitions are presented. In Section 3, we state and prove our main almost periodicity results, extending the corresponding theory of Caputo fractional order systems. We also establish stability criteria for the almost periodic solutions using the new fractional Lyapunov method. In Section 4 a fractional neural network system is considered as an example to demonstrate the application of our results. The concluding remarks are made in Section 5.
Let be the -dimensional Euclidean space with norm , , , and , . By : , , we denote the set of all sequences unbounded and strictly increasing with distance .
Definition 1 (see ). For any , , Caputo’s fractional derivative of order , with the lower limit for a function , , is defined as Here and in what follows denotes the Gamma function.
Consider the following system of impulsive fractional integrodifferential equations: where , , , , , and , .
Let . Denote by the solution of system (2), satisfying the initial condition:
The solution of problem (2), (3) is a piecewise continuous function  with points of discontinuity at the moments , at which it is continuous from the left; that is, the following relations are valid:
Let , is piecewise continuous function with points of discontinuity of the first kind , at which and exist, and .
For , let be a map such that the set forms a strictly increasing sequence. For , let and for . By , we shall denote the element from the space . For every sequence of real numbers , , mean the sets , where , .
Definition 2 (see ). Let .
(1) The set of sequences , , , is said to be uniformly almost periodic, if from each infinite sequence of shifts , , we can choose a subsequence convergent in .
(2) The sequence , , is convergent to , where and , if and only if for any there exists such that for it follows that hold uniformly for
(3) The function is said to be an almost periodic piecewise continuous function with points of discontinuity of the first kind , if for every sequence of real numbers it follows that there exists a subsequence , , such that is compact in .
By the specific character of system (2) we need the next definition.
Definition 3 (see ). The function is said to be integro-almost periodic in uniformly for , if for every sequence of real numbers there exists a subsequence , such that the sequence converges uniformly with respect to .
Let , , and . In the further considerations, we shall use piecewise continuous auxiliary functions, which are analogous of the classical Lyapunov functions.
Definition 4. A function belongs to the class , if one has the following:
(1) is continuous in and locally Lipschitz continuous with respect to its second and third arguments on each of the sets with a Lipschitz constant ; that is, for , and for it follows that (2) For each and , there exist the finite limits and
For a function we define the following fractional order derivative (Dini-like derivative) in Caputo’s sense.
Definition 5. Given a function , for , , and , the upper right-hand derivative of in Caputo’s sense of order , , with respect to system (2) is defined by We shall also use the following class of functions:
is strictly increasing and .
Introduce the following conditions:
(H2.1) The function is integro-almost periodic in uniformly on and .
(H2.2) The function is almost periodic in uniformly with respect to .
(H2.3) The sequence , is almost periodic uniformly with respect to .
(H2.4) The set of sequences , , , , is uniformly almost periodic, and .
Let conditions (H2.1)–(H2.4) hold, and let be an arbitrary sequence of real numbers. Then, there exists a subsequence , such that system (2) moves to system We shall denote the set of systems of the type (10) by .
Now, we need a class of Lyapunov function connected with system (10).
Definition 6. The function belongs to class ; if is continuous on , , and , and is locally Lipschitz continuous with respect to its second argument, for , and , there exist the finite limits and the equality holds.
In the same way we can define a fractional order derivative (Dini-like derivative) in Caputo’s sense for as follows:
Definition 7. The solution of system (2) is said to be
(a) stable, if (b) uniformly stable, if the number in (a) is independent of ;
(c) attractive, if (d) equiattractive, if (e) uniformly attractive, if the numbers and in (d) are independent of ;
(f) asymptotically stable, if it is stable and attractive;
(g) uniformly asymptotically stable, if it is uniformly stable and uniformly attractive;
(h) globally quasi-equiasymptotically stable, if
Definition 8. The solutions of system (2) are
(a) equibounded, if (b) uniformly bounded, if the number in (a) is independent of .
Definition 9. The solution of (2) is said to be globally perfectly uniform-asymptotically stable, if it is uniformly stable, the number in Definition 7(h) is independent of , and the solutions of (2) are uniformly bounded.
In the proof of the main results we shall use the following comparison lemma. As the proof is similar to that of Theorem in , we omit it.
Lemma 10. Assume the following:
(1) The function is continuous in each of the sets , .
(2) and , , are nondecreasing with respect to .
(3) The maximal solution of the scalar problem is defined in the interval .
(4) The function is such that, for , Then implieswhere are two solutions of (2), , existing on .
3. Main Results
Theorem 11. Assume the following:
(1) Conditions (H2.1)–(H2.4) are met.
(2) There exist functions and such that (3) There exists a solution of (2) such that , where , .
Then for system (2) there exists a unique almost periodic solution such that
(1) , .
(2) is globally perfectly uniform-asymptotically stable.
Proof. Let and let be any sequence of real numbers such that as and moves system (2), (3) to a system at .
For any real number , let be the smallest value of , such that . Since , , for all , then for , .
Let , be a compact. Then, for any , choose an integer so large that, for and , , it follows that where is the corresponding Mittag-Leffler function .
Now, following , we shall set and . Then, for small , we have where and .
Then by using the fractional order derivative of in Caputo’s sense and (24) we obtain Set . Then, and by (24) On the other hand, from , it follows thatThen from (28) and (29) it follows that the conditions of Lemma 10 are fulfilled and consequently, for and any , Finally, from (21) for any , we get Consequently, there exists a function , such that for . Since is arbitrary, it follows that is defined uniformly on . Next, we shall show that is a solution of (10).
Since is a solution of (2), (3), we have for , ; .
As for large and for each compact subset of there exists such that if , then Since , , then it follows that there exists such that if , then For , , we obtain where , which shows that exists uniformly on all compact subsets of .
Let now , and where , .
On the other hand, for , it follows thatFrom (36) and (37), we get that is a solution of (10).
We shall show that is an almost periodic function.
Let the sequence move system (2) to . For any , there exists such that if , then For each fixed let be a translation number of such that . Consider the function where .
Then, in the same way like above, we have On the other hand,From (40), (41), and Lemma 10 it follows that Then, from (42), for , we have Now, from definitions of the sequence and for it follows that .
Then from (43) and the last inequality we obtain that the sequence is convergent uniformly to the function . Assertions (1) and (3) of the theorem follow immediately. We shall prove assertion (2).
Let be an arbitrary solution of (10).
Set Now we consider system and let . Then, from Lemma 10 it follows that zero solution of (45) is globally perfectly uniform-asymptotically stable, and consequently is globally perfectly uniform-asymptotically stable.
4. An Example
We suppose that for system (46) there exists a bounded solution and the following conditions are met:
(H4.1) The functions are almost periodic on in sense of Bohr, , , are integro-almost periodic in , and there exist constants and such that for .
(H4.2) The sequences of constants are almost periodic uniformly with and for , .
Suppose that and let be a sequence of real numbers defined as in the proof of Theorem 11. We define a Lyapunov function in the form
Now, when by condition (H4.2) it follows that
On the other hand by the definition of it follows that . Then, for and for any , let
Now, if and for the upper right-hand derivative along the solutions of system (46), we have
Finally, by (50) and (52) it follows that all conditions of Theorem 11 are met. This means that for the impulsive CNN fractional-order integrodifferential system (46) there exists a unique globally perfectly uniform-asymptotically stable almost periodic solution.
We have considered an impulsive fractional-order integrodifferential system which has a major role in various fields of science and engineering. We first discuss the application of the fractional Lyapunov method in investigations of the existence of almost periodic solutions for such systems. By using a new fractional comparison principle the stability behavior of the almost periodic solution is studied. Some known results are improved and generalized. The demonstrated techniques are applied in studying of qualitative properties of a fractional integrodifferential neural network system.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
- M. Benchohra, J. Henderson, and S. Ntouyas, Impulsive Differential Equations and Inclusions, Hindawi Publishing Corporation, New York, New York, NY, USA, 2006.
- M. de la Sen, “Global stability of polytopic linear time-varying dynamic systems under time-varying point delays and impulsive controls,” Mathematical Problems in Engineering, vol. 2010, Article ID 693958, 33 pages, 2010.
- I. M. Stamova and T. G. Stamov, “Asymptotic stability of impulsive control neutral-type systems,” International Journal of Control, vol. 87, no. 1, pp. 25–31, 2014.
- V. Lakshmikantham, M. Rama, and M. Rao, Theory of Integro-Differential Equations, Gordon and Beach Science Publishers, Lausanne, Switzerland, 1995.
- J. J. Nieto and R. Rodriguez-López, “New comparison results for impulsive integro-differential equations and applications,” Journal of Mathematical Analysis and Applications, vol. 328, no. 2, pp. 1343–1368, 2007.
- G. T. Stamov, Almost Periodic Solutions of Impulsive Differential Equations, Springer, Berlin, Germany, 2012.
- I. Stamova, Stability Analysis of Impulsive Functional Differential Equations, Walter De Gruyter, Berlin, Germany, 2009.
- D. Xu, W. Zhu, and S. Long, “Global exponential stability of impulsive integro-differential equation,” Nonlinear Analysis, vol. 64, no. 12, pp. 2805–2816, 2006.
- 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.
- J. Cao and H. Chen, “Impulsive fractional differential equations with nonlinear boundary conditions,” Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 303–311, 2012.
- M. Feckan, 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.
- J. Wang, Y. Zhou, and M. Feckan, “On recent developments in the theory of boundary value problems for impulsive fractional differential equations,” Computers and Mathematics with Applications, vol. 64, no. 10, pp. 3008–3020, 2012.
- J. R. Wang, M. Fečkan, and Y. Zhou, “Ulam's type stability of impulsive ordinary differential equations,” Journal of Mathematical Analysis and Applications, vol. 395, no. 1, pp. 258–264, 2012.
- G. T. Stamov and I. M. Stamova, “Almost periodic solutions for impulsive fractional differential equations,” Dynamical Systems, vol. 29, no. 1, pp. 119–132, 2014.
- F. Chen, A. Chen, and X. Wang, “On the solutions for impulsive fractional functional differential equations,” Differential Equations and Dynamical Systems, vol. 17, no. 4, pp. 379–391, 2009.
- T. L. Guo and W. Jiang, “Impulsive fractional functional differential equations,” Computers & Mathematics with Applications, vol. 64, no. 10, pp. 3414–3424, 2012.
- H. Wang, “Existence results for fractional functional differential equations with impulses,” Journal of Applied Mathematics and Computing, vol. 38, no. 1-2, pp. 85–101, 2012.