 Research
 Open Access
 Published:
A mathematical analysis of Hopfbifurcation in a preypredator model with nonlinear functional response
Advances in Difference Equations volume 2021, Article number: 275 (2021)
Abstract
In this paper, our aim is mathematical analysis and numerical simulation of a preypredator model to describe the effect of predation between prey and predator with nonlinear functional response. First, we develop results concerning the boundedness, the existence and uniqueness of the solution. Furthermore, the Lyapunov principle and the Routh–Hurwitz criterion are applied to study respectively the local and global stability results. We also establish the Hopfbifurcation to show the existence of a branch of nontrivial periodic solutions. Finally, numerical simulations have been accomplished to validate our analytical findings.
Introduction
The study of the dynamics relationship of the preypredator system has long been and will continue to be one of the dominant subjects in both ecology and mathematical ecology due to its universal existence and importance. In recent decades, mathematics has had a huge impact as a tool for modeling and understanding biological phenomena. Mathematical modeling of the population dynamics of a preypredator system is an important objective of mathematical models in biology, which has attracted the attention of many researchers [1–4]. Many authors, such as Holling 1959 [5], Getz 1984, and Arditi and Ginzburg 1989 [6, 7], studied the preypredator system with various functional responses. These different types of functional responses present a key element for understanding the dynamics of these populations. The main questions concerning population dynamics concern the effects of interaction in the regulation of natural populations, the reduction of their size, the reduction of their natural fluctuations, or the destabilization of the equilibria in oscillations of the states of the population [8–13]. The predatorprey relationship is important to maintain the balance between different animal species. Without predators, some prey species would force other species to disappear due to competition. Without prey, there would be no predators. The main feature of predation is therefore a direct impact of the predator on the prey population.
It is in this line of thought that we are interested here in the study of the dynamics of preypredator populations with an alternative food resource for predators, meaning that the predator population can survive if there is no prey. Our objective is to understand what is the impact of predation on the dynamics of prey and predator species, in order to avoid any extinction of the two species.
Several authors have studied the preypredator model with logistics growth in both species. Haque in [14] proposed a preypredator model with logistic growth in both species and a linear functional response. The author assumed that the predator has logistic growth rate since it has sufficient resources for alternative foods; and it is argued that alternative food sources may have an important role in promoting the persistence of predatorprey systems. Guin in [15] studied a preypredator model with logistic growth in both species and using ratiodependent functional for predators.
Motivated by the above works, we consider the following predatorprey model [14]:
where

\(N(t)\) and \(P(t)\) stand for the prey and predator density, respectively, at time t.

\(r_{1}\), \(K_{1}\), b, e are positive constants that stand for prey intrinsic growth rate, the prey carrying capacity of the environment, predation rate per unit of time, and conversion rate, respectively.

The term \(bNP\) models prey consumption due to predation.

\(r_{2}\), \(K_{2}\) represent respectively the predator intrinsic growth rate and the predator carrying capacity of the environment.
Some similar models have appeared in the recent literature [14, 15]. We remark that the main new distinctive feature is the inclusion of Holling function response of type II. Thus, by incorporating Holling function response of type II, we describe the predation strategy. Indeed, many researchers suggested that Holling type II response is the characteristic of predators. It determines the stability and bifurcation dynamics of the model. Usually, the feeding rate of predator is saturated, so it is more realistic to consider prey dependence functional response. Our model differs from the one of [14], since in the latter the term of predation is linear. In fact, we consider Holling function response of type II defined by
where

\(\alpha _{0}\) and \(\alpha _{1}\) represent respectively the search and capture time of the prey,

B is the predation rate per unit of time.
Indeed, physiological absorption capabilities of prey are limited, and even if a large number of prey is available, a predator will not be able to absorb prey numbers beyond this limit, it is more realistic to design a response function with a saturation effect with the density of prey. Thus, Holling function response of type II is more appropriate. In order to sustain the coexistence of ecosystem species, it is very important to control some key demographic parameters.
The paper is organized as follows. In Sect. 2, we present the general mathematical model of the preypredator system. Section 3 provides the mathematical analysis of the model established in Section 2. We perform some numerical simulations to support our main results in Section 4. A final discussion concludes the paper.
Mathematical model formulation
In this section, we proceed to the construction of the preypredator model by taking into account the fact that the predator has an alternative source of food. Our main goal is to modify system (1.1) in order to describe the effect of predation on the prey. Our task here is to analyze the impact of predation on a predatorprey community [16–19].
The following hypotheses hold for our models:
 \(H_{1}\)::

prey populations follow a logistic growth in the absence of the predator;
 \(H_{2}\)::

functional response of the predator is Holling type II;
 \(H_{3}\)::

the predator has an alternative source of food.
The system modeling the evolution over time of prey and predators is given by
where

ψ, ϕ, \(g_{0}\), and \(g_{1}\) are positive functions and \(\mathcal{C}^{\infty }\);

\(\psi (N)\), \(g_{0}(P)\) is a growth function of prey and predator population, respectively;

\(\phi (N)\) is the amount of prey consumed by a predator per time unit;

\(g_{1}(N,P)\) represents the rate of conversion of the prey into the predator.
The model presented here is general, and it is necessary to make choices, particularly for the functions \(g_{0}(P)\), \(g_{1}(N,P)\), \(\phi (N)\), and \(\psi (N)\). Then we make the following choices:

\(\psi (N)=r_{1} (1\frac{N}{K_{1}} )N\) represents the dynamics of the prey population governed by the logistic equation when there is no predator;

\(g_{0}(P)=r_{2} (1\frac{P}{K_{2}} )P\) represents the logistic growth of the predator population when there is no prey;

\(\phi (N)=\frac{\delta _{1} N}{1+ \delta _{2} N}\) represents the functional response of the predator which is Holling type II;

\(g_{1}(N,P)= \frac{\omega NP}{1+\delta _{2}N}\) represents the quantity of prey consumed by predators.
Consequently, we obtain the following nonlinear differential system defined by
where

\(r_{1}, r_{2}>0\) are respectively the prey and predator growth rates;

\(K_{1},K_{2}>0\) represent respectively the carrying capacity of the prey and the predator;

\(\delta _{1}\) and \(\delta _{2}\) represent respectively predator search and satiety rates;

\(e=\frac{\omega }{\delta _{1}}\) represents the conversion rate of prey biomass into predatory biomass, with
\(0< e<1\);

\(\frac{\delta _{1} NP}{1+\delta _{2}N}\) represents the quantity of prey taken by predators per unit of time;

\(\frac{\omega NP}{1+\delta _{2}N}\) represents the amount of prey consumed by predators per unit of time;

\(\frac{(\delta _{1}\omega ) NP}{1+\delta _{2}N}\) is a residual term and represents the quantity of prey taken by predators and which did not contribute to the growth of predators.
Thus, we obtain the following interaction diagram: Fig. 1.
Using the above assumptions and according to Figure 1, at any time \(t>0\), the dynamics of the system can be represented by the following set of differential equations:
Mathematical analysis
This section deals with mathematical analysis including the stability and the bifurcation analysis of system (2.3) [2, 8, 15, 20–22].
Then we rewrite model (2.3) in the following form:
where \(X(t)=(N(t),P(t))^{T}\) and G is defined on \(\mathbb{R}^{2}\) by
The preliminary results concern the existence, positiveness, and boundedness of solutions of system (2.3).
Existence, positiveness, and boundedness of solutions
From the biological point of view, it is important to show the existence, positivity, and boundedness of the solution of system (2.3) [9, 19, 23, 24].
Proposition 1
System (2.3) admits a unique global solution \((N(t),P(t))\) defined on the interval \([0, T_{\max }\mathclose{[}\). Moreover, the set
is positively invariant and absorbing for system (2.3).
Proof
Indeed,

the theorem of Cauchy–Lipschitz [11] assures the existence and uniqueness of local solution of system (2.3) on \([0,T_{\max }\mathclose{[}\) given the regularity of the functions involved in the model.

Now, let us show that the set \(\mathit{A}=\{(N,P)\in \mathbb{R}^{2}_{+}/ 0\leq N \leq K_{1}, 0 \leq P \leq K_{p}\}\) is positively invariant and absorbing for system (2.3).
Let us show that
$$ A_{0}= \bigl\{ (N,P)\in \mathbb{R}^{2}_{+}/ 0\leq N \leq K_{1} \bigr\} \quad \text{and}\quad B= \bigl\{ (N,P)\in \mathbb{R}^{2}_{+}/ 0\leq P \leq K_{p} \bigr\} $$are positively invariant and absorbing for system (2.3).
Let us prove that
$$ A_{1}= \bigl\{ (N,P)\in \mathbb{R}^{2}/ N \geq 0 \bigr\} $$(3.1)is positively invariant. Indeed, let \(f_{1}\) be the function defined on \(\mathbb{R}^{2}\) by \(f_{1}(N,P)=N \). We have
\mathrm{\nabla}{f}_{1}(N,P)=\left(\begin{array}{c}1\\ 0\end{array}\right)\ne {0}_{{\mathbb{R}}^{2}}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\u3008\mathrm{\nabla}{f}_{1}G\u3009=0\times {r}_{2}(1\frac{P}{{K}_{2}})P=0.Thus, \(\langle \nabla f_{1}  G \rangle \leq 0 \) on \(\{(N,P)\in \mathbb{R}^{2}/ N=0\}\), where \(\langle \rangle \) is the usual scalar product.
Therefore, \(A_{1}\) is positively invariant.
Proceeding in the same way, with \(f_{2}(N,P)=P\), we show that
$$ A_{2}= \bigl\{ (N,P)\in \mathbb{R}^{2}/ P \geq 0 \bigr\} $$(3.2)is positively invariant.
Let us show that
$$ A_{3}= \bigl\{ (N,P)\in \mathbb{R}^{2}/ N \leq K_{1} \bigr\} . $$(3.3)Indeed, let \(f_{3}\) be defined on \(\mathbb{R}^{2}\) by \(f_{3}(N,P)=NK_{1}\). We have
\mathrm{\nabla}{f}_{3}(N,P)=\left(\begin{array}{c}1\\ 0\end{array}\right)\ne {0}_{{\mathbb{R}}^{2}}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\u3008\mathrm{\nabla}{f}_{1}G\u3009=\frac{{\delta}_{1}{K}_{1}P}{1+{\delta}_{2}{K}_{1}}.Thus, \(\langle \nabla f_{1}  G \rangle \leq 0\) on \(\{(N,P)\in \mathbb{R}^{2}/ N=K_{1}\}\). Therefore, \(A_{3}\) is positively invariant.
According to (3.1) and (3.3), \(A_{0}\) is positively invariant.
Now, we aim to show that the set \(A_{0}\) is absorbing. The variable N satisfies the inequality
$$ \frac{dN}{dt} \leq r_{1} \biggl(1 \frac{N}{K_{1}} \biggr)N, $$and by the principle of comparison, we deduce that \(\lim_{ t\rightarrow +\infty } \sup N(t)\leq K_{1}\). Hence, for \(\epsilon >0\), there exists \(T>0\) such that \(N(t)\leq \sup_{t\geq T} N(t)\leq K_{1}+\epsilon \); as ϵ is arbitrary, we deduce that \(A_{0}\) is absorbing.
Now, we aim to show that \(P\leq K_{p}\). Indeed,
$$ \frac{dP}{dt}= r_{2} \biggl(1 \frac{P}{K_{2}} \biggr)P+ \frac{\omega NP}{1+ \delta _{2} N} \quad \text{and}\quad \frac{e\delta _{1}N}{1+\delta _{2}N}< \frac{e\delta _{1}}{\delta _{2}}, $$thus we have the following differential inequality:
$$ \frac{dP}{dt} \leq \biggl( r_{2} \biggl(1 \frac{P}{K_{2}} \biggr)+ \frac{e\delta _{1}}{\delta _{2}} \biggr)P,\quad \forall t\geq t_{0}. $$(3.4)According to the comparison principle, we deduce that
$$ \lim_{ t\rightarrow +\infty }\sup \bigl(P(t) \bigr)\leq K_{2} \biggl(1+ \frac{\omega }{r_{2}\delta _{2}} \biggr)=K_{p}. $$(3.5)According to (3.2) and (3.5), B is positively invariant and absorbing.
From the above result, the set defined by \(\mathit{A}=\{(N,P)\in \mathbb{R}^{2}_{+}/ 0\leq N \leq K_{1}, 0 \leq P \leq K_{p}\}\) is positively invariant and absorbing.
□
To show the global existence of solutions, we must show that the solutions of the system are bounded. In the previous demonstration we have established that N and P are bounded. Thus, we can conclude that the solutions of system (2.3) exist globally.
For the study of system (2.3), we restrain a set defined by
Stability analysis of the equilibria
In this section, we analyze the local and global stability of different equilibrium.
Trivial equilibrium points of the model
The trivial stationary states of system (2.3) are given in the following proposition [8, 11–13].
Proposition 2
The equilibrium states are as follows:

(i)
\(E_{0}=(0,0)\), the predators and prey are extinct. This equilibrium is always admissible.

(ii)
\(E_{1}=(0,K_{2})\), the prey is extinct. This equilibrium is always admissible.

(iii)
\(E_{2}=(K_{1},0)\), the predator is extinct. This equilibrium is always admissible.
Proof
Indeed, to get the equilibrium points, we solve the following system:

(i)
We have \(G_{1}(0,0)=G_{2}(0,0)=0\). Thus, \(E_{0}=(0,0)\) is the trivial equilibrium point.

(ii)
In the same way, \(G_{1}(0,K_{2})=G_{2}(0,K_{2})=0\). Then \(E_{1}=(0,K_{2})\) is an equilibrium point of system (2.3).

(iii)
We also have \(G_{1}(K_{1},0)=G_{2}(K_{1},0)=0\). Then \(E_{2}=(K_{1},0)\) is an equilibrium point of system (2.3).
□
The local stability analysis of a trivial equilibrium point is given by the following proposition.
Proposition 3

(i)
\(E_{0}\) and \(E_{2}\) are always unstable.

(ii)
\(E_{1}\) is locally asymptotically stable if \(\delta _{1}> \frac{r_{1}}{K_{2}}\), with extinction for the prey population and stability for the predator population. If \(\delta _{1} <\frac{r_{1}}{K_{2}}\), \(E_{1}\) is unstable with stability for the predator. In addition, if \(\delta _{1}=\frac{r_{1}}{K_{2}}\), \(E_{1}\) is a stable nonhyperbolic point.
Proof
Indeed, let us determine the eigenvalues of the Jacobian matrix associated with each equilibrium point \(E_{i} = 0,1,2\). The Jacobian matrix of system (2.3) is
where \(X(t)=(N(t),P(t))^{T}\).

(i)
For \(E_{0}=(0,0)\), the associated Jacobian matrix is DG({E}_{0})=(\begin{array}{cc}{r}_{1}& 0\\ 0& {r}_{2}\end{array}). The eigenvalues are \(r_{1}>0\) and \(r_{2}>0\). Then \(E_{0}\) is always unstable. In this case, we have instability of the prey and the predator.

(ii)
For \(E_{2}=(K_{1},0)\), the Jacobian matrix of system (2.3) evaluated at \(E_{2}\) is
DG({E}_{2})=\left(\begin{array}{cc}{r}_{1}& \frac{{\delta}_{1}{K}_{1}}{1+{\delta}_{2}{K}_{2}}\\ 0& {r}_{2}+\frac{\omega {K}_{1}}{1+{\delta}_{2}{K}_{1}}\end{array}\right).The eigenvalues are \(\lambda _{1}=r_{1}<0\) and \(\lambda _{2}=r_{2}+\frac{\omega K_{1}}{1+\delta _{2}K_{1}}>0\). Then \(E_{2}\) is unstable with stability for the prey population and instability for the predator population.

(iii)
For \(E_{1}=(0,K_{2})\), the associated Jacobian matrix is
DG({E}_{1})=\left(\begin{array}{cc}{r}_{1}(1\frac{{\delta}_{1}{K}_{2}}{{r}_{1}})& 0\\ \omega {K}_{2}& {r}_{2}\end{array}\right).The associated characteristic polynomial is given by
$$ P_{\operatorname{DG}(E_{1})}(\lambda )= \biggl( r_{1} \biggl(1 \frac{\delta _{1} K_{2}}{r_{1}} \biggr)\lambda \biggr) (r_{2}\lambda ). $$Then the eigenvalues of \(\operatorname{DG}(E_{1})\) are \(\lambda _{1}=r_{1} (1\frac{\delta _{1} K_{2}}{r_{1}} )\) and \(\lambda _{2}=r_{2}<0\). If \(\delta _{1}>\frac{r_{1}}{K_{2}}\), then \(\lambda _{1}<0\), therefore the system is locally asymptotically stable with extinction for the prey population and stability for the predator population. If \(\delta _{1}<\frac{r_{1}}{K_{2}}\), then \(\lambda _{1}>0\), therefore \(E_{1}\) is unstable, so we have stability for the predator population.
If \(\frac{\delta _{1}K_{2}}{r_{1}}=1 \), then the equilibrium \(E_{1}\) is a stable nonhyperbolic point. Indeed, to study the stability of \(E_{1} \), we will use the center manifold theorem [25].
The eigenvalues of \(\operatorname{DG}(E_{1})\) are \(\lambda _{1} = 0 \) and \(\lambda _{2}=r_{2}\), and the eigenspace associated with those eigenvalues is
$$\begin{aligned}& W^{0}= \biggl\langle \biggl( \frac{r_{2}}{\omega K_{2}}; 1 \biggr) \biggr\rangle , \\& W^{r_{2}}= \bigl\langle (0; 1 ) \bigr\rangle . \end{aligned}$$According to the center manifold theorem [25], there exists a center manifold which is tangent to \(W^{0}\) at the point \(E_{1} \).
Denote \(x=N\) and \(y=P\). The center manifold in this case is given by
$$ W^{c}= \biggl\{ y=h(x)/h(0)=K_{2}, h'(0)= \frac{\omega K_{2}}{r_{2}} \biggr\} , $$where \(h(x)=h(0)+h'(0)x+h''(0)x^{2}+\mathcal{O}(x^{3})\) is analytical at the neighborhood of the origin. Denoting \(a=\frac{1}{K_{2}}\) and \(b=\frac{1}{K_{1}}\), we have
$$\begin{aligned}& y=h(x) \\& \quad \Leftrightarrow \quad \dot{y}=\dot{x}h'(x) \\& \quad \Leftrightarrow \quad r_{2}h(x) \bigl(1ah(x) \bigr)+ \frac{\omega xh(x)}{1+x\delta _{2}} \biggl(r_{1}x(1bx) \frac{\delta _{1}xh(x)}{1+x\delta _{2}} \biggr)h'(x)=0. \end{aligned}$$By plugging the function h by its expression in the previous equation and by grouping, we get:
$$\begin{aligned}& r_{2}h(0) \bigl(1ah(0)\bigr)+\bigl(r_{2} \delta _{2}h(0) \bigl(1ah(0)\bigr)+r_{2}h'(0) \bigl(12ah(0)\bigr)+ \omega h(0) \\& \quad {}+h'(0) \bigl(\delta _{1}h(0)r_{1} \bigr)\bigr)x + \bigl(r_{1}h'(0) (b\delta _{2})+\bigl(h'\bigr)^{2}(\delta _{1}ar_{2}) \\& \quad {}2h''(0) \bigl(r_{1} \delta _{1}h(0)\bigr)+r_{2}\delta _{2}h'(0) \bigl(12ah(0)\bigr) \\& \quad {}+r_{2}h''(0) (12a) \bigr)x^{2}+ \mathcal{O}\bigl(x^{3}\bigr)=0. \end{aligned}$$(∗)Since \(r_{1}=\delta _{1}K_{2}\), then \(r_{1}\delta _{1}K_{2}=0\), by using (∗), we deduce that
$$\begin{aligned}& h'(0)= \frac{\omega h(0)}{r_{2}}= \frac{\omega K_{2}}{r_{2}}, \\& h''(0)=h'(0) \frac{r_{1}(b_{1}\delta _{2})+h'(0)(\delta _{1}ar_{2})r_{2}\delta _{2}}{r_{2}}. \end{aligned}$$The equation reduced to the center manifold is
$$ \dot{x}=r_{1}x(1ax) \frac{\delta _{1}x(h(0)+h'(0)x+h''(0)x^{2})}{1+\delta _{2} x}=f(x). $$A study of the sign of f in the neighborhood of 0 gives the following result:

(i)
If \(x<0\), then \(f(x)<0\);

(ii)
If \(x>0\), then \(f(x)<0\). So the equilibrium point \(E_{1}=(K, 0)\) is stable in A.

(i)
□
Coexistence equilibria point of the model
To determine the coexistence equilibrium \(E_{3}=(N^{*},P^{*})\) of system (2.3), we solve the following system:
Assume that \(N^{*},P^{*}>0\). Dividing \(G_{1}(N^{*},P^{*})\) by \(N^{*}\), we obtain
By plugging \(P^{*}\) in \(G_{1}(N^{*},P^{*})\), we get the cubic equation in \(N^{*}\) as follows:
where
The following result gives the existence of a coexistence equilibrium point [8, 19, 22, 26, 27].
Theorem 1
Set \(\Delta '= (K_{1}+\frac{1}{\delta _{2}} )^{2} \frac{3\delta _{1} K_{1}}{r_{1}\delta _{2}}K_{p}\), \(\kappa _{0} = \frac{r_{2}\Delta _{1}}{\delta _{1}\delta _{2} \Delta _{2}}\), and \(\kappa _{1}=\frac{\delta _{2}\Delta _{1}'}{\Delta _{2}'}\).

1
System (2.3) has no feasible coexistence equilibria if either

(i)
\(r_{1}<\delta _{1} K_{2}\) and \(\Delta '\leq 0\);

(ii)
\(r_{1}<\delta _{1} K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1}\frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2} K_{1}<2\), \(\Delta '>0\), and \(\kappa _{1}>1\);

(iii)
\(r_{1}<\delta _{1} K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1}\frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2} K_{1}<2\), \(\Delta '>0\), and \(\kappa _{0}>1\).

(i)

2
System (2.3) has a unique feasible coexistence equilibrium \(E_{3}\) if either

(i)
\(r_{1}>\delta _{1} K_{2}\) and \(\Delta '\leq 0\);

(ii)
\(r_{1}>\delta _{1} K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1}\frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2}K_{1}<2\), \(\Delta '>0\), and \(\kappa _{1}<1\);

(iii)
\(r_{1}>\delta _{1}K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2} K_{1}>2\), \(\Delta '>0\), \(\kappa _{0}<1\), and \(\kappa _{1}<1\);

(iv)
\(r_{1}>\delta _{1}K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2}K_{1}>2\), \(\Delta '>0\), \(\kappa _{0}>1\), and \(\kappa _{1}>1\).

(i)

3
System (2.3) has two distinct feasible coexistence equilibria if either

(i)
\(r_{1}<\delta _{1}K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2}K_{1}<2\), \(\Delta '>0\), and \(\kappa _{1}<1\), with \(E_{3}^{} \ll E_{3}^{+}\);

(ii)
\(r_{1}<\delta _{1}K_{2}\), \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )> K_{p}\), \(\delta _{2}K_{1}>2\), \(\Delta '>0\), \(\kappa _{0}>1\), and \(\kappa _{1}<1\), with \(E_{4}^{} \ll E_{4}^{+}\).

(i)

4
System (2.3) has three distinct feasible coexistence equilibria if
$$\begin{aligned}& r_{1}>\delta _{1}K_{2},\qquad \frac{r_{1}}{\delta _{1} K_{1}} \biggl(2K_{1} \frac{1}{\delta _{2}} \biggr)> K_{p},\qquad \delta _{2}K_{1}>2,\qquad \Delta '>0, \\& \kappa _{0}>1 ,\quad \textit{and}\quad \kappa _{1}< 1. \end{aligned}$$
Proof
Indeed, consider the following cubic equation:
We have
and
and
where
with \(\Delta '\) defined from
as
There are two cases:

1
If \(\frac{r_{1}\delta _{2}}{3\delta _{1} K_{1}} (K_{1}+ \frac{1}{\delta _{2}} )^{2}\leq K_{p}\), then \(\Delta '\leq 0\). Thus, L is increasing on \(]0,K_{1}[\).

(a)
According to \(r_{1}<\delta _{1}K_{2}\), we have \(\theta _{0}> 0\) with \(L(0)\times L(K_{1})>0\). Hence, \(L(X)>0\) \(\forall N\in \mathopen{]}0,K_{1}[\). Thus, equation (3.9) has no real roots on \(]0,K_{1}[\) and there are no feasible coexistence equilibria for system (2.3).

(b)
If \(r_{1}>\delta _{1}K_{2}\), we have \(\theta _{0}<0\) with \(L(0)\times L(K_{1})<0\). Thus, equation (3.9) has a unique positive root. Then system (2.3) has a unique feasible coexistence equilibrium.

(a)

2
If \(\frac{r_{1}\delta _{2}}{3\delta _{1} K_{1}} (K_{1}+ \frac{1}{\delta _{2}} )^{2}> K_{p}\), then \(\Delta '> 0\). Therefore, equation (3.10) has two roots
$$ X_{1}= \frac{\theta _{2}\sqrt{\theta ^{2}_{2}3\theta _{1}}}{3} \quad \text{and} \quad X_{2}= \frac{\theta _{2}+\sqrt{\theta ^{2}_{2}3\theta _{1}}}{3}, $$where
$$\begin{aligned} \textstyle\begin{cases} X_{1}+X_{2}= \frac{2\theta _{2}}{3}, \\ X_{1}X_{2}= \frac{\theta _{1}}{3}. \end{cases}\displaystyle \end{aligned}$$
(a)
If \(\delta _{2} K_{1}<2\) and \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )> K_{p}\), then we have respectively \(\theta _{2}>0\) and \(\theta _{1}< 0\). Thus, we obtain also \(X_{1}<0<X_{2}\).
Using the fact that \(\Delta '< (K_{1}+\frac{1}{\delta _{2}} )^{2}\), we have
$$\begin{aligned} X_{2}K_{1} =& \frac{\theta _{2}+\sqrt{\Delta '}}{3}K_{1} \\ \leq &  \frac{1}{3} \biggl(K_{1}+ \frac{1}{\delta _{2}} \biggr). \end{aligned}$$(3.11)So \(X_{2}< K_{1}\). Hence L is decreasing on \(]0,X_{2}[\) and increasing on \([X_{2}, K_{1}[\).

If \(r_{1}<\delta _{1} K_{2}\) and \(\kappa _{1}>1\), then we have respectively \(\theta _{0}>0\) and \(L(X_{2})>0\), then \(L(X)=0\) has no root. Therefore, system (2.3) has no coexistence equilibria.

If \(r_{1}>\delta _{1}K_{2}\) and \(\kappa _{1} < 1\), then we get respectively \(\theta _{0}<0 \) and \(L(X_{2})\leq <0\). Thus, equation (3.9) has one positive root with \(\beta _{2}=L(X_{2})\) is a minimum. Therefore, system (2.3) has a unique coexistence equilibrium.

If \(r_{1}<\delta _{1} K_{2}\) and \(\kappa _{1}<1\), then we have respectively \(\theta _{0}>0\) and \(L(X_{2})<0\) with \(L(K_{1})>0>L(X_{2})\). Thus, equation \(L(X)=0\) has two distinct real positive roots, one is \(N_{1}^{}\) in \(]0,X_{2}[\), and the other \(N_{1}^{+}\) in \(]X_{2},K_{1}[\). Each root corresponds to a distinct feasible coexistence equilibrium. Therefore, system (2.3) has two coexistence equilibria \(E_{3}^{}(N_{1}^{}, P^{*})\) and \(E_{3}^{+}(N_{1}^{+}, P^{*})\) with \(N_{1}^{}< N_{1}^{+}\).


(b)
If \(\delta _{2} K_{1}>2\) and \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )> K_{p}\), then we have respectively \(\theta _{2}<0\) and \(\theta _{1}<0\). Thus, we obtain \(X_{1}<0<X_{2}\) with \(X_{2}< K_{1}\). By a similar argument as previously, we obtain the same result.

(c)
If \(\delta _{2} K_{1}>2\) and \(\frac{r_{1}}{\delta _{1} K_{1}} (2K_{1} \frac{1}{\delta _{2}} )< K_{p}\), then we get respectively \(\theta _{2}<0\) and \(\theta _{1}>0\). Thus, we obtain \(0< X_{1}< X_{2}< K_{1}\). Consequently, L is increasing on \(]0,X_{1}]\) and \([X_{2},K_{1}[\) and decreasing on \(]X_{1},X_{2}[\).

According to \(r_{1}< \delta _{1}K_{2}\), we have \(\theta _{0}>0\). If \(\kappa _{0}>1\) and \(\kappa _{1}>1\), then we have respectively \(L(X_{1})>0\) and \(L(X_{2})>0\). So equation (3.9) has no real positive roots, and there are no feasible coexistence equilibria.

According to \(r_{1}<\delta _{1} K_{2}\), and if \(\kappa _{0}>1\) and \(\kappa _{1}<1\), then we have respectively \(L(X_{1})>0\) and \(L(X_{2})<0\). Thus, \(L(X)=0\) has two distinct real positive roots, one is \(N_{2}^{}\) in \(]X_{1},X_{2}[\), and the other \(N_{2}^{+}\) in \(]X_{2},K_{1}[\). Therefore, system (2.3) has two coexistence equilibria \(E_{4}^{}(N_{2}^{}, P^{*})\) and \(E_{4}^{+}(N_{2}^{+}, P^{*})\) with \(N_{2}^{}< N_{2}^{+}\).

According to \(r_{1}>\delta _{1}K_{2}\), and if \(\kappa _{0}<1\) and \(\kappa _{1}<1\), we have respectively \(L(X_{1})<0\) and \(L(X_{2})<0\). Consequently, \(L(X)=0\) has one root.

According to \(r_{1}>\delta _{1}K_{2}\), and if \(\kappa _{0}>1\) and \(\kappa _{1}<1\), we have respectively \(L(X_{1})>0\) and \(L(X_{2})<0\). Thus, \(L(X)=0\) has three roots. Therefore, system (2.3) has three coexistence equilibria.

According to \(r_{1}>\delta _{1}K_{2}\), and if \(\kappa _{0}<1\) and \(\kappa _{1}>1\), we have respectively \(L(X_{1})<0\) and \(L(X_{2})>0\). Thus, \(L(X)=0\) has one root.


(a)
□
The local stability analysis of coexistence equilibrium is given by the following theorem [8, 11, 12].
Theorem 2
If condition (2) of Theorem 1is satisfied, and moreover the following condition holds:
then the coexistence equilibrium \(E_{3}=(N^{*},P^{*})\) is locally asymptotically stable.
Proof
Indeed, the Jacobian matrix of system (2.3) evaluated at the point \(E_{3}\) is given by
where
The characteristic polynomial is therefore \(P(\lambda )=\lambda ^{2}B_{1}\lambda +B_{2}=0\),with
where
and \(\mathcal{A}=\delta _{1}K_{1}K_{2}\).
By a simple calculation, we get \(B_{1}=A_{11}+A_{22}\) and \(B_{2}= A_{11}A_{22}A_{12}A_{21}\). According to (3.12), we get \(B_{1}< 0\) and \(B_{2}>0\). By applying the Routh–Hurwitz criterion, \(E_{3}\) is locally asymptotically stable. □
The following theorem gives the global stability [8, 9, 13, 19, 22, 28, 29].
Theorem 3
If condition (2) of Theorem 1is satisfied, then the coexistence equilibrium \(E_{3}=(N^{*},P^{*})\) is globally asymptotically stable in the following subset of \(\mathbb{R}_{+}^{2}\):
Proof
Indeed, we construct a Lyapunov candidate function defined by
with \(h_{1}(N)=a_{1}\int ^{N}_{N^{*}}\frac{\zeta N^{*}}{\zeta }d\zeta \), \(h_{2}(P)=a_{2}\int ^{P}_{P^{*}}\frac{\zeta P^{*}}{\varepsilon }d\varepsilon \), and \((a_{1},a_{2})\in \mathbb{R}_{+}^{*2}\) to be determined. It is easy to see that \(V(N^{*},P^{*})=0\), and for all \((N,P)\neq (N^{*},P^{*})\), \(V(N,P)>0\). So V is well defined.
The time derivative of \(V(N,P)\) along the solutions of system (2.3) is
After simplification, we can write
Taking \(a_{1}=1\) and \(a_{2}=\frac{\delta _{1}M_{3}}{\omega }\), finally we obtain
for all \((N,P)\neq (N^{*},P^{*})\). The coefficients \((NN^{*})^{2}\) and \((PP^{*})^{2}\) are positive. By using the fact that \(N\geq \frac{1}{\delta _{2}} (\frac{K_{1}}{r_{1}(1+\delta _{2}N^{*})}1 )\), we have \(\dot{V}(N,P)<0\).
In addition \(\dot{V}(N,P)=0\) if and only if \((N,P)=(N^{*},P^{*})\). By using LaSalle’s invariance principle, \(E_{3}=(N^{*},P^{*})\) is globally asymptotically stable on B. □
The following proposition gives the necessary and sufficient conditions of stability in case there is more than one equilibrium point [13, 19, 22, 27, 30].
Let us define the quadratic function
For \(N^{*}\in \mathopen{]}0,K_{1}[\),
Theorem 4

(i)
According to condition 3, (i) of Theorem 1, and if \(\delta _{2} K_{1}<1\) and \(r_{1}>\frac{\delta _{1}K_{2}}{2}\), then the coexistence equilibrium \(E_{3}^{}(N_{1}^{},P^{*})\) is locally asymptotically stable and \(E_{3}^{+}(N_{1}^{+},P^{*})\) is unstable.

(ii)
According to condition 3, (ii) of Theorem 1, if \(\delta _{1} <\frac{5r_{1}}{\delta _{2}} (\delta _{2}K_{1}1 )\) and \(r_{1}>\frac{\delta _{1}K_{2}}{2}\), then the coexistence equilibrium \(E_{4}^{}(N_{2}^{},P^{*})\) is locally asymptotically stable and \(E_{4}^{+}(N_{2}^{+},P^{*})\) is unstable.
Proof
Indeed,

(i)
Consider the function \(\pi (N)\) defined by (3.14), we have
$$ \pi '(N)=4r_{1}\delta _{2}N+2r_{1}(\delta _{2}K_{1}1), \quad \forall N \in \mathopen{]}0,K_{1}[. $$(3.16)Also, we have \(\pi (0)=K_{1}(2r_{1}\delta _{1}K_{2})>0\) if \(r_{1}>\frac{\delta _{1} K_{2}}{2}\), \(\pi (K_{1})=\delta _{1}K_{1}K_{2}\). According to \(\delta _{2}K_{1}<1\), we obtain \(\pi '(N)<0\) \(\forall N\in \mathopen{]}0,K_{1}[\). Consequently, there exists δ such that \(\pi (\delta )=0\) with \(0< N_{1}^{}<\delta < N_{1}^{+}<K_{1}\). Thus, \(\pi (N_{1}^{})>0\) and \(\pi (N_{1}^{+})<0\).
By using \(\pi (N_{1}^{})>0\), we obtain
$$ \frac{2r_{1}(1+\delta _{2} N_{1}^{})(K_{1}N_{1}^{})}{\delta _{1}K_{1}K_{2}}>1. $$(3.17)Thus, inequality (3.17) verifies the condition of stability given by (3.15). As result, \(\operatorname{tr}(E_{3}^{})<0\) and \(\operatorname{det}(E_{3}^{})>0\). Consequently, \(E_{3}^{}(N_{1}^{},P^{*})\) is locally asymptotically stable.
By using \(\pi (N_{1}^{+})<0\), we obtain
$$ \frac{2r_{1}(1+\delta _{2} N_{1}^{+})(K_{1}N_{1}^{+})}{\delta _{1}K_{1}K_{2}}< 1. $$(3.18)Thus, inequality (3.18) does not check the condition of stability given by (3.15). Consequently, \(E_{3}^{+}(N_{1}^{+},P^{*})\) is unstable.

(ii)
By using equation (3.16), there exists \(N_{0}\in \mathopen{]}0,K_{1}[\) such that \(\pi '(N_{0})=0\) with \(N_{0}=\frac{\delta _{2} K_{1}1}{2\delta _{2}}\). Thus, π is increasing on \(]0,N_{0}[\) and decreasing on \(]N_{0},K_{1}[\). By simple computation, we get \(\pi (N_{0})=5r_{1}K_{1} (\frac{r_{1}\delta _{2} K_{1}}{2}+\frac{5r_{1}}{2\delta _{2}}+\delta _{1}K_{1}K_{2} )\). By using \(\delta _{2}K_{1}>2\), we get \(\delta _{1} <\frac{5r_{1}}{\delta _{2}} (\delta _{2}K_{1}1 )\). According to \(r_{1}>\frac{\delta _{1} K_{2}}{2}\) and \(\delta _{1} <\frac{5r_{1}}{\delta _{2}} (\delta _{2}K_{1}1 )\), we get respectively \(\pi (0)>0\) and \(\pi (N_{0})>0\). Consequently, there exists \(\delta _{0}\) such that \(\pi (\delta _{0})=0\) with \(0< N_{2}^{}<\delta _{0}< N_{2}^{+}<K_{1}\). Thus, \(\pi (N_{2}^{})>0\) and \(\pi (N_{2}^{+})<0\). Consequently, \(E_{4}^{}(N_{2}^{},P^{*})\) is locally asymptotically stable and \(E_{4}^{+}(N_{2}^{+},P^{*})\) is unstable.
□
Bifurcation analysis
In this subsection, we define the conditions of Hopfbifurcations and the critical values of Hopf bifurcations. Here, \(\delta _{1}\) is taken as a bifurcation parameter [10, 15, 31].
Theorem 5
If condition (2), (ii) of Theorem 1is satisfied and if the following conditions are satisfied:
then a Hopfbifurcation occurs at the value \(\delta _{1} = \delta _{1c}\), where
Proof
Indeed, assuming that \(NN^{*}\simeq e^{xt}\), \(PP^{*}\simeq e^{xt}\), we get the following characteristic equation corresponding to the Jacobian matrix \(\operatorname{DG}(E_{3})\) evaluated at \(E_{3}=(N^{*},P^{*})\):
where
If conditions (3.20) and (3.21) are respectively satisfied, we have respectively \(B_{1}(\delta _{1})=0\) and \(B_{2}(\delta _{1}) >0\), then the eigenvalues will be purely complex at \(\delta _{1}=\delta _{1c}\) with
Replacing \(x=x_{1}+ix_{2}\) into (3.22), we have \((x_{1}^{2}x_{2}^{2})B_{1}(\delta _{1})x_{1}+B_{2}(\delta _{1})+i(2x_{1}x_{2}B_{1}( \delta _{1})x_{2})=0\), and separating real and complex parts, we obtain
Now, we verify the transversality condition.
Considering \(\operatorname{Re}(x)=0\) and differentiating (4.b) with respect \(\delta _{1}\), we get
As result, system (2.3) admits a Hopfbifurcation at \(\delta _{1}=\delta _{1c}\) corresponding to \(E_{3}\). □
Remark 1
Since \(B_{1}(\delta _{1c})=0\) and \((\frac{dB_{1}}{d\delta _{1}} )_{\delta _{1}= \delta _{1c}}=2 (\frac{dx_{1}}{d\delta _{1}} )_{\delta _{1}=\delta _{1c}}\neq 0\), \(B_{1}(\delta _{1})> 0\), if condition (3.12) is satisfied and according to the Routh–Hurwitz criterion, \(E_{3}\) is locally asymptotically stable. In addition, for \(\delta _{1}=\delta _{1c}\), a Hopfbifurcation occurs. For \(\delta _{1}> \delta _{1c}\), \(E_{3}\) approaches a periodic solution.
Numerical experiments and biological explanations
In this section, we present a sequence of numerical simulations in order to support our mathematical results and to analyze the effect of predation on the dynamics of the two species. We use MATLAB technical computer software [8, 12, 32]. The values of the parameters are given in Tables 1 and 2.
Global behavior of system (2.3)
Here, we are interested in the predation effect on the dynamics of the two species in order to follow its impact over time. Figure 2 shows the behavior of system (2.3) around \(E_{1}\) and the parameter values used are given in Table 1. We observe the stability of the predator population and the extinction of the prey population for the predation parameter \(\delta _{1}=0.01> 5.5 10^{5}\). This result supports (ii) of Proposition 3. This result confirms that the predator population can survive even if the prey dies out.
Now, we examine the behavior of system (2.3) around the coexistence equilibrium. We take \(N>96\), and the parameter values used are given in Table 2. We observe that system (2.3) converges globally towards the coexisting equilibrium \(E_{3}=(70{,}354.1)\) (see Figure 3(a)–(b)–(c)). The existence of center (Figure 3(d)) confirms the existence and the global asymptotic stability of the coexisting equilibrium. It means that the prey population exists despite the predation. Thus, we talk about the phenomenon of subsistence. That illustrates the result of our Theorem 3.
If we increase the value of \(\delta _{1} = 0.033\) and keep the other parameters fixed in Table 2, from Figure 4, we observe that the equilibrium \(E_{3}\) loses its stability. This result confirms Theorem 2. In next subsection Figure 5 shows the Hopfbifurcation of system (2.3) around \(E_{3}\) at \(\delta _{1}=\delta _{1c}\).
We continue our numerical simulations when the system admits two coexistence equilibria in order to look the behavior of the system around \(E_{3}^{}\) and \(E_{+}^{3}\). By increasing the value \(\delta _{1}\) to \(\delta _{1}=0.023\), we observe that system (2.3) converges globally towards the coexisting equilibrium \(E_{3}^{}=(75,400)\) (see Figure 6(a)–(b)–(c)). By increasing the parameter of predation \(\delta _{1}\) to \(\delta _{1}=0.044\), we observe the loss of stability of the coexistence equilibrium \(E_{3}^{}\) (see Figure 7). This is in accordance with the mathematical results established in Theorem 4.
At the same time, we observe the instability of the coexistence equilibrium \(E_{3}^{+}\) showing the existence of a limit cycle illustrated by Figures 8 and 9.
Analysis of Hopfbifurcation diagram
We continue our numerical analysis in this subsection to observe the dynamics behavior of the system by considering the predation parameter. Now, if we consider the critical value \(\delta _{1c}=0.0636\), Figure 5((c)–(d)) shows that the coexisting equilibrium \(E_{3}=(N^{*},P^{*})\) is unstable, and we have a limit cycle arising from the Hopfbifurcation. Theorem 5 then holds.
Remark 2
The biological interpretation of the Hopfbifurcation is that the prey coexists with the predator, exhibiting oscillatory equilibrium behavior [10, 11]. Indeed, we observe that if the predation threshold \(\delta _{1}> \delta _{1c} \), we have periodic fluctuation of the prey and predator species: Figures 5(c) and 5(d) show the existence of a limit cycle resulting from the Hopfbifurcation. This highlights an extinction of the population of prey (at risk) if predation exceeds a certain threshold.
Conclusion
The effect of predation in the dynamics of the preypredator model plays an essential role in the equilibrium of the ecosystem, because it allows natural mechanisms of regulation of species. It is for this reason that in this paper we proposed and analyzed a nonlinear mathematical model to describe the dynamics of the populations of prey and predators, taking into account the effect of predation. The formulation of the model derived from an ODE system by considering Holling function response of type II to represent the interaction between the prey and the predator. The mathematical results allowed us first to establish the positivity of the solutions indicating the existence of the population, as well as the bornitude to explain the natural control of the growth due to the restriction of the resources. In addition, we established the conditions of existence of the coexistence equilibria. Under certain conditions of the predation rate, we were able to establish the local stability of the coexistence equilibrium. In order to show the longterm coexistence of prey and predator species, we established the global stability of the coexistence equilibrium via an appropriate Lyapunov function under certain conditions of the model parameters. Moreover, we have described the conditions of existence of the Hopfbifurcation in order to analyze to what extent the trajectories will be influenced by changes in the predation rate.
Our numerical results gave interesting findings on the effect of predation on the dynamics of the preypredator model and also allowed to validate our results established in the mathematical study. We have shown the dynamic behavior of our model under different values of the predation rate. Indeed, considering Fig. 2, under certain values of the predation rate, we note an extinction of the prey species and persistence of predators towards the carrying capacity. Staying in this same logic of variation of the predation rate and by considering the parameters fixed in Table 2, we obtain the global stability of coexistence equilibrium indicated by Figure 2(d); this also attests the results of Theorem 3. By increasing the value of \(\delta _{1}\), we lost the stability indicated in Figure 4(d); this phenomenon confirms our mathematical results established in Theorem 2. If we exceed the critical threshold of predation \(\delta _{1c}\) found in Theorem 5, then we observe a periodic variation in the numbers of prey and predators indicated by Figures 5(a), (b), (c) and the existence of a limit cycle arising from the Hopfbifurcation. In the light of these observations, we are led to conclude that the predation rate is a key parameter which governs our model and is useful for understanding the dynamics of species of prey and predators in the natural environment, and plays a regulator role of species.
Despite the important findings on this dynamic, in order to deepen our study, we plan to extend this work, taking into account the presence of infectious diseases in both species in order to look at the impact of this disease on the dynamics of the two species.
Availability of data and materials
Not applicable.
References
Akçakaya, H.R.: Population cycles of mammals: evidence for a ratiodependent predation hypothesis. Ecol. Monogr. 62(1), 119–142 (1989)
Bairagi, N., Roy, P., Chattopadhyay, J.: Role of infection on the stability of a predatorprey system with several response functions – a comparative study. J. Theor. Biol. 248(1), 10–25 (2007)
Gakkhar, S., Singh, B., Naji, R.K.: Dynamical behavior of two predators competing over a single prey. Biosystems 90(3), 808–817 (2007)
Samanta, G.P.: Analysis of a delay nonautonomous predator prey system with disease in the prey. Nonlinear Anal., Model. Control 15(8), 97–108 (2010)
Holling, C.: The components of predation as revealed by a study of smallmammal predation of the European pine sawfly. Can. Entomol. 91(5), 293–320 (1959)
Arditi, R., Ginzburg, L.R., Akçakaya, H.R.: Variation in plankton densities among lakes: a case for ratiodependent predation models. Am. Nat. 138(5), 1287–1289 (1991)
Arditi, R., Ginzburg, L.R.: Coupling in predatorprey dynamics: ratiodependence. J. Theor. Biol. 139, 311–326 (1989)
Koutou, O., Traoré, B., Sangaré, B.: Mathematical model of malaria transmission dynamics with distributed delay and a wide class of nonlinear incidence rates. Cogent Math. Stat. 5(1), 1–25 (2018)
Koutou, O., Traoré, B., Sangaré, B.: Mathematical modeling of malaria transmission global dynamics: taking into account the immature stages of the vectors. Adv. Differ. Equ. 220, 1–34 (2018)
Ouedraogo, H., Ouedraogo, W., Sangaré, B.: Mathematical analysis of toxinphytoplanktonfish model with selfdiffusion and crossdiffusion. Biomathematics 8, 1911237 (2019)
Ouedraogo, H., Ouedraogo, W., Sangaré, B.: A mathematical model with a trophic chain predation based on the ODEs to describe fish and plankton dynamics. An. Univ. Craiova, Math. Comput. Sci. 46(1), 164–177 (2019)
Traoré, B., Koutou, O., Sangaré, B.: A global mathematical model of malaria transmission dynamics with structured mosquito population and temperature variations. Nonlinear Anal., Real World Appl. 53, 1–32 (2020)
Traoré, B., Koutou, O., Sangaré, B.: Global dynamics of a seasonal mathematical model of schistosomiasis transmission with general incidence function. J. Biol. Syst. 27(1), 1–31 (2019)
Haque, M.: A predatorprey model with disease in the predator species only. Nonlinear Anal., Real World Appl. 11(4), 2224–2236 (2010)
Guin, L.N.: Existence of spatial patterns in a predatorprey model with self and crossdiffusion. J. Comput. Appl. Math. 226, 320–335 (2014)
Das, K.P., Kundu, K., Chattopadhyay, J.: A predatorprey mathematical model with both populations affected by diseases. Ecol. Complex. 8(1), 68–80 (2011)
Xiao, S.D.: Global analysis in predatorprey system with non monotonic functional response. SIAM J. Appl. Math. 61(4), 1445–1472 (2001)
Haque, M.: A detailed study of the Beddington–DeAngelis predatorprey model. Math. Biosci. 234(1), 1–16 (2011)
Savadogo, A., Ouedraogo, H., Sangaré, B., Ouedraogo, W.: Mathematical analysis of a fishplankton ecoepidemiological system. Nonlinear Stud. 27(1), 1–22 (2020)
Ajraldi, V., Pittavino, M., Venturino, E.: Modeling herd behavior in population systems. Nonlinear Anal., Real World Appl. 12(4), 2319–2338 (2011)
Haque, M., Greenhalgh, D.: When predator avoids infected prey: a model based theoretical studies. Math. Med. Biol. 27(1), 75–94 (2009)
Traoré, B., Sangaré, B., Traoré, S.: A mathematical model of malaria transmission in a periodic environment. J. Biol. Dyn. 12(1), 400–432 (2018)
Ruan, S., Xiao, D.: Global analysis in a predator–prey system with nonmonotonic functional response. SIAM J. Appl. Math. 61(4), 1445–1472 (2001)
Tewa, J.J., Djeumen, V.Y., Bowong, S.: Predatorprey model with Holling response function of type II and SIS infectious disease. Appl. Math. Model. 37(7), 4825–4841 (2013)
Guckenheimer, J., Homes, P.: Nonlinear Oscillations, Dynamical System and Bifurcations of Vector Fields, pp. 140–141. Springer, Berlin (1983)
David, G., Ahmed, K.Q.J., Ahmed, A.F.: Ecoepidemiological model with fatal disease in the prey. Nonlinear Anal., Real World Appl. 53, 103072 (2020)
Harrison, G.W.: Multiple stable equilibria in a predatorprey system. Bull. Math. Biol. 48(2), 137–148 (1986)
Chiu, C.H.: Lyapunov functions for the global stability of competing predators. J. Math. Anal. Appl. 230(1), 232–241 (1999)
Korobeinikov, A.: A Lyapunov function for LeslieGower predatorprey models. Appl. Math. Lett. 14, 697–699 (2001)
Martin, S., Hervé, B., Yves, D.: On the use of the sterile insect release technique to reduce or eliminate mosquito populations. Appl. Math. Model. 68(1), 443–470 (2019)
Ouedraogo, H., Ouedraogo, W., Sangaré, B.: Bifurcation and stability analysis in complex crossdiffusion mathematical model of phytoplanktonfish dynamics. J. Partial Differ. Equ. 32(3), 1–22 (2019)
Anguelov, R., Dumont, Y., Lubuma, L.J.M., Shillor, M.: Comparison of some standard and nonstandard numerical methods for the MSEIR epidemiological model. AIP Conf. Proc. 1168(2), 1209–1212 (2009)
Hsieh, Y.H., Hsiao, C.K.: Predator–prey model with disease infection in both populations. Math. Med. Biol. 25, 247–266 (2008)
Acknowledgements
The authors would like to express their sincere thanks to the associate editor and the anonymous referees for their constructive comments and suggestions given in their different reports, which have helped us to significantly improve the quality of the paper.
Funding
This work has been prepared with the support of the Department of Mathematics, Nazi BONI University.
Author information
Authors and Affiliations
Contributions
All authors worked together to produce the results and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Savadogo, A., Sangaré, B. & Ouedraogo, H. A mathematical analysis of Hopfbifurcation in a preypredator model with nonlinear functional response. Adv Differ Equ 2021, 275 (2021). https://doi.org/10.1186/s13662021034372
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662021034372
MSC
 65L12
 65M20
 65N40
Keywords
 Preypredator system
 Hopfbifurcation
 Global stability
 Numerical simulations