- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 869837, 17 pages
Existence Results for Langevin Fractional Differential Inclusions Involving Two Fractional Orders with Four-Point Multiterm Fractional Integral Boundary Conditions
1Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
2Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece
Received 2 January 2013; Accepted 22 March 2013
Academic Editor: Juan J. Nieto
Copyright © 2013 Ahmed Alsaedi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We discuss the existence of solutions for Langevin fractional differential inclusions involving two fractional orders with four-point multiterm fractional integral boundary conditions. Our study relies on standard fixed point theorems for multivalued maps and covers the cases when the right-hand side of the inclusion has convex as well as nonconvex values. Illustrative examples are also presented.
We consider a boundary value problem of nonlinear Langevin fractional differential inclusions involving two fractional orders with four-point multiterm fractional integral boundary conditions given by where , denotes the Caputo fractional derivative of order , is a real number, is the Riemann-Liouville fractional integral of order , and are suitably chosen constants.
In recent years, the boundary value problems of fractional order differential equations have emerged as an important area of research, since these problems have 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, aerodynamics, viscoelasticity and damping, electrodynamics of complex medium, wave propagation, and blood flow phenomena [1–5]. Many researchers have studied the existence theory for nonlinear fractional differential equations with a variety of boundary conditions; for instance, see the papers [6–17] and the references therein.
The Langevin equation (first formulated by Langevin in 1908) is found to be an effective tool to describe the evolution of physical phenomena in fluctuating environments . For some new developments on the fractional Langevin equation, see, for example, [19–26].
The main objective of this paper is to develop the existence theory for a class of problems of the type (1), when the right-hand side is convex as well as nonconvex valued. We establish three existence results: the first result is obtained by means of the nonlinear alternative of Leray-Schauder type; the second one relies on the nonlinear alternative of Leray-Schauder type for single-valued maps together with a selection theorem due to Bressan and Colombo for lower semicontinuous multivalued maps with nonempty closed and decomposable values; and a fixed point theorem due to Covitz and Nadler for contraction multivalued maps is applied to get the third result. The methods used are well known; however their exposition in the framework of problem (1) is new.
2.1. Fractional Calculus
Definition 1. For at least -times differentiable function , the Caputo derivative of fractional order is defined as where denotes the integer part of the real number .
Definition 2. The Riemann-Liouville fractional integral of order is defined as provided the integral exists.
Lemma 3. For , the general solution of the fractional differential equation is given by where ().
In view of Lemma 3, it follows that for some ().
In the following, will denote the space of functions that are absolutely continuous and whose first derivative is absolutely continuous.
Definition 4. A function is called a solution of problem (1) if there exists a function with , a.e. such that , a.e. , and .
Lemma 5. Let . Then the boundary value problem has a unique solutionwhere
Proof. As argued in , the solution of can be written as
Using the given conditions in (9) together with (8), we find that
whereSolving (10) for and , we find that
Substituting these values in (9), we find the desired solution.
In order to simplify the computations in the main results, we present a technical lemma, concerning the bounds of the operators and defined in the proof of the above lemma.
Lemma 6. One has
Proof. By using the following property of beta function we haveBy a similar way, we have which completes the proof.
In the following, for convenience, we put
2.2. Background Material for Multivalued Analysis
Let denote a Banach space of continuous functions from into with the norm . Let be the Banach space of measurable functions which are Lebesgue integrable and normed by .
For a normed space , let A multivalued map (i) is convex (closed) valued if is convex (closed) for all ;(ii) is bounded on bounded sets if is bounded in for all (i.e., ;(iii) is called upper semicontinuous (u.s.c.) on if, for each , the set is a nonempty closed subset of and if, for each open set of containing , there exists an open neighborhood of such that ;(iv) is lower semicontinuous (l.s.c.) if the set is open for any open set in ;(v) is said to be completely continuous if is relatively compact for every ;(vi) is said to be measurable if, for every , the function is measurable;(vii)has a fixed point if there is such that . The fixed point set of the multivalued operator will be denoted by .
Definition 7. A multivalued map is said to be Carathéodory if(i) is measurable for each ; (ii) is upper semicontinuous for almost all ;
Further a Carathéodory function is called -Carathéodory if (iii) for each , there exists such that for all and for a. e. .
For each , define the set of selections of by
We define the graph of to be the set and recall two useful results regarding closed graphs and upper semicontinuity.
Lemma 8 (see [27, Proposition 1.2]). If is u.s.c., then is a closed subset of ; that is, for every sequence and , if, when , , , and , then . Conversely, if is completely continuous and has a closed graph, then it is upper semicontinuous.
Lemma 9 (see ). Let be a Banach space. Let be an -Carathéodory multivalued map, and let be a linear continuous mapping from to . Then the operator is a closed graph operator in .
We recall the well-known nonlinear alternative of Leray-Schauder for multivalued maps.
Lemma 10 (nonlinear alternative for Kakutani maps ). Let be a Banach space, a closed convex subset of an open subset of , and . Suppose that is an upper semicontinuous compact map; here denotes the family of nonempty, compact convex subsets of . Then either(i) has a fixed point in , or(ii)there is a and with .
Definition 11. Let be a subset of . is measurable if belongs to the -algebra generated by all sets of the form , where is Lebesgue measurable in and is Borel measurable in .
Definition 12. A subset of is decomposable if, for all , and measurable , the function , where stands for the characteristic function of .
Lemma 13 (see ). Let be a separable metric space, and let be a lower semicontinuous (l.s.c.) multivalued operator with nonempty closed and decomposable values. Then has a continuous selection; that is, there exists a continuous function (single-valued) such that for every .
Let be a metric space induced from the normed space . Consider given by where and . Then is a metric space (see ).
Definition 14. A multivalued operator is called(a)-Lipschitz if and only if there exists such that (b) a contraction if and only if it is -Lipschitz with .
Lemma 15 (see ). Let be a complete metric space. If is a contraction, then .
3. Main Results
3.1. The Carathéodory Case
In this section, we are concerned with the existence of solutions for the problem (1) when the right-hand side has convex as well as nonconvex values. Initially, we assume that is a compact and convex valued multivalued map.
Theorem 16. Suppose that the map is Carathéodory and has nonempty compact and convex values; there exist a continuous nondecreasing function and function such that
for each ; there exists a number such that
with , where are defined in (17).
Then BVP (1) has at least one solution.
Proof. Let us introduce the operator asfor . We will show that the operator satisfies the assumptions of the nonlinear alternative of Leray-Schauder type. The proof consists of several steps. As a first step, we show that is convex for each . For that, let . Then there exist such that, for each , we havefor . Let . Then, for each and putting , we have
Since is convex ( has convex values), therefore it follows that .
Next, we show that maps bounded sets into bounded sets in . For a positive number , let be a bounded set in . Then, for each , there exists such that Then
Now we show that maps bounded sets into equicontinuous sets of . Let with and , where , as above, is a bounded set of . For each , we obtain
Obviously the right-hand side of the above inequality tends to zero independently of as . As satisfies the above three assumptions, therefore it follows by Ascoli-Arzelá theorem that is completely continuous.
In our next step, we show that has a closed graph. Let , and . Then we need to show that . Associated with , there exists such that, for each ,Thus we have to show that there exists such that, for each ,
Let us consider the continuous linear operator so that Observe thatwhich tends to zero as .
Thus, it follows from Lemma 9 that is a closed graph operator. Further, we have . Since , it follows thatfor some .
Finally, we discuss a priori bounds on solutions. Let be a solution of (1). Then there exists with such that, for , we haveUsing the computations proving that maps bounded sets into bounded sets and the notations (17), we have
Consequently In view of , there exists such that . Let us set Note that the operator is upper semicontinuous and completely continuous. From the choice of , there is no such that for some . Consequently, by the nonlinear alternative of Leray-Schauder type , we deduce that has a fixed point which is a solution of the problem (1). This completes the proof.
3.2. The Lower Semicontinuous Case
Next, we study the case where is not necessarily convex valued. Our approach here is based on the nonlinear alternative of Leray-Schauder type combined with the selection theorem of Bressan and Colombo for lower semicontinuous maps with decomposable values.
Theorem 17. Assume that and the following conditions hold: is a nonempty compact-valued multivalued map such that(a) is measurable,(b) is lower semicontinuous for each ; for each , there exists such that Then the boundary value problem (1) has at least one solution on .
Proof. It follows from and that is of l.s.c. type . Then from Lemma 13, there exists a continuous function such that for all .
Consider the problem
Observe that, if is a solution of (43), then is a solution to the problem (1). In order to transform the problem (43) into a fixed point problem, we define the operator as