Bifurcationing Analysis of Predator-Prey Diffusive System Based on Bazykin Functional Response ()
1. Introduction
In nature, there is an interdependent and mutually constraining way of survival between different populations: population A thrives on abundant natural resources, while population B feeds on population A, such as fish and sharks, American rabbits and bobcats, larch and aphids, etc. In ecology, population A is called predator and population B is called predator, and together they form a predator-prey system. The predator-prey system has a long and distinguished history in applied mathematics as a classical mathematical system for the study of predator-prey systems, which is originated from the exploration of chemical reactions [1] and biological interactions [2] and has been widely studied for its rich kinetic behavior [3] [4] [5] [6].
At present, Holling-type and Beddington-type functional response functions have been widely used in the study of predator-prey systems, but Bazykin functional response functions have been less studied. Bazykin functional response can describe the unstable force of predator saturation and the stable force of prey competition, which is more practical for understanding the role between populations. Moreover, in the real world, prey and predators are always in motion, and to accurately system the dynamic characteristics of prey and predators, the spatial spread of populations needs to be considered in the system [7] [8] [9]. Therefore, a predator-prey diffusive system with Bazykin functional response was constructed in this paper.
2. System Composition
We considered a predator-prey diffusion system with a Bazykin functional response, as shown in Equation (2.1).
(2.1)
In the real world, prey and predators are always in motion, and this phenomenon can be simulated using self-diffusion. Assume that the two populations under consideration remain in motion and each population follows a path, the length of which is denoted by x. Considering the above assumptions, the system (2.1) can be written in the following form
(2.2)
where x is the location of the prey or the predator at the time t, and
is the domain size,
is the number of prey populations at time t,
is the number of predator populations at time t,
is the diffusion rate of prey and predators, respectively,
is a positive parameter,
is a Bazykin functional response function,
is two positive constants, and
, it is used to describe the destabilizing force of predator saturation and the stabilizing force of prey contention.
In order to study the pattern formation of (2.2), we consider the system (2.3) with the homogeneous Neumann boundary conditions.
Where
,
,
,
,
,
,
,
,
,
.
The problem (2.3) with homogeneous Neumann boundary conditions and non-negative initial values is shown below:
(2.3)
where x denotes the location of the predator or prey at time t,
denotes the extent of the region, and the Neumann boundary condition indicates that the prey and predator move between 0 and
. All of the above parameters are non-negative.
3. Preliminary Results
In this section, the local stability of the positive equilibrium
has been studied in the presence of diffusion and also Hopf bifurcation has been analyzed (calculating the Hopf bifurcation points and their order).
3.1. Existence of Equilibrium Points
The equilibrium point of system (2.3) is obtained by solving for
,
. Assuming that
satisfies
, we obtain that system (2.3) has one ordinary constant equilibrium point
, two semi-ordinary constant equilibrium points
, and a unique normal number equilibrium point
.
can be solved from the system of Equations (3.1) to yield:
(3.1)
From the system of Equations (3.1), it is obtained that:
,
(3.2)
3.2. Stability of the Equilibrium Point E*
The Jacobi matrix of the system (2.3) at the positive equilibrium point
is:
(3.3)
(3.4)
(3.5)
(3.6)
(3.7)
Consider the following problem:
(3.8)
the eigenvalue of the problem (3.3) are
and the corresponding eigenfunction are
(3.9)
describes the orthogonal basis of
.
and its corresponding real-valued Sobolev space with Neumann boundary conditions can be defined as
(3.10)
is the Hibert space whose inner product is
(3.11)
The Hilbertian parametrization of the associated
is denoted as
. Define the following mapping
(3.12)
where
. Then for any
,
is the solution of (2.3)
.
The Frechet derivative of
with respect to U is:
(3.13)
The characteristic equation of
is
, and
is the eigenvalue, we derive:
(3.14)
Letting
, the characteristic equation becomes of the following form.
(3.15)
Letting
, we obtain
(3.16)
(3.17)
(3.18)
The linearized system at equilibrium point
is
. Let
be the Jacobian matrix of the system (2.3) at equilibrium point
. Then
(3.19)
Letting
, from
we get
.
The eigenvalues of the matrix (3.19) are the solutions of the characteristic equations given by Equation (3.16) (3.17) (3.18).
Theorem 1. When
,
is locally asymptotically stable, and when
,
is unstable.
3.3. Existence of Hopf Bifurcations
A Hopf bifurcation occurs when and only when
, clearly
and
. The bifurcation parameter
must be a solution of
in Equation (3.20)
(3.20)
The equivalent of
(3.21)
(3.22)
Theorem 2.
Letting
(3.23)
The system (2.3) occurs Hopf bifurcationing at
and
(where
see (3.22)), and
has the following estimate:
(3.24)
Proof: Hopf bifurcationing occurs when and only when
, equivalently:
(3.25)
(3.26)
(3.27)
According to (3.26) and (3.27),
is strictly decreasing with respect to
. Equation (3.25) has a solution when and only when the positive integers n satisfy:
(3.28)
Equivalent to
.
Equation
is strictly decreasing with respect to
, which leads to the estimate in (3.23).
Now we take
as the solution of the characteristic equation, where:
,
(3.29)
(3.30)
Under condition (3.30), the bifurcation point and its order are given by the following theorem.
Theorem 3. If there exists
, a critical value
such that
, there are the following estimates:
(3.31)
4. Conclusion
The article considers a predator-prey diffusion system with Bazykin functional response under chi-square Neumann boundary conditions. Firstly, the existence of equilibrium points of the system is proved, and four equilibrium points
of the system are obtained. Secondly, the local stability of
and the existence of Hopf bifurcations under specific conditions are proved by analyzing the characteristic equations of the equilibrium point
.