Dynamical Properties of a Discrete Lesley-Gower Prey-Predator Model with Holling-II Type Functional Response ()
1. Introduction
In a predator-predator model, the predator functional response is the most important factor determining the dynamic behavior of the model. The earliest model of ratio dependence was proposed by Leslie. In this model, changes in predators are assumed to be logical increases in the carrying capacity of a variable resource (prey). Such models are based on the assumption that the decrease in predator numbers is inversely related to the per capita availability of its preferred food. The dynamic nature of the predator of this model has been discussed by Leslie and Gower [1]. In the presence of a severe shortage of favorite prey, predators may switch to less preferred foods in order to survive. The resulting model no longer depends on ratios. This should be taken into account in the modified Leslie Gower model, for which Alaoui and Okiye [2] considered the degree of protection provided by the environment to enable prey to escape predation, giving the following model with Holling type II functional responses.
,(1)
where, the population densities of prey and predators are denoted by X and Y, respectively, all relevant parameters are positive, and their biological significance is as follows:
is the logistic growth rate of prey, b is the intensity of interspecific competition within the prey population,
represents the consumption of prey by predator,
represents the degree of protection of the environment to predator, and the other constant
represents the logistic growth rate of predator,
represents the crowding effect among predators, the parameter
provides a range of alternative predation options in an environment other than X.
To give the dimensionless form of system (1), we use the following scaling transformation:
,
,
,
,
,
,
.
Then system (1) becomes
.(2)
The existence and persistence of positive solutions, the global stability of solutions, the existence of periodic and quasi-periodic solutions, and the bifurcation and chaos properties of system (2) have been deeply studied by many scholars, refer to the literature [2]-[11].
Almost all of these studies were on continuous systems (2). Continuous systems and corresponding discrete systems have many similar dynamic properties. For example, in bifurcation theory, the folding bifurcation and Hopf bifurcation in the one-parameter continuous case correspond to the folding bifurcation and Neimark-Sacker bifurcation in the discrete case. However, as pointed out in the literature [12], discrete cases may have richer properties than continuous systems, for example, period 3 can produce chaotic phenomena, as well as period-doubling bifurcations in bifurcation problems. Therefore, inspired by the above literature, in this paper, we consider the discrete case of system (2).
It is well known that the fixed point of a system is actually its singular solution. The orbit of the system at the normal point (non-fixed point) is locally structurally stable, while the orbit at the fixed point may be locally structurally unstable and may produce singular changes. Therefore, the properties of the fixed point and the orbit near the fixed point become more complex, and its research significance is greater, especially for the actual biological model (see [9]-[12]).
The discrete case corresponding to system (2) is
.(3)
The purpose of this paper is to study the dynamic properties of system (3). Firstly, all fixed points are obtained, and the types of fixed points are given by using hyperbolic and non-hyperbolic conditions. Then, the bifurcation properties of non-hyperbolic fixed points are analyzed, and the generation conditions of Flip bifurcation and Neimark-Sacker bifurcation are investigated. Finally, the numerical simulation of Flip bifurcation and Neimark-Sacker bifurcation are given.
For details on the conditions for discriminating between hyperbolic and non-hyperbolic fixed points and their significance for stability and bifurcation analysis, please refer to the literature [13] [14].
2. The Types of Fixed Points
In this section, we will discuss the hyperbolic and non-hyperbolic properties of fixed points and determine the types of fixed points. We change system (3) to a plane map
:
(4)
Obviously, the system has fixed points.
,
,
,
where
,
.
Theorem 2.1 (A) Fixed point
is the unstable node of the system; (B) Fixed point
is the saddle point of the system.
Proof (A) Taylor’s expansion of the map F at a fixed point
is
, (5)
The Jacobian matrix is
And its eigenvalues are
,
.
Because of
, we have
,
. Then, the fixed point
is the unstable node.
(B) similar to the proof of (A), we know that the eigenvalues of fixed point
are
,
.
Then the conclusions can be drawn. The specific process is omitted.
Theorem 2.2 (A) Fixed point
is non-hyperbolic if and only if
is located on the following four lines:
,
,
,
.
(B) If
, the fixed point
satisfies the following types shown in Table 1.
Table 1. Types of fixed point
.
Case |
condition |
eigenvalue |
type |
|
|
,
|
saddle point |
|
|
,
|
saddle point |
|
|
,
|
unstable node |
|
|
|
unstable node |
(C) If
, the fixed point
satisfies the following types shown in Table 2.
Table 2. Types of fixed point
.
Case |
condition |
eigenvalue |
type |
|
|
,
|
saddle point |
|
|
,
|
saddle point |
|
|
|
unstable node |
|
|
|
stable node |
(D) If
, the fixed point
satisfies the following types shown in Table 3.
Table 3. Types of fixed point
.
Case |
condition |
eigenvalue |
type |
|
|
,
|
saddle point |
|
|
,
|
saddle point |
|
|
|
unstable node |
|
|
|
stable node |
Proof By performing the following coordinate transformation
,
,
we transform the fixed point
to
. The transformed map is
:
.(6)
The Jacobian matrix of map
at
is
,
and its eigenvalues are
,
.
(A) If
or
, then
or
; If
or
, then
or
. By the non-hyperbolic property of the fixed point, we know that fixed point
is non-hyperbolic if and only if
is located on the following four lines
,
,
and
.
Since
is hyperbolic if and only if its eigenvalues are not on the unit circle, so, we need discuss the eigenvalues for three cases
(B)
, (C)
, (D)
.
(B) If
, when
, we have
and
, then
is saddle point. We proved the Case
. Similarly, we can prove the Cases of
,
and
.
According to the method of case (B), we can discuss the types of cases of (C) and (D).
3. The Flip Bifurcation of Fixed Point E2
In this section, we choose p as the bifurcation parameter and consider the flip bifurcation of fixed point
for the case
.
Theorem 3.1 Suppose
and
, if
, then the system (4) has a flip bifurcation at a fixed point
. More precisely, when
, the fixed point
is stable, when
, the fixed point
becomes unstable, and the system bifurcates a stable 2-period orbit.
Proof We write the map
as
to strengthen the dependence on the parameter p, then
.
Since
and
, if
, we obtain
,
and corresponding eigenvectors are
.(7)
By using the eigenvector set (7), we obtain the following transformation
.(8)
By selecting
as a parameter, the system (7) can be changed into the following parametric suspension system by using the above transformation (8).
(9)
where
,
,
.
According to the central manifold existence theorem (see [13], p. 246), we can obtain the local central manifold of the map (9):
where
is a small enough positive value. We assume
.
The above central manifold must be satisfied:
By comparing the coefficients, we get
, then the central manifold is:
.
By substituting this into the map (9), we can get a one-dimensional map on the central manifold:
.
We can verify the transversal and non-degenerate conditions for flip bifurcation (see [14], p. 127):
,
.
Thus, the system has a flip bifurcation at a fixed point
.
4. The Neimark-Sacker Bifurcation of Fixed Points E3
In this section, we consider the Neimark-Sacker bifurcation of system (3) at the fixed point
. Because of the complexity of the calculation, we only discuss the possible conditions under which the Neimark-Sacker bifurcation occurs.
Using the following coordinate transformation
,
,
we transform the fixed point
to
. The transformed map is
:
The Jacobian matrix of the map
is:
,
and the characteristic equation is:
.
Let
,
.
Then, when the following conditions are satisfied
(E)
,
and
,
the system has conjugate complex roots
and
. In this case, the system may generate a Neimark-Sacker bifurcation at this fixed point. A numerical simulation of this phenomenon is given in the following section.
5. Numerical Simulation
In this section, we’re going to give the numerical simulation of flip bifurcation at a fixed point
and of Neimark-Sacker bifurcation at a fixed point
.
Simulation 1 Let
,
,
, choose p as a variation.
Parameter, initial value
, then the flip bifurcation diagram of system (3) at a fixed point
is shown in Figure 1.
Simulation 2 Let
,
,
and initial value
.
(a) when
, we obtain by calculation
,
, the fixed point
is stable (see Figure 2(a)).
Figure 1. The flip bifurcation diagram of system (3).
Figure 2. (a)
, the fixed point
is stable; (b)
, the fixed point
is stable; (c)
, a stable limit cycle appears nearby
.
(b) when
, we obtain by calculation
,
, the fixed point
is also stable (see Figure 2(b));
(c) when
, we obtain by calculation
,
, the fixed point
loses stability, and a stable limit cycle appears nearby (see Figure 2(c)).
Funding
This work has been supported by the Guangdong Basic and Applied Basic Research Foundation (Grant No. 2022A1515010964, 2022A1515010193) and the Science and Technology Planning Project of Zhanjiang (Grant No. 2021A05040, 2022A01059).