The Dynamical Behavior of a Predator-Prey System with Holling Type II Functional Response and Allee Effect ()
1. Introduction
In this paper, we consider a predator-prey system with Holling type II functional response and Allee effect on predator, which is described by the following nonlinear ordinary differential equations (ODEs)
(1a)
(1b)
subject to initial conditions
. Here, functions
and
are the prey and predator densities at time t, respectively. All above positive constants have biological considerations. Parameters
and
denote the intrinsic growth rate of prey and predator, respectively;
and
represent the carrying capacity of the environment for prey and predator, respectively; a is the half-saturation constant; q is the search efficiency of predator for prey;
and
are the mortality rate of prey and predator species, respectively;
is the biomass conversion; d is the intra-specific competition coefficient; e is the Allee effect constant. For convenience, we denote
as c. The specific growth term
governs the increase of prey in the lack of predator, while the specific growth term
governs the increase of predator. The square term
denotes intrinsic decrease of prey. The coupled term
, named Holling type II functional response, describes how predators transform harvested prey into the growth of itself, and also refers to the change in the density of prey attached per unit time per predator as prey density changes. It was proposed by C.S. Holling in 1965 as well as other Holling type functional responses and extended the classical Lotka-Volterra predator-prey systems in biomathematics [1] [2] [3] [4].
The term
on predator is called the Allee effect. The Allee effect, named by Warder Clyde Alee, plays a significant role in determining dynamical behavior of predator-prey systems, even ecological and social models [5] [6] [7]. These phenomena occur in small or sparse populations and are widely accepted to be common in nature. They are related to a positive correlation between population size and fitness at very low population size and another phenomenological feature that may induce extinction of populations [8] [9] [10]. The Allee effects are called strong if they cause critical population sizes, while they are called weak if they do not result in critical sizes [7]. The strong Allee effect causes the so-called Allee threshold that populations need to surpass it in order to avoid extinction and survive permanently [9] [11]. On the contrary, a population with weak Allee effect does not have such above threshold [12]. Other names are positive density dependence (in contrast to classical negative density dependence) and depensatory dynamics (in contrast to classical compensatory dynamics) [7]. Most references concentrate on the strong Allee effect.
Like Holling type functional responses, predator-prey systems incorporating Allee effect have also received much attention from ecologists and mathematicians [13] - [18]. For Allee effect incorporating into the prey population with multiply form, in reference [13], the authors extended a predator-prey system with strong Allee effect and a functional response of the ratio of prey to predator. By means of bifurcation analysis and advance numerical techniques for the calculation of invariant manifolds of equilibria, they stated the consequences of the (dis)appearance of limit cycles, homoclinic orbits, and heterclinic connections in the global arrangement of phase plane near a Bogdanov-Takens bifurcation. The reference [14] examined global behavior of a Gause-type predator-prey system with Holling type III functional response and weak Allee effect on the prey growth. They also proved that the origin is a saddle point and obtained existence of two limit cycles surround a stable interior equilibria: just like that with strong Allee effect. In [15], Zu et al. studied a predator-prey system with Allee effect on prey and investigated local asymptotic stability of equilibria. Meanwhile, the authors found that Allee effect of prey population can bring about unstable or stable periodic fluctuations. Based on above reference, Zu and Mimura [16] considered the Holling type II functional response and local asymptotic stability of equilibria. Compared with the model without Allee effect, they found that the effect on prey increases extinction risk of predator and prey. An explicit algorithm was also obtained to determine the direction of Hopf bifurcation as well as the stability of periodic solutions. The phenomenon of periodicity in this reference is similar to that in [15].
While the reference [17] showed that, when the Leslie-Gower predator-prey model with additive Allee effect on prey has two positive equilibria, there exists a separatrix curve that separates the behavior of trajectories, i.e. the model is highly sensitive to initial conditions. In [18], the authors began with local population dynamics and then constructed a model including both local population and metapopulation dynamics. Their results indicated that the Allee-like effect in a metapopulation may emerge from the imposed Allee effect at the local population level and severe demographic stochasticity may compound the metapopulation extinction risk posed by the Allee effect.
The Allee effect was also researched in predator-prey systems with delay, impulse or diffusion. Xiao et al. [19] considered local asymptotic stability and Hopf bifurcation of a Holling type II predator-prey model incorporating time delay and Allee effect in prey. By using the delay as a bifurcation parameter, they showed that if the birth rate is small enough or the Allee effect is large enough, then both prey and predator extinct, i.e. the Allee effect can influence stability of the system. In [20], by using the Mawhins continuation theorem of coincidence degree and analysis techniques, the authors obtained some sufficient conditions of the existence of periodic solutions in a nonautonomous predator-prey system with Holling type II functional response, strong Allee effect and impulsive perturbation. They proved that their system has at least one positive
-periodic solution. While in reference [21], Cui et al. considered a diffusive predator-prey system with strong Allee effect and a protection zone for the prey. If the Allee effect threshold is low and the protection zone is large, they showed that the over exploitation phenomenon can be avoided.
This paper mainly concentrate on the dynamical behavior analysis of a complicated and realistic predator-prey system (1) with Allee-like effect [18] [22] on the specific growth term of predator with multiply form and an intrinsic decrease term on prey, which is different from above references involving ODEs systems with the additive Allee effect on prey or Allee-like effect on prey. The rest of this paper is organized as follows. Preliminaries, such as boundedness and permanence, are given in Section 2. In section 3, we give sufficient conditions for stability analysis of equilibria by using linearization technique and non-existence of limit cycles. In Section 4, bifurcation analysis and numerical simulations of Hopf bifurcation are presented. In Section 5, we present summary and some remarks.
2. Preliminaries
In this section, we devote to give priori foundations for our system. Firstly, we denote the first quadrant as
, and its closure is denoted as
. For biological consideration, the system (1) is defined on the domain
and all the solutions are nonnegative with initial conditions
, i.e.
is an invariant set. Thus, any trajectory starting from
cannot cross the coordinate axes. Furthermore, all the solutions are bounded. Now we will prove following theorems.
Theorem 1 (Uniform boundedness) All the solutions of system (1) are uniformly bounded in
with initial conditions
.
Proof of theorem 1. Here we introduce an auxiliary function
and a constant
, it is obvious to see that
By applying the theory of differential inequality [23], we obtain
(2)
All the solutions of the system (1) are confined in the region
Thus we complete the proof. □
Theorem 2 (Permanence) If parameters satisfy
and
(3)
where
and
is a positive upper bound of y, then the system (1) is permanence in
.
Proof of theorem 2. From the theorem 1, there exist a positive upper bound
, such that
(4)
For the Equation (1a), we have
and sufficiently large
, such that
Similarly, by using lemmas in [24], we have
. That is to say, there exist sufficiently large T, such that
,
. By substituting it into Equation (1b), we derive an inequality
By using above lemmas again, we complete the proof.
3. Equilibria
In this section we will discuss equilibria of system (1) with their existence conditions and stability analysis. It is obvious that the system (1) has equilibria:
,
,
,
, where
and
(5)
The point
enquiries
, while the points
all exist when
and
. If
and
, then
, i.e. the two equilibria
and
collide with each other and the system (1) has an unique boundary equilibrium when
. In this special case, we denote it as
.
3.1. Existence of Interior Equilibria
Here we firstly denote interior equilibrium as
or
. The point
must satisfies following algebraic equations
or
(6a)
(6b)
The Equation (6a) implies that
, and we have:
as
;
as
. For the Equation (6b), we have:
(
or 2) as
;
or
as
. The derivative of implicit function
from the Equation (6b) is
(7)
thus we denote the positive root of the quadratic equation
as
. Based on above analysis, some cases will be given to illustrate the existence of the interior equilibria
when the curve of left hand side function from the Equation (6b) falls in
.
Case 1. If following conditions
(8)
hold, then an interior equilibrium exist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
.
Case 2. If following condition
(9)
holds, then an interior equilibrium exist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
.
Case 3. If following conditions
(10)
hold, then an interior equilibrium exist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
.
Case 4. If following conditions
(11)
hold, then an interior equilibrium exist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
.
Case 5. If following conditions
(12)
hold, then an interior equilibrium exist. For instance, let
,
,
,
,
,
,
,
,
,
,
, then equilibrium
.
Case 6. If
not exist and following condition
(13)
holds, then an interior equilibrium exist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
.
Case 7. If
and the condition (13) holds, then an interior equilibrium exist. For instance, letting
,
,
,
,
,
,
,
,
,
and
, then equilibrium
.
From above cases, we will also give some cases to illustrate the phenomena that two interior equilibria exist at the same time.
Case 8. If following conditions
(14)
hold, then two interior equilibria coexist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
and
. Here
and
.
Case 9. If following conditions
(15)
hold, then two interior equilibria coexist. For instance, let
,
,
,
,
,
,
,
,
,
and
, then equilibrium
and
. Here
and
.
3.2. Stability Analysis
In this subsection, we use the Routh-Hurwitz criterion and the Perron’s theorems to analyze local stability of above equilibria. Recall the system (1) again, its Jacobian matrix takes the following form
, where components are
For the trivial equilibrium
and its Jacobian matrix
, we have: (a)
is an asymptotically stable node if
; (b)
is a saddle point if
.
Notice that Jacobian matrix at the axial equilibrium
takes the form
(16)
Combining the existence condition of
, we have: (a)
is a saddle point if
; (b)
is an asymptotically stable node if
.
In the case that two axial equilibrium
all exist, the Jacobian matrices are
(17)
Since
, we have: (a)
is a saddle point if
; (b)
is an asymptotically stable node if
. For the equilibrium
, it is obvious that
, we have: (a)
is an unstable node if
; (b)
is a saddle point if
; (c)
is an unstable higher order singular point if
. In the special case that two axial equilibria
collide with each other, the Jacobian matrix is
(18)
thus
is a higher order singular point. If
, it is unstable.
For the interior equilibrium
, its Jacobian matrix is
(19)
Denoting a new discriminant
with
and
, we have:
(a) If
and
(a1)
, then
is an asymptotically stable node; (a2)
, then
is a saddle point ;
(b) If
and
(b1)
, then
is a center or a focus; (b2)
, then
is a saddle point;
(c) If
, then
is unstable and
(c1)
, then
is a node; (c2)
, then
is a focus; (c3)
and
, then
is a node; (c4)
and
, then
is a saddle point.
Due to the further consideration of stability at the point
, we will give following theorem to explain its global stability.
Theorem 3 (Global asymptotic stability) If the interior equilibrium
exist and parameters satisfy
(20)
then
is globally asymptotically stable.
Proof of theorem 3. Here we take an unbounded positive definite Lyapunov function
(21)
with
. Introducing new variables
,
and computing derivative along orbits of the system (1), we have time derivative
It is obvious that
is negative definite. Consequently, the Lyapunov function V satisfies the asymptotic stability theorem in [25]. Thus we complete the proof. □
Remark. If
and
, then
is asymptotically stable since
and
.
3.3. Closed Orbits and Limit Cycles
In this subsection, we consider non-existence of closed orbits and limit cycles of system (1). Firstly, taking a diffeomorphism
,
,
which preserving the orientation of time, the system (1) is topologically equivalent to following system [14] [26] [27]
(22a)
(22b)
Notice that we still denote u, v and
as x, y and t. Above system is a
-qualitatively equivalent polynomial extension of the system (1) to
and more convenient to study limit cycles throughout [13].
Theorem 4 (Non-existence of limit cycles) If
,
and
, then for system (22), there are no closed orbits and limit cycles in
.
Proof of theorem 4. Here we take a Dulac function
and calculate following partial derivative:
where coefficients
and other unlisted coefficients are all non-positive. One can also use the Bendixson criteria or Dulac function
to complete the proof. □
4. Bifurcations
In this section, we will consider and give sufficient conditions to show the existence of saddle-node bifurcation, transcritical bifurcation and Hopf bifurcation of the system (1). Firstly, we denote the system (1) as the following form for simplicity and convenient:
(23)
4.1. Saddle-Node Bifurcation
As we see, when
and
, or
(24)
the two equilibria
collide with each other and the system (23) has an unique boundary equilibrium
when
. Hence there is a chance of bifurcation around this unique equilibrium. Here we choose
as bifurcation parameter and eigenvector
corresponding to the zero eigenvalue for the matrix (18). The eigenvector corresponding to the zero eigenvalue for the transpose of matrix (18) is
, where
Suppose
, then the following transversality conditions are hold:
(25)
Thus we have following theorem by using the Sotomayor’s theorem [28] [29].
Theorem 5 (Saddle-node bifurcation) Suppose the point
exist, if
, then the system (23) undergoes a saddle-node bifurcation around point
with respect to the bifurcation parameter
.
4.2. Transcritical Bifurcation
Keeping in mind that there is an exchange of stability between the points
and
when
crosses the threshold
. Suppose
. Here we choose
as bifurcation parameter and eigenvector
corresponding to the zero eigenvalue for the Jacobian matrix
when
, where
. The eigenvector corresponding to the zero eigenvalue for the transpose of matrix (18) is
, then the following transversality conditions are
(26)
Thus we have following theorem by using the Sotomayor’s theorem [28] [29].
Theorem 6 (Transcritical bifurcation) Suppose the two axial equilibria
coexist and
, if
or
, then the system (23) undergoes a transcritical bifurcation around the point
with respect to the bifurcation parameter
.
4.3. Hopf Bifurcation
Here the point
exist and we choose d as bifurcation parameter. Suppose that
are a pair of conjugate eigenvalues of matrix
, where
. The critical value
satisfies
(27)
Then the system (23) undergoes a Hopf bifurcation around the point
with respect to the bifurcation parameter d.
We will calculate the first Lyapunov number
at the point
, which is used to determine the stability of limit cycles. Therefore, translating the point
to the
by a linear transformation in the proof of theorem 3, the system (23) in power series around the origin (drop the hats for the sake of convenience as usual) is
(28)
where coefficients are
and
are smooth functions. From references [28] [30], the first Lyapunov number for a planar system is given by
(29)
We have to give following numerical simulations by computing the first Lyapunov number at the point
, since above expression is much too complicated.
Theorem 7 (Hopf bifurcation) Assume that the equilibrium
exist and parameters satisfy conditions (27), then the system (23) undergoes a Hopf bifurcation around the equilibrium
as parameter d passes through the critical value
. The Hopf bifurcation is supercritical and limit cycles are stable if
; the Hopf bifurcation is subcritical and limit cycles are unstable if
.
Example 4.1 Combining the theorem 4, we consider the case 1 in subsection 3.1 again. To investigate how the control parameter d affects the dynamical behavior of our system (1), Figure 1 and Figure 2 depict the time series diagrams and phase diagrams corresponding to values
and
, respectively. This implies that the Hopf bifurcation occurs in the system (1). The first Lyapunov number
, thus the Hopf bifurcation is supercritical and a limit cycle generated by the critical point is stable.
Example 4.2 We consider the case 6 in subsection 3.1 again and notice the critical value
. Figure 3 and Figure 4 depict the time series diagrams and phase diagrams corresponding to values
and
, respectively. The first Lyapunov number is also found to be negative.
Example 4.3 We consider the case 7 in subsection 3.1 again and notice the critical value
. Figure 5 and Figure 6 depict the time series diagrams and phase diagrams corresponding to values
and
, respectively. The first Lyapunov number is also negative.
5. Summary and Remarks
In summary, we consider a predator-prey system with Holling type II functional response and Allee effect on the specific growth term of predator with multiply form. In Subsection 3.1, some cases about the existence of interior equilibria
are derived with the help of the cobweb model but we neglect the monotonicity
(a) (b) (c) (d)
Figure 1. Figures in the Example 4.1 with d = 6.539. (a) Time series diagram of population x; (b) Time series diagram of population y; (c) Phase diagram of populations x and y; (d) Enlarged phase diagram of populations x and y.
(a) (b) (c) (d)
Figure 2. Figures in the Example 4.1 with d = 6.48. (a) Time series diagram of population x; (b) Time series diagram of population y; (c) Phase diagram of populations x and y; (d) Enlarged phase diagram of populations x and y.
(a) (b) (c) (d)
Figure 3. Figures in the Example 4.2 with d = 0.1775. (a) Time series diagram of the prey x; (b) Time series diagram of the predator y; (c) Phase diagram of two populations x and y; (d) Enlarged phase diagram of two populations x and y.
(a) (b) (c) (d)
Figure 4. Figures in the Example 4.2 with d = 0.175. (a) Time series diagram of the prey x; (b) Time series diagram of the predator y; (c) Phase diagram of two populations x and y; (d) Enlarged phase diagram of two populations x and y.
(a) (b) (c) (d)
Figure 5. Figures in the Example 4.3 with d = 0.125. (a) Time series for population x; (b) Time series for population y; (c) shows phase diagram of two populations x and y; (d) shows enlarged phase diagram of two populations x and y.
(a) (b) (c) (d)
Figure 6. Figures in the Example 4.3 with d = 0.1215. (a) Time series for population x; (b) Time series for population y; (c) shows phase diagram of two populations x and y; (d) shows enlarged phase diagram of two populations x and y.
of functions sometimes, and we also extend the zero-point theorem to the plane
; for instance, when
do not exist, a point from the Equation (6a) should belongs to the domain
which is surrounded by the isocline in the Equation (6b) and two axes, while another point from the Equation (6a) should belong to
. It is our expectancy that this method can also be available in other complicated predator-prey systems in the form of ordinary/partial differential equations.
In Subsection 3.2, we give conclusions of stability when equilibria are hyperbolic, but omit critical cases of non-hyperbolic equilibria. These need to be researched further by using qualitative analysis and topologically equivalent systems. The saddle-node, transcritical and Hopf bifurcations in Section 4 correspond to the three critical cases: (a)
or
,
; (b)
,
,
; (c)
,
, respectively. In Subsection 3.3, we obtained a theorem of non-existence conditions of limit cycles, while the existence, uniqueness and number of limit cycles need to be considered further. This theorem is suitable in the consideration of existence of limit cycles and Hopf bifurcation which generates a stable (unstable) limit cycle (see Example 4.1). For the corresponding homogeneous reaction-diffusion system subject to the Neumann boundary conditions:
(30a)
(30b)
(30c)
(30d)
where
is an one-dimensional domain;
and
are two positive diffusive constants; the interior equilibrium
is asymptotically stable and Turing instability will not occur under the conditions (or the remark) of the theorem 3; thus we may get potential Hopf bifurcation points and transversality condition
may holds as we choose
as the Hopf bifurcation parameter [31] [32]. Moreover, for the corresponding homogeneous diffusion system (without terms
and
in above system) subject to the Neumann boundary conditions:
(31a)
(31b)
(31c)
(31d)
Subsection 3.2 about local stability conclusions is also useful for this diffusive system (31) in local stability, steady state bifurcation and Hopf bifurcation analysis [33]. Finally, in Subsection 4.3, the bifurcation parameter d reveals Hopf bifurcation phenomenon as it crosses
by using numerical simulations corresponding to the existence of
, respectively. The Hopf bifurcations are supercritical and limit cycles generated by the critical points are stable.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (Grant No.31570364) and the National Key Research and Development Program of China (Grant No.2018YFE0103700). We thank the Editor and the referee(s) for their works.