Research Article An Impulsive Periodic Single-Species Logistic System with Diffusion Chenxue Yang,

advertisement
Hindawi Publishing Corporation
Journal of Applied Mathematics
Volume 2013, Article ID 101238, 9 pages
http://dx.doi.org/10.1155/2013/101238
Research Article
An Impulsive Periodic Single-Species Logistic
System with Diffusion
Chenxue Yang,1,2 Mao Ye,1,2 and Zijian Liu3,4
1
School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China
State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
3
School of Science, Chongqing Jiaotong University, Chongqing 400074, China
4
Department of Mathematics, Hangzhou Normal University, Hangzhou, Zhejiang 310036, China
2
Correspondence should be addressed to Zijian Liu; hbliuzijian@126.com
Received 11 January 2013; Accepted 17 April 2013
Academic Editor: Michael Meylan
Copyright © 2013 Chenxue Yang 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 a single-species periodic logistic type dispersal system in a patchy environment with impulses. On the basis of inequality
estimation technique, sufficient conditions of integrable form for the permanence and extinction of the system are obtained. By
constructing an appropriate Lyapunov function, conditions for the existence of a unique globally attractively positive periodic
solution are also established. Numerical examples are shown to verify the validity of our results and to further discuss the model.
1. Introduction
In the practical world, on the one hand, owing to natural
enemy, severe competition, or deterioration of the patch
environment, species dispersal in two or more patches
becomes one of the most prevalent phenomena of nature.
Many empirical works and monographies on population
dynamics in a spatial heterogeneous environment have been
done (see [1–9] and the references cited therein). On the other
hand, many natural and man-made factors (e.g., fire, drought,
flooding deforestation, hunting, harvesting, breeding, etc.)
always lead to rapid decrease or increase of population
number at fixed moment. Such sudden changes can often
be characterized mathematically in the form of impulses.
With the development of the theory of impulsive differential
equations [10], various population dynamical models of
impulsive differential equations have been proposed and
studied extensively. For example, many important and interesting results on the permanence, persistence, extinction,
global stability, the existence of positive periodic solutions,
bifurcation and dynamical complexity, and so forth can be
found in [11–17] and the references cited therein.
Although considerable researches on the dispersal and
impulses of species have been reported in the literature,
there are few papers that investigate the dynamical behavior
of population systems under the circumstances in which
both dispersal and impulse exist. However, dispersal species
which undergoes impulses is also one of the most prevalent
phenomena of nature. In our previous paper [18], an impulsive periodic predator-prey system with diffusion is studied,
and some conditions for the permanence, extinction, and
existence of a unique globally stable periodic solution are
established. In this paper, we will present and study a singlespecies periodic logistic system with impulses and dispersal
in 𝑛 different patches. Our model takes the form
π‘₯𝑖̇ (𝑑) = π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − π‘Žπ‘– (𝑑) π‘₯𝑖 (𝑑))
𝑛
+ ∑𝐷𝑖𝑗 (𝑑) (π‘₯𝑗 (𝑑) − π‘₯𝑖 (𝑑)) ,
𝑗=1
π‘₯𝑖 (π‘‘π‘˜+ ) = β„Žπ‘–π‘˜ π‘₯𝑖 (π‘‘π‘˜ ) ,
𝑑 =ΜΈ π‘‘π‘˜ ,
(1)
𝑖 = 1, 2, . . . , 𝑛, π‘˜ = 1, 2, . . . ,
where π‘Ÿπ‘– (𝑑) and π‘Žπ‘– (𝑑) (𝑖 ∈ 𝐼 = {1, 2, . . . , 𝑛}) represent the
intrinsic growth rates and the density-dependent coefficients
in patch 𝑖, respectively. 𝐷𝑖𝑗 (𝑑) β©Ύ 0 (𝑖, 𝑗 ∈ 𝐼) denotes
the dispersal rate of the species from patch 𝑗 to patch 𝑖.
β„Žπ‘–π‘˜ π‘₯𝑖 (π‘‘π‘˜ ) (𝑖 ∈ 𝐼) is the regular pulse at time π‘‘π‘˜ of species
2
Journal of Applied Mathematics
π‘₯ in patch 𝑖. Throughout this paper, we always assume the
following.
(𝐢1 ) π‘Ÿπ‘– (𝑑), π‘Žπ‘– (𝑑), and 𝐷𝑖𝑗 (𝑑) (𝑖, 𝑗 ∈ 𝐼) are continuously
periodic functions with common period 𝑇, defined
on 𝑅+ = [0, ∞) and π‘Žπ‘– (𝑑) β©Ύ 0, 𝐷2 β©Ύ 𝐷𝑖𝑗 (𝑑) β©Ύ 𝐷1 >
0 (𝑖 =ΜΈ 𝑗), 𝐷𝑖𝑖 (𝑑) ≡ 0 for all 𝑖, 𝑗 ∈ 𝐼 and 𝑑 ∈ 𝑅+ .
(𝐢2 ) β„Žπ‘–π‘˜ > 0 for all 𝑖 ∈ 𝐼, π‘˜ = 1, 2, . . . and there exists a
positive integer π‘ž such that π‘‘π‘˜+π‘ž = π‘‘π‘˜ + 𝑇 and β„Žπ‘–(π‘˜+π‘ž) =
β„Žπ‘–π‘˜ for any 𝑖 ∈ 𝐼.
The organization of this paper is as follows. In the next
section, some sufficient conditions for the permanence and
extinction of system (1) are obtained. In Section 3, conditions
for the existence of a unique globally attractively positive
periodic solution are also established. Finally, some numerical simulations are proposed to illustrate the feasibility of our
results and discuss the model further.
with the initial condition 𝑉(0) β©½ 𝑀(0). If there is a constant
𝑀0 > 0 such that
lim sup 𝑀 (𝑑) < 𝑀0
for any positive solution 𝑀(𝑑) of system (6), then, according to
the comparison theorem of impulsive differential equations
[10], we have 𝑉(𝑑) β©½ 𝑀(𝑑) for all 𝑑 β©Ύ 0. Therefore, choose
𝑀 = 𝑀0 , and we will finally have lim sup𝑑 → ∞ π‘₯𝑖 (𝑑) β©½
lim sup𝑑 → ∞ 𝑉(𝑑) β©½ lim sup𝑑 → ∞ 𝑀(𝑑) < 𝑀 for all 𝑖 ∈ 𝐼.
Next, we will prove that (7) holds. In fact, for any positive
solution 𝑀(𝑑) of system (6), we only need to consider the
following three cases.
Case 1. There is a 𝑑0 β©Ύ 0 such that 𝑀(𝑑) β©Ύ 𝜏 for all 𝑑 β©Ύ 𝑑0 .
Case 2. There is a 𝑑0 β©Ύ 0 such that 𝑀(𝑑) β©½ 𝜏 for all 𝑑 β©Ύ 𝑑0 .
Case 3. 𝑀(𝑑) is oscillatory about 𝜏 for all 𝑑 β©Ύ 0.
2. Permanence and Extinction
In this section, applying inequality estimation technique,
we get some sufficient conditions on the permanence and
extinction of system (1).
Theorem 1. There exists a positive constant 𝑀 such that
lim sup𝑑 → ∞ π‘₯𝑖 (𝑑) < 𝑀 for all 𝑖 ∈ 𝐼 if
𝑇
∫ π‘Ž (𝑑) d𝑑 > 0,
(2)
0
We first consider Case 1. Since 𝑀(𝑑) β©Ύ 𝜏 for all 𝑑 β©Ύ 𝑑0 ,
then for 𝑑 = 𝑑0 + 𝑙𝑇, where 𝑙 is any positive integer, integrating
system (6) from 𝑑0 to 𝑑, from (4) we have
𝑑
𝑀 (𝑑) = 𝑀 (𝑑0 ) exp (∫ (π‘Ÿ (𝑠) − π‘Ž (𝑠) 𝑀 (𝑠)) d𝑠 + ∑ ln β„Žπ‘˜ )
𝑑0
β©½ 𝑀 (𝑑0 ) exp ( ∫
𝑑0 β©½π‘‘π‘˜ <𝑑
𝑑0 +𝑇
𝑑0
where π‘Ž(𝑑) = min𝑖∈𝐼 {π‘Žπ‘– (𝑑)}.
+∫
for all 𝑑 ∈ 𝑅+ and πœ‡ ∈ [0, 𝑇]. Choose π‘Ÿ(𝑑) = max𝑖∈𝐼 {π‘Ÿπ‘– (𝑑)}, and
π‘Ÿ(𝑑) is bounded for all 𝑑 ∈ 𝑅+ . Then from conditions (2) and
(3), we have two positive constants 𝜏 and 𝛿 such that
β©½ 𝑀 (𝑑0 ) exp (−𝑙𝛿) .
π‘ž
∫ (π‘Ÿ (𝑑) − π‘Ž (𝑑) 𝜏) d𝑑 + ∑ ln β„Žπ‘˜ < −𝛿.
0
(4)
π‘˜=1
Define the function 𝑉(𝑑) = max𝑖∈𝐼 {π‘₯𝑖 (𝑑)}. For any 𝑑 ∈ 𝑅+ ,
there is an 𝑖 = 𝑖(𝑑) ∈ 𝐼 such that 𝑉(𝑑) = π‘₯𝑖 (𝑑). Calculating the
upper-right derivative of 𝑉(𝑑), we obtain
𝐷+ 𝑉 (𝑑) β©½ π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − π‘Žπ‘– (𝑑) π‘₯𝑖 (𝑑))
β©½ 𝑉 (𝑑) (π‘Ÿ (𝑑) − π‘Ž (𝑑) 𝑉 (𝑑)) .
𝑉(π‘‘π‘˜+ )
max{π‘₯𝑖 (π‘‘π‘˜+ )}
=
When 𝑑 = π‘‘π‘˜ , we have
max{β„Žπ‘–π‘˜ π‘₯𝑖 (π‘‘π‘˜ )} β©½ max{β„Žπ‘–π‘˜ } max{π‘₯𝑖 (π‘‘π‘˜ )} = β„Žπ‘˜ 𝑉(π‘‘π‘˜ ).
Consider the following auxiliary system:
𝐷+ 𝑀 (𝑑) = 𝑀 (𝑑) (π‘Ÿ (𝑑) − π‘Ž (𝑑) 𝑀 (𝑑)) ,
𝑀 (π‘‘π‘˜+ ) = β„Žπ‘˜ 𝑀 (π‘‘π‘˜ ) ,
π‘˜ = 1, 2, . . .
(π‘Ÿ (𝑠) − π‘Ž (𝑠) 𝜏) d𝑠 + ⋅ ⋅ ⋅
𝑑0 +𝑙𝑇
Proof. Let β„Žπ‘˜ = max𝑖∈𝐼 {β„Žπ‘–π‘˜ } for any π‘˜ = 1, 2, . . ., then we have
β„Žπ‘˜+π‘ž = β„Žπ‘˜ and there exists a positive constant 𝐻 such that
function
󡄨󡄨
󡄨󡄨
π‘ž
󡄨󡄨
󡄨󡄨 󡄨󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨
󡄨
(3)
σ΅„¨σ΅„¨β„Ž (𝑑, πœ‡)󡄨󡄨 = 󡄨󡄨󡄨 ∑ ln β„Žπ‘˜ 󡄨󡄨󡄨 β©½ ∑ 󡄨󡄨ln β„Žπ‘˜ 󡄨󡄨 β©½ 𝐻
σ΅„¨σ΅„¨π‘‘β©½π‘‘π‘˜ <𝑑+πœ‡
󡄨󡄨 π‘˜=1
𝑇
(7)
𝑑→∞
𝑑0 +(𝑙−1)𝑇
(π‘Ÿ (𝑠) − π‘Ž (𝑠) 𝜏) d𝑠
π‘ž
+𝑙 ∑ ln β„Žπ‘˜ )
π‘˜=1
(8)
Hence, 𝑀(𝑑) → 0 as 𝑙 → ∞, which leads to a contradiction.
Then, we consider Case 3. From the oscillation of 𝑀(𝑑)
about 𝜏, we can choose two sequences {πœŒπ‘› } and {πœŒπ‘›∗ } satisfying
0 < 𝜌1 < 𝜌1∗ < ⋅ ⋅ ⋅ < πœŒπ‘› < πœŒπ‘›∗ < ⋅ ⋅ ⋅ and lim𝑛 → ∞ πœŒπ‘› =
lim𝑛 → ∞ πœŒπ‘›∗ = ∞ such that
𝑀 (πœŒπ‘› ) β©½ 𝜏,
(5)
𝑀 (πœŒπ‘›∗ ) β©Ύ 𝜏,
=
𝑀 (𝑑) β©Ύ 𝜏
𝑀 (πœŒπ‘›+ ) β©Ύ 𝜏,
𝑀 (πœŒπ‘›∗+ ) β©½ 𝜏,
∀𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ) ,
(9)
𝑀 (𝑑) β©½ 𝜏 ∀𝑑 ∈ (πœŒπ‘›∗ , πœŒπ‘›+1 ) .
(6)
For any 𝑑 β©Ύ 𝜌1 , if 𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ] for some integer 𝑛, then we
can choose integer 𝑙 β©Ύ 0 and constant 0 β©½ ] < 𝑇 such that
𝑑 = πœŒπ‘› + 𝑙𝑇 + ]. Since 𝐷+ 𝑀(𝑑) β©½ 𝑀(𝑑)(π‘Ÿ(𝑑) − π‘Ž(𝑑)𝜏) for all
Journal of Applied Mathematics
3
𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ) and 𝑑 =ΜΈ π‘‘π‘˜ , integrating this inequality from πœŒπ‘› to 𝑑,
by (3) and (4) we obtain
Let π‘₯(𝑑) = (π‘₯1 (𝑑), π‘₯2 (𝑑), . . . , π‘₯𝑛 (𝑑)) be any positive solution
of system (1). Since
𝑑
𝑀 (𝑑) β©½ 𝑀 (πœŒπ‘› ) exp (∫ (π‘Ÿ (𝑠) − π‘Ž (𝑠) 𝜏) d𝑠 + ∑ ln β„Žπ‘˜ )
πœŒπ‘›
πœŒπ‘› β©½π‘‘π‘˜ <𝑑
𝑗=1
0
π‘˜=1
πœŒπ‘› +]
πœŒπ‘›
(π‘Ÿ (𝑑) − π‘Ž (𝑑) 𝜏) d𝑑 +
∑
πœŒπ‘› β©½π‘‘π‘˜ <πœŒπ‘› +]
ln β„Žπ‘˜ )
by the comparison theorem of impulsive differential equations, we obtain π‘₯𝑖0 (𝑑) β©Ύ 𝑒(𝑑) for all 𝑑 β©Ύ 0, where 𝑒(𝑑) is the
positive solution of system
𝑛
𝑒̇ (𝑑) = 𝑒 (𝑑) (π‘Ÿπ‘–0 (𝑑) − ∑𝐷𝑖0 𝑗 (𝑑) − π‘Žπ‘–0 (𝑑) 𝑒 (𝑑)) ,
β©½ 𝜏 exp (−𝑙𝛿 + π‘Ÿπ‘‡ + 𝐻) β©½ 𝜏 exp (π‘Ÿπ‘‡ + 𝐻) ,
𝑗=1
(10)
where π‘Ÿ = sup𝑑∈[0,𝑇] {|π‘Ÿ(𝑑)|+π‘Ž(𝑑)𝜏}. If there is an integer 𝑛 such
that 𝑑 ∈ (πœŒπ‘›∗ , πœŒπ‘›+1 ], then we have 𝑀(𝑑) β©½ 𝜏 β©½ 𝜏 exp(π‘Ÿπ‘‡ + 𝐻).
Therefore, for Case 3 we always have 𝑀(𝑑) β©½ 𝜏 exp(π‘Ÿπ‘‡ + 𝐻)
for all 𝑑 β©Ύ 𝜌1 .
Lastly, if Case 2 holds, then we directly have 𝑀(𝑑) β©½
𝜏 exp(π‘Ÿπ‘‡ + 𝐻) for all 𝑑 β©Ύ 0.
Choose constant 𝑀0 = 𝜏 exp(π‘Ÿπ‘‡+𝐻)+1, then we see that
(7) holds. This completes the proof.
Remark 2. It can be seen from Theorem 1 that, in one time
period 𝑇, if the density-dependent coefficient in patch 𝑖 (𝑖 ∈
𝐼) is strictly greater than zero and the impulsive coefficient β„Žπ‘–π‘˜
is bounded in the same time period, the dispersal species π‘₯ is
always ultimately bounded.
Theorem 3. Assume that all conditions of Theorem 1 hold. In
addition, there is an 𝑖0 ∈ 𝐼 such that
𝑛
𝑇
π‘ž
∫ (π‘Ÿπ‘–0 (𝑑) − ∑𝐷𝑖0 𝑗 (𝑑)) d𝑑 + ∑ ln β„Žπ‘–0 π‘˜ > 0.
0
𝑗=1
(11)
π‘˜=1
Proof. The ultimate boundedness of system (1) has been
proved in Theorem 1. In the following, we mainly prove the
permanence of the system; that is, there is a constant π‘š > 0
such that
lim inf π‘₯𝑖 (𝑑) > π‘š
(12)
𝑑→∞
for each 𝑖 ∈ 𝐼 and any positive solution π‘₯(𝑑) = (π‘₯1 (𝑑), π‘₯2 (𝑑),
. . . , π‘₯𝑛 (𝑑)) of system (1).
From assumption β„Žπ‘–(π‘˜+π‘ž) = β„Žπ‘–π‘˜ , we obtain that there exists
a constant 𝐻 > 0 such that function
󡄨󡄨
󡄨󡄨
π‘ž
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨 󡄨󡄨󡄨󡄨
󡄨
󡄨
β©½
β„Ž
=
(𝑑,
πœ‡)
ln
β„Ž
∑
∑
(13)
π‘–π‘˜ 󡄨󡄨
󡄨󡄨 𝑖
󡄨󡄨ln β„Žπ‘–π‘˜ 󡄨󡄨 β©½ 𝐻
󡄨󡄨 󡄨󡄨󡄨
󡄨
σ΅„¨σ΅„¨π‘‘β©½π‘‘π‘˜ <𝑑+πœ‡
󡄨󡄨 π‘˜=1
for any 𝑖 ∈ 𝐼, 𝑑 ∈ 𝑅+ and πœ‡ ∈ [0, 𝑇].
For 𝑖 = 𝑖0 , by condition (11) and the boundedness of π‘Žπ‘–0 (𝑑),
there are two positive constants 𝜏 and 𝛿 such that
𝑛
π‘ž
𝑗=1
π‘˜=1
∫ (π‘Ÿπ‘–0 (𝑑) − ∑ 𝐷𝑖0 𝑗 (𝑑) − π‘Žπ‘–0 (𝑑) 𝜏) d𝑑 + ∑ ln β„Žπ‘–0 π‘˜ > 𝛿.
0
𝑒 (π‘‘π‘˜+ )
= β„Žπ‘–0 π‘˜ 𝑒 (π‘‘π‘˜ ) ,
(16)
π‘˜ = 1, 2, . . .
with initial condition 𝑒(0) = π‘₯𝑖0 (0).
In the following, we first prove that there is a constant π‘š >
0 such that
lim inf 𝑒 (𝑑) > π‘š
(17)
𝑑→∞
for any positive solution 𝑒(𝑑) of system (16). We only need to
consider the following three cases.
Case 1. There is a 𝑑 β©Ύ 0 such that 𝑒(𝑑) β©½ 𝜏 for all 𝑑 β©Ύ 𝑑.
Case 2. There is a 𝑑 β©Ύ 0 such that 𝑒(𝑑) β©Ύ 𝜏 for all 𝑑 β©Ύ 𝑑.
Case 3. 𝑒(𝑑) is oscillatory about 𝜏 for all 𝑑 β©Ύ 0.
For Case 1, let 𝑑 = 𝑑 + 𝑙𝑇, where 𝑙 β©Ύ 0 is any integer. From
(14), we obtain
𝑒 (𝑑)
= 𝑒 (𝑑)
𝑑
𝑛
𝑑
𝑗=1
× exp (∫ (π‘Ÿπ‘–0 (𝑠) − ∑ 𝐷𝑖0 𝑗 (𝑠) − π‘Žπ‘–0 (𝑠) 𝑒 (𝑠)) d𝑠
Then system (1) is permanent.
𝑇
(15)
𝑑 =ΜΈ π‘‘π‘˜ ,
π‘ž
𝑇
β©½ 𝜏 exp (𝑙 (∫ (π‘Ÿ (𝑑) − π‘Ž (𝑑) 𝜏) d𝑑 + ∑ ln β„Žπ‘˜ )
+∫
𝑛
π‘₯𝑖̇ 0 (𝑑) β©Ύ π‘₯𝑖0 (𝑑) (π‘Ÿπ‘–0 (𝑑) − ∑ 𝐷𝑖0 𝑗 (𝑑) − π‘Žπ‘–0 (𝑑) π‘₯𝑖0 (𝑑)) ,
(14)
+ ∑ ln β„Žπ‘–0 π‘˜ )
π‘‘β©½π‘‘π‘˜ <𝑑
β©Ύ 𝑒 (𝑑) exp (∫
𝑑+𝑇
𝑑
𝑛
(π‘Ÿπ‘–0 (𝑠) − ∑𝐷𝑖0 𝑗 (𝑠) − π‘Žπ‘–0 (𝑠) 𝜏) d𝑠
𝑗=1
+ ⋅⋅⋅ + ∫
𝑑+𝑙𝑇
𝑑+(𝑙−1)𝑇
𝑛
(π‘Ÿπ‘–0 (𝑠) − ∑ 𝐷𝑖0 𝑗 (𝑠)
𝑗=1
−π‘Žπ‘–0 (𝑠) 𝜏) d𝑠
π‘ž
+𝑙 ∑ ln β„Žπ‘–0 π‘˜ )
π‘˜=1
β©Ύ 𝑒 (𝑑) exp (𝑙𝛿) .
(18)
4
Journal of Applied Mathematics
Hence, 𝑒(𝑑) → ∞ as 𝑙 → ∞, which leads to a contradiction.
For Case 3, we choose two sequences {πœŒπ‘› } and {πœŒπ‘›∗ }
satisfying 0 < 𝜌1 < 𝜌1∗ < ⋅ ⋅ ⋅ < πœŒπ‘› < πœŒπ‘›∗ < ⋅ ⋅ ⋅ and
lim𝑛 → ∞ πœŒπ‘› = lim𝑛 → ∞ πœŒπ‘›∗ = ∞ such that
𝑒 (πœŒπ‘› ) β©Ύ 𝜏,
𝑒 (πœŒπ‘›+ ) β©½ 𝜏,
𝑒 (πœŒπ‘›∗ ) β©½ 𝜏,
𝑒 (𝑑) β©½ 𝜏
∀𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ) ,
𝑒 (𝑑) β©Ύ 𝜏 ∀𝑑 ∈
It follows immediately from (21) that there is a 𝑇0 > 0
such that ∑𝑛𝑖=1 π‘₯𝑖 (𝑑) β©Ύ π‘š for all 𝑑 β©Ύ 𝑇0 . Then for any 𝑖 ∈ 𝐼,
when 𝑑 β©Ύ 𝑇0 and 𝑑 =ΜΈ π‘‘π‘˜ we have
𝑛
𝑒 (πœŒπ‘›∗+ ) β©Ύ 𝜏,
π‘₯𝑖̇ (𝑑) = π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − π‘Žπ‘– (𝑑) π‘₯𝑖 (𝑑) − ∑ 𝐷𝑖𝑗 (𝑑))
𝑗=1
(19)
𝑛
+ ∑ 𝐷𝑖𝑗 (𝑑) π‘₯𝑗 (𝑑)
(πœŒπ‘›∗ , πœŒπ‘›+1 ) .
𝑗=1
For any 𝑑 β©Ύ 𝜌1 , if 𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ] for some integer 𝑛, then we can
choose integer 𝑙 β©Ύ 0 and constant 0 β©½ ] < 𝑇 such that 𝑑 =
Μ‡ β©Ύ
πœŒπ‘› + 𝑙𝑇 + ]. Since, for all 𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ) and 𝑑 =ΜΈ π‘‘π‘˜ , we have 𝑒(𝑑)
𝑒(𝑑)(π‘Ÿπ‘–0 (𝑑) − ∑𝑛𝑗=1 𝐷𝑖0 𝑗 (𝑑) − π‘Žπ‘–0 (𝑑)𝜏), integrating this inequality
from πœŒπ‘› to 𝑑, then from (13) and (14) we obtain
𝑒 (𝑑)
𝑛
β©Ύ π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − π‘Žπ‘– (𝑑) π‘₯𝑖 (𝑑) − ∑ 𝐷𝑖𝑗 (𝑑) − 𝐷1 ) + 𝐷1 π‘š.
𝑗=1
(22)
Obviously, there is a constant 𝛽 > 0 and 𝛽 is independent of
any positive solution of system (1), such that for any 𝑖 ∈ 𝐼,
0 β©½ π‘₯𝑖 (𝑑) β©½ 𝛽, and all 𝑑 ∈ 𝑅+ the following inequality holds
β©Ύ 𝑒 (πœŒπ‘› )
𝑛
𝑑
𝑛
πœŒπ‘›
𝑗=1
π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − π‘Žπ‘– (𝑑) π‘₯𝑖 (𝑑) − ∑𝐷𝑖𝑗 (𝑑) − 𝐷1 ) + 𝐷1 π‘š > 𝛽.
× exp (∫ (π‘Ÿπ‘–0 (𝑠) − ∑ 𝐷𝑖0 𝑗 (𝑠) − π‘Žπ‘–0 (𝑠) 𝜏) d𝑠
𝑗=1
(23)
Hence, for any 𝑖 ∈ 𝐼, by (22) we have
+ ∑ ln β„Žπ‘–0 π‘˜ )
πœŒπ‘› β©½π‘‘π‘˜ <𝑑
π‘₯𝑖̇ (𝑑) > 𝛽,
𝑛
𝑇
β©Ύ 𝜏 exp (𝑙 (∫ (π‘Ÿπ‘–0 (𝑑) − ∑𝐷𝑖0 𝑗 (𝑑) − π‘Žπ‘–0 (𝑑) 𝜏) d𝑑
0
π‘₯𝑖 (π‘‘π‘˜+ )
𝑗=1
π‘˜=1
πœŒπ‘› +]
πœŒπ‘›
+
πœŒπ‘› β©½π‘‘π‘˜ <πœŒπ‘› +]
Case 1. There is a 𝑇1 β©Ύ 𝑇0 such that π‘₯𝑖 (𝑑) β©Ύ 𝛽 for all 𝑑 β©Ύ 𝑇1 .
𝑗=1
Case 2. There is a 𝑇1 β©Ύ 𝑇0 such that π‘₯𝑖 (𝑑) β©½ 𝛽 for all 𝑑 β©Ύ 𝑇1 .
Case 3. π‘₯𝑖 (𝑑) is oscillatory about 𝛽 for all 𝑑 β©Ύ 𝑇0 .
ln β„Žπ‘–0 π‘˜ )
β©Ύ 𝜏 exp (𝑙𝛿 − 𝛽𝑖0 𝑇 − 𝐻) β©Ύ 𝜏 exp (−𝛽𝑖0 𝑇 − 𝐻) ,
(20)
where 𝛽𝑖0 = sup𝑑∈[0,𝑇] {|π‘Ÿπ‘–0 (𝑑)|+∑𝑛𝑗=1 𝐷𝑖0 𝑗 (𝑑)+π‘Žπ‘–0 (𝑑)𝜏}. If there is
an integer 𝑛 such that 𝑑 ∈ (πœŒπ‘›∗ , πœŒπ‘›+1 ], obviously we have 𝑒(𝑑) β©Ύ
𝜏 β©Ύ 𝜏 exp(−𝛽𝑖0 𝑇 − 𝐻). Therefore, for Case 3 we always have
𝑒(𝑑) β©Ύ 𝜏 exp(−𝛽𝑖0 𝑇 − 𝐻) for all 𝑑 β©Ύ 𝜌1 . Let constant π‘š =
𝜏 exp(−𝛽𝑖0 𝑇 − 𝐻 − 1). Then π‘š is independent of any positive
solution of system (16) and we finally have that (17) holds.
Lastly, if Case 2 holds, then from 𝑒(𝑑) β©Ύ 𝜏 for all 𝑑 β©Ύ 0, we
directly have that (17) holds.
From the fact that π‘₯𝑖0 (𝑑) β©Ύ 𝑒(𝑑) for all 𝑑 β©Ύ 0, then we have
lim inf π‘₯𝑖0 (𝑑) β©Ύ lim inf 𝑒 (𝑑) > π‘š.
𝑑→∞
(24)
𝑛
(π‘Ÿπ‘–0 (𝑑) − ∑ 𝐷𝑖0 𝑗 (𝑑) − π‘Žπ‘–0 (𝑑) 𝜏) d𝑑
∑
π‘˜ = 1, 2, . . .
for all 0 β©½ π‘₯𝑖 (𝑑) β©½ 𝛽 and 𝑑 β©Ύ 𝑇0 , where Μƒβ„Žπ‘– = min1β©½π‘˜β©½π‘ž {β„Žπ‘–π‘˜ } > 0.
In order to prove that (12) holds, we only need to consider
the following three cases.
π‘ž
+ ∑ ln β„Žπ‘–0 π‘˜ )
+∫
β©Ύ Μƒβ„Žπ‘– π‘₯𝑖 (π‘‘π‘˜ ) ,
𝑑 =ΜΈ π‘‘π‘˜ ,
𝑑→∞
(21)
Equation (12) is obviously true if Case 1 holds.
For Case 2, there exists an impulsive time π‘‘π‘ž∗ β©Ύ 𝑇1 for
some integer π‘ž∗ > 0. For any 𝑑 > π‘‘π‘ž∗ +1 > π‘‘π‘ž∗ β©Ύ 𝑇1 , there is an
integer 𝑝 β©Ύ π‘ž∗ + 1 such that 𝑑 ∈ (𝑑𝑝 , 𝑑𝑝+1 ], and from system
(24) we have
π‘₯𝑖 (𝑑) > π‘₯𝑖 (𝑑𝑝+ ) + 𝛽 (𝑑 − 𝑑𝑝 ) β©Ύ Μƒβ„Žπ‘– π‘₯𝑖 (𝑑𝑝 ) + 𝛽 (𝑑 − 𝑑𝑝 )
+
) + 𝛽 (𝑑𝑝 − 𝑑𝑝−1 )] + 𝛽 (𝑑 − 𝑑𝑝 ) > Μƒβ„Žπ‘– π›½πœ0 ,
β©Ύ Μƒβ„Žπ‘– [π‘₯𝑖 (𝑑𝑝−1
(25)
where 𝜏0 = min1β©½π‘˜β©½π‘ž {π‘‘π‘˜ − π‘‘π‘˜−1 } > 0. Therefore, we obtain
lim inf π‘₯𝑖 (𝑑) > Μƒβ„Žπ‘– π›½πœ0
𝑑→∞
for any 𝑖 ∈ 𝐼.
(26)
Journal of Applied Mathematics
5
Then, we consider Case 3. We choose two sequences {πœŒπ‘› }
and {πœŒπ‘›∗ } satisfying 𝑇0 < 𝜌1 < 𝜌1∗ < ⋅ ⋅ ⋅ < πœŒπ‘› < πœŒπ‘›∗ < ⋅ ⋅ ⋅ and
lim𝑛 → ∞ πœŒπ‘› = lim𝑛 → ∞ πœŒπ‘›∗ = ∞ such that
π‘₯𝑖 (πœŒπ‘›+ ) β©½ 𝛽,
π‘₯𝑖 (πœŒπ‘› ) β©Ύ 𝛽,
π‘₯𝑖 (πœŒπ‘›∗ ) β©½ 𝛽,
π‘₯𝑖 (𝑑) β©½ 𝛽
π‘₯𝑖 (πœŒπ‘›∗+ ) β©Ύ 𝛽,
∀𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ) ,
(27)
π‘₯𝑖 (𝑑) β©Ύ 𝛽 ∀𝑑 ∈ (πœŒπ‘›∗ , πœŒπ‘›+1 ) .
For any 𝑑 β©Ύ 𝜌1 , if 𝑑 ∈ (πœŒπ‘› , πœŒπ‘›∗ ] for some integer 𝑛, we first of
all show that πœŒπ‘› must be an impulsive time. Otherwise, there
exists a positive constant 𝛿 such that there is no pulse in the
interval (πœŒπ‘› , πœŒπ‘› + 𝛿) ⊂ (πœŒπ‘› , πœŒπ‘›∗ ]. Then for any 𝑑 ∈ (πœŒπ‘› , πœŒπ‘› + 𝛿),
from system (24) we have π‘₯𝑖 (𝑑) > π‘₯𝑖 (πœŒπ‘›+ )+𝛽(𝑑−πœŒπ‘› ) > π‘₯𝑖 (πœŒπ‘› ) β©Ύ
𝛽, which leads to a contradiction.
If there is only one impulsive time in the interval
(πœŒπ‘› , πœŒπ‘›∗ ] (which must be πœŒπ‘› ), then from system (24) we get
π‘₯𝑖 (𝑑) > π‘₯𝑖 (πœŒπ‘›+ ) + 𝛽 (𝑑 − πœŒπ‘› ) β©Ύ Μƒβ„Žπ‘– π‘₯𝑖 (πœŒπ‘› ) + 𝛽 (𝑑 − πœŒπ‘› ) > Μƒβ„Žπ‘– 𝛽.
(28)
If there are at least twice pulses in (πœŒπ‘› , πœŒπ‘›∗ ], then we can
π‘ž∗ −1
denote (πœŒπ‘› , πœŒπ‘›∗ ] = ⋃𝑝=𝑝
(𝑑𝑝 , 𝑑𝑝+1 ] ⋃ (π‘‘π‘ž∗ , πœŒπ‘›∗ ], where 𝑑𝑝0 = πœŒπ‘› ,
0
π‘ž∗ > 𝑝0 , 𝑝0 , 𝑝 and π‘ž∗ are some positive integers. Hence, for
any 𝑑 ∈ (𝑑𝑝 , 𝑑𝑝+1 ], there is π‘₯𝑖 (𝑑) > π‘₯𝑖 (𝑑𝑝+ ) + 𝛽(𝑑 − 𝑑𝑝 ) from
system (24). Moreover, if 𝑝 = 𝑝0 , we have
π‘₯𝑖 (𝑑) > π‘₯𝑖 (𝑑𝑝+ ) + 𝛽 (𝑑 − 𝑑𝑝 ) β©Ύ Μƒβ„Žπ‘– π‘₯𝑖 (πœŒπ‘› ) + 𝛽 (𝑑 − πœŒπ‘› ) > Μƒβ„Žπ‘– 𝛽.
(29)
If 𝑝 > 𝑝0 , then
Remark 4. It follows from Theorem 3 that system (1) is
permanent if there is a positive average growth rate (which
does not include the dispersal entrance) in one time period 𝑇
in any patch 𝑖0 (𝑖0 ∈ 𝐼). In paper [4], the authors showed an
interesting result that the dispersal species without impulses
is permanent in all other patches if it is permanent in a
patch. However, we extend this result to a periodic case with
impulses.
Remark 5. In paper [18], we studied an impulsive periodic predator-prey system with Holling type III functional
response and diffusion, and the paper mainly considers the
influences of Holling type functional response and impulses.
The conditions of the main result Theorem 3 require the minimum of the coefficients. However, in this paper, we consider
a single-species logistic system. Although the predator is not
involved in the model, which is simple than the model in [18],
a more accurate and reasonable condition is established in
the present paper; that is, in dispersal system, species with
impulses is permanent in all patches if it is permanent in
a patch, which improves the minimum conditions in the
previous paper.
Theorem 6. System (1) is extinct if conditions
𝑇
∫ π‘Ž (𝑑) d𝑑 > 0,
0
However, when 𝑑 ∈ (π‘‘π‘ž∗ , πœŒπ‘›∗ ], then
π‘ž
𝑇
∫ (𝛾 (𝑑) −
πœ€π‘Ž (𝑑)
Μƒ
) d𝑑 + ∑ ln β„Žπ‘˜ < −𝛿.
𝑛
π‘˜=1
Define 𝑉(𝑑) = ∑𝑛𝑖=1 π‘₯𝑖 (𝑑). When 𝑑 =ΜΈ π‘‘π‘˜ , calculating the rightupper derivative of 𝑉(𝑑), we have
(31)
𝑛
𝑛
𝑛
𝑖=1
𝑖=1
𝑗=1
= ∑π‘₯𝑖̇ (𝑑) = ∑π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − ∑ 𝐷𝑖𝑗 (𝑑)
+ 𝛽 (𝑑 − π‘‘π‘ž∗ ) > Μƒβ„Žπ‘– π›½πœ0 .
𝑛
+ ∑𝐷𝑗𝑖 (𝑑) − π‘Žπ‘– (𝑑) π‘₯𝑖 (𝑑))
It follows from (28)–(31) that
π‘₯𝑖 (𝑑) β©Ύ min {Μƒβ„Žπ‘– 𝛽, Μƒβ„Žπ‘– π›½πœ0 }
𝑗=1
(32)
(πœŒπ‘› , πœŒπ‘›∗ ]
for all 𝑑 ∈
and any 𝑖 ∈ 𝐼.
If there is an integer 𝑛 such that 𝑑 ∈ (πœŒπ‘›∗ , πœŒπ‘›+1 ], obviously
we have π‘₯𝑖 (𝑑) β©Ύ 𝛽. Therefore, for Case 3 we always have
π‘₯𝑖 (𝑑) β©Ύ min {Μƒβ„Žπ‘– 𝛽, Μƒβ„Žπ‘– π›½πœ0 , 𝛽}
(35)
𝐷+ 𝑉 (𝑑)
π‘₯𝑖 (𝑑) > π‘₯𝑖 (π‘‘π‘ž+∗ ) + 𝛽 (𝑑 − π‘‘π‘ž∗ )
β©Ύ Μƒβ„Žπ‘– [π‘₯𝑖 (π‘‘π‘ž+∗ −1 ) + 𝛽 (π‘‘π‘ž∗ − π‘‘π‘ž∗ −1 )]
(34)
π‘˜=1
Proof. In fact, from (34), for any constant πœ€ > 0, there is a
positive constant 𝛿̃ such that
0
(30)
0
hold, where 𝛾(𝑑) = max𝑖∈𝐼 {π‘Ÿπ‘– (𝑑) − ∑𝑛𝑗=1 𝐷𝑖𝑗 (𝑑) + ∑𝑛𝑗=1 𝐷𝑗𝑖 (𝑑)} for
all 𝑑 ∈ [0, 𝑇], and π‘Ž(𝑑) and β„Žπ‘˜ are defined in Theorem 1.
+
π‘₯𝑖 (𝑑) > π‘₯𝑖 (𝑑𝑝+ ) + 𝛽 (𝑑 − 𝑑𝑝 ) β©Ύ Μƒβ„Žπ‘– [π‘₯𝑖 (𝑑𝑝−1
) + 𝛽 (𝑑𝑝 − 𝑑𝑝−1 )]
+ 𝛽 (𝑑 − 𝑑𝑝 ) > Μƒβ„Žπ‘– π›½πœ0 .
π‘ž
𝑇
∫ 𝛾 (𝑑) d𝑑 + ∑ ln β„Žπ‘˜ β©½ 0
(33)
for all 𝑑 β©Ύ 𝜌1 and any 𝑖 ∈ 𝐼.
From (26) and (33), choose π‘š = min𝑖∈𝐼 {Μƒβ„Žπ‘– 𝛽, Μƒβ„Žπ‘– π›½πœ0 , 𝛽}/2.
Then we finally have that (12) holds. System (1) is permanent.
The proof of Theorem 3 is completed.
𝑛
β©½ 𝛾 (𝑑) 𝑉 (𝑑) − π‘Ž (𝑑) ∑π‘₯𝑖2 (𝑑) β©½ 𝑉 (𝑑) (𝛾 (𝑑) −
𝑖=1
π‘Ž (𝑑)
).
𝑛𝑉 (𝑑)
(36)
When 𝑑 = π‘‘π‘˜ , we obtain 𝑉(π‘‘π‘˜+ ) = ∑𝑛𝑖=1 π‘₯𝑖 (π‘‘π‘˜+ ) = ∑𝑛𝑖=1 β„Žπ‘–π‘˜ π‘₯𝑖 (π‘‘π‘˜ ) β©½
max𝑖∈𝐼 {β„Žπ‘–π‘˜ }𝑉(π‘‘π‘˜ ) = β„Žπ‘˜ 𝑉(π‘‘π‘˜ ). From this and (35), a similar
argument as in the proof of (7), we can obtain 𝑉(𝑑) β©½
πœ€ exp(𝛾(𝑑)𝑇 + 𝐻) for 𝑑 β©Ύ 0. Then from the arbitrariness
of πœ€, we obtain 𝑉(𝑑) → 0 as 𝑑 → ∞. Finally, we have
π‘₯𝑖 (𝑑) → 0 as 𝑑 → ∞ for all 𝑖 ∈ 𝐼. This completes the proof
of Theorem 6.
6
Journal of Applied Mathematics
Remark 7. It can be seen from Theorem 6 that system (1) is
always extinct if, in one time period 𝑇, there are a positive
density-dependent coefficient and a nonpositive average
growth rate (which includes the dispersal entrance) in the
time period in each patch 𝑖 (𝑖 ∈ 𝐼).
3. Periodic Solutions
In this section, by constructing an appropriate Lyapunov
function, sufficient conditions for the existence of the unique
globally attractively positive 𝑇-periodic solution of system (1)
are established.
Let π‘₯(𝑑) = (π‘₯1 (𝑑), π‘₯2 (𝑑), . . . , π‘₯𝑛 (𝑑)) and π‘₯∗ (𝑑) = (π‘₯1∗ (𝑑),
∗
π‘₯2 (𝑑), . . . , π‘₯𝑛∗ (𝑑)) be any two positive solutions of system (1).
From Theorem 3, we can obtain that there are constants 𝐴 > 0
and 𝐡 > 0 such that
𝐴 β©½ π‘₯𝑖 (𝑑) ,
π‘₯𝑖∗ (𝑑) β©½ 𝐡
∀𝑑 β©Ύ 0, 𝑖 ∈ 𝐼.
(37)
Theorem 8. Suppose all the conditions of Theorem 3 hold.
Moreover, if
(38)
0
∑𝑛𝑗=1
where 𝛽(𝑑) = min𝑖∈𝐼 {π‘Žπ‘– (𝑑) −
𝐷𝑗𝑖 (𝑑)/𝐴} β©Ύ 0, 𝑑 ∈ [0, 𝑇],
then system (1) has a unique globally attractively positive 𝑇periodic solution π‘₯∗ (𝑑) = (π‘₯1∗ (𝑑), π‘₯2∗ (𝑑), . . . , π‘₯𝑛∗ (𝑑)); that is, any
positive solution π‘₯(𝑑) = (π‘₯1 (𝑑), π‘₯2 (𝑑), . . . , π‘₯𝑛 (𝑑)) of system (1)
satisfies
lim (π‘₯𝑖 (𝑑) − π‘₯𝑖∗ (𝑑)) = 0,
𝑑→∞
𝑖 ∈ 𝐼.
(39)
Proof. Choose Lyapunov function 𝑉(𝑑) = ∑𝑛𝑖=1 | ln π‘₯𝑖 (𝑑) −
ln π‘₯𝑖∗ (𝑑)|. Since for any impulsive time π‘‘π‘˜ we have
𝑛
󡄨
󡄨
𝑉 (π‘‘π‘˜+ ) = ∑ 󡄨󡄨󡄨ln π‘₯𝑖 (π‘‘π‘˜+ ) − ln π‘₯∗𝑖 (π‘‘π‘˜+ )󡄨󡄨󡄨
𝑖=1
(40)
𝑛
󡄨
󡄨
= ∑ 󡄨󡄨󡄨ln β„Žπ‘–π‘˜ π‘₯𝑖 (π‘‘π‘˜ ) − ln β„Žπ‘–π‘˜ π‘₯𝑖∗ (π‘‘π‘˜ )󡄨󡄨󡄨 = 𝑉 (π‘‘π‘˜ ) ,
𝑖=1
then 𝑉(𝑑) is continuous for all 𝑑 β©Ύ 0. On the other hand, from
(37) we can obtain that for any 𝑑 ∈ 𝑅+ and 𝑑 =ΜΈ π‘‘π‘˜
1 󡄨󡄨
󡄨 󡄨
󡄨
∗
∗
󡄨π‘₯ (𝑑) − π‘₯𝑖 (𝑑)󡄨󡄨󡄨 β©½ 󡄨󡄨󡄨ln π‘₯𝑖 (𝑑) − ln π‘₯𝑖 (𝑑)󡄨󡄨󡄨
𝐡󡄨 𝑖
1󡄨
󡄨
β©½ 󡄨󡄨󡄨π‘₯𝑖 (𝑑) − π‘₯𝑖∗ (𝑑)󡄨󡄨󡄨 .
𝐴
𝐷+ 𝑉 (𝑑) = ∑ sgn (π‘₯𝑖 (𝑑) − π‘₯𝑖∗ (𝑑)) (
𝑛
π‘₯𝑖̇ (𝑑) π‘₯𝑖̇∗ (𝑑)
−
)
π‘₯𝑖 (𝑑) π‘₯𝑖∗ (𝑑)
𝑛
𝑛
󡄨
󡄨
β©½ ∑ (−π‘Žπ‘– (𝑑) 󡄨󡄨󡄨π‘₯𝑖 (𝑑) − π‘₯𝑖∗ (𝑑)󡄨󡄨󡄨) + ∑ ∑𝐷𝑖𝑗 (𝑑) ,
𝑖=1
For all 𝑑 β©Ύ 0, we estimate 𝐷𝑖𝑗 (𝑑) under the following two cases.
(i) If π‘₯𝑖 (𝑑) β©Ύ π‘₯𝑖∗ (𝑑), then 𝐷𝑖𝑗 (𝑑) β©½ 𝐷𝑖𝑗 (𝑑)/π‘₯𝑖 (𝑑)(π‘₯𝑗 (𝑑) −
π‘₯𝑗∗ (𝑑)) β©½ 𝐷𝑖𝑗 (𝑑)/𝐴|π‘₯𝑗 (𝑑) − π‘₯𝑗∗ (𝑑)|.
(ii) If π‘₯𝑖 (𝑑) < 𝑦𝑖 (𝑑), then 𝐷𝑖𝑗 (𝑑) β©½ 𝐷𝑖𝑗 (𝑑)/π‘₯𝑖∗ (𝑑)(π‘₯𝑗 (𝑑) −
π‘₯𝑗∗ (𝑑)) β©½ 𝐷𝑖𝑗 (𝑑)/𝐴|π‘₯𝑗 (𝑑) − π‘₯𝑗∗ (𝑑)|.
It follows from the estimation of 𝐷𝑖𝑗 (𝑑) and (41) that
𝑛
󡄨
󡄨
𝐷+ 𝑉 (𝑑) β©½ ∑ (−π‘Žπ‘– (𝑑) 󡄨󡄨󡄨π‘₯𝑖 (𝑑) − π‘₯𝑖∗ (𝑑)󡄨󡄨󡄨)
𝑖=1
𝐷𝑖𝑗 (𝑑)
󡄨󡄨
󡄨󡄨
∗
𝑖=1 𝑗=1 𝐴 󡄨󡄨󡄨π‘₯𝑗 (𝑑) − π‘₯𝑗 (𝑑)󡄨󡄨󡄨
𝑖=1 𝑗=1
𝑛
+∑∑
𝑛
𝑛
β©½ −∑ (π‘Žπ‘– (𝑑) − ∑
𝑖=1
𝐷𝑗𝑖 (𝑑)
𝑗=1
𝐴
(44)
󡄨
󡄨
) 󡄨󡄨󡄨π‘₯𝑖 (𝑑) − π‘₯𝑖∗ (𝑑)󡄨󡄨󡄨
β©½ −𝛽 (𝑑) 𝐴𝑉 (𝑑) .
From this and condition (38), we have 𝑉(𝑑)
β©½
𝑑
𝑉(0) exp(−𝐴 ∫0 𝛽(𝑠)d𝑠) → 0 as 𝑑 → ∞. Further more, from
(41) we have that (39) holds.
Now let us consider the sequence (π‘₯1∗ (π‘šπ‘‡, 𝑧0 ), π‘₯2∗ (π‘šπ‘‡,
𝑧0 ), . . . , π‘₯𝑛∗ (π‘šπ‘‡, 𝑧0 )) = 𝑧(π‘šπ‘‡, 𝑧0 ), where π‘š = 1, 2, . . . and
𝑧0 = (π‘₯1∗ (0), π‘₯2∗ (0), . . . , π‘₯𝑛∗ (0)). It is compact in the domain
[𝐴, 𝐡]𝑛 since 𝐴 β©½ π‘₯𝑖∗ (𝑑) β©½ 𝐡 for all 𝑑 β©Ύ 0 and 𝑖 =
1, 2, . . . , 𝑛. Let 𝑧 be a limit point of this sequence, with
𝑧 = lim𝑛 → ∞ 𝑧(π‘šπ‘› 𝑇, 𝑧0 ). Then 𝑧(𝑇, 𝑧) = 𝑧. Indeed, since
𝑧(𝑇, 𝑧(π‘šπ‘› 𝑇, 𝑧0 )) = 𝑧(π‘šπ‘› 𝑇, 𝑧(𝑇, 𝑧0 )) and 𝑧(π‘šπ‘› 𝑇, 𝑧(𝑇, 𝑧0 )) −
𝑧(π‘šπ‘› 𝑇, 𝑧0 ) → 0 as π‘šπ‘› → ∞, we get
‖𝑧 (𝑇, 𝑧) − 𝑧‖[𝐴,𝐡]𝑛
σ΅„©
σ΅„©
β©½ 󡄩󡄩󡄩𝑧 (𝑇, 𝑧) − 𝑧 (𝑇, 𝑧 (π‘šπ‘› 𝑇, 𝑧0 ))σ΅„©σ΅„©σ΅„©[𝐴,𝐡]𝑛
σ΅„©
σ΅„©
+ 󡄩󡄩󡄩𝑧 (𝑇, 𝑧 (π‘šπ‘› 𝑇, 𝑧0 )) − 𝑧 (π‘šπ‘› 𝑇, 𝑧0 )σ΅„©σ΅„©σ΅„©[𝐴,𝐡]𝑛
(41)
For any 𝑑 ∈ 𝑅+ and 𝑑 =ΜΈ π‘‘π‘˜ , calculating the derivative of 𝑉(𝑑),
we obtain
𝑖=1
π‘₯𝑗 (𝑑) π‘₯𝑗∗ (𝑑)
{
{
−
) , π‘₯𝑖 (𝑑) > π‘₯𝑖∗ (𝑑) ,
(
𝐷
(𝑑)
{
𝑖𝑗
{
{
π‘₯𝑖 (𝑑) π‘₯𝑖∗ (𝑑)
{
𝐷𝑖𝑗 (𝑑) = {
{
{
π‘₯𝑗∗ (𝑑) π‘₯𝑗 (𝑑)
{
{
{𝐷𝑖𝑗 (𝑑) ( ∗
−
) , π‘₯𝑖 (𝑑) < π‘₯𝑖∗ (𝑑) .
π‘₯
π‘₯
(𝑑)
(𝑑)
𝑖
𝑖
{
(43)
𝑛
𝑇
∫ 𝛽 (𝑑) d𝑑 > 0,
𝑛
where
σ΅„©
σ΅„©
+ 󡄩󡄩󡄩𝑧(π‘šπ‘› 𝑇, 𝑧0 ) − 𝑧󡄩󡄩󡄩[𝐴,𝐡]𝑛 󳨀→ 0,
(45)
𝑛 󳨀→ ∞.
The sequence 𝑧(π‘šπ‘‡, 𝑧0 ), π‘š = 1, 2, . . . has a unique limit
point. On the contrary, let the sequence have two limit points
𝑧 = lim𝑛 → ∞ 𝑧(π‘šπ‘› 𝑇, 𝑧0 ) and 𝑧̃ = lim𝑛 → ∞ 𝑧(π‘šπ‘› 𝑇, 𝑧0 ). Then,
taking into account (39) and 𝑧̃ = 𝑧(π‘šπ‘› 𝑇, 𝑧̃), we have
‖𝑧 − 𝑧̃‖[𝐴,𝐡]𝑛
(42)
σ΅„©
σ΅„©
β©½ 󡄩󡄩󡄩𝑧 − 𝑧 (π‘šπ‘› 𝑇, 𝑧0 )σ΅„©σ΅„©σ΅„©[𝐴,𝐡]𝑛
σ΅„©
σ΅„©
+ 󡄩󡄩󡄩𝑧 (π‘šπ‘› 𝑇, 𝑧0 ) − 𝑧̃󡄩󡄩󡄩[𝐴,𝐡]𝑛 󳨀→ 0,
(46)
𝑛 󳨀→ ∞,
Journal of Applied Mathematics
7
and hence 𝑧 = 𝑧̃. The solution (π‘₯1∗ (𝑑, 𝑧), π‘₯2∗ (𝑑, 𝑧), . . . , π‘₯𝑛∗ (𝑑, 𝑧))
is the unique periodic solution of system (1). By (39), it is
globally attractive. This completes the proof of Theorem 8.
5
π‘₯1
4.5
4
4. Numerical Simulation and Discussion
In this paper, we have investigated a class of single-species
periodic logistic system with impulses and dispersal in 𝑛
different patches. By means of inequality estimation technique and Lyapunov function, we gave the criteria for the
permanence, extinction, and existence of a unique globally
stable positive periodic solution of system (1).
In order to testify the validity of our results and present a
more in-depth problem for further discussion, we discuss the
following two patches 𝑇-periodic dispersal system:
π‘₯ = (π‘₯1 , π‘₯2 )
3.5
3
2.5
π‘₯2
2
1.5
1
0.5
0
0
2
4
6
8
10
𝑑
π‘₯1Μ‡ (𝑑) = π‘₯1 (𝑑) (π‘Ÿ1 (𝑑) − π‘Ž1 (𝑑) π‘₯1 (𝑑))
Figure 1: The time series of the permanence of species π‘₯.
+ 𝐷12 (𝑑) (π‘₯2 (𝑑) − π‘₯1 (𝑑)) ,
π‘₯2Μ‡ (𝑑) = π‘₯2 (𝑑) (π‘Ÿ2 (𝑑) − π‘Ž2 (𝑑) π‘₯2 (𝑑))
+ 𝐷21 (𝑑) (π‘₯1 (𝑑) − π‘₯2 (𝑑)) ,
𝑑 =ΜΈ π‘‘π‘˜ ,
3.5
(47)
3
π‘₯1 (π‘‘π‘˜+ ) = β„Ž1π‘˜ π‘₯1 (π‘‘π‘˜ ) ,
2.5
= β„Ž2π‘˜ π‘₯2 (π‘‘π‘˜ ) ,
π‘₯2
π‘₯2 (π‘‘π‘˜+ )
2
π‘˜ = 1, 2, . . . .
We take π‘Ÿ1 (𝑑) = 5 − | sin(πœ‹/2)𝑑|, π‘Ÿ2 (𝑑) = 2.5 + 0.5 cos πœ‹π‘‘,
π‘Ž1 (𝑑) = 1.5, π‘Ž2 (𝑑) = 0.8, 𝐷12 (𝑑) = 1.2, 𝐷21 (𝑑) = 0.7, β„Ž1π‘˜ =
1.2, β„Ž2π‘˜ = 0.8, and π‘‘π‘˜ = 0.1π‘˜, π‘˜ = 1, 2, . . .. Obviously, π‘Ÿ(𝑑) =
max{π‘Ÿ1 (𝑑), π‘Ÿ2 (𝑑)} = 5 − | sin(πœ‹/2)𝑑|, π‘Ž(𝑑) = min{π‘Ž1 (𝑑), π‘Ž2 (𝑑)} =
0.8, β„Žπ‘˜ = max{β„Ž1π‘˜ , β„Ž2π‘˜ } = 1.2, and system (47) is periodic with
period 𝑇 = 2. For π‘ž = 20, we have π‘‘π‘˜+π‘ž = π‘‘π‘˜ + 𝑇, β„Ž1(π‘˜+π‘ž) = β„Ž1π‘˜ ,
and β„Ž2(π‘˜+π‘ž) = β„Ž2π‘˜ for all π‘˜ = 1, 2, . . .. It is easy to verify that
β„Žπ‘˜ (𝑑, πœ‡) and β„Žπ‘–π‘˜ (𝑑, πœ‡) (𝑖 = 1, 2) are bounded for all 𝑑 ∈ 𝑅+ and
πœ‡ ∈ [0, 𝑇]. Further more, since
1.5
1
2
2.5
3
3.5
4
4.5
π‘₯1
Figure 2: The phase of the permanence of species π‘₯.
𝑇
∫ π‘Ž (𝑑) d𝑑 = 1.6 > 0,
0
π‘ž
𝑇
∫ (π‘Ÿ1 (𝑑) − 𝐷12 (𝑑)) d𝑑 + ∑ ln β„Ž1π‘˜
0
(48)
π‘˜=1
= 9.9732 > 0
(𝑖0 = 1) ,
all the conditions of Theorem 3 are satisfied. Hence, system
(47) is permanent. See Figures 1 and 2.
However, if the survival environment of the two patches
is austere, the intrinsic growth rates will be negative. Hence,
if we take π‘Ÿ1 (𝑑) = −1 − | sin(πœ‹/2)𝑑|, π‘Ÿ2 (𝑑) = −4 + 0.5 cos πœ‹π‘‘
and all other parameters are retained, then we obtain 𝛾(𝑑) =
max{π‘Ÿ1 (𝑑) − 𝐷12 (𝑑) + 𝐷21 (𝑑), π‘Ÿ2 (𝑑) − 𝐷21 (𝑑) + 𝐷12 (𝑑)} = −1.5 −
| sin(πœ‹/2)𝑑| and
𝑇
π‘ž
∫ 𝛾 (𝑑) d𝑑 + ∑ ln β„Žπ‘˜ = −0.6268 < 0,
0
π‘˜=1
(49)
hence conditions of Theorem 6 are satisfied. From Theorem 6
we find that any positive solution of system (47) will be
extinct. See Figure 3.
From the illustrations of the theorems, we note that there
is a great difference on the choice of the intrinsic growth rates
π‘Ÿπ‘– (𝑑) (𝑖 = 1, 2), which guarantee that the system is permanent
or extinct. These differences make us want to know what
results will be if all the parameters satisfy
𝑇
2
π‘ž
𝑗=1
π‘˜=1
∫ (π‘Ÿπ‘– (𝑑) − ∑ 𝐷𝑖𝑗 (𝑑)) d𝑑 + ∑ ln β„Žπ‘–π‘˜ β©½ 0
0
𝑇
𝑖 = 1, 2,
π‘ž
∫ 𝛾 (𝑑) d𝑑 + ∑ ln β„Žπ‘˜ > 0.
0
π‘˜=1
(50)
8
Journal of Applied Mathematics
5
4
π‘₯ = (π‘₯1 , π‘₯2 )
3
π‘₯1
π‘₯2
3
2.5
2
1
2
1
0
3
2
4
5
𝑑
3
1.5
π‘₯2
0
1
π‘₯2
2
0.5
1
0
0.5
0
1
π‘₯1
1.5
0
2
0.5
0
1
1.5
2
2.5
π‘₯1
Figure 3: The time series and phase of the extinction of species π‘₯.
Figure 5: The phase of the permanence of species x.
5
4.5
4
3.5
π‘₯ = (π‘₯1 , π‘₯2 )
4
π‘₯ = (π‘₯1 , π‘₯2 )
5
2
1
0
3
π‘₯1
π‘₯2
2.5
π‘₯1
π‘₯2
3
0
1
2
3
3
2
4
5
6
𝑑
2
π‘₯2
1.5
1
1
0.5
0
0
0
2
4
6
8
10
𝑑
0.5
0
1
π‘₯1
1.5
2
Figure 6: The time series and phase of the extinction of species x.
Figure 4: The time series of the permanence of species x.
For this aim, we choose π‘Ÿ1 (𝑑) = 2.55 − 5| sin(πœ‹/2)𝑑|, π‘Ÿ2 (𝑑) =
2 + 0.5 cos πœ‹π‘‘ and all other parameters are retained; then
∫ (π‘Ÿ1 (𝑑) − 𝐷12 (𝑑)) d𝑑 + ∑ ln β„Ž1π‘˜ = −0.0198 < 0,
0
π‘˜=1
∫ (π‘Ÿ2 (𝑑) − 𝐷21 (𝑑)) d𝑑 + ∑ ln β„Ž2π‘˜ = −1.8629 < 0,
0
(51)
π‘ž
∫ 𝛾 (𝑑) d𝑑 + ∑ ln β„Žπ‘˜ = 11.3732 > 0,
0
π‘˜=1
𝑇
π‘ž
0
π‘˜=1
𝑇
0
∫ (π‘Ÿ2 (𝑑) − 𝐷21 (𝑑)) d𝑑 + ∑ ln β„Ž2π‘˜ = −12.4629 < 0,
π‘ž
𝑇
π‘ž
𝑇
∫ (π‘Ÿ1 (𝑑) − 𝐷12 (𝑑)) d𝑑 + ∑ ln β„Ž1π‘˜ = −1.0268 < 0,
π‘ž
𝑇
Furthermore, if we choose π‘Ÿ1 (𝑑) = −0.5 − | sin(πœ‹/2)𝑑|,
π‘Ÿ2 (𝑑) = −4 + 0.5 cos πœ‹π‘‘ and keep all other parameters, then
we have
π‘˜=1
and all the conditions of Theorems 3 and 6 are not satisfied.
But from Figures 4 and 5 we find that the system is permanent.
(52)
π‘˜=1
𝑇
π‘ž
∫ 𝛾 (𝑑) d𝑑 + ∑ ln β„Žπ‘˜ = 1.3732 > 0,
0
π‘˜=1
which do not satisfy conditions of any theorem. But, from
Figure 6 we see that any positive solution of system (1) is
extinct.
Remark 9. Through the above analysis, we realize that there
is a little flaw of the finding conditions of the theorems.
Journal of Applied Mathematics
A challenging problem is to find some sufficient and necessary conditions (if the conditions hold, then the system will
be permanent, otherwise, it will be extinct) to guarantee the
permanence and extinction of the system.
Throughout Figures 1–6, we always take the initial condition π‘₯(0) = (π‘₯1 (0), π‘₯2 (0)) = (2, 3).
Acknowledgments
This work was supported in part by the National Natural Science Foundation of China (60702071), Program
for New Century Excellent Talents in University (NCET06-0811), 973 National Basic Research Program of China
(2010CB732501), Foundation of Sichuan Excellent Young
Talents (09ZQ026-035), and Open Project of State Key Laboratory for Novel Software Technology of Nanjing University
and Zhejiang Provincial Natural Science Foundation of China
(Q13A010080).
References
[1] E. Beretta and Y. Takeuchi, “Global stability of single-species
diffusion Volterra models with continuous time delays,” Bulletin
of Mathematical Biology, vol. 49, no. 4, pp. 431–448, 1987.
[2] H. I. Freedman and Y. Takeuchi, “Global stability and predator
dynamics in a model of prey dispersal in a patchy environment,”
Nonlinear Analysis. Theory, Methods & Applications, vol. 13, no.
8, pp. 993–1002, 1989.
[3] Y. Kuang and Y. Takeuchi, “Predator-prey dynamics in models
of prey dispersal in two-patch environments,” Mathematical
Biosciences, vol. 120, no. 1, pp. 77–98, 1994.
[4] Z. Teng and Z. Lu, “The effect of dispersal on single-species
nonautonomous dispersal models with delays,” Journal of Mathematical Biology, vol. 42, no. 5, pp. 439–454, 2001.
[5] J. Zhang, L. Chen, and X. D. Chen, “Persistence and global
stability for two-species nonautonomous competition LotkaVolterra patch-system with time delay,” Nonlinear Analysis.
Theory, Methods & Applications, vol. 37, no. 8, pp. 1019–1028,
1999.
[6] R. Mchich, P. Auger, and J.-C. Poggiale, “Effect of predator
density dependent dispersal of prey on stability of a predatorprey system,” Mathematical Biosciences, vol. 206, no. 2, pp. 343–
356, 2007.
[7] Y. Takeuchi, J. Cui, R. Miyazaki, and Y. Saito, “Permanence of
delayed population model with dispersal loss,” Mathematical
Biosciences, vol. 201, no. 1-2, pp. 143–156, 2006.
[8] L. Zhang and Z. Teng, “Permanence for a class of periodic timedependent competitive system with delays and dispersal in a
patchy-environment,” Applied Mathematics and Computation,
vol. 188, no. 1, pp. 855–864, 2007.
[9] Z. Teng and L. Chen, “Permanence and extinction of periodic
predator-prey systems in a patchy environment with delay,”
Nonlinear Analysis. Real World Applications, vol. 4, no. 2, pp.
335–364, 2003.
[10] V. Lakshmikantham, D. D. BaΔ±Μ†nov, and P. S. Simeonov, Theory
of Impulsive Differential Equations, vol. 6, World Scientific Press,
Singapore, 1989.
[11] S. Ahmad and I. M. Stamova, “Asymptotic stability of an 𝑁dimensional impulsive competitive system,” Nonlinear Analysis.
Real World Applications, vol. 8, no. 2, pp. 654–663, 2007.
9
[12] M. U. Akhmet, M. Beklioglu, T. Ergenc, and V. I. Tkachenko,
“An impulsive ratio-dependent predator-prey system with diffusion,” Nonlinear Analysis. Real World Applications, vol. 7, no.
5, pp. 1255–1267, 2006.
[13] X.-Z. Meng, L.-S. Chen, and Q.-X. Li, “The dynamics of an
impulsive delay predator-prey model with variable coefficients,”
Applied Mathematics and Computation, vol. 198, no. 1, pp. 361–
374, 2008.
[14] S. H. Saker and J. O. Alzabut, “Existence of periodic solutions,
global attractivity and oscillation of impulsive delay population
model,” Nonlinear Analysis. Real World Applications, vol. 8, no.
4, pp. 1029–1039, 2007.
[15] J. Hou, Z. Teng, and S. Gao, “Permanence and global stability for
nonautonomous 𝑁-species Lotka-Valterra competitive system
with impulses,” Nonlinear Analysis. Real World Applications, vol.
11, no. 3, pp. 1882–1896, 2010.
[16] X. Liu and L. Chen, “Global dynamics of the periodic logistic
system with periodic impulsive perturbations,” Journal of Mathematical Analysis and Applications, vol. 289, no. 1, pp. 279–291,
2004.
[17] X. Wang, W. Wang, and X. Lin, “Dynamics of a periodic
Watt-type predator-prey system with impulsive effect,” Chaos,
Solitons and Fractals, vol. 39, no. 3, pp. 1270–1282, 2009.
[18] Z. Liu and S. Zhong, “An impulsive periodic predator-prey
system with Holling type III functional response and diffusion,”
Applied Mathematical Modelling, vol. 36, no. 12, pp. 5976–5990,
2012.
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
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
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
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download