# Some existence results for nonlinear fractional differential equations with impulsive and fractional integral boundary conditions

## Abstract

In this paper, we study the boundary value problems for a class of nonlinear fractional differential equations with impulsive and fractional integral boundary conditions. By means of standard fixed point theorems, some existence and uniqueness results are obtained. As applications, two examples are given to illustrate the results.

MSC:34A60, 26A33, 34B15.

## 1 Introduction

The subject of fractional differential equations has evolved as an interesting and popular field of research. It is mainly due to the extensive applications of fractional calculus in the mathematical modeling of physical, engineering, and biological phenomena etc. . For some developments on the theory of fractional differential equations, we can refer to  and the references therein.

Integral boundary conditions have various applications in applied fields such as blood flow problems, chemical engineering, thermo-elasticity, underground water flow, population dynamic, and so forth. Recently, there has been a great deal of research on the questions of existence and uniqueness of solutions for boundary value problems of fractional differential equations with integral boundary conditions. For example, Ahmad et al.  investigated the existence and uniqueness of solutions for a boundary value problem of nonlinear fractional differential equations with three-point integral boundary conditions given by

${ D α c x ( t ) = f ( t , x ( t ) ) , t ∈ [ 0 , 1 ] , 1 < α ≤ 2 , x ( 0 ) = 0 , x ( 1 ) = a ∫ 0 η x ( s ) d s , 0 < η < 1 ,$

where $D α c$ denotes the Caputo fractional derivative of order α, f is a given continuous function, and $a∈R$ with $a η 2 ≠2$.

In , Guezane-Lakoud and Khaldi discussed the fractional differential equations with fractional integral boundary conditions as the following form:

${ D α c x ( t ) = f ( t , x ( t ) , c D β x ( t ) ) , t ∈ [ 0 , 1 ] , 1 < α ≤ 2 , 0 < β < 1 , x ( 0 ) = 0 , I β x ( 1 ) = x ′ ( 1 ) ,$

where $D q c$ denotes the Caputo fractional derivative of order q, $I β$ the Riemann-Liouville fractional integral of order β, f is a given continuous function.

For the case of nonlinear impulsive fractional differential equations with integral boundary conditions, Ahmad and Sivasundaram  studied the existence of solutions for the following equation:

${ D α c x ( t ) = f ( t , x ( t ) ) , t ∈ J = [ 0 , 1 ] , t ≠ t k , k = 1 , 2 , … , m , Δ x ( t k ) = I k ( x ( t k − ) ) , Δ x ′ ( t k ) = J k ( x ( t k − ) ) , k = 1 , 2 , … , m , a x ( 0 ) + b x ′ ( 0 ) = ∫ 0 1 q 1 ( x ( s ) ) d s , a x ( 1 ) + b x ′ ( 1 ) = ∫ 0 1 q 2 ( x ( s ) ) d s ,$

where $D α c$ denotes the Caputo fractional derivative of order $α∈(1,2)$, $f∈C(J×R,R)$, $I k , J k ∈C(R,R)$, $0= t 0 < t 1 <⋯< t m < t m + 1 =1$, $Δx( t k )=x( t k + )−x( t k − )$ with $x( t k + )= lim ϵ → 0 + x( t k +ϵ)$, $x( t k − )= lim ϵ → 0 − x( t k +ϵ)$, $k=1,2,…,m$, $Δ x ′ ( t k )$ has a similar meaning for $x ′ ( t k )$, $q 1 , q 2 :R→R$ and $a>0$, $b≥0$.

Motivated by the above mentioned papers, in this article, we will consider the following impulsive problem:

${ D α c x ( t ) = f ( t , x ( t ) ) , t ∈ J = [ 0 , 1 ] , t ≠ t k , k = 1 , 2 , … , m , Δ x ( t k ) = I k ( x ( t k − ) ) , Δ x ′ ( t k ) = J k ( x ( t k − ) ) , k = 1 , 2 , … , m , x ( 0 ) = 0 , a I γ x ( 1 ) + b x ′ ( 1 ) = c ,$
(1)

where $D α c$ denotes the Caputo fractional derivative of order $α∈(1,2)$, $I γ$ the Riemann-Liouville fractional integral of order γ, $f∈C(J×R,R)$, $I k , J k ∈C(R,R)$, $k=1,2,…,m$, $0= t 0 < t 1 <⋯< t m < t m + 1 =1$, $Δx( t k )=x( t k + )−x( t k − )$ with $x( t k + )= lim ϵ → 0 + x( t k +ϵ)$, $x( t k − )= lim ϵ → 0 − x( t k +ϵ)$ representing the right and left limits of $x(t)$ at $t= t k$, $Δ x ′ ( t k )$ has a similar meaning for $x ′ ( t k )$, a, b, c are real constants and $a≠−bΓ(γ+2)$.

The paper is organized as follows: in Section 2 we present the notations, definitions and give some preliminary results that we need in the sequel, Section 3 is dedicated to the existence results of problem (1), in the final Section 4, two examples are given to illustrate the results.

## 2 Preliminaries

Definition 2.1 The Riemann-Liouville fractional integral of order q for a function $f:[0,∞)→R$ is defined as

$I q f(t)= 1 Γ ( q ) ∫ 0 t f ( s ) ( t − s ) 1 − q ds,q>0,$

provided the integral exists.

Definition 2.2 For a function $f:[0,∞)→R$, the Caputo derivative of fractional order q is defined as

$D q c f(t)= 1 Γ ( n − q ) ∫ 0 t ( t − s ) n − q − 1 f ( n ) (s)ds,n−1

where $[q]$ denotes the integer part of the real number q.

Lemma 2.1 ()

Let $α>0$, then the differential equation

$D α c h(t)=0$

has solutions $h(t)= c 0 + c 1 t+ c 2 t 2 +⋯+ c n − 1 t n − 1$ and

$I α c D α h(t)=h(t)+ c 0 + c 1 t+ c 2 t 2 +⋯+ c n − 1 t n − 1 ,$

where $c i ∈R$, $i=0,1,2,…,n−1$, $n=[α]+1$.

For the sake of convenience, we introduce the following notation.

Let $J 0 =[0, t 1 ]$, $J 1 =( t 1 , t 2 ]$, …, $J m − 1 =( t m − 1 , t m ]$, $J m =( t m ,1]$, $J=[0,1]$, $J ′ :=J∖{ t 1 , t 2 ,…, t m }$ and $PC(J,R)$ = {$u:J→R|u∈C( J k ,R)$, $k=0,1,2,…,m$, $u( t k + )$ and $u( t k − )$ exist, $k=1,2,…,m$, and $u( t k − )=u( t k )$}. Obviously, $PC(J,R)$ is a Banach space with the norm $∥u∥= sup t ∈ J |u(t)|$.

Lemma 2.2 For any $y∈PC(J,R)$, the unique solution of the impulsive boundary value problem

${ D α c x ( t ) = y ( t ) , t ∈ J , t ≠ t k , k = 1 , 2 , … , m , Δ x ( t k ) = I k ( x ( t k − ) ) , Δ x ′ ( t k ) = J k ( x ( t k − ) ) , k = 1 , 2 , … , m , x ( 0 ) = 0 , a I γ x ( 1 ) + b x ′ ( 1 ) = c$
(2)

is given by

$x(t)= { ∫ 0 t ( t − s ) α − 1 Γ ( α ) y ( s ) d s + ( c − Λ − W ) t a Γ ( γ + 2 ) + b − ∑ i = 1 m J i ( x ( t i − ) ) t , t ∈ J 0 ; ∫ 0 t ( t − s ) α − 1 Γ ( α ) y ( s ) d s + I 1 ( x ( t 1 − ) ) − t 1 J 1 ( x ( t 1 − ) ) + ( c − Λ − W ) t a Γ ( γ + 2 ) + b − ∑ i = 2 m J i ( x ( t i − ) ) t , t ∈ J 1 ; ∫ 0 t ( t − s ) α − 1 Γ ( α ) y ( s ) d s + ∑ i = 1 k I i ( x ( t i − ) ) − ∑ i = 1 k t i J i ( x ( t i − ) ) + ( c − Λ − W ) t a Γ ( γ + 2 ) + b − ∑ i = k + 1 m J i ( x ( t i − ) ) t , t ∈ J k , k = 2 , 3 , … , m ,$
(3)

where

$Λ = a ∫ 0 1 ( 1 − s ) α + γ − 1 Γ ( α + γ ) y ( s ) d s + b ∫ 0 1 ( 1 − s ) α − 2 Γ ( α − 1 ) y ( s ) d s , W = a ( ∑ i = 1 m I i ( x ( t i − ) ) − ∑ i = 1 m t i J i ( x ( t i − ) ) ) Γ ( γ + 1 ) .$

Proof For $1<α<2$, by Lemma 2.1, we know that a general solution of the equation $D α c x(t)=y(t)$ on each interval $J k$ ($k=0,1,2,…,m$) is given by

$x(t)= I α y(t)+ d k + e k t= ∫ 0 t ( t − s ) α − 1 Γ ( α ) y(s)ds+ d k + e k t,t∈ J k ,$

where $d k , e k ∈R$ are arbitrary constants.

Since $x(0)=0$, $a I γ x(1)+b x ′ (1)=c$,

$x ′ (t)= I α − 1 y(t)+ e k = ∫ 0 t ( t − s ) α − 2 Γ ( α − 1 ) y(s)ds+ e k ,t∈ J k ,$

we have $d 0 =0$, $c=( a Γ ( γ + 2 ) +b) e m + a d m Γ ( γ + 1 ) +Λ$. By using the impulsive conditions in (2), we obtain, for $k=1,2,…,m$,

$d k − d k − 1 + ( e k − e k − 1 ) t k = I k ( x ( t k − ) ) , e k − e k − 1 = J k ( x ( t k − ) ) .$

Now we can derive the values of $d k$, $e k$,

$d k = ∑ i = 1 k I i ( x ( t i − ) ) − ∑ i = 1 k t i J i ( x ( t i − ) )$

for $k=1,2,…,m$ and

Hence for $k=1,2,…,m$, we have

$d k + e k t= ∑ i = 1 k I i ( x ( t i − ) ) − ∑ i = 1 k t i J i ( x ( t i − ) ) + ( c − Λ − W ) t a Γ ( γ + 2 ) + b − ∑ i = k + 1 m J i ( x ( t i − ) ) t.$

This completes the proof. □

The following are two fixed point theorems which will be used in the sequel.

Theorem 2.1 (Nonlinear alternative of Leray-Schauder type )

Let X be a Banach space, C a nonempty convex subset of X, U a nonempty open subset of C with $0∈U$. Suppose that $P: U ¯ →C$ is a continuous and compact map. Then either (a) P has a fixed point in $U ¯$, or (b) there exist a $x∈∂U$ (the boundary of U) and $λ∈(0,1)$ with $x=λP(x)$.

Theorem 2.2 (Schaefer fixed point theorem )

Let X be a normed space, P a continuous mapping of X into X which is compact on each bounded subset B of X. Then either (1) the equation $x=λPx$ has a solution for $λ=1$, or (2) the set of all such solutions x is unbounded for $0<λ<1$.

## 3 Main results

This section deals with the existence and uniqueness of solutions for problem (1). In view of Lemma 2.2, we define an operator $F:PC(J,R)→PC(J,R)$ by

$( F x ) ( t ) = ∫ 0 t ( t − s ) α − 1 Γ ( α ) f ( s , x ( s ) ) d s + ∑ i = 1 k I i ( x ( t i − ) ) − ∑ i = 1 k t i J i ( x ( t i − ) ) + ( c − Λ x − W x ) t a Γ ( γ + 2 ) + b − ∑ i = k + 1 m J i ( x ( t i − ) ) t , t ∈ J k , k = 0 , 1 , 2 , … , m ,$
(4)

with

$Λ x = a ∫ 0 1 ( 1 − s ) α + γ − 1 Γ ( α + γ ) f ( s , x ( s ) ) d s + b ∫ 0 1 ( 1 − s ) α − 2 Γ ( α − 1 ) f ( s , x ( s ) ) d s , W x = a ( ∑ i = 1 m I i ( x ( t i − ) ) − ∑ i = 1 m t i J i ( x ( t i − ) ) ) Γ ( γ + 1 ) .$

Here $Λ x$, $W x$ mean that Λ, W defined in Lemma 2.2 are related to $x∈PC(J,R)$. It is obvious that F is well defined because of the continuity of f, $I k$ and $J k$. Observe that problem (1) has solutions if and only if the operator F has fixed points.

Let $L ∞ (J, R + )$ be the essentially bounded function space from J to $R +$ and $m(t)$ an element of $L ∞ (J, R + )$, we denote the sup-norm of m by $∥m∥= sup t ∈ J |m(t)|$. Now, we are in a position to present our main results.

Theorem 3.1 Assume that there exist $h∈ L ∞ (J, R + )$ and positive constants L, $L ∗$ such that, for $t∈J$, $x,y∈R$, $k=1,2,…,m$,

$| f ( t , x ) − f ( t , y ) | ≤h(t)|x−y|,$
(5)
$| I k ( x ) − I k ( y ) | ≤L|x−y|, | J k ( x ) − J k ( y ) | ≤ L ∗ |x−y|.$
(6)

Moreover,

$∥ h ∥ ( 1 Γ ( α + 1 ) + | a | | a Γ ( γ + 2 ) + b | Γ ( α + γ + 1 ) + | b | | a Γ ( γ + 2 ) + b | Γ ( α ) ) + L ∗ ( m + ∑ i = 1 m t i + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 1 ) ) + m L ( 1 + | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 1 ) ) < 1 .$
(7)

Then BVP (1) has a unique solution on J.

Proof Denote $∥h∥= sup t ∈ J |h(t)|$ and $N(x,y)=f(s,x(s))−f(s,y(s))$. For any $x,y∈PC(J,R)$ and each $t∈J$, we have

$| ( F x ) ( t ) − ( F y ) ( t ) | ≤ ∫ 0 t ( t − s ) α − 1 Γ ( α ) | N ( x , y ) | d s + ∑ i = 1 m | I i ( x ( t i − ) ) − I i ( y ( t i − ) ) | + ∑ i = 1 m t i | J i ( x ( t i − ) ) − J i ( y ( t i − ) ) | + | Λ x − Λ y | + | W x − W y | | a Γ ( γ + 2 ) + b | + ∑ i = 1 m | J i ( x ( t i − ) ) − J i ( y ( t i − ) ) | .$

Since

$| Λ x − Λ y | ≤ | a | ∫ 0 1 ( 1 − s ) α + γ − 1 Γ ( α + γ ) | N ( x , y ) | d s + | b | ∫ 0 1 ( 1 − s ) α − 2 Γ ( α − 1 ) | N ( x , y ) | d s ≤ | a | ∥ h ∥ Γ ( α + γ + 1 ) ∥ x − y ∥ + | b | ∥ h ∥ Γ ( α ) ∥ x − y ∥ ,$

and

$| W x − W y | ≤ | a | Γ ( γ + 1 ) ∑ i = 1 m | I i ( x ( t i − ) ) − I i ( y ( t i − ) ) | + | a | Γ ( γ + 1 ) ∑ i = 1 m t i | J i ( x ( t i − ) ) − J i ( y ( t i − ) ) | ≤ | a | m L Γ ( γ + 1 ) ∥ x − y ∥ + | a | L ∗ Γ ( γ + 1 ) ∑ i = 1 m t i ∥ x − y ∥ ,$

we can deduce that

$∥ F x − F y ∥ ≤ [ ∥ h ∥ ( 1 Γ ( α + 1 ) + | a | | a Γ ( γ + 2 ) + b | Γ ( α + γ + 1 ) + | b | | a Γ ( γ + 2 ) + b | Γ ( α ) ) + m L ( 1 + | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 1 ) ) + L ∗ ( m + ∑ i = 1 m t i + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 1 ) ) ] ∥ x − y ∥ .$

Therefore, by (7), the operator F is a contraction mapping on $PC(J,R)$. Then it follows from Banach’s fixed point theorem that problem (1) has a unique solution on J. This completes the proof. □

Lemma 3.1 The operator $F:PC(J,R)→PC(J,R)$ defined by (4) is completely continuous.

Proof Since f, $I k$ and $J k$ are continuous, it is easy to show that F is continuous on $PC(J,R)$.

Let $B⊆PC(J,R)$ be bounded, then there exist three positive constants $N i$, $i=1,2,3$, such that $|f(t,x(t))|≤ N 1$, $| I k (x( t k − ))|≤ N 2$ and $| J k (x( t k − ))|≤ N 3$ for all $t∈J$, $x∈B$, $k=1,2,…,m$. Thus, for $x∈B$ and $t∈J$, we have

$| ( F x ) ( t ) | ≤ N 1 Γ ( α + 1 ) + m N 2 + N 3 ( ∑ i = 1 m t i + m ) + ( | c | + | Λ x | + | W x | ) | a Γ ( γ + 2 ) + b | , | Λ x | ≤ | a | N 1 Γ ( α + γ + 1 ) + | b | N 1 Γ ( α ) ,$
(8)
$| W x |≤ | a | ( m N 2 + ∑ i = 1 m t i N 3 ) Γ ( γ + 2 ) .$
(9)

This means that for all $x∈B$ and $t∈J$,

$| ( F x ) ( t ) | ≤ N 1 Γ ( α + 1 ) + N 1 | a Γ ( γ + 2 ) + b | ( | a | Γ ( α + γ + 1 ) + | b | Γ ( α ) ) + m N 2 ( 1 + | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) + | c | | a Γ ( γ + 2 ) + b | + N 3 ( ( ∑ i = 1 m t i + m ) + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) ,$

which shows that the operator F is uniformly bounded on B.

On the other hand, let $x∈B$ and for any $t 1 , t 2 ∈ J k$, $k=0,1,2,…,m$, with $t 1 < t 2$, we have

$| ( F x ) ( t 2 ) − ( F x ) ( t 1 ) | ≤ | ∫ 0 t 2 ( t 2 − s ) α − 1 Γ ( α ) f ( s , x ( s ) ) d s − ∫ 0 t 1 ( t 1 − s ) α − 1 Γ ( α ) f ( s , x ( s ) ) d s | + ( | c | + | Λ x | + | W x | ) | a Γ ( γ + 2 ) + b | ( t 2 − t 1 ) + m L ∗ ( t 2 − t 1 ) ≤ N 1 ( t 2 α − t 1 α ) Γ ( α + 1 ) + ( | c | + | Λ x | + | W x | | a Γ ( γ + 2 ) + b | + m L ∗ ) ( t 2 − t 1 ) .$

By (8), (9), and the above inequality, we can deduce that

This implies that F is equicontinuous on the interval $J k$. Hence by PC-type Arzela-Ascoli Theorem (see ), the operator $F:PC(J,R)→PC(J,R)$ is completely continuous. □

Theorem 3.2 Assume that: (a) there exist $h∈ L ∞ (J, R + )$ and $φ:[0,∞)→(0,∞)$ continuous, nondecreasing such that $|f(t,x)|≤h(t)φ(|x|)$ for $(t,x)∈J×R$; (b) there exist $ψ, ψ ∗ :[0,∞)→(0,∞)$ continuous, nondecreasing such that $| I k (x)|≤ψ(|x|)$, $| J k (x)|≤ ψ ∗ (|x|)$ for all $x∈R$ and $k=1,2,…,m$; (c) there exists a constant $M>0$ such that

$M P φ ( M ) + Q ψ ( M ) + R ψ ∗ ( M ) + H >1,$
(10)

where

$P = ∥ h ∥ Γ ( α + 1 ) + ∥ h ∥ | a Γ ( γ + 2 ) + b | ( | a | Γ ( α + γ + 1 ) + | b | Γ ( α ) ) , Q = m + m | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) , R = ( ∑ i = 1 m t i + m + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) , H = | c | | a Γ ( γ + 2 ) + b | .$

Then BVP (1) has at least one solution.

Proof We will show that the operator F defined by (4) satisfies the assumptions of the nonlinear alternative of Leray-Schauder type.

By Lemma 3.1, we know that the operator $F:PC(J,R)→PC(J,R)$ is continuous and completely continuous.

Let $x∈PC(J,R)$ be such that $x(t)=λ(Fx)(t)$ for some $λ∈(0,1)$. Then using the computations in proving that F maps bounded sets into bounded sets in Lemma 3.1, we obtain

$| x ( t ) | ≤ ∥ h ∥ φ ( ∥ x ∥ ) Γ ( α + 1 ) + ∥ h ∥ φ ( ∥ x ∥ ) | a Γ ( γ + 2 ) + b | ( | a | Γ ( α + γ + 1 ) + | b | Γ ( α ) ) + m ψ ( ∥ x ∥ ) ( 1 + | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) + | c | | a Γ ( γ + 2 ) + b | + ψ ∗ ( ∥ x ∥ ) ( ( ∑ i = 1 m t i + m ) + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) = P φ ( ∥ x ∥ ) + Q ψ ( ∥ x ∥ ) + R ψ ∗ ( ∥ x ∥ ) + H .$

Consequently, we have

$∥ x ∥ P ∥ h ∥ L ∞ φ ( ∥ x ∥ ) + Q ψ ( ∥ x ∥ ) + R ψ ∗ ( ∥ x ∥ ) + H ≤1.$

Then in view of condition (10), there exists M such that $∥x∥≠M$. Let us set

$U= { x ∈ P C ( J , R ) : ∥ x ∥ < M } .$

The operator $F: U ¯ →PC(J,R)$ is continuous and compact. From the choice of the set U, there is no $x∈∂U$ such that $x=λFx$ for some $λ∈(0,1)$. Therefore by the nonlinear alternative of Leray-Schauder type, we deduce that F has a fixed point x in $U ¯$ which is a solution of the problem (1). The proof is completed. □

Theorem 3.3 Assume that there exist $h∈ L ∞ (J, R + )$ and positive constants $H 1$, $H 2$ such that, for $t∈J$, $x∈R$, $k=1,2,…,m$,

$| f ( t , x ) | ≤h(t), | I k ( x ) | ≤ H 1 , | I k ∗ ( x ) | ≤ H 2 .$

Then the BVP (1) has at least one solution on J.

Proof Lemma 3.1 tells us that the operator $F:PC(J,R)→PC(J,R)$ defined by (4) is continuous and compact on each bounded subset B of $PC(J,R)$.

Now, we show that the set $V={v∈PC(J,R):v=λFv,0<λ<1}$ is bounded. Let $x∈V$, then $x=λFx$ for some $0<λ<1$. For each $t∈J$, by using a discussion similar to the one in Theorem 3.2, we have

$| x ( t ) | = | λ ( F x ) ( t ) | ≤ ∥ h ∥ [ 1 Γ ( α + 1 ) + 1 | a Γ ( γ + 2 ) + b | ( | a | Γ ( α + γ + 1 ) + | b | Γ ( α ) ) ] + m H 1 ( 1 + | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) + | c | | a Γ ( γ + 2 ) + b | + H 2 ( ( ∑ i = 1 m t i + m ) + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 2 ) ) .$

This implies that there exists some $M>0$ such that $∥x∥≤M$ for all $x∈V$, i.e. V is bounded. Thus, by Theorem 2.2, the operator F has at least one fixed point. Hence the problem (1) has at least one solution. The proof is completed. □

## 4 Examples

In this section, we give two examples to illustrate the main results.

Example 1 Consider the boundary value problem

${ D 7 4 c x ( t ) = sin t ( t + 6 ) 2 ( x ( t ) + arctan x ( t ) ) , t ∈ [ 0 , 1 ] , t ≠ 1 2 , Δ x ( 1 2 ) = | x ( 1 2 − ) | 10 + | x ( 1 2 − ) | , Δ x ′ ( 1 2 ) = | x ( 1 2 − ) | 20 + | x ( 1 2 − ) | , x ( 0 ) = 0 , I 5 3 x ( 1 ) + 1 2 x ′ ( 1 ) = 2 .$
(11)

Here $α= 7 4$, $γ= 5 3$, $m=1$ $a=1$ $b= 1 2$ and $c=2$. Clearly, we can take $h(t)= 2 sin t ( t + 6 ) 2$, $L= 1 10$ and $L ∗ = 1 20$ such that the relations (5) and (6) hold. Moreover,

$∥ h ∥ ( 1 Γ ( α + 1 ) + | a | | a Γ ( γ + 2 ) + b | Γ ( α + γ + 1 ) + | b | | a Γ ( γ + 2 ) + b | Γ ( α ) ) + L ∗ ( m + ∑ i = 1 m t i + | a | ∑ i = 1 m t i | a Γ ( γ + 2 ) + b | Γ ( γ + 1 ) ) + m L ( 1 + | a | | a Γ ( γ + 2 ) + b | Γ ( γ + 1 ) ) ≈ 1 18 × 0.9128 + 1 20 × 1.6112 + 0.1223 = 0.2536 < 1 .$

Thus, all the assumptions of Theorem 3.1 are satisfied. Hence, by the conclusion of Theorem 3.1, the impulsive fractional BVP (11) has a unique solution on $[0,1]$.

Example 2 Consider the following fractional differential equation:

${ D 3 2 c x ( t ) = 6 t 3 + e − | x ( t ) | + sin x ( t ) , t ∈ [ 0 , 1 ] , t ≠ 1 4 , Δ x ( 1 4 ) = 3 | x ( 1 4 − ) | ( 1 + | x ( 1 4 − ) | ) , Δ x ′ ( 1 4 ) = 2 cos x ( 1 4 − ) + 3 , x ( 0 ) = 0 , I 5 4 x ( 1 ) − 1 2 x ′ ( 1 ) = − 3 .$
(12)

In the context of this problem, we have

$| f ( t , x ) | = | 6 t 3 + e − | x | + sin x | ≤ 8 , t ∈ [ 0 , 1 ] , x ∈ R , | I k ( x ) | ≤ 3 , | I k ∗ ( x ) | ≤ 5 , x ∈ R .$

Put $h(t)≡8$, $H 1 =3$ and $H 2 =5$. Then from Theorem 3.3, the impulsive fractional BVP (12) has at least one solution on $[0,1]$.

## References

1. 1.

Băleanu D, Machado JAT, Luo ACJ: Fractional Dynamics and Control. Springer, Berlin; 2012.

2. 2.

Sabatier J, Agrawal OP, Machado JAT (Eds): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.

3. 3.

Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge; 2009.

4. 4.

Kilbas AA, Srivastava HM, Trujillo J North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

5. 5.

Bai ZB: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72(2):916–924. 10.1016/j.na.2009.07.033

6. 6.

Ahmad B, Nieto J: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011., 2011: Article ID 36

7. 7.

Ahmad B, Nieto J: Existence of solutions for impulsive anti-periodic boundary value problems of fractional order. Taiwan. J. Math. 2011, 15: 981–993.

8. 8.

Ahmad B, Ntouyas B, Alsaedi S: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011., 2011: Article ID 107384

9. 9.

Ahmad B, Sivasundaram S: Existence of solutions for impulsive integral boundary value problems of fractional order. Nonlinear Anal. Hybrid Syst. 2010, 4: 134–141. 10.1016/j.nahs.2009.09.002

10. 10.

Ahmad B, Wang GT: A study of an impulsive four-point nonlocal boundary value problem of nonlinear fractional differential equations. Comput. Math. Appl. 2011, 62: 1341–1349. 10.1016/j.camwa.2011.04.033

11. 11.

Li CF, Luo XN, Zhou Y: Existence of positive solutions of the boundary value problem for nonlinear fractional differential equations. Comput. Math. Appl. 2010, 59: 1363–1375. 10.1016/j.camwa.2009.06.029

12. 12.

Sudsutad W, Tariboon J: Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions. Adv. Differ. Equ. 2012., 2012: Article ID 93

13. 13.

Guezane-Lakoud A, Khaldi R: Solvability of a fractional boundary value problem with fractional integral condition. Nonlinear Anal. 2010, 75: 2692–2700.

14. 14.

Wang GT, Ahmad B, Zhang LH: Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. 2011, 74: 792–804. 10.1016/j.na.2010.09.030

15. 15.

Wang JR, Lv LL, Zhou Y: Boundary value problems for fractional differential equations involving Caputo derivative in Banach spaces. J. Appl. Math. Comput. 2012, 38: 209–224. 10.1007/s12190-011-0474-3

16. 16.

Wang JR, Zhou Y, Feckan M: On recent developments in the theory of boundary value problems for impulsive fractional differential equations. Comput. Math. Appl. 2012, 64: 3008–3020. 10.1016/j.camwa.2011.12.064

17. 17.

Wang JR, Feckan M, Zhou Y: On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. Partial Differ. Equ. 2011, 8: 345–361. 10.4310/DPDE.2011.v8.n4.a3

18. 18.

Wang JR, Feckan M, Zhou Y: Ulam’s type stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 2012, 395: 258–264. 10.1016/j.jmaa.2012.05.040

19. 19.

Wang JR, Zhou Y: Existence and controllability results for fractional semilinear differential inclusions. Nonlinear Anal., Real World Appl. 2011, 12: 3642–3653. 10.1016/j.nonrwa.2011.06.021

20. 20.

Wang JR, Zhou Y: Analysis of nonlinear fractional control systems in Banach spaces. Nonlinear Anal. TMA 2011, 74: 5929–5942. 10.1016/j.na.2011.05.059

21. 21.

Wang JR, Zhou Y: On the solvability and optimal controls of fractional integro-differential evolution systems with infinite delay. J. Optim. Theory Appl. 2012, 152: 31–50. 10.1007/s10957-011-9892-5

22. 22.

Wang JR, Zhou Y: Fractional Schrödinger equations with potential and optimal controls. Nonlinear Anal., Real World Appl. 2012, 13: 2755–2766. 10.1016/j.nonrwa.2012.04.004

23. 23.

Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 36: 1–12.

24. 24.

Fu X, Liu XY: Existence results for fractional differential equations with separated boundary conditions and fractional impulsive conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 785078

25. 25.

Liu XY, Liu ZH, Fu X: Relaxation in nonconvex optimal control problems described by fractional differential equations. J. Math. Anal. Appl. 2014, 409: 446–458. 10.1016/j.jmaa.2013.07.032

26. 26.

Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2003.

27. 27.

Wei W, Xiang X, Peng Y: Nonlinear impulsive integro-differential equation of mixed type and optimal controls. Optimization 2006, 55: 141–156. 10.1080/02331930500530401

## Acknowledgements

The authors would like to thank the reviewers for their valuable comments and suggestions on the paper. This research was supported by Zhejiang Provincial Natural Science Foundation of China under Grant No. (Q14A010012).

## Author information

Authors

### Corresponding author

Correspondence to Xi Fu.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors contributed equally to the manuscript. Both authors have read and approved the final version of the manuscript.

## Rights and permissions 