Hindawi Publishing Corporation Journal of Mathematics Volume 2014, Article ID 214093, 13 pages http://dx.doi.org/10.1155/2014/214093
Research Article Multiple Positive Periodic Solutions for Two Kinds of Higher-Dimension Impulsive Differential Equations with Multiple Delays and Two Parameters Zhenguo Luo1,2 1 2
Department of Mathematics, Hengyang Normal University, Hengyang, Hunan 421008, China Department of Mathematics, National University of Defense Technology, Changsha 410073, China
Correspondence should be addressed to Zhenguo Luo;
[email protected] Received 8 September 2013; Revised 13 February 2014; Accepted 13 February 2014; Published 6 April 2014 Academic Editor: Nan-Jing Huang Copyright Β© 2014 Zhenguo Luo. 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. By applying the fixed point theorem, we derive some new criteria for the existence of multiple positive periodic solutions for two kinds of π-dimension periodic impulsive functional differential equations with multiple delays and two parameters: π₯πσΈ (π‘) = ππ (π‘)π₯π (π‘) β πππ (π‘)ππ (π‘, π₯(π‘), π₯(π‘ β π1 (π‘)), . . . , π₯(π‘ β ππ (π‘)))), a.e., π‘ > 0, π‘ =ΜΈ π‘π , π β π+ , π₯π (π‘π+ ) β π₯π (π‘πβ ) = ππππ π₯π (π‘π ), π = 1, 2, . . . , π, π β π+ , and π₯πσΈ (π‘) = βππ (π‘)π₯π (π‘) + πππ (π‘)ππ (π‘, π₯(π‘), π₯(π‘ β π1 (π‘)), . . . , π₯(π‘ β ππ (π‘)))), a.e., π‘ > 0, π‘ =ΜΈ π‘π , π β π+ , π₯π (π‘π+ ) β π₯π (π‘πβ ) = ππππ π₯π (π‘π ), π = 1, 2, . . . , π, π β π+ . As an application, we study some special cases of the previous systems, which have been studied extensively in the literature.
1. Introduction Let π
= (ββ, +β), π
+ = [0, +β), π
β = (ββ, 0], π
π = {(π₯1 , . . . , π₯π )π : π₯π β₯ 0, 1 β€ π β€ π}, π½ β π
, and π+ = {1, 2, 3, . . .}, respectively. Denote by ππΆ(π½, π
π ) the set of operators π : π½ β π
π which are continuous for π‘ β π½, π‘ =ΜΈ π‘π and have discontinuities of the first kind at the points π‘π β π½ (π β π+ ) but are continuous from the left at these points. For each π₯ = (π₯1 , π₯2 , . . . , π₯π )π β π
π , the norm of π₯ is defined as |π₯| = βππ=1 |π₯π |. Let π΅πΆ(π
, π
+π ) denote the Banach space of bounded continuous functions π : π
β π
+π with the norm βπβ = supπβπ
βππ=1 |ππ (π)|, where π = (π1 , π2 , . . . , ππ )π . The matrix π΄ > π΅ (π΄ β€ π΅) means that each pair of corresponding elements of π΄ and π΅ satisfies the inequality β > β (β β€ β). In particular, π΄ is called a positive matrix if π΄ > 0. Impulsive differential equations are suitable for the mathematical simulation of evolutionary process whose states are subject to sudden changes at certain moments. Equations of this kind are found in almost every domain of applied sciences, and numerous examples are given in [1β4]. In recent years, the existence theory of positive periodic solutions of delay differential equations with impulsive effects or without
impulsive effects has been an object of active research, and we refer the reader to [5β17]. Recently, in [5], Jiang and Wei studied the following nonimpulsive delay differential equation: π₯σΈ (π‘) = βπ (π‘) π₯ (π‘) + π (π‘, π₯ (π‘ β π0 (π‘)) , π₯ (π‘ β π1 (π‘))) , . . . , π₯ (π‘ β ππ (π‘)) . (1) They obtained sufficient conditions for the existence of the positive periodic solutions of (1). Motivated by [5], in [6], Zhao et al. investigated the following impulsive delay differential equation: π₯σΈ (π‘) = βπ (π‘) π₯ (π‘) + π (π‘, π₯ (π‘ β π0 (π‘)) , π₯ (π‘ β π1 (π‘)) , . . . , π₯ (π‘ β ππ (π‘))) a.e., π‘ > 0, π‘ =ΜΈ π‘π ; π₯ (π‘π+ ) β π₯ (π‘π ) = ππ π₯ (π‘π ) ,
π = 1, 2, . . . . (2)
2
Journal of Mathematics
They derived some sufficient conditions for the existence of the positive periodic solutions of (2). In [7], Huo et al. considered the following impulsive delay differential equation: π₯σΈ (π‘) + πΌ (π‘) π₯ (π‘) = π (π‘) π (π‘, π₯ (π‘ β π (π‘))) a.e., π‘ > 0, π‘ =ΜΈ π‘π ; π₯ (π‘π+ ) β π₯ (π‘π ) = ππ π₯ (π‘π ) ,
(3)
π = 1, 2, . . . .
They got sufficient conditions for the existence and attractivity of the positive periodic solutions of (3). Motivated by [5β 7], in [8], Zhang et al. studied the following impulsive delay differential equation: π₯σΈ (π‘) = βπ (π‘) π₯ (π‘) + π (π‘) π (π‘, π₯ (π‘ β π0 (π‘)) , π₯ (π‘ β π1 (π‘)) , . . . , π₯ (π‘ β ππ (π‘))) π₯ (π‘π+ ) β π₯ (π‘π ) = ππ π₯ (π‘π ) ,
a.e., π‘ > 0, π‘ =ΜΈ π‘π ;
π = 1, 2, . . . . (4)
They obtained some sufficient conditions for the existence of the positive periodic solutions of (4). However, to this day, only a little work has been done on the existence of positive periodic solutions to the high-dimension impulsive differential equations based on the theory in cones. Motivated by this, in this paper, we mainly consider the following two classes of impulsive functional differential equations with two parameters: π₯σΈ (π‘) = π΄ (π‘) π₯ (π‘) β ππ΅ (π‘) π (π‘, π’ (π‘)) Ξπ₯ (π‘π ) = ππΆπ π₯ (π‘π ) ,
a.e. , π‘ > 0, π‘ =ΜΈ π‘π , π β π+ , (5)
π₯σΈ (π‘) = βπ΄ (π‘) π₯ (π‘) + ππ΅ (π‘) π (π‘, π’ (π‘)) Ξπ₯ (π‘π ) = ππΆπ π₯ (π‘π ) ,
a.e., π‘ > 0, π‘ =ΜΈ π‘π ,
π β π+ , (6)
(π1 ) ππ , ππ , ππ : π
+ β π
+ are locally summable π-periodic functions; that is, ππ (π‘ + π) = ππ (π‘), ππ (π‘ + π) = ππ (π‘), and ππ (π‘ + π) = ππ (π‘) for all π‘ β₯ 0, π > 0, and π > 0 are two parameters; (π2 ) π = (π1 , . . . , ππ )π β π
Γ π΅πΆ(π
, π
+π ) and for all (π‘, π’1 , . . . , π’π ) β π
Γ π΅πΆ(π
, π
π ), ππ (π‘ + π, π’1 , . . . , π’π ) = ππ (π‘, π’1 , . . . , π’π ) such that ππ (π‘, π’1 , . . . , π’π ) β‘ΜΈ 0, π = 1, 2, . . . , π; (π3 ) {π‘π }, π β π+ satisfies 0 < π‘1 < π‘2 < β
β
β
< π‘π < β
β
β
and limπ β +β π‘π = +β. πΆπ : π
+π β π
(π β π+ ) satisfy Caratheodory conditions and are π-periodic functions in π‘. Moreover, there exists a positive constant π such that π‘π+π = π‘π + π, π β π+ . Without loss of generality, we can assume that π‘π =ΜΈ 0 and [0, π] β© {π‘π , π β π+ } = {π‘1 , π‘2 , . . . , π‘π }; (π4 ) {πππ } is a real sequence such that ππππ > β1, π = 1, 2, . . . , π, π β π+ and ππ (π‘) := β0 0 is a constant. We assume that there exists an integer π > 0 such that π‘π+π = π‘π + π, ππ(π+π) = πππ (π = 1, 2, . . . , π), where 0 < π‘1 < π‘2 < β
β
β
< π‘π < π. Throughout the paper, we make the following assumptions:
(b) for each π β π+ , π₯π (π‘π+ ) and π₯π (π‘πβ ) exist, and π₯π (π‘πβ ) = π₯π (π‘π );
π β [βπ, 0] ,
ππ β πΆ ([βπ, 0) , [0, +β)) ,
(7)
π = 1, 2 . . . , π, where
Under the previous hypotheses (π1 )β(π4 ), we consider the neutral nonimpulsive system:
π’ (π‘) = (π₯ (π‘ β π1 (π‘)) , . . . , π₯ (π‘ β ππ (π‘))) = (π’1 (π‘) , . . . , π’π (π‘)) ,
(c) π₯π (π‘) satisfies the first equation of (5) and (6) for almost everywhere (for short a.e.) in [0, β] \ {π‘π } and satisfies π₯π (π‘π+ ) = (1 + πππ )π₯π (π‘π ) for π‘ = π‘π , π β π+ = {1, 2, . . .}.
(8)
π = max sup ππ (π‘) , 1β€πβ€π
and π΄(π‘) = diag[π1 (π‘), π2 (π‘), . . . , ππ (π‘)], π΅(π‘) = diag[π1 (π‘), π2 (π‘), . . . , ππ (π‘)], ππ , ππ β πΆ(π
, π
+ ) (π = 1, 2 . . . , π) are πperiodic; that is, ππ (π‘ + π) = ππ (π‘), ππ (π‘ + π) = ππ (π‘),
ππ¦ = π΄ (π‘) π¦ (π‘) β ππ΅ (π‘) π (π‘, V (π‘)) , ππ‘
a.e., π‘ β₯ 0,
ππ¦ = βπ΄ (π‘) π¦ (π‘) + ππ΅ (π‘) π (π‘, V (π‘)) , ππ‘
a.e., π‘ β₯ 0,
(9)
(10)
Journal of Mathematics
3 = β (1 + ππππ )
with initial conditions: π¦π (π) = ππ (π) , ππ (0) > 0,
0 σ΅©σ΅©π¦σ΅©σ΅© ,
σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 σ΅©σ΅© σ΅©σ΅© σ΅©π¦σ΅© ππ
π
> σ΅© σ΅©πΏ β€ = , ππΌππ ππΌπππΏ ππΌππΏ
for any π¦ β πΈ β© πΞ©π
.
(68)
Theorem 15. In addition to (π1 )β(π4 ), if (π»5 ) and (π»8 ) hold, then system (5) has at least one positive π-periodic solution.
Proof. By (π»7 ), for any π = π2 β 1/ππΌπππΏ > 0, there exists a sufficiently small π
> 0 such that πσ΅¨ σ΅¨ β«0 σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©π¦σ΅©σ΅©
1 > π2 + π = , ππΌπππΏ
πσ΅¨ σ΅¨ β«0 σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©π¦σ΅©σ΅©
(69)
σ΅© σ΅© for σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π;
π
σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 σ΅©σ΅© σ΅©σ΅© σ΅©π¦σ΅© ππ
π
> σ΅© σ΅©πΏ β₯ = , πΏ ππΌππ ππΌππ ππΌππΏ
π
which implies that (π»10 ) is satisfied.
(74)
which implies that (π»9 ) is satisfied. On the other hand, by (π»6 ), for any π = 1/ππ½ππ β πΎ1 > 0, there exists a sufficiently large πβ > 0 such that πσ΅¨ σ΅¨ β«0 σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©π¦σ΅©σ΅©
1 < πΎ1 + π = , ππ½ππ
(75)
σ΅© σ΅© for σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β₯ πβ .
In the following, we consider two cases to prove (π»6 ) to be π satisfied: β«0 |π(π‘, π¦(π‘ β π1 (π‘)), . . . , π¦(π‘ β ππ (π‘)))|ππ‘ are bounded π
σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 σ΅© σ΅© for σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π,
σ΅© σ΅© for ππ
β€ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π
,
and unbounded. The bounded case is clear. If β«0 |π(π‘, π¦(π‘ β π1 (π‘)), . . . , π¦(π‘ β ππ (π‘)))|ππ‘ are unbounded, then there exist π¦β β π
+π , π = βπ¦β β β₯ πβ and π‘0 β [0, π] such that
that is
σ΅©σ΅© σ΅©σ΅© σ΅©π¦σ΅© π < σ΅© σ΅©π β€ , ππ½π ππ½ππ
(73)
σ΅© σ΅© for 0 < σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π
;
that is
Proof. By (π»5 ), for any π = 1/ππ½ππ β π1 > 0, there exists a sufficiently small π > 0 such that
1 , ππ½ππ
(72)
which implies that (π»9 ) is satisfied. Therefore, by Theorem 14, we complete the proof.
(67)
In conclusion, under the assumptions (π»8 ) and (π»10 ), π satisfies the conditions in Lemma 4, and then π has a fixed point π₯1 β πΈ β© (Ξ©π
\ Ξ©π ). By Lemma 4, the system (5) has at least one positive π-periodic solution π₯1 satisfying π < βπ₯1 β < π
, where π and π
are defined in (π»9 ) and (π»10 ), respectively. The proof of Theorem 14 is complete.
< π1 + π =
σ΅© σ΅© for σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π
,
Theorem 16. In addition to (π1 )β(π4 ), if (π»6 ) and (π»7 ) hold, then system (5) has at least one positive π-periodic solution.
σ΅¨ σ΅¨ σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©ππ¦σ΅©σ΅© = β sup σ΅¨σ΅¨σ΅¨(ππ π¦) (π‘)σ΅¨σ΅¨σ΅¨
> πππΏ πΌ
σ΅© σ΅© for σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β₯ ππ
;
that is
π σ΅© σ΅© = π = σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© , ππππ½
which yields σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©ππ¦σ΅©σ΅© < σ΅©σ΅©π¦σ΅©σ΅© ,
(71)
π
(70)
σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 π
(76) σ΅¨ σ΅¨ β€ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦β (π‘ β π1 (π‘)) , . . . , π¦β (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘, 0 σ΅© σ΅© σ΅© σ΅© for any σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ σ΅©σ΅©σ΅©π¦β σ΅©σ΅©σ΅© = π.
10
Journal of Mathematics
Since π = βπ¦β β₯ βπ¦β β β₯ πβ , then we get
In conclusion, under the assumptions (π»1 ) and (π»6 ), π satisfies the conditions in Lemma 4, and then π has a fixed point in πΈβ©(Ξ©π2 \Ξ©π1 ). By Lemma 4, the system (5) has at least one positive π-periodic solution. The proof of Theorem 19 is complete.
π
σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 π
σ΅¨ σ΅¨ β€ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦β (π‘ β π1 (π‘)) , . . . , π¦β (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 σ΅©σ΅© β σ΅©σ΅© σ΅©π¦ σ΅©σ΅© π < σ΅© π = , ππ½π ππ½ππ
(77) Similar to Theorem 19, we can get the following consequences.
σ΅© σ΅© for any 0 < σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π,
which implies that the condition (π»6 ) holds. By Theorem 14, we complete the proof. Theorem 17. In addition to (π1 )β(π4 ), if (π»5 ), (π»6 ), and (π»9 ) hold, then system (5) has at two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π
< βπ₯2 β, where π
is defined in (π»9 ). Proof. By (π»5 ) and the proof of Theorem 15, there exists a sufficiently small π1 β (0, π) such that π
σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ 0 σ΅©σ΅© σ΅©σ΅© σ΅©π¦σ΅© π1 < σ΅© σ΅©π β€ , ππ½π ππ½ππ
σ΅© σ΅© for 0 < σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π1 .
(78)
On the other hand, from (π»6 ) and the proof of Theorem 16, there exists a sufficiently large π2 β (π, β) such that
Theorem 20. In addition to (π1 )β(π4 ), if (π»2 ) and (π»5 ) hold, then system (5) has at least one positive π-periodic solution. Theorem 21. In addition to (π1 )β(π4 ), if (π»3 ) and (π»8 ) hold, then system (5) has at least one positive π-periodic solution. Theorem 22. In addition to (π1 )β(π4 ), if (π»4 ) and (π»7 ) hold, then system (5) has at least one positive π-periodic solution. Theorem 23. In addition to (π1 )β(π4 ), if (π»1 ), (π»8 ), and (π»10 ) hold, then system (5) has two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π < βπ₯2 β, where π is defined in (π»10 ). Proof. Let Ξ©π = {π¦ β π : βπ¦β < π}. By (π»1 ) and the proof of Theorem 10, there exists a sufficiently small π1 β (0, π) such that σ΅©σ΅© σ΅©σ΅© σ΅© σ΅© σ΅© σ΅© πΏ σ΅©σ΅©ππ¦σ΅©σ΅© β₯ ππ π½π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β₯ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© ,
for any π¦ β πΈ β© πΞ©π1 .
π
π σ΅¨ σ΅¨ , β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ < ππ½ππ 0 σ΅© σ΅© for 0 < σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β€ π2 .
(82)
Likewise, by (π»8 ) and the proof of Theorem 15, there exists a sufficiently large π2 β (0, π) such that (79)
Therefore, from the proof of Theorem 14, there exist two positive solutions π¦1 and π¦2 satisfying π < βπ¦1 β < π < βπ¦2 β < π2 , where π is defined in (π»9 ); the proof of Theorem 17 is complete. Theorem 18. In addition to (π1 )β(π4 ), if (π»7 ), (π»8 ), and (π»10 ) hold, then system (5) has at least two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π < βπ₯2 β, where R is defined in (π»10 ). Proof. The proof is similar to that of Theorem 17, and we omit the details here. Theorem 19. In addition to (π1 )β(π4 ), if (π»1 ) and (π»6 ) hold, then system (5) has at least one positive π-periodic solution. Proof. Let Ξ©π = {π¦ β π : βπ¦β < π}. By (π»1 ) and the proof of Theorem 10, there exists a sufficiently small π1 β (0, π) such that σ΅© σ΅© σ΅© σ΅© σ΅©σ΅© σ΅©σ΅© πΏ σ΅©σ΅©ππ¦σ΅©σ΅© β₯ ππ π½π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β₯ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© , for any π¦ β πΈ β© πΞ©π1 . (80) Likewise, by (π»6 ) and the proof of Theorem 16, there exists a sufficiently large π2 β (π, β) such that σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©ππ¦σ΅©σ΅© < σ΅©σ΅©π¦σ΅©σ΅© , for any π¦ β πΈ β© πΞ©π2 . (81)
σ΅© σ΅© σ΅© σ΅© σ΅©σ΅© σ΅©σ΅© πΏ σ΅©σ΅©ππ¦σ΅©σ΅© β₯ ππ π½π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β₯ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© ,
for any π¦ β πΈ β© πΞ©π2 .
(83)
Incorporating (π»10 ) and the proof of Theorem 14, we know that there exist two positive π-periodic solutions π₯1 and π₯2 satisfying π1 < βπ₯1 β < π < βπ₯2 β < π2 , where π is defined in (π»10 ). The proof of Theorem 23 is complete. Similar to Theorem 23, one immediately has the following consequences. Theorem 24. In addition to (π1 )β(π4 ), if (π»2 ), (π»7 ), and (π»10 ) hold, then system (5) has two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π < βπ₯2 β, where π is defined in (π»10 ). Theorem 25. In addition to (π1 )β(π4 ), if (π»3 ), (π»6 ), and (π»9 ) hold, then system (5) has two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π
< βπ₯2 β, where R is defined in (π»9 ). Theorem 26. In addition to (π1 )β(π4 ), if (π»4 ), (π»5 ), and (π»9 ) hold, then system (5) has two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π
< βπ₯2 β, where R is defined in (π»9 ).
Journal of Mathematics
11
3. Existence of Periodic Solutions of System (6) Now, we are at the position to study the existence of positive periodic solutions of system (6). By carrying out similar arguments as in Section 2, it is not difficult to derive sufficient criteria for the existence of positive periodic solutions of system (6). For simplicity, we prefer to list below the corresponding criteria for system (6) without proof, since the proofs are very similar to those in Section 2. For (π‘, π ) β π
2 , 1 β€ π β€ π, we define π
πΊπβ
(π‘, π ) =
πβ«π‘ ππ (π)ππ
π
πβ«0
ππ (π)ππ
β1
,
Lemma 27. Assume that (π1 )β(π4 ) hold. The existence of positive π-periodic solution of system (6) is equivalent to that of nonzero fixed point of π΄ in π. Lemma 28. Assume that (π1 )β(π4 ) hold. Then the solutions of system (6) are defined on [βπ, β) and are positive. Lemma 29. Assume that (π1 )β(π4 ) hold. Then π΄ : π β π is well defined. Lemma 30. Assume that (π1 )β(π4 ) hold, and there exists π > 0 such that π
(84)
σ΅© σ΅© σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ β₯ π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© , 0
β€ β€ πΊβ (π‘, π‘ + π), and it is clear β β πΊπ (π‘, π‘ + π) β πΊπβ (π‘, π‘) = 1. In ππΊπ (π‘, π )/ππ‘ = view of (π1 ), we also define for 1 β€ π β€ π
πππ πππ¦ π¦ β π,
β
πΊ (π‘, π ) =
diag [πΊ1β
(π‘, π ) , πΊ2β
(π‘, π ) , . . . , πΊπβ
that πΊπβ (π‘, π‘) ππ (π‘)πΊπβ (π‘, π ),
πΌπβ
σ΅¨ σ΅¨ := min σ΅¨σ΅¨σ΅¨πΊπβ (π‘, π )σ΅¨σ΅¨σ΅¨ = 0β€π‘β€π β€π
σ΅¨ σ΅¨ π½πβ := max σ΅¨σ΅¨σ΅¨πΊπβ (π‘, π )σ΅¨σ΅¨σ΅¨ = 0β€π‘β€π β€π β
πΌ =
min πΌβ 1β€πβ€π π
= πΌ,
(π‘, π )] ,
πΊπβ (π‘, π ) 1
π
πβ«0
ππ (π)ππ
β1
π β«0 ππ (π)ππ
π
π β«0 ππ (π)ππ
π
β1
σ΅©σ΅© σ΅©σ΅© σ΅© σ΅© πΏ σ΅©σ΅©ππ¦σ΅©σ΅© β₯ ππ πΌπ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© ,
1β€πβ€π
1β€πβ€π
(85)
σ΅©σ΅© σ΅©σ΅© σ΅© σ΅© π σ΅©σ΅©π΄π¦σ΅©σ΅© β€ ππ π½π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© ,
(π‘)} . π
Let π = {π¦ = (π¦1 (π‘), π¦2 (π‘), . . . , π¦π (π‘)) β ππΆ(π
, π
) | π¦(π‘ + π) = π¦(π‘)} with the norm βπ¦β = βππ=1 |π¦π |0 , |π¦π |0 = supπ‘β[0,π] |π¦π (π‘)|, and it is easy to verify that (π, ββ
β) is a Banach space. Define π to be a cone in π by π
(86)
σ΅© σ΅© β π : π¦π (π‘) β₯ πΏσ΅©σ΅©σ΅©π¦π σ΅©σ΅©σ΅©0 , π‘ β [0, π]} .
We easily verify that π is a cone in π. We define an operator π΄ : π β π as follows: π
(π΄π¦) (π‘) = ((π΄ 1 π¦) (π‘) , (π΄ 2 π¦) (π‘) , . . . , (π΄ π π¦) (π‘)) , (87) where π‘+π
π‘
πππ πππ¦ π¦ β π β© πΞ©π , and then
π
(π΄ π π¦) (π‘) = π β«
σ΅© σ΅© σ΅¨ σ΅¨ β« σ΅¨σ΅¨σ΅¨π (π‘, π¦ (π‘ β π1 (π‘)) , . . . , π¦ (π‘ β ππ (π‘)))σ΅¨σ΅¨σ΅¨ ππ‘ β€ π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© , 0 (91)
min {π΅πσΈ 1β€πβ€π
π = {π¦ = (π¦1 (π‘) , π¦2 (π‘) , . . . , π¦π (π‘))
(90)
π
π½ = max π½πβ = π½,
π΅ (π‘) =
πππ πππ¦ π¦ β π.
Lemma 31. Assume that (π1 )β(π4 ) hold, and let π > 0. If there exists a sufficiently small π > 0 such that
= π½π ,
πΌβ πΏ = β β (0, 1) = π, π½ σ΅¨ σ΅¨ σ΅¨ σ΅¨ π΅π (π‘) = max {σ΅¨σ΅¨σ΅¨π1π (π‘)σ΅¨σ΅¨σ΅¨ , σ΅¨σ΅¨σ΅¨π2π (π‘)σ΅¨σ΅¨σ΅¨} , σ΅¨ σ΅¨ σ΅¨ σ΅¨ π΅πσΈ (π‘) = min {σ΅¨σ΅¨σ΅¨π1π (π‘)σ΅¨σ΅¨σ΅¨ , σ΅¨σ΅¨σ΅¨π2π (π‘)σ΅¨σ΅¨σ΅¨} , π΅ (π‘) = max {π΅π (π‘)} ,
and then
= πΌπ ,
β
σΈ
(89)
πΊπβ (π‘, π ) ππ (π ) ππ
Γ (π , π¦ (π β π1 (π )) , . . . , π¦ (π β ππ (π ))) ππ . (88) The proof of the following lemmas and theorems is similar to those in Section 2, and we all omit the details here.
πππ πππ¦ π¦ β π β© πΞ©π .
(92)
Theorem 32. Assume that (π1 )β(π4 ) and (π»9 ) hold. Moreover, if one of the following conditions holds: (π»3 ) πππ (π»4 ); (π»5 ) πππ (π»6 ),
(π»3 ) πππ (π»6 );
(π»4 ) πππ (π»5 );
then system (6) has two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π
< βπ₯2 β, where π
is defined in (π»9 ). Theorem 33. Assume that (π1 )β(π4 ), and (π»10 ) hold. Moreover, if one of the following conditions holds: (π»1 ) πππ (π»2 ); (π»7 ) πππ (π»8 ),
(π»1 ) πππ (π»8 );
(π»2 ) πππ (π»7 );
then system (6) has two positive π-periodic solutions π₯1 and π₯2 satisfying 0 < βπ₯1 β < π < βπ₯2 β, where r is defined in (π»10 ). Theorem 34. Assume that (π1 )β(π4 ) hold. Moreover, if one of the following conditions holds: (π»1 ) πππ (π»4 ); (π»1 ) πππ (π»6 ); (π»2 ) πππ (π»3 ); (π»2 ) πππ (π»5 ); (π»3 ) πππ (π»8 ); (π»4 ) πππ (π»9 ); (π»5 ) πππ (π»8 ); (π»6 ) πππ (π»7 ); (π»9 ) πππ (π»10 ), then system (6) has at least one positive π-periodic solution.
12
Journal of Mathematics
4. Examples
On the other hand, we have π
In order to illustrate our results, we take the following examples.
β« π (π‘, π¦ (π‘ β ππ (π‘))) ππ‘ 0
π
Example 35. We consider the following generalized so-called Michaelis-Menton type single species growth model with impulse:
π=1 0
π
πΌπ (π‘) π¦ (π‘ β ππ (π‘)) ], π=1 1 + π½π (π‘) π¦ (π‘ β ππ (π‘)) (93)
π β π+ ,
which is a special case of system (5), and where π(π‘), πΌπ (π‘), π½π (π‘), ππ (π‘) β πΆ(π
, π
+ ) (π = 1, 2, . . . , π) are π-periodic, and π > 0, π > 0 are two parameters. Theorem 36. Assume that (π1 )β(π4 ) hold. Moreover, if the following condition holds: π
π
β β« πΌπ (π‘) ππ‘ > π=1 0
π½ππ , ππΌπ3 ππΏ
(99)
π
π=1 0
π¦σΈ (π‘) = π¦ (π‘) [π (π‘) β πβ
Ξπ¦ (π‘π ) = πππ π¦ (π‘π ) ,
πΌπ (π‘) π¦ (π‘ β ππ (π‘)) ππ‘ 1 + π½π (π‘) π¦ (π‘ β ππ (π‘))
σ΅© σ΅©2 β€ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β β« πΌπ (π‘) ππ‘.
π
π‘ β π
, π‘ =ΜΈ π‘π ,
π
= β β« π¦ (π‘)
(94)
then system (93) has at least one positive π-periodic solution.
This can lead to π
β«0 π (π‘, π¦ (π‘ β ππ (π‘))) ππ‘ σ΅© σ΅© π π β€ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© β β« πΌπ (π‘) ππ‘ σ³¨β 0, σ΅©σ΅© σ΅©σ΅© (100) σ΅©σ΅©π¦σ΅©σ΅© π=1 0 σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© σ³¨β 0. σ΅© σ΅© That is π0 = 0.
(101)
By Theorem 21, it follows that system (93) has at least one positive π-periodic solution. The proof of Theorem 36 is complete. Example 37. We consider the following generalized hematopoiesis model with impulse: π¦σΈ (π‘) = βπΌ (π‘) π¦ (π‘) + ππ½ (π‘) exp {βπΎ (π‘) π¦ (π‘ β π (π‘))} ,
Proof. Note that
π‘ β π
, π‘ =ΜΈ π‘π ,
π
πΌ (π‘) π¦ (π‘ β ππ (π‘)) π (π‘, π¦ (π‘ β ππ (π‘))) = π¦ (π‘) β π . 1 + π½π (π‘) π¦ (π‘ β ππ (π‘)) π=1
Ξπ¦ (π‘π ) = πππ π¦ (π‘π ) ,
π β π+ ,
(95)
(102)
We can construct the same Banach space π and cone πΈ as in Section 2. Then for any π¦ β πΈ, we have
which is a special case of system (6), and where π₯(π‘) is the number of red blood cells at time π‘, πΌ(π‘), π½(π‘), πΎ(π‘) and π(π‘) β πΆ(π
, π
+ ) are π-periodic and π > 0, π > 0 are two parameters.
π
Theorem 38. Assume that (π1 )β(π4 ) hold. Moreover, if the following condition holds:
β« π (π‘, π¦ (π‘ β ππ (π‘))) ππ‘ 0
π
π
= β β« π¦ (π‘) π=1 0
β₯
πΌπ (π‘) π¦ (π‘ β ππ (π‘)) ππ‘ 1 + π½π (π‘) π¦ (π‘ β ππ (π‘))
π
π=1 0
σ΅© σ΅©2 π π π2 σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© σ΅© σ΅© β β« πΌ (π‘) ππ‘. 1 + πππ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© π=1 0 π
π½ππ , ππΌπ3 ππΏ
Proof. Note that π (π‘, π¦ (π‘ β π (π‘))) = exp {βπΎ (π‘) π¦ (π‘ β π (π‘))} .
σ΅© σ΅© β«0 π (π‘, π¦ (π‘ β ππ (π‘))) ππ‘ π σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© π π β₯ σ΅©σ΅© σ΅©σ΅© σ΅© σ΅© β β« πΌ (π‘) ππ‘. 1 + π½ππ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© π=1 0 π σ΅©σ΅©π¦σ΅©σ΅© 2
(104)
We can construct the same Banach space π and cone πΈ as in Section 2. Then for any π¦ β πΈ, we have (97)
Then we can have 1 π2 π π πβ β₯ π β β« πΌπ (π‘) ππ‘ > . πΏ ππΌππ π½π π=1 0
(103)
then system (102) has at least one positive π-periodic solution.
This can lead to π
π
β β« πΌπ (π‘) ππ‘ >
(96)
π
β«0 π (π‘, π¦ (π‘ β π (π‘))) ππ‘ π β₯ σ΅©σ΅© σ΅©σ΅© σ΅© σ΅© σ΅© σ΅©; π exp {πΎ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅©} σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© σ΅©σ΅©π¦σ΅©σ΅© π
(98)
β«0 π (π‘, π¦ (π‘ β π (π‘))) ππ‘ π β€ σ΅©σ΅© σ΅©σ΅© σ΅© σ΅© σ΅© σ΅©. πΏ exp {πΎ σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅©} σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© σ΅©σ΅©π¦σ΅©σ΅©
(105)
Journal of Mathematics
13
This can lead to πβ = 0, π0 = β,
σ΅©σ΅© σ΅©σ΅© σ΅©σ΅©π¦σ΅©σ΅© σ³¨β β; σ΅©σ΅©σ΅©π¦σ΅©σ΅©σ΅© σ³¨β 0. σ΅© σ΅©
(106)
By Theorem 34, it follows that system (102) has at least one positive π-periodic solution. The proof of Theorem 38 is complete. Remark 39. We apply the main results obtained in the previous sections to study some examples which have some biological implications. A very basic and important ecological problem associated with the study of population is that of the existence of positive periodic solutions which play the role played by the equilibrium of the autonomous models and means that the species is in an equilibrium state. From Theorems 36 and 38, we see that under the appropriate conditions, the impulsive perturbations do not affect the existence of periodic solution of the systems.
Conflict of Interests The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgments The research is supported by NSF of China (nos. 11161015, 11371367, and 11361012), PSF of China (nos. 2012M512162 and 2013T60934), NSF of Hunan Province (nos. 11JJ900, 12JJ9001, and 13JJ4098), the Education Foundation of Hunan province (nos. 12C0541, 12C0361, and 13C084), and the Construct Program of the Key Discipline in Hunan Province.
References [1] V. Lakshmikantham, D. D. BaΛΔ±nov, and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific, Singapore, 1989. [2] D. D. Bainov and P. S. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications, Longman Scientific and Technical, London, UK, 1993. [3] A. M. Samoikleno and N. A. Perestyuk, Impulsive Differential Equations, World Scientific, Singapore, 1995. [4] S. T. Zavalishchin and A. N. Sesekin, Dynamic Impulse Systems, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1997. [5] D. Q. Jiang and J. J. Wei, βExistence of positive periodic solutions for nonautonomous delay differential equations,β Chinese Annals of Mathematics A, vol. 20, no. 6, pp. 715β720, 1999 (Chinese). [6] A. M. Zhao, W. P. Yan, and J. R. Yan, βExistence of positive periodic solution for an impulsive delay differential equation,β in Topological Methods, Variational Methods and Their Applications, pp. 269β274, World Scientific, London, UK, 2002. [7] H.-F. Huo, W.-T. Li, and X. Liu, βExistence and global attractivity of positive periodic solution of an impulsive delay differential equation,β Applicable Analysis, vol. 83, no. 12, pp. 1279β1290, 2004.
[8] X. Y. Zhang, J. R. Yan, and A. P. Zhao, βExistence of positive periodic solutions for an impulsive differential equation,β Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 10, pp. 3209β3216, 2008. [9] J. R. Yan, βExistence of positive periodic solutions of impulsive functional differential equations with two parameters,β Journal of Mathematical Analysis and Applications, vol. 327, no. 2, pp. 854β868, 2007. [10] Z. J. Zeng, L. Bi, and M. Fan, βExistence of multiple positive periodic solutions for functional differential equations,β Journal of Mathematical Analysis and Applications, vol. 325, no. 2, pp. 1378β1389, 2007. [11] J. R. Yan, βGlobal attractivity for impulsive population dynamics with delay arguments,β Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 11, pp. 5417β5426, 2009. [12] G. Ballinger and X. Z. Liu, βExistence, uniqueness and boundedness results for impulsive delay differential equations,β Applicable Analysis, vol. 74, no. 1-2, pp. 71β93, 2000. [13] D. Lin, X. D. Li, and D. OβRegan, βStability analysis of generalized impulsive functional differential equations,β Mathematical and Computer Modelling, vol. 55, no. 5-6, pp. 1682β1690, 2012. [14] Z. G. Luo, L. P. Luo, and Y. H. Zeng, βPositive periodic solutions for impulsive functional differential equations with infinite delay and two parameters,β Journal of Applied Mathematics, vol. 2014, Article ID 751612, 17 pages, 2014. [15] X. D. Li and X. L. Fu, βOn the global exponential stability of impulsive functional differential equations with infinite delays or finite delays,β Communications in Nonlinear Science and Numerical Simulation, vol. 19, no. 3, pp. 442β447, 2014. [16] Z. G. Luo, B. X. Dai, and Q. H. Zhang, βExistence of positive periodic solutions for an impulsive semi-ratio-dependent predator-prey model with dispersion and time delays,β Applied Mathematics and Computation, vol. 215, no. 9, pp. 3390β3398, 2010. [17] X. Q. Ding, C. W. Wang, and P. Chen, βPermanence for a twospecies Gause-type ratio-dependent predator-prey system with time delay in a two-patch environment,β Applied Mathematics and Computation, vol. 219, no. 17, pp. 9099β9105, 2013. [18] J. R. Yan and A. M. Zhao, βOscillation and stability of linear impulsive delay differential equations,β Journal of Mathematical Analysis and Applications, vol. 227, no. 1, pp. 187β194, 1998. [19] D. J. Guo, Nonlinear Functional Analysis, ShanDong Science and Technology Press, Jiβnan, China, 2001. [20] M. A. Krasnoselskii, Positive Solution of Operator Equation, P. Noordhoff, Groningen, The Netherlands, 1964. [21] K. Deimling, Nonlinear Functional Analysis, Springer, Berlin, Germany, 1985. [22] D. J. Guo and V. Lakshmikantham, Nonlinear Problems in Abstract Cones, Academic Press, Orlando, Fla, USA, 1988.
Advances in
Operations Research Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Applied Mathematics
Algebra
Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Probability and Statistics Volume 2014
The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at http://www.hindawi.com International Journal of
Advances in
Combinatorics Hindawi Publishing Corporation http://www.hindawi.com
Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of Mathematics and Mathematical Sciences
Mathematical Problems in Engineering
Journal of
Mathematics Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Discrete Dynamics in Nature and Society
Journal of
Function Spaces Hindawi Publishing Corporation http://www.hindawi.com
Abstract and Applied Analysis
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
International Journal of
Journal of
Stochastic Analysis
Optimization
Hindawi Publishing Corporation http://www.hindawi.com
Hindawi Publishing Corporation http://www.hindawi.com
Volume 2014
Volume 2014