Existence of Asymptotically Almost Automorphic Mild Solutions of Semilinear Fractional Differential Equations

International Journal of Differential Equations, Aug 2018

This paper is concerned with the existence of asymptotically almost automorphic mild solutions to a class of abstract semilinear fractional differential equations where , is a linear densely defined operator of sectorial type on a complex Banach space and is a bounded linear operator defined on , is an appropriate function defined on phase space, and the fractional derivative is understood in the Riemann-Liouville sense. Combining the fixed point theorem due to Krasnoselskii and a decomposition technique, we prove the existence of asymptotically almost automorphic mild solutions to such problems. Our results generalize and improve some previous results since the (locally) Lipschitz continuity on the nonlinearity is not required. The results obtained are utilized to study the existence of asymptotically almost automorphic mild solutions to a fractional relaxation-oscillation equation.

A PDF file should load here. If you do not see its contents the file may be temporarily unavailable at the journal website or you do not have a PDF plug-in installed and enabled in your browser.

Alternatively, you can download the file locally and open with any standalone PDF reader:

http://downloads.hindawi.com/journals/ijde/2018/8243180.pdf

Existence of Asymptotically Almost Automorphic Mild Solutions of Semilinear Fractional Differential Equations

Existence of Asymptotically Almost Automorphic Mild Solutions of Semilinear Fractional Differential Equations Junfei Cao,1 Zaitang Huang,2 and Gaston M. N’Guérékata3 1Department of Mathematics, Guangdong University of Education, Guangzhou 510303, China 2School of Mathematical Sciences, Guangxi Teachers Education University, Nanning 530023, China 3Department of Mathematics, Morgan State University, Baltimore, MD 21251, USA Correspondence should be addressed to Gaston M. N’Guérékata; moc.loa@atakereugn Received 21 December 2017; Revised 18 April 2018; Accepted 10 May 2018; Published 1 August 2018 Academic Editor: Patricia J. Y. Wong Copyright © 2018 Junfei Cao 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. Abstract This paper is concerned with the existence of asymptotically almost automorphic mild solutions to a class of abstract semilinear fractional differential equations where , is a linear densely defined operator of sectorial type on a complex Banach space and is a bounded linear operator defined on , is an appropriate function defined on phase space, and the fractional derivative is understood in the Riemann-Liouville sense. Combining the fixed point theorem due to Krasnoselskii and a decomposition technique, we prove the existence of asymptotically almost automorphic mild solutions to such problems. Our results generalize and improve some previous results since the (locally) Lipschitz continuity on the nonlinearity is not required. The results obtained are utilized to study the existence of asymptotically almost automorphic mild solutions to a fractional relaxation-oscillation equation. 1. Introduction The almost periodic function introduced seminally by Bohr in 1925 plays an important role in describing the phenomena that are similar to the periodic oscillations which can be observed frequently in many fields, such as celestial mechanics, nonlinear vibration, electromagnetic theory, plasma physics, engineering, and ecosphere. The concept of almost automorphy, which is an important generalization of the classical almost periodicity, was first introduced in the literature [1–4] by Bochner in relation to some aspects of differential geometry. Since then, this pioneer work has attracted more and more attention and has been substantially extended in several different directions. Many authors have made important contributions to this theory (see, for instance, [5–17] and the references therein). Especially, in [5, 6], the authors gave an important overview about the theory of almost automorphic functions and their applications to differential equations. As a natural extension of almost automorphy, the concept of asymptotic almost automorphy, which is the central issue to be discussed in this paper, was introduced in the literature [18] by N’Guérékata in the early eighties. Since then, this notion has found several developments and has been generalized into different directions. Until now, the asymptotically almost automorphic functions as well as the asymptotically almost automorphic solutions for differential systems have been investigated by many mathematicians; see [19] by Bugajewski and N’Guérékata, [20] by Diagana, Hernández, and dos Santos, and [21] by Ding, Xiao, and Liang for the asymptotically almost automorphic solutions to integrodifferential equations, see [22] by Zhao, Chang, and N’Guérékata for the asymptotically almost automorphic solutions to the nonlinear delay integral equations, and see [23] by Chang and Tang and [24] by Zhao, Chang, and Nieto for the asymptotically almost automorphic solutions to stochastic differential equations, and the existence of asymptotically almost automorphic solutions has become one of the most attractive topics in the qualitative theory of differential equations due to its significance and applications in physics, mathematical biology, control theory, and so on. We refer the reader to the monographs of N’Guérékata [25] for the recently theory and applications of asymptotically almost automorphic functions. With motivation coming from a wide range of engineering and physical applications, fractional differential equations have recently attracted great attention of mathematicians and scientists. This kind of equations is a generalization of ordinary differential equations to arbitrary noninteger orders. Fractional differential equations find numerous applications in the field of viscoelasticity, feedback amplifiers, electrical circuits, electro analytical chemistry, fractional multipoles, neuron modelling encompassing different branches of physics, chemistry, and biological sciences [26–32]. Many physical processes appear to exhibit fractional order behavior that may vary with time or space. In recent years, there has been a significant development in ordinary and partial differential equations involving fractional derivatives; we only enumerate here the monographs of Kilbas et al. [26, 27], Diethelm [28], Hilfer [29], Podlubny [30], Miller [31], and Zhou [32] and the papers of Agarwal et al. [33, 34], Benchohra et al. [35, 36], El-Borai [37], Lakshmikantham et al. [38–41], Mophou et al. [42–45], N’Guérékata [46], and Zhou et al. [47–50] and the reference therein. The study of almost periodic and almost automorphic type solutions to fractional differential equations was initiated by Araya and Lizama [11]. In their work, the authors investigated the existence and uniqueness of an almost automorphic mild solution of the semilinear fractional differential equation when is a generator of an -resolvent family and is the Riemann-Liouville fractional derivative. In [51], Cuevas and Lizama considered the fractional differential equation:where is a linear operator of sectorial negative type on a complex Banach space and the fractional derivative is understood in the Riemann-Liouville sense. Under suitable conditions on , the authors proved the existence and uniqueness of an almost automorphic mild solution to (2). Cuevas et al. [52, 53] studied, respectively, the pseudo almost periodic and pseudo almost periodic class infinity mild solutions to (2) assuming that and is a pseudo almost periodic and pseudo almost periodic of class infinity function satisfying suitable conditions in . Agarwal et al. [54] studied the existence and uniqueness of a weighted pseudo almost periodic mild solution to equation (2). Ding et al. [55] investigated the existence and uniqueness of almost automorphic solution to (2) assuming that and is Stepanov-like almost automorphic in satisfying some kind of Lipschitz conditions. Cuevas et al. [56] studied the existence of almost periodic (resp., pseudo almost periodic) mild solutions to equation (2) assuming that and is Stepanov almost (resp., Stepanov-like pseudo almost) periodic in uniformly for . Chang et al. [57] studied the existence and uniqueness of weighted pseudo almost automorphic solution to equation (2) with Stepanov-like weighted pseudo almost automorphic coefficient. He et al. [58] studied also the existence and uniqueness of weighted Stepanov-like pseudo almost automorphic mild solution to (2). Cao et al. [59] studied the existence and uniqueness of antiperiodic mild solution to (2). In [60], Cuevas et al. showed sufficient conditions to ensure the existence and uniqueness of mild solution for (2) in the following classes of vector-valued function spaces: periodic functions, asymptotically periodic functions, pseudo periodic functions, almost periodic functions, asymptotically almost periodic functions, pseudo almost periodic functions, almost automorphic functions, asymptotically almost automorphic functions, pseudo almost automorphic functions, compact almost automorphic functions, asymptotically compact almost automorphic functions, pseudo compact almost automorphic functions, -asymptotically -periodic functions, decay functions, and mean decay functions. Recently, Xia et al. [61] established some sufficient criteria for the existence and uniqueness of -pseudo almost automorphic solution to the semilinear fractional differential equation where , is a sectorial operator of type on a complex Banach space and is a bounded linear operator. The fractional derivative is understood in the Riemann-Liouville sense. Their discussion is divided into two cases, i.e., , is -pseudo almost automorphic and , and is Stepanov-like -pseudo almost automorphic. Kavitha et al. [62] studied weighted pseudo almost automorphic solutions of the fractional integrodifferential equation where and is a linear densely defined sectorial operator on a complex Banach space , , and is a weighted pseudo almost automorphic function in for each satisfying suitable conditions. The fractional derivative is understood in the Riemann-Liouville sense. Mophou [63] investigated the existence and uniqueness of weighted pseudo almost automorphic mild solution to the fractional differential equation:where is a linear densely operator of sectorial type on a complex Banach space , is a bounded linear operator and , and is a weighted pseudo almost automorphic function in for each satisfying suitable conditions. The fractional derivative is to be understood in Riemann-Liouville sense. Chang et al. [64] investigated some existence results of -pseudo almost automorphic mild solutions to (6) assuming that and is a -pseudo almost automorphic function in for each satisfying suitable conditions. For more on the almost periodicity and almost automorphy for fractional differential equations and related issues, we refer the reader to [65–67] and others. Equation (6) is motivated by physical problems. Indeed, due to their applications in fields of science where characteristics of anomalous diffusion are presented, type (6) equations are attracting increasing interest (cf. [68–70] and references therein). For example, anomalous diffusion in fractals [69] or in macroeconomics [71] has been recently well studied in the setting of fractional Cauchy problems like (6). For this reason, (6) has gotten a considerable attention in recent years (cf. [51–64, 68–71] and the references therein). To the best of our knowledge, much less is known about the existence of asymptotically almost automorphic mild solutions to (6) when the nonlinearity as a whole loses the Lipschitz continuity with respect to and . Motivated by the abovementioned works, the purpose of this paper is to establish some new existence results of asymptotically almost automorphic mild solutions to (6). In our results, the nonlinearity , does not have to satisfy a (locally) Lipschitz condition (see Remark 22). However, in many papers (for instance, [11, 51–64]) on almost periodic type and almost automorphic type solutions to fractional differential equations, to be able to apply the well-known Banach contraction principle, a (locally) Lipschitz condition for the nonlinearity of corresponding fractional differential equations is needed. As can be seen, our results generalize those as well as related research and have more broad applications. In particular, as application and to illustrate our main results, we will examine some sufficient conditions for the existence of asymptotically almost automorphic mild solutions to the fractional relaxation-oscillation equation given by with boundary conditions , , where is a function and , , and are positive constants. The rest of this paper is organized as follows. In Section 2, some concepts, the related notations, and some useful lemmas are introduced and established. In Section 3, we prove the existence of asymptotically almost automorphic mild solutions to such problems. The results obtained are utilized to study the existence of asymptotically almost automorphic mild solutions to a fractional relaxation-oscillation equation given in Section 4. 2. Preliminaries This section is concerned with some notations, definitions, lemmas, and preliminary facts which are used in what follows. From now on, let and be two Banach spaces and (resp., ) is the space of all -valued bounded continuous functions (resp., jointly bounded continuous functions ). Furthermore, (resp., ) is the closed subspace of (resp., ) consisting of functions vanishing at infinity (vanishing at infinity uniformly in any compact subset of , in other words, where is an any compact subset of ). Let also be the Banach space of all bounded linear operators from into itself endowed with the norm: For a bounded linear operator , let and stand for the resolvent and domain of , respectively. First, let us recall some basic definitions and results on almost automorphic and asymptotically almost automorphic functions. Definition 1 ((Bochner) [1] (N’Guérékata) [6]). A continuous function is said to be almost automorphic if for every sequence of real numbers , there exists a subsequence such that is well defined for each and Denote by the set of all such functions. Remark 2 (see [6]). By the point-wise convergence, the function in Definition 1 is measurable but not necessarily continuous. Moreover, if is continuous, then is uniformly continuous (cf., e.g., [17], Theorem 2.6), and if the convergence in Definition 1 is uniform on , one gets almost periodicity (in the sense of Bochner and von Neumann). Almost automorphy is thus a more general concept than almost periodicity. There exists an almost automorphic function which is not almost periodic. The function given by is an example of such functions [72]. Lemma 3 (see [5]). is a Banach space with the norm . Definition 4 (see [6]). A continuous function is said to be almost automorphic in uniformly for all , where is any bounded subset of , if for every sequence of real numbers , there exists a subsequence such that and The collection of those functions is denoted by . Remark 5. The function given by is almost automorphic in uniformly for all , where is any bounded subset of , . Similar to Lemma 2.2 of [73] and Proposition 3.2 of [63], we have the following result on almost automorphic functions. Lemma 6. Let be almost automorphic in uniformly for all , where is any bounded subset of , and assume that is uniformly continuous on uniformly for , that is, for any , there exists such that and imply that Let be almost automorphic. Then the function defined by is almost automorphic. Proof. Suppose that is a sequence of real numbers. Then by the definition of almost automorphic functions, we can extract a subsequence of such that Write Then Since and are almost automorphic, then , and , and are bounded. Therefore we can choose a bounded subset , such that By , , and the uniform continuity of in , we have Moreover, by , so remembering the above triangle inequality, we deduce that Using the same argument we can prove that This proves that is almost automorphic by the definition. Remark 7. If satisfies a Lipschitz condition with respect to and uniformly in , i.e., for each pair , uniformly in , where is called the Lipschitz constant for the function , then is uniformly continuous on uniformly for , where is any bounded subset of . Remark 8. If satisfies a local Lipschitz condition with respect to and uniformly in , i.e., for each pair , , where , then is uniformly continuous on uniformly for , where is any bounded subset of . Definition 9 (see [6]). A continuous function is said to be asymptotically almost automorphic if it can be decomposed as , where Denote by the set of all such functions. Remark 10. The function defined by is an asymptotically almost automorphic function with Lemma 11 (see [6]). is also a Banach space with the supremum norm . Definition 12 (see [6]). A continuous function is said to be asymptotically almost automorphic if it can be decomposed as , where Denote by the set of all such functions. Remark 13. The function given by is asymptotically almost automorphic in uniformly for all , where is any bounded subset of , and Next we give some basic definitions and properties of the fractional calculus theory which are used further in this paper. Definition 14 (see [26]). The fractional integral of order with the lower limit for a function is defined as provided that the right-hand side is point-wise defined on , where is the Gamma function. Definition 15 (see [26]). Riemann-Liouville derivative of order with the lower limit for a function can be written as The first and maybe the most important property of Riemann-Liouville fractional derivative is that, for and , one has , which means that Riemann-Liouville fractional differentiation operator is a left inverse to the Riemann-Liouville fractional integration operator of the same order . It is important to define sectorial operator for the definition of mild solution of any fractional abstract equations. So, let us now give the definitions of sectorial linear operators and their associated solution operators. Definition 16 ([74] sectorial operator). A closed and linear operator is said to be sectorial of type and angle if there exist , , and such that its resolvent exists outside the sector and Sectorial operators are well studied in the literature, usually for the case . For a recent reference including several examples and properties we refer the reader to [74]. Note that an operator is sectorial of type if and only if is sectorial of type 0. Definition 17 (see [75]). Let be a closed and linear operator with domain defined on a Banach space . We call the generator of a solution operator if there are and a strongly continuous function such that and In this case, is called the solution operator generated by . Note that if is sectorial of type with , then is the generator of a solution operator given by where is a suitable path lying outside the sector (cf. [74]). Very recently, Cuesta in [74](Theorem 1) has proved that if is a sectorial operator of type for some and , then there exists such that In the border case , this is analogous to saying that is the generator of a exponentially stable -semigroup. The main difference is that in the case the solution family decays like . Cuesta’s result proves that is, in fact, integrable. In the following, we present the following compactness criterion, which is a special case of the general compactness result of Theorem 2.1 in [76]. Lemma 18 (see [76]). A set is relatively compact if(1) is equicontinuous;(2) uniformly for ;(3)the set is relatively compact in for every . The following Krasnoselskii’s fixed point theorem plays a key role in the proofs of our main results, which can be found in many books. Lemma 19 (see [77]). Let be a bounded closed and convex subset of and be maps of into such that for every pair . If is a contraction and is completely continuous, then has a solution on . 3. Asymptotically Almost Automorphic Mild Solutions In this section, we study the existence of asymptotically almost automorphic mild solutions for the semilinear fractional differential equations of the formwhere is a linear densely defined operator of sectorial type of on a complex Banach space , is a bounded linear operator and , and is a given function to be specified later. The fractional derivative is to be understood in Riemann-Liouville sense. We recall the following definition that will be essential for us. Definition 20 (see [63]). Assume that generates an integrable solution operator . A continuous function satisfying the integral equation is called a mild solution on to (39). In the proofs of our results, we need the following auxiliary result. Lemma 21. Given and , letThen , . Proof. Firstly, note that Then which implies that is well defined and continuous on . Since , then for any and every sequence of real numbers , there exist a subsequence , a function , and such that Define Then for each and every . This implies thatis well defined for each . By a similar argument one can obtain Thus . Since , one can choose an such that for all . This enables us to conclude that, for all , which implies On the other hand, from it follows that there exists an such that . This enables us to conclude that, for all , which implies Now we are in position to state and prove our first main result. To prove our main result, let us introduce the following assumptions: with and there exists a constant such that, for all and , () There exist a function and a nondecreasing function such that, for all and with , Remark 22. Assuming that satisfies the assumption (), it is noted that does not have to meet the Lipschitz continuity with respect to and . Such class of asymptotically almost automorphic functions are more complicated than those with Lipschitz continuity with respect to and and little is known about them. Let be the function involved in assumption (). Define Lemma 23. . Proof. Since , one can choose a such that for all . This enables us to conclude that, for all , which implies On the other hand, from it follows that there exists a such that for all . This enables us to conclude that, for all , which implies Theorem 24. Assume that is sectorial of type . Let satisfy the hypotheses () and (). Put . Then (39) has at least one asymptotically almost automorphic mild solution provided that Proof. The proof is divided into the following five steps. Step 1. Define a mapping on byand prove has a unique fixed point . Firstly, since the function is bounded in and this implies that exists. Moreover from satisfying (54), together with Lemma 6 and Remark 7, it follows that This, together with Lemma 21, implies that is well defined and maps into itself. In the sequel, we verify that is continuous. Let be in with as ; then one has Therefore, as and , hence is continuous. Next, we prove that is a contraction on and has a unique fixed point . In fact, let be in , and similar to the above proof of the continuity of , one has which implies Together with (61), this proves that is a contraction on . Thus, Banach’s fixed point theorem implies that has a unique fixed point . Step 2. Set For the above , define on asand prove that maps into itself, where is a given constant. Firstly, from (54) it follows that, for all and , which implies that According to (55), one has for all and with ; then Those, together with Lemma 21, yield that is well defined and maps into itself. On the other hand, in view of (55) and (61) it is not difficult to see that there exists a constant such thatThis enables us to conclude that, for any and , which implies that . Thus maps into itself. Step 3. Show that is a contraction on . In fact, for any and , from (54) it follows that Thus which implies that Thus, in view of (61), one obtains the conclusion. Step 4. Show that is completely continuous on . Given . Let with in as . Since , one may choose a big enough such that, for all , Also, in view of , we have for all as and Hence, by the Lebesgue dominated convergence theorem we deduce that there exists an such that whenever . Thus whenever . Accordingly, is continuous on . In the sequel, we consider the compactness of . Set for the closed ball with center at and radius in , , and for . First, for all and , and in view of , which follows from Lemma 23, one concludes that As Hence, given , one can choose a such that Thus we get where denotes the convex hull of . Using that is strongly continuous, we infer that is a relatively compact set and , which implies that is a relatively compact subset of . Next, we verify the equicontinuity of the set . Let be small enough and and . Then by (55) we have which implies the equicontinuity of the set . Now an application of Lemma 18 justifies the compactness of . Step 5. Show that (39) has at least one asymptotically almost automorphic mild solution. Firstly, the complete continuity of , together with the results of Steps 2 and 3 as well as Lemma 19, yields that has at least one fixed point ; furthermore . Then, consider the following coupled system of integral equations:From the result of Step 1, together with the above fixed point , it follows that is a solution to system (91). Thus and it is a solution to the integral equation that is, is an asymptotically almost automorphic mild solution to (39). Taking with in (39), the above theorem gives the following corollary. Corollary 25. Let satisfy and . Put . Then (39) admits at least one asymptotically almost automorphic mild solution whenever Remark 26. It is interesting to note that the function is increasing from 0 to in the interval . Therefore, with respect to condition (61), the class of admissible terms is the best in the case and the worst in the case . Theorem 24 can be extended to the case of being locally Lipschitz continuous with respect to and , where we have the following result. with and for all , ,where is a function on . Theorem 27. Assume that is sectorial of type . Let satisfy the hypotheses () and () with . Put . Let . Then (39) has at least one asymptotically almost automorphic mild solution provided that Proof. The proof is divided into the following five steps. Step 1. Define a mapping on by (62) and prove that has a unique fixed point . Firstly, similar to the proof in Step 1 of Theorem 24, we can prove that exists. Moreover from satisfying (97), together with Lemma 6 and Remark 8, it follows that This, together with Lemma 21, implies that is well defined and maps into itself. In the sequel, we verify that is continuous. Let be in with as ; then one has Therefore, as and , hence is continuous. Next, we prove that is a contraction on and has a unique fixed point . In fact, for in , similar to the above proof of the continuity of , one has which implies that Hence, by (98), together with the contraction principle, has a unique fixed point . Step 2. Set For the above , define on as (69) and prove that maps into itself, where is a given constant. Firstly, from (97) it follows that, for all , , which together with implies that According to (55), one has for all and with ; then Those, together with Lemma 21, yield that is well defined and maps into itself. On the other hand, in view of (55) and (98) it is not difficult to see that there exists a constant such that This enables us to conclude that, for any and , which implies that . Thus maps into itself. Step 3. Show that is a contraction on . In fact, for any and , from (97) it follows that Thus which implies that Thus, in view of (98), one obtains the conclusion. Step 4. Show that is completely continuous on . The proof is similar to the proof in Step 4 of Theorem 24. Step 5. Show that (39) has at least one asymptotically almost automorphic mild solution. The proof is similar to the proof in Step 5 of Theorem 24. Taking with in (39), Theorem 27 gives the following corollary. Corollary 28. Let satisfy and with . Put . Let . Then (39) admits at least one asymptotically almost automorphic mild solution whenever Now we consider a more general case of equations introducing a new class of functions . We have the following result. () There exists a function such that, for all and , Theorem 29. Assume that is sectorial of type . Let satisfy the hypotheses () and () with . Moreover the integral exists for all . Then (39) has at least one asymptotically almost automorphic mild solution. Proof. The proof is divided into the following five steps. Step 1. Define a mapping on by (62) and prove that has a unique fixed point . Firstly, similar to the proof in Step 1 of Theorem 27, we can prove that is well defined and maps into itself; moreover is continuous. Next, we prove that is a contraction on and has a unique fixed point . In fact, for is in and defines a new norm where and is a fixed positive constant. Let ; then we have which implies that Hence has a unique fixed point when is greater than . Step 2. Set . For the above , define on as (69) and prove that maps into itself, where is a given constant. Firstly, from (97) it follows that, for all , , which together with implies that According to (114), one has for all and with ; then Those, together with Lemma 21, yield that is well defined and maps into itself. On the other hand, it is not difficult to see that there exists a constant such that when is large enough. This enables us to conclude that, for any and , which implies that . Thus maps into itself. Step 3. Show that is a contraction on . In fact, for any and , from (97) it follows that Thus which implies Thus, when is greater than , one obtains the conclusion. Step 4. Show that is completely continuous on . Given . Let with in as . Since , one may choose a big enough such that, for all , Also, in view of , we have for all as and Hence, by the Lebesgue dominated convergence theorem we deduce that there exists an such that whenever . Thus whenever . Accordingly, is continuous on . In the sequel, we consider the compactness of . Set for the closed ball with center at and radius in , , and for . First, for all and , in view of which follows from Lemma 23; one concludes that as Hence, for given , one can choose a such that Thus we get where denotes the convex hull of . Using the fact that is strongly continuous, we infer that is a relatively compact set and , which implies that is a relatively compact subset of . Next, we verify the equicontinuity of the set , given . In view of (114), together with the continuity of , there exists an such that, for all and with , Also, one can choose a such that which implies that, for all and ,Then one has which implies the equicontinuity of the set . Now an application of Lemma 18 justifies the compactness of . Step 5. Show that (39) has at least one asymptotically almost automorphic mild solution. The proof is similar to the proof in Step 5 of Theorem 24. Taking with in (39), Theorem 29 gives the following corollary. Corollary 30. Let satisfy and with . Moreover the integral exists for all . Then (39) has at least one asymptotically almost automorphic mild solution. 4. Applications In this section we give an example to illustrate the above results. Consider the following fractional relaxation-oscillation equation:where is a function and , , and are positive constants. Take and define the operator by where It is well known that is self-adjoint, with compact resolvent, and is the infinitesimal generator of an analytic semigroup on . Hence, is sectorial of type . Let Then it is easy to verify that are continuous and satisfying that is,furthermore And that is,which implies . Furthermore Thus, (142) can be reformulated as the abstract problem (39) and the assumptions and hold with the assumption holds with , and the assumption holds. In consequence, the fractional relaxation-oscillation equation (142) has at least one asymptotically almost automorphic mild solutions if either (Theorem 24) or (Theorem 27), where or the integral exists for all (Theorem 29). Conflicts of Interest The authors declare that they have no conflicts of interest. Acknowledgments This research was supported by the NNSF of China (no. 11561009) and (no. 41665006), the Guangdong Province Natural Science Foundation (no. 2015A030313896), the Characteristic Innovation Project (Natural Science) of Guangdong Province (no. 2016KTSCX094), the Science and Technology Program Project of Guangzhou (no. 201707010230), and the Guangxi Province Natural Science Foundation (no. 2016GXNSFAA380240). References S. Bochner, “Continuous mappings of almost automorphic and almost periodic functions,” Proceedings of the National Acadamy of Sciences of the United States of America, vol. 52, pp. 907–910, 1964. View at Publisher · View at Google Scholar · View at MathSciNetS. Bochner, “Uniform convergence of monotone sequences of functions,” Proceedings of the National Acadamy of Sciences of the United States of America, vol. 47, pp. 582–585, 1961. View at Publisher · View at Google Scholar · View at MathSciNetS. Bochner, “A new approach to almost periodicity,” Proceedings of the National Acadamy of Sciences of the United States of America, vol. 48, pp. 2039–2043, 1962. View at Publisher · View at Google Scholar · View at MathSciNetS. Bochner and J. Von Neumann, “On compact solutions of operational-differential equations,” I. Annals of Mathematics: Second Series, vol. 36, no. 1, pp. 255–291, 1935. View at Publisher · View at Google Scholar · View at MathSciNetG. M. N'Guérékata, Almost Automorphic Functions and Almost Periodic Functions in Abstract Spaces, Kluwer Academic/Plenum Publishers, New York, London, Moscow, 2001. View at MathSciNetG. M. N’Guerekata, Topics in Almost Automorphy, Springer, New York, NY, USA, 2005. View at MathSciNetW. A. Veech, “Almost automorphic functions,” Proceedings of the National Acadamy of Sciences of the United States of America, vol. 49, pp. 462–464, 1963. View at Publisher · View at Google Scholar · View at MathSciNetJ. Campos and M. Tarallo, “Almost automorphic linear dynamics by Favard theory,” Journal of Differential Equations, vol. 256, no. 4, pp. 1350–1367, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusT. Caraballo and D. Cheban, “Almost periodic and almost automorphic solutions of linear differential/difference equations without Favard's separation condition,” I. Journal of Differential Equations, vol. 246, no. 1, pp. 108–128, 2009. View at Publisher · View at Google Scholar · View at MathSciNetL. Mahto and S. Abbas, “PC-almost automorphic solution of impulsive fractional differential equations,” Mediterranean Journal of Mathematics, vol. 12, no. 3, pp. 771–790, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusD. Araya and C. Lizama, “Almost automorphic mild solutions to fractional differential equations,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 69, no. 11, pp. 3692–3705, 2008. View at Publisher · View at Google Scholar · View at MathSciNetG. M. Mophou and G. M. N’Guérékata, “On some classes of almost automorphic functions and applications to fractional differential equations,” Computers & Mathematics with Applications. An International Journal, vol. 59, no. 3, pp. 1310–1317, 2010. View at Publisher · View at Google Scholar · View at MathSciNetL. Abadias and C. Lizama, “Almost automorphic mild solutions to fractional partial difference-differential equations,” Applicable Analysis: An International Journal, vol. 95, no. 6, pp. 1347–1369, 2016. View at Publisher · View at Google Scholar · View at MathSciNetM. Fu and Z. Liu, “Square-mean almost automorphic solutions for some stochastic differential equations,” Proceedings of the American Mathematical Society, vol. 138, no. 10, pp. 3689–3701, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusJ. Cao, Q. Yang, and Z. Huang, “Existence and exponential stability of almost automorphic mild solutions for stochastic functional differential equations,” Stochastics. An International Journal of Probability and Stochastic Processes, vol. 83, no. 3, pp. 259–275, 2011. View at Publisher · View at Google Scholar · View at MathSciNetZ. Liu and K. Sun, “Almost automorphic solutions for stochastic differential equations driven by Lévy noise,” Journal of Functional Analysis, vol. 266, no. 3, pp. 1115–1149, 2014. View at Publisher · View at Google Scholar · View at MathSciNetG. M. N’guérékata, “Comments on almost automorphic and almost periodic functions in Banach spaces,” Far East Journal of Mathematical Sciences (FJMS), vol. 17, no. 3, pp. 337–344, 2005. View at Google Scholar · View at MathSciNetG. M. N’Guérékata, “Sur les solutions presqu automorphes d’équations différentielles abstraites,” Annales des Sciences Mathématiques du Québec, no. 1, pp. 69–79, 1981. View at Google Scholar · View at MathSciNetD. Bugajewski and G. M. N'Guérékata, “On the topological structure of almost automorphic and asymptotically almost automorphic solutions of differential and integral equations in abstract spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 59, no. 8, pp. 1333–1345, 2004. View at Publisher · View at Google Scholar · View at ScopusT. Diagana, E. M. Hernández, and J. dos Santos, “Existence of asymptotically almost automorphic solutions to some abstract partial neutral integro-differential equations,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 71, no. 1-2, pp. 248–257, 2009. View at Publisher · View at Google Scholar · View at MathSciNetH.-S. Ding, T.-J. Xiao, and J. Liang, “Asymptotically almost automorphic solutions for some integrodifferential equations with nonlocal initial conditions,” Journal of Mathematical Analysis and Applications, vol. 338, no. 1, pp. 141–151, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusJ.-Q. Zhao, Y.-K. Chang, and G. M. N’guérékata, “Existence of asymptotically almost automorphic solutions to nonlinear delay integral equations,” Dynamic Systems and Applications, vol. 21, no. 2-3, pp. 339–349, 2012. View at Google Scholar · View at MathSciNetY.-K. Chang and C. Tang, “Asymptotically almost automorphic solutions to stochastic differential equations driven by a Lévy process,” Stochastics. An International Journal of Probability and Stochastic Processes, vol. 88, no. 7, pp. 980–1011, 2016. View at Publisher · View at Google Scholar · View at MathSciNetZ.-H. Zhao, Y.-K. Chang, and J. J. Nieto, “Square-mean asymptotically almost automorphic process and its application to stochastic integro-differential equations,” Dynamic Systems and Applications, vol. 22, no. 2-3, pp. 269–284, 2013. View at Google Scholar · View at MathSciNet · View at ScopusG. M. N’Guérékata, Spectral Theory for Bounded Functions and Applications to Evolution Equations, Nova Science Publishers, NY, USA, 2017. View at MathSciNetA. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 24 of North-Holland Mathematics Studies, Elsevier Science B.V., Amsterdam, 2006. View at MathSciNetS. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional integral and derivatives: Theory and applications, Gordon and Breach Science Publishers, Switzerland, 1993. View at MathSciNetK. Diethelm, The Analysis of Fractional Differential Equations, Lecture Notes in Mathematics, Springer Verlag, Berlin, Heidelberg, Germany, 2010. View at Publisher · View at Google ScholarR. Hilfer, Applications of Fractional Calculus in Physics, World Scientific, Singapore, 2000. View at Publisher · View at Google Scholar · View at MathSciNetI. Podlubny, Fractional Differential Equations, Academic Press, CA, USA, 1999. View at MathSciNetK. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, A Wiley Interscience Publication, John Wiley & Sons, NY, USA, 1993. View at MathSciNetY. Zhou, Basicheory of Fractional Diferential Equations, World Scientiic, Singapore, 2014. R. P. Agarwal, M. Belmekki, and M. Benchohra, “A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative,” Advances in Difference Equations, vol. 2009, Article ID 981728, 47 pages, 2009. View at Publisher · View at Google Scholar · View at MathSciNetR. P. Agarwal, V. Lakshmikantham, and J. J. Nieto, “On the concept of solution for fractional differential equations with uncertainty,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 72, no. 6, pp. 2859–2862, 2010. View at Publisher · View at Google Scholar · View at MathSciNetM. Benchohra, J. Henderson, S. K. Ntouyas, and A. Ouahab, “Existence results for fractional order functional differential equations with infinite delay,” Journal of Mathematical Analysis and Applications, vol. 338, no. 2, pp. 1340–1350, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusR. P. Agarwal, M. Benchohra, and S. Hamani, “A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions,” Acta Applicandae Mathematicae, vol. 109, no. 3, pp. 973–1033, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusM. M. El-Borai, “Some probability densities and fundamental solutions of fractional evolution equations,” Chaos, Solitons & Fractals, vol. 14, no. 3, pp. 433–440, 2002. View at Publisher · View at Google Scholar · View at MathSciNetV. Lakshmikantham, “Theory of fractional functional differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 60, pp. 3337–3343, 2008. View at Publisher · View at Google Scholar · View at MathSciNetV. Lakshmikantham and A. S. Vatsala, “Basic theory of fractional differential equations,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 69, no. 8, pp. 2677–2682, 2008. View at Publisher · View at Google Scholar · View at MathSciNetV. Lakshmikantham and A. S. Vatsala, “Theory of fractional differential inequalities and applications,” Communications in Applied Analysis, vol. 11, no. 3-4, pp. 395–402, 2007. View at Google Scholar · View at MathSciNet · View at ScopusV. Lakshmikantham and J. V. Devi, “Theory of fractional differential equations in a Banach space,” European Journal of Pure and Applied Mathematics, vol. 1, no. 1, pp. 38–45, 2008. View at Google Scholar · View at MathSciNetG. Mophou, O. Nakoulima, and G. M. N’Guérékata, “Existence results for some fractional differential equations with nonlocal conditions,” Nonlinear Studies. The International Journal, vol. 17, no. 1, pp. 15–21, 2010. View at Google Scholar · View at MathSciNetG. M. Mophou and G. M. N’Guérékata, “Existence of the mild solution for some fractional differential equations with nonlocal conditions,” Semigroup Forum, vol. 79, no. 2, pp. 315–322, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusG. M. Mophou and G. M. N’Guérékata, “On integral solutions of some nonlocal fractional differential equations with nondense domain,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 71, no. 10, pp. 4668–4675, 2009. View at Publisher · View at Google Scholar · View at MathSciNetG. M. Mophou, “Existence and uniqueness of mild solutions to impulsive fractional differential equations,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 72, no. 3-4, pp. 1604–1615, 2010. View at Publisher · View at Google Scholar · View at MathSciNetG. M. N’Guérékata, “A Cauchy problem for some fractional abstract differential equation with non local conditions,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 70, no. 5, pp. 1873–1876, 2009. View at Publisher · View at Google Scholar · View at MathSciNetY. Zhou and L. Peng, “On the time-fractional Navier-Stokes equations,” Computers & Mathematics with Applications. An International Journal, vol. 73, no. 6, pp. 874–891, 2017. View at Publisher · View at Google Scholar · View at MathSciNetY. Zhou and L. Peng, “Weak solutions of the time-fractional Navier-Stokes equations and optimal control,” Computers & Mathematics with Applications. An International Journal, vol. 73, no. 6, pp. 1016–1027, 2017. View at Publisher · View at Google Scholar · View at MathSciNetY. Zhou and L. Zhang, “Existence and multiplicity results of homoclinic solutions for fractional Hamiltonian systems,” Computers & Mathematics with Applications. An International Journal, vol. 73, no. 6, pp. 1325–1345, 2017. View at Publisher · View at Google Scholar · View at MathSciNetY. Zhou, V. Vijayakumar, and R. Murugesu, “Controllability for fractional evolution inclusions without compactness,” Evolution Equations and Control Theory, vol. 4, no. 4, pp. 507–524, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusC. Cuevas and C. Lizama, “Almost automorphic solutions to a class of semilinear fractional differential equations,” Applied Mathematics Letters, vol. 21, no. 12, pp. 1315–1319, 2008. View at Publisher · View at Google Scholar · View at MathSciNetR. P. Agarwal, B. de Andrade, and C. Cuevas, “On type of periodicity and ergodicity to a class of fractional order differential equations,” Advances in Difference Equations, Article ID 179750, 2010. View at Google Scholar · View at MathSciNetR. P. Agarwal, C. Cuevas, and H. Soto, “Pseudo-almost periodic solutions of a class of semilinear fractional differential equations,” Applied Mathematics and Computation, vol. 37, no. 1-2, pp. 625–634, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusR. P. Agarwal, B. de Andrade, and C. Cuevas, “Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations,” Nonlinear Analysis: Real World Applications, vol. 11, no. 5, pp. 3532–3554, 2010. View at Publisher · View at Google Scholar · View at MathSciNetH.-S. Ding, J. Liang, and T.-J. Xiao, “Almost automorphic solutions to abstract fractional differential equations,” Advances in Difference Equations, Article ID 508374, 2010. View at Google Scholar · View at MathSciNetC. Cuevas, A. Sepúlveda, and H. Soto, “Almost periodic and pseudo-almost periodic solutions to fractional differential and integro-differential equations,” Applied Mathematics and Computation, vol. 218, no. 5, pp. 1735–1745, 2011. View at Publisher · View at Google Scholar · View at MathSciNetY.-K. Chang, R. Zhang, and G. M. N’Guérékata, “Weighted pseudo almost automorphic mild solutions to semilinear fractional differential equations,” Computers & Mathematics with Applications. An International Journal, vol. 64, no. 10, pp. 3160–3170, 2012. View at Publisher · View at Google Scholar · View at MathSciNetB. He, J. Cao, and B. Yang, “Weighted Stepanov-like pseudo-almost automorphic mild solutions for semilinear fractional differential equations,” Advances in Difference Equations, vol. 2015, 74 pages, 2015. View at Publisher · View at Google Scholar · View at MathSciNetJ. Cao, Q. Yang, and Z. Huang, “Existence of anti-periodic mild solutions for a class of semilinear fractional differential equations,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 1, pp. 277–283, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusC. Lizama and F. Poblete, “Regularity of mild solutions for a class of fractional order differential equations,” Applied Mathematics and Computation, vol. 224, pp. 803–816, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusZ. Xia, M. Fan, and R. P. Agarwal, “Pseudo almost automorphy of semilinear fractional differential equations in Banach spaces,” Fractional Calculus and Applied Analysis, vol. 19, no. 3, pp. 741–764, 2016. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusS. Abbas, V. Kavitha, and R. Murugesu, “Stepanov-like weighted pseudo almost automorphic solutions to fractional order abstract integro-differential equations,” Journal of Fractional Calculus and Applications, vol. 4, pp. 1–19, 2013. View at Publisher · View at Google ScholarG. M. Mophou, “Weighted pseudo almost automorphic mild solutions to semilinear fractional differential equations,” Applied Mathematics and Computation, vol. 217, no. 19, pp. 7579–7587, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusY.-K. Chang and X.-X. Luo, “Pseudo almost automorphic behavior of solutions to a semi-linear fractional differential equation,” Mathematical Communications, vol. 20, no. 1, pp. 53–68, 2015. View at Google Scholar · View at MathSciNet · View at ScopusV. Kavitha, S. Abbas, and R. Murugesu, “(μ1,μ2)-pseudo almost automorphic solutions of fractional order neutral integro-differential equations,” Nonlinear Stud, vol. 24, pp. 669–685, 2017. View at Google Scholar · View at MathSciNetV. Kavitha, S. Abbas, and R. Murugesu, “Asymptotically almost automorphic solutions of fractional order neutral integro-differential equations,” Bulletin of the Malaysian Mathematical Sciences Society, vol. 39, no. 3, pp. 1075–1088, 2016. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusS. Abbas, “Weighted pseudo almost automorphic solutions of fractional functional differential equations,” Cubo (Temuco), vol. 16, pp. 21–35, 2014. View at Google Scholar · View at MathSciNetE. Bazhlekova, Fractional Evolution Equations in Banach Spaces, Eindhoven University of Technology, 2001. View at MathSciNetS. D. Eidelman and A. N. Kochubei, “Cauchy problem for fractional diffusion equations,” Journal of Differential Equations, vol. 199, no. 2, pp. 211–255, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusR. Gorenflo and F. Mainardi, “Fractional calculus: Integral and differential equations of fractional order,” in Fractals and Fractional Calculus in Continuum Mechanics, A. Carpinteri and F. Mainardi, Eds., pp. 223–276, Springer-Verlag, NY, USA, Vienna, Austria, 1997. View at Google Scholar · View at MathSciNetV. V. Anh and R. Mcvinish, “Fractional differential equations driven by Lévy noise,” Journal of Applied Mathematics and Stochastic Analysis, vol. 16, no. 2, pp. 97–119, 2003. View at Publisher · View at Google Scholar · View at MathSciNetH.-S. Ding, J. Liang, and T.-J. Xiao, “Some properties of Stepanov-like almost automorphic functions and applications to abstract evolution equations,” Applicable Analysis: An International Journal, vol. 88, no. 7, pp. 1079–1091, 2009. View at Publisher · View at Google Scholar · View at MathSciNetJ. Liang, J. Zhang, and T.-J. Xiao, “Composition of pseudo almost automorphic and asymptotically almost automorphic functions,” Journal of Mathematical Analysis and Applications, vol. 340, no. 2, pp. 1493–1499, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusM. Haase, “The functional calculus for sectorial operators,” in Operator Theory: Advances and Applications, vol. 169, Birkhuser Verlag, Basel, Switzerland, 2006. View at Google ScholarE. Cuesta, “Asymptotic behaviour of the solutions of fractional integro-differential equations and some time discretizations,” Discrete and Continuous Dynamical Systems - Series A, pp. 277–285, 2007. View at Google Scholar · View at MathSciNetW. M. Ruess and W. H. Summers, “Compactness in spaces of vector valued continuous functions and asymptotic almost periodicity,” Mathematische Nachrichten, vol. 135, pp. 7–33, 1988. View at Publisher · View at Google Scholar · View at MathSciNet · View at ScopusD. R. Smart, Fixed Point Theorems, Cambridge University Press, London, UK, 1980. View at MathSciNet


This is a preview of a remote PDF: http://downloads.hindawi.com/journals/ijde/2018/8243180.pdf

Junfei Cao, Zaitang Huang, Gaston M. N’Guérékata. Existence of Asymptotically Almost Automorphic Mild Solutions of Semilinear Fractional Differential Equations, International Journal of Differential Equations, 2018, DOI: 10.1155/2018/8243180