Skip to main content

Theory and Modern Applications

Existence results for nonlinear fractional differential equations with closed boundary conditions and impulses

Abstract

This paper is concerned with the existence and uniqueness of solutions for impulsive nonlinear differential equations of fractional order α(1,2] with closed boundary conditions. By applying some standard fixed point theorems, we obtain the sufficient conditions for the existence and uniqueness of solutions of the problem at hand. An illustrative example is presented.

MSC:26A33, 34B15, 34B37.

1 Introduction

Dynamical systems with impulse effect are regarded as a class of general hybrid systems. Impulsive hybrid systems are composed of some continuous variable dynamic systems along with certain reset maps that define impulsive switching among them. It is the switching that resets the modes and changes the continuous state of the system. There are three classes of impulsive hybrid systems, namely impulsive differential systems [1, 2], sampled data or digital control system [3, 4], and impulsive switched system [5]. Using hybrid models, one may represent time and event-based behaviors more accurately so as to meet challenging design requirements in the design of control systems for problems such as cut-off control and idle speed control of the engine. For more details, see [6] and the references therein.

Fractional calculus (differentiation and integration of arbitrary order) has proved to be an important tool in the modeling of dynamical systems associated with phenomena such as fractals and chaos. In fact, this branch of calculus has found its applications in various disciplines of science and engineering such as mechanics, electricity, chemistry, biology, economics, control theory, signal and image processing, polymer rheology, regular variation in thermodynamics, biophysics, blood flow phenomena, aerodynamics, electro-dynamics of complex medium, viscoelasticity and damping, control theory, wave propagation, percolation, identification, fitting of experimental data, etc. Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. With this advantage, the fractional-order models become more realistic and practical than the classical integer-order models in which such effects are not taken into account. For some recent details and examples, see [722] and the references therein.

Impulsive differential equations are found to be important mathematical tools for better understanding of several real world problems in biology, physics, engineering, etc. In fact, the theory of impulsive differential equations of integer order has found its extensive applications in realistic mathematical modeling of a wide variety of practical situations and has emerged as an important area of investigation; for instance, see [2325] and references therein. The recent surge in developing the theory of differential equations of fractional order has led several researchers to study the fractional differential equations with impulse effects. For some recent work on impulsive differential equations of fractional order, see [2631] and the references therein.

In this paper, we investigate the existence of solutions for the following impulsive fractional differential equations with closed boundary conditions:

{ D q C x ( t ) = f ( t , x ( t ) ) , 1 < q 2 , t J , x ( t k ) = I k ( x ( t k ) ) , x ( t k ) = I k ( x ( t k ) ) , k = 1 , 2 , , p , x ( T ) = α x ( 0 ) + β T x ( 0 ) , T x ( T ) = γ x ( 0 ) + δ T x ( 0 ) , α , β , γ , δ R ,
(1.1)

where D q C is the Caputo fractional derivative, fC(J×R,R), I k , I k C(R,R), J=[0,T] (T>0), 0= t 0 < t 1 << t k << t p < t p + 1 =T, J =J{ t 1 , t 2 ,, t p }, x( t k )=x( t k + )x( t k ), where x( t k + ) and x( t k ) denote the right and the left limits of x(t) at t= t k (k=1,2,,p), respectively. x ( t k ) have a similar meaning for x (t).

Here we remark that the boundary conditions in (1.1) include quasi-periodic boundary conditions (β=γ=0) and interpolate between periodic (α,δ1, β,γ0) and antiperiodic (α=δ=1, β=γ=0) boundary conditions. For more details and applications of closed boundary conditions, see [14].

2 Preliminaries

Let J 0 =[0, t 1 ], J 1 =( t 1 , t 2 ],, J p 1 =( t p 1 , t p ], J p =( t p ,T], and we introduce the spaces: PC(J,R)={x:JR|xC( J k ),k=0,1,,p, and x( t k + ) exist, k=1,2,,p} with the norm x= sup t J |x(t)|, and P C 1 (J,R)={x:JR|x C 1 ( J k ),k=0,1,,p, and x( t k + ), x ( t k + ) exist, k=1,2,,p} with the norm x P C 1 =max{x, x }. Obviously, PC(J,R) and P C 1 (J,R) are Banach spaces.

In passing, we remark that D q C x(t) indeed stands for D t k q C x(t) for t in the subinterval ( t k , t k + 1 ].

Definition 2.1 A function xP C 1 (J,R) with its Caputo derivative of order q existing on J is a solution of (1.1) if it satisfies (1.1).

Define

λ 1 (t)= ( 1 δ ) T + γ t T Λ , λ 2 (t)= ( 1 β ) T ( 1 α ) t Λ ,

where Λ=(1α)(1δ)+γ(1β)0.

Lemma 2.1 For a given yC[0,T], a function x is a solution of the impulsive closed boundary value problem

{ D q C x ( t ) = y ( t ) , 1 < α 2 , t J , x ( t k ) = I k ( x ( t k ) ) , x ( t k ) = I k ( x ( t k ) ) , k = 1 , 2 , , p , x ( T ) = α x ( 0 ) + β T x ( 0 ) , T x ( T ) = γ x ( 0 ) + δ T x ( 0 ) ,
(2.1)

if and only if x is a solution of the impulsive fractional integral equation

x(t)={ 0 t ( t s ) q 1 Γ ( q ) y ( s ) d s λ 1 ( t ) t p T ( T s ) q 1 Γ ( q ) y ( s ) d s + λ 2 ( t ) t p T ( T s ) q 2 Γ ( q 1 ) y ( s ) d s + A , t J 0 ; t k t ( t s ) q 1 Γ ( q ) y ( s ) d s λ 1 ( t ) t p T ( T s ) q 1 Γ ( q ) y ( s ) d s + λ 2 ( t ) t p T ( T s ) q 2 Γ ( q 1 ) y ( s ) d s + i = 1 k [ t i 1 t i ( t i s ) q 1 Γ ( q ) y ( s ) d s + I i ( x ( t i ) ) ] + i = 1 k 1 ( t k t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) y ( s ) d s + I i ( x ( t i ) ) ] + i = 1 k ( t t k ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) y ( s ) d s + I i ( x ( t i ) ) ] + A , t J k , k = 1 , 2 , , p ,
(2.2)

where

A = λ 1 ( t ) i = 1 p [ t i 1 t i ( t i s ) q 1 Γ ( q ) y ( s ) d s + I i ( x ( t i ) ) ] λ 1 ( t ) i = 1 p 1 ( t p t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) y ( s ) d s + I i ( x ( t i ) ) ] i = 1 p [ ( T t p ) λ 1 ( t ) λ 2 ( t ) ] [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) y ( s ) d s + I i ( x ( t i ) ) ] .

Proof Let x be a solution of (2.1). Then, for t J 0 , there exist constants c 1 , c 2 R such that

x ( t ) = I q y ( t ) c 1 c 2 t = 1 Γ ( q ) 0 t ( t s ) q 1 y ( s ) d s c 1 c 2 t , x ( t ) = 1 Γ ( q 1 ) 0 t ( t s ) q 2 y ( s ) d s c 2 .
(2.3)

For t J 1 , there exist constants d 1 , d 2 R, such that

Then we have

In view of the impulse conditions x( t 1 )=x( t 1 + )x( t 1 )= I 1 (x( t 1 )) and x ( t 1 )= x ( t 1 + ) x ( t 1 )= I 1 (x( t 1 )), we have that

Consequently,

x ( t ) = 1 Γ ( q ) t 1 t ( t s ) q 1 y ( s ) d s + 1 Γ ( q ) 0 t 1 ( t 1 s ) q 1 y ( s ) d s + t t 1 Γ ( q 1 ) 0 t 1 ( t 1 s ) q 2 y ( s ) d s + I 1 ( x ( t 1 ) ) + ( t t 1 ) I 1 ( x ( t 1 ) ) c 1 c 2 t , t J 1 .

By a similar process, we can get

x ( t ) = t k t ( t s ) q 1 Γ ( q ) y ( s ) d s + i = 1 k [ t i 1 t i ( t i s ) q 1 Γ ( q ) y ( s ) d s + I i ( x ( t i ) ) ] + i = 1 k 1 ( t k t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) y ( s ) d s + I i ( x ( t i ) ) ] + i = 1 k ( t t k ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) y ( s ) d s + I i ( x ( t i ) ) ] c 1 c 2 t , t J k , k = 1 , 2 , , p .
(2.4)

Using the conditions x(T)=αx(0)+βT x (0) and T x (T)=γx(0)+δT x (0), we find that

Substituting the value of c 1 , c 2 in (2.3) and (2.4), we obtain (2.2). Conversely, assume that u is a solution of the impulsive fractional integral equation (2.2), then by a direct computation, it follows that the solution given by (2.2) satisfies (2.1). □

3 Main results

Define an operator G:PC(J,R)PC(J,R) as

G x ( t ) = t k t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s λ 1 ( t ) t p T ( T s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + λ 2 ( t ) t p T ( T s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) d s + i = 1 k [ t i 1 t i ( t i s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + I i ( x ( t i ) ) ] + i = 1 k 1 ( t k t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) d s + I i ( x ( t i ) ) ] + i = 1 k ( t t k ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) d s + I i ( x ( t i ) ) ] λ 1 ( t ) i = 1 p [ t i 1 t i ( t i s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + I i ( x ( t i ) ) ] λ 1 ( t ) i = 1 p 1 ( t p t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) d s + I i ( x ( t i ) ) ] i = 1 p [ ( T t p ) λ 1 ( t ) λ 2 ( t ) ] [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) d s + I i ( x ( t i ) ) ] .
(3.1)

Observe that the problem (1.1) has a solution if and only if the operator T has a fixed point.

Lemma 3.1 The operator G:PC(J,R)PC(J,R) defined by (3.1) is completely continuous.

Proof It is obvious that G is continuous in view of continuity of f, I k and I k .

Let ΩPC(J,R) be bounded. Then, there exist positive constants L i >0 (i=1,2,3) such that |f(t,x)| L 1 , | I k (x)| L 2 and | I k (x)| L 3 , xΩ. Thus, xΩ, we have

| G x ( t ) | t k t ( t s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | λ 1 ( t ) | t p T ( T s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | λ 2 ( t ) | t p T ( T s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + i = 1 k [ t i 1 t i ( t i s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + i = 1 k 1 ( t k t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + i = 1 k ( t t k ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + | λ 1 ( t ) | i = 1 p [ t i 1 t i ( t i s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + | λ 1 ( t ) | i = 1 p 1 ( t p t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + i = 1 p [ ( T t p ) | λ 1 ( t ) | + | λ 2 ( t ) | ] [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] L 1 t k t ( t s ) q 1 Γ ( q ) d s + | λ 1 ( t ) | L 1 t p T ( T s ) q 1 Γ ( q ) d s + | λ 2 ( t ) | L 1 t p T ( T s ) q 2 Γ ( q 1 ) d s + i = 1 p [ L 1 t i 1 t i ( t i s ) q 1 Γ ( q ) d s + L 2 ] + i = 1 p 1 T [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] + i = 1 p T [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] + | λ 1 ( t ) | i = 1 p [ L 1 t i 1 t i ( t i s ) q 1 Γ ( q ) d s + L 2 ] + | λ 1 ( t ) | i = 1 p 1 T [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] + i = 1 p [ T | λ 1 ( t ) | + | λ 2 ( t ) | ] [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] [ 1 + p + q ( 2 p 1 ) ] ( 1 + | λ 1 ( t ) | ) T q L 1 Γ ( q + 1 ) + ( 1 + p ) | λ 2 ( t ) | T q 1 L 1 Γ ( q ) + p ( 1 + | λ 1 ( t ) | ) L 2 + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + p | λ 2 ( t ) | ] L 3 max t J { [ 1 + p + q ( 2 p 1 ) ] ( 1 + | λ 1 ( t ) | ) T q L 1 Γ ( q + 1 ) + ( 1 + p ) | λ 2 ( t ) | T q 1 L 1 Γ ( q ) + p ( 1 + | λ 1 ( t ) | ) L 2 + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + p | λ 2 ( t ) | ] L 3 } : = L ,
(3.2)

which implies that GxL.

On the other hand, for any t J k , 0kp, we have

| ( G x ) ( t ) | t k t ( t s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | γ | T | Λ | t p T ( T s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | 1 α | | Λ | t p T ( T s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + i = 1 p [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( u ( t i ) ) | ] + | γ | T | Λ | i = 1 p [ t i 1 t i ( t i s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | I i ( u ( t i ) ) | ] + | γ | T | Λ | i = 1 p 1 ( t p t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( u ( t i ) ) | ] + i = 1 p | γ | + | 1 α | | Λ | [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( u ( t i ) ) | ] L 1 t k t ( t s ) q 2 Γ ( q 1 ) d s + | γ | L 1 T | Λ | t p T ( T s ) q 1 Γ ( q ) d s + | 1 α | L 1 | Λ | t p T ( T s ) q 2 Γ ( q 1 ) d s + i = 1 p [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] + | γ | T | Λ | i = 1 p [ L 1 t i 1 t i ( t i s ) q 1 Γ ( q ) d s + L 2 ] + | γ | | Λ | i = 1 p 1 [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] + i = 1 p | γ | + | 1 α | | Λ | [ L 1 t i 1 t i ( t i s ) q 2 Γ ( q 1 ) d s + L 3 ] ( 1 + p ) | γ | T q 1 L 1 | Λ | Γ ( q + 1 ) + [ ( 2 p 1 ) | γ | + ( p + 1 ) | 1 α | ] T q 1 L 1 | Λ | Γ ( q ) + ( p + 1 ) T q 1 L 1 Γ ( q ) + p | γ | L 2 T | Λ | + [ p + [ ( 2 p 1 ) | γ | + p | 1 α | ] | Λ | ] L 3 : = L ¯ .

Hence, for t 1 , t 2 J k , t 1 < t 2 , 0kp, we have

| ( G x ) ( t 2 ) ( G x ) ( t 1 ) | t 1 t 2 | ( T x ) ( s ) | ds L ¯ ( t 2 t 1 ).

This implies that G is equicontinuous on all J k , k=0,1,2,,p. Thus, by the Arzela-Ascoli theorem, the operator G:PC(J,R)PC(J,R) is completely continuous. □

For the sake of convenience, we set the following notations:

(3.3)
(3.4)

Theorem 3.1 Assume that

(H1) there exist nonnegative functions a(t),b(t)L(0,T) and positive constants L i (i=2,3) such that

| f ( t , x ) | a(t)+b(t) | x | θ ,0<θ<1, | I k ( x ) | L 2 , | I k ( x ) | L 3 ,

for tJ, xR and k=1,2,,p.

Then the problem (1.1) has at least one solution.

Proof Define a ball B={xPC(J,R):xR}, we just need to show that the operator G:BB, as it has already been proved that the operator G:PC(J,R)PC(J,R) is completely continuous in the previous lemma. Let us choose Rmax{2τ, ( 2 ν ) 1 1 θ }. For any xB, by the assumption ( H 1 ), we have

| G x ( t ) | t k t ( t s ) q 1 Γ ( q ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | λ 1 ( t ) | t p T ( T s ) q 1 Γ ( q ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | λ 2 ( t ) | t p T ( T s ) q 2 Γ ( q 1 ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + i = 1 k [ t i 1 t i ( t i s ) q 1 Γ ( q ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | I i ( x ( t i ) ) | ] + i = 1 k 1 ( t k t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | I i ( x ( t i ) ) | ] + i = 1 k ( t t k ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | I i ( x ( t i ) ) | ] + | λ 1 ( t ) | i = 1 p [ t i 1 t i ( t i s ) q 1 Γ ( q ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | I i ( x ( t i ) ) | ] + | λ 1 ( t ) | i = 1 p 1 ( t p t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | I i ( x ( t i ) ) | ] + i = 1 p [ ( T t p ) | λ 1 ( t ) | + | λ 2 ( t ) | ] × [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | a ( s ) + b ( s ) | x ( s ) | θ | d s + | I i ( x ( t i ) ) | ] { ( 1 + p ) ( 1 + | λ 1 ( t ) | ) I q a ( T ) + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + ( 1 + p ) | λ 2 ( t ) | ] I q 1 a ( T ) + p ( 1 + | λ 1 ( t ) | ) L 2 + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + p | λ 2 ( t ) | ] L 3 } + { ( 1 + p ) ( 1 + | λ 1 ( t ) | ) I q b ( T ) + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + ( 1 + p ) | λ 2 ( t ) | ] I q 1 b ( T ) } R θ ,
(3.5)

which implies that

Gxτ+ν R θ R 2 + R 2 =R,

where τ and ν are given by (3.3) and (3.4). So, G:BB. Thus G:BB is completely continuous. Therefore, by the Schauder fixed point theorem, the operator G has at least one fixed point. Consequently, the problem (1.1) has at least one solution in B. □

Theorem 3.2 Assume that

( H 1 ) there exist nonnegative functions a(t),b(t)L(0,T) and positive constants L i (i=2,3) such that

| f ( t , x ) | a(t)+b(t) | x | κ ,κ>1, | I k ( x ) | L 2 , | I k ( x ) | L 3 ,

for tJ, xR and k=1,2,,p.

Then the problem (1.1) has at least one solution.

Proof The proof is similar to that of Theorem 3.1, so we omit it. □

Theorem 3.3 ([32])

Let E be a Banach space. Assume that G:EE is a completely continuous operator and the set V={xE|x=μTx,0<μ<1} is bounded. Then G has a fixed point in E.

Theorem 3.4 If sup t J ν<1. In addition, assume that

( H 1 ) there exist nonnegative functions a(t),b(t)L(0,T) and positive constants L i (i=2,3) such that

| f ( t , x ) | a(t)+b(t)|x|, | I k ( x ) | L 2 , | I k ( x ) | L 3 ,

for tJ, xR and k=1,2,,p.

Then the problem (1.1) has at least one solution.

Proof Let us consider the set

V= { x P C ( J , R ) | x = μ G x , 0 < μ < 1 } ,

where the operator G:PC(J,R)PC(J,R) is defined by (3.1). We just need to show that the set V is bounded as it has already been proved that the operator G is completely continuous in the previous lemma. Let xV, then x=μGx, 0<μ<1. For any tJ, we have

| x ( t ) | = μ | G x ( t ) | t k t ( t s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | λ 1 ( t ) | t p T ( T s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | λ 2 ( t ) | t p T ( T s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + i = 1 k [ t i 1 t i ( t i s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + i = 1 k 1 ( t k t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + i = 1 k ( t t k ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + | λ 1 ( t ) | i = 1 p [ t i 1 t i ( t i s ) q 1 Γ ( q ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + | λ 1 ( t ) | i = 1 p 1 ( t p t i ) [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] + i = 1 p [ ( T t p ) | λ 1 ( t ) | + | λ 2 ( t ) | ] [ t i 1 t i ( t i s ) q 2 Γ ( q 1 ) | f ( s , x ( s ) ) | d s + | I i ( x ( t i ) ) | ] τ + ν x ,

which implies that x is bounded for any tJ. So, the set V is bounded. Thus, by the conclusion of Theorem 3.3, the operator G has at least one fixed point, which implies that (1.1) has at least one solution. □

Corollary 3.1 Assume that functions f, I k , I k (k=1,2,) are bounded. Then the nonlinear problem (1.1) has at least one solution.

Theorem 3.5 Assume that

( H 2 ) there exist a nonnegative function K 1 (t)L(0,T) and positive constants K i (i=2,3) such that

for tJ, x,yR and k=1,2,,p.

Then the problem (1.1) has a unique solution if

H = max t J { ( 1 + p ) ( 1 + | λ 1 ( t ) | ) I q K 1 ( T ) + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + ( 1 + p ) | λ 2 ( t ) | ] I q 1 K 1 ( T ) + p ( 1 + | λ 1 ( t ) | ) K 2 + [ ( 2 p 1 ) T ( 1 + | λ 1 ( t ) | ) + p | λ 2 ( t ) | ] K 3 } < 1 .
(3.6)

Proof For x,yPC(J,R), we can get

Consequently, we have GxGyHxy, where H is given by (3.6). As H<1, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof. □

4 Examples

Example 4.1 Consider the following impulsive fractional boundary value problem with closed boundary conditions

{ D q C x ( t ) = e sin 2 x ( t ) [ 2 + sin 2 t + | x ( t ) | ρ ln ( 1 + 2 cos 2 t ) ] 2 + cos x ( t ) , 0 < t , t 1 < T , t t 1 , x ( t 1 ) = 1 e x 2 ( t 1 ) , x ( t 1 ) = 3 + 2 sin x ( t 1 ) , x ( T ) = 2 x ( 0 ) + 3 T x ( 0 ) , T x ( T ) = 4 x ( 0 ) + 7 T x ( 0 ) ,
(4.1)

where 1<q2, 0<ρ<1 and p=1.

In this case, a(t)=2+sin2t, b(t)=ln(1+2 cos 2 t), L 2 =1, L 3 =5, and the conditions of Theorem 3.1 can readily be verified. Thus, by the conclusion of Theorem 3.1, the problem (4.1) has at least one solution.

References

  1. Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.

    Book  MATH  Google Scholar 

  2. Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.

    MATH  Google Scholar 

  3. Krogh B, Lynch N (Eds): Lecture Notes in Computer Science 1790 In Hybrid Systems: Computation and Control. Springer, New York; 2000.

    Google Scholar 

  4. Vaandrager F, Schuppen J (Eds): Lecture Notes in Computer Science 1569 In Hybrid Systems: Computation and Control. Springer, New York; 1999.

    Google Scholar 

  5. Engell S, Frehse G, Schnieder E Lecture Notes in Control and Information Sciences. In Modelling, Analysis and Design of Hybrid Systems. Springer, Heidelberg; 2002.

    Chapter  Google Scholar 

  6. Antsaklis PJ, Nerode A: Hybrid control systems: an introductory discussion to the special issue. IEEE Trans. Autom. Control 1998, 43: 457–460. 10.1109/TAC.1998.664148

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  9. Lakshmikantham V, Leela S, Devi JV: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge; 2009.

    MATH  Google Scholar 

  10. Ahmad B, Nieto JJ: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2009, 58: 1838–1843. 10.1016/j.camwa.2009.07.091

    Article  MathSciNet  MATH  Google Scholar 

  11. Wei Z, Li Q, Che J: Initial value problems for fractional differential equations involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 2010, 367: 260–272. 10.1016/j.jmaa.2010.01.023

    Article  MathSciNet  MATH  Google Scholar 

  12. Zhang SQ: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 2010, 59: 1300–1309. 10.1016/j.camwa.2009.06.034

    Article  MathSciNet  MATH  Google Scholar 

  13. Zhou Y, Jiao F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal., Real World Appl. 2010, 11: 4465–4475. 10.1016/j.nonrwa.2010.05.029

    Article  MathSciNet  MATH  Google Scholar 

  14. Ahmad B, Nieto JJ, Pimentel J: Some boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 2011, 62: 1238–1250. 10.1016/j.camwa.2011.02.035

    Article  MathSciNet  MATH  Google Scholar 

  15. Wang G, Ntouyas SK, Zhang L: Positive solutions of the three-point boundary value problem for fractional-order differential equations with an advanced argument. Adv. Differ. Equ. 2011., 2011: Article ID 2

    Google Scholar 

  16. Ford NJ, Morgado ML: Fractional boundary value problems: analysis and numerical methods. Fract. Calc. Appl. Anal. 2011, 14: 554–567.

    MathSciNet  MATH  Google Scholar 

  17. Aghajani A, Jalilian Y, Trujillo JJ: On the existence of solutions of fractional integro-differential equations. Fract. Calc. Appl. Anal. 2012, 15: 44–69.

    Article  MathSciNet  MATH  Google Scholar 

  18. Ahmad B, Nieto JJ: Anti-periodic fractional boundary value problem with nonlinear term depending on lower order derivative. Fract. Calc. Appl. Anal. 2012, 15: 451–462.

    MathSciNet  MATH  Google Scholar 

  19. Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.

    Google Scholar 

  20. Ahmad B, Nieto JJ, Alsaedi A, El-Shahed M: A study of nonlinear Langevin equation involving two fractional orders in different intervals. Nonlinear Anal., Real World Appl. 2012, 13: 599–606. 10.1016/j.nonrwa.2011.07.052

    Article  MathSciNet  MATH  Google Scholar 

  21. Wang G, Agarwal RP, Cabada A: Existence results and the monotone iterative technique for systems of nonlinear fractional differential equations. Appl. Math. Lett. 2012, 25: 1019–1024. 10.1016/j.aml.2011.09.078

    Article  MathSciNet  MATH  Google Scholar 

  22. Ahmad B, Ntouyas SK: Nonlinear fractional differential equations and inclusions of arbitrary order and multi-strip boundary conditions. Electron. J. Differ. Equ. 2012., 2012: Article ID 98

    Google Scholar 

  23. Chen L, Sun J: Nonlinear boundary value problem of first order impulsive functional differential equations. J. Math. Anal. Appl. 2006, 318(2):726–741. 10.1016/j.jmaa.2005.08.012

    Article  MathSciNet  MATH  Google Scholar 

  24. Luo Z, Nieto JJ: New results for the periodic boundary value problem for impulsive integro-differential equations. Nonlinear Anal. 2009, 70(6):2248–2260. 10.1016/j.na.2008.03.004

    Article  MathSciNet  MATH  Google Scholar 

  25. Li C, Sun J, Sun R: Stability analysis of a class of stochastic differential delay equations with nonlinear impulsive effects. J. Franklin Inst. 2010, 347: 1186–1198. 10.1016/j.jfranklin.2010.04.017

    Article  MathSciNet  MATH  Google Scholar 

  26. Tian Y, Bai Z: Existence results for the three-point impulsive boundary value problem involving fractional differential equations. Comput. Math. Appl. 2010, 59: 2601–2609. 10.1016/j.camwa.2010.01.028

    Article  MathSciNet  MATH  Google Scholar 

  27. Wang G, Ahmad B, Zhang L: 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

    Article  MathSciNet  MATH  Google Scholar 

  28. Ahmad B, Wang G: 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

    Article  MathSciNet  MATH  Google Scholar 

  29. Bai C: Impulsive periodic boundary value problems for fractional differential equation involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 2011, 384: 211–231. 10.1016/j.jmaa.2011.05.082

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  31. Mu J, Li Y: Monotone iterative technique for impulsive fractional evolution equations. J. Inequal. Appl. 2011., 2011: Article ID 125

    Google Scholar 

  32. Sun JX: Nonlinear Functional Analysis and Its Application. Science Press, Beijing; 2008.

    Google Scholar 

Download references

Acknowledgements

We would like to express our gratitude to the anonymous reviewers and editors for their valuable comments and suggestions that led to the improvement of the original manuscript. The research of B. Ahmad was partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. The research of Guotao Wang and Lihong Zhang was supported by the Natural Science Foundation for Young Scientists of Shanxi Province (2012021002-3), China.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lihong Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally in this article. They 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

Wang, G., Ahmad, B. & Zhang, L. Existence results for nonlinear fractional differential equations with closed boundary conditions and impulses. Adv Differ Equ 2012, 169 (2012). https://doi.org/10.1186/1687-1847-2012-169

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-169

Keywords