Journal of Fractional Calculus and Applications, Vol. 3. July 22, No. 9, pp. 4. ISSN: 29-5858. http://www.fcaj.webs.com/ EXISTENCE RESULTS FOR FIRST ORDER BOUNDARY VALUE PROBLEMS FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS WITH FRACTIONAL INTEGRAL BOUNDARY CONDITIONS SOTIRIS K. NTOUYAS Abstract. This paper studies a new class of boundary value problems of nonlinear differential equations and inclusions of fractional order with fractional integral boundary conditions. Some new existence and uniqueness results are obtained by using standard fixed point theorems. Some illustrative examples are also discussed.. Introduction In this paper, we discuss the existence and uniquness of solutions for a boundary value problem of nonlinear fractional differential equations and inclusions of order q (, ] with fractional integral boundary conditions. More precisely, in Section 3, we consider the following boundary value problem of fractional differential equations c D q x(t) = f(t, x(t)), < t <, < q, () x() = αi p x(η), < η <, where c D q denotes the Caputo fractional derivative of order q, f : [, ] R R is a given continuous function, α R is such that α Γ(p )/η p, Γ is the Euler gamma function and I p, < p < is the Riemann-Liouville fractional integral of order p. Fractional differential equations have aroused great interest, which is caused by both the intensive development of the theory of fractional calculus and the application of physics, mechanics and chemistry engineering. For some recent development on the topic see []-[23] and the references cited therein. In [26], the authors studied the following boundary value problem with fractional integral boundary conditions c D q x(t) = f(t, x(t), c D p x(t)), < t <, < q 2, < p < (2) x() =, x () = αi p x(). 2 Mathematics Subject Classification. 34A8, 26A33, 34A6. Key words and phrases. Fractional differential equations; nonlocal boundary conditions; fixed point theorems. Submitted Apr. 23, 22. Published July, 22.
2 SOTIRIS K. NTOUYAS JFCA-22/3 Existence and uniqueness results are proved via Banach s contraction principle and Leray-Schauder Nonlinear Alternative. Ahmad et al. in [] discussed existence results for nonlinear fractional differential equations with three-point integral boundary conditions c D q x(t) = f(t, x(t)), < t <, < q 2, (3) x() =, x() = α x(s)ds, < η <, where c D q denotes the Caputo fractional derivative, and α R, α 2/η 2. In Section 3, we prove new existence and uniqueness results for the problem (). These results are based on Banach s fixed point theorem, Krasnoselskii s fixed point theorem and nonlinear alternative of Leray-Schauder type. In Section 4, we continue our study for boundary value problems with fractional integral boundary conditions for multivalued maps (inclusion case) and consider the problem c D q x(t) F (t, x(t)), < t <, < q, (4) x() = αi p x(η), < η <, where F : [, ] R P(R) is a multivalued map, P(R) is the family of all subsets of R. We establish existence results for the problem (4), when the right hand side is convex as well as non-convex valued. In the first result, we shall combine 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, while in the second result, we shall use the fixed point theorem for contraction multivalued maps due to Covitz and Nadler. 2. Linear Problem Let us recall some basic definitions of fractional calculus [28, 3, 32]. Definition 2.. For at least n-times differentiable function g : [, ) R, the Caputo derivative of fractional order q is defined as c D q g(t) = Γ(n q) (t s) n q g (n) (s)ds, n < q < n, n = [q], where [q] denotes the integer part of the real number q. Definition 2.2. The Riemann-Liouville fractional integral of order q is defined as provided the integral exists. I q g(t) = g(s) ds, q >, (t s) q The following lemmas gives some properties of Riemann-Liouville fractional integrals and Caputo fractional derivative [28]. Lemma 2.3. Let p, q, f L [a, b]. Then I p I q f(t) = I pq f(t) and c D q I q f(t) = f(t), for all t [a, b].
JFCA-22/3 BVP FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS 3 Lemma 2.4. Let β > α >, f L [a, b]. Then c D α I β f(t) = I β α f(t), for all t [a, b]. To define the solution of the boundary value problem () we need the following lemma, which deals with a linear variant of the problem (). By a solution of (), we mean a continuous function x(t) which satisfies the equation c D q x(t) = f(t, x(t)), < t <, and the boundary condition x() = αi p x(η), < η <. Γ(p ) Lemma 2.5. Let α. Then for a given g C([, ], R), the solution of η p the fractional differential equation subject to the boundary condition is given by c D q x(t) = g(t), < q (5) x() = αi p x(η) (6) x(t) = g(s)ds αγ(p ) η Γ(p ) αη p g(s)ds, t [, ]. Proof. For some constant c R, we have [28] x(t) = (7) g(s)ds c. (8) Using the Riemann-Liouville integral of order p for (8), we have I p (t s) p [ s (s r) q ] x(t) = g(r)dr c ds Γ(p) = I p I q t p g(t) c Γ(p ) = t p Ipq g(t) c Γ(p ), where we have used Lemma 2.3. Using the condition (6) in the above expression, we get αγ(p ) c = Γ(p ) αη p Ipq g(η). Substituting the value of c in (8), we obtain (7). 3. Existence results for single-valued case Let C = C([, ], R) denotes the Banach space of all continuous functions from [, ] R endowed with the norm defined by x = sup x(t), t [, ]}. In view of Lemma 2.5, we define an operator F : C C by (F x)(t) = f(s, x(s))ds αγ(p ) η Γ(p ) αη p f(s, x(s))ds, t [, ]. (9)
4 SOTIRIS K. NTOUYAS JFCA-22/3 Observe that the problem () has solutions if and only if the operator equation F x = x has fixed points. Our first existence result is obtained by the use of the well-known Banach s contraction principle. Theorem 3.. Suppose that f : [, ] R R is continuous and that there exists a constant L > such that (A ) f(t, x) f(t, y) L x y, t [, ], x, y R. If LA <, where A = Γ(q ) α η pq Γ(p ) Γ(p q ) Γ(p ) αη p, () then the boundary value problem () has a unique solution. Proof. Let us set sup t [,] f(t, ) = M and show that F B ρ B ρ, where F is defined by (9), B ρ = x C ([, ], R) : x ρ} and ρ MA, with A given LA by (). For x B ρ, t [, ], we have (F x)(t) f(s, x(s)) ds sup t [,] } α Γ(p ) η Γ(p ) αη p f(s, x(s)) ds ( f(s, x(s)) f(s, ) f(s, ) )ds sup t [,] α Γ(p ) Γ(p ) αη p = [Lρ M] [Lρ M] A ρ. This shows that F B ρ B ρ. } ( f(s, x(s)) f(s, ) f(s, ) )ds } Γ(q ) α η pq Γ(p ) Γ(p q ) Γ(p ) αη p Now, for x, y C ([, ], R) and t [, ], we obtain (F x) (F y) f(s, x(s)) f(s, y(s)) ds sup t [,] α Γ(p ) Γ(p ) αη p L x y = LA x y. } f(s, x(s)) f(s, y(s)) ds } Γ(q ) α η pq Γ(p ) Γ(p q ) Γ(p ) αη p
JFCA-22/3 BVP FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS 5 As LA (, ) by assumption, therefore F is a contraction. Hence Banach s contraction principle applies and the problem () has a unique solution. Now, we prove the existence of solutions of () by applying Krasnoselskii s fixed point theorem [3]. Theorem 3.2. (Krasnoselskii s fixed point theorem). Let M be a closed, bounded, convex and nonempty subset of a Banach space X. Let A, B be the operators such that (i) Ax By M whenever x, y M; (ii) A is compact and continuous; (iii) B is a contraction mapping. Then there exists z M such that z = Az Bz. Theorem 3.3. Let f : [, ] R R be a continuous function satisfying (A ). In addition we assume that the following assumption holds: (A 2 ) f(t, x) µ(t), (t, x) [, ] R, and µ C([, ], R ). Then the boundary value problem () has at least one solution on [, ], provided that L α η pq Γ(p ) Γ(p q ) Γ(p ) αη p <. () Proof. Letting sup t [,] µ(t) = µ, we fix r µ Γ(q ) α η pq } Γ(p ) Γ(p q ) Γ(p ) αη p and consider B r = x C : x r}. We define the operators P and Q on B r as (Px)(t) = (Qx)(t) = f(s, x(s))ds, t [, ], αγ(p ) Γ(p ) αη p f(s, x(s))ds, t [, ]. For x, y B r, we find that Px Qy µ r. µ ( s) q ds µ α Γ(p ) η Γ(p ) αη p Γ(q ) α η pq Γ(p ) Γ(p q ) Γ(p ) αη p ds } Thus, PxQy B r. It follows from the assumption (A ) together with () that Q is a contraction mapping. Continuity of f implies that the operator P is continuous. Also, P is uniformly bounded on B r as Px µ Γ(q ). Now we prove the compactness of the operator P.
6 SOTIRIS K. NTOUYAS JFCA-22/3 In view of (A ), we define sup (t,x) [,] Br f(t, x) = f, and consequently we have (Px)(t ) (Px)(t 2 ) = 2 t [(t 2 s) q (t s) q ]f(s, x(s))ds (t 2 s) q f(s, x(s))ds f Γ(q ) (tq 2 tq ), which is independent of x and tends to zero as t 2 t. Thus, P is equicontinuous. Hence, by the Arzelá-Ascoli Theorem, P is compact on B r. Thus all the assumptions of Theorem 3.2 are satisfied. So the conclusion of Theorem 3.2 implies that the boundary value problem () has at least one solution on [, ]. The next existence result is based on Leray-Schauder nonlinear alternative. Theorem 3.4. (Nonlinear alternative for single valued maps)[25]. Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and U. Suppose that F : U C is a continuous, compact (that is, F (U) is a relatively compact subset of C) map. Then either (i) F has a fixed point in U, or (ii) there is a u U (the boundary of U in C) and λ (, ) with u = λf (u). Theorem 3.5. Assume that: (A 3 ) there exists a continuous nondecreasing function ψ : [, ) (, ) and a function ϕ L ([, ], R ) such that f(t, x) ϕ(t)ψ( x ) for each (t, x) [, ] R; (A 4 ) there exists a constant M > such that M [ ] >. ψ(m) I q α Γ(p ) ϕ() Γ(p ) αη p Ipq ϕ(η) Then the boundary value problem () has at least one solution on [, ]. Proof. Observe that the operator F : C([, ], R) C([, ], R) defined by (9) is continuous. Next we show that F maps bounded sets into bounded sets in C([, ], R). For a positive number ρ, let B ρ = x C([, ], R) : x ρ} be a
JFCA-22/3 BVP FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS 7 bounded ball in C([, ], R). Then, we have (F x)(t) f(s, x(s)) ds α Γ(p ) Γ(p ) αη p ψ( x ) ( s) q ϕ(s)ds ψ( x ) α Γ(p ) Γ(p ) αη p [ ψ( x ) I q p() f(s, x(s)) ds ϕ(s)ds ]. α Γ(p ) Γ(p ) αη p Ipq ϕ(η) Thus, [ ] F x ψ(ρ) I q α Γ(p ) ϕ() Γ(p ) αη p Ipq ϕ(η). Now we show that F maps bounded sets into equicontinuous sets of C([, ], R). Let t, t [, ] with t < t and x B ρ. Then (F x)(t ) (F x)(t ) [ (t ψ(ρ) s) q (t s) q ] (t s) q ϕ(s)ds ψ(ρ) ϕ(s)ds t. Obviously the right hand side of the above inequality tends to zero independently of x B ρ as t t. Therefore it follows by the Ascoli-Arzelá theorem that F : C([, ], R) C([, ], R) is completely continuous. Now let λ (, ) and let x = λf x. Then for t [, ] we have x(t) = λ αγ(p ) f(s, x(s))dsλ Γ(p ) αη p Then, using the computations by the first step, we have [ ] x(t) ψ( x ) I q α Γ(p ) ϕ() Γ(p ) αη p Ipq ϕ(η). Consequently, x [ ]. ψ( x ) I q α Γ(p ) ϕ() Γ(p ) αη p Ipq ϕ(η) In view of (A 4 ), there exists M such that x M. Let us set U = x C([, ], R) : x < M}. f(s, x(s))ds. Note that the operator F : U C([, ], R) is continuous and completely continuous. From the choice of U, there is no x U such that x = λf (x) for some λ (, ). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 3.4), we deduce that F has a fixed point x U which is a solution of the problem (). This completes the proof. In the special case when p(t) = and ψ( x ) = k x N we have the following corollary.
8 SOTIRIS K. NTOUYAS JFCA-22/3 Corollary 3.6. Let f : [, ] R R be a continuous function. Assume that: (A 5 ) there exist constants κ <, where A is given by () and M > such A that f(t, x) κ x M, for all t [, ], x C[, ]. Then the boundary value problem () has at least one solution. Example 3.7. Consider the following fractional boundary value problem c D /2 x x(t) = 2(t 2) 2 x sin2 t, t [, ], x() = ( ) 3I /2 x. 3 Here, q = /2, α = 3, p = /2, η = /3 and f(t, x) = (2) x 2(t 2) 2 x sin 2 t. As α = 3 Γ(p)/η p = Γ(3/2)/(/3) /2 and f(t, x) f(t, y) 8 x y, therefore, (A ) is satisfied with L = 8. Since LA = L Γ(q ) αη pq } Γ(p ) Γ(p q ) Γ(p ) αη p = } 2 3π 8 π 3(2.79863 <, π) by the conclusion of Theorem 3., the boundary value problem (2) has a unique solution on [, ]. Example 3.8. Consider the following boundary value problem c D /2 x(t) = 6π sin(2πx) x 2( x ), t [, ], 2 x() = ( ) 3I /2 x. 3 Here, f(t, x) = 6π sin(2πx) x 2( x ) 2 x. 8 Clearly M = and κ = 8 <.7866. Thus, all the conditions of Corollary A 3.6 are satisfied and consequently the problem (3) has at least one solution. 4. Existence Results for multi-valued case Let us recall some basic definitions on multi-valued maps [22], [27]. For a normed space (X, ), let P cl (X) = Y P(X) : Y is closed}, P b (X) = Y P(X) : Y is bounded}, P cp (X) = Y P(X) : Y is compact}, and P cp,c (X) = Y P(X) : Y is compact and convex}. A multi-valued map G : X P(X) is convex (closed) valued if G(x) is convex (closed) for all x X. The map G is bounded on bounded sets if G(B) = x B G(x) is bounded in X for all B P b (X) (i.e. sup x B sup y : y G(x)}} < ). G is called upper semi-continuous (u.s.c.) (3)
JFCA-22/3 BVP FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS 9 on X if for each x X, the set G(x ) is a nonempty closed subset of X, and if for each open set N of X containing G(x ), there exists an open neighborhood N of x such that G(N ) N. G is said to be completely continuous if G(B) is relatively compact for every B P b (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 ). G has a fixed point if there is x X such that x G(x). The fixed point set of the multivalued operator G will be denoted by FixG. A multivalued map G : [; ] P cl (R) is said to be measurable if for every y R, the function t d(y, G(t)) = inf y z : z G(t)} is measurable. Let C([, ]) denote a Banach space of continuous functions from [, ] into R with the norm x = sup t [,] x(t). Let L ([, ], R) be the Banach space of measurable functions x : [, ] R which are Lebesgue integrable and normed by x L = x(t) dt. 4.. The lower semi-continuous case. As a first result in the subsection, we study the case when F is not necessarily convex valued. Our strategy to deal with this problems is based on the nonlinear alternative of Leray Schauder type together with the selection theorem of Bressan and Colombo [9] for lower semi-continuous maps with decomposable values. Definition 4.. Let X be a nonempty closed subset of a Banach space E and G : X P(E) be a multivalued operator with nonempty closed values. G is lower semi-continuous (l.s.c.) if the set y X : G(y) B } is open for any open set B in E. Definition 4.2. Let A be a subset of [, ] R. A is L B measurable if A belongs to the σ algebra generated by all sets of the form J D, where J is Lebesgue measurable in [, ] and D is Borel measurable in R. Definition 4.3. A subset A of L ([, ], R) is decomposable if for all x, y A and measurable J [, ] = J, the function xχ J yχ J J A, where χ J stands for the characteristic function of J. Definition 4.4. Let Y be a separable metric space and let N : Y P(L ([, ], R)) be a multivalued operator. We say N has a property (BC) if N is lower semicontinuous (l.s.c.) and has nonempty closed and decomposable values. Let F : [, ] R P(R) be a multivalued map with nonempty compact values. Define a multivalued operator F : C([, ] R) P(L ([, ], R)) associated with F as F(x) = w L ([, ], R) : w(t) F (t, x(t)) for a.e. t [, ]}, which is called the Nemytskii operator associated with F. Definition 4.5. Let F : [, ] R P(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 F is lower semi-continuous and has nonempty closed and decomposable values.
SOTIRIS K. NTOUYAS JFCA-22/3 Lemma 4.6. ([24]) Let Y be a separable metric space and let N : Y P(L ([, ], 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 ([, ], R) such that g(x) N(x) for every x Y. Definition 4.7. A function x C 2 ([, ], R) is a solution of the problem (4) if x() = αi p x(η), and there exists a function f L ([, ], R) such that f(t) F (t, x(t)) a.e. on [, ] and x(t) = f(s)ds αγ(p ) Γ(p ) αη p f(s)ds. (4) Theorem 4.8. Assume that (A 4 ) holds. In addition we suppose that the following conditions hold: (H ) there exists a continuous nondecreasing function ψ : [, ) (, ) and a function p L ([, ], R ) such that F (t, x) P := sup y : y F (t, x)} p(t)ψ( x ) for each (t, x) [, ] R; (H 2 ) F : [, ] R P(R) is a nonempty compact-valued multivalued map such that (a) (t, x) F (t, x) is L B measurable, (b) x F (t, x) is lower semicontinuous for each t [, ]; Then the boundary value problem (4) has at least one solution on [, ]. Proof. It follows from (H ) and (H 2 ) that F is of l.s.c. type. Then from Lemma 4.6, there exists a continuous function f : C([, ], R) L ([, ], R) such that f(x) F(x) for all x C([, ], R). Consider the problem c D q x(t) = f(x(t)), < q, t [, ], (5) x() = αi p x(η), < η <. Observe that if x C ([, ], R) is a solution of (5), then x is a solution to the problem (4). In order to transform the problem (5) into a fixed point problem, we define the operator Ω F as Ω F x(t) = f(x(s))ds αγ(p ) Γ(p ) αη p f(x(s))ds. Ω F is continuous. Let x n } be a sequence such that x n x in C([, ], R). Then = Ω F (x n )(t) Ω F (x)(t) [f(x n (s)) f(x(s))] ds αγ(p ) Γ(p ) αη p f(y n (s)) f(y(s)) ds α Γ(p ) Γ(p ) αη p [f(x n (s)) f(x(s))] f(x n (s)) f(x(s)).
JFCA-22/3 BVP FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS Hence Ω F (x n ) Ω F (x) f(x n )(s) f(x)(s) ds α Γ(p ) Γ(p ) αη p f(x n (s)) f(x(s)), which tends to, as n. Thus Ω F is continuous. The remaining part of the proof is similar to that of Theorem 3.5. So we omit it. This completes the proof. Example 4.9. Consider the following fractional boundary value problem c D /2 x(t) F (t, x(t)), < t <, x() = ( ) 3I /2 x. 3 Here, q = /2, p = /2, α = 3, η = /3, and F : [, ] R P(R) is a multivalued map given by [ ] x 3 x F (t, x) = x 3 3 x 3t3 5, x t. Clearly α = 3 Γ(p )/η p = Γ(3/2)/(/3) /2 and for f F, we have ( ) x 3 f max x 3 3 x t3, x t 3, x R. Thus, F (t, x) P := sup y : y F (t, x)} 3 = p(t)ψ( x ), x R, with p(t) =, ψ( x ) = 3. Further, using the condition (H 3 ) we find that M > 6.847672. Clearly, all the conditions of Theorem 4.8 are satisfied. So there exists at least one solution of the problem (6) on [, ]. 4.2. The Lipschitz case. Now we prove the existence of solutions for the problem (4) with a nonconvex valued right hand side by applying a fixed point theorem for multivalued maps due to Covitz and Nadler [2]. 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 d(a, b), b B where d(a, b) = inf a A d(a; b) and d(a, B) = inf b B d(a; b). Then (P b,cl (X), H d ) is a metric space and (P cl (X), H d ) is a generalized metric space (see [29]). Definition 4.. A multivalued operator N : X P cl (X) is called: (a) γ Lipschitz if and only if there exists γ > such that H d (N(x), N(y)) γd(x, y) for each x, y X; (b) a contraction if and only if it is γ Lipschitz with γ <. Lemma 4.. (Covitz-Nadler, [2]) Let (X, d) be a complete metric space. N : X P cl (X) is a contraction, then F ixn. (6) If
2 SOTIRIS K. NTOUYAS JFCA-22/3 Definition 4.2. A measurable multi-valued function F : [, ] P(X) is said to be integrably bounded if there exists a function h L ([, ], X) such that for all v F (t), v h(t) for a.e. t [, ]. Theorem 4.3. Assume that the following conditions hold: (H 3 ) F : [, ] R P cp (R) is such that F (, x) : [, ] P cp (R) is measurable for each x R. (H 4 ) H d (F (t, x), F (t, x)) m(t) x x for almost all t [, ] and x, x R with m L ([, ], R ) and d(, F (t, )) m(t) for almost all t [, ]. Then the boundary value problem (4) has at least one solution on [, ] if γ = I q m() α Γ(p ) Γ(p ) αη p Ipq m(η) <. Proof. Define the operator Ω F : C([, ], R) P(C([, ], R)) by h C([, ], R) : (t s) q f(s)ds Ω F (x) = h(t) = αγ(p ) η (η s) pq Γ(p ) αη p f(s)ds, for f S F,x. Observe that the set S F,x is nonempty for each x C([, ], R) by the assumption (H 3 ), so F has a measurable selection (see Theorem III.6 [2]). Now we show that the operator Ω F, satisfies the assumptions of Lemma 4.. To show that Ω F (x) P cl ((C[, ], R)) for each x C([, ], R), let u n } n Ω F (x) be such that u n u (n ) in C([, ], R). Then u C([, ], R) and there exists v n S F,xn such that, for each t [, ], u n (t) = αγ(p ) v n (s)ds Γ(p ) αη p v n (s)ds. As F has compact values, we pass onto a subsequence to obtain that v n converges to v in L ([, ], R). Thus, v S F,x and for each t [, ], u n (t) u(t) = αγ(p ) v(s)ds Γ(p ) αη p Hence, u Ω F (x). Next we show that there exists γ < such that H d (Ω F (x), Ω F ( x)) γ x x for each x, x C([, ], R). v(s)ds. Let x, x C([, ], R) and h Ω F (x). Then there exists v (t) F (t, x(t)) such that, for each t [, ], αγ(p ) η h (t) = v (s)ds Γ(p ) αη p v (s)ds. By (H 4 ), we have So, there exists w F (t, x(t)) such that H d (F (t, x), F (t, x)) m(t) x(t) x(t). v (t) w m(t) x(t) x(t), t [, ].
JFCA-22/3 BVP FOR FRACTIONAL DIFFERENTIAL EQUATIONS AND INCLUSIONS 3 Define U : [, ] P(R) by U(t) = w R : v (t) w m(t) x(t) x(t) }. Since the multivalued operator U(t) F (t, x(t)) is measurable (Proposition III.4 [2]), 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 [, ], we have v (t) v 2 (t) m(t) x(t) x(t). For each t [, ], let us define h 2 (t) = Thus, Hence, h (t) h 2 (t) h h 2 v 2 (s)ds αγ(p ) Γ(p ) αη p v (s) v 2 (s) ds α Γ(p ) Γ(p ) αη p v 2 (s)ds. v (s) v 2 (s) ds. ( s) q α Γ(p ) m(s)ds Γ(p ) αη p Ipq m(η) = I q α Γ(p ) m() Γ(p ) αη p Ipq m(η). Analogously, interchanging the roles of x and x, we obtain H d (Ω F (x), Ω F ( x)) γ x x } I q α Γ(p ) m() Γ(p ) αη p Ipq m(η) x x. Since Ω F is a contraction, it follows by Lemma 4. that Ω F has a fixed point x which is a solution of (4). This completes the proof. Acknowledgments. The author would like to express his thanks to the referee for his/her helpful comments and suggestions. References [] R. P. Agarwal, B. Andrade, C. Cuevas, Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations, Nonlinear Anal. Real World Appl. (2), 3532-3554. [2] B. Ahmad, Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations, Appl. Math. Lett. 23 (2), 39-394. [3] B. Ahmad, A. Alsaedi, B. Alghamdi, Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions, Nonlinear Anal. Real World Appl. 9 (28), 727-74. [4] B. Ahmad, T. Hayat, S. Asghar, Diffraction of a plane wave by an elastic knife-edge adjacent to a strip, Canad. Appl. Math. Quart. 9(2) 33-36. [5] B. Ahmad, J.J. Nieto, Existence of solutions for nonlocal boundary value problems of higher order nonlinear fractional differential equations, Abstr. Appl. Anal., 29 (29), Article ID 49472, 9 pages. [6] B. Ahmad, J.J. Nieto, Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions, Bound. Value Probl. 29, Art. ID 78576, pp. [7] B. Ahmad, J.J. Nieto, Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions, Comput. Math. Appl. 58 (29) 838-843.
4 SOTIRIS K. NTOUYAS JFCA-22/3 [8] B. Ahmad, S. K. Ntouyas, Existence results for nonlinear fractional differential equations with four-point nonlocal type integral boundary conditions, Afr. Diaspora J. Math., (2), 29-39. [9] B. Ahmad, S.K. Ntouyas, Some existence results for boundary value problems for fractional differential inclusions with non-separated boundary conditions, Electron. J. Qual. Theory Differ. Equ. 2, No. 7, -7. [] B. Ahmad, S. K. Ntouyas, A. Alsaedi, New existence results for nonlinear fractional differential equations with three-point integral boundary conditions, Adv. Differ. Equ., Volume 2, Article ID 7384, pages. [] B. Ahmad, S. Sivasundaram, On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order, Appl. Math. Comput. 27 (2), 48-487. [2] S. Asghar, B. Ahmad, M. Ayub, Diffraction from an absorbing half plane due to a finite cylindrical source, Acustica-Acta Acustica 82(996), 365-367. [3] Z.B. Bai, On positive solutions of a nonlocal fractional boundary value problem, Nonlinear Anal. 72 (2), 96-924. [4] K. Balachandran, J. J. Trujillo, The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces, Nonlinear Anal. 72 (2) 4587-4593. [5] D. Baleanu, K. Diethelm, E. Scalas, J. J.Trujillo, Fractional calculus models and numerical methods. Series on Complexity, Nonlinearity and Chaos, World Scientific, Boston, 22. [6] D. Baleanu, O. G. Mustafa, On the global existence of solutions to a class of fractional differential equations, Comp. Math. Appl. 59 (2), 835-84. [7] D. Baleanu, O. G. Mustafa, D. O Regan, A Nagumo-like uniqueness theorem for fractional differential equations, J. Phys. A, Math. Theor. 44, No. 39, Article ID 3923, 6 p. (2). [8] A. Boucherif, Second-order boundary value problems with integral boundary conditions, Nonlinear Anal. 7 (29), 364-37. [9] A. Bressan, G. Colombo, Extensions and selections of maps with decomposable values, Studia Math. 9 (988), 69-86. [2] C. Castaing, M. Valadier, Convex Analysis and Measurable Multifunctions, Lecture Notes in Mathematics 58, Springer-Verlag, Berlin-Heidelberg-New York, 977. [2] H. Covitz, S. B. Nadler Jr., Multivalued contraction mappings in generalized metric spaces, Israel J. Math. 8 (97), 5-. [22] K. Deimling, Multivalued Differential Equations, Walter De Gruyter, Berlin-New York, 992. [23] A.M.A. El-Sayed, E.M. Hamdallah, Kh.W. El-Kadeky, Monotonic positive solutions of nonlocal boundary value problems for a second-order functional differential equation, Abstr. Appl. Anal. 22, Article ID 489353, 2 p. (22). [24] M. Frigon, Théorèmes d existence de solutions d inclusions différentielles, Topological Methods in Differential Equations and Inclusions (edited by A. Granas and M. Frigon), NATO ASI Series C, Vol. 472, Kluwer Acad. Publ., Dordrecht, (995), 5-87. [25] A. Granas, J. Dugundji, Fixed Point Theory, Springer-Verlag, New York, 25. [26] A. Guezane-Lakoud, R. Khaldi, Solvability of a fractional boundary value problem with fractional integral condition, Nonlinear Anal. 75 (22), 2692-27. [27] Sh. Hu, N. Papageorgiou, Handbook of Multivalued Analysis, Theory I, Kluwer, Dordrecht, 997. [28] A. A. Kilbas, H.M. Srivastava, J.J. Trujillo, Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, 24. Elsevier Science B.V., Amsterdam, 26. [29] M. Kisielewicz, Differential Inclusions and Optimal Control, Kluwer, Dordrecht, The Netherlands, 99. [3] M. A. Krasnoselskii, Two remarks on the method of successive approximations, Uspekhi Mat. Nauk (955), 23-27. [3] I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, 999. [32] S. G. Samko, A.A. Kilbas, O.I. Marichev, Fractional Integrals and Derivatives, Theory and Applications, Gordon and Breach, Yverdon, 993. Sotiris K. Ntouyas Department of Mathematics, University of Ioannina, 45 Ioannina, Greece E-mail address: sntouyas@uoi.gr