Abstract
Using the Mönch fixed point theorem, this article proves the existence of mild solutions for nonlinear mixed type integro-differential functional evolution equations with nonlocal conditions in Banach spaces. Some restricted conditions on a priori estimation and measure of noncompactness estimation have been deleted, and compactness conditions of evolution operators or compactness conditions on a nonlinear term have been weakened. Our results extend and improve many known results.
MSC:34G20, 34K30.
Similar content being viewed by others
1 Introduction
Let be a Banach space, with the norm . It is easy to verify that is a Banach space. The space of X-valued Bochner integrable functions on J with the norm is denoted by . Consider the following nonlinear mixed type integro-differential functional evolution equations with nonlocal conditions in a Banach space ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ1_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ2_HTML.gif)
where
A is the generator of a strongly continuous semigroup in the Banach space X, and is a bounded operator for , , , , , , , and ().
For the existence of mild solutions of integro-differential functional evolution equations in abstract spaces, there are many research results, see [1–16], and references therein. In order to obtain the existence and controllability of mild solutions in these study papers, usually, some restricted conditions on a priori estimation and compactness conditions of an evolution operator or compactness conditions on are used.
Recently, using a fixed point theorem, Haribhau Laxman Tidkey and Machindra Baburao Dhakne [1] have studied the existence of mild solutions of IVP (1.1)-(1.2) when (), the compactness of the resolvent operator and the restricted condition
with is used. Malar [17] and Shi [18] studied the existence of mild solutions of semilinear mixed type integrodifferential evolution equations with the equicontinuous semigroup
Solvability of the scalar equation
and the restricted condition on measure of noncompactness estimation
are used in [17]. But estimations (3.15) and (3.21) in [18] seem to be incorrect, as they have no meaning.
In this paper, using the Mönch fixed point theorem, we investigate the existence of mild solutions of IVP (1.1)-(1.2). Some restricted conditions on a priori estimation and measure of noncompactness estimation have been deleted, and compactness conditions of a resolvent operator or compactness conditions on a nonlinear term have been weakened. Our results extend and improve some corresponding results in papers [1–4, 6–21].
2 Preliminaries
We will make the following assumptions:
() A generates a strongly continuous semigroup in the Banach space X.
() , . and for continuous in Y, . For , is continuous in , where is the space of all linear and bounded operators on X, and Y is the Banach space formed from , the domain of A, endowed with the graph norm.
Definition 2.1 [5]
is a resolvent operator of (1.1) with if for and satisfies the following conditions:
-
(1)
, the identity operator on X,
-
(2)
for all , is continuous for ,
-
(3)
, ; for , and
(2.1)
The resolvent operator is said to be equicontinuous if is equicontinuous for the entire bounded set and . If satisfies the following integral equation:
then x is said to be a mild solution IVP (1.1)-(1.2).
Lemma 2.2 [14]
Let the conditions (), () be satisfied. Then (1.1) with has a unique resolvent operator.
The following lemma is obvious.
Lemma 2.3 Let the resolvent operator be equicontinuous. If there is such that for a.e. , then the set is equicontinuous.
Lemma 2.4 [22]
Let be an equicontinuous bounded subset. Then (), .
Lemma 2.5 [23]
Let and there exists such that for any and a.e. . Then and
Lemma 2.6 [24] (Mönch)
Let E be a Banach space, Ω a closed convex subset in E and . Suppose that the continuous operator has the following property:
Then F has a fixed point in Ω.
For , let , (), , (), and for any . and denote the Kuratowski measure of noncompactness in X and respectively. For details on the properties of noncompact measure, we refer the reader to [22].
3 Existence of a mild solution
We make the following assumptions for convenience.
() There exist constants , and such that
and .
() is continuous, compact and there exists a constant such that .
() There exists such that
() There exist , such that
() For any and a bounded set , there exist constants () such that
() For any and a bounded set ,
() The resolvent operator is equicontinuous and for and some positive number
where , , .
Without loss of generality, we always suppose that .
Theorem 3.1 Let conditions (), (), ()-() be satisfied. Then IVP (1.1)-(1.2) has at least one mild solution.
Proof Let
We have by (), () and (),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ7_HTML.gif)
Let
Then is a closed convex subset in , and . Similar to the proof of [6] and [9], it is easy to verify that F is a continuous operator from into . For , , () and () imply
We can show from (3.3), () and Lemma 2.3 that is an equicontinuous subset in .
Let be a countable set and , then
From equicontinuity of and (3.4), we know that V is an equicontinuous subset in . By the properties of noncompact measure, the conditions (), (), (), (3.4) and Lemma 2.5, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ10_HTML.gif)
(3.5) together with Lemma 2.4 imply that , and so
. Hence V is relatively compact in . Lemma 2.6 implies that F has a fixed point in . Then IVP (1.1)-(1.2) has at least one mild solution. The proof is completed. □
Theorem 3.2 Let the conditions (), () and ()-() be satisfied. Then IVP (1.1)-(1.2) has at least one mild solution.
Proof Similar to (3.2) and (3.5), it is easy to verify
where . Taking , let . We have and the inequality (3.5) is transformed into , .
The other proof is similar to the proof of Theorem 3.1, we omit it. □
4 An example
Let . Consider the following partial functional integro-differential equation with a nonlocal condition,
where (), , , satisfies the condition (),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ12_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ13_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-100/MediaObjects/13661_2012_Article_191_Equ14_HTML.gif)
Let the operator A be defined by , with the domain
Then A generates a translation semigroup and is equicontinuous. The problem (4.1) can be regarded as a form of IVP (1.1)-(1.2). We have by (4.2), (4.3) and (4.4),
and
and M can be chosen such that . In addition, for any and a bounded set (), we can show that by the diagonal method,
Hence all the conditions of Theorem 3.1 are satisfied, the problem (4.1) has at least one mild solution in .
References
Tidke HL, Dhakne MB: Existence of solutions and controllability of nonlinear mixed integrodifferential equation with nonlocal conditions. Appl. Math. E-Notes 2011, 11: 12-22.
Yan Z, Wei P: Existence of solutions for nonlinear functional integrodifferential evolution equations with nonlocal conditions. Aequ. Math. 2010, 79: 213-228. 10.1007/s00010-010-0017-2
Tidke HL, Dhakne MB: Nonlocal Cauchy problems for nonlinear mixed integro-differential equations. Tamkang J. Math. 2010, 41: 361-373.
Balachandran K, Kumar RR: Existence of solutions of integrodifferential evolution equations with time varying delays. Appl. Math. Lett. 2007, 7: 1-8.
Kumar RR: Nonlocal Cauchy problem for analytic resolvent integrodifferential equations in Banach spaces. Appl. Math. Comput. 2008, 204: 352-362. 10.1016/j.amc.2008.06.050
Yang YL, Wang JR: On some existence results of mild solutions for nonlocal integro-differential Cauchy problems in Banach spaces. Opusc. Math. 2011, 31: 443-455.
Liu Q, Yuan R: Existence of mild solutions for semilinear evolution equations with non-local initial conditions. Nonlinear Anal. 2009, 71: 4177-4184. 10.1016/j.na.2009.02.093
Boucherif A, Precup R: Semilinear evolution equations with nonlocal initial conditions. Dyn. Syst. Appl. 2007, 16: 507-516.
Chalishajar DN: Controllability of mixed type Volterra-Fredholm integro-differential systems in Banach space. J. Franklin Inst. 2007, 344: 12-21. 10.1016/j.jfranklin.2006.04.002
Xue X: Existence of solutions of a semilinear nonlocal Cauchy problem in a Banach space. Elect. J. Diff. Eqs. 2005, 2005(64):1-7.
Liu JH, Ezzinbi K: Non-autonomous integrodifferential equations with nonlocal conditions. J. Integral Equ. Appl. 2003, 15: 79-93. 10.1216/jiea/1181074946
Ntouyas S, Tsamotas P: Global existence for semilinear evolution equations with nonlocal conditions. J. Math. Anal. Appl. 1997, 210: 679-687. 10.1006/jmaa.1997.5425
Byszewski L, Akca H: Existence of solutions of a semilinear functional-differential evolution nonlocal problem. Nonlinear Anal. 1998, 34: 65-72. 10.1016/S0362-546X(97)00693-7
Lin Y, Liu J: Semilinear integrodifferential equations with nonlocal Cauchy problem. Nonlinear Anal. 1996, 26: 1023-1033. 10.1016/0362-546X(94)00141-0
Byszewski L: Existence and uniqueness of solutions of semilinear evolution nonlocal Cauchy problem. Zesz. Nauk. Politech. Rzesz., Mat. Fiz. 1993, 18: 109-112.
Byszewski L: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 1991, 162: 494-505. 10.1016/0022-247X(91)90164-U
Malar K: Existence of mild solutions for nonlocal integro-differential equations with measure of noncompactness. Int. J. Math. Sci. Comput. 2011, 1: 86-91.
Shi H, Li W, Sun H-R: Existence of mild solutions for abstract mixed type semilinear evolution equations. Turk. J. Math. 2011, 35: 457-472.
Zhu T, Song C, Li G: Existence of mild solutions for abstract semilinear evolution equations in Banach spaces. Nonlinear Anal. 2012, 75: 177-181. 10.1016/j.na.2011.08.019
Fan Z, Dong Q, Li G: Semilinear differential equations with nonlocal conditions in Banach spaces. Int. J. Nonlinear Sci. 2006, 2(3):131-139.
Dong Q, Li G: Existence of solutions for semilinear differential equations with nonlocal conditions in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009, 47: 1-13.
Dajun G, Lakshmikantham V, Liu X: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht; 1996.
Heine HP: On the behavior of measure of noncompactness with respect to differentiation and integration of vector valued functions. Nonlinear Anal. 1983, 7: 1351-1371. 10.1016/0362-546X(83)90006-8
Mönch H: Boundary value problems for nonlinear ordinary equations of second order in Banach spaces. Nonlinear Anal. 1980, 4: 985-999. 10.1016/0362-546X(80)90010-3
Acknowledgements
The work was supported by Natural Science Foundation of Anhui Province (11040606M01) and Education Department of Anhui (KJ2011A061, KJ2011Z057), China.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Xie, S. Existence of solutions for nonlinear mixed type integro-differential functional evolution equations with nonlocal conditions. Bound Value Probl 2012, 100 (2012). https://doi.org/10.1186/1687-2770-2012-100
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-2770-2012-100