- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
International Journal of Differential Equations
Volume 2014 (2014), Article ID 319250, 10 pages
Existence of Mild and Classical Solutions for Nonlocal Impulsive Integrodifferential Equations in Banach Spaces with Measure of Noncompactness
1Department of Mathematics, K.S.R. College of Technology, Tiruchengode, Tamil Nadu 637215, India
2Department of Mathematics, PSG College of Arts and Science, Coimbatore, Tamil Nadu 641014, India
3Department of Mathematics, Erode Arts and Science College, Erode, Tamil Nadu 638 009, India
4Universidad de La Laguna Departamento de Análisis Matemático, C/Astr. Fco. Snchez s/n, Tenerife, 38271 La Laguna, Spain
Received 24 December 2013; Revised 24 May 2014; Accepted 24 May 2014; Published 19 June 2014
Academic Editor: Juan J. Nieto
Copyright © 2014 K. Karthikeyan 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.
We study the existence of mild and classical solutions are proved for a class of impulsive integrodifferential equations with nonlocal conditions in Banach spaces. The main results are obtained by using measure of noncompactness and semigroup theory. An example is presented.
In this present paper, we are concerned with the existence of mild and classical solutions are proved for a class of impulsive integrodifferential equations with nonlocal conditions: where is the infinitesimal generator of a -semigroup in a Banach space and , , and are impulsive functions and , and is a real Banach space with norm . , denote the right and left limits of at , respectively.
Integrodifferential equations are important for investigating some problems raised from natural phenomena. They have been studied in many different aspects. The theory of semigroups of bounded linear operators is closely related to the solution of differential and integrodifferential equations in Banach spaces. In recent years, this theory has been applied to a large class of nonlinear differential equations in Banach spaces. We refer to the papers [1–5] and the references cited therein. Based on the method of semigroups, existence, and uniqueness of mild, strong, and classical solutions of semilinear evolution equations were discussed by Pazy . In , Xue studied the semilinear nonlocal differential equations with measure of noncompactness in Banach spaces. Lizama and Pozo  investigated the existence of mild solutions for semilinear integrodifferential equation with nonlocal initial conditions by using Hausdorff measure of noncompactness via a fixed point.
In recent years, the impulsive differential equations have been an object of intensive investigation because of the wide possibilities for their applications in various fields of science and technology as theoretical physics, population dynamics, economics, and so forth; see [9–13]. The study of semilinear nonlocal initial problem was initiated by Byszewski [14, 15] and the importance of the problem lies in the fact that it is more general and yields better effect than the classical initial conditions. Therefore it has been extensively studied under various conditions on the operator and the nonlinearity by several authors [13, 16–18].
Byszwski and Lakshmikantham  prove the existence and uniqueness of mild solutions and classical solutions when and satisfy Lipschitz-type conditions. Ntouyas and Tsamotas [20, 21] study the case of compactness conditions of and . Zhu et al.  studied the existence of mild solutions for abstract semilinear evolution equations in Banach spaces. In , Liu discussed the existence and uniqueness of mild and classical solutions for the impulsive semilinear differential evolution equation. In , the authors studied the existence of mild solutions to an impulsive differential equation with nonlocal conditions by applying Darbo-Sadovskii’s fixed point theorem. In recent paper , Ahmad et al. studied nonlocal problems of impulsive integrodifferential equations with measure of noncompactness. For some more recent results and details, see [26–29].
Motivated by the above-mentioned works, we derive some sufficient conditions for the solutions of integrodifferential equations (1) combining impulsive conditions and nonlocal conditions. Our results are achieved by applying the Hausdorff measure of noncompactness and fixed point theorem. In this paper, we denote by . Without loss of generality, we let .
Let () be a real Banach space. We denote by the space of X-valued continuous functions on with the norm and by the space of X-valued Bochner integrable functions on with the norm .
We put , . In order to define the mild solution of problem (1), we introduce the following set.
is continuous onand the right limit .
Definition 1. A function is a mild solution of (1) if The Hausdorff measure of noncompactness is defined by can be covered by finite number of balls with radii for bounded set in a Banach space .
Lemma 2 (see ). Let be a real Banach space and be bounded, with the following properties:(1)is precompact if and only if ;(2), where and mean the closure and convex hull of , respectively;(3), where ;(4), where ;(5);(6) for any ;(7)if the map is Lipschitz continuous with constant , then for any bounded subset , where be a Banach space;(8), where means the nonsymmetric (or symmetric) Hausdorff distance between and in ;(9)if is decreasing sequence of bounded closed nonempty subsets of and , then is nonempty and compact in .
The map is said to be a -contraction if there exists a positive constant such that for any bounded closed subset , where is a Banach space.
Lemma 3 (Darbo-Sadovskii ). If is bounded closed and convex, the continuous map is a -contraction, then the map has at least one fixed point in .
Lemma 4 (see ). If is bounded, then for all , where . Furthermore if is equicontinuous on each interval of [0,a], then is continuous on [0,a], and .
Lemma 5 (see ). If is uniformly integrable, then is measurable and
Lemma 6 (see ). If the semigroup is equicontinuous and , then the set is equicontinuous on [0,a].
Lemma 7 (see ). If is bounded, then for each , there is a sequence , such that .
3. Is Compact
In this section, we give the existence results of nonlocal integrodifferential equation (39). Here we list the following hypotheses.)The semigroup , , generated by is equicontinuous.()(i) is continuous and compact.(ii)There exists such that , for all and .
(I) Let be continuous, compact map and there are nondecreasing functions , satisfying , .()There exists a continuous function and a nondecreasing continuous function such that for all a.e. . And there exists at least one mild solution to the following scalar equation: ()(i) is measurable for is continuous for a.e. .(ii)There exist a function and an increasing continuous function such that for all and a.e. .(iii) is compact.()There exists a function such that for any bounded , for a.e. and for any bounded subset .Here we let and .
Theorem 8. Assume that the hypotheses , , I, , and are satisfied; then the nonlocal impulsive problem (1) has at least one mild solution.
Proof. Let m(t) be a solution of the scalar equation (5); the map is defined by
for all .
It is easy to see that the fixed point of is the mild solution of nonlocal impulsive problem (1).
From our hypotheses, the continuity of is proved as follows.
For this purpose, we assume that in ). It comes from the continuity of and that and , respectively.
By Lebesgue convergence theorem, Similarly we have for all . Consider as . So in . That is, is continuous.
We denote , for all ; then is bounded and convex.
Define , where means that the closure of the convex hull in .
For any , we know that and by , .
From the Arzela-Ascoli theorem, to prove the compactness of , we can prove that is equicontinuous and is precompact for : Since is compact, and as uniformly for and . This implies that for any and , there exist a such that for and all . Therefore
We know that for and all . So is equicontinuous.
The set , ,; , is precompact as f is compact and is a -semigroup.
So is precompact as for all . is equicontinuous on each interval of . For , , we have, using the semigroup properties which follows that is equicontinuous on each due to the equicontinuous of and hypotheses (I). Therefore, is bounded closed convex nonempty and equicontinuous on each interval , .
We define , for . From above we know that is a decreasing sequence of bounded, closed, convex nonempty subsets in and equicontinuous on each , .
Now for and , and are bounded subsets of . Hence for any , there is a sequence such that (see, e.g., [2, page 125]) for .
From the compactness of and , by Lemmas 2 and 5 and , we have Since is arbitrary, it follows from the above inequality that for all . Since is decreasing for , we define for all . From (20), we have for , which implies that for all . By Lemma 4, we know that Using Lemma 2, we also know that is convex, compact, and nonempty in and .
By the famous Schauder’s fixed point theorem, there exists at least one mild solution of the problem (1), where is a fixed point of the continuous map .
4. Is Lipschitz
In this section, we discuss the problem (1) when is Lipschitz continuous and , is not compact. We replace hypotheses , by
There is a constant such that for all .
(I′) There exists , , such that , for all .
Theorem 9. Assume that the hypotheses , , (I′), are satisfied. Then the nonlocal impulsive problem (1) has at least one mild solution on [0,a], provided that
Proof. Define the operator by
for all .
Define for all , and let .
Then from the proof of Theorem 8, we know that is a bounded closed convex and equicontinuous subset of and . We will prove that is -contraction on . Then Darbo-Sadovskii fixed point theorem can be used to get a fixed point of in , which is a mild solution of (1).
We first show that is Lipschitz on .
In fact, take arbitrary. Then by , we have
It follows that for all . That is, is Lipschitz with Lipschitz constant .
Next, for every bounded subset , for any , there is a sequence such that , for . Since and are equicontinuous, we get from Lemmas 2 and 5 and that for . Since arbitrary, we have for any bounded subset . for any subset ; due to Lemma 2, (29), and (30), we have From (24), we know that is -contraction on . By Lemma 3, there is a fixed point of in , which is a mild solution of problem (1).
5. Classical Solutions
To study the classical solutions, let us recall the following result.
Lemma 10. Assume that , , and that .
Then the impulsive differential equation has a unique classical solution u which satisfies, for , Now we make the following assumption.
() There exists a function such that for any bounded , or a.e. and for any bounded subset .
Theorem 11. Let be satisfied and a mild solution of the problem (1). Assume that , , and that . Then u(0) gives rise to a classical solution of the problem (1).
If is a uniquely determined mild solution, then it gives rise to a unique classical solution.
Proof. We can define .
From Lemma 10, has a unique classical solution which satisfies, for , Now, is a mild solution of the problem (1), so that we get for , Thus we get which gives, by and an application of Gronwall’s inequality, .
This implies that gives rise to a classical solution and completes the proof.
Let be a bounded domain in with smooth boundary , and . Consider the following nonlinear integrodifferential equation in : with nonlocal conditions or where . Set , Define nonlocal conditions or It is easy to see that generates a compact -semigroup in , and where and , , , .
For nonlocal conditions (45), Hence, is Lipschitz. Furthermore, and can be chosen such that (24) is also satisfied. Obviously, it satisfies all the assumptions given in our Theorem 9; the problem has at least one mild solution in .
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors are thankful for Project MTM2010-16499 from MEC of Spain.
- Q. Dong and G. Li, “Existence of solutions for semilinear differential equations with nonlocal conditions in Banach spaces,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 47, p. 13, 2009.
- T. Kato, “Quasi-linear equations of evolution, with applications to partial differential equations,” in Spectral Theory and Differential Equations, vol. 448 of Lectures Notes in Mathematics, pp. 25–70, Springer, Berlin, Germany, 1975.
- T. Kato, “Abstract evolution equations, linear and quasilinear, revisited,” in Functional Analysis and Related Topics, 1991 (Kyoto), vol. 1540 of Lectures Notes in Mathematics, pp. 103–125, Springer, Berlin, Germany, 1993.
- S. K. Ntouyas and P. Ch. Tsamatos, “Global existence for second order semilinear ordinary and delay integrodifferential equations with nonlocal conditions,” Applicable Analysis, vol. 67, no. 3-4, pp. 245–257, 1997.
- 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.
- A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer, New York, NY, USA, 1983.
- X. Xue, “Semilinear nonlocal differential equations with measure of noncompactness in Banach spaces,” Nanjing University. Journal. Mathematical Biquarterly, vol. 24, no. 2, pp. 264–276, 2007.
- C. Lizama and J. C. Pozo, “Existence of mild solutions for a semilinear integrodifferential equation with nonlocal initial conditions,” Abstract and Applied Analysis, vol. 2012, Article ID 647103, 15 pages, 2012.
- N. U. Ahmed, “Systems governed by impulsive differential inclusions on Hilbert spaces,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 45, no. 6, pp. 693–706, 2001.
- M. Benchohra, J. Henderson, and S. Ntouyas, Impulsive Differential Equations and Inclusions, vol. 2 of Contemporary Mathematics and Its Applications, Hindawi Publishing Corporation, New York, NY, USA, 2006.
- K. Malar and A. Tamilarasi, “Existence of mild solutions for nonlocal impulsive integrodifferential equations with the measure of noncompactness,” Far East Journal of Applied Mathematics, vol. 57, no. 1, pp. 15–31, 2011.
- S. Migórski and A. Ochal, “Nonlinear impulsive evolution inclusions of second order,” Dynamic Systems and Applications, vol. 16, no. 1, pp. 155–173, 2007.
- S. Ji and S. Wen, “Nonlocal Cauchy problem for impulsive differential equations in Banach spaces,” International Journal of Nonlinear Science, vol. 10, no. 1, pp. 88–95, 2010.
- L. Byszewski and H. Akca, “Existence of solutions of a semilinear functional-differential evolution nonlocal problem,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 34, no. 1, pp. 65–72, 1998.
- L. Byszewski, “Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem,” Journal of Mathematical Analysis and Applications, vol. 162, no. 2, pp. 494–505, 1991.
- S. Aizicovici and M. McKibben, “Existence results for a class of abstract nonlocal Cauchy problems,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 39, no. 5, pp. 649–668, 2000.
- J. Liang, J. Liu, and T.-J. Xiao, “Nonlocal Cauchy problems governed by compact operator families,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 57, no. 2, pp. 183–189, 2004.
- J. Liang, J. H. Liu, and T.-J. Xiao, “Nonlocal problems for integrodifferential equations,” Dynamics of Continuous, Discrete & Impulsive Systems A, vol. 15, no. 6, pp. 815–824, 2008.
- L. Byszewski and V. Lakshmikantham, “Theorem about the existence and uniqueness of a solution of a nonlocal abstract Cauchy problem in a Banach space,” Applicable Analysis, vol. 40, no. 1, pp. 11–19, 1991.
- 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.
- S. K. Ntouyas and P. Ch. Tsamatos, “Global existence for semilinear evolution integrodifferential equations with delay and nonlocal conditions,” Applicable Analysis, vol. 64, no. 1-2, pp. 99–105, 1997.
- T. Zhu, C. Song, and G. Li, “Existence of mild solutions for abstract semilinear evolution equations in Banach spaces,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 75, no. 1, pp. 177–181, 2012.
- J. H. Liu, “Nonlinear impulsive evolution equations,” Dynamics of Continuous, Discrete and Impulsive Systems, vol. 6, no. 1, pp. 77–85, 1999.
- S. Ji and G. Li, “A unified approach to nonlocal impulsive differential equations with the measure of noncompactness,” Advances in Difference Equations, vol. 2012, article 182, 2012.
- B. Ahmad, K. Malar, and K. Karthikeyan, “A study of nonlocal problems of impulsive integrodifferential equations with measure of noncompactness,” Advances in Difference Equations, vol. 2013, article 205, 2013.
- S. Ji and G. Li, “Existence results for impulsive differential inclusions with nonlocal conditions,” Computers & Mathematics with Applications, vol. 62, no. 4, pp. 1908–1915, 2011.
- L. Zhu, Q. Dong, and G. Li, “Impulsive differential equations with nonlocal conditionsin general Banach spaces,” Advances in Difference Equations, vol. 2012, article 10, 2012.
- A. Debbouche, D. Baleanu, and R. P. Agarwal, “Nonlocal nonlinear integrodifferential equations of fractional orders,” Boundary Value Problems, vol. 2012, article 78, 2012.
- D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo, Fractional Calculus Models and Numerical Methods, vol. 3 of Series on Complexity, Nonlinearity and Chaos, World Scientific, Singapore, 2012.
- J. Banaś and K. Goebel, Measures of Noncompactness in Banach Apaces, vol. 60 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1980.
- D. Both, “Multivalued perturbation of m-accretive differential inclusions,” Israel Journal of Mathematics, vol. 108, pp. 109–138, 1998.