Positive Periodic Solutions of Nonautonomous Delayed Predator-Prey System with Pulse Controls ()
1. Introduction
In the early 1920s, the work with respect to predator-prey systems [1] [2] [3] was done by Lotka [4] and Volterra [5], they concluded that the coexistence of two or more predators competing for fewer prey resources is impossible, which was later known as the principle of competitive exclusion. For example, in the case of two predators competing for a single prey species, one considers the following Lotka-Volterra predator-prey model
(1.1)
where
and
are the densities of the two predators and
is the density of the prey. By assuming that both predators consume prey according to Holling II functional response, then system (1.1) was modified to the following predator-prey system
(1.2)
Based on dynamical system techniques and the geometrical singular perturbation theory, Liu, Xiao and Yi [6] showed the coexistence of predators and prey of system (1.2) which happened along a stable periodic orbit in the positive octant of
.
By assuming that one predator consumes prey according to the Holling II functional response and the other predators consume prey according to the Beddington-DeAngelis functional response, then system (1.1) was modified to the following predator-prey system
(1.3)
In [7], system (1.4) was studied with variable coefficient and periodic delays. The conditions of the existence of positive periodic solutions were given.
(1.4)
In the system based on the (1.4), taking into account the artificial interference, such as regularly input of predators and prey, this motivates us to consider the following system (1.5) with impulses.
(1.5)
where
stands for the prey’s density,
and
stand for the predators’ densities respectively. One of the reasons for introducing a delay into a predator-prey system is that the rate of reproduction of predators depends on the rate at which they have consumed the prey in the past, and this idea is well justified [8] [9] [10]. Usually Hopf bifurcation theory is used to investigate the existence of periodic solutions for predator-prey system with a single constant delay [11] [12] [13]. Recently, the geometrical singular perturbation theory [14] has been employed by Lin and Yuan [15] [16] to study the existence of periodic solutions for predator-prey systems with a single delay or multiple delays. In this paper, we shall justify the existence of periodic solutions for predator-prey system (1.5) with impulses and periodic delays.
The main contribution of this paper is to obtain the existence of positive periodic solutions of nonautonomous delayed predator-prey system with pulse controls by using the method of the continuation theorem of Gaines and Mawhin. The rest of the paper is arranged as follows. In Section 2, we introduce some notation and concepts for the continuation theorem of coincidence degree, give some necessary definitions and lemmas. In Section 3, we establish new conditions for the existence of periodic solutions for the system (1.5). In Section 4, some lemmas are proved. Some conclusions are given in Section 5.
2. Notations and Preliminaries
Let
,
and
be the sets of all integers, positive integers and real numbers, respectively, and
.
Assume that
(H1)
and
are positive
-periodic continuous functions,
and
are nonnegative
-periodic continuous functions,
and C are positive constants;
(H2) there exists an integer
such that
,
, and
,
,
,
. Furthermore, a natural constraint is
,
;
(H3)
,
,
.
Let
Moreover, we denote
.
Before stating our main result, for the sake of convenience and simplicity, we denote
.
Definition 2.1. ( [17] ). The set
is said to be quasi equi-continuous in
if for any
there exists
such that if
,
,
, and
, then
Lemma 1. (Compactness criterion, Lemma 2.4 of [17] ). The set
is relatively compact if and only if:
a)
is bounded, that is, there exists some
such that
for each
;
b)
is quasi equi-continuous in
.
For convenience, we summarize a few concepts from the book by Gaines and Mawhin [18].
Let X and Z be real Banach spaces. Let
be a linear mapping and
be a continuous mapping. The mapping L will be called a Fredholm mapping of index zero if
and ImL is closed in Z. If L is a Fredholm mapping of index zero, then there exist continuous projectors
and
such that
and
. It follows that
is invertible and its inverse is denoted by
. If
is a bounded open subset of X, the mapping N is called L-compact on
if
is bounded and
is compact. Because ImQ is isomorphic to KerL, there exists an isomorphism
.
In the proof of our existence result, we need the following continuation theorem.
Lemma 2. (Continuation Theorem, Gaines and Mawhin [18] ). Let L be a Fredholm mapping of index zero and let N be L-compact on
. Suppose
a) for each
, every solution x of
is such that
;
b)
for each
;
c)
.
Then the equation
has at least one solution lying in
.
In order to transform (1.5) to the equivalent operator equation, we carry out the change of variable
,
,
, then (1.5) has the form
(2.1)
where
,
.
It is easy to see that if system (2.1) has one
-periodic solution
, then
is a positive
-periodic solution of system (1.5). Therefore, it suffices to prove system (2.1) has an
-periodic solution.
Let
with the norm
and
where
is the Euclidean norm of
. Then X and Z are Banach spaces when they are endowed with above norms.
Set
,
with
,
and
as
Using this notation we may rewrite (2.1) in the equivalent form
. Clearly,
,
is closed in Z, and
. Thus, L is a Fredholm mapping of index zero. Define two projections
and
as
It is trivial to show that P, Q are continuous projections such that
,
and hence, the generalized inverse
exists. In order to derive the expression of
, we take
, then there exists
such that
A direct integration gives
(2.2)
Note that
, namely,
, together with (2.2) implies
then
Therefore, for
, one has
and
,
Clearly,
and
are continuous. Using the Arzela-Ascoli theorem and Lemma 1, it is not difficult to prove that
is compact for any open bounded set
. In addition,
is bounded. Therefore, N is L-compact on
with any open bounded set
.
Now we reach the position to search for an appropriate open bounded subset
for the application of the continuation theorem (Lemma 2). Corresponding to the operator equation
, we have
(2.3)
where
,
.
Suppose that
is an
-periodic solution of (2.3) for some
, integrating (2.3) over
, we obtain
Therefore,
(2.4)
(2.5)
(2.6)
It follows from (2.3)-(2.6) that
(2.7)
(2.8)
(2.9)
Note that
, then there exists
,
such that
(2.10)
The following three lemmas give priori estimates for the three components of the solution
in system (2.3) and their proofs will be given in the next section.
Lemma 3.
, where
Lemma 4.
, where
Lemma 5.
, where
3. Proof of Lemmas
In this section, we give the proof of Lemmas 4-6.
Assume that
(H4)
,
,
,
,
(H5)
,
(H6)
,
where
Proof of Lemma 4. By (2.5) and (2.10), we have
that is
(3.1)
It follows that
(3.2)
By (3.2), we have
(3.3)
On the other hand, we have
that is
(3.4)
It follows that
(3.5)
By (2.3) and (3.5), we have
(3.6)
Therefore, by (3.3) and (3.6), we have
This completes the proof of Lemma 4. n
Proof of Lemma 5. By (2.6) and (2.10), we have
that is
(3.7)
It follows that
By (3.6), we have
We have
(3.8)
By (3.8), we have
(3.9)
On the other hand, we have
that is
(3.10)
It follows that
By (3.3) and the assumption in Theorem 3, we have
We have
(3.11)
By (2.9) and (3.11), we have
(3.12)
Therefore, by (3.9) and (3.12), we have
This completes the proof of Lemma 5.
Proof of Lemma 6. By (2.3) and (2.10), we have
(3.13)
By multiplying both sides of (3.13) by
, it follows that
By (3.1) and (3.7), we have
It follows that
By (3.3), (3.6), (3.12), we have
It follows that
(3.14)
Therefore, by (3.14), we have
(3.15)
On the other hand, we have
(3.16)
By multiplying both sides of (3.16) by
, it follows that
By (3.4) and (3.10), we have
It follows that
By (3.3), (3.6), (3.9), we have
It follows that
(3.17)
Therefore, by (3.17), we have
(3.18)
Therefore, by (3.15) and (3.18), we have
This completes the proof of Lemma 6. n
4. Theorems and Proof
Our main result of this paper is as follows:
Theorem 6. If (H1)-(H6) hold, then system (1.5) has at least one
-periodic positive solution.
Proof. Based on the Lemmas 4-6, it can be seen that the constants
, are independent of
. Moreover, it can be verified that the following system of algebraic equations
has a unique positive solution
.
Denote
, where
is taken to be sufficiently large such that
Define
. It is clear that
verifies the requirement (a) of the Lemma 2. When
, u is a constant vector in
with
. Then for
,
The isomorphism J of ImQ onto KerL may be defined by
then
On the other hand, by the definition of topology degree, direct calculation yields
where
,
,
,
,
,
.
Therefore, we have
So far we have proved that
satisfies all the requirements in Lemma 2. Therefore, system (2.1) has at least one
-periodic solution. Hence, by the transformation
, system (1.5) has at least one positive
-periodic solution, this completes the proof.
Remark 7. In [7], the conditions of the existence of positive periodic solutions were obtained for nonautonomous delayed predator-prey system such as system (1.4). However, it did not consider the impulsive impacts. This paper discusses the nonautonomous delayed predator-prey system with impulsive effects and obtains the sufficient conditions of the existence of positive periodic solutions of system (1.5) by employing the method of the continuation theorem of Gaines and Mawhin. Therefore, the work of this paper extends the main results in literature [7].
5. Conclusions and Future Works
It is usually observed that population densities in the real world tend to fluctuate. Therefore, modeling population interactions and understanding this oscillatory phenomenon are a very basic and important ecological problem. Although much progress has been made in the study of modelling and understanding three species predator-prey systems, models such as (1.1)-(1.3) have been largely discussed by assuming that the environment is constant, which is indeed rarely the case in real life. Naturally, more realistic and interesting models with three species interactions should take into account the seasonality of the changing environment, the effects of time delays and artificially regularly put predators and prey. Therefore, it is interesting and important to study systems with impulses and periodic delays (1.5). In this paper, based on the powerful and effective coincidence degree theory, the existence of positive periodic solutions for predator-prey systems with impulses and periodic delays (1.5) is obtained under suitable conditions. In particular, in the system (1.5), when there is no impulses, that is
, the results are obtained in [4].
Of course, there are some improvements in this article to explore further. For instance,
1) Positive almost positive periodic solutions of nonautonomous delayed predator-prey system with pulse controls are meaningful to discuss.
2) Stability of nonautonomous delayed predator-prey system with pulse controls should be studied in the future.
3) Other dynamical behaviors of nonautonomous delayed predator-prey system with pulse controls should be further investigated.
Acknowledgements
This work is supported by Science and Technology Plan Project of Guizhou Province (Contract No.: Qiankehe LH [2017] No. 7031).