Skip to main content

On fractional differential inclusions with anti-periodic type integral boundary conditions

Abstract

This paper investigates the existence of solutions for fractional differential inclusions of order q(2,3] with anti-periodic type integral boundary conditions by means of some standard fixed point theorems for inclusions. Our results include the cases when the multivalued map involved in the problem has convex as well as non-convex values. The paper concludes with an illustrative example.

MSC:34A60, 34A08.

1 Introduction

The topic of fractional differential equations and inclusions has recently emerged as a popular field of research due to its extensive development and applications in several disciplines such as physics, mechanics, chemistry, engineering, etc. [15]. An important characteristic of a fractional-order differential operator, in contrast to its integer-order counterpart, is its nonlocal nature. This feature of fractional-order operators (equations) is regarded as one of the key factors for the popularity of the subject. As a matter of fact, the use of fractional-order operators in the mathematical modeling of several real world processes gives rise to more realistic models as these operators are capable of describing memory and hereditary properties. For some recent results on fractional differential equations, see [622] and the references cited therein, whereas some recent work dealing with fractional differential inclusions can be found in [2328].

In this paper, we study a boundary value problem of fractional differential inclusions with anti-periodic type integral boundary conditions given by

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

where D q c denotes the Caputo derivative of fractional order q, x ( j ) () denotes j th derivative of x() with x ( 0 ) ()=x(), F:[0,T]×RP(R) is a multivalued map, P(R) is the family of all subsets of , g j :[0,T]×RR are given continuous functions and λ j , μ j R ( λ j 1).

The present work is motivated by a recent paper [22], where the authors considered (1.1) with F as a single-valued map. The existence of solutions for problem (1.1) has been discussed for the cases when the right-hand side is convex as well as non-convex valued. The first result is based on the nonlinear alternative of Leray-Schauder type, whereas the second result is established by combining the nonlinear alternative of Leray-Schauder type for single-valued maps with a selection theorem due to Bressan and Colombo for lower semicontinuous multivalued maps with nonempty closed and decomposable values. In the third result, we use the fixed point theorem for contraction multivalued maps due to Covitz and Nadler. Though the methods used are well known, their exposition in the framework of problem (1.1) is new. We recall some preliminary facts about fractional calculus and multivalued maps in Section 2, while the main results are presented in Section 3.

2 Preliminaries

2.1 Fractional calculus

Let us recall some basic definitions of fractional calculus [13].

Definition 2.1 Let h:[0,)R be an (n1)-times absolutely continuous function. Then the Caputo derivative of fractional order ν for h is defined as

D ν c h(t)= 1 Γ ( n ν ) 0 t ( t s ) n ν 1 h ( n ) (s)ds,n1<ν<n,n=[ν]+1,

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

Definition 2.2 The Riemann-Liouville fractional integral of order ν is defined as

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

provided the integral exists.

Definition 2.3 A function xA C 1 ([0,T],R) is called a solution of problem (1.1) if there exists a function v L 1 ([0,T],R) with v(t)F(t,x(t)), a.e. [0,T] such that D α x(t)=v(t), a.e. [0,1] and x ( j ) (0) λ j x ( j ) (T)= μ j 0 T g j (s,x(s))ds, j=0,1,2.

In the sequel, the following lemma plays a pivotal role.

Lemma 2.4 ([22])

For a given yC([0,T],R) and 2<q3, the unique solution of the equation D q c x(t)=y(t), t[0,T] subject to the boundary conditions of (1.1) is given by

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) y ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) y ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) y ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) y ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s ,
(2.1)

where

2.2 Basic concepts of multivalued analysis

Let us begin this section with some basic concepts of multi-valued maps [29, 30].

Let X denote a normed space equipped with the norm ||. A multivalued map G:XP(X) is

  • convex (closed) valued if G(x) is convex (closed) for all xX;

  • bounded on bounded sets if G(B)= x B G(x) is bounded in X for all bounded sets B in X, that is, sup x B {sup{|y|:yG(x)}}<;

  • 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 N of X containing G( x 0 ), there exists an open neighborhood N 0 of x 0 such that G( N 0 )N;

  • completely continuous if G(B) is relatively compact for every bounded set B in X.

Remark 2.5 If the multivalued map G is completely continuous with nonempty compact values, then G is u.s.c. if and only if G has a closed graph, that is, x n x , y n y , y n G( x n ) imply that y G( x ).

Definition 2.6 The multivalued map G has a fixed point if there is xX such that xG(x). The fixed point set of the map G is denoted by FixG.

Definition 2.7 A multivalued map G:[0,T]P(R) with nonempty compact convex values is said to be measurable if for any xR, the function

td ( x , F ( t ) ) =inf { | x y | : y F ( t ) }

is measurable.

Let C([0,T],R) denote the Banach space of all continuous functions from [0,T] into with the norm

x =sup { | x ( t ) | : t [ 0 , T ] } .

Let L 1 ([0,T],R) be the Banach space of measurable functions x:[0,T]R which are Lebesgue integrable and normed by

x L 1 = 0 T | x ( t ) | dtfor all x L 1 ( [ 0 , T ] , R ) .

Definition 2.8 A multivalued map G:[0,T]×RP(R) is called Carathéodory if tG(t,x) is measurable for each xR and xG(t,x) is upper semicontinuous for almost all t[0,T]. A Carathéodory function G is said to be L 1 -Carathéodory if, for each δ>0, there exists φ δ L 1 ([0,T], R + ) such that G(t,x)=sup{|v|:vG(t,x)} φ δ (t) for all x δ and for a.e. t[0,T].

For each yC([0,T],R), we define the set of selections of F by

S F , y := { v L 1 ( [ 0 , T ] , R ) : v ( t ) F ( t , y ( t ) )  for a.e.  t [ 0 , T ] } .

Let W denote a nonempty closed subset of a Banach space E, and let G:WP(E) be a multivalued operator with nonempty closed values. The map G is lower semi-continuous (l.s.c.) if the set {yW:G(y)B} is open for any open set B in E. Let A be a subset of [0,T]×R. A is LB measurable if A belongs to the σ-algebra generated by all sets of the form J×D, where J is Lebesgue measurable in [0,T] and D is Borel measurable in . A subset A of L 1 ([0,T],R) is decomposable if for all u,vA and measurable J[0,T]=J, the function u χ J +v χ J J A, where χ J stands for the characteristic function of J.

Definition 2.9 Let Y be a separable metric space. A multivalued operator N:YP( L 1 ([0,T],R)) has the property (BC) if N is lower semi-continuous (l.s.c.) and has nonempty closed and decomposable values.

Let F:[0,T]×RP(R) be a multivalued map with nonempty compact values. Define a multivalued operator F:C([0,T]×R)P( L 1 ([0,T],R)) associated with F as

F(x)= { w L 1 ( [ 0 , T ] , R ) : w ( t ) F ( t , x ( t ) )  for a.e.  t [ 0 , 1 ] } ,

which is called the Nemytskii operator associated with F.

Definition 2.10 Let F:[0,T]×RP(R) be a multivalued function with nonempty compact values. We say F is of lower semi-continuous type (l.s.c. type) if its associated Nemytskii operator is lower semi-continuous and has nonempty closed and decomposable values.

Let (X,d) be a metric space induced from the normed space (X;). Consider H d :P(X)×P(X)R{} given by

H d (A,B)=max { sup a A d ( a , B ) , sup b B d ( A , b ) } ,

where d(A,b)= inf a A d(a;b) and d(a,B)= inf b B d(a;b). Then ( P b , c l (X), H d ) is a metric space and ( P c l (X), H d ) is a generalized metric space (see [31]), where P c l (X)={YP(X):Y is closed}, and P b , c l (X)={YP(X):Y is bounded and closed}.

Definition 2.11 A multivalued operator N:X P c l (X) is called γ-Lipschitz if and only if there exists γ>0 such that H d (N(x),N(y))γd(x,y) for each x,y(X) and is a contraction if and only if it is γ-Lipschitz with γ<1.

3 Existence results

3.1 The Carathéodory case

We recall the following lemmas to prove the existence of solutions for problem (1.1) when the multivalued map F in (1.1) is of Carathéodory type.

Lemma 3.1 (Nonlinear alternative for Kakutani maps) [32]

Let E be a Banach space, let C be a closed convex subset of E, let U be an open subset of C, and 0U. Suppose that F: U ¯ P c p , c (C) is an upper semicontinuous compact map; here P c p , c (C) denotes the family of nonempty, compact convex subsets of C. Then either

  1. (i)

    F has a fixed point in U ¯ , or

  2. (ii)

    there is an uU and λ(0,1) with uλF(u).

Lemma 3.2 ([33])

Let X be a Banach space, and let P c p , c (X) denote a family of nonempty, compact and convex subsets of X. Let F:[0,T]×R P c p , c (X) be an L 1 -Carathéodory multivalued map, and let Θ be a linear continuous mapping from L 1 ([0,T],X) to C([0,T],X). Then the operator

Θ S F :C ( [ 0 , T ] , X ) P c p , c ( C ( [ 0 , T ] , X ) ) ,x(Θ S F )(x)=Θ( S F , x )

is a closed graph operator in C([0,T],X)×C([0,T],X).

Theorem 3.3 Suppose that

(H1) F:[0,T]×RP(R) is Carathéodory and has nonempty compact and convex values;

(H2) there exists a continuous nondecreasing function ψ:[0,)(0,) and a function p L 1 ([0,T], R + ) such that

F ( t , x ) P :=sup { | y | : y F ( t , x ) } p(t)ψ ( x ) for each (t,x)[0,T]×R;

(H3) there exist continuous nondecreasing functions ψ j :[0,)(0,) and functions p j L 1 ([0,T], R + ) such that

| g j ( t , x ) | p j (t) ψ j ( x ) ,j=0,1,2, for each (t,x)[0,T]×R;

(H4) there exists a constant M>0 such that

M ψ ( M ) Ω 1 p L 1 + ψ 0 ( M ) | μ 0 ξ 1 | p 0 L 1 + ψ 1 ( M ) | μ 1 η 2 | p 1 L 1 + ψ 2 ( M ) | μ 2 η 1 | p 2 L 1 >1,

where

Ω 1 = T q 1 Γ ( q ) { 1 + | λ 0 ξ 1 | + | λ 1 η 2 | ( q 1 ) T 1 + | λ 2 η 1 | q ( q 1 ) ( q 2 ) T 2 } .

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

Proof Define the operator Ω F :C([0,T],R)P(C([0,T],R)) by

Ω F (x)= { h C ( [ 0 , T ] , R ) : h ( t ) = { 0 t ( t s ) q 1 Γ ( q ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s , 0 t 1 }

for v S F , x . We will show that Ω F satisfies the assumptions of the nonlinear alternative of Leray-Schauder type. The proof consists of several steps. As the first step, we show that Ω F is convex for each xC([0,T],R). This step is obvious since S F , x is convex (F has convex values), and therefore we omit the proof.

In the second step, we show that Ω F maps bounded sets (balls) into bounded sets in C([0,T],R). For a positive number ρ, let B ρ ={xC([0,T],R):xρ} be a bounded ball in C([0,T],R). Then, for each h Ω F (x), x B ρ , there exists v S F , x such that

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

Then for t[0,T] we have

| h ( t ) | 0 t ( t s ) q 1 Γ ( q ) | v ( s ) | d s + | λ 0 ξ 1 | 0 T ( T s ) q 1 Γ ( q ) | v ( s ) | d s + | λ 1 η 2 | 0 T ( T s ) q 2 Γ ( q 1 ) | v ( s ) | d s + | λ 2 η 1 | 0 T ( T s ) q 3 Γ ( q 2 ) | v ( s ) | d s + | μ 0 ξ 1 | 0 T | g 0 ( s , x ( s ) ) | d s + | μ 1 η 2 | 0 T | g 1 ( s , x ( s ) ) | d s + | μ 2 η 1 | 0 T | g 2 ( s , x ( s ) ) | d s ψ ( x ) { T q 1 Γ ( q ) + | λ 0 ξ 1 | T q 1 Γ ( q ) + | λ 1 η 2 | T q 2 Γ ( q 1 ) + | λ 2 η 1 | T q 3 Γ ( q 2 ) } 0 T p ( s ) d s + ψ 0 ( x ) | μ 0 ξ 1 | 0 T p 0 ( s ) d s + ψ 1 ( x ) | μ 1 η 2 | 0 T p 1 ( s ) d s + ψ 2 ( x ) | μ 2 η 1 | 0 T p 2 ( s ) d s ψ ( x ) Ω 1 p L 1 + ψ 0 ( x ) | μ 0 ξ 1 | p 0 L 1 + ψ 1 ( x ) | μ 1 η 2 | p 1 L 1 + ψ 2 ( x ) | μ 2 η 1 | p 2 L 1 .

Thus,

hψ(ρ) Ω 1 p L 1 + ψ 0 (ρ)| μ 0 ξ 1 | p 0 L 1 + ψ 1 (ρ)| μ 1 η 2 | p 1 L 1 + ψ 2 (ρ)| μ 2 η 1 | p 2 L 1 .

Now we show that Ω F maps bounded sets into equicontinuous sets of C([0,T],R). Let t , t [0,T] with t < t and x B ρ . For each h Ω F (x), we obtain

Obviously, the right-hand side of the above inequality tends to zero independently of x B ρ as t t 0. As Ω F satisfies the above three assumptions, it follows by the Ascoli-Arzelá theorem that Ω F :C([0,T],R)P(C([0,T],R)) is completely continuous.

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

h n ( t ) = 0 t ( t s ) q 1 Γ ( q ) v n ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v n ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v n ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v n ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x n ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x n ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x n ( s ) ) d s .

Thus it suffices to show that there exists v S F , x such that for each t[0,T],

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( 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 ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

Observe that

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

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s ,

for some v S F , x .

Finally, we show there exists an open set UC([0,T],R) with x Ω F (x) for any λ(0,1) and all xU. Let λ(0,1) and xλ Ω F (x). Then there exists v L 1 ([0,T],R) with v S F , x such that, for t[0,T], we have

h ( t ) = 0 t ( t s ) q 1 Γ ( q ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s ,

and using the computations of the second step above, we have

h ψ ( x ) { T q 1 Γ ( q ) + | λ 0 ξ 1 | T q 1 Γ ( q ) + | λ 1 η 2 | T q 2 Γ ( q 1 ) + | λ 2 η 1 | T q 3 Γ ( q 2 ) } 0 T p ( s ) d s + ψ 0 ( x ) | μ 0 ξ 1 | 0 T p 0 ( s ) d s + ψ 1 ( x ) | μ 1 η 2 | 0 T p 1 ( s ) d s + ψ 2 ( x ) | μ 2 η 1 | 0 T p 2 ( s ) d s ψ ( x ) Ω 1 p L 1 + ψ 0 ( x ) | μ 0 ξ 1 | p 0 L 1 + ψ 1 ( x ) | μ 1 η 2 | p 1 L 1 + ψ 2 ( x ) | μ 2 η 1 | p 2 L 1 .

Consequently, we have

In view of (H4), there exists M such that xM. Let us set

U= { x C ( [ 0 , T ] , R ) : x < M } .

Note that the operator Ω F : U ¯ P(C([0,T],R)) is upper semicontinuous and completely continuous. From the choice of U, there is no xU such that xλ Ω F (x) for some λ(0,1). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 3.1), we deduce that Ω F has a fixed point x U ¯ which is a solution of problem (1.1). This completes the proof. □

3.2 The lower semicontinuous case

This section deals with the case when F is not necessarily convex valued. Our strategy to deal with this problem is based on the nonlinear alternative of Leray-Schauder type together with the selection theorem of Bressan and Colombo for lower semi-continuous maps with decomposable values.

Lemma 3.4 (Bressan and Colombo [34])

Let Y be a separable metric space, and let N:YP( L 1 ([0,T],R)) be a multivalued operator satisfying the property (BC). Then N has a continuous selection, that is, there exists a continuous function (single-valued) g:Y L 1 ([0,T],R) such that g(x)N(x) for every xY.

Theorem 3.5 Assume that (H2), (H3), (H4) and the following condition hold:

(H4) F:[0,T]×RP(R) is a nonempty compact-valued multivalued map such that

  1. (a)

    (t,x)F(t,x) is LB measurable;

  2. (b)

    xF(t,x) is lower semicontinuous for each t[0,T];

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

Proof It follows from (H2) and (H4) that F is of l.s.c. type. Then from Lemma 3.4, there exists a continuous function f:A C 1 ([0,T],R) L 1 ([0,T],R) such that f(x)F(x) for all xC([0,T],R).

Consider the problem

{ D q c x ( t ) x ( t ) = f ( x ( t ) ) , t [ 0 , T ] , x ( j ) ( 0 ) λ j x ( j ) ( T ) = μ j 0 T g j ( s , x ( s ) ) d s , j = 0 , 1 , 2 .
(3.1)

Observe that if xA C 1 ([0,T],R) is a solution of (3.1), then x is a solution to problem (1.1). In order to transform problem (3.1) into a fixed point problem, we define the operator Ω F ¯ as

Ω F ¯ x ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( x ( s ) ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) f ( x ( s ) ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) f ( x ( s ) ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) f ( x ( s ) ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

It can easily be shown that Ω F ¯ is continuous and completely continuous. The remaining part of the proof is similar to that of Theorem 3.3. So, we omit it. This completes the proof. □

3.3 The Lipschitz case

Here we show the existence of solutions for problem (1.1) with a nonconvex valued right-hand side by applying a fixed point theorem for multivalued maps due to Covitz and Nadler [35].

Lemma 3.6 ([35])

Let (X,d) be a complete metric space. If N:X P c l (X) is a contraction, then FixN.

Theorem 3.7 Assume that the following conditions hold:

(A1) F:[0,T]×R P c p (R) is such that F(,x):[0,T] P c p (R) is measurable for each xR;

(A2) H d (F(t,x),F(t, x ¯ ))m(t)|x x ¯ | for almost all t[0,T] and x, x ¯ R with m L 1 ([0,T], R + ) and d(0,F(t,0))m(t) for almost all t[0,T];

(A3) There exist constants c j >0, j=0,1,2, such that

| g j ( t , x ) g j ( t , y ) | c j |xy|,t[0,T],j=0,1,2,x,yR.

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

Ω 1 m L 1 + { c 0 | μ 1 ξ 1 | + c 1 | μ 2 η 2 | + c 2 | μ 3 η 1 | } T<1.

Proof Observe that the set S F , x is nonempty for each xC([0,T],R) by the assumption (A1), so F has a measurable selection (see Theorem III.6 [36]). Now we show that the operator Ω F , defined in the beginning of the proof of Theorem 3.3, satisfies the assumptions of Lemma 3.6. To show that Ω F (x) P c l ((C[0,T],R)) for each xC([0,T],R), let { u n } n 0 Ω F (x) be such that u n u(n) in C([0,T],R). Then uC([0,T],R) and there exists v n S F , x n such that, for each t[0,T],

u n ( t ) = 0 t ( t s ) q 1 Γ ( q ) v n ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v n ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v n ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v n ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

As F has compact values, we pass onto a subsequence (if necessary) to obtain that v n converges to v in L 1 ([0,T],R). Thus, v S F , x and for each t[0,T], we have

u n ( t ) u ( t ) = 0 t ( t s ) q 1 Γ ( q ) v ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

Hence, uΩ(x).

Next we show that there exists δ<1 such that

H d ( Ω F ( x ) , Ω F ( x ¯ ) ) δx x ¯ for each x, x ¯ A C 1 ( [ 0 , T ] , R ) .

Let x, x ¯ A C 1 ([0,T],R) and h 1 Ω F (x). Then there exists v 1 (t)F(t,x(t)) such that, for each t[0,T],

h 1 ( t ) = 0 t ( t s ) q 1 Γ ( q ) v 1 ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v 1 ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v 1 ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v 1 ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

By (H3), we have

H d ( F ( t , x ) , F ( t , x ¯ ) ) m(t) | x ( t ) x ¯ ( t ) | .

So, there exists wF(t, x ¯ (t)) such that

| v 1 ( t ) w | m(t) | x ( t ) x ¯ ( t ) | ,t[0,T].

Define U:[0,T]P(R) by

U(t)= { w R : | v 1 ( t ) w | m ( t ) | x ( t ) x ¯ ( t ) | } .

Since the multivalued operator U(t)F(t, x ¯ (t)) is measurable (Proposition III.4 [36]), there exists a function v 2 (t) which is a measurable selection for U. So, v 2 (t)F(t, x ¯ (t)) and for each t[0,T], we have | v 1 (t) v 2 (t)|m(t)|x(t) x ¯ (t)|.

For each t[0,T], let us define

h 2 ( t ) = 0 t ( t s ) q 1 Γ ( q ) v 2 ( s ) d s λ 0 ξ 1 0 T ( T s ) q 1 Γ ( q ) v 2 ( s ) d s + λ 1 η 2 0 T ( T s ) q 2 Γ ( q 1 ) v 2 ( s ) d s + λ 2 η 1 0 T ( T s ) q 3 Γ ( q 2 ) v 2 ( s ) d s μ 0 ξ 1 0 T g 0 ( s , x ( s ) ) d s + μ 1 η 2 0 T g 1 ( s , x ( s ) ) d s + μ 2 η 1 0 T g 2 ( s , x ( s ) ) d s .

Thus,

Hence,

h 1 h 2 [ Ω 1 m L 1 + { c 0 | μ 1 ξ 1 | + c 1 | μ 2 η 2 | + c 2 | μ 3 η 1 | } T ] x x ¯ .

Analogously, interchanging the roles of x and x ¯ , we obtain

H d ( Ω F ( x ) , Ω F ( x ¯ ) ) δ x x ¯ [ Ω 1 m L 1 + { c 0 | μ 1 ξ 1 | + c 1 | μ 2 η 2 | + c 3 | μ 2 η 1 | } T ] x x ¯ .

Since Ω F is a contraction, it follows by Lemma 3.6 that Ω F has a fixed point x which is a solution of (1.1). This completes the proof. □

Example 3.8

Consider the following boundary value problem of fractional differential inclusions:

{ D 5 / 2 c x ( t ) F ( t , x ( t ) ) , t [ 0 , 1 ] , x ( 0 ) + x ( 1 ) = 0 1 x ( s ) 3 ( 1 + s ) 2 d s , x ( 0 ) + x ( 1 ) = 1 2 0 1 e s x ( s ) 3 ( 1 + e s ) d s , x ( 0 ) + x ( 1 ) = 1 3 0 1 x ( s ) 3 ( 1 + e s ) d s ,
(3.2)

where F:[0,1]×RP(R) is a multivalued map given by

xF(t,x)= [ | x | 3 10 ( | x | 3 + 3 ) , | sin x | 9 ( | sin x | + 1 ) + 1 12 ] .

For fF, we have

|f|max ( | x | 3 10 ( | x | 3 + 3 ) , | sin x | 9 ( | sin x | + 1 ) + 1 12 ) 7 36 ,xR.

Thus,

F ( t , x ) P :=sup { | y | : y F ( t , x ) } 7 36 =p(t)ψ ( x ) ,xR,

with p(t)= 1 3 , ψ(x)= 7 12 . Here

g 0 (t,x)= x ( t ) 3 ( 1 + t ) 2 , g 1 (t,x)= e t x ( t ) 3 ( 1 + e t ) , g 2 (t,x)= x ( t ) 3 ( 1 + e t )

and λ 0 = λ 1 = λ 2 =1, μ 0 =1, μ 1 = 1 2 , μ 2 = 1 3 .

Clearly, ξ 1 =1/2, ξ 2 =1/4, ξ 3 =1/16, η 1 =1/16, η 2 =1/4, | g 0 (t,x)| 1 3 x, | g 1 (t,x)| 1 3 x, | g 2 (t,x)| 1 3 x with ψ(M)= 7 12 , ψ 0 (M)= ψ 1 (M)= ψ 2 (M)=M, p L 1 = p 0 L 1 = p 1 L 1 = p 2 L 1 = 1 3 , and Ω 1 = 85 π 32 . In view of the condition

M ψ ( M ) Ω 1 p L 1 + ψ 0 ( M ) | μ 0 ξ 1 | p 0 L 1 + ψ 1 ( M ) | μ 1 η 2 | p 1 L 1 + ψ 2 ( M ) | μ 2 η 1 | p 2 L 1 >1,

we find that M> 595 π 904 . Thus, all the conditions of Theorem 3.3 are satisfied. So, there exists at least one solution of problem (3.2) on [0,1].

References

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  5. 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 

  6. 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: 973-1033. 10.1007/s10440-008-9356-6

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  8. Balachandran K, Trujillo JJ: The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces. Nonlinear Anal. 2010, 72: 4587-4593. 10.1016/j.na.2010.02.035

    Article  MathSciNet  Google Scholar 

  9. Baleanu D, Mustafa OG: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 2010, 59: 1835-1841. 10.1016/j.camwa.2009.08.028

    Article  MathSciNet  Google Scholar 

  10. Hernandez E, O’Regan D, Balachandran K: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal. 2010, 73(10):3462-3471. 10.1016/j.na.2010.07.035

    Article  MathSciNet  Google Scholar 

  11. Wang Y, Liu L, Wu Y: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 2011, 74: 3599-3605. 10.1016/j.na.2011.02.043

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

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

    Google Scholar 

  14. Ahmad B, Nieto JJ, Alsaedi A: Existence and uniqueness of solutions for nonlinear fractional differential equations with non-separated type integral boundary conditions. Acta Math. Sci. 2011, 31: 2122-2130.

    Article  MathSciNet  Google Scholar 

  15. 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 

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

  17. Bai ZB, Sun W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 2012, 63: 1369-1381. 10.1016/j.camwa.2011.12.078

    Article  MathSciNet  Google Scholar 

  18. Sakthivel R, Mahmudov NI, Nieto JJ: Controllability for a class of fractional-order neutral evolution control systems. Appl. Math. Comput. 2012, 218: 10334-10340. 10.1016/j.amc.2012.03.093

    Article  MathSciNet  Google Scholar 

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

  20. Ahmad B, Ntouyas SK: Existence results for nonlocal boundary value problems for fractional differential equations and inclusions with strip conditions. Bound. Value Probl. 2012., 2012: Article ID 55

    Google Scholar 

  21. Agarwal RP, O’Regan D, Stanek S: Positive solutions for mixed problems of singular fractional differential equations. Math. Nachr. 2012, 285(1):27-41. 10.1002/mana.201000043

    Article  MathSciNet  Google Scholar 

  22. Ahmad B, Ntouyas SK: A boundary value problem of fractional differential equations with anti-periodic type integral boundary conditions. J. Comput. Anal. Appl. 2013, 15: 1372-1380.

    MathSciNet  Google Scholar 

  23. 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 

  24. 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 

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

    MathSciNet  Google Scholar 

  26. Hamani S, Benchohra M, Graef JR: Existence results for boundary-value problems with nonlinear fractional differential inclusions and integral conditions. Electron. J. Differ. Equ. 2010., 2010: Article ID 20

    Google Scholar 

  27. Agarwal RP, Ahmad B, Alsaedi A, Shahzad N: On the dimension of the solution set for semilinear fractional differential inclusions. Abstr. Appl. Anal. 2012., 2012: Article ID 305924

    Google Scholar 

  28. Ahmad B, Ntouyas SK: Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 2012, 15: 362-382.

    MathSciNet  Google Scholar 

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

    Book  Google Scholar 

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

    Book  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  33. 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 

  34. Bressan A, Colombo G: Extensions and selections of maps with decomposable values. Stud. Math. 1988, 90: 69-86.

    MathSciNet  Google Scholar 

  35. Covitz H, Nadler SB Jr.: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 1970, 8: 5-11. 10.1007/BF02771543

    Article  MathSciNet  Google Scholar 

  36. Castaing C, Valadier M Lecture Notes in Mathematics 580. In Convex Analysis and Measurable Multifunctions. Springer, Berlin; 1977.

    Chapter  Google Scholar 

Download references

Acknowledgements

The authors are grateful to the anonymous referees for their useful comments. The research of B. Ahmad and A. Alsaedi was partially supported by the 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. On fractional differential inclusions with anti-periodic type integral boundary conditions. Bound Value Probl 2013, 82 (2013). https://doi.org/10.1186/1687-2770-2013-82

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2013-82

Keywords