Skip to main content

An existence result for fractional differential inclusions with nonlinear integral boundary conditions

Abstract

This paper studies the existence of solutions for a fractional differential inclusion of order q(2,3] with nonlinear integral boundary conditions by applying Bohnenblust-Karlin’s fixed point theorem. Some examples are presented for the illustration of the main result.

MSC: 34A40, 34A12, 26A33.

1 Introduction

In this paper, we apply the Bohnenblust-Karlin fixed point theorem to prove the existence of solutions for a fractional differential inclusion with integral boundary conditions given by

{ D q c x ( t ) F ( t , x ( t ) ) , t [ 0 , T ] , T > 0 , 2 < q 3 , x ( 0 ) = 0 , x ( T ) = μ 1 0 T g ( s , x ( s ) ) d s , x ( 0 ) λ x ( T ) = μ 2 0 T h ( s , x ( s ) ) d s ,
(1.1)

where D q c denotes the Caputo fractional derivative of order q, F:[0,T]×R 2 R {}, g,h:[0,T]×RR are given continuous functions and λ, μ 1 , μ 2 ,R with λ1.

Differential inclusions of integer order (classical case) play an important role in the mathematical modeling of various situations in economics, optimal control, etc. and are widely studied in literature. Motivated by an extensive study of classical differential inclusions, a significant work has also been established for fractional differential inclusions. For examples and details, see [110] and references therein.

2 Preliminaries

Let C([0,T],R) denote a Banach space of continuous functions from [0,T] into with the norm x= sup t [ 0 , T ] {|x(t)|}. Let L 1 ([0,T],R) be the Banach space of functions x:[0,T]R which are Lebesgue integrable and normed by x L 1 = 0 T |x(t)|dt.

Now we recall some basic definitions on multi-valued maps [1114].

Let (X,) be a Banach space. Then a multi-valued map G:X 2 X is convex (closed) valued if G(x) is convex (closed) for all xX. The map G is bounded on bounded sets if G(B)= x B G(x) is bounded in X for any bounded set B of X (i.e., sup x B {sup{|y|:yG(x)}}<). G is called upper semi-continuous (u.s.c.) on X if for each x 0 X, the set G( x 0 ) is a nonempty closed subset of X, and if for each open set B of X containing G( x 0 ), there exists an open neighborhood N of x 0 such that G(N)B. G is said to be completely continuous if G(B) is relatively compact for every bounded subset B of X. If the multi-valued map G is completely continuous with nonempty compact values, then G is u.s.c. if and only if G has a closed graph, i.e., x n x , y n y , y n G( x n ) imply y G( x ). In the following study, BCC(X) denotes the set of all nonempty bounded, closed and convex subsets of X. G has a fixed point if there is xX such that xG(x).

Let us record some definitions on fractional calculus [1518].

Definition 2.1 For an at least (n1)-times continuously differentiable function g:[0,)R, the Caputo derivative of fractional order q is defined as

D q c g(t)= 1 Γ ( n q ) 0 t ( t s ) n q 1 g ( n ) (s)ds,n1<qn,q>0,

where Γ denotes the gamma function.

Definition 2.2 The Riemann-Liouville fractional integral of order q for a function g is defined as

I q g(t)= 1 Γ ( q ) 0 t g ( s ) ( t s ) 1 q ds,q>0,

provided the right-hand side is pointwise defined on (0,).

To define the solution for (1.1), we consider the following lemma. We do not provide the proof of this lemma as it employs the standard arguments.

Lemma 2.3 For a given yC([0,T],R), the solution of the boundary value problem

{ D q c x ( t ) = y ( t ) , t [ 0 , T ] , T > 0 , 2 < q 3 , x ( 0 ) = 0 , x ( T ) = μ 1 0 T g ( s , x ( s ) ) d s , x ( 0 ) λ x ( T ) = μ 2 0 T h ( s , x ( s ) ) d s ,
(2.1)

is given by the integral equation

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) y ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( T s ) q 2 Γ ( q 1 ) y ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( T s ) q 1 Γ ( q ) y ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s .
(2.2)

In view of Lemma 2.3, a function xA C 2 ([0,T],R) is a solution of the problem (1.1) if there exists a function f L 1 ([0,T],R) such that f(t)F(t,x) a.e. on [0,T] and

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( T s ) q 2 Γ ( q 1 ) f ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( T s ) q 1 Γ ( q ) f ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s .
(2.3)

Now we state the following lemmas which are necessary to establish the main result.

Lemma 2.4 (Bohnenblust-Karlin [19])

Let D be a nonempty subset of a Banach space X, which is bounded, closed and convex. Suppose that G:D 2 X {0} is u.s.c. with closed, convex values such that G(D)D and G ( D ) ¯ is compact. Then G has a fixed point.

Lemma 2.5 [20]

Let I be a compact real interval. Let F be a multi-valued map satisfying (A1) and let Θ be linear continuous from L 1 (I,R)C(I), then the operator Θ S F :C(I)BCC(C(I)), x(Θ S F )(x)=Θ( S F , x ) is a closed graph operator in C(I)×C(I).

For the forthcoming analysis, we need the following assumptions:

(A1) Let F:[0,T]×RBCC(R); (t,x)F(t,x) be measurable with respect to t for each xR, u.s.c. with respect to x for a.e. t[0,T], and for each fixed xR, the set S F , x :={f L 1 ([0,T],R):f(t)F(t,x) for a.e. t[0,T]} is nonempty.

(A2) For each r>0, there exists a function m r , p r , p ¯ r L 1 ([0,T], R + ) such that F(t,x)=sup{|v|:v(t)F(t,x)} m r (t), g(t,x) p r (t), h(t,x) p ¯ r (t) for each (t,x)[0,T]×R with |x|r, and

lim inf r + ( ζ r r ) =γ<,
(2.4)

where ζ r =max{ m r L 1 , p r L 1 , p ¯ r L 1 }.

Furthermore, we set

max t [ 0 , T ] | t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) | = | 1 λ | + 2 | λ | | 1 + λ | : = δ 1 , max t [ 0 , T ] | t ( T t ) T ( 1 + λ ) | = T | 1 + λ | : = δ 2 , Λ 2 = T q 1 Γ ( q ) { 1 + | λ | δ 2 ( q 1 ) T 1 + δ 1 } .
(2.5)

3 Main result

Theorem 3.1 Suppose that the assumptions (A1) and (A2) are satisfied, and

γ<Λ,
(3.1)

where γ is given by (2.4) and

( Λ 2 + | μ 1 | δ 1 + | μ 2 | δ 2 T ) 1 =Λ.

Then the boundary value problem (1.1) has at least one solution on [0,T].

Proof In order to transform the problem (1.1) into a fixed point problem, we define a multi-valued map N:C([0,T],R) 2 C ( [ 0 , T ] , R ) as

N(x)= { h C ( [ 0 , T ] , R ) : h ( t ) = { 0 t ( t s ) q 1 Γ ( q ) f ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( t s ) q 2 Γ ( q 1 ) f ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( t s ) q 1 Γ ( q ) f ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s , t [ 0 , T ] , f S F , x } .

Now we prove that the multi-valued map N satisfies all the assumptions of Lemma 2.4, and thus N has a fixed point which is a solution of the problem (1.1). In the first step, we show that N(x) is convex for each xC([0,T],R). For that, let h 1 , h 2 N(x). Then there exist f 1 , f 2 S F , x such that for each t[0,T], we have

h i ( t ) = 0 t ( t s ) q 1 Γ ( q ) f i ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( T s ) q 2 Γ ( q 1 ) f i ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( T s ) q 1 Γ ( q ) f i ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s , i = 1 , 2 .

Let 0ϑ1. Then, for each t[0,T], we have

[ ϑ h 1 + ( 1 ϑ h 2 ] ( t ) = 0 t ( t s ) q 1 Γ ( q ) [ ϑ f 1 ( s ) + ( 1 ϑ ) f 2 ( s ) ] d s + λ t ( T t ) T ( 1 + λ ) 0 T ( T s ) q 2 Γ ( q 1 ) [ ϑ f 1 ( s ) + ( 1 ϑ ) f 2 ( s ) ] d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( T s ) q 1 Γ ( q ) [ ϑ f 1 ( s ) + ( 1 ϑ ) f 2 ( s ) ] d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s .

Since S F , x is convex (F has convex values), therefore it follows that λ h 1 +(1ϑ) h 2 N(x).

Next it will be shown that there exists a positive number r such that N( B r ) B r , where B r ={xC([0,T]):xr}. Clearly B r is a bounded closed convex set in C([0,T]) for each positive constant r. If it is not true, then for each positive number r, there exists a function x r B r , h r N( x r ) with N( x r )>r, and

h r ( t ) = 0 t ( t s ) q 1 Γ ( q ) f r ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( T s ) q 2 Γ ( q 1 ) f r ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( T s ) q 1 Γ ( q ) f r ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x r ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x r ( s ) ) d s for some  f r S F , x r .

On the other hand, using (A2), we have

r < N ( x r ) { T q 1 Γ ( q ) + | λ | δ 2 T q 2 Γ ( q 1 ) + δ 1 T q 1 Γ ( q ) } 0 T m r ( s ) d s + | μ 1 | δ 1 0 T p r ( s ) d s + | μ 2 | δ 2 T 0 T p ¯ r ( s ) d s Λ 2 m r L 1 + | μ 1 | δ 1 p r L 1 + | μ 2 | δ 2 T p ¯ r L 1 ζ r ( Λ 2 + | μ 1 | δ 1 + | μ 2 | δ 2 T ) .

Dividing both sides by r and taking the lower limit as r, we find that

γ ( Λ 2 + | μ 1 | δ 1 + | μ 2 | δ 2 T ) 1 =Λ,

which contradicts (3.1). Hence there exists a positive number r such that N(B r )B r .

Now we show that N( B r ) is equi-continuous. Let t , t [0,T] with t < t . Let x B r and hN(x), then there exists f S F , x such that for each t[0,T], we have

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( T s ) q 2 Γ ( q 1 ) f ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( T s ) q 1 Γ ( q ) f ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s ,

from which we obtain

| h ( t ) h ( t ) | | 0 t ( ( t s ) q 1 ( t s ) q 1 Γ ( q ) ) | f ( s ) | d s + t t ( t s ) q 1 Γ ( q ) | f ( s ) | d s | + | λ | | t t | | T t t | T | 1 + λ | 0 T ( T s ) q 2 Γ ( q 1 ) | f ( s ) | d s + | t t | | ( 1 λ ) t + ( 1 λ ) t + 2 λ T | T 2 | 1 + λ | 0 t ( t s ) q 1 Γ ( q ) | f ( s ) | d s + | t t | | ( 1 λ ) t + ( 1 λ ) t + 2 λ T | T 2 | 1 + λ | 0 T ( T s ) q 2 Γ ( q 1 ) | g ( s , x ( s ) ) | d s + | λ | | t t | | T t t | T | 1 + λ | 0 T | h ( s , x ( s ) ) | d s | 0 t ( ( t s ) q 1 ( t s ) q 1 Γ ( q ) ) m r d s + t t ( t s ) q 1 Γ ( q ) m r d s | + | λ | | t t | | T t t | T | 1 + λ | 0 T ( T s ) q 2 Γ ( q 1 ) m r ( s ) d s + | t t | | ( 1 λ ) t + ( 1 λ ) t + 2 λ T | T 2 | 1 + λ | 0 t ( t s ) q 1 Γ ( q ) m r d s + | t t | | ( 1 λ ) t + ( 1 λ ) t + 2 λ T | T 2 | 1 + λ | 0 T ( T s ) q 2 Γ ( q 1 ) p r ( s ) d s + | λ | | t t | | T t t | T | 1 + λ | 0 T p ¯ r ( s ) d s .

Obviously, the right-hand side of the above inequality tends to zero independently of x r B r as t t . Thus, N is equi-continuous.

As N satisfies the above three assumptions, therefore it follows by the Ascoli-Arzelá theorem that N is a compact multi-valued map.

In our next step, we show that N has a closed graph. Let x n x , h n N( x n ) and h n h . Then we need to show that h N( x ). Associated with h n N( x n ), there exists f n S F , x n such that for each t[0,T],

h n ( t ) = 0 t ( t s ) q 1 Γ ( q ) f n ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( t s ) q 2 Γ ( q 1 ) f n ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( t s ) q 1 Γ ( q ) f n ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x n ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x n ( s ) ) d s .

Thus we have to show that there exists f S F , x such that for each t[0,T],

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( t s ) q 2 Γ ( q 1 ) f ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( t s ) q 1 Γ ( q ) f ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s .

Let us consider the continuous linear operator Θ: L 1 ([0,T],R)C([0,T],R) given by

f Θ ( f ) ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( t s ) q 2 Γ ( q 1 ) f ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( t s ) q 1 Γ ( q ) f ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s .

Observe that

h n ( t ) h ( t ) = 0 t ( t s ) q 1 Γ ( q ) ( f n ( s ) f ( s ) ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( t s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) ( f n ( s ) f ( s ) ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( t s ) q 1 Γ ( q ) ( f n ( s ) f ( s ) ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( g ( s , x n ( s ) ) g ( s , x ( s ) ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T ( h ( s , x n ( s ) ) h ( s , x ( s ) ) ) d s 0 as  n .

Thus, it follows by Lemma 2.5 that Θ S F is a closed graph operator. Further, we have h n (t)Θ( S F , x n ). Since x n x , therefore, Lemma 2.5 yields

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s ) d s + λ t ( T t ) T ( 1 + λ ) 0 T ( t s ) q 2 Γ ( q 1 ) f ( s ) d s t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T ( t s ) q 1 Γ ( q ) f ( s ) d s + μ 1 t [ t + λ ( 2 T t ) ] T 2 ( 1 + λ ) 0 T g ( s , x ( s ) ) d s + μ 2 t ( T t ) T ( 1 + λ ) 0 T h ( s , x ( s ) ) d s

for some f S F , x .

Hence, we conclude that N is a compact multi-valued map, u.s.c. with convex closed values. Thus, all the assumptions of Lemma 2.4 are satisfied. Hence the conclusion of Lemma 2.4 applies and, in consequence, N has a fixed point x which is a solution of the problem (1.1). This completes the proof. □

Special cases

By fixing the parameters in the boundary conditions of (1.1), we obtain some new results. As the first case, by taking μ 1 =0, λ=0, μ 2 =0, our main result with Λ=Γ(q)/2 T q 1 corresponds to the problem

{ D q c x ( t ) F ( t , x ( t ) ) , t [ 0 , T ] , T > 0 , 2 < q 3 , x ( 0 ) = 0 , x ( 0 ) = 0 , x ( T ) = 0 .

In case we fix μ 1 =0, λ=1, μ 2 =0, we obtain a new result for the problem

{ D q c x ( t ) F ( t , x ( t ) ) , t [ 0 , T ] , T > 0 , 2 < q 3 , x ( 0 ) = 0 , x ( T ) = 0 , x ( 0 ) = x ( T ) ,

with Λ=2Γ(q)/(3+q) T q 1 .

Discussion

As an application of Theorem 3.1, we discuss two cases for nonlinearities F(t,x), g(t,x), h(t,x): (a) sub-linear growth in the second variable of the nonlinearities; (b) linear growth in the second variable (state variable). In case of sub-linear growth, there exist functions η i (t), ρ i (t) L 1 ([0,T], R + ), μ i [0,1) with i=1,2,3 such that F(t,x) η 1 (t) | x | μ 1 + ρ 1 (t), g(t,x) η 2 (t) | x | μ 2 + ρ 2 (t), h(t,x) η 3 (t) | x | μ 3 + ρ 3 (t) for each (t,x)[0,T]×R. In this case, m r (t)= η 1 (t) r μ 1 + ρ 1 (t), p r (t)= η 2 (t) r μ 2 + ρ 2 (t), p ¯ r (t)= η 3 (t) r μ 3 + ρ 3 (t), and the condition (3.1) is 0<Λ. For the linear growth, the nonlinearities F, g, h satisfy the relation F(t,x) η 1 (t)|x|+ ρ 1 (t), p r (t)= η 2 (t)|x|+ ρ 2 (t), p ¯ r (t)= η 3 (t)|x|+ ρ 3 (t) for each (t,x)[0,T]×R. In this case m r (t)= η 1 (t)r+ ρ 1 (t), p r (t)= η 2 (t)r+ ρ 2 (t), p ¯ r (t)= η 3 (t)r+ ρ 3 (t), and the condition (3.1) becomes max{ η 1 L 1 , η 2 L 1 , η 3 L 1 }<Λ. In both cases, the boundary value problem (1.1) has at least one solution on [0,T].

Example 3.2 (linear growth case)

Consider the following problem:

{ D 5 / 2 c x ( t ) F ( t , x ( t ) ) , t [ 0 , 1 ] , x ( 0 ) = 0 , x ( 1 ) = 0 1 g ( s , x ( s ) ) d s , x ( 0 ) 1 2 x ( T ) = 1 2 0 1 h ( s , x ( s ) ) d s ,
(3.2)

where q=5/2, T=1, μ 1 =1, λ=1/2, μ 2 =1/2, and

F ( t , x ) 1 2 ( 1 + t ) 2 | x | + e t , g ( t , x ) 1 4 ( 1 + t ) | x | + 1 , h ( t , x ) e t ( 1 + 4 e t ) | x | + t + 1 .

With the given data, δ 1 =1, δ 2 =2/3, Λ 2 =10/3 π ,

γ = max { η 1 L 1 , η 2 L 1 , η 3 L 1 } = max { 1 4 , 1 4 ln 2 , 1 4 ( ln ( 1 + 4 e ) ln 5 ) } = 1 4 , Λ = ( Λ 2 + | μ 1 | δ 1 + | μ 2 | δ 2 T ) 1 = 3 π 2 ( 5 + 2 π ) .

Clearly, γ<Λ. Thus, by Theorem 3.1, the problem (3.2) has at least one solution on [0,1].

Example 3.3 (sub-linear growth case)

Letting F(t,x) 1 2 ( 1 + t ) 2 | x | 1 / 3 + e t , g(t,x) 1 4 ( 1 + t ) | x | 1 / 4 +1, h(t,x) e t ( 1 + 4 e t ) | x | 1 / 2 +t+1 in Example 3.2, we find that 0=γ<Λ. Hence there exits a solution for the sub-linear case of the problem (3.2) by Theorem 3.1.

References

  1. Ouahab A: Some results for fractional boundary value problem of differential inclusions. Nonlinear Anal. 2008, 69: 3877–3896. 10.1016/j.na.2007.10.021

    Article  MathSciNet  Google Scholar 

  2. Henderson J, Ouahab A: Fractional functional differential inclusions with finite delay. Nonlinear Anal. 2009, 70: 2091–2105. 10.1016/j.na.2008.02.111

    Article  MathSciNet  Google Scholar 

  3. Ahmad B, Otero-Espinar V: Existence of solutions for fractional differential inclusions with anti-periodic boundary conditions. Bound. Value Probl. 2009., 2009: Article ID 625347

    Google Scholar 

  4. Agarwal RP, Belmekki M, Benchohra M: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009., 2009: Article ID 981728

    Google Scholar 

  5. Chang Y-K, Nieto JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 2009, 49: 605–609. 10.1016/j.mcm.2008.03.014

    Article  MathSciNet  Google Scholar 

  6. Ahmad B, Ntouyas SK: Some existence results for boundary value problems of fractional differential inclusions with non-separated boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2010., 2010: Article ID 71

    Google Scholar 

  7. Ahmad B: Existence results for fractional differential inclusions with separated boundary conditions. Bull. Korean Math. Soc. 2010, 47: 805–813.

    Article  MathSciNet  Google Scholar 

  8. Cernea A: On the existence of solutions for nonconvex fractional hyperbolic differential inclusions. Commun. Math. Anal. 2010, 9(1):109–120.

    MathSciNet  Google Scholar 

  9. Agarwal RP, Ahmad B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 2011, 62: 1200–1214. 10.1016/j.camwa.2011.03.001

    Article  MathSciNet  Google Scholar 

  10. 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  Google Scholar 

  11. Deimling K: Multivalued Differential Equations. de Gruyter, Berlin; 1992.

    Book  Google Scholar 

  12. Hu S, Papageorgiou N: Handbook of Multivalued Analysis, Volume I: Theory. Kluwer Academic, Dordrecht; 1997.

    Book  Google Scholar 

  13. Kisielewicz M: Differential Inclusions and Optimal Control. Kluwer Academic, Dordrecht; 1991.

    Google Scholar 

  14. Smirnov GV: Introduction to the Theory of Differential Inclusions. Am. Math. Soc., Providence; 2002.

    Google Scholar 

  15. Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon; 1993.

    Google Scholar 

  16. Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  19. Bohnenblust HF, Karlin S: On a theorem of Ville.I. In Contributions to the Theory of Games. Princeton University Press, Princeton; 1950:155–160.

    Google Scholar 

  20. Lasota A, Opial Z: An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 1965, 13: 781–786.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

This research was partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ahmed Alsaedi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each of the authors, BA, SKN and AA contributed to each part of this work equally and read and approved the final version of the 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

Ahmad, B., Ntouyas, S.K. & Alsaedi, A. An existence result for fractional differential inclusions with nonlinear integral boundary conditions. J Inequal Appl 2013, 296 (2013). https://doi.org/10.1186/1029-242X-2013-296

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-296

Keywords