We study a boundary value problem for the system of nonlinear impulsive fractional differential equations of order involving the two-point and integral boundary conditions. Some new results on existence and uniqueness of a solution are established by using fixed point theorems. Some illustrative examples are also presented. We extend previous results even in the integer case .

1. Introduction

For the last decades, fractional calculus has received a great attention because fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various processes of science and engineering. Indeed, we can find numerous applications in viscoelasticity [13], dynamical processes in self-similar structures [4], biosciences [5], signal processing [6], system control theory [7], electrochemistry [8], and diffusion processes [9].

On the other hand, the study of dynamical systems with impulsive effects has been an object of intensive investigations in physics, biology, engineering, and so forth. The interest in the study of them is that the impulsive differential systems can be used to model processes which are subject to abrupt changes and which cannot be described by the classical differential problems (e.g., see [1013] and references therein). Cauchy problems, boundary value problems, and nonlocal problems for impulsive fractional differential equations have been attractive to many researchers; one can see [1022] and references therein.

Fečkan et al. [22] investigated the existence and uniqueness of solutions for where denotes the Caputo fractional derivative of order and is a given continuous function.

In [21], Guo and Jiang discussed the existence of solutions for the following nonlinear fractional differential equations with boundary value conditions: where is the Caputo fractional derivative of order with the lower limit zero, is jointly continuous, satisfy , and represent the right and left limits of at , , and , , are real constants with .

Ashyralyev and Sharifov [20] considered nonfractional -dimensional analogues of the problem (2) with two-point and integral boundary conditions.

Motivated by the papers above, in this paper, we study impulsive fractional differential equations with the two-point and integral boundary conditions in the following form: where , are given matrices and det(). Here and are given functions.

The rest of the paper is organized as follows. In Section 2, we give some notations, recall some concepts, and introduce a concept of a piecewise continuous solution for our problem. In Section 3, we give two main results: the first result based on the Banach contraction principle and the second result based on the Schaefer fixed point theorem. Some examples are given in Section 4 to demonstrate the application of our main results.

2. Preliminaries

In this section, we introduce notations, definitions, and preliminary facts that will be used in the remainder of this paper. By we denote the Banach space of all continuous functions from to with the norm where is the norm in space . We also introduce the Banach space with the norm If , then is the norm of .

Let us recall the following known definitions and results. For more details see [15, 16].

Definition 1. If and , then the Riemann-Liouville fractional integral is defined by where is the Gamma function defined for any complex number as

Definition 2. The Caputo fractional derivative of order of a continuous function is defined by where (the notation stands for the largest integer not greater than ).

Remark 3. Under natural conditions on , the Caputo fractional derivative becomes the conventional integer order derivative of the function as .

Remark 4. Let , and ; then the following relations hold:

Lemma 5. For , , the homogeneous fractional differential equation, has a solution where , , and .

Lemma 6. Assume that , with derivative of order that belongs to ; then where , , and .

Lemma 7. Let , , . Then is satisfied almost everywhere on . Moreover, if , then (14) is true for all .

Lemma 8. If , , then for all .

We define a solution problem (3) as follows.

Definition 9. A function is said to be a solution of problem (3) if , for , , , and for each , , , and the boundary conditions are satisfied.

We have the following result which is useful in what follows.

Theorem 10. Let , . Then the function is a solution of the boundary value problem for impulsive differential equation if and only if where

Proof. Assume that is a solution of the boundary value problem (15); then we have If , then
Integrating the expression (19) from to , one can obtain It follows that
Thus if , we get where is still an arbitrary constant vector. For determining we use the boundary value condition : Hence, we obtain and consequently for all
Conversely, assume that satisfies (16). If , then, using the fact that is the left inverse of , we get , . If , , then, using the fact that the Caputo derivative of a constant is equal to zero, we obtain , , and . The lemma is proved.

Theorem 11 (see [18]). Let be a Banach space and . If the following conditions are satisfied,(1) is uniformly bounded subset of ,(2) is equicontinuous in , , where , ,(3), , and are relatively compact subsets of ,then is a relatively compact subset of .

3. Main Results

Our first result is based on Banach fixed point theorem. Before stating and proving the main results, we introduce the following hypotheses.(H1) are continuous functions.(H2)There are constants and such that for each and all , .(H3)There exist constants , such that for all , .For brevity, let

Theorem 12. Assume that (H1)–(H3) hold. If then the boundary value problem (3) has a unique solution on .

Proof. The proof is based on the classical Banach fixed theorem for contractions. Let us set It is clear that Consider where
Let be the following operator: We show that maps into . It is clear that is well defined on . Moreover for and , , we have Consequently maps into itself.
Next we will show that is a contraction. Let , . Then, for each , , we have Thus, is a contraction mapping on due to condition (29) and the operator has a unique fixed point on which is a unique solution to (3).

The second result is based on the Schaefer fixed point theorem. We introduce the following assumptions.(H4)There exist constants , such that , for each and all .(H5).

Theorem 13. Assume that (H1), (H4), and (H5) hold. Then the boundary value problem (3) has at least one solution on .

Proof. We will use Schaefer’s fixed point theorem to prove that defined by (34) has a fixed point. The proof will be given in several steps.
Step  1. Operator is continuous.
Let be a sequence such that in . Then, for each and for all , we have Since , , and , , are continuous functions, we have as .
Step  2. maps bounded sets in bounded sets in .
Indeed, it is enough to show that, for any , there exists a positive constant such that, for each , we have . By (H4), (H5) we have, for each and for all , Thus
Step  3. maps bounded sets into equicontinuous sets of .
Let , be a bounded set of as in Step  2, and let . Then As , the right-hand side of the above inequality tends to zero.
As a consequence of Steps  1 to 3 together with the Arzela-Ascoli theorem (Theorem 11 with ), we can conclude that the operator is completely continuous.
Step  4. One has a priori bounds.
Now it remains to show that the set is bounded.
Let then for some . Thus, for each , we have Thus This shows that the set is bounded. As a consequence of Schaefer’s fixed point theorem, we deduce that has a fixed point which is a solution of the problem (3).

4. Examples

In this section, we give some examples to illustrate our main results.

Example 1. Consider Consider boundary value problem (3) with ,  , and  ,  ,  .

Evidently, and conditions (H1)–(H3) hold. We will show that condition (29) is satisfied for, say, . Indeed, where we used

Then, by Theorem 12, boundary value problem (45) has unique solution on .

Example 2. Consider
Here ,  ,  ,  ,  , and  ,  ,  . Clearly, all the conditions of Theorem 13 are satisfied , , and consequently boundary value problem (49) has at least one solution.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.