Mixed Monotone Iterative Technique for Abstract Impulsive Evolution Equations in Banach Spaces
© He Yang. 2010
Received: 29 December 2009
Accepted: 3 September 2010
Published: 14 September 2010
By constructing a mixed monotone iterative technique under a new concept of upper and lower solutions, some existence theorems of mild -periodic ( -quasi) solutions for abstract impulsive evolution equations are obtained in ordered Banach spaces. These results partially generalize and extend the relevant results in ordinary differential equations and partial differential equations.
1. Introduction and Main Result
in an ordered Banach space , where is a closed linear operator and generates a -semigroup in ; only satisfies weak Carathé odory condition, , is a constant; ; is an impulsive function, ; denotes the jump of at , that is, , where and represent the right and left limits of at , respectively. Let is continuous at and left continuous at , and exists, . Evidently, is a Banach space with the norm . Let , . Denote by the Banach space generated by with the norm . An abstract function is called a solution of the PBVP(1.1) if satisfies all the equalities of (1.1).
we call coupled lower and upper -quasisolutions of the PBVP(1.1). Only choosing " " in (1.2) and (1.3), we call coupled -periodic -quasisolution pair of the PBVP(1.1). Furthermore, if , we call an -periodic solution of the PBVP(1.1).
they built a mixed monotone iterative method for the PBVP(1.5), and they proved that, if the PBVP(1.5) has coupled lower and upper quasisolutions (i.e., and without impulse in (1.2) and (1.3)) and with , nonlinear term satisfies one of the following conditions:
Then the PBVP(1.5) has minimal and maximal coupled mild -periodic quasisolutions between and , which can be obtained by monotone iterative sequences from and . But conditions and are difficult to satisfy in applications except some special situations.
In this paper, by constructing a mixed monotone iterative technique under a new concept of upper and lower solutions, we will discuss the existence of mild -periodic ( -quasi) solutions for the impulsive evolution Equation(1.1) in an ordered Banach space . In our results, we will delete conditions and for the operator semigroup , and improve conditions and for nonlinearity . In addition, we only require that the nonlinear term satisfies weak Carathé odory condition:
Our main result is as follows:
Let be an ordered and weakly sequentially complete Banach space, whose positive cone is normal, be a closed linear operator and generate a positive -semigroup in . If the PBVP(1.1) has coupled lower and upper -quasisolutions and with , nonlinear term and impulsive functions 's satisfy the following conditions
The proof of Theorem 1.2 will be shown in the next section. In Section 2, we also discuss the existence of mild -periodic solutions for the PBVP(1.1) between coupled lower and upper -quasisolutions (see Theorem 2.3). In Section 3, the results obtained will be applied to a class of partial differential equations of parabolic type.
2. Proof of the Main Results
Then and , and especially, . It follows that has a bounded inverse operator , which is a positive operator when is a positive semigroup. Hence we choose . Then is the unique initial value of the IVP(2.7) in , which satisfies . Combining this fact with (2.8), it follows that (2.6) is satisfied.
Evidently, is also an ordered Banach space with the partial order " " reduced by positive function cone . is also normal with the same normal constant . For with , we use to denote the order interval in , and to denote the order interval in . From Lemma 2.2, if is a positive -semigroup, and , then the mild solution of the linear PBVP(2.5) satisfies .
Proof of Theorem 1.2.
Then we have the following existence and uniqueness result in general ordered Banach space.
Let be an ordered Banach space, whose positive cone is normal, be a closed linear operator, and generate a positive -semigroup in . If the PBVP(1.1) has coupled lower and upper -quasisolution and with , nonlinear term and impulsive functions 's satisfy the following assumptions:
3. An Example
Then generates an analytic semigroup in . By the maximum principle of the equations of parabolic type, it is easy to prove that is a positive -semigroup in . Let be the first eigenvalue of operator and be a corresponding positive eigenvector. For solving the problem (3.1), the following assumptions are needed.
In applications of partial differential equations, we often choose Banach space as working space, which is weakly sequentially complete. Hence the result in Theorem 1.2 is more valuable in applications. In particular, we obtain a unique mild -periodic solution of the PBVP(1.1) in general ordered Banach space in Theorem 2.3.
If , then the coupled lower and upper -quasisolutions are equivalent to coupled lower and upper quasisolutions of the PBVP(1.1). Since condition contains conditions and , even without impulse in PBVP(1.1), the results in this paper still extend the results in [10, 11].
The author is very grateful to the reviewers for their helpful comments and suggestions. Research supported by NNSF of China (10871160), the NSF of Gansu Province (0710RJZA103), and Project of NWNUKJCXGC-3-47.
- Du SW, Lakshmikantham V: Monotone iterative technique for differential equations in a Banach space. Journal of Mathematical Analysis and Applications 1982, 87(2):454–459. 10.1016/0022-247X(82)90134-2MathSciNetView ArticleMATHGoogle Scholar
- Lakshmikantham V, Vatsala AS: Quasisolutions and monotone method for systems of nonlinear boundary value problems. Journal of Mathematical Analysis and Applications 1981, 79(1):38–47. 10.1016/0022-247X(81)90006-8MathSciNetView ArticleGoogle Scholar
- Ladde GS, Lakshmikantham V, Vatsala AS: Monotone Iterative Techniques for Nonlinear Differential Equations, Monographs, Advanced Texts and Surveys in Pure and Applied Mathematics. Volume 27. Pitman, Boston, Mass, USA; 1985:x+236.Google Scholar
- Lan H-Y: Monotone method for a system of nonlinear mixed type implicit impulsive integro-differential equations in Banach spaces. Journal of Computational and Applied Mathematics 2008, 222(2):531–543. 10.1016/j.cam.2007.11.021MathSciNetView ArticleMATHGoogle Scholar
- Ahmad B, Sivasundaram S: The monotone iterative technique for impulsive hybrid set valued integro-differential equations. Nonlinear Analysis: Theory, Methods & Applications 2006, 65(12):2260–2276. 10.1016/j.na.2006.01.033MathSciNetView ArticleMATHGoogle Scholar
- Li Y, Liu Z: Monotone iterative technique for addressing impulsive integro-differential equations in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 2007, 66(1):83–92. 10.1016/j.na.2005.11.013MathSciNetView ArticleMATHGoogle Scholar
- Ahmad B, Alsaedi A: Existence of solutions for anti-periodic boundary value problems of nonlinear impulsive functional integro-differential equations of mixed type. Nonlinear Analysis: Theory, Methods & Applications 2009, 3(4):501–509.MathSciNetMATHGoogle Scholar
- Lakshmikantham V, Leela S: Existence and monotone method for periodic solutions of first-order differential equations. Journal of Mathematical Analysis and Applications 1983, 91(1):237–243. 10.1016/0022-247X(83)90102-6MathSciNetView ArticleMATHGoogle Scholar
- Li YX: Existence and uniqueness of positive periodic solutions for abstract semilinear evolution equations. Journal of Systems Science and Mathematical Sciences 2005, 25(6):720–728.MathSciNetMATHGoogle Scholar
- Li YX: Periodic solutions of semilinear evolution equations in Banach spaces. Acta Mathematica Sinica 1998, 41(3):629–636.MathSciNetMATHGoogle Scholar
- Shen PL, Li FY: Coupled periodic solutions of nonlinear evolution equations in Banach spaces. Acta Mathematica Sinica 2000, 43(4):685–694.MathSciNetMATHGoogle Scholar
- Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences. Volume 44. Springer, New York, NY, USA; 1983:viii+279.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. 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.