Skip to main content

Theory and Modern Applications

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

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.

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 [1–5]. For some recent development on the topic, see [6–11] 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 [12–15]. The impulsive differential equations of fractional order have also attracted considerable attention and a variety of results can be found in [16–24] 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 [16–24], 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 [16–24], 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, δ=ac+ad+bc≠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 [16–24] 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)∥dt; PC(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)ds,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)ds,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:PC(J,R)→PC(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:PC(J,R)→PC(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)=λ(Au)(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 ¯ →PC(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 [16–22], 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 μ∈PC(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=PC(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 ) | ds≤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, δ=ac+ad+bc=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.

References

  1. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    MATH  Google Scholar 

  2. Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.

    MATH  Google Scholar 

  3. Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.

    MATH  Google 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.

    MATH  Google 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.007

    Article  MATH  MathSciNet  Google 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.

    MathSciNet  Google 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.052

    Article  MATH  MathSciNet  Google 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 527969

    Google 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 850871

    Google 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.019

    Article  MATH  MathSciNet  Google 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.

    Book  MATH  Google Scholar 

  14. Lakshmikantham V, BaÄ­nov DD, Simeonov PS: Theory of Impulsive Differential Equations. Worlds Scientific, Singapore; 1989.

    Book  MATH  Google Scholar 

  15. SamoÄ­lenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.

    MATH  Google 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.008

    Article  MATH  MathSciNet  Google 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.028

    Article  MATH  MathSciNet  Google 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.011

    Article  MATH  MathSciNet  Google 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-6

    Article  MATH  MathSciNet  Google 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.030

    Article  MATH  MathSciNet  Google 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.026

    Article  MATH  MathSciNet  Google 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.004

    Article  MATH  MathSciNet  Google 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.

    MATH  MathSciNet  Google Scholar 

  25. Smart DR: Fixed Point Theorems. Cambridge University Press, Cambridge; 1980.

    MATH  Google Scholar 

Download references

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wen-Xue Zhou.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the manuscript. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Zhou, WX., Liu, X. Existence of solution to a class of boundary value problem for impulsive fractional differential equations. Adv Differ Equ 2014, 12 (2014). https://doi.org/10.1186/1687-1847-2014-12

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords