The permanence of a single-species population discrete model with feedback control is considered. We found that if we use the method of comparison theorem, then the additional condition, to some extent, is necessary. But for the system itself, this condition may not be necessary. Here, we use new methods instead of the comparison theorem to get the permanence of the system in consideration; the additional condition in Chen's paper (2007) is deleted

Lin-Lin Wang

Yong-Hong Fan

Discrete Dynamics in Nature and Society

English

Directory of Open Access Journals

Permanence for a Discrete Model with Feedback Control and Delay

Crossref

Hindawi Publishing Corporation
Discrete Dynamics in Nature and Society
Volume 2008, Article ID 945109, 8 pages
doi:10.1155/2008/945109
Research Article
Permanence for a Discrete Model with
Feedback Control and Delay
Yong-Hong Fan1, 2 and Lin-Lin Wang1,2
1 School of Mathematics and Information, Ludong University, Yantai, Shandong 264025, China
2Department of Mathematics, Beijing Institute of Technology, Beijing 100081, China
Correspondence should be addressed to Lin-Lin Wang, llwang@bit.edu.cn
Received 9 April 2008; Accepted 27 May 2008
Recommended by Leonid Berezansky
The permanence of a single-species population discrete model with feedback control is considered.
We found that if we use the method of comparison theorem, then the additional condition, to some
extent, is necessary. But for the system itself, this condition may not be necessary. Here, we use new
methods instead of the comparison theorem to get the permanence of the system in consideration;
the additional condition in Chen’s paper 2007 is deleted.
Copyright q 2008 Y.-H. Fan and L.-L. Wang. 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.
1. Introduction
In 1, Li and Zhu investigated the single-species population discrete model with feedback
control:
Nn  1  Nn exp
[
rn
(
1 − Nn −m
kn
− cnμn
)]
,
Δμn  −anμn  bnNn −m,
1.1
which is a diﬀerence form of the single model with feedback control:
dNt
dt
 rtNt
(
1 − N
(
t − τt)
kt
− ctμt
)
,
dμn
dt
 −atμt  btN(t − τt).
1.2
In 1, Theorem 2.1, under the assumptions that a : Z → 0, 1, c, k, r, b : Z → R : {x |
x > 0} are all ω-periodic sequences, m is a nonnegative integer, which may be zero, and Δ is
the first forward diﬀerence operator: Δμn  μn  1 − μn. They obtained what follows.
Lemma 1.1. System 1.1 has at least one positive ω-periodic solution.
2 Discrete Dynamics in Nature and Society
The following notations and definition will be useful to our discussion.
Let C denote the set of all bounded sequences f : Z → R, and let C be the set of all
f ∈ C such that f > 0. Given f ∈ C, denote
fu  sup
k∈0,∞
fk, f l  inf
k∈0,∞
fk. 1.3
Also for f ∈ Cω : {f ∈ C | fk ω  fk}, set
f 
1
ω
ω−1∑
i0
fi. 1.4
Definition 1.2. System 1.1 is said to be permanent if there exist two positive constants λ1, λ2
such that
λ1 ≤ lim inf
k→∞
Nik ≤ lim sup
k→∞
Nik ≤ λ2, i  1, 2, 1.5
for any solution N1k,N2k of 1.1.
Recently, by using the comparison theorem, Chen 2 investigated the permanence of
system 1.1 under the basic assumptions that
H a : Z → 0, 1, c, k, r, b : Z → R : {x | x > 0} are all bounded sequences.
He obtained what follows.
Lemma 1.3. Assume that (H) and
cuM2 < 1 1.6
hold, then system 1.1 is permanent, where
M2 
buM1
al
, M1 
ku exp
{
rum  1 − 1}
ru
. 1.7
In 3, 4, we studied the discrete predator-prey system which takes the form
N1k  1  N1k exp
{
b1k − a1kN1
(
k − [τ1]) − α1kN1kN2k
N21k m
2N22k
}
,
N2k  1  N2k exp
{
− b2k 
α2kN21
(
k − [τ2])
N21
(
k − [τ2]) m2N22(k − [τ2])
}
.
1.8
Using the method of comparison theorem, we obtained the following lemma.
Lemma 1.4. Assume that the following conditions hold:
H1 2mb1 > α1,
H2 α2 > b2.
Y.-H. Fan and L.-L. Wang 3
Furthermore, assume that
(
b2k
)u
< 1 1.9
holds. Then, system 1.8 is permanent.
We should point out that conditions H1 and H2 are suﬃcient for the permanence
of system 1.8 the reader can refer to 5; that is, condition 1.9 is not necessary for its
permanence.
We found that if we use the method of comparison theorem, then the additional
condition, to some extent, is necessary. But for the system itself, this condition may not be
necessary. Motivated by the above problem, we discuss the permanence of system 1.1 again;
our investigation shows that condition 1.6 is also not necessary.
2. Main results
In the remainder of this paper, for biological reasons, we only consider the solution xk, μk
of system 1.1 with initial condition
x−m, x−m  1, . . . , x−1 ≥ 0, x0, μ0 > 0. 2.1
One can easily show that any solution of system 1.1with initial condition 2.1 remains
positive.
First, we state our main result below.
Theorem 2.1. Under the basic assumptions (H), the system 1.1 is permanent.
In order to prove our main result, firstly we give some lemmas which will be useful for
the following discussion.
Lemma 2.2. Assume that A > 0 and y0 > 0, and further suppose that
1
yn  1 ≤ Ayn  Bn, n  1, 2, . . . . 2.2
Then for any integer k ≤ n,
yn ≤ Akyn − k 
k−1∑
i0
AiBn − i − 1. 2.3
Especially, if A < 1 and B is bounded above with respect toM, then
lim sup
n→∞
yn ≤ M
1 −A, 2.4
2
yn  1 ≥ Ayn  Bn, n  1, 2, . . . . 2.5
4 Discrete Dynamics in Nature and Society
Then for any integer k ≤ n,
yn ≥ Akyn − k 
k−1∑
i0
AiBn − i − 1. 2.6
Especially, if A < 1 and B is bounded below with respect tom∗, then
lim inf
n→∞
yn ≥ m
∗
1 −A. 2.7
Proof. Since the proof of 2 is similar to that of 1, we only need to prove 1. For any integer
k ≤ n,
yn ≤ Ayn − 1  Bn − 1,
yn − 1 ≤ Ayn − 2  Bn − 2,
· · ·
yn − k  1 ≤ Ayn − k  Bn − k,
2.8
then
Ayn − 1 ≤ A2yn − 2 ABn − 2,
· · ·
Ak−1yn − k  1 ≤ Akyn − k Ak−1Bn − k,
2.9
which implies that
yn ≤ Akyn − k  Bn − 1 ABn − 2 Ak−1Bn − k
 Akyn − k 
k−1∑
i0
AiBn − i − 1.
2.10
From the above inequality, 2.4 is obvious and the proof is complete.
The following lemma can be found in 1, 6.
Lemma 2.3. Assume that {xn} satisfies xn1 > 0 and
1
xn  1 ≤ xn exp {rn(1 − axn)} 2.11
for n ∈ n1,∞, where a is a positive constant and n1 is a positive integer. Then,
lim sup
n→∞
xn ≤ 1
ar u
exp
(
ru − 1), 2.12
Y.-H. Fan and L.-L. Wang 5
2
xn  1 ≥ xn exp {rn(1 − axn)} 2.13
for n ∈ n1,∞, where a is a positive constant and n1 is a positive integer. Further assume
that lim supn→∞xn ≤ x∗ and ax∗ > 1. Then,
lim inf
n→∞
xn ≥ 1
a
exp
(
ru
(
1 − ax∗)). 2.14
The following two lemmas are direct conclusions of 2.
Lemma 2.4. There exists a positive constant K1 such that
lim sup
n→∞
Nn ≤ K1. 2.15
In fact, one can choose
K1 
ku exp
{
r um  1 − 1}
r u
. 2.16
Lemma 2.5. There exists a positive constant K2 such that
lim sup
n→∞
μn ≤ K2. 2.17
Similarly, one can choose
K2 
buK1
al
. 2.18
Lemma 2.6. There exists a positive constant k1 such that
lim inf
n→∞
Nn ≥ k1. 2.19
Proof. By Lemmas 2.4 and 2.5 and by the first equation of system 1.1, we have
Nn  1  Nn exp
[
rn
(
1 − Nn −m
kn
− cnμn
)]
≥ Nn exp
{
rn
(
1 − K1
kn
− cnK2
)} 2.20
for n suﬃciently large; then
n−1∏
in−m
Ni  1
Ni
≥ exp
{
n−1∑
in−m
ri
(
1 − K1
ki
− ciK2
)}
. 2.21
6 Discrete Dynamics in Nature and Society
Notice that the sequence
∑n−1
in−mri1 −K1/ki − ciK2 is bounded below; thus
Nn −m ≤ Nn exp
{
−
n−1∑
in−m
ri
(
1 − K1
ki
− ciK2
)}
. 2.22
For simplicity, we set −ri1 −K1/ki − ciK2  Di; then
Nn −m ≤ Nn exp
{
n−1∑
in−m
Di
}
. 2.23
From the second equation of system 1.1, we have
μn  1 
(
1 − an)μn  bnNn −m
≤ (1 − al)μn  bnNn −m
≤ (1 − al)μn  bnNn exp
{
n−1∑
in−m
Di
}
: Aμn  Bn.
2.24
Then, Lemma 2.2 implies that for any k ≤ n −m,
μn ≤ Akμn − k 
k−1∑
i0
AiBn − i − 1
 Akμn − k 
k−1∑
i0
Aibn − i  1Nn − i − 1 −m
≤ Akμn − k 
k−1∑
i0
AibuNn exp
{
n−1∑
jn−i1m
Dj
}
.
2.25
Note that
0 ≤ Akμn − k ≤ K2Ak −→ 0, as k −→ ∞. 2.26
Hence, there exists a positive integerK such that for any solution Nn, μn of system 1.1,
cuAkμn − k < 1/2, as k > K. In fact, we can choose K  max{1,−logA2cuK2}, then we get
μn ≤ AKμn −K 
K−1∑
i0
AibuNn exp
{
n−1∑
jn−i1m
Dj
}
≤ AKK2 
[
K−1∑
i0
Aibu exp
{
i m  1Du
}]
Nn
2.27
for n > K.
Since
∑K−1
i0 A
ibu exp{i m  1Du} is bounded above, setM1  
∑K−1
i0 A
ibu exp{i m 
1Du}u; then
μn ≤ AKK2 M1Nn. 2.28
Y.-H. Fan and L.-L. Wang 7
Considering the first equation of system 1.1, we have
Nn  1 ≥ Nn exp
{
rn
[(
1 − cuAKK2
) −
(
cuM1 
m exp
{
Du
}
kl
)
Nn
]}
≥ Nn exp
{
1
2
rn
[
1 − 2
(
cuM1 
m exp
{
Du
}
kl
)
Nn
]}
.
2.29
In order to prove this lemma, by Lemma 2.22, for the rest we only need to prove
2
(
cuM1 
m exp
{
Du
}
kl
)
K1 > 1. 2.30
Notice that
2
(
cuM1 
m exp
{
Du
}
kl
)
K1 >
1
kl
K1 
ku
kl
exp
{
rum  1 − 1}
ru
> m  1 > 1. 2.31
Here, we use the Bernoulli inequality ex > 1  x for x > −1.
Thus,
lim inf
n→∞
Nn ≥ k1, 2.32
where k1 can be chosen as
k1 
exp
{
1/2ru
(
1 −M2K1
)}
M2
, M2  2
(
cuM1 
mDu
kl
)
. 2.33
This completes the proof.
Lemma 2.7. There exists a positive constant k2 such that
lim inf
n→∞
μn ≥ k2. 2.34
Proof. Without loss of generality, for any 0 < ε < 1/2k1, there exists a positive integerN2 > K
such that
Nn ≥ m1 − ε ∀n > N2. 2.35
Then, the second equation implies that
Δμn ≥ −auμn  bl(m1 − ε) ∀n > N2. 2.36
By Lemma 2.22, we have
lim inf
n→∞
μn ≥ k2, 2.37
where k2 can be chosen as
k2 
blk1
au
. 2.38
The proof is complete.
Proof of Theorem 2.1. From Lemmas 2.4–2.7 and the definition of permanence, the conclusion is
obvious.
8 Discrete Dynamics in Nature and Society
3. Discussion
In many situations, as our investigations show, the permanence and the existence of periodic
solutions of a system are closely related with each other. But sometimes when we want to get
the permanence of the system under the precondition that the periodic solution exists, we need
some additional conditions. This mainly charges upon the method we used, especially when
we use the comparison theorem. To make the comparison theorem holds, some additional
conditions must be given, while to the system itself, these conditions may not be necessary. Just
as in 2, 3, the conditions for the permanence of the system include some additional conditions
besides the conditions for the existence of periodic solutions, while in this text and in 5, the
conditions for the permanence of the system are exactly the same as the conditions for the
existence of periodic solutions. This is because in this text and in 5 we use new methods
instead of the comparison theorem.
Acknowledgments
This work is supported by the NSF of Ludong University 24070301, 24070302, 24200301 and
by the Program for Innovative Research Team at Ludong University.
References
1 Y. Li and L. Zhu, “Existence of positive periodic solutions for diﬀerence equations with feedback
control,” Applied Mathematics Letters, vol. 18, no. 1, pp. 61–67, 2005.
2 F. Chen, “Permanence of a single species discrete model with feedback control and delay,” Applied
Mathematics Letters, vol. 20, no. 7, pp. 729–733, 2007.
3 Y.-H. Fan andW.-T. Li, “Permanence for a delayed discrete ratio-dependent predator-prey system with
Holling type functional response,” Journal of Mathematical Analysis and Applications, vol. 299, no. 2, pp.
357–374, 2004.
4 Y.-H. Fan, W.-T. Li, and L.-L. Wang, “Periodic solutions of delayed ratio-dependent predator-prey
models with monotonic or nonmonotonic functional responses,” Nonlinear Analysis: Real World
Applications, vol. 5, no. 2, pp. 247–263, 2004.
5 Y.-H. Fan andW.-T. Li, “Harmless delays in a discrete ratio-dependent periodic predator-prey system,”
Discrete Dynamics in Nature and Society, vol. 2006, Article ID 12176, 21 pages, 2006.
6 X. Yang, “Uniform persistence and periodic solutions for a discrete predator-prey system with delays,”
Journal of Mathematical Analysis and Applications, vol. 316, no. 1, pp. 161–177, 2006.
Submit your manuscripts at
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical Problems 
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Differential Equations
International Journal of
Volume 2014
Applied Mathematics
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Probability and Statistics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical Physics
Advances in
Complex Analysis
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Optimization
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Operations Research
Advances in
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and 
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International 
Journal of 
Mathematics and 
Mathematical 
Sciences
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
The Scientific 
World Journal
Hindawi Publishing Corporation 
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in 
Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Decision Sciences
Advances in
Discrete Mathematics
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014 Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Stochastic Analysis
International Journal of


http://doaj.org/search?source=%7B%22query%22%3A%7B%22bool%22%3A%7B%22must%22%3A%5B%7B%22term%22%3A%7B%22id%22%3A%22816c754b5d864bdd8d1423523c2204df%22%7D%7D%5D%7D%7D%7D

Permanence for a Discrete Model with Feedback Control and Delay

Abstract

Similar works

Full text

Available Versions

Directory of Open Access Journals

Crossref