WEAK SOLUTIONS FOR NONLINEAR FRACTIONAL DIFFERENTIAL EQUATIONS ON REFLEXIVE BANACH SPACES

The aim of this paper is to investigate a class of boundary value problem for fractional differential equations involving nonlinear integral conditions. The main tool used in our considerations is the technique associated with measures of weak noncompactness.


Introduction
The theory of fractional differential equations has been emerging as an important area of investigation in recent years.In this paper, we investigate the existence of solutions for the boundary value problem with fractional order differential equations and nonlinear integral conditions of the form c D α x(t) = f (t, x(t)), for each t ∈ I = [0, T ], x(0) − x ′ (0) = T 0 g(s, x(s))ds, x(T ) + x ′ (T ) = T 0 h(s, x(s))ds, where c D α , 1 < α ≤ 2, is the Caputo fractional derivative, f , g and h : I × E → E are given functions satisfying some assumptions that will be specified later, and E is a reflexive Banach space with norm • .Boundary value problems with integral boundary conditions constitute a very interesting and important class of problems.They include two, three, multi-point, and nonlocal boundary value problems as special cases.Integral boundary conditions are often encountered in various applications, it is worthwhile mentioning the applications of those conditions in the study of population dynamics [10], and cellular systems [1].
In our investigation we apply the method associated with the technique of measures of weak noncompactness and a fixed point theorem of Mönch type.This technique was mainly initiated in the monograph of Banas and Goebel [4] and subsequently developed and used in many papers; see, for example, Banas et al. [5], Guo et al. [13], Krzyska and Kubiaczyk [16], Lakshmikantham and Leela [17], Mönch [18], O'Regan [19,20], Szufla [25], Szufla and Szukala [26], and the references therein.In [6,9], Benchohra et al. considered some classes of boundary value problems for fractional order differential equations in a Banach space by means of the strong measure of noncompactness.
Our goal is to prove the existence of solutions to the problem (1)-( 3) under a weakly sequentially continuity assumption imposed on f , g and h.Recall that a weakly continuous operator is weakly sequentially continuous but the converse is not true in general [3].We note that no compactness condition will be assumed on the nonlinearity of f .This is due to the fact that a subset of a reflexive Banach space is weakly compact if and only if it is weakly closed and norm bounded.As far as we know, there are very few papers (see [23]) related to the application of the measure of weak noncompactness to fractional differential equations on Banach spaces.This paper complements the corresponding literature.

Preliminaries
This section is devoted to recalling some notations and results that will be used throughout this paper.
We set I = [0, T ] and let L 1 (I) denote the Banach space of real-valued Lebesgue integrable functions on the interval I and L ∞ (I, E) denote the Banach space of realvalued essentially bounded and measurable functions defined over I with the norm Let E be a real reflexive Banach space with norm • and dual E * , and let (E, w) = (E, σ(E, E * )) denote the space E with its weak topology.Here, C(I, E) is the Banach space of continuous functions x : I → E with the usual supremum norm Definition 2.1.A function h : E → E is said to be weakly sequentially continuous if h takes each weakly convergent sequence in E to a weakly convergent sequence in E (i.e., for any

Definition 2.2. ([22])
The function x : I → E is said to be Pettis integrable on I if and only if there is an element x J ∈ E corresponding to each J ⊂ I such that ϕ(x) = J ϕ(x(s))ds for all ϕ ∈ E * where the integral on the right is assumed to exist in the sense of Lebesgue.By definition, x J = J x(s)ds.
Let P (I, E) be the space of all E-valued Pettis integrable functions in the interval I.  11]) Let E be a Banach space, Ω E be the set of all bounded subsets of E, and B 1 be the unit ball in E. The De Blasi measure of weak noncompactness is the map β : Ω E → [0, ∞] defined by β(X) = inf{ǫ > 0 : there exists a weakly compact subset Ω of E such that X ⊂ ǫB 1 + Ω}.
Properties: The the Blasi measure of noncompactness satisfies the following properties: (a) , where A ω denotes the weak closure of A; The following result follows directly from the Hahn-Banach theorem.
For completeness, we recall the definitions of the Pettis-integral and the Caputo derivative of fractional order.Definition 2.6.( [24]) Let h : I → E a function.The fractional Pettis integral of the function h of order α ∈ IR + is defined by where the sign " " denotes the Pettis integral and Γ is the Gamma function.
Definition 2.7.( [15]) For a function h : I → E, the Caputo fractional-order derivative of h is defined by Theorem 2.8.( [19]) Let Q be a closed convex and equicontinuous subset of a metrizable locally convex vector space C(I, E) such that 0 ∈ Q. Assume that T : Q → Q is weakly sequentially continuous.If the implication Let σ, σ 1 , σ 2 : I → E be continuous functions and consider the linear boundary value problem x is a solution of the fractional integral equation with and if and only if x is a solution of the fractional boundary value problem ( 5)- (7).
To establish our main result concerning existence of solutions of ( 1)-( 3), we impose suitable conditions on the functions involved in that problem, namely, we assume that the following conditions hold.
Proof.We shall reduce the existence of solutions of the boundary value problem ( 1)-( 3) to a fixed point problem.To this end, we consider the operator T : with and where G(•, •) is the Green's function defined by (10).Clearly, the fixed points of the operator T are solutions of the problem (1)-( 3).First notice that, for x ∈ C(I, E), we have f (•, x(•)) ∈ P (I, E) by (H2).Since, s → G(t, s) ∈ L ∞ (I), G(t, •)f (•, x(•)), is Pettis integrable for all t ∈ I by Proposition 2.3, and so the operator T is well defined.
Let R ∈ IR * + , and consider the set Clearly, the subset Q is closed, convex and equicontinuous.We shall show that T satisfies the assumptions of Theorem 2.8.
Let (x n ) be a sequence in Q and let (x n (t)) → x(t) in (E, w) for each t ∈ I. Fix t ∈ I. Since f , g, and h satisfy assumption (H1), we have f (t, x n (t)), g(t, x n (t)), and h(t, x n (t)) converge weakly uniformly to f (t, x(t)), g(t, x(t)), and h(t, x(t)), respectively.Hence, the Lebesgue Dominated Convergence Theorem for Pettis integrals implies T x n (t) converges weakly uniformly to T x(t) in E w .Repeating this for each t ∈ I shows T x n → T x.Thus, T : Q → Q is weakly sequentially continuous.Now let V be a subset of Q such that V = conv(T (V ) ∪ {0}).Clearly, V (t) ⊂ conv(T (V ) ∪ {0}) for all t ∈ I. Hence, T V (t) ⊂ T Q(t), t ∈ I, is bounded in E. Thus, EJQTDE, 2010 No. 54, p. 6 T V (t) is weakly relatively compact since a subset of a reflexive Banach space is weakly relatively compact if and only if it is bounded in the norm topology.Therefore, Thus, V is relatively weakly compact.Applying now Theorem 2.8, we conclude that T has a fixed point which is an solution of the problem (1)-(3).

An Example
In this section we give an example to illustrate the usefulness of our main results.Let us consider the following fractional boundary value problem, Set Clearly, conditions (H1)-(H2) hold with p f (t) = 2 19 + e t , p g (t) = 1 5 + e 5t , and p h (t) = 1 3 + e 3t .¿From (10) the function G is given by .

Concluding remarks
In this paper, we presented an existence result for weak solutions of the boundary value problem (1)-(3) in the case where the Banach space E is reflexive.However, in the nonreflexive case, conditions (H1)-(H3) are not sufficient for the application of Theorem 2.8; the difficulty is with condition (4).Let us introduce the following conditions.
(C1) For each bounded set Q ⊂ E and each t ∈ I, the sets f (t, Q), g(t, Q), and h(t, Q) are weakly relatively compact in E. (C2) For each bounded set Q ⊂ E and each t ∈ I,

3 .
holds for every subset V ⊂ Q, then T has a fixed point.EJQTDE, 2010 No. 54, p. 3 Existence of solutions Let us start by defining what we mean by a solution of the problem (1)-(3).Definition 3.1.A function x ∈ AC 1 (I, E w ) is said to be solution of (1)-(3) if x satisfies (1)-(3).
for a.e.t ∈ I and each x ∈ E, g(t, x) ≤ p g (t) x , for a.e.t ∈ I and each x ∈ E, Theorem 3.3.Let E be a reflexive Banach space and assume that (H1)-(H3) hold.If h(t, x) ≤ p h (t) x , for a.e.t ∈ I and each x ∈ E. EJQTDE, 2010 No. 54, p. 4