About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2012 (2012), Article ID 913809, 11 pages
http://dx.doi.org/10.1155/2012/913809
Research Article

Existence of Solutions for Nonlinear Mixed Type Integrodifferential Functional Evolution Equations with Nonlocal Conditions

Department of Mathematics and Physics, Anhui University of Architecture, Anhui, Hefei 230022, China

Received 29 June 2012; Revised 14 August 2012; Accepted 1 September 2012

Academic Editor: Beata Rzepka

Copyright © 2012 Shengli Xie. 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

Using Mönch fixed point theorem, this paper proves the existence and controllability of mild solutions for nonlinear mixed type integrodifferential functional evolution equations with nonlocal conditions in Banach spaces, some restricted conditions on a priori estimation and measure of noncompactness estimation have been deleted, our results extend and improve many known results. As an application, we have given a controllability result of the system.

1. Introduction

This paper related to the existence and controllability of mild solutions for the following nonlinear mixed type integrodifferential functional evolution equations with nonlocal conditions in Banach space : where is closed linear operator on with a dense domain which is independent of , , and defined by for and , , , , are given functions.

For the existence and controllability of solutions of nonlinear integrodifferential functional evolution equations in abstract spaces, there are many research results, see [113] and their references. However, in order to obtain existence and controllability of mild solutions in these study papers, usually, some restricted conditions on a priori estimation and compactness conditions of evolution operator are used. Recently, Xu [6] studied existence of mild solutions of the following nonlinear integrodifferential evolution system with equicontinuous semigroup: Some restricted conditions on a priori estimation and measure of noncompactness estimation: are used, and some similar restricted conditions are used in [14, 15]. But estimations (3.15) and (3.21) in [15] seem to be incorrect. Since spectral radius of linear Volterra integral operator , in order to obtain the existence of solutions for nonlinear Volterra integrodifferential equations in abstract spaces by using fixed point theory, usually, some restricted conditions on a priori estimation and measure of noncompactness estimation will not be used even if the infinitesimal generator .

In this paper, using Mönch fixed point theorem, we investigate the existence and controllability of mild solution of nonlinear Volterra-Fredholm integrodifferential system (1.1), some restricted conditions on a priori estimation and measure of noncompactness estimation have been deleted, our results extend and improve the corresponding results in papers [220].

2. Preliminaries

Let be a real Banach space and let be a Banach space of all continuous -valued functions defined on with norm for . denotes the Banach space of bounded linear operators from into itself.

Definition 2.1. The family of linear bounded operators on is said an evolution system, if the following properties are satisfied:(i), where is the identity operator in ;(ii) for ;(iii) the space of bounded linear operator on , where for every and for each , the mapping is continuous.

The evolution system is said to be equicontinuous if for all bounded set , is equicontinuous for . is said to be a mild solution of the nonlocal problem (1.1), if for , and, for , it satisfies the following integral equation:

The following lemma is obvious.

Lemma 2.2. Let the evolution system be equicontinuous. If there exists a such that for a.e. , then the set is equicontinuous.

Lemma 2.3 (see [21]). Let . If there exists such that for any and a.e. , then and

Lemma 2.4 (see [22]). Let be an equicontinuous bounded subset. Then , .

Lemma 2.5 (see [23]). Let be a Banach space, a closed convex subset in , and . Suppose that the operator is continuous and has the following property: Then has a fixed point in .

Let , and denote the Kuratowski measure of noncompactness in and , respectively. For details on properties of noncompact measure, see [22].

3. Existence Result

We make the following hypotheses for convenience. is continuous, compact and there exists a constant such that . satisfies the Carathodory conditions, that is, is measurable for each , is continuous for a.e. . There is a bounded measure function such that For each are measurable and is continuous for a.e. . For each , there are nonnegative measure functions on such that and are bounded on . For any bounded set , there is bounded measure function such that The resolvent operator is equicontinuous and there are positive numbers and such that , where , .

Theorem 3.1. Let conditions be satisfied. Then the nonlocal problem (1.1) has at least one mild solution.

Proof. Define an operator by We have by and , Consequently, where . Taking , let Then is a closed convex subset in and . Similar to the proof in [14, 24], it is easy to verify that is a continuous operator from into . For , and imply We can show that from , (3.9) and Lemma 2.2 that is an equicontinuous in .
Let be a countable set and From equicontinuity of and (3.10), we know that is an equicontinuous subset in . By , it is easy to see that . By properties of noncompact measure, and Lemma 2.3, we have Consequently, Equations (3.10), (3.12), and Lemma 2.4 imply where . Hence and is relative compact in . Lemma 2.5 implies that has a fixed point in , then the system (1.1), (1.2) has at least one mild solution. The proof is completed.

4. An Example

In this section, we give an example to illustrate Theorem 3.1.

Let . Consider the following functional integrodifferential equation with nonlocal condition: where functions is continuous on and uniformly Hölder continuous in , is bounded measure on , , and are continuous, respectively. Taking , The operator defined by with the domain Then generates an evolution system, and can be deduced from the evolution systems so that is equicontinuous and for some constants and (see [24, 25]). The system (4.1) can be regarded as a form of the system (1.1), (1.2). We have by (4.2) for , and is continuous and compact (see the example in [7]). and can be chosen such that . In addition, for any bounded set , we can show that by the diagonal method It is easy to verify that all conditions of Theorem 3.1 are satisfied, so the system (5.1) has at least one mild solution.

5. An Application

As an application of Theorem 3.1, we shall consider the following system with control parameter: where is a bounded linear operator from a Banach space to and . Then the mild solution of systems (5.1) is given by where the resolvent operator , , and satisfy the conditions stated in Section 3.

Definition 5.1. The system (5.2) is said to be controllable on , if for every initial function and there is a control such that the mild solution of the system (5.1) satisfies .

To obtain the controllability result, we need the following additional hypotheses. The resolvent operator is equicontinuous and , , for and positive number where are as before. The linear operator from into , defined by has an inverse operator , which takes values in and there exists a positive constant such that .

Theorem 5.2. Let the conditions and be satisfied. Then the nonlocal problem (1.1), (1.2) is controllable.

Proof. Using hypothesis , for an arbitrary , define the control Define the operator by Now we show that, when using this control, has a fixed point. Then this fixed point is a solution of the system (5.1). Substituting in (5.6), we get Clearly, , which means that the control steers the system (5.1) from the given initial function to the origin in time , provided we can obtain a fixed point of nonlinear operator . The remaining part of the proof is similar to Theorem 3.1, we omit it.

Remark 5.3. Since the spectral radius of linear Fredholm type integral operator may be greater than 1, in order to obtain the existence of solutions for nonlinear Volterra-Fredholm type integrodifferential equations in abstract spaces by using fixed point theory, some restricted conditions on a priori estimation and measure of noncompactness estimation will not be used even if the generator . But, these restrictive conditions are not being used in Theorems 3.1 and 5.2.

Acknowledgments

The work was supported by Natural Science Foundation of Anhui Province (11040606M01) and Education Department of Anhui (KJ2011A061, KJ2011Z057), China.

References

  1. R. Ravi Kumar, “Nonlocal Cauchy problem for analytic resolvent integrodifferential equations in Banach spaces,” Applied Mathematics and Computation, vol. 204, no. 1, pp. 352–362, 2008. View at Publisher · View at Google Scholar
  2. B. Radhakrishnan and K. Balachandran, “Controllability results for semilinear impulsive integrodifferential evolution systems with nonlocal conditions,” Journal of Control Theory and Applications, vol. 10, no. 1, pp. 28–34, 2012. View at Publisher · View at Google Scholar
  3. J. Wang and W. Wei, “A class of nonlocal impulsive problems for integrodifferential equations in Banach spaces,” Results in Mathematics, vol. 58, no. 3-4, pp. 379–397, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  4. M. B. Dhakne and K. D. Kucche, “Existence of a mild solution of mixed Volterra-Fredholm functional integrodifferential equation with nonlocal condition,” Applied Mathematical Sciences, vol. 5, no. 5–8, pp. 359–366, 2011.
  5. N. Abada, M. Benchohra, and H. Hammouche, “Existence results for semilinear differential evolution equations with impulses and delay,” CUBO. A Mathematical Journal, vol. 12, no. 2, pp. 1–17, 2010. View at Zentralblatt MATH
  6. X. Xu, “Existence for delay integrodifferential equations of Sobolev type with nonlocal conditions,” International Journal of Nonlinear Science, vol. 12, no. 3, pp. 263–269, 2011.
  7. Y. Yang and J. Wang, “On some existence results of mild solutions for nonlocal integrodifferential Cauchy problems in Banach spaces,” Opuscula Mathematica, vol. 31, no. 3, pp. 443–455, 2011. View at Zentralblatt MATH
  8. Q. Liu and R. Yuan, “Existence of mild solutions for semilinear evolution equations with non-local initial conditions,” Nonlinear Analysis, vol. 71, no. 9, pp. 4177–4184, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  9. A. Boucherif and R. Precup, “Semilinear evolution equations with nonlocal initial conditions,” Dynamic Systems and Applications, vol. 16, no. 3, pp. 507–516, 2007.
  10. D. N. Chalishajar, “Controllability of mixed Volterra-Fredholm-type integro-differential systems in Banach space,” Journal of the Franklin Institute, vol. 344, no. 1, pp. 12–21, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  11. J. H. Liu and K. Ezzinbi, “Non-autonomous integrodifferential equations with non-local conditions,” Journal of Integral Equations and Applications, vol. 15, no. 1, pp. 79–93, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  12. K. Balachandran and R. Sakthivel, “Controllability of semilinear functional integrodifferential systems in Banach spaces,” Kybernetika, vol. 36, no. 4, pp. 465–476, 2000.
  13. Y. P. Lin and J. H. Liu, “Semilinear integrodifferential equations with nonlocal Cauchy problem,” Nonlinear Analysis, vol. 26, no. 5, pp. 1023–1033, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  14. K. Malar, “Existence of mild solutions for nonlocal integro-di erential equations with measure of noncompactness,” Internationnal Journal of Mathematics and Scientic Computing, vol. 1, pp. 86–91, 2011.
  15. H.-B. Shi, W.-T. Li, and H.-R. Sun, “Existence of mild solutions for abstract mixed type semilinear evolution equations,” Turkish Journal of Mathematics, vol. 35, no. 3, pp. 457–472, 2011. View at Zentralblatt MATH
  16. T. Zhu, C. Song, and G. Li, “Existence of mild solutions for abstract semilinear evolution equations in Banach spaces,” Nonlinear Analysis, vol. 75, no. 1, pp. 177–181, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  17. Z. Fan, Q. Dong, and G. Li, “Semilinear differential equations with nonlocal conditions in Banach spaces,” International Journal of Nonlinear Science, vol. 2, no. 3, pp. 131–139, 2006.
  18. X. Xue, “Existence of solutions for semilinear nonlocal Cauchy problems in Banach spaces,” Electronic Journal of Differential Equations, vol. 64, pp. 1–7, 2005. View at Zentralblatt MATH
  19. S. K. Ntouyas and P. Ch. Tsamatos, “Global existence for semilinear evolution equations with nonlocal conditions,” Journal of Mathematical Analysis and Applications, vol. 210, no. 2, pp. 679–687, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  20. L. Byszewski and H. Akca, “Existence of solutions of a semilinear functional-differential evolution nonlocal problem,” Nonlinear Analysis, vol. 34, no. 1, pp. 65–72, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  21. H.-P. Heinz, “On the behaviour of measures of noncompactness with respect to differentiation and integration of vector-valued functions,” Nonlinear Analysis, vol. 7, no. 12, pp. 1351–1371, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  22. D. Guo, V. Lakshmikantham, and X. Liu, Nonlinear Integral Equations in Abstract Spaces, vol. 373 of Mathematics and Its Applications, Kluwer Academic, Dordrecht, The Netherlands, 1996.
  23. H. Mönch, “Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces,” Nonlinear Analysis, vol. 4, no. 5, pp. 985–999, 1980. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  24. R. Ye, Q. Dong, and G. Li, “Existence of solutions for double perturbed neutral functional evolution equation,” International Journal of Nonlinear Science, vol. 8, no. 3, pp. 360–367, 2009. View at Zentralblatt MATH
  25. A. Friedman, Partial Differential Equations, Holt, Rinehart and Winston, New York, NY, USA, 1969.