Abstract

This paper is concerned with the controllability problem for a class of mixed type impulsive fractional integro-differential equations in Banach spaces. Sufficient conditions for the controllability result are established by using suitable fixed point theorem combined with the fractional calculus theory and solution operator under some weak conditions. The example is given in illustrate the theory. The results of this article are generalization and improved of the recent results on this issue.

1. Introduction

In the past few decades, the fractional calculus, that is, calculus of integrals and derivatives of any arbitrary real or complex order has gained considerable popularity and importance, based on the wide applications in engineering and sciences such as fluid flow, rheology, dynamical processes in self-similar and porous structures, diffusive transport akin to diffusion, and electrical networks. For more details about fractional calculus theory and fractional differential equations with applications see the monographs of Baleanu et al. [1, 2], Kilbas et al. [3], Lakshmikantham et al. [4], Miller and Ross [5], Podlubny [6], and the papers of [714].

Differential equations with impulsive conditions constitute an important field of research due to their numerous applications in ecology, medicine biology, electrical engineering, and other areas of science and technology. There has been a significant development in impulsive theory especially in the area of impulsive differential equations with fixed moments, see for instance the monographs by Lakshmikantham et al. [15], Bainov and Simeonov [16], Samoilenko and Perestyuk [17] and the papers of [1824].

On the other hand, the controllability for fractional dynamical system has become an interesting research area to this field and one of the fundamental concepts in modern mathematical control theory. Very recently, the authors shu et al. [25] studied the existence of solutions for impulsive fractional differential equations, assuming the operator to be a sectorial, and the results are obtained by using Banach contraction theorem and Leray-schauder’s alternative fixed point theorem. Shu et al. [26] established the existence and uniqueness of solutions for class of fractional partial semilinear functional differential equations with finite delay, here assuming is the infinitesimal generator of an analytic semigroup and by using Banach fixed point theorem.

Tomar and Dabas [27] extended the results of [25] into a controllability of impulsive fractional semilinear evolution equations with nonlocal conditions with as the -resolvent family and the results are obtained by using Banach contraction principle. Many researchers [2839] investigated the existence and controllability problem combined with fractional derivative with (or without) impulsive conditions. From above the collection of the literature survey, up till now, there is no work reported on this topic, and inspired by the above mentioned works [2527, 40] we will establish the controllability of impulsive fractional mixed type functional integro-differential equations with finite delay of the form where is Caputo fractional derivative of order , is the bounded linear operator of an -resolvent family defined on a Banach space , is a bounded linear operator, , , and are given functions, where such that is continuous everywhere except for a finite number of points s at which and exists and , , ,? , and represent the right and left limits of at , respectively.

For any continuous function, is defined on the interval and any . We denote by be the element of defined by Here, represents the history of the time , upto the present time . For , then .

We consider the problems (1)–(3) to study the controllability results using the solution operator and fixed-point theorems. The rest of this paper is organized as follows. In Section 2, we present some necessary definitions and preliminary results that will be used to prove our main results. The proof of our main results is given in Section 3. Finally, an example is included in Section 4.

2. Preliminaries

In this section, we mention some definitions and properties required for establishing our results. Let be a complex Banach space with its norm denoted as , and represents the Banach space of all bounded linear operators from into , and the corresponding norm is denoted by . Let denote the space of all continuous functions from into with supremum norm denoted by . In addition, represents the closed ball in with the center at and the radius .

A two-parameter function of the Mittag-Leffler type is defined by the series expansion where Ha is a Hankel path, that is, a contour which starts and ends at and encircles the disc contour clockwise. For short, . It is an entire function which provides a simple generalization of the exponent function: and the cosine function: and plays an important role in the theory of fractional differential equations. The most interesting properties of the Mittag-Leffler functions are associated with their Laplace integral see [3, 6, 41] for more details.

Definition 1 (see [40]). Caputo derivative of order for a function is defined as for , . If , then The Laplace transform of the Caputo derivative of order is given as

Definition 2 (see [42]). Let be a closed and linear operator with domain defined on a Banach space and . Let be the resolvent set of . We call the generator of an -resolvent family if there exists and a strongly continuous function such that and In this case, is called the -resolvent family generated by .

Definition 3 (see [43]). Let be a closed and linear operator with domain defined on a Banach space and . Let be the resolvent set of . We call the generator of an -resolvent family if there exists and a strongly continuous function such that and In this case, is called the solution operator generated by .

The concept of the solution operator is closely related to the concept of a resolvent family [44, Chapter 1]. For more details on -resolvent family and solution operators, we refer to [44, 45] and the references therein.

3. Controllability Results

In this section, we present and prove the controllability for the system (1)–(3). In order to prove the controllability results, we need the following results which are taken from [25, 41]. If and , then for any and , we have Let , , where is the Banach space of bounded linear operators from into equipped with its natural topology. So, we have Let us consider the set functions , , and there exist and , with . Endowed with the norm the space is a Banach space.

Lemma 4 (see [25, 27, 40]). If satisfies the uniform Hölder condition with the exponent and is a sectorial operator, then the unique solution of the Cauchy problem is given by where denotes the Bronwich path, is called the -resolvent family, and is the solution operator generated by .

Now, we define the mild solution of a system (1)–(3).

Definition 5. A function is called a mild solution of the system (1)–(3) if on ; and satisfies the following integral equation: From Lemma 4 we can verify that definition.

Note that, mild solution depends on control functions . The solution of (1)–(3) under a control denoted by is called the trajectory (state) function of (1) under . The set of all possible terminal states, denoted by is called the reachable set of system (1) at terminal time .

Definition 6. The system (1)–(3) is said to be controllable on if .

Now we list the following hypothesis: is continuous and there exist functions such that is continuous and there exists a constant such that for all is continuous and there exists a constant such that for all The linear operators , defined by has an invertible operator taking values in and there exists a positive constant such that and (For the construction of the operator and its inverse, see [46]).? The function is continuous and there exists such that

Theorem 7. If the hypotheses are satisfied, then the impulsive fractional integro-differential system (1)–(3) is controllable on provided

Proof. Let be any arbitrary function, now to transfer the system (1) from initial state to consider the control We define the operator by Note that is well defined on .
For our convenience, let us take and for . From our assumptions, we have Let us take and . From (13) we have
For , and by using (13)–(29) we have Similarly, for and for Thus, for all , we have Since + , then is a contraction, and so by Banach fixed point theorem there exists a unique fixed point such that . This fixed point is then a solution of the system (1)–(3), and clearly, , which implies that the system is controllable on . This completes the proof.

4. Example

Consider the following fractional partial functional integro-differential equations of the form where . The the above example resembles the control system (1)–(3), if we take (i) as the state space and as the state. (ii) Input trajectory as the control, where is any Banach space.(iii) is defined by are absolutely continuous and ,and . Then , , where , is the orthogonal set of eigen vectors of . It is well known that is the infinitesimal generator of an analytic semigroup in and that is given by for all , and every . From these expression it follows that, is a uniformly bounded compact semigroup, so that, is a compact operator for , that is, .(iv) by for almost every .(v) is any function satisfying assumption (H3).

Therefore, the the system (36) can be written to the abstract form (1)–(3), and all the conditions of Theorem 7 are satisfied. We can conclude that the system (36) is controllable on .

5. Conclusions

In this article, abstract results concerning the controllability of impulsive fractional functional integro-differential equations involving Caputo fractional derivative in Banach spaces are obtained. By using fractional calculus theory and some standard fixed point theorem, we derived the controllability results. An example is provided to show the effectiveness of the proposed results.

Acknowledgment

The authors wish to thank the referees for their several detailed remarks that led to a substantial improvement in the content as well as in the presentation of the paper. The work is partially supported by the Government of Spain and the FEDER project MTM2010-16499. C. Ravichandran would like to thank Dr. K. V. Kupusamy, Chairman, and Dr. Y. Robinson, Director at RVS Technical Campus, Coimbatore, for their constant encouragement and support for this research work.