`Journal of Applied MathematicsVolume 2012, Article ID 916543, 19 pageshttp://dx.doi.org/10.1155/2012/916543`
Research Article

## On Nonlinear Neutral Fractional Integrodifferential Inclusions with Infinite Delay

1School of Mathematics, Yunnan Normal University, Kunming 650092, China
2Shanghai Key Laboratory for Contemporary Applied Mathematics, School of Mathematical Sciences, Fudan University, Shanghai 200433, China
3Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung 80424, Taiwan

Received 12 February 2012; Accepted 25 February 2012

Copyright © 2012 Fang Li 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

Of concern is a class of nonlinear neutral fractional integrodifferential inclusions with infinite delay in Banach spaces. A theorem about the existence of mild solutions to the fractional integrodifferential inclusions is obtained based on Martelli’s fixed point theorem. An example is given to illustrate the existence result.

#### 1. Introduction

As have been seen, the field of the application of fractional calculus is very broad. For instance, we can see it in the study of the memorial materials, earthquake analysis, robots, electric fractal network, fractional sine oscillator, electrolysis chemical, fractional capacitance theory, electrode electrolyte interface description, fractal theory, especially in the dynamic process description of porous structure, fractional controller design, vibration control of viscoelastic system and pliable structure objects, fractional biological neurons, and probability theory. The mathematical modeling and simulation of systems and processes, based on the description of their properties in terms of fractional derivatives, naturally leads to differential equations of fractional-order. The main feature of fractional order differential equation is containing the noninteger order derivative. It can effectively describe the memory and transmissibility of many natural phenomena. These differential equations have been studied by many researchers (cf., e.g., [111] and references therein).

As an generalization of differential equations, differential inclusions have also been investigated (cf., e.g., [1, 7, 12, 13] and references therein). Moreover, equations with delay are often more useful to describe concrete systems than those without delay. So the study of these equations has been attracted so much attention (cf., e.g., [1, 4, 8, 12, 1421] and references therein).

In this paper, we pay our attention to the investigation of the existence of mild solutions to the following fractional integrodifferential inclusions of neutral type with infinite delay in a Banach space : where , the fractional derivative is understood in the Caputo sense ([2], see Definition 2.3 in Section 2), is an admissible phase space, defined by, , generates a compact and uniformly bounded semigroup on which implies that there exists such that, belongs to with and is a multivalued map to be specified later.

#### 2. Preliminaries

Throughout this paper, is a Banach space with norm , is the Banach space of all linear continuous operators on , , and () is the space of all -valued continuous functions on .

Moreover, we abbreviate as , for any .

We use the notation to denote the family of all nonempty subsets of . Let denote, respectively, the family of all nonempty bounded, closed, compact, convex, and compact-convex subsets of .

See the following definition about admissible phase space according to [8, 1421].

Definition 2.1. A linear space consisting of functions from into with norm is called an admissible phase space if has the following properties.(H1)For any and , if is continuous on and , then , is continuous in , and for a positive constant . (H2)There exists a continuous function and a locally bounded function in such that     for and as in (H1).(H3)The space is complete.

Remark 2.2. (H1) is equivalent to that for any and , if is continuous on and , then , is continuous in , and for a positive constant .

Now we recall some very basic concepts in the fractional calculus theory. For more details see, for example, [2, 9, 11].

We set for , and , where is the Gamma function.

Definition 2.3. Let and . Then the expression with is called Riemann-Liouville integral of order of .

Definition 2.4. Let , (). The Caputo fractional derivative of order of is defined by where .

The following concepts are also very basic, which will be used later.

A multivalued map is convex (closed) valued if is convex (closed) for all . is bounded on bounded sets if is bounded in for all , that is,

A multivalued map is said to be measurable if for each the function defined by is measurable.

If for each , the set is a nonempty, closed subset of , and for each open set of containing , there exists an open neighborhood of such that , then is called upper semicontinuous (u.s.c.) on .

If for every , is relatively compact, then is said to be completely continuous.

If the multivalued map is completely continuous with nonempty compact values, then is u.s.c. if and only if has a closed graph, that is, We say that has a fixed point if there is some such that .

For more details on multivalued maps we refer to the book by Deimling [22].

The following is the multivalued version of the fixed-point theorem due to Martelli [23].

Lemma 2.5. Let be a Banach space and let be an upper semicontinuous is bounded; then has a fixed point and completely continuous multivalued map. If the set is bounded, then has a fixed point.

Following Liang and Xiao [14, 15], let be the set defined by

Let be the norm of defined by

Based on the work in [7, 11], we set and is a probability density function defined on (see [7]) such that where

Remark 2.6. It is not difficult to verify that for , Then, we can see

We define the mild solution to problem (1.1) as follows.

Definition 2.7. A function satisfying the equation is called a mild solution of problem (1.1), where

Remark 2.8. (1) Since we only consider the following case: we define the mild solution to problem (1.1) in the way as mentioned before.
(2) For general , one can define the mild solution to problem (1.1) similarly and obtain the same conclusion by the similar arguments given in this paper. So we only pay attention to the essential case:

#### 3. Results and Proofs

We will require the following assumptions.(A1);  is measurable with respect to for each ; for every , the map is u.s.c., and the set

is nonempty.(A2) There exist two functions such that(A3)There exist positive constants and such that(A4)For each , is measurable on and

is bounded on . The map is continuous from to .

The following lemma will be used in the proof of our main result.

Lemma 3.1 (see [24]). Let be a compact real interval and let be a Banach space. Let be a multivalued map satisfying hypothesis (A1) and let be a linear continuous mapping from . Then, is a closed graph operator in .

To prove the main result, we consider the multivalued map defined by where .

It is clear that the fixed points of are mild solutions to problem (1.1).

For , we define the function then .

Set , .

It is obvious that satisfies (2.19) if and only if satisfies and for , where Let For any , Thus is a Banach space.

Set For , from Definition 2.1, we have where Define the operator by where .

We can see that if has a fixed point in , then has a fixed point in which is a mild solution of problem (1.1).

Assume the following.(A5) The function is completely continuous, and for every bounded set , the set is equicontinuous in .

Then we can deduce that has a fixed point under the assumptions (A1)–(A5). For this purpose, we will show that the multivalued operator is completely continuous, u.s.c. with convex values. The proof of this conclusion will be given by proving the following six propositions.

Proposition 3.2. is convex for each .

Proof. For , there exist such that for each we have Let . Then for each , we get Since has convex values, is convex, we see that

Proposition 3.3. maps bounded sets into bounded sets in .

Proof. Let . If , then there exists such that In view of (A3) and (3.13), Hence from (A2), (A3), and (3.13), it follows that where Therefore, for each , we have

Proposition 3.4. maps bounded sets into equicontinuous sets in .

Proof. Let for , and let . Then we have It follows from the continuity of in the uniform operator topology for that The equicontinuity of ensures that For , we obtain where Clearly, the first term and third term on the right-hand side of (3.28) tend to 0 as . The second term on the right-hand side of (3.28) tends to 0 as as a consequence of the continuity of in the uniform operator topology for .
Thus the set is equicontinuous.

Proposition 3.5. is relatively compact for each , where

Proof. Fix . For arbitrary and arbitrary , write where . Since is compact for each and (A5), the set is relatively compact. Moreover, which implies that is relatively compact.

Now, it follows from Propositions 3.33.5 and the Ascoli-Arzela theorem that

is completely continuous.

Proposition 3.6. has a closed graph.

Proof. Suppose that We claim that In fact, the assumption implies that there exists such that We will show that there exists such that Obviously, as , we have Consider the following linear continuous operator: By virtue of Lemma 3.1, we know that is a closed graph operator. Moreover, we get Since and , it follows from Lemma 3.1 that for some .

Now, we can conclude that is a completely continuous multivalued map, u.s.c. with convex values. Next, we give the existence result of problem (1.1).

Theorem 3.7. Assume that (A1)–(A5) are satisfied; then there exists a mild solution of (1.1) on provided that .

Proof. Define Then, according to the previous propositions and discussions, we see that we only need to prove that the set is bounded.
Take . Then there exists such that It follows from Definition 2.1 and (A2) that where Denote and let such that . Then, by (3.45), we get Furthermore, It is known from [25, Lemma  7.1.1] that, for any continuous functions , if is nondecreasing and there are constants and such that then there exists a constant such that By virtue of this general fact and (3.49), we see that there exists a constant such that Therefore . This means that the set is bounded.
Thus, it follows from Lemma 2.5 that has a fixed point in . Then has a fixed point which gives rise to a mild solution to problem (1.1).

Example 3.8. Set and define by Then generates a compact, analytic semigroup of uniformly bounded linear operators, and (see [26] for more related information).
Consider the following Cauchy problem for a fractional integrodifferential conclusion: where , , is a continuous function and is a u.s.c. multivalued map with compact convex values.
Let , define the space endowed with the norm Clearly, we can see that is an admissible phase space which satisfies (H1)–(H3) with For , , and , let Then problem (3.54) can be written in the abstract form (1.1).

Furthermore, we assume the following.(1)The function is continuous and(2)There exists a continuous function such that(3)The function is continuous in and Then, we can obtain where .

Moreover, Therefore, by virtue of Theorem 3.7, problem (3.54) has a mild solution when .

#### Acknowledgments

F. Li acknowledges support from the NSF of Yunnan Province (2009ZC054M). T.- J. Xiao acknowledges support from the NSF of China (11071042), the Chinese Academy of Sciences and the Shanghai Key Laboratory for Contemporary Applied Mathematics (08DZ2271900). H.- K. Xu acknowledges support from NSC 100-2115-M-110-003-MY2 (Taiwan).

#### References

1. 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, Article ID 981728, 47 pages, 2009.
2. M. Caputo, Elasticit`a e Dissipazione, Zanichelli, Bologna, Italy, 1969.
3. 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.
4. F. Li, “Solvability of nonautonomous fractional integrodifferential equations with infinite delay,” Advances in Difference Equations, Article ID 806729, 18 pages, 2011.
5. K. Balachandran and J. J. Trujillo, “The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces,” Nonlinear Analysis, Theory, Methods and Applications, vol. 72, no. 12, pp. 4587–4593, 2010.
6. Z.-W. Lv, J. Liang, and T.-J. Xiao, “Solutions to fractional differential equations with nonlocal initial condition in Banach spaces,” Advances in Difference Equations, Article ID 340349, 10 pages, 2010.
7. F. Mainardi, P. Paradisi, and R. Gorenflo, “Probability distributions generated by fractional diffusion equations,” in Econophysics: An Emerging Science, J. Kertesz and I. Kondor, Eds., Kluwer, Dordrecht, The Netherlands, 2000.
8. G. M. Mophou and G. M. N'Guérékata, “Existence of mild solutions of some semilinear neutral fractional functional evolution equations with infinite delay,” Applied Mathematics and Computation, vol. 216, no. 1, pp. 61–69, 2010.
9. I. Podlubny, Fractional Differential Equations, vol. 198, Academic Press, San Diego, Calif, USA, 1999.
10. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives, Theory and Applications, Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993.
11. R.-N. Wang, D.-H. Chen, and T.-J. Xiao, “Abstract fractional Cauchy problems with almost sectorial operators,” Journal of Differential Equations, vol. 252, no. 1, pp. 202–235, 2012.
12. J. Henderson and A. Ouahab, “Fractional functional differential inclusions with finite delay,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 5, pp. 2091–2105, 2009.
13. V. Obukhovski and P. Zecca, “Controllability for systems governed by semilinear differential inclusions in a Banach space with a noncompact semigroup,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 9, pp. 3424–3436, 2009.
14. J. Liang and T.-J. Xiao, “The Cauchy problem for nonlinear abstract functional differential equations with infinite delay,” Computers & Mathematics with Applications, vol. 40, no. 6-7, pp. 693–703, 2000.
15. J. Liang and T.-J. Xiao, “Solvability of the Cauchy problem for infinite delay equations,” Nonlinear Analysis. Theory, Methods & Applications, vol. 58, no. 3-4, pp. 271–297, 2004.
16. J. Liang and T.-J. Xiao, “Solutions to nonautonomous abstract functional equations with infinite delay,” Taiwanese Journal of Mathematics, vol. 10, no. 1, pp. 163–172, 2006.
17. J. Liang, T. J. Xiao, and F. L. Huang, “Solvability and stability of abstract functional-differential equations with unbounded delay,” Sichuan Daxue Xuebao, vol. 31, no. 1, pp. 8–14, 1994.
18. J. Liang, T.-J. Xiao, and J. van Casteren, “A note on semilinear abstract functional differential and integrodifferential equations with infinite delay,” Applied Mathematics Letters, vol. 17, no. 4, pp. 473–477, 2004.
19. J. H. Liu, “Periodic solutions of infinite delay evolution equations,” Journal of Mathematical Analysis and Applications, vol. 247, no. 2, pp. 627–644, 2000.
20. T.-J. Xiao and J. Liang, “Blow-up and global existence of solutions to integral equations with infinite delay in Banach spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 71, no. 12, pp. e1442–e1447, 2009.
21. T.-J. Xiao, X.-X. Zhu, and J. Liang, “Pseudo-almost automorphic mild solutions to nonautonomous differential equations and applications,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 11, pp. 4079–4085, 2009.
22. K. Deimling, Multivalued Differential Equations, Walter de Gruyter, Berlin, Germany, 1992.
23. M. Martelli, “A Rothe's type theorem for non-compact acyclic-valued maps,” Bollettino della Unione Matematica Italiana, vol. 11, supplement, no. 3, pp. 70–76, 1975.
24. A. Lasota and Z. Opial, “An application of the Kakutani—Ky Fan theorem in the theory of ordinary differential equations,” Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 13, pp. 781–786, 1965.
25. D. Henry, Geometric Theory of Semilinear Parabolic Partial Differential Equations, Springer, Berlin, Germany, 1989.
26. T.-J. Xiao and J. Liang, The Cauchy Problem for Higher-order Abstract Differential Equations, vol. 1701 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1998.