Existence results for Riemann-Liouville fractional neutral evolution equations
© Liu and Lv; licensee Springer. 2014
Received: 30 October 2013
Accepted: 28 February 2014
Published: 12 March 2014
In this paper, by using the fractional power of operators and the theory of measure of noncompactness, we discuss a class of fractional neutral evolution equations with Riemann-Liouville fractional derivative. We establish sufficient conditions for the existence of mild solutions for fractional neutral evolution equations in the cases semigroup is compact or noncompact. We give an example to illustrate the applications of the abstract results.
A strong motivation for studying fractional differential equations comes from the fact that fractional order derivatives and integrals have extensive applications in viscoelasticity, analytical chemistry, electromagnetic, neuron modeling, and biological sciences, and the theory of fractional calculus has attracted great interest from the mathematical science research community. For more details of the theory and applications in this field, see the monographs of Samako et al. , Kilbas et al. , Miller and Ross , Podlubny  and the references therein.
Practical problems require definitions of fractional derivatives allowing the utilization of physically interpretable initial conditions. Initial conditions for Caputo fractional derivatives are expressed in terms of initial integer order derivatives. Heymans and Podlubny  demonstrated that it is possible to attribute physical meaning to initial conditions expressed in terms of Riemann-Liouville fractional derivatives or integrals on the field of the viscoelasticity, and such initial conditions are more appropriate than physically interpretable initial conditions.
Recently, fractional evolution equations with the Caputo fractional derivative with difference conditions were studied by many authors (see, e.g., [6–15]), but much less is known about the fractional evolution equations with Riemann-Liouville fractional derivative; see [16–18].
where is the Riemann-Liouville fractional derivative of order q, is the Riemann-Liouville integral of order , A is the infinitesimal generator of a -semigroup on a Banach space X. and are given functions satisfying some assumptions.
where is the Riemann-Liouville fractional derivative of order q with the lower limit zero, is the Riemann-Liouville integral of order . X is a Banach space, is the infinitesimal generator of an analytic semigroup on a Banach space X. h and f are given functions satisfying some assumptions.
Neutral differential equations arise in many areas of applied mathematics and for this reason these equations have received much attention in the last few decades. The literature related to fractional neutral differential equations is very extensive; see for instance [12–14, 19]. The results we obtained in this paper are a generalization and continuation of the recent results on this issue.
The rest of this paper is organized as follows. In Section 2, some notations and preparation results are given. In Section 3, by using the fractional power of operators and the technique of using a measure of noncompactness, we give existence results for problem (1) under both compactness and noncompactness conditions on the semigroup. We present an example to demonstrate our main results in Section 4. Finally, the manuscript ends with our conclusions.
In this section, we introduce the notations, definitions, and preliminary facts that will be used in the remainder of this paper.
In this paper, we assume that X is a Banach space. Let denote the Banach space of all X-value continuous functions from into X with the norm . For measurable functions , we define the norm , . () is the Banach space of all Lebesgue measurable functions from J into ℝ with . Let denote the Banach space of functions which are Bochner integrable normed by . Let , to define the mild solution of (1), we also consider the Banach space with the norm . It is easy to see is a Banach space.
provided the right side is point-wise defined on , where is the gamma function.
- (i)If , then
The Caputo derivative of a constant is equal to zero.
If f is an abstract function with values in X, then integrals which appear in Definitions 2.1 and 2.2 are taken in Bochner’s sense.
defines a norm on . We denote by the Banach space normed with .
- (i)for any , there exists a positive constant such that
for every , where is the closure of convex hull of Ω.
monotone if , implies ;
nonsingular if for every , ;
invariant with respect to the union with compact sets if for every relatively compact set and ;
semi-additive if for every ;
regular if the condition is equivalent to the relative compactness of Ω.
, where ;
for any .
Proposition 2.7 If is bounded and equicontinuous, then is also bounded and equicontinuous.
Proposition 2.8 
Proposition 2.9 
Proposition 2.10 
then there exists a nonempty, compact, and convex subset such that and .
According to Lemma 2.4 in , we can obtain the results immediately.
The map is said to be an α-contraction if there exists a positive constant such that for any bounded closed subset .
Lemma 2.12 (Darbo-Sadovskii’s fixed point theorem) 
If B is a bounded closed convex subset of a Banach space X, the continuous map is an α-contraction, then the map F has at least one fixed point in B.
Lemma 2.14 
- (i)For any fixed , is linear and bounded operators, i.e., for any ,
- (ii)() is strongly continuous, which means that, for and , we have
for every , is a compact operator if is also compact.
Lemma 2.15 
3 Existence of mild solutions
Before stating and proving the main results, we introduce the following assumptions.
(H1) is a compact operator for every .
(H2) For almost all , the function is continuous and for each , the function is strongly measurable.
Lemma 3.1 If the assumptions (H1)-(H3) are satisfied and , then is relatively compact set in .
For the sake of convenience, we divide the proof into several steps.
Step 1: For any , .
Hence, for any , .
Step 2: is equicontinuous.
and that exists, by the Lebesgue dominated convergence theorem, we see that tends to zero independently of as . Since (H1) and Lemma 2.14 imply the continuity of () in t in the uniform operator topology, it is easy to see that tends to zero independently of as . Thus, tends to zero independently of as , which means that Ω is equicontinuous.
Step 3: For any , is relatively compact in X.
Then from the compactness of (), we find that the set is relatively compact in X for and .
Therefore, there are relatively compact sets arbitrarily close to the set , . Hence the set , is also relatively compact in X.
As a consequence of Step 1-Step 3, with the Arzola-Ascoli theorem, we can conclude that is a relatively compact set. Keeping in mind the relationship of Ω and , one can easily prove that is a relatively compact set in . The proof is complete. □
3.1 The case that is compact
Theorem 3.2 Assume that hypotheses (H1)-(H4) hold and , then system (1) has at least one mild solution.
Proof Using (H1)-(H4), Lemma 2.14 and Lemma 2.15, one can easily prove that for any . Then F is well defined on . We will show that F satisfies all conditions of Lemma 2.12. The proof will be given in several steps.
Thus, F maps into .
Next, we will show that F is continuous in .
This means that F is continuous in .
According to Lemma 3.1, is relatively compact in , then .
Noting that , we find that the operator F is an α-contraction in . It follows from Lemma 2.12 that F has at least one fixed point in . Then problem (1) has at least one mild solution in . The proof is complete. □
3.2 The case that is not compact
If is noncompact, we will need the following assumptions.
(H1)′ () is continuous in the uniform operator topology for .
Theorem 3.3 If assumptions (H1)′, (H2)-(H5) are satisfied and , then problem (1) has at least one mild solution.
Noting that , thus the operator F is an α-contraction in Q. It follows from Lemma 2.12 that F has at least one fixed point in Q. Then problem (1) has at least one mild solution in Q. The proof is complete. □
4 An example
in particular, .
then system (5) can be written in the abstract form given by (1). Assume that (H2)-(H4) are satisfied and ; then by Theorem 3.2, system (5) has at least one mild solution.
In this manuscript, by using the fractional power of operators and the theory of a measure of noncompactness, the existence of fractional neutral evolution equations with a Riemann-Liouville fractional derivative were investigated. We give an example to illustrate the applications of the abstract results.
The authors would like to express their gratitude to the editor and referees for their careful reading of the manuscript and a number of excellent criticisms and suggestions. The work is financially supported by the NNSF of China Grant Nos. 11271087, 61263006 and Innovation Project of Guangxi University for Nationalities (gxun-chx2012101, gxun-chx2013082).
- Samko SG, Kilbas AA, Marichev OI: Fractional Integral and Derivatives, Theory and Applications. Gordon & Breach, Yverdon; 1993.Google Scholar
- Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
- Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.Google Scholar
- Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.Google Scholar
- Heymans N, Podlubny I: Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives. Rheol. Acta 2006, 45: 765–771. 10.1007/s00397-005-0043-5View ArticleGoogle Scholar
- Li F, Liang J, Xu HK: Existence of mild solutions for fractional integrodifferential equations of Sobolev type with nonlocal conditions. J. Math. Anal. Appl. 2012, 391: 510–525. 10.1016/j.jmaa.2012.02.057View ArticleGoogle Scholar
- Liu ZH, Sun JH, Szanto I: Monotone iterative technique for Riemann-Liouville fractional integro-differential equations with advanced arguments. Results Math. 2013, 63: 1277–1287. 10.1007/s00025-012-0268-4MathSciNetView ArticleGoogle Scholar
- Liu ZH, Li XW: Existence and uniqueness of solutions for the nonlinear impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2013, 18: 1362–1373. 10.1016/j.cnsns.2012.10.010MathSciNetView ArticleGoogle Scholar
- Liu ZH, Li XW: On the controllability of impulsive fractional evolution inclusions in Banach spaces. J. Optim. Theory Appl. 2013, 156: 167–182. 10.1007/s10957-012-0236-xMathSciNetView ArticleGoogle Scholar
- Liu ZH, Wang R: A note on fractional equations of Volterra type with nonlocal boundary condition. Abstr. Appl. Anal. 2013., 2013: Article ID 432941Google Scholar
- Wang JR, Zhou Y, Fec̆kan M: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 2013, 71: 685–700. 10.1007/s11071-012-0452-9MathSciNetView ArticleGoogle Scholar
- Zhou Y, Jiao F: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 2010, 59: 1063–1077. 10.1016/j.camwa.2009.06.026MathSciNetView ArticleGoogle Scholar
- Zhou Y, Jiao F, Li J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal. 2009, 71: 3249–3256. 10.1016/j.na.2009.01.202MathSciNetView ArticleGoogle Scholar
- Zhou Y, Jiao F, Li J: Existence and uniqueness for p -type fractional neutral differential equations. Nonlinear Anal. 2009, 71: 2724–2733. 10.1016/j.na.2009.01.105MathSciNetView ArticleGoogle Scholar
- Liu ZH, Li XW, Sun JH: Controllability of nonlinear fractional impulsive evolution systems. J. Integral Equ. Appl. 2013, 25: 395–405. 10.1216/JIE-2013-25-3-395MathSciNetView ArticleGoogle Scholar
- Zhou Y, Zhang L, Shen XH: Existence of mild solutions for fractional evolution equations. J. Integral Equ. Appl. 2013, 25: 455–600. 10.1216/JIE-2013-25-4-455MathSciNetView ArticleGoogle Scholar
- 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 981728Google Scholar
- Agarwal RP, de Andrade B, Cuevas C: On type of periodicity and ergodicity to a class of fractional order differential equations. Adv. Differ. Equ. 2010., 2010: Article ID 179750Google Scholar
- dos Santos JPC, Mallika Arjunan M, Cuevas C: Existence results for a fractional neutral integro-differential equations with state dependent delay. Comput. Math. Appl. 2011, 62: 1275–1283. 10.1016/j.camwa.2011.03.048MathSciNetView ArticleGoogle Scholar
- Goldstein JA: Semigroups of Linear Operators and Applications. Oxford University Press, New York; 1985.Google Scholar
- Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.View ArticleGoogle Scholar
- Akhmerov RR, Kamenskij MI, Potapov AS, Rodkina AE, Sadovskij BN: Measures of Noncompactness and Condensing Operators. Nauka, Novosibirsk; 1986. (in Russian). Engl. transl.: Birkhäuser, Basel (1992)Google Scholar
- Kamenskii M, Obukhovskii V, Zecca P: Condensing Multi-Valued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter, Berlin; 2001.View ArticleGoogle Scholar
- Banasš J, Goebel K: Measure of Noncompactness in Banach Space. Dekker, New York; 1980.Google Scholar
- Deimling K, Goebel K: Nonlinear Functional Analysis. Springer, Berlin; 1985.View ArticleGoogle Scholar
- Lakshmikantham V, Leela S: Nonlinear Differential Equations in Abstract Spaces. Pergamon, New York; 1969.Google Scholar
- Guo DJ, Lakshmikantham V, Liu XZ: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht; 1996.View ArticleGoogle Scholar
- Bothe D: Multivalued perturbation of m -accretive differential inclusions. Isr. J. Math. 1998, 108: 109–138. 10.1007/BF02783044MathSciNetView ArticleGoogle Scholar
- Mönch H: Boundary value problems for nonlinear ordinary differential equations of second order in Banach space. Nonlinear Anal. TMA 1980, 4: 985–999. 10.1016/0362-546X(80)90010-3View ArticleGoogle Scholar
- Liu L, Guo F, Wu C, Wu Y: Existence theorems of global solutions for nonlinear Volterra type integral equations in Banach spaces. J. Math. Anal. Appl. 2005, 309: 638–649. 10.1016/j.jmaa.2004.10.069MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.