Abstract and Applied Analysis

Volume 2013 (2013), Article ID 592964, 8 pages

http://dx.doi.org/10.1155/2013/592964

## The Existence and Uniqueness of Solutions for a Class of Nonlinear Fractional Differential Equations with Infinite Delay

^{1}Department of Mathematics, Faculty of Basic Science, Babol University of Technology, Babol 47148-71167, Iran^{2}Department of Mathematics and Computer Science, Cankaya University, Turkey^{3}Department of Chemical and Materials Engineering, Faculty of Engineering, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia^{4}Institute of Space Sciences, P.O. Box MG-23, r 76900 Magurele-Bucharest, Romania^{5}Department of Mathematics, Texas A & M University-Kingsville, 700 University, Boulevard Kingsville, USA^{6}Department of Mathematics, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia

Received 28 October 2012; Accepted 2 February 2013

Academic Editor: Bashir Ahmad

Copyright © 2013 Azizollah Babakhani 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

We prove the existence and uniqueness of solutions for two classes of infinite delay nonlinear fractional order differential equations involving Riemann-Liouville fractional derivatives. The analysis is based on the alternative of the Leray-Schauder fixed-point theorem, the Banach fixed-point theorem, and the Arzela-Ascoli theorem in such that is continuous and is a phase space.

#### 1. Introduction

Fractional derivatives and integrals have been vastly used in different fields, facing a huge development especially during the last few decades (see, e.g., [1–9] and the references therein). The approaches based on fractional calculus establish models of engineering systems better than the ordinary derivatives approaches [1–6].

In particular, fractional differential equations as an important research branch of fractional calculus attracted much more attention (see, e.g., [10–20] and the references therein). Also varieties of schemes for numerical solutions of fractional differential equations are reported (see, e.g., [6, 21–23] and the references therein). We notice that some investigations have been done on the existence and uniqueness of solutions for fractional differential equations with delay (see, e.g., [24, 25] and the references therein).

Having all the aforementioned facts in mind, in this paper we study the existence and uniqueness of solutions for a class of delayed fractional differential equations, namely, where is a positive integer, is a given function satisfying some assumptions that will be specified later, with , and?? is called a phase space that will be defined later. and are the standard Riemann-Liouville fractional derivatives. , which is an element , is defined as any function on as follows:

Here represents the preoperational state from time up to time . We also consider the following nonlinear fractional differential equation: where , , , , and are as (1) and is a given function which satisfies .

The notion of the phase space plays an important role in the study of both qualitative and quantitative theories for functional differential equations. A common choice is a seminormed space satisfying suitable axioms, which was introduced by Hale and Kato [26].

Our approach is based on the Banach fixed-point theorem and on the nonlinear alternative of Leray-Schauder type [27, 28]. The organization of the paper is as follows.

In Section 2, we present some basic mathematical tools used in the paper. The main results are presented in Section 3. Section 4 is dedicated to our conclusions.

#### 2. Preliminaries

In this section, we present some basic notations and properties which are used throughout this paper. First of all, we will explain the phase space introduced by Hale and Kato [26]. Let , and let be a Banach space with norm . Further, let be a linear space of functions mapping into with seminorm having the following axioms,(B_{1})If is continuous on and , then and are continuous for any .(B_{2})There exist functions and with the following properties. ?(i) is continuous for . ?(ii) is locally bounded for . ?(iii) For every function, has the properties of and , holds that . (B_{3})There exists a positive constant such that for all .(B_{4})The quotient space is a Banach space. We notice that in this paper, we select and ; thus (iii) can be converted to , ?for?all?.

See [28] for examples of the phase space satisfying all axioms –.

Let and be the space of all continuous real function on . Consider also the space of all continuous real functions on which later identifies with the class of all such that . By , we denote the Banach space of all continuous functions from into with the norm , where is a suitable complete norm on .

The most common notation for th order derivative of a real-valued function , which is defined in an interval denoted by , is . Here, the negative value of corresponds to the fractional integral.

*Definition 1. *For a function defined on an interval , the Riemann-Liouville fractional integral of of order is defined by [1, 6]
and the Riemann-Liouville fractional derivative of of order reads as
Also, we denote as and as . Further, and are referred to as and , respectively. If the fractional derivative is integrable, then we have [4, page 71]
If is continuous on , then is integrable, , and

Proposition 2. *Let be continuous on and a nonnegative integer, then
**
where
*

*Proof. * can be found in [6, page 53], and is an immediate consequence of (7), and .

Lemma 3 (see [29]). *Let be a real function and a nonnegative, locally integrable function on . If there exist positive constants and such that , then there exists a constant such that , for all .*

In this paper we use the alternative Leray-Schauder’s theorem and Banach’s contraction principle for getting the main results. These theorems can be found in [27, 28].

#### 3. Existence and Uniqueness

In this section, we prove the existence results for (1) and (3) by using the alternative of Leray-Schauder’s theorem. Further, our results for the unique solution is based on the Banach contraction principle. Let us start by defining what we mean by a solution of (1). Let the space A function is said to be a solution of (1) if satisfies (1).

For the existence results on (1), we need the following lemma.

Lemma 4. *Equation (1) is equivalent to the Volterra integral equation
*

*Proof. *The proof is an immediate consequence of Proposition 2.

To study the existence and uniqueness of solutions for (1), we transform (1) into a fixed-point problem. Consider the operator defined by where, Let be the function defined as Then, we get . For each with , we denote by the function defined as follows: If satisfies the integral equation , then we can decompose as , , which implies for every , and the function satisfies set , and let be the seminorm in defined by . is a Banach space with norm . Let the operator be defined by where . The operator has a fixed point equivalent to that has a fixed point too.

Theorem 5. *Assume that is a continuous function, and there exist such that . Then, (1) has at least one solution on .*

*Proof. *It is enough to show that the operator defined as (18) satisfies the following: (i) is continuous, (ii) maps bounded sets into bounded sets in , (iii) maps bounded sets into equicontinuous sets of , and (iv) is completely continuous. (i) Let converges to in , then
Hence, as , and thus is continuous.(ii) For any , let be a bounded set. We show that there exists a positive constant such that . Let , since is a continuous function, we have for each ,
where , and . Hence, we obtain .(iii) Let and . Let be a bounded set of as in and , then given choose
where
and . If , then
where . Hence, is equicontinuous.(iv) It is an immediate consequence from (i)–(iii), together with the Arzela-Ascoli theorem.

We show in the following that there exists an open set with for and . Let and for some . Then, for each , we have . It follows by assumption of the theorem
On other hand, we have
If we let the right-hand side of (25), then and, therefore,
Using the aforementioned inequality and the definition of , we get
Then, using Lemma 3, there exists a constant such that
where is mentioned in (22), and
Hence,
and then . Therefore,
Set . Then, is continuous and completely continuous. From the choice of , there is no such that , for ; therefore, by the nonlinear alternative of the Leray-Schauder theorem, the proof is complete.

Theorem 6. *Let be a continuous function. If there exists a positive constant such that , and then (1) has a unique solution in the interval , where,
*

*Proof. *The solution of (1) is equivalent to the solution of the integral equation (17). Hence, it is enough to show that the operator , satisfies the Banach fixed-point theorem. Consider and for each , we have
Hence, , and then is a contraction. Therefore, has a unique fixed point by Banach’s contraction principle.

Theorem 7. *Let be a continuous function, and let the following assumptions hold.*(H1)* There exist such that for each and and .*(H2)* The function is continuous and completely continuous. For any bounded set in , the set is equicontinuous in . There exist positive constants and such that for each and .**If , then (3) has at least one solution on , where . *

*Proof. *Consider the operator defined by
where
In analog to Theorem 5, we consider the operator defined by
By using (H2) and Theorem 5, the operator is continuous and completely continuous. Now, it is sufficient to show that there exists an open set with for and .

Let and for some . Then, for each ,. Hence,
where is named the in right-hand side of (25) such that . Since , if we let , then
Then, using Lemma 3, there exists a constant such that
and, therefore, , where and . Then,
and, hence,
Set . From the choice of , there is no such that for . As a consequence of the nonlinear alternative of the Leray-Schauder theorem, we deduce that has a fixed-point in , which is a solution of (3).

The unique solution of (3), under some conditions, is studied in the following theorem which is the result of the Banach contraction mapping.

Theorem 8. *Let be a continuous function, and there exist positive constants , such that
**
where and . Then, (3) with the following conditions has a unique solution in the interval **
such that is defined in Theorem 6. *

*Proof. *The proof is a similar process Theorem 6.

#### 4. Conclusions

In this paper, the existence and the uniqueness of solutions for the nonlinear fractional differential equations with infinite delay comprising standard Riemann-Liouville derivatives have been discussed in the phase space. Leray-Schauder’s alternative theorem and the Banach contraction principle were used to prove the obtained results. Further generalizations can be developed to some other class of fractional differential equations such as , where , and is nonnegative integer.

#### Acknowledgments

The authors would like to thank the referee for helpful comments and suggestions. This paper was funded by King Abdulaziz University, under Grant no. (130-1-1433/HiCi). The authors, therefore, acknowledge technical and financial support of KAU.

#### References

- A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204 of*North-Holland Mathematics Studies*, Elsevier Science B.V., Amsterdam, The Netherlands, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, SUA, 1993. View at Zentralblatt MATH · View at MathSciNet - K. B. Oldham and J. Spanier,
*The Fractional Calculus*, Academic Press, New York, NY, USA, 1974. View at Zentralblatt MATH · View at MathSciNet - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. View at Zentralblatt MATH · View at MathSciNet - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Gordon and Breach Science, Yverdon, Switzerland, 1993. View at Zentralblatt MATH · View at MathSciNet - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus*, vol. 3 of*Series on Complexity, Nonlinearity and Chaos*, World Scientific, Hackensack, NJ, USA, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. G. Glockle and T. F. Nonnenmacher, “A fractional calculus approach of self-similar protein dynamics,”
*Biophysical Journal*, vol. 68, pp. 46–53, 1995. View at Google Scholar - D. Baleanu, Z. B. G. Günvenc, and J. A. T. Machado,
*New Trends in Nanotechnology and Fractional Calculus Applications*, Springer, New York, NY, USA, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Diethelm and A. D. Freed, “On the solution of fractional order differential equations used in the modeling of viscoplasticity,” in
*Scientific Computing in Chemical Engineering II-Computional Fluid Dynamics, Reaction Engineering and Molecular Properties*, F. Keil, W. Mackens, H. Voss, and J. Werther, Eds., pp. 217–224, Springer, Heidelberg, Germany, 1999. View at Google Scholar - A. Babakhani and V. Daftardar-Gejji, “Existence of positive solutions of nonlinear fractional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 278, no. 2, pp. 434–442, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Yu and G. Gao, “Existence of fractional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 310, no. 1, pp. 26–29, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Babakhani and V. Daftardar-Gejji, “Existence of positive solutions for
*N*-term non-autonomous fractional differential equations,”*Positivity*, vol. 9, no. 2, pp. 193–206, 2005. View at Publisher · View at Google Scholar · View at MathSciNet - D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “Asymptotically linear solutions for some linear fractional differential equations,”
*Abstract and Applied Analysis*, vol. 2010, Article ID 865139, 8 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Cabada and G. Wang, “Positive solutions of nonlinear fractional differential equations with integral boundary value conditions,”
*Journal of Mathematical Analysis and Applications*, vol. 389, no. 1, pp. 403–411, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad, J. J. Nieto, A. Alsaedi, and M. El-Shahed, “A study of nonlinear Langevin equation involving two fractional orders in different intervals,”
*Nonlinear Analysis: Real World Applications*, vol. 13, no. 2, pp. 599–606, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Bhalekar, V. Daftardar-Gejji, D. Baleanu, and R. Magin, “Fractional Bloch equation with delay,”
*Computers & Mathematics with Applications*, vol. 61, no. 5, pp. 1355–1365, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal and B. Ahmad, “Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1200–1214, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad, J. J. Nieto, and A. Alsaedi, “A nonlocal three-point inclusion problem of Langevin equation with two different fractional orders,”
*Advances in Difference Equations*, vol. 2012, article 54, 2012. View at Google Scholar - D. Baleanu and J. J. Trujillo, “On exact solutions of a class of fractional Euler-Lagrange equations,”
*Nonlinear Dynamics*, vol. 52, no. 4, pp. 331–335, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Diethelm and N. J. Ford, “Analysis of fractional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 265, no. 2, pp. 229–248, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Diethelm, “An algorithm for the numerical solution of differential equations of fractional order,”
*Electronic Transactions on Numerical Analysis*, vol. 5, pp. 1–6, 1997. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Odibat and S. Momani, “Numerical methods for nonlinear partial differential equations of fractional order,”
*Applied Mathematical Modelling*, vol. 32, pp. 28–39, 2008. View at Google Scholar - K. Diethelm and G. Walz, “Numerical solution of fractional order differential equations by extrapolation,”
*Numerical Algorithms*, vol. 16, no. 3-4, pp. 231–253, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Maraaba, D. Baleanu, and F. Jarad, “Existence and uniqueness theorem for a class of delay differential equations with left and right Caputo fractional derivatives,”
*Journal of Mathematical Physics*, vol. 49, no. 8, Article ID 083507, 11 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Ye, Y. Ding, and J. Gao, “The existence of a positive solution of a fractional differential equation with delay,”
*Positivity*, vol. 11, pp. 341–350, 2007. View at Google Scholar - J. K. Hale and J. Kato, “Phase space for retarded equations with infinite delay,”
*Funkcialaj Ekvacioj*, vol. 21, no. 1, pp. 11–41, 1978. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer Monographs in Mathematics, Springer, New York, NY, USA, 2003. View at MathSciNet - R. R. Golberg,
*Methods of Real Analysis*, Oxford and IBH Publishing Company, New Delhi, India, 1970. - D. Henry,
*Geometric Theory of Semilinear Parabolic Partial Differential Equations*, Springer, Berlin, Germany, 1989.