1. Model Construction
Predator-prey systems are almost ubiquitous in the real world. In recent years, the dynamic analysis of predator-prey models has attracted extensive research from many scholars as an important topic. In 1932, Allee, through experimental studies on the growth of goldfish populations, found that a higher density of goldfish was beneficial for the growth of the goldfish population. He proposed that when the population density is reduced to a certain level, it will be maintained at a very low level and tend towards extinction, which is known as the Allee effect [1] [2]. Subsequently, Stephens and others believed that the Allee effect is a positive correlation between the population’s own fitness and its own number [3]. In recent years, many scholars have also conducted further extensive research on the Allee effect. They found that cooperative hunting can enhance the persistence of prey and can cause a strong Allee effect [4]-[6]. If
is used to represent the number of the prey population and
represents the number of the predator population, then the growth model of the prey with the Allee effect can be represented as.
r represents the natural growth rate of the prey, k represents the environmental carrying capacity, and v is the threshold overall level that represents the Allee effect, with
. Scholars have proposed various functional responses, among which Holling types I, II, and III have been widely discussed [7]-[9].
Holling I:
Holling II:
Holling III:
In recent years, many scholars have conducted in-depth research on other models, but there have been relatively few studies on diffusive predator-prey models with Bazykin functional responses. The Bazykin functional response function is referred to as
Among them,
and
are positive constants [9]. The Bazykin functional response is used to describe the stabilizing force of predator saturation and the destabilizing force of competition for prey. Therefore, this paper studies a diffusive predator-prey model with an Allee effect and a Bazykin functional response, and the specific model is as follows:
(1.1)
2. Properties of Solutions
We start with the positiveness of solutions of system (1.1)
Let
,
,
And then we rewrite (1.1) as
,
Consequently,
,
which implies the positiveness of the solution of (1.1).
Next, we prove the boundedness of solutions. From (1.1), we can construct a function involving
and
Consequently,
Let
,
After calculation, it can be found that
achieves its maximum value M at
, then it can be concluded that
Let
,
If
,
.
Consequently, the boundedness of
and
are derived. That is, both prey and predator are persistent from the biological angle.
Theorem 2.1: For the system (1.1) with arbitrary positive initial values
, there is
. When
, then there is
.
Proof: Firstly, for any arbitrary positive initial value
of the system (1.1), it holds that
.
Case 1:
.
Assume the conclusion does not hold, that is, there exist
and
such that
, and it holds that
, and for all
in the interval, it holds that
. When
, the first equation of system (1.1) implies that
among them
We have
There always exists an interval
such that
, then
Thus, for any
, it holds that
, which implies
, a contradiction. Therefore, the conclusion stands, and it is proven.
Case 2:
.
Because of
, then from the first equation of the system, it can be deduced that
Similar to Case 1, by the same reasoning, we have
.
Therefore, it is proven that for any
, it holds that
.
Case 3: When
, by the same reasoning,
This proves
, which is proven.
Theorem 2.1 indicates that no matter how much the initial quantity of the prey is, when time tends towards positive infinity, it will ultimately be less than the environmental carrying capacity k. Furthermore, when the quantity of the prey is less than the Allee constant v, the Allee effect will play a primary role in the extinction of the prey. That is to say, even if predators do not prey on the prey, the prey itself will naturally become extinct.
3. Dynamic Analysis of the Model
This section first analyzes the existence of equilibrium points, followed by an analysis of their stability.
1) It is clear that the system has an equilibrium point
.
2) When
, let
then
or
, at this point, the system has two equilibrium points
,
.
3) When
, let
then
From
,
we get
Substitute it into the following equation
,
we get
Therefore, when condition
,
is met, the system has a unique equilibrium point.
The Jacobian matrix of system (1.1) is
Thus, by calculating the Jacobian matrix corresponding to each equilibrium point to analyze local stability.
3.1. The Stability of
Let
be the Jacobian matrix of the system at the equilibrium point
.
Thus, the two eigenvalues are
. If
, the system is stable at
. Otherwise, the system (1.1) is unstable.
3.2. The Stability of
Let
be the Jacobian matrix of the system at the equilibrium point
.
Thus, the two eigenvalues are
. If
, the system is stable at
. Otherwise, the system (1.1) is unstable.
3.3. The Stability of
Let
be the Jacobian matrix of the system at the equilibrium point
.
Thus, the two eigenvalues are
. the system (1.1) is unstable.
Since
is positive, according to the Routh-Hurwitz stability criterion, the system (1.1) is unstable at point
.
3.4. The Stability of
Let
be the Jacobian matrix of the system at the equilibrium point
.
Then
,
Let
The characteristic equation is
.
Therefore, according to the relationship between the roots and coefficients, the two characteristic roots
of the equation satisfy
Therefore,
,
. Thus, if
, that is, when
, the two characteristic roots have negative real parts. At this time, the system
is locally asymptotically stable.
3.5. Hopf Bifurcation
From section 3.4, it is known that the local stability of the positive equilibrium point
of system (1.1) requires certain conditions to be met. Therefore, this subsection mainly analyzes the conditions under which a Hopf bifurcation occurs at the equilibrium point
in system (1.1), and the direction of the Hopf bifurcation.
Let
Select the natural mortality rate of predators d as the bifurcation parameter. Let
.
We have
Then
and
At this point, system (1.1) will undergo a Hopf bifurcation at the positive equilibrium point
.
Next, by calculating the first Lyapunov coefficient to analyze the direction of the Hopf bifurcation.
For system (1.1), We make a transformation of
,
.
By performing a Taylor expansion on the system (1.1), we can obtain
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Thus, by calculating the first Lyapunov coefficient
, we can obtain
Let
When
, system (1.1) undergoes a subcritical Hopf bifurcation; When
, system(1.1) undergoes a supercritical Hopf bifurcation.
4. Conclusion
This paper has studied a predator-prey model with Allee effects and featuring a Bazykin functional response. An analysis has been conducted on its boundedness, the nature of solutions, the existence of equilibrium points, as well as its local stability and bifurcation. The boundedness of the solutions was derived by constructing a function. Finally, the model was linearized, and the direction of the Hopf bifurcation was analyzed by calculating the Lyapunov exponents.