Skip to content
Open Access

Existence of solution to a class of boundary value problem for impulsive fractional differential equations

Advances in Difference Equations20142014:12

https://doi.org/10.1186/1687-1847-2014-12

Received: 2 July 2013

Accepted: 17 December 2013

Published: 9 January 2014

Abstract

By means of the Green function, the boundary value problem of a fractional differential equation can be reduced to the equivalent integral equation. Recently, this method has been used successfully to discuss the existence of the solution to the boundary value problem of a nonlinear fractional differential equation. By applying the nonlinear alternative of the Leray-Schauder type and the Krasnoselskii fixed point theorem, we investigate the boundary value problem of a nonlinear impulsive fractional differential equation, and we obtain two existence results for the solution.

MSC:26A33, 34B15.

Keywords

boundary value problemimpulsive fractional differential equationsCaputo fractional derivativeexistence of solutionsfixed point theorem

1 Introduction

Boundary value problems for nonlinear fractional differential equations have recently been addressed by several researchers. The interest in the study of differential equations of fractional order lies in the fact that fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes [15]. For some recent development on the topic, see [611] and the references therein.

Impulsive differential equations, which provide a natural description of observed evolution processes, are regarded as important mathematical tools for the better understanding of several real world problems in the applied sciences. The theory of impulsive differential equations of integer order has found extensive applications in realistic mathematical modeling of a wide variety of practical situations and has emerged as an important area of investigation in recent years. For the general theory and applications of impulsive differential equations, we refer the reader to references [1215]. The impulsive differential equations of fractional order have also attracted considerable attention and a variety of results can be found in [1624] and the references therein.

In [16], Ahmad et al. considered the following the impulsive fractional differential equations:
{ D q c x ( t ) = f ( t , x ( t ) ) , t J = [ 0 , 1 ] { t 1 , t 2 , t 3 , , t p } , Δ x ( t k ) = I k ( x ( t k ) ) , Δ x ( t k ) = J k ( x ( t k ) ) , t k ( 0 , 1 ) , k = 1 , , p , x ( 0 ) + x ( 0 ) = 0 , x ( 1 ) + x ( 1 ) = 0 ,

where D q c is the Caputo fractional derivative. The results are based on the contraction mapping principle and Krasnoselskii’s fixed point theorem.

In [17], Tian et al. considered the following the impulsive fractional differential equations:
{ D q c u ( t ) = f ( t , u ) , 0 < t < 1 , t t k , k = 1 , , p , 1 < q 2 , Δ u ( t k ) = I k ( u ( t k ) ) , Δ u ( t k ) = I ¯ k ( u ( t k ) ) , k = 1 , , p , u ( 0 ) + u ( 0 ) = 0 , u ( 1 ) + u ( ξ ) = 0 , ξ ( 0 , 1 ) , ξ t k , k = 1 , , p .

The results are based on the contraction mapping principle and Schauder’s fixed point theorem.

In [18], Zhang et al. considered the following impulsive fractional differential equations:
{ D q c y ( t ) = f ( t , y ) , t J = [ 0 , T ] , t t k , k = 1 , , m , 1 < q 2 , Δ u ( t k ) = I k ( u ( t k ) ) , Δ u ( t k ) = I ¯ k ( u ( t k ) ) , k = 1 , , p , y ( 0 ) = y ( T ) , y ( 0 ) = y ( T ) .

The results are based on the Altman fixed point theorem and Leray-Schauder fixed point theorem.

On the other hand, the impulsive boundary value problems for nonlinear fractional differential equations have not been addressed so extensively and many aspects of these problems are yet to be explored. For example, we observed that in the above-mentioned work [1624], the authors all require that the nonlinear term f is bounded and continuous; if the impulse functions I k and I ¯ k are bounded, it is easy to see that these conditions are very strongly restrictive and difficult to satisfy in applications. Motivated by the above-mentioned work [1624], this article is mainly concerned with the existence of a solution for the boundary value problems for the nonlinear impulsive fractional differential equations
{ D q c u ( t ) = f ( t , u ( t ) ) , 1 < q 2 , t J , Δ u ( t k ) = I k ( u ( t k ) ) , Δ u ( t k ) = I ¯ k ( u ( t k ) ) , k = 1 , , m , a u ( 0 ) b u ( 0 ) = x 0 , c u ( 1 ) + d u ( 1 ) = x 1 ,
(1.1)

where D q c is the Caputo fractional derivative, a 0 , b > 0 , c 0 , d > 0 , δ = a c + a d + b c 0 , and x 0 , x 1 R . f C ( I × R , R ) , I k , I ¯ k : C ( R , R ) , J = [ 0 , 1 ] , 0 = t 0 < t 1 < < t m < t m + 1 = 1 , J = J { t 1 , t 2 , , t m } , Δ u ( t k ) = u ( t k + ) u ( t k ) , u ( t k + ) = lim h 0 + u ( t k + h ) and u ( t k ) = lim h 0 u ( t k + h ) represent the right and left limits of u ( t ) at t = t k , k = 1 , , m . Δ u ( t k ) has a similar meaning for u ( t ) .

Evidently, problem (1.1) not only includes the boundary value problems mentioned above [16] but also extends them to a much wider case. Our main tools are the nonlinear alternative of Leray-Schauder type and the Krasnoselskii fixed point theorem. Some recent results in [1624] are generalized and significantly improved (see Remark 3.1).

The remainder of this article is organized as follows. In Section 2, we provide some basic definitions, preliminaries facts, and various lemmas which will be used throughout this paper. In Section 3, we give two main results of problem (1.1). The last section is devoted to an example illustrating the applicability of the imposed conditions.

2 Preliminaries and lemmas

Let J 0 = [ 0 , t 1 ] , J 1 = ( t 1 , t 2 ] , …, J p 1 = ( t p 1 , t p ] , J p = ( t p , 1 ] , and let us introduce the spaces: L 1 ( J , R ) denotes the Banach space of measurable functions u : J R which are Bochner integrable, equipped with the norm u L 1 : = J u ( t ) d t ; P C ( J , R ) = { u : J R : u C ( J k ) , k = 0 , 1 , , m , and u ( t k + ) exists, k = 1 , , m } is a Banach space with the norm u P C : = sup t J u ( t ) , and P C 1 ( J , R ) = { u : J R : u C 1 ( J k ) , k = 0 , 1 , , m , and u ( t k + ) , u ( t k + ) exists, k = 1 , , m } is a Banach space with the norm u P C 1 : = max t J { u , u } .

Definition 2.1 [1]

The Riemann-Liouville fractional integral of order r for a continuous function h is defined as
I r h ( t ) = 0 t ( t s ) r 1 Γ ( r ) h ( s ) d s , r > 0 ,

provided the integral exists.

Definition 2.2 [1]

For an at least n-times continuously differentiable function h : [ 0 , ) R , the Caputo derivative of fractional order r is defined as
D r c h ( t ) = 1 Γ ( n r ) 0 t ( t s ) n r 1 h ( n ) ( s ) d s , n 1 < r < n , n = [ r ] + 1 ,

where [ r ] denotes the integer part of the real number r.

Lemma 2.1 Let r > 0 , h C [ 0 , 1 ] L ( 0 , 1 ) , then the differential equation D r c h ( t ) = 0 has solutions
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 = [ r ] + 1 .

Lemma 2.2 Assume that h C [ 0 , 1 ] L ( 0 , 1 ) with a derivative of order r that belongs to C [ 0 , 1 ] L ( 0 , 1 ) . Then
I 0 + r c D 0 + r 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 = [ r ] + 1 .

Lemma 2.3 [22]

For a given h C [ 0 , 1 ] , a function u is a solution of the following impulsive boundary value problem:
{ D q c u ( t ) = h ( t ) , 1 < q 2 , t J , Δ u ( t k ) = I k ( u ( t k ) ) , Δ u ( t k ) = I ¯ k ( u ( t k ) ) , k = 1 , , m , a u ( 0 ) b u ( 0 ) = x 0 , c u ( 1 ) + d u ( 1 ) = x 1 ,
(2.1)
if and only if u is a solution of the impulsive fractional integral equation
u ( t ) = { 1 Γ ( q ) 0 t ( t s ) q 1 h ( s ) d s + C 1 + C 2 t , if  t J 0 , 1 Γ ( q ) t k t ( t s ) q 1 h ( s ) d s + 1 Γ ( q ) i = 1 k t i 1 t i ( t i s ) q 1 h ( s ) d s + 1 Γ ( q 1 ) i = 1 k ( t t k ) t i 1 t i ( t i s ) q 2 h ( s ) d s + 1 Γ ( q 1 ) i = 1 k 1 ( t k t i ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 k I i ( y ( t i ) ) + i = 1 k ( t t k ) I ¯ i ( u ( t i ) ) + i = 1 k 1 ( t k t i ) I ¯ i ( u ( t i ) ) + C 1 + C 2 t , if  t J k ,
(2.2)
where
C 1 = { i = 1 m + 1 b c δ Γ ( q ) t i 1 t i ( t i s ) q 1 h ( s ) d s + i = 1 m b c ( 1 t m ) δ Γ ( q 1 ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 m 1 b c ( t m t i ) δ Γ ( q 1 ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 m + 1 b d δ Γ ( q 1 ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 m b c δ I i ( u ( t i ) ) + i = 1 m b c ( 1 t p ) δ I ¯ i ( u ( t i ) ) + i = 1 m 1 b c ( t p t i ) δ I ¯ i ( u ( t i ) ) + i = 1 m b d δ I ¯ i ( u ( t i ) ) + ( b c δ ) x 0 a b x 1 a δ } , C 2 = { i = 1 m + 1 a c δ Γ ( q ) t i 1 t i ( t i s ) q 1 h ( s ) d s + i = 1 m a c ( 1 t m ) δ Γ ( q 1 ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 m 1 a c ( t m t i ) δ Γ ( q 1 ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 m + 1 a d δ Γ ( q 1 ) t i 1 t i ( t i s ) q 2 h ( s ) d s + i = 1 m a c δ I i ( u ( t i ) ) + i = 1 m a c ( 1 t p ) δ I ¯ i ( u ( t i ) ) + i = 1 m 1 a c ( t p t i ) δ I ¯ i ( u ( t i ) ) + i = 1 m a d δ I ¯ i ( u ( t i ) ) + c x 0 a x 1 a δ } .

Now we state some well-known fixed point theorems which are needed to prove the existence of solutions for equation (1.1).

Lemma 2.4 [25] (the nonlinear alternative of Leray-Schauder)

Let E be a Banach space, C a convex subset of E, U an open subset of C and 0 U . Suppose F : U ¯ C (here U ¯ denotes the closure of U in C) is a continuous, compact map. Then either

(A1) F has a fixed point in U; or

(A2) there exists u U (the boundary of U in C) and λ ( 0 , 1 ) with u = λ F ( u ) .

Lemma 2.5 [25] (Krasnoselskii fixed point theorem)

Let D be a closed convex and nonempty subset of a Banach space X. Let A 1 , A 2 be the operators such that
  1. (i)

    A 1 x + A 2 y D whenever x , y D ;

     
  2. (ii)

    A 1 is completely continuous;

     
  3. (iii)

    A 2 is a contraction mapping.

     

Then there exists z D such that z = A 1 z + A 2 z .

3 Main results

Define an operator A : P C ( J , R ) P C ( J , R ) as
( A u ) ( t ) = 1 Γ ( q ) t k t ( t s ) q 1 f ( s , u ( s ) ) d s + 1 Γ ( q ) i = 1 k t i 1 t i ( t i s ) q 1 f ( s , u ( s ) ) d s + 1 Γ ( q 1 ) i = 1 k ( t t k ) t i 1 t i ( t i s ) q 2 f ( s , u ( s ) ) d s + 1 Γ ( q 1 ) i = 1 k 1 ( t k t i ) t i 1 t i ( t i s ) q 2 f ( s , u ( s ) ) d s + i = 1 k I i ( u ( t i ) ) + i = 1 k ( t t k ) I ¯ i ( u ( t i ) ) + i = 1 k 1 ( t k t i ) I ¯ i ( u ( t i ) ) + M 1 + M 2 t ,
(3.1)
where
M 1 = { i = 1 m + 1 t i 1 t i b c ( t i s ) q 1 δ Γ ( q ) f ( s , u ( s ) ) d s + i = 1 m t i 1 t i b c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m 1 t i 1 t i b c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m + 1 t i 1 t i b d ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m b c δ I i ( u ( t i ) ) + i = 1 m b c ( 1 t p ) δ I ¯ i ( u ( t i ) ) + i = 1 m 1 b c ( t p t i ) δ I ¯ i ( u ( t i ) ) + i = 1 m b d δ I ¯ i ( u ( t i ) ) + ( b c δ ) x 0 a b x 1 a δ } ,
(3.2)
M 2 = { i = 1 m + 1 t i 1 t i a c ( t i s ) q 1 δ Γ ( q ) f ( s , u ( s ) ) d s + i = 1 m t i 1 t i a c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m 1 t i 1 t i a c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m + 1 t i 1 t i a d ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m a c δ I i ( u ( t i ) ) + i = 1 m a c ( 1 t p ) δ I ¯ i ( u ( t i ) ) + i = 1 m 1 b c ( t p t i ) δ I ¯ i ( u ( t i ) ) + i = 1 m a d δ I ¯ i ( u ( t i ) ) + c x 0 a x 1 a δ } .
(3.3)

Lemma 3.1 [22]

Let f C ( I × R , R ) , I k , I ¯ k : C ( R , R ) , then A : P C ( J , R ) P C ( J , R ) is completely continuous.

Theorem 3.1 Assume that the following conditions hold.

(H1) The function f C ( I × R , R ) , I k , I ¯ k : R R is continuous.

(H2) There exist ϕ f C ( J , [ 0 , + ) ) and φ : [ 0 , + ) [ 0 , + ) continuous and nondecreasing such that
| f ( t , u ) | ϕ f ( t ) φ ( | u | ) , ( t , u ) J × R .
(H3) There exist φ , φ ¯ : [ 0 , + ) [ 0 , + ) continuous and nondecreasing such that
| I k ( u ) | φ ( | u | ) , | I ¯ k ( u ) | φ ¯ ( | u | ) , u R .
(H4) There exists a number M ¯ > 0 such that
M ¯ A ϕ f 0 φ ( M ¯ ) + B φ ( M ¯ ) + C φ ¯ ( M ¯ ) + D > 1 ,
(3.4)
where
A = ( m + 1 ) [ c ( a + b ) + δ ] δ Γ ( q + 1 ) + ( 2 m 1 ) [ c ( a + b ) + δ ] + ( m + 1 ) ( a + b ) d δ Γ ( q ) , B = m [ c ( a + b ) + δ ] δ , C = ( 2 m 1 ) [ c ( a + b ) + δ ] + m d ( a + b ) δ , D = ( 2 c + d ) | x 0 | + ( a + b ) | x 1 | δ .

Then problem (1.1) has at least one solution on J.

Proof Consider the operator A defined by (3.1). By Lemma 3.1, it can easily be shown that A is continuous and completely continuous. For 0 λ 1 , let u be such that for each t J we have u ( t ) = λ ( A u ) ( t ) . Then from (H2)-(H3) we have for each t J ,
| M 1 | i = 1 m + 1 t i 1 t i b c ( t i s ) q 1 δ Γ ( q ) | f ( s , u ( s ) ) | d s + i = 1 m t i 1 t i b c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) | f ( s , u ( s ) ) | d s + i = 1 m 1 t i 1 t i b c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) | f ( s , u ( s ) ) | d s + i = 1 m + 1 t i 1 t i b d ( t i s ) q 2 δ Γ ( q 1 ) | f ( s , u ( s ) ) | d s + i = 1 m b c δ | I i ( u ( t i ) ) | + i = 1 m b c ( 1 t p ) δ | I ¯ i ( u ( t i ) ) | + i = 1 m 1 b c ( t p t i ) δ | I ¯ i ( u ( t i ) ) | + i = 1 m b d δ | I ¯ i ( u ( t i ) ) | + ( c + d ) | x 0 | + b | x 1 | δ i = 1 m + 1 t i 1 t i b c ( t i s ) q 1 δ Γ ( q ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m b c δ φ ( | u ( t i ) | ) + i = 1 m t i 1 t i b c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m b c ( 1 t p ) δ φ ¯ ( | u ( t i ) | ) + i = 1 m 1 t i 1 t i b c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m 1 b c ( t p t i ) δ φ ¯ ( | u ( t i ) | ) + i = 1 m + 1 t i 1 t i b d ( t i s ) q 2 δ Γ ( q 1 ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m b d δ φ ¯ ( | u ( t i ) | ) + ( c + d ) | x 0 | + b | x 1 | δ [ ( m + 1 ) b c δ Γ ( q + 1 ) + m b c δ Γ ( q ) + ( m 1 ) b c δ Γ ( q ) + ( m + 1 ) b d δ Γ ( q ) ] ϕ f 0 φ ( u ) + m b c δ φ ( u ) + [ m b c δ + ( m 1 ) b c δ + m b d δ ] φ ¯ ( u ) + ( c + d ) | x 0 | + b | x 1 | δ .
(3.5)
Similarly, we have
| M 2 | i = 1 m + 1 t i 1 t i a c ( t i s ) q 1 δ Γ ( q ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m b c δ φ ( | u ( t i ) | ) + i = 1 m t i 1 t i a c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m a c ( 1 t p ) δ φ ¯ ( | u ( t i ) | ) + i = 1 m 1 t i 1 t i a c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m 1 a c ( t p t i ) δ φ ¯ ( | u ( t i ) | ) + i = 1 m + 1 t i 1 t i a d ( t i s ) q 2 δ Γ ( q 1 ) ϕ f ( s ) φ ( | u ( s ) | ) d s + i = 1 m a d δ φ ¯ ( | u ( t i ) | ) + c | x 0 | + a | x 1 | δ [ ( m + 1 ) a c δ Γ ( q + 1 ) + m a c δ Γ ( q ) + ( m 1 ) a c δ Γ ( q ) + ( m + 1 ) a d δ Γ ( q ) ] ϕ f 0 φ ( u ) + m a c δ φ ( u ) + [ m a c δ + ( m 1 ) a c δ + m b d δ ] φ ¯ ( u ) + c | x 0 | + a | x 1 | δ .
(3.6)
Therefore
| u ( t ) | 1 Γ ( q ) t k t ( t s ) q 1 | f ( s , u ( s ) ) | d s + 1 Γ ( q ) i = 1 k t i 1 t i ( t i s ) q 1 | f ( s , u ( s ) ) | d s + 1 Γ ( q 1 ) i = 1 k ( t t k ) t i 1 t i ( t i s ) q 2 | f ( s , u ( s ) ) | d s + 1 Γ ( q 1 ) i = 1 k 1 ( t k t i ) t i 1 t i ( t i s ) q 2 | f ( s , u ( s ) ) | d s + i = 1 k | I i ( u ( t i ) ) | + i = 1 k ( t t k ) | I ¯ i ( u ( t i ) ) | + i = 1 k 1 ( t k t i ) | I ¯ i ( u ( t i ) ) | + | M 1 | + | M 2 | [ t k t ( t s ) q 1 Γ ( q ) d s + i = 1 m t i 1 t i ( t i s ) q 1 Γ ( q ) d s + | M 1 | + | M 2 | + i = 1 m t i 1 t i ( t t k ) ( t i s ) q 2 Γ ( q 1 ) d s + i = 1 m 1 t i 1 t i ( t k t i ) ( t i s ) q 2 Γ ( q 1 ) d s ] ϕ f 0 φ ( u ) + i = 1 m φ ( | u ( t k ) | ) + i = 1 m ( t t k ) φ ¯ ( | u ( t k ) | ) + i = 1 m 1 ( t k t i ) φ ¯ ( | u ( t k ) | ) ( m + 1 ) [ c ( a + b ) + δ ] δ Γ ( q + 1 ) ϕ f 0 φ ( u ) + ( 2 m 1 ) [ c ( a + b ) + δ ] + ( m + 1 ) ( a + b ) d δ Γ ( q ) ϕ f 0 φ ( u ) + m [ c ( a + b ) + δ ] δ φ ( u ) + ( 2 m 1 ) [ c ( a + b ) + δ ] + m d ( a + b ) δ φ ¯ ( u ) + ( 2 c + d ) | x 0 | + ( a + b ) | x 1 | δ ,
(3.7)
which implies that
u A ϕ f 0 φ ( u ) + B φ ( u ) + C φ ¯ ( u ) + D 1 .
(3.8)

Then by the condition (3.4) there exists M ¯ such that u M ¯ .

Let
U = { u P C ( J , R ) : u < M ¯ } .

The operator A : U ¯ P C ( J , R ) is continuous and completely continuous. From the choice of U, there is no u U such that u = λ A ( u ) for some λ [ 0 , 1 ] . As a consequence of the nonlinear alternative of Leray-Schauder type [25] we deduce that A has a fixed point u in U ¯ which is a solution of problem (1.1). This completes the proof. □

Remark 3.1 Compared with Theorem 3.2 in [1622], our Theorem 3.1 does not need conditions | f ( t , u ) | L 1 , | I k ( u ) | L 2 , | I ¯ k ( u ) | L 3 , clearly, these conditions are very strong. Thus, the results of the above-mentioned works are generalized and significantly improved.

Theorem 3.2 Let f C ( I × R , R ) , I k , I ¯ k : C ( R , R ) , and they satisfy

(H5) there exists a positive constant γ 1 > 0 , such that
| f ( t , u ) f ( t , v ) | γ 1 | u v | , t J , u , v R ;
(3.9)
(H6) there exist positive constants γ 2 , γ 3 , γ 4 , γ 5 > 0 , for u , v R , such that
| I k ( u ) I k ( v ) | γ 2 | u v | , | I ¯ k ( u ) I ¯ k ( v ) | γ 3 | u v | , | I k ( u ) | γ 4 , | I ¯ k ( u ) | γ 5 , k = 1 , , m ;
(3.10)
(H7) for ( t , x ) J × R and μ P C ( J , R + ) , one has
| f ( t , x ( t ) ) | μ ( t ) ,
and
λ : = m [ c ( a + b ) + δ ] δ γ 4 + ( 2 m 1 ) [ c ( a + b ) + δ ] + m d ( a + b ) δ γ 5 + ( 2 c + d ) | x 0 | + ( a + b ) | x 1 | δ < 1 .
(3.11)

Then problem (1.1) has at least one solution.

Proof Let us fix
r { ( m + 1 ) [ c ( a + b ) + δ ] δ Γ ( q + 1 ) + ( 2 m 1 ) [ c ( a + b ) + δ ] + ( m + 1 ) ( a + b ) d δ Γ ( q ) } μ P C + m [ c ( a + b ) + δ ] δ γ 4 + ( 2 m 1 ) [ c ( a + b ) + δ ] + m d ( a + b ) δ γ 5 + ( 2 c + d ) | x 0 | + ( a + b ) | x 1 | δ .

Let C = P C ( J , R ) , and consider B r = { u C : u r } ; then B r is a bounded, closed, convex set in .

Now define the operators A 1 and A 2 on B r as
( A 1 u ) ( t ) = 1 Γ ( q ) t k t ( t s ) q 1 f ( s , u ( s ) ) d s + 1 Γ ( q ) i = 1 m t i 1 t i ( t i s ) q 1 f ( s , u ( s ) ) d s + 1 Γ ( q 1 ) i = 1 m ( t t k ) t i 1 t i ( t i s ) q 2 f ( s , u ( s ) ) d s + 1 Γ ( q 1 ) i = 1 m 1 ( t k t i ) t i 1 t i ( t i s ) q 2 f ( s , u ( s ) ) d s { i = 1 m + 1 t i 1 t i b c ( t i s ) q 1 δ Γ ( q ) f ( s , u ( s ) ) d s + i = 1 m t i 1 t i b c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m 1 t i 1 t i b c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m + 1 t i 1 t i b d ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s } { i = 1 m + 1 t i 1 t i a c ( t i s ) q 1 δ Γ ( q ) f ( s , u ( s ) ) d s + i = 1 m t i 1 t i a c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m 1 t i 1 t i a c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m + 1 t i 1 t i a d ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s } t
(3.12)
and
( A 2 u ) ( t ) = i = 1 m I i ( u ( t i ) ) + i = 1 m ( t t k ) I ¯ i ( u ( t i ) ) + i = 1 m 1 ( t k t i ) I ¯ i ( u ( t i ) ) { i = 1 m b c δ I i ( u ( t i ) ) + i = 1 m b c ( 1 t p ) δ I ¯ i ( u ( t i ) ) + i = 1 m 1 b c ( t p t i ) δ I ¯ i ( u ( t i ) ) + i = 1 m b d δ I ¯ i ( u ( t i ) ) + ( b c δ ) x 0 a b x 1 a δ } { i = 1 m a c δ I i ( u ( t i ) ) + i = 1 m a c ( 1 t p ) δ I ¯ i ( u ( t i ) ) + i = 1 m 1 b c ( t p t i ) δ I ¯ i ( u ( t i ) ) + i = 1 m a d δ I ¯ i ( u ( t i ) ) + c x 0 a x 1 a δ } t .
(3.13)
For u , v B r , by (H7), we find that
A 1 u + A 2 v { ( m + 1 ) [ c ( a + b ) + δ ] δ Γ ( q + 1 ) + ( 2 m 1 ) [ c ( a + b ) + δ ] + ( m + 1 ) ( a + b ) d δ Γ ( q ) } μ P C + m [ c ( a + b ) + δ ] δ γ 4 + ( 2 m 1 ) [ c ( a + b ) + δ ] + m d ( a + b ) δ γ 5 + ( 2 c + d ) | x 0 | + ( a + b ) | x 1 | δ r .

Thus, A 1 u + A 2 v r , so A 1 u + A 2 v B r .

For u , v B r and for each t J , it follows from the assumption (H6) that A 2 is a contraction mapping for λ < 1 . Continuity of f implies that the operator A 1 is continuous. Also, A 1 is uniformly bounded on B r . In fact,
A 1 x { ( m + 1 ) [ c ( a + b ) + δ ] δ Γ ( q + 1 ) + ( 2 m 1 ) [ c ( a + b ) + δ ] + ( m + 1 ) ( a + b ) d δ Γ ( q ) } μ P C .
On the other hand, for t J k , 0 k m , we have
| ( A 1 u ) ( t ) | 1 Γ ( q 1 ) t k t ( t s ) q 2 | f ( s , u ( s ) ) | d s + 1 Γ ( q 1 ) i = 1 m t i 1 t i ( t i s ) q 2 | f ( s , u ( s ) ) | d s + | { i = 1 m + 1 t i 1 t i a c ( t i s ) q 1 δ Γ ( q ) f ( s , u ( s ) ) d s + i = 1 m t i 1 t i a c ( 1 t m ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m 1 t i 1 t i a c ( t m t i ) ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s + i = 1 m + 1 t i 1 t i a d ( t i s ) q 2 δ Γ ( q 1 ) f ( s , u ( s ) ) d s } | { ( m + 1 ) a c δ Γ ( q + 1 ) + ( 2 m 1 ) a c + ( m + 1 ) ( a d + δ ) δ Γ ( q ) } μ P C : = M .
(3.14)
If t 1 , t 2 J k , and t 1 < t 2 , 0 k m , then
| ( A 1 u ) ( t 2 ) ( A 1 u ) ( t 1 ) | t 1 t 2 | ( A 1 u ) ( s ) | d s M ( t 2 t 1 ) .

Thus, A 1 is equicontinuous. Using the fact that f maps bounded subsets into relatively compact subsets, it follows that A 1 is relatively compact on B r . Hence, by the Ascoli-Arzelà theorem, A 1 is compact on B r . Thus all the assumptions of Lemma 2.5 are satisfied. Hence, by the conclusion of Lemma 2.5, the impulsive fractional boundary value problem (1.1) has at least one solution on J. □

In the sequel we present an example which illustrates Theorem 3.2.

4 An example

Example 4.1 Consider the following boundary value problem:
{ D 0 + q c u ( t ) = sin t ( t + 3 ) 2 | u ( t ) | 1 + | u ( t ) | , 0 t 1 , t 1 2 , Δ u ( 1 2 ) = 1 ( t + 5 ) 2 | u ( t ) | 16 + | u ( t ) | , Δ u ( 1 2 ) = 1 ( t + 7 ) 2 | u ( t ) | 25 + | u ( t ) | , u ( 0 ) u ( 0 ) = 0.03 , u ( 1 ) + u ( 1 ) = 0.06 ,
(4.1)

where q = 3 2 , a = 1 , b = 1 , c = 1 , d = 1 , m = 1 , δ = a c + a d + b c = 3 . Clearly γ 1 = 1 9 , γ 2 = 1 25 , γ 3 = 1 49 , γ 4 = 1 25 , γ 5 = 1 49 , x 0 = 0.03 , x 1 = 0.06 .

Moreover, we have
λ : = m [ c ( a + b ) + δ ] δ γ 4 + ( 2 m 1 ) [ c ( a + b ) + δ ] + m d ( a + b ) δ γ 5 + ( 2 c + d ) | x 0 | + ( a + b ) | x 1 | δ 0.1743 < 1 .
(4.2)

Thus, all the assumptions of Theorem 3.2 are satisfied. Hence, by the conclusion of Theorem 3.2, the impulsive fractional boundary value problem (4.1) has at least one solution on J.

Declarations

Acknowledgements

This research was supported by the National Natural Science Foundation of China (11161027, 11262009); by the Scientific Research Projects in Colleges and Universities of Gansu Province of China (2013A-043); by the Fundamental Research Funds for the Gansu Universities (2013); by the Fundamental Research Funds for the Gansu Universities (212084); by the Youth Science Foundation of Lanzhou Jiaotong University (2012019); by the National Natural Science Foundation of China (11226132). The authors are thankful to the referees for their careful reading of the manuscript and insightful comments.

Authors’ Affiliations

(1)
College of Mathematics and Physics, Lanzhou Jiaotong University, Lanzhou, China
(2)
School of Mathematical Sciences, Fudan University, Shanghai, China

References

  1. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.MATHGoogle Scholar
  2. Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.MATHGoogle Scholar
  3. Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.MATHGoogle Scholar
  4. Podlubny I: Fractional Differential Equation. Academic Press, San Diego; 1999.Google Scholar
  5. Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon; 1993.MATHGoogle Scholar
  6. Daftardar-Gejji V: Positive solutions of a system of non-autonomous nonlinear fractional differential equations. J. Math. Anal. Appl. 2005, 302(1):56–64. 10.1016/j.jmaa.2004.08.007MATHMathSciNetView ArticleGoogle Scholar
  7. Babakhani A, Daftardar-Gejji V: Existence of positive solutions for multi-term non-autonomous fractional differential equations with polynomial coefficients. Electron. J. Differ. Equ. 2006, 2006(129):1–12.MathSciNetGoogle Scholar
  8. Bai ZB, Lü H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311(2):495–505. 10.1016/j.jmaa.2005.02.052MATHMathSciNetView ArticleGoogle Scholar
  9. Zhou W-X, Chang Y-X, Liu H-Z: Weak solutions for nonlinear fractional differential equations in Banach spaces. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 527969Google Scholar
  10. Zhou W-X, Peng J-G, Chu Y-D: Multiple positive solutions for nonlinear semipositone fractional differential equations. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 850871Google Scholar
  11. Zhou W-X, Chu Y-D: Existence of solutions for fractional differential equations with multi-point boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 2012, 17(3):1142–1148. 10.1016/j.cnsns.2011.07.019MATHMathSciNetView ArticleGoogle Scholar
  12. Baĭnov DD, Simeonov PS: Systems with Impulsive Effect. Ellis Horwood, Chichester; 1989.Google Scholar
  13. Benchohra M, Henderson J, Ntouyas S: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York; 2006.MATHView ArticleGoogle Scholar
  14. Lakshmikantham V, Baĭnov DD, Simeonov PS: Theory of Impulsive Differential Equations. Worlds Scientific, Singapore; 1989.MATHView ArticleGoogle Scholar
  15. Samoĭlenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.MATHGoogle Scholar
  16. Ahmad B, Sivasundaram S: Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations. Nonlinear Anal. Hybrid Syst. 2009, 3(3):251–258. 10.1016/j.nahs.2009.01.008MATHMathSciNetView ArticleGoogle Scholar
  17. Tian YS, Bai Z: Existence results for the three-point impulsive boundary value problem involving fractional differential equations. Comput. Math. Appl. 2010, 59(8):2601–2609. 10.1016/j.camwa.2010.01.028MATHMathSciNetView ArticleGoogle Scholar
  18. Zhang LH, Wang G: Existence of solutions for nonlinear fractional differential equations with impulses and anti-periodic boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2011, 2011(7):1–11.Google Scholar
  19. Henderson J, Ouahab A: Impulsive differential inclusions with fractional order. Comput. Math. Appl. 2010, 59(3):1191–1226. 10.1016/j.camwa.2009.05.011MATHMathSciNetView ArticleGoogle Scholar
  20. Agarwal RP, Benchohra M, Hamani S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 2010, 109(3):973–1033. 10.1007/s10440-008-9356-6MATHMathSciNetView ArticleGoogle Scholar
  21. Wang GT, Ahmad B, Zhang L: Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. 2011, 74(3):792–804. 10.1016/j.na.2010.09.030MATHMathSciNetView ArticleGoogle Scholar
  22. Wang XH: Impulsive boundary value problem for nonlinear differential equations of fractional order. Comput. Math. Appl. 2011, 62(5):2383–2391. 10.1016/j.camwa.2011.07.026MATHMathSciNetView ArticleGoogle Scholar
  23. Wang GT, Ahmad B, Zhang L: Some existence results for impulsive nonlinear fractional differential equations with mixed boundary conditions. Comput. Math. Appl. 2011, 62(3):1389–1397. 10.1016/j.camwa.2011.04.004MATHMathSciNetView ArticleGoogle Scholar
  24. Ahmad B, Nieto JJ: Existence of solutions for impulsive anti-periodic boundary value problems of fractional order. Taiwan. J. Math. 2011, 15(3):981–993.MATHMathSciNetGoogle Scholar
  25. Smart DR: Fixed Point Theorems. Cambridge University Press, Cambridge; 1980.MATHGoogle Scholar

Copyright

© Zhou and Liu; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.