Mild solutions for abstract fractional differential equations with almost sectorial operators and infinite delay
© Li; licensee Springer. 2013
Received: 2 July 2013
Accepted: 8 October 2013
Published: 19 November 2013
Of concern is the existence of mild solutions to delay fractional differential equations with almost sectorial operators. Combining the techniques of operator semigroup, noncompact measures and fixed point theory, we obtain a new existence theorem without the assumptions that the nonlinearity f satisfies a Lipschitz-type condition, and the resolvent operator associated with A is compact. An example is presented.
MSC:34A08, 34K30, 47D06, 47H10.
Keywordsfractional differential equations mild solution infinite delay measure of noncompactness fixed point theorem
Fractional differential equations have been increasingly used for many mathematical models in probability, engineering, physics, astrophysics, economics, etc., so the theory of fractional differential equations has in recent years been an object of investigations with increasing interest [1–15].
Most of the previous research on the fractional differential equations was done provided that the operator in the linear part is the infinitesimal generator of a strongly continuous operator semigroup, a compact semigroup, or an analytic semigroup, or is a Hille-Yosida operator (see, e.g., [2, 3, 7, 11, 12]). However, as presented in Example 1.1 and Example 1.2 in , the resolvent operators do not satisfy the required estimate to be a sectorial operator. In , W. von Wahl first introduced examples of almost sectorial operators which are not sectorial. To the author’s knowledge, there are few papers about the fractional evolution equations with almost sectorial operators.
Moreover, equations with delay are often more useful to describe concrete systems than those without delay. So, the study of these equations has attracted so much attention (cf., e.g., [7, 11, 17–21] and references therein).
where , . The fractional derivative is understood here in the Caputo sense. is a phase space that will be defined later (see Definition 2.1). A is an almost sectorial operator to be introduced later. Here, , and is defined by for .
- (2)for every , there exists a constant such that
A linear operator A will be called an almost sectorial operator on X if .
Remark 1.2 Let , then the definition implies that .
- (i)There exists a constant such that
If , then ;
The functional equation for all holds. However, it is not satisfied for or .
We refer the readers to  and references therein for more details on .
In this paper, we construct a pair of families of operators and ((2.3)-(2.4)) associated with and use the fixed point theorem (Theorem 2.11) to study the existence of a mild solution of Equation (1.1). We obtain the existence theorem based on the theory on measures of noncompactness without the assumptions that the nonlinearity f satisfies a Lipschitz-type condition, and the resolvent operator associated with A is compact. An example is given to show the application of the abstract result.
Throughout this paper, we set and denote by X a separable complex Banach space with the norm , by the Banach space of all linear and bounded operators on X, and by the Banach space of all X-valued continuous functions on J with the supremum norm. We abbreviate with for any .
- (1)If is continuous on J and , then and is continuous in , and(2.1)
for a positive constant M.
- (2)There exist a continuous function and a locally bounded function in such that(2.2)
for and u as in (1).
The space is complete.
Remark 2.2 Equation (2.1) in (1) is equivalent to .
Based on the work in , we give the following definition.
Theorem 2.4 ()
where and .
Theorem 2.5 (, Theorem 3.2)
For , and are continuous in the uniform operator topology. Moreover, for every , the continuity is uniform on .
Remark 2.6 (, Theorem 3.4)
is called a mild solution of Equation (1.1).
Remark 2.8 In general, since the operator is singular at , solutions to problem (1.1) are assumed to have the same kind of singularity at as the operator . When with , it follows from Remark 2.6 that the mild solution is continuous at .
This measure of noncompactness satisfies some basic properties as follows.
Lemma 2.9 ()
if and only if U is precompact;
, where and convU mean the closure and convex hull of U, respectively;
, where ;
for any .
Definition 2.10 A continuous map is said to be a χ-contraction if there exists a positive constant such that for any bounded closed subset .
Theorem 2.11 () (Darbo-Sadovskii)
If is bounded closed and convex, the continuous map is a χ-contraction, then the map ℱ has at least one fixed point in U.
In Section 3, we use the above fixed point theorem to obtain main result. To this end, we present the following assertion about χ-estimates for a multivalued integral (Theorem 4.2.3 of ).
integrable if it admits a Bochner integrable selection , for a.e. ;
- (ii)integrably bounded if there exists a function such that
where . Then for all .
3 Main result
Throughout this section, let with , . We will use fixed point techniques to establish a result on the existence of mild solutions for Equation (1.1). For this purpose, we consider the following hypotheses.
for almost all ;
Theorem 3.1 Suppose that hypotheses (H1) and (H2) hold. Then, for every with , there exists a mild solution of (1.1) on .
From Theorems 2.4-2.5 and (H1), we infer that .
thus, is a Banach space.
Clearly, the operator has a fixed point is equivalent to ℱ has one. So, it turns out to prove that has a fixed point.
where , , .
Let be a sequence such that as . Obviously, the Lebesgue dominated convergence theorem enables us to prove that is continuous.
It results that by (3.1). Hence, for some positive number ρ, .
We will show that each term on the right-hand side of (3.4) uniformly converges to zero.
This together with Theorem 2.5 shows that the right-hand side tends to zero as and .
Therefore, the set is equicontinuous.
Hence is a -contraction on by Definition 2.10. According to Theorem 2.11, the operator has at least one fixed point y in . Let , , then is a fixed point of the operator ℱ which is a mild solution of Equation (1.1). This ends the proof. □
() and is nondecreasing, , , are continuous functions, and .
In Example 6.3 of , the authors demonstrate that for some and . We denote the semigroup associated with by and ( is a constant).
then we can see that in (2.2).
Thus, problem (4.1) has at least a mild solution by Theorem 3.1 for every ().
The author is grateful to the referees for their valuable suggestions. This work was partly supported by the NSF of China (11201413), the Educational Commission of Yunnan Province (2012Z010).
- Agarwal RP, Lakshmikantham V, Nieto JJ: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal. 2010, 72: 2859-2862. 10.1016/j.na.2009.11.029MATHMathSciNetView ArticleGoogle Scholar
- El-Borai MM: Semigroups and some nonlinear fractional differential equations. Appl. Math. Comput. 2004, 149: 823-831. 10.1016/S0096-3003(03)00188-7MATHMathSciNetView ArticleGoogle Scholar
- El-Borai MM: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 2002, 14: 433-440. 10.1016/S0960-0779(01)00208-9MATHMathSciNetView ArticleGoogle Scholar
- Hernández E, O’Regan D, Balachandran K: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal., Theory Methods Appl. 2010, 73: 3462-3471. 10.1016/j.na.2010.07.035MATHView 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.057MATHView ArticleGoogle Scholar
- Li F, Xiao TJ, Xu HK: On nonlinear neutral fractional integrodifferential inclusions with infinite delay. J. Appl. Math. 2012., 2012(19): Article ID 916543Google Scholar
- Li F: Solvability of nonautonomous fractional integrodifferential equations with infinite delay. Adv. Differ. Equ. 2011., 2011(18): Article ID 806729Google Scholar
- Liang J, Yan SH, Li F, Huang TW: On the existence of mild solutions to the Cauchy problem for a class of fractional evolution equations. Adv. Differ. Equ. 2012, 2012(40):1-16.MathSciNetGoogle Scholar
- Lv ZW, Liang J, Xiao TJ: Solutions to fractional differential equations with nonlocal initial condition in Banach spaces. Adv. Differ. Equ. 2010., 2010(10): Article ID 340349Google Scholar
- Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.MATHGoogle Scholar
- Mophou GM, N’Guérékata GM: Existence of mild solutions for some semilinear neutral fractional functional evolution equations with infinite delay. Appl. Math. Comput. 2010, 216: 61-69. 10.1016/j.amc.2009.12.062MATHMathSciNetView ArticleGoogle Scholar
- N’Guérékata GM: A Cauchy problem for some fractional abstract differential equation with non local conditions. Nonlinear Anal. 2009, 70(5):1873-1876. 10.1016/j.na.2008.02.087MATHMathSciNetView ArticleGoogle Scholar
- Nieto JJ: Maximum principles for fractional differential equations derived from Mittag-Leffler functions. Appl. Math. Lett. 2010, 23: 1248-1251. 10.1016/j.aml.2010.06.007MATHMathSciNetView ArticleGoogle Scholar
- Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.MATHGoogle Scholar
- Wang RN, Chen DH, Xiao TJ: Abstract fractional Cauchy problems with almost sectorial operators. J. Differ. Equ. 2012, 252: 202-235. 10.1016/j.jde.2011.08.048MATHMathSciNetView ArticleGoogle Scholar
- von Wahl W: Gebrochene potenzen eines elliptischen operators und parabolische diffrentialgleichungen in Räuumen hölderstetiger Funktionen. Nachr. Akad. Wiss. Gött., 2 1972, 11: 231-258.Google Scholar
- Xiao TJ, Liang J Lect. Notes in Math 1701. In The Cauchy Problem for Higher-Order Abstract Differential Equations. Springer, Berlin; 1998.View ArticleGoogle Scholar
- Xiao TJ, Liang J: Blow-up and global existence of solutions to integral equations with infinite delay in Banach spaces. Nonlinear Anal., Theory Methods Appl. 2009, 71: e1442-e1447. 10.1016/j.na.2009.01.204MATHMathSciNetView ArticleGoogle Scholar
- Liang J, Xiao TJ: The Cauchy problem for nonlinear abstract functional differential equations with infinite delay. Comput. Math. Appl. 2000, 40: 693-703. 10.1016/S0898-1221(00)00188-7MATHMathSciNetView ArticleGoogle Scholar
- Liang J, Xiao TJ, Casteren JV: A note on semilinear abstract functional differential and integrodifferential equations with infinite delay. Appl. Math. Lett. 2004, 17(4):473-477. 10.1016/S0893-9659(04)90092-4MATHMathSciNetView ArticleGoogle Scholar
- Liang J, Xiao TJ: Solvability of the Cauchy problem for infinite delay equations. Nonlinear Anal. 2004, 58: 271-297. 10.1016/j.na.2004.05.005MATHMathSciNetView ArticleGoogle Scholar
- Markus H Oper. Theory Adv. Appl. 69. In The Functional Calculus for Sectorial Operators. Birkhäuser, Basel; 2006.Google Scholar
- Periago F, Straub B: A functional calculus for almost sectorial operators and applications to abstract evolution equations. J. Evol. Equ. 2002, 2: 41-68. 10.1007/s00028-002-8079-9MATHMathSciNetView ArticleGoogle Scholar
- Hale J, Kato J: Phase space for retarded equations with infinite delay. Funkc. Ekvacioj 1978, 21: 11-41.MATHMathSciNetGoogle Scholar
- Banas J, Goebel K Lecture Notes in Pure and Applied Mathematics 60. In Measure of Noncompactness in Banach Space. Dekker, New York; 1980.Google Scholar
- Kamenskii M, Obukhovskii V, Zecca P de Gruyter Ser Nonlinear Anal Appl 7. In Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter, Berlin; 2001.View 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 cited.