 Research
 Open Access
 Published:
Bogdanov–Takens bifurcation of a Holling IV prey–predator model with constanteffort harvesting
Journal of Inequalities and Applications volume 2021, Article number: 68 (2021)
Abstract
A prey–predator model with constanteffort harvesting on the prey and predators is investigated in this paper. First, we discuss the number and type of the equilibria by analyzing the equations of equilibria and the distribution of eigenvalues. Second, with the rescaled harvesting efforts as bifurcation parameters, a subcritical Hopf bifurcation is exhibited near the multiple focus and a Bogdanov–Takens bifurcation is also displayed near the BT singularity by analyzing the versal unfolding of the model. With the variation of bifurcation parameters, the system shows multistable structure, and the attractive domains for different attractors are constituted by the stable and unstable manifolds of saddles and the limit cycles bifurcated from Hopf and Bogdanov–Takens bifurcations. Finally, a cusp point and two generalized Hopf points are found on the saddlenode bifurcation curve and the Hopf bifurcation curves, respectively. Several phase diagrams for parameters near one of the generalized Hopf points are exhibited through the generalized Hopf bifurcation.
Introduction
The prey–predator model based on Lotka–Volterra model is one of the most popular models in mathematical ecology and has been widely applied in understanding population dynamics of the species, which is characterized by the complicated interaction among the species and the interaction between the species and their surroundings. Functional response is the rate of prey consumption by the predators, which can characterize the interaction between the prey and the predators. The initial functional responses are presented by Holling in [11, 12] and have been classified into three types called Holling I, II and III. Generally speaking, Holling type I response is seen mostly at filterfeeding predators, such as mollusks, algae, and cells. Holling types II and III responses are applicable to the invertebrates and complicated vertebrates, respectively. The common feature of these functions is all monotonic increasing and bounded, which means that the more the prey is in the environment, the better for the predators [6]. However, many experiments and observations indicate that monotonicity does not always hold and a nonmonotonic response may exist when the nutrient concentration reaches a high level [3, 9, 31]. It is also explained that when the number of the prey is large enough, their group defense ability and camouflage ability are strengthened to decrease the predation ability of the predators. For example, large swarms of insects make individual identification difficult for their predators. A lone musk ox can be successfully attacked by wolves, while large groups of musk oxen are less likely to be attacked successfully [28]. Filamentous algae are often qualified as inedible by herbivorous zooplankton [8]. To model such an inhibitory effect, a Holling IV response \(\frac{mx}{a+bx+x^{2}}\) and a simplified Holling IV response \(\frac{mx}{a+x^{2}}\) have been proposed by Andrews [1] and Sokoland [25], respectively. Since then the prey–predator system with Holling IV functional response has been widely studied by many researchers [4, 15, 20, 30, 32].
For commercial and economical purposes, the exploitation of biological resources and harvesting of populations are commonly practiced in fishery, forestry and wildlife management [22]. It is known that harvesting, as a scientific management of renewable resources, has a strong effect on the dynamic evolution of the biological models, which can determine the survival and sustainable development of the species. In order to reasonably govern renewable resources, the study of the exploitation of biological resources and harvesting of populations is becoming a hot topic in the field of biological economics, which is related to the optimal management of renewable resources [5].
Recently, it has become very popular among many researchers in using bifurcation theory to analyze the harvested prey–predator model to reach an optimal management in the field of mathematical biology [10, 13, 15–18, 21, 29, 33, 34], which can predict the species’ evolutionary direction, including the constant state, periodic state and chaotic state, as the critical biological parameters vary.
From the present work, we find that most of the harvested prey–predator models which have been considered by many authors are confined to three aspects: (i) constantyield harvesting, (ii) harvesting subjected to only one species or (iii) the numerical response is proportional to the functional response, where the numerical response is the change in predator density as a function of change in prey density [26]. It is the reproduction rate of a consumer as a function of food density. That is, when the predators consume their prey, the numerical response is dynamic relation between the increasing number of the predators and the consumed prey. From the convention, we know that harvesting frequently varies with season, market demand, the species quantity, harvesting cost and so on; the prey and the predators can be both valuable from the business point; the numerical response can be uncorrelated with the functional response. Based on above analysis and the virtue of the Holling IV response, in this paper we extend previous work from three aspects and establish a prey–predator model with Leslie–Gower and Holling IV schemes with constanteffort harvesting, which is given by
The logistic model \(r_{1}x(1\frac{x}{K})\) is used to describe the growth of the prey in the absence of predators in the limited environmental carrying capacity. The second term \(\frac{mx}{b+x^{2}}y\) describes the change in the density of the prey attacked per unit time as the prey density changes. The last term \(c_{1}x\) is the constanteffort harvesting of the prey. \(r_{2}y (1\frac{y}{sx} )\) is the predator growth term, which is described by the Leslie–Gower function. \(\frac{y}{sx}\) measures the loss in the predator population due to rarity (per capita of \(\frac{y}{x}\)) of its favorite term [19]. The term \(c_{2}y\) is the constanteffort harvesting of the predators. The meanings of the parameters are given as follows:
(i) x and y denote the densities of the prey and the predators.
(ii) K is the environmental carrying capacity for the prey.
(iii) m denotes the maximal predation rate.
(iv) b is the socalled halfsaturation constant.
(v) s is a measure of food quality that the prey provides for conversion into the predator birth.
(vi) \(r_{1}\) and \(r_{2}\) are intrinsic growth rates of the prey and predators, respectively.
(vii) \(c_{1}\) and \(c_{2}\) measure the effort being spent by a harvesting agency (harvesting efforts).
The model (1.1) without harvesting (i.e., \(c_{1}=c_{2}=0 \)) has been discussed in [7, 14, 20]. Li and Xiao [20] proved that the model could simultaneously undergo a Bogdanov–Takens bifurcation and a subcritical Hopf bifurcation in the small neighborhoods of two different equilibria, respectively. It was shown that for different parameters the model could have a stable limit cycle enclosing two equilibria, or an unstable limit cycle enclosing a hyperbolic equilibria, or two limit cycles enclosing a hyperbolic equilibrium. In Ref. [14], for the same model, Huang et al. investigated the degenerate Bogdanov–Takens bifurcation of codimension 3 around the degenerate positive equilibrium. Some other abundant dynamical phenomena could emerge, such as the coexistence of three hyperbolic positive equilibria, a homoclinic loop enclosing an unstable limit cycle, or a stable limit cycle enclosing three unstable hyperbolic positive equilibria. From the abovementioned work, Hopf cyclicity and the global dynamics of the same model were investigated by Dai and Zhao [7] for the cases of one nondegenerate positive equilibrium and three distinct positive equilibria, respectively. Some explicit conditions for the globally stable equilibrium were established by applying Dulac’s criterion and constructing the Lyapunov function. It was shown that the Hopf bifurcation could occur at each weak focus and more complicated and new dynamics were observed. When the system had a unique positive equilibrium, there existed parameter values such that the system had two limit cycles around it. When the system had three positive equilibria, one limit cycle could bifurcate from each of the two positive antisaddles simultaneously.
In order to discuss if the added harvesting terms can affect the bifurcation structure of the prey–predator model, we also do a series of bifurcation analysis for the model with liner harvesting. We find that, besides some original dynamical behaviors, some new phenomena and bifurcations appear in the harvested model, such as a globally stable equilibrium, a cusp bifurcation and a generalized Hopf bifurcation. From the cusp point, two saddlenode bifurcation curves are bifurcated, through which three equilibria collide to form an equilibrium or one equilibrium splits into three equilibria. From the generalized Hopf bifurcation point, a fold bifurcation curve of limit cycles is bifurcated, on which two limit cycles with different stability collide to form a semistable cycle. These dynamical behaviors have not been found or discussed in the original model in Ref. [7, 14, 20].
Before entering the topic, we carry out the following scaling transformations:
Dropping the bars system (1.1) becomes
where \(a,\delta, \beta, h_{1}\) and \(h_{2}\) are positive parameters. \(h_{1}\) and \(h_{2}\) are called rescaled harvesting efforts. From the perspective of biology, system (1.2) is defined on the set \(D= \{ (x,y) \in R^{2} {} x>0, y\geq 0 \} \).
By analyzing (1.2), we can prove that solution trajectories starting from the initial value \((x_{0},0)\) remain within the positive xaxis for all the time. Through integrating two equations in (1.2) and discussing the initial value \(x(0)>1h_{1}\) or \(x(0)<1h_{1}\), we can get the following lemma (the detailed proof is similar to Appendix A in [24]).
Lemma 1.1
When \(h_{1}<1\) and \(h_{2}<\delta \), each positive solution \((x(t),y(t))\) of system (1.2) is bounded. Furthermore, there exists a \(T\geq 0\) such that \(0< x(t)<1h_{1}\) and \(0\leq y<\frac{\delta h_{2}}{\beta }(1h_{1})\) for \(t\geq T\).
The rest of this paper is organized as follows. In Sect. 2, we analyze the number and property of the equilibria by using the root formula of the cubic equation. In Sect. 3, we discuss the subcritical Hopf bifurcation near the multiple focus and the Bogdanov–Takens bifurcation near a BT singularity. The characteristics of the cusp point and the generalized Hopf points are analyzed simply. Numerical simulations support our results of theoretical analysis. Finally, we end this paper with a conclusion in Sect. 4.
Types of equilibria
In this section, for system (1.2) we will study the number and type of equilibria in the region D. It is clear that if \(h_{1}<1\) system (1.2) has a boundary equilibrium \(E_{0}=(1h_{1},0)\), which is a sink for \(\delta < h_{2}\) and a saddle for \(\delta >h_{2}\). The corresponding phase portraits are displayed in Fig. 1.
Obviously, a positive equilibrium \(E^{*}(x^{*},y^{*})\) of system (1.2) should satisfy the following equations:
From Eqs. (2.1), we find that, if positive equilibria exist, then \(h_{2}<\delta \) and \(x^{*}\) is a root of the equation
To determine the type of \(E^{*}(x^{*},y^{*})\), the Jacobian matrix J evaluated at \(E^{*}(x^{*},y^{*})\) is given by
Thus
According to the sign of \(\operatorname{Det}(J(E^{*}))\), the equilibrium \(E^{*}(x^{*},y^{*})\) can be divided into three types: an antisaddle equilibrium, a hyperbolic saddle or a degenerated equilibrium if \(\operatorname{Det}(J(E^{*}))>0, \operatorname{Det}(J(E^{*}))<0\) or \(\operatorname{Det}(J(E^{*}))=0\), respectively. Obviously, the type of \(E^{*}(x^{*},y^{*})\) is determined by the sign of \(F'(x^{*})\).
Using the root formula of the thirdorder equation and estimating the sign of \(F'(x^{*})\), we can get the following results.
Lemma 2.1
Suppose \(h_{1} < 1\), \(h_{2} < \delta \), \(A=(h_{1}1)^{2}3(a+\frac{\delta h_{2}}{\beta })\) and \(\Delta = 4A^{3} + (h_{1}1)^{2} [3A+27a  (h_{1}  1)^{2} ]^{2}\).

(a)
If \(\Delta >0\), then system (1.2) has a unique positive equilibrium \(E^{*}(x^{*},y^{*})\), which is an antisaddle equilibrium whatever the sign of A is.

(b)
If \(\Delta =0, A=0\), then system (1.2) has a unique positive equilibrium \(E^{*}(x^{*},y^{*})= (\frac{1h_{1}}{3}, \frac{(\delta h_{2})(1h_{1})}{3\beta } )\), which is degenerated.

(c)
If \(\Delta =0, A>0\) and \(\operatorname{max} \{ \frac{(h_{1}1)^{2}4A}{27},0 \} < a< \frac{(h_{1}1)^{2}A}{27}\), then the system (1.2) has two positive equilibria: an antisaddle equilibrium
$$ E_{1}^{*} \bigl(x_{1}^{*},y_{1}^{*} \bigr)= \biggl( \frac{(1h_{1}) [4A+27a(h_{1}1)^{2} ]}{3A}, \frac{(\delta h_{2})(1h_{1}) [4A+27a(h_{1}1)^{2} ]}{3\beta A} \biggr) $$and a degenerated equilibrium
$$ E^{*} \bigl(x^{*},y^{*} \bigr)= \biggl( \frac{(1h_{1}) [(h_{1}1)^{2}A27a ]}{6A}, \frac{(\delta h_{2})(1h_{1}) [(h_{1}1)^{2}A27a ]}{6\beta A} \biggr). $$ 
(d)
If \(\Delta <0\), then system (1.2) has three positive equilibria \(E_{1}^{*}(x_{1}^{*},y_{1}^{*}),E_{2}^{*}(x_{2}^{*},y_{2}^{*})\) and \(E_{3}^{*}(x_{3}^{*},y_{3}^{*})\). \(E_{1}^{*}\) and \(E_{3}^{*}\) are antisaddle equilibria and \(E_{2}^{*}\) is a hyperbolic saddle.
The detailed proof of Lemma 2.1 is given in the appendix. The phase portraits for the four cases are exhibited in Fig. 2.
Next, we discuss the case (c) of Lemma 2.1 and look for some parameter values such that system (1.2) has a degenerated equilibrium \(E^{*}(x^{*},y^{*})\) with \(\operatorname{Det}(J(E^{*}))=0\) and \(\operatorname{Tr}(J(E^{*}))=0\) and a nonhyperbolic equilibrium \(E_{1}^{*}(x_{1}^{*},y_{1}^{*})\) with \(\operatorname{Det}(J(E_{1}^{*}))>0\) and \(\operatorname{Tr}(J(E_{1}^{*}))=0\).
From \(\operatorname{Det}(J(E^{*}))=0\) and \(\operatorname{Tr}(J(E^{*}))=0\), we can get
where \((\delta h_{2})<1h_{1}<2(\delta h_{2})\).
Thus when \(a,\beta \) satisfy (2.3) and \(3(\delta h_{2})\neq 2(1h_{1}) \), system (1.2) has two positive equilibria
Furthermore, when \(E_{1}^{*}\) satisfies \(\operatorname{Det}(J(E_{1}^{*}))>0\) and \(\operatorname{Tr}(J(E_{1}^{*}))=0\), the following conclusions hold.
Theorem 2.2
If \(0< h_{1}<1\) and \((a,\beta,\delta )= (\frac{41\sqrt{17}169}{2}(1h_{1})^{2}, \frac{4+\sqrt{17}}{4(1h_{1})}, \frac{\sqrt{17}3}{2}(1h_{1})+h_{2} )\), then (1.2) has two positive equilibria
Moreover, (i) \(E_{1}^{*}\) is an unstable multiple focus with multiplicity one. (ii) \(E^{*}\) is a codimension 2 BT singularity. The phase diagram is shown in Fig. 3.
Proof
When \(a,\beta \) and δ satisfy the conditions in Theorem 2.2, system (1.2) becomes
Obviously, (2.4) has two equilibria \(E_{1}^{*}\) and \(E^{*}\) as stated above.
(1) To prove (i), let \(u=x (\sqrt{17}4 )(1h_{1})\), \(v=y (114\sqrt{17}470 )(1h_{1})^{3}\) and Taylor expand (2.4), thus we get
Suppose
then (2.5) can be changed into
where \(\omega _{0}=\frac{\sqrt{22\sqrt{17}90}}{2}(1h_{1}) \) and
The first Lyapunov number [23] can be expressed as
thus \(E_{1}^{*}\) is an unstable multiple focus with multiplicity one.
(2) To prove (ii), let \(x_{1}=x\frac{5\sqrt{17}}{2}(1h_{1})\), \(x_{2}=y (26464\sqrt{17} )(1h_{1})^{3}\) and expand (2.4) in a power series at the origin, thus (2.4) becomes
Making the affine transformation
we obtain
By a \(C^{\infty }\) change of variables
system (2.8) becomes
Suppose \({\rho _{1}}=\frac{195\sqrt{17}}{8}(1h_{1})^{2}\) and \({\rho _{2}}=\frac{\sqrt{17}+1}{4}(1h_{1})\), then \({\rho _{1}\rho _{2}}=\frac{337\sqrt{17}}{16}(1h_{1})^{3}\neq 0\) for \(0< h_{1}<1\). Hence \(E^{*}\) is a BT singularity of codimension 2. □
Bifurcations
In this section, we study the subcritical Hopf bifurcation in a neighborhood of \(E_{1}^{*}\) and the Bogdanov–Takens bifurcation in a neighborhood of \(E^{*}\). Now we carry out bifurcation analysis for system (1.2) by choosing \(h_{1}\) and \(h_{2}\) as bifurcation parameters. When the conditions of Theorem 2.2 are satisfied, the unfolding system of (1.2) is given by
where \(\mu _{1}\) and \(\mu _{2} \) are small parameters.
Through analysis, we have the following conclusions.
Theorem 3.1
When \(\mu _{1}\) and \(\mu _{2}\) vary near the origin, system (3.1) undergoes a subcritical Hopf bifurcation in a small neighborhood of \(E_{1}^{*}\) and a Bogdanov–Takens bifurcation in a small neighborhood of \(E^{*}\). Hence, when \(h_{1}\) and \(h_{2}\) vary, system (1.2) may have an unstable closed cycle around \(E_{1}^{*}\), and an unstable closed cycle or an unstable homoclinic loop around \(E^{*}\).
Proof
If \(\mu _{1}=\mu _{2}=0\), then (3.1) has two equilibria \(E_{1}^{*}\) and \(E^{*}\), whose types are discussed in Theorem 2.2.
(1) First we verify that system (3.1) experiences a subcritical Hopf bifurcation around \(E_{1}^{*}\) when \((\mu _{1},\mu _{2})\) varies in a small neighborhood of the origin. If \((\mu _{1},\mu _{2})\neq (0,0)\), (3.1) has an equilibrium with the following form:
Here ω is an infinitely small quantity for \(\mu _{1}\) and \(\mu _{2}\) small enough.
Substituting (3.2) into (3.1), one can find that \(x_{1}\) should satisfy the following equations:
Letting \(\operatorname{Tr}(J(E_{1}))=0,\operatorname{Det}(J(E_{1}))>0\) and according to (3.3), we can get
Substituting (3.2) and (3.4) into \(\operatorname{Det}(J(E_{1}))\), we obtain \(\operatorname{Det}(J(E_{1}))>0\) if and only if
The discriminant of inequality (3.5) is always negative for \(h_{1}<1\), so \(\operatorname{Det}(J(E_{1}))>0\) for all small ω. The Hopf bifurcation curve of system (3.1) at \(E_{1}^{*}\) is defined by
Due to \({\lim_{\omega \rightarrow 0}} \frac{\mu _{2}}{\mu _{1}}= \frac{35+7\sqrt{17}}{41+13\sqrt{17}}\), thus the approximate expression of \(H_{1}\) is given by \(\mu _{2}=\frac{35+7\sqrt{17}}{41+13\sqrt{17}}\mu _{1}\) in a small neighborhood of the origin.
(2) Now we prove that system (3.1) undergoes a Bogdanov–Takens bifurcation at the BT singularity \(E^{*}\). First translate \(E^{*}\) to the origin by letting \(x_{1}=x\frac{5\sqrt{17}}{2}(1h_{1})\) and \(x_{2}=y (26464\sqrt{17} )(1h_{1})^{3}\) and Taylor expand system (3.1), then we have
With an affine transformation \(y_{1}=x_{1}\), \(y_{2}=\frac{\sqrt{17}3}{2}(1h_{1})x_{1} \frac{4+\sqrt{17}}{4(1h_{1})}x_{2}\), system (3.6) becomes
Under a \(C^{\infty }\) transformation of coordinates
system (3.7) can be transformed into
where
By another \(C^{\infty }\) change \(X_{1}=z_{1}\frac{1}{4(1h_{1})}z_{1}^{2}\), \(X_{2}=z_{2}\frac{1}{2(1h_{1})}z_{1}z_{2}\), system (3.8) becomes
where \(\psi = \frac{8\beta _{2}h_{1}^{2}+2(\beta _{1}8\beta _{2})h_{1} \beta _{0}2\beta _{1}+8\beta _{2}}{8(1h_{1})^{2}}\).
Consider the \(C^{\infty }\) change \(Y_{1}=X_{1}, Y_{2}=X_{2}+O(X_{1},X_{2}^{3})\) and system (3.9) can be changed into
Substituting the expressions of \(\beta _{0}, \beta _{1}\) and \(\beta _{2}\) into ψ, we have \(\psi <0\) for any small \(\mu _{1}\) and \(\mu _{2}\). Under the following change:
system (3.10) becomes
The transformation \(U=Z_{1} \frac{2\beta _{1}h_{1}+\beta _{0}2\beta _{1}}{4(1h_{1})\psi }, V=Z_{2}\) brings (3.11) into the form
where \(\phi = \frac{(5+\sqrt{17})(2\beta _{1}h_{1}+\beta _{0}2\beta _{1}) [(5+3\sqrt{17})\mu _{1}8(1h_{1}) ]}{128(1h_{1})^{2}\psi \sqrt{\psi }}+ \frac{(\sqrt{17}5) [(5+\sqrt{17})\mu _{2}2\mu _{1} ]}{8\sqrt{\psi }}\).
The derivatives of (3.11) and (3.12) are about time τ. For \(\mu _{1}\) small enough we make the following transformation:
then system (3.12) becomes
where the derivatives are about time t and the expressions of \(\eta _{1}(\mu _{1},\mu _{2})\) and \(\eta _{2}(\mu _{1},\mu _{2})\) are given by
We can check
for \(0< h_{1}<1\), which indicates that above parameter transformation is regular at \((0,0)\).
From the results in [2] and [27], we know that system (3.1) undergoes a Bogdanov–Takens bifurcation when \((\mu _{1},\mu _{2})\) varies in a small neighborhood of the origin, and the local expressions of the bifurcation curves in a small neighborhood of the origin are given by:

(a)
the saddlenode bifurcation curve
$$\begin{aligned} SN={}& \biggl\{ (\mu _{1},\mu _{2}) \eta _{1}=0,\text{ i.e.}, \mu _{1}\mu _{2}+ \frac{(19\sqrt{17}43)\mu _{1}^{2}}{32(1h_{1})}\\ &{}  \frac{(53\sqrt{17}+35)\mu _{1}\mu _{2}}{16(1h_{1})} + \frac{3(7\sqrt{17}+9)\mu _{2}^{2}}{8(1h_{1})}+ O \bigl( \vert \mu _{1},\mu _{2} \vert ^{3} \bigr)=0 \biggr\} , \end{aligned}$$which includes \(SN^{+}=\{(\mu _{1},\mu _{2}) \eta _{1}=0,\eta _{2}>0\}\) and \(SN^{}=\{(\mu _{1},\mu _{2}) \eta _{1}=0,\eta _{2}<0\}\);

(b)
the Hopf bifurcation curve
$$\begin{aligned} H={}& \bigl\{ (\mu _{1},\mu _{2}) \eta _{2}=\sqrt{\eta _{1}}, \eta _{1}< 0 \bigr\} \\ = {}&\biggl\{ (\mu _{1},\mu _{2})  \mu _{1}\mu _{2} + \frac{5(7\sqrt{17}23)\mu _{1}^{2}}{16(1h_{1})}  \frac{(73\sqrt{17}33)\mu _{1}\mu _{2}}{16(1h_{1})} \\ &{}+ \frac{(23\sqrt{17}+21)\mu _{2}^{2}}{8(1h_{1})}+ O \bigl( \vert \mu _{1},\mu _{2} \vert ^{3} \bigr)=0, \eta _{1}< 0 \biggr\} ; \end{aligned}$$ 
(c)
the homoclinic bifurcation curve
$$\begin{aligned} HL={}& \biggl\{ (\mu _{1},\mu _{2}) \eta _{2}=\frac{5}{7}\sqrt{\eta _{1}}, \eta _{1}< 0 \biggr\} \\ ={}& \biggl\{ (\mu _{1},\mu _{2}) \mu _{1}  \mu _{2} + \frac{(1487\sqrt{17}5119)\mu _{1}^{2}}{400(1h_{1})}  \frac{(2305\sqrt{17}2457) \mu _{1}\mu _{2} }{400(1h_{1})} \\ &{}+ \frac{(623\sqrt{17}+381) \mu _{2}^{2}}{200(1h_{1})} + O \bigl( \vert \mu _{1},\mu _{2} \vert ^{3} \bigr)=0,\eta _{1}< 0 \biggr\} ; \end{aligned}$$ 
(d)
the Hopf bifurcation curve of system (3.1) at \(E_{1}^{*}\) is
$$H_{1}= \biggl\{ (\mu _{1},\mu _{2})  \mu _{2}= \frac{35+7\sqrt{17}}{41+13\sqrt{17}}\mu _{1} \biggr\} . $$
The sketches of these bifurcation curves are displayed in Fig. 4.
Due to \(\eta _{2}<0\) around the origin, H and HL are nonexistent in the third quadrant of Fig. 4, so only \(SN^{}\) and \(H_{1}\) are considered in this part. Obviously, the neighborhood of the origin in the \((\mu _{1},\mu _{2})\)plane is divided into six parts by \(H_{1}, SN^{+}, H, HL\) and \(SN^{}\).
When \((\mu _{1},\mu _{2})\) lies in region I, system (3.1) has an unstable focus \(E_{1}^{*}\). By Lemma 1.1 and the Poincaré–Bendixson theorem, it can be proved that there exists a stable limit cycle. The corresponding phase portrait is depicted in Fig. 5. From the biological point of view, we know that the prey and the predators can coexist and will periodically fluctuate along this cycle eventually.
When \((\mu _{1},\mu _{2})\) lies on the curve \(H_{1}\), the stable limit cycle still exists and the equilibrium \(E_{1}^{*}\) turns into an unstable multiple focus with multiplicity one. When \((\mu _{1},\mu _{2})\) crosses \(H_{1}\) and enters into the region VI, \(E_{1}^{*}\) becomes a stable focus and an unstable limit cycle bifurcates, which indicates a subcritical Hopf bifurcation happens at \(E_{1}^{*}\) when \((\mu _{1},\mu _{2})\) goes through \(H_{1}\). Figure 6 shows that there is a bistable state (a stable equilibrium \(E_{1}^{*}\) and a big stable limit cycle) and the unstable limit cycle bifurcated from Hopf bifurcation acts as the separatrices of attractive domains for different attractors. Eventually, trajectories can either tend to an equilibrium or a limit cycle depending on initial values of the species.
When \((\mu _{1},\mu _{2})\) lies on the curve \(SN^{}\), a new saddlenode \(E^{*}\) emerges and the other equilibrium \(E_{1}^{*}\) is still a stable focus. When \((\mu _{1},\mu _{2})\) passes through \(SN^{}\) and enters into region V, there are two new equilibria \(E_{2}^{*}\) and \(E_{3}^{*}\) bifurcated from the saddlenode bifurcation. \(E_{2}^{*}\) is a hyperbolic saddle and \(E_{3}^{*}\) is a stable focus. The type of \(E_{1}^{*}\) is not changed and there is still an unstable limit cycle surrounding \(E_{1}^{*}\). The Poincaré–Bendixson theorem implies that there is a big stable limit cycle surrounding the three equilibria and the small limit cycle, which is displayed in Fig. 7. It is shown that there is a tristable state in system (3.1). The stable and unstable manifolds of the saddle \(E_{2}^{*}\) and the unstable limit cycle act as separatrices of different attractive domains. With different initial values, the species will eventually tend to a constant state or oscillate along a big limit cycle.
When \((\mu _{1},\mu _{2})\) lies on the curve \(H_{1}\), system (3.1) has three equilibria \(E_{1}^{*}, E_{2}^{*}\) and \(E_{3}^{*}\), where \(E_{1}^{*}\) becomes an unstable multiple focus with multiplicity one and the types of \(E_{2}^{*}\) and \(E_{3}^{*}\) are unchanged. When \((\mu _{1},\mu _{2})\) crosses \(H_{1}\) into region IV, the unstable limit cycle enclosing \(E_{1}^{*}\) disappears and \(E_{1}^{*}\) turns into an unstable focus, which shows that system (3.1) undergoes a subcritical Hopf bifurcation when \((\mu _{1},\mu _{2})\) passes through \(H_{1}\). The corresponding phase portrait is displayed in Fig. 8, in which \(E_{3}^{*}\) is a unique globally asymptotical attractor.
When \((\mu _{1},\mu _{2})\) lies on the curve HL, there appears an unstable homoclinic loop to the saddle \(E_{2}^{*}\) which is displayed in Fig. 9(a), and a large stable limit cycle encloses all the equilibria and the homoclinic loop shown in Fig. 9(b). Moreover, when \((\mu _{1},\mu _{2})\) deviates from the curve HL, the homoclinic loop breaks, which means that system (3.1) undergoes a homoclinic bifurcation when \((\mu _{1},\mu _{2})\) passes through the curve HL.
When \((\mu _{1},\mu _{2})\) lies in region III, there occurs an unstable limit cycle surrounding the stable focus \(E_{3}^{*}\), which means that system (3.1) undergoes a subcritical Hopf bifurcation when \((\mu _{1},\mu _{2})\) passes through the curve H. For \((\mu _{1},\mu _{2})=(0.01,0.009952)\), there are three equilibria, a small limit cycle and a large stable limit cycle enclosing all the equilibria and the small cycle, which is shown in Figs. 10(a) and 10(b). In this case there is also a bistable state (a stable equilibrium \(E_{3}^{*}\) and a big stable limit cycle).
When \((\mu _{1},\mu _{2})\) goes through H and enters into region II (the region between H and \(SN^{+}\)), the unstable limit cycle disappears and \(E_{3}^{*}\) becomes an unstable focus while the types of \(E_{1}^{*}\) and \(E_{2}^{*}\) are not changed. When \((\mu _{1},\mu _{2})\) lies on the curve \(SN^{+}\), two equilibria \(E_{2}^{*}\) and \(E_{3}^{*}\) overlap and become a saddlenode \(E^{*}\), which means that system (3.1) undergoes a saddlenode bifurcation when \((\mu _{1},\mu _{2})\) passes through the curve \(SN^{+}\). Whatever \((\mu _{1},\mu _{2})\) lies in region II or on \(SN^{+}\), there both exists a stable limit cycle enclosing all the equilibria by the Poincaré–Bendixson theorem. The phase portrait of system (3.1) for \((\mu _{1},\mu _{2})\) on the curve \(SN^{+}\) is exhibited in Fig. 11. From the strategy of the optimal management of renewable resources, we find that the saddlenode bifurcation curve acts as the feasible upper bound for the rescaled harvesting efforts which guarantees the coexistence and sustainable development of the species.
From Fig. 12(a), we find that when \((\mu _{1},\mu _{2})\) varies along the saddlenode bifurcation curve \(SN^{+}\) as shown in Fig. 4, a cusp point CP can be encountered and a cusp bifurcation will happen when \((\mu _{1},\mu _{2})\) varies near the CP point. The coordinates and parameter values for the CP point and the normal form coefficient c for the cusp bifurcation are given as follows:
When \((\mu _{1},\mu _{2})\) varies along two Hopf bifurcation curves H and \(H_{1}\) as indicated in Fig. 4, respectively, two generalized Hopf points \(GH^{+}\) and \(GH^{}\) can be encountered, at which both of the first Lyapunov coefficients are zero. The associated coordinates and parameter values for the two points and the second Lyapunov coefficients \(l^{\pm }_{2}\) of the generalized Hopf bifurcations are given as follows:
From Fig. 12(b), we find that the saddlenode bifurcation curve \(SN_{c}\) originating from the CP point and the saddlenode bifurcation curve \(SN^{+}\) originating from the BT point are nearly coincident or tangent at the point CP. Through the curve \(SN_{c}\) three equilibria collide to form an equilibrium or one equilibrium splits into three equilibria. Similarly, the Hopf bifurcation curve \(H\ (H_{1})\) originating from the BT point and the Hopf bifurcation curve \(H^{+}\) \((H^{})\) originating from the \(GH^{+}\) (\(GH^{}\)) point are almost coincident and tangent at the \(GH^{+}\) (\(GH^{}\)) point. In addition, near the Hopf bifurcation curves \(H^{+}\) and \(H^{}\), two fold bifurcation curves of the cycles \(T^{+}\) and \(T^{}\) also appear, on which two limit cycles with different stability collide to form a semistable cycle. Several typical phase portraits for \((\mu _{1},\mu _{2})\) near the generalized Hopf point \(GH^{+}\) are displayed in Fig. 13.
□
Conclusions
The prey–predator model in [20] added with constanteffort harvesting has been investigated in this paper. The Bogdanov–Takens bifurcation, the cusp bifurcation and the generalized Hopf bifurcation are discussed. By analysis, it is shown that this model can generate many novel dynamic behaviors compared with the model with no harvesting. For example, a globally asymptotically stable equilibrium can appear, while the stable equilibria in the original model are all locally asymptotically stable. Through the generalized Hopf bifurcation, the second Lyaponov coefficient can determine the relative position between the stable limit cycle and the unstable one. A cusp point CP has also been detected, from which two saddlenode bifurcation curves of equilibria emanate, through which three equilibria collide to form an equilibrium or one equilibrium splits into three equilibria. These bifurcations have not been discussed in the original model. In addition, compared with the original model, the harvested prey–predator model can exhibit different bifurcation structure in the parameter plane. These phenomena show that the added harvesting terms play an important role in directing the evolutional directions of the species. From the Hopf and Bogdanov–Takens bifurcations, we find that two small limit cycles bifurcating from two different equilibria are both unstable, while the big limit cycle is always stable, which shows that the ultimate numbers of the species circulate periodically along the big cycle rather than the small cycle.
Availability of data and materials
The authors declare that all data and material in the paper are available and veritable.
References
Andrews, J.F.: A mathematical model for the continuous culture of microorganisms utilizing inhibitory substrates. Biotechnol. Bioeng. 10(6), 707–723 (2010)
Bogdanov, R.: Versal deformations of a singular point on the plane in the case of zero eigenvalues. Funct. Anal. Appl. 9(2), 144–145 (1975)
Boon, B., Landelout, H.: Kinetics of nitrite oxidation by nitrobacter winogradski. Biochem. J. 85, 440–447 (1962)
Chen, Q.L., Teng, Z.D., Hu, Z.Y.: Bifurcation and control for a discretetime prey–predator model with HollingIV functional response. Int. J. Appl. Math. Comput. Sci. 23(2), 247–261 (2013)
Clark, C.W.: Mathematical Bioeconomics: The Optimal Management of Renewable Resources, 2nd edn. Wiley, New York (1990)
Cui, Q.Q., Zhang, Q., et al.: Complex dynamics of a discretetime predator–prey system with Holling IV functional response. Chaos Solitons Fractals 87, 158–171 (2016)
Dai, Y.F., Zhao, Y.L.: Hopf cyclicity and global dynamics for a predator–prey system of Leslie type with simplified Holling type IV functional response. Int. J. Bifurc. Chaos 28(13), 1850166 (2018)
Davidowicz, P., Gliwicz, Z.M., et al.: Can Daphnia prevent a bluegreen algal bloom in hypertrophic lakes? A laboratory test. Limnologica 19, 21–26 (1988)
Edwards, V.H.: Influence of high substrate concentrations on microbial kinetics. Biotechnol. Bioeng. 12(5), 679–712 (1970)
Gupta, R.P., Chandra, P.: Bifurcation analysis of modified Leslie–Gower predator–prey model with Michaelis–Menten type prey harvesting. J. Math. Anal. Appl. 398(1), 278–295 (2013)
Holling, C.S.: Some characteristics of simple types of predation and parasitism. Can. Entomol. 91(7), 385–398 (1959)
Holling, C.S.: The functional response of predator to prey density and its role in mimicry and population regulation. Mem. Entomol. Soc. Can. 97, 5–60 (1965)
Huang, J.C., Gong, Y.J., Ruan, S.G.: Bifurcation analysis in a predator–prey model with constantyield predator harvesting. Discrete Contin. Dyn. Syst., Ser. B 18(8), 2101–2121 (2013)
Huang, J.C., Xia, X.J., et al.: Bifurcation of codimension 3 in a predator–prey system of Leslie type with simplified Holling type IV functional response. Int. J. Bifurc. Chaos 26(2), 1650034 (2016)
Huang, J.C., Xiao, D.M.: Analyses of bifurcations and stability in a predator–prey system with Holling typeIV functional response. Acta Math. Appl. Sin. Engl. Ser. 20(1), 167–178 (2004)
Huang, M.Z., Liu, S.Z., et al.: Periodic solutions and homoclinic bifurcation of a predator–prey system with two types of harvesting. Nonlinear Dyn. 73(1–2), 815–826 (2013)
Kar, T.K., Ghorai, A.: Dynamic behaviour of a delayed predator–prey model with harvesting. Appl. Math. Comput. 217(22), 9085–9104 (2011)
Kar, T.K., Matsuda, H.: Global dynamics and controll ability of a harvested prey–predator system with Holling type III functional response. Nonlinear Anal. Hybrid Syst. 1(1), 59–67 (2007)
Leslie, P.H., Gower, J.C.: The properties of a stochastic model for the predator–prey type of interaction between two species. Biometrika 47, 219–234 (1960)
Li, Y.L., Xiao, D.M.: Bifurcations of a predator–prey system of Holling and Leslie types. Chaos Solitons Fractals 34(2), 606–620 (2007)
Liu, M., Hu, D.P., Meng, F.W.: Stability and bifurcation analysis in a delayinduced predator–prey model with Michaelis–Menten type predator harvesting. Discrete Contin. Dyn. Syst., Ser. S (2020). https://doi.org/10.3934/dcdss.2020259
Makinde, O.D.: Solving ratiodependent predator–prey system with constant effort harvesting using Adomian decomposition method. Appl. Math. Comput. 186(1), 17–22 (2007)
Perko, L.: Differential Equations and Dynamical Systems. Springer, New York (1996)
Sen, M., Banerjee, M., Morozov, A.: Bifurcation analysis of a ratiodependent prey–predator model with the Allee effect. Ecol. Complex. 11, 12–27 (2012)
Sokol, W., Howell, J.A.: Kinetics of phenol oxidation by washed cell. Biotechnol. Bioeng. 23(9), 2039–2049 (1981)
Solomon, M.E.: The natural control of animal populations. J. Anim. Ecol. 19, 1–35 (1949)
Takens, F.: Forced oscillations and bifurcation. Applications of global analysis I. Comm. Math. Inst. 3, 1–62 (2001)
Tener, J.S.: Muskoxen. Queens Printer, Ottawa (1965)
Xiao, D.M., Jennings, L.S.: Bifurcations of a ratiodependent predator–prey system with constant rate harvesting. SIAM J. Appl. Math. 65(3), 737–753 (2005)
Xiong, Z.L., Xue, Y., Li, S.Y.: A food chain system with Holling IV functional responses and impulsive effect. Int. J. Biomath. 1(3), 361–375 (2008)
Yang, R.D., Humphrey, A.E.: Dynamics and steady state studies of phenol biodegeneration in pure and mixed cultures. Biotechnol. Bioeng. 17, 1211–1235 (1975)
Zhang, S.W., Wang, F.Y., Chen, L.S.: A food chain model with impulsive perturbations and Holling IV functional response. Chaos Solitons Fractals 26(3), 855–866 (2005)
Zhu, C.R., Lan, K.Q.: Phase portraits, Hopf bifurcations and limit cycles of Leslie–Gower predator–prey systems with harvesting rates. Discrete Contin. Dyn. Syst., Ser. B 14(1), 289–306 (2010)
Zhu, Q., Peng, H.Q., et al.: Bifurcation analysis of a stagestructured predator–prey model with prey refuge. Discrete Contin. Dyn. Syst., Ser. S 12(7), 2195–2209 (2019)
Acknowledgements
The first author is supported by the Key scientific research projects of colleges and universities in Henan Province (20A110033). The second author is supported by the Basic Research Projects of Key Scientific Research Projects Plan in Henan Higher Education Institutions (20zx003), the Aeronautical Science Foundation of China (2017ZD55014), Science and Technological Research of Key Projects of Henan Province (182102210242).
Funding
No external funding.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Appendix
Appendix
Denoting coefficients of Eq. (2.2) as \(b= (h_{1}1), c= ( a+{\frac{\delta h_{2}}{\beta }} ), d=a(h_{1}1)\) and letting \(A_{1}=b^{2}3c, B=bc9d, C=c^{2}3bd\), the discriminant \(\Delta _{1}\) of (2.2) is given by \(\Delta _{1}=B^{2}4A_{1}C\), from which we can get \(A_{1}=A, \Delta _{1}=\frac{\Delta }{9}\). Suppose that \(x_{1}, x_{2}\) and \(x_{3}\) are three roots of Eq. (2.2).
\(F'(x)=3x^{2}+2(h_{1}1)x+a+{\frac{\delta h_{2}}{\beta }}\) and the discriminant \(\Delta _{2}\) of \(F'(x)\) is given by \(\Delta _{2}=4(h_{1}1)^{2} 12 ( a+{\frac{\delta h_{2}}{\beta }} )=4A\). Now we prove Lemma 2.1.

(a)
If \(\Delta >0\), then \(\Delta _{1}>0\). (2.2) has one real root \(x_{1} \) and a pair of conjugate complex roots \(x_{2}, x_{3}\) according to the root formula of the cubic equation. Owing to \(x_{1}x_{2}x_{3}=a(1h_{1})>0\), \(x_{1}\) is the positive root of (2.2). Letting \((x^{*},y^{*})= (x_{1},\frac{\delta h_{2}}{\beta }x_{1} )\), now we will discuss three cases.

(1)
If \(A= \frac{\Delta _{2}}{4}<0\), then \(F'(x^{*})>0\).

(2)
If \(A= \frac{\Delta _{2}}{4}=0\), then \(x^{*}=\frac{1}{3} (1h_{1}+\sqrt[3]{(1h_{1})(27a(1h_{1})^{2})} )\) and \(F'(x^{*})=\frac{1}{3} \sqrt[3]{(1h_{1})^{2}(27a(1h_{1})^{2})^{2}}=\frac{1}{3}\sqrt[3]{\Delta }>0\).

(3)
If \(A= \frac{\Delta _{2}}{4}>0\), then \(x^{*}= \frac{1h_{1}\sqrt[3]{Y_{1}}\sqrt[3]{Y_{2}}}{3}\) and \(F'(x^{*})= \frac{1}{3} (\sqrt[3]{Y_{1}^{2}}+\sqrt[3]{Y_{2}^{2}}+2\sqrt[3]{Y_{1}}\sqrt[3]{Y_{2}}A ) = \frac{1}{3} (\sqrt[3]{Y_{1}^{2}}+\sqrt[3]{Y_{2}^{2}}+A )>0\), where \(Y_{1,2}=(h_{1}1)A+\frac{3(B\pm \sqrt{\Delta _{1}})}{2}\).
For the above three cases, \(F'(x^{*})>0\) always holds. So \(E^{*}(x^{*},y^{*})\) is an antisaddle of system (1.2).

(1)

(b)
If \(\Delta =0, A=0\), then \(x_{1}=x_{2}=x_{3}=x^{*}=\frac{1h_{1}}{3}\) is a triple root of Eq. (2.2). Now system (1.2) has a unique equilibrium \(E^{*}(x^{*},y^{*})= (\frac{1h_{1}}{3}, \frac{(1h_{1})(\delta h_{2})}{3\beta } ) \), which is degenerated according to \(F'(x^{*})=0\).

(c)
If \(\Delta =0, A>0\), then \(x_{1}=1h_{1}+\frac{B}{A}\) and \(x_{2}=x_{3}=\frac{B}{2A}\) are two positive roots of Eq. (2.2) for \(\operatorname{max} \{ \frac{(h_{1}1)^{2}4A}{27},0 \} < a<\frac{(h_{1}1)^{2}A}{27} \). So system (1.2) has two equilibria:
$$\begin{aligned} &E_{1}^{*} \bigl(x_{1}^{*},y_{1}^{*} \bigr)\\ &\quad= \biggl(x_{1}, \frac{\delta h_{2}}{\beta }x_{1} \biggr)\\ &\quad= \biggl(\frac{(1h_{1}) [4A+27a(h_{1}1)^{2} ]}{3A},\frac{(\delta h_{2})(1h_{1}) [4A+27a(h_{1}1)^{2} ]}{3\beta A} \biggr), \\ &E^{*} \bigl(x^{*},y^{*} \bigr)\\ &\quad= \biggl(x_{2},\frac{\delta h_{2}}{\beta }x_{2} \biggr)\\ &\quad= \biggl( \frac{(1h_{1}) [(h_{1}1)^{2}A27a ]}{6A},\frac{(\delta h_{2})(1h_{1}) [(h_{1}1)^{2}A27a ]}{6\beta A} \biggr). \end{aligned}$$Because of \(F'(x_{1}^{*})=\frac{1}{3A^{2}} [(1h_{1})(3A+27a(1h_{1})^{2}) ]^{2}=A>0\) and \(F'(x^{*})=0\), \(E_{1}^{*}(x_{1}^{*},y_{1}^{*})\) is an antisaddle equilibrium and \(E^{*}(x^{*},y^{*})\) is a degenerated equilibrium.

(d)
If \(\Delta <0\), then \(A>0\) and (2.2) has three different roots:
$$ x_{1}=\frac{1h_{1}2\sqrt{A}\operatorname{cos}\frac{\theta }{3}}{3}, \qquad x_{2,3}=\frac{1h_{1}+\sqrt{A} (\operatorname{cos}\frac{\theta }{3}\mp \sqrt{3}\operatorname{sin}\frac{\theta }{3} )}{3}, $$where \(\theta =\operatorname{arccos}T, 1< T=\frac{2A(h_{1}1)3B}{2\sqrt{A^{3}}}<1\). By simple analysis, we get
$$ 0< 1h_{1}+\sqrt{A}< x_{2}< 1h_{1}+2\sqrt{A},\qquad 0< 1h_{1}\sqrt{A}< x_{3}< 1h_{1}+\sqrt{A}, $$so \(x_{1}>0\). Letting \(E_{1}^{*}(x_{1}^{*},y_{1}^{*})= (x_{1},\frac{\delta h_{2}}{\beta }x_{1} ), E_{2}^{*}(x_{2}^{*},y_{2}^{*})= (x_{2},\frac{\delta h_{2}}{\beta }x_{2} ), E_{3}^{*}(x_{3}^{*},y_{3}^{*})= (x_{3},\frac{\delta h_{2}}{\beta }x_{3} )\) and due to
$$\begin{aligned} &0< F' \bigl(x_{1}^{*} \bigr)= \frac{4A\operatorname{cos}^{2}\frac{\theta }{3}A}{3} < A,\qquad 0< F' \bigl(x_{3}^{*} \bigr)= \frac{A}{9} \biggl(12\operatorname{cos}^{2} \frac{\pi \theta }{3}  3 \biggr) < A,\\ & \frac{A}{3} < F' \bigl(x_{2}^{*} \bigr)=\frac{A}{9} \biggl(12 \operatorname{cos}^{2}\frac{2\pi \theta }{3}  3 \biggr) < 0, \end{aligned}$$hence \(E_{1}^{*},E_{3}^{*}\) are two antisaddle equilibria and \(E_{2}^{*}\) is a hyperbolic saddle.
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
Cheng, L., Zhang, L. Bogdanov–Takens bifurcation of a Holling IV prey–predator model with constanteffort harvesting. J Inequal Appl 2021, 68 (2021). https://doi.org/10.1186/s13660021025979
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660021025979
MSC
 34C23
 34D20
 37G15
 37G10
Keywords
 Hopf bifurcation
 Bogdanov–Takens bifurcation
 Lyapunov number
 Cusp bifurcation
 Generalized Hopf bifurcation