 Research
 Open Access
 Published:
Complex dynamics of a discrete predator–prey system with a strong Allee effect on the prey and a ratiodependent functional response
Advances in Difference Equations volume 2018, Article number: 320 (2018)
Abstract
In this paper, we consider the complex dynamics of a discrete predator–prey system with a strong Allee effect on the prey and a ratiodependent functional response, which is the discrete version of the continuous system in (Nonlinear Anal., Real World Appl. 16:235–249, 2014). First, by giving several examples to display the limitations and errors of the local stability of the equilibrium point p obtained in (Nonlinear Anal., Real World Appl. 16:235–249, 2014), we provide an easily verified and complete discrimination criterion for the local stability of this equilibrium. Then we study some properties of its discrete version, especially for the stability and bifurcation for the equilibrium point \(E_{1}\), which has not been considered in any literature to the best of our knowledge. By using the center manifold theorem and bifurcation theory, we consider the flip bifurcation of this system at \(E_{1}\) and obtain the stability of the closed orbits bifurcated from \(E_{1}\). The numerical simulations not only show the correctness of our theoretical analysis, but also we find some new and interesting dynamics of this system.
1 Introduction
It is well known that one of the most challenging investigation areas for the biology and/or ecology population is the predator–prey interaction among the population. In the past few decades, many ecologists, mathematicians and biologists have paid attention to this field, especially for the persistence and/or extinction of one or more predator–predator interacting groups [8, 9, 23].
From the modeling point of view, a potential mechanism that makes possible mutual extinction and creates longterm oscillation behavior is the interaction of predators and prey, including ratiodependent functional responses [3, 4, 11, 25]. With such a ratiodependent method, the growth rate of per capita predator is a function of the ratio of prey to predator abundance.
In 1931, Allee pointed out that when the population size gets larger, the per capita growth rates will start to rise and then fall. We call such a biological phenomenon an Allee effect; it is characterized by the positive correlation between the population size and the average individual fitness of the population. There are two main types of Allee effect, which are known as the strong Allee effect and the weak Allee effect. The strong Allee effect indicates that there exists a critical population size under which the population growth rate becomes negative. The weak Allee effect means a reduced per capita growth rate at low population size but never becoming negative. There are many factors that lead to the Allee effect, such as difficulties in finding mates, social dysfunction and inbreeding depression. The Allee effect has also been found in wild ecosystems [5] and marine ecosystems [10].
There are many investigations for predator–prey models [2–12] and [23, 25]. In recent years, the discretetime population models have attracted more and more attention. On the one hand, when the populations are not overlapping or the populations are small, the discretetime models are more suitable than the continuoustime models. On the other hand, one can get more accurate numerical simulation results from discretetime models. Moreover, the numerical simulation results are generally obtained by discretizing the corresponding continuoustime model. The discretetime models sometimes have richer dynamical behaviors. For instance, the singlespecies discretetime models have bifurcations, chaos and more complex dynamical behaviors (see [6, 12–16, 18–22]). For the flip bifurcation and Hopf bifurcation of discrete models, see also [6, 12–14, 24].
Recently, Aguirre et al. [1] considered the following continuoustime predator–prey system:
where the positive parameter γ represents the death rate of the predator y; the parameter \(\alpha >0\) is the largest prey mortality rate due to predation for an infinite number of predators, which is known as consumption capacity; the parameter \(\beta >0\) is the maximum predator growth rate due to an infinite number of prey, which is called the predator growing capacity; and the parameter \(m \ (0 < m \ll 1)\) is a rescaled Allee threshold for the prey without predator.
Considering the biological significance of the system (1.1), one only takes into account the stability and bifurcation of its nonnegative equilibria.
For the sake of illustration, some denotations in [1] are still adopted as follows:
and
We also define the following function used later:
First of all, we notice that there are some obvious errors in [1] although there also are some good results in [1]. Let us view the following proposition (Theorem 4.2 in [1]).
Proposition A
Let \(\beta >\gamma \) and \(\Delta > 0\), then:

(a)
the equilibrium point ps in system (1.1) is a hyperbolic saddle;

(b)
if \(H < 0\), the equilibrium point p in system (1.1) is a hyperbolic attractor;

(c)
if \(H > 0\), the equilibrium point p in system (1.1) is a hyperbolic repeller;

(d)
if \(H = 0\), the equilibrium point p in system (1.1) undergoes a Hopf bifurcation.
The following counterexample indicates that the conclusion (c) in Proposition A is wrong.
Counterexample 1.1
Consider system (1.1) with the following parameters:
According to the symbols in [1], one can easily obtain \(\Delta =1/50\), \(H=2/5>0\), and the equilibrium point \(\mathbf{p}=(3/5, 1/15)\). Thus the Jacobian matrix J of system (1.1) at the equilibrium point p is given by
whose two eigenvalues are \(0.02\pm 0.0663i\). So, the equilibrium point p is a hyperbolic attractor. Therefore, the result (c) in Proposition A is not appropriate for this counterexample.
We now provide right results to correct Proposition A as follows.
Theorem 1.1
Let \(\beta >\gamma \) and \(\Delta > 0\), then

(a)
the equilibrium point ps is a hyperbolic saddle;

(b)
if \(L > 0\), the equilibrium point p is a hyperbolic attractor;

(c)
if \(L < 0\), the equilibrium point p is a hyperbolic repeller;

(d)
if \(L = 0\), system (1.1) undergoes a Hopf bifurcation at the equilibrium point p.
Proof
We just prove the parts (b), (c) and (d), since the proof of part (a) is the same as in [1].
Parts (b) and (c). By some simple computations, we give the determinant of the Jacobian matrix \(J_{\mathbf{p}}\) by
Hence, the local stability of the equilibrium p is determined by the sign of the trace of the Jacobian matrix \(J_{\mathbf{p}}\). Note that
we have \(\operatorname{sign} (\operatorname{Tr}(J_{\mathbf{p}}) )=\operatorname{sign}(L)\). Therefore, by the Hartman–Grobman theorem [7, 17], the parts (b) and (c) hold.
Part (d). Let \(L=0\), then \(\operatorname{Tr}(J_{\mathbf{p}})=0\), and therefore the eigenvalues of the Jacobian matrix \(J_{\mathbf{p}}\) are \(\pm \frac{ \beta \gamma }{2\beta }\sqrt{\alpha \beta }i\), which cross the imaginary axis. Hence, system (1.1) undergoes a Hopf bifurcation at the equilibrium point p. □
Remark 1.1
Comparing Theorem 1.1 with Proposition A, one can find that the part (b) in Proposition A is only partly true. In fact, for \(\beta >\gamma \), if \(H<0\), i.e.,
then \(\beta >\alpha \). Hence, \(L=\beta \sqrt{\Delta }[(1+m)\sqrt{ \beta }+\sqrt{\Delta }]+2\gamma (\beta \gamma )(\beta \alpha )>0\). By Theorem 1.1, the part (b) in Proposition A holds.
Remark 1.2
Also, one can find that the part (d) in Proposition A is wrong. In fact, for \(\beta >\gamma \), if \(H=0\), i.e.,
then
Hence, the equilibrium point p in system (1.1) cannot undergo a Hopf bifurcation.
Next, we consider the following discrete version of system (1.1) with strong Allee effect:
where the positive parameters m, α, β, γ and their biological significance are the same as in system (1.1). If the initial values of system (1.5) are positive, one can prove that the corresponding solutions of system (1.5) \((x(n), \; y(n))\) are also positive.
The rest of this paper is organized as follows. In Sect. 2, we consider the existence and local stability of equilibria of system (1.5). In Sect. 3, we give the flip and fold bifurcations for the equilibrium point \(E_{1}(1, 0)\) by using center manifold theory. In Sect. 4, we present the numerical simulations, which not only show the consistency between our results and theoretical analysis, but also we exhibit some complex dynamical behaviors, such as the cascade of perioddoubling bifurcation in periods 2, 4 and 8, quasiperiodic orbits and chaotic sets. At last, some conclusions are presented in Sect. 5.
2 Equilibria and their dynamics
In this section, we first determine the existence of the equilibria of system (1.5), then we investigate their dynamics.
2.1 Existence of equilibria
From system (1.5), we know the equilibria of system (1.5) satisfy the following equations:
In view of the biological meanings of system (1.5), one only needs to consider the existence of nonnegative equilibria. The following results are easy to deduce.
Theorem 2.1
System (1.5) always has boundary equilibrium points \(E_{0}(0,0)\), \(E_{1}(1,0)\) and \(E_{m}(m,0)\). For the nonnegative equilibrium point(s), the following statements hold.

(i)
For \(\beta >\gamma \),

(i.1)
if \(\Delta >0\), then ps and p are two distinct positive equilibria of system (1.5);

(i.2)
if \(\Delta =0\), then ps and p collide into a unique positive equilibrium q.

(i.1)

(ii)
For \(\beta =\gamma \), p and ps become into the equilibria \(E_{1}\) and \(E_{m}\), respectively.
In order to investigate the local stability and bifurcation for an equilibrium point of a general 2D system, the following lemma will be very useful and even essential; for the details see [24].
Lemma 2.1
Let \(F(\lambda )=\lambda^{2}+B\lambda +C\), where B and C are two real constants. Suppose \(\lambda_{1}\) and \(\lambda_{2}\) are two roots of \(F(\lambda )=0\). Then the following statements hold.

(i)
If \(F(1)>0\), then

(i.1)
\(\vert \lambda_{1} \vert <1\) and \(\vert \lambda_{2} \vert <1\) if and only if \(F(1)>0\) and \(C<1\);

(i.2)
\(\lambda_{1}=1\) and \(\lambda_{2}\neq 1\) if and only if \(F(1)=0\) and \(B\neq 2\);

(i.3)
\(\vert \lambda_{1} \vert <1\) and \(\vert \lambda_{2} \vert >1\) if and only if \(F(1)<0\);

(i.4)
\(\vert \lambda_{1} \vert >1\) and \(\vert \lambda_{2} \vert >1\) if and only if \(F(1)>0\) and \(C>1\);

(i.5)
\(\lambda_{1}\) and \(\lambda_{2}\) are a pair of conjugate complex roots with \(\vert \lambda_{1} \vert =\vert \lambda_{2} \vert =1\) if and only if \(2< B<2\) and \(C=1\);

(i.6)
\(\lambda_{1}=\lambda_{2}=1\) if and only if \(F(1)=0\) and \(B=2\).

(i.1)

(ii)
If \(F(1)=0\), namely, 1 is one root of \(F(\lambda )=0\), then the other root λ satisfies \(\vert \lambda \vert =(<,>)1\) if and only if \(\vert C \vert =(<,>)1\).

(iii)
If \(F(1)<0\), then \(F(\lambda )=0\) has one root lying in (1, ∞). Moreover,

(iii.1)
the other root λ satisfies \(\lambda <(=)1\) if and only if \(F(1)<(=)0\);

(iii.2)
the other root λ satisfies \(1< \lambda < 1\) if and only if \(F(1)>0\).

(iii.1)
Now, let us recall the definition of topological types for an equilibrium point \((\overline{x},\overline{y})\).
Definition 2.1
Let \(\overline{E}(\overline{x},\overline{y})\) be an equilibrium point of system (1.5) with multipliers \(\lambda_{1}\) and \(\lambda_{2}\).

(i)
The point \(\overline{E}(\overline{x},\overline{y})\) is called sink if \(\vert \lambda_{1} \vert <1\) and \(\vert \lambda_{2} \vert <1\), so sink is locally asymptotically stable.

(ii)
The point \(\overline{E}(\overline{x},\overline{y})\) is called source if \(\vert \lambda_{1} \vert >1\) and \(\vert \lambda_{2} \vert >1\), so source is locally asymptotically unstable.

(iii)
The point \(\overline{E}(\overline{x},\overline{y})\) is called saddle if \(\vert \lambda_{1} \vert <1\) and \(\vert \lambda_{2} \vert >1\) (or \(\vert \lambda_{1} \vert >1\) and \(\vert \lambda_{2} \vert <1\)).

(iv)
The point \(\overline{E}(\overline{x},\overline{y})\) is called nonhyperbolic if either \(\vert \lambda_{1} \vert =1\) or \(\vert \lambda_{2} \vert =1\).
2.2 The dynamics of boundary equilibria
In this subsection, we discuss the local dynamics for the boundary equilibria of system (1.5). By some computations, one can easily derive the following results.
Theorem 2.2

(i)
The equilibrium point \(E_{0}\) is always nonhyperbolic;

(ii)
if \(\beta <\gamma \), then the equilibrium point \(E_{1}\) is a sink, but equilibrium \(E_{m}\) is a saddle;

(iii)
if \(\beta =\gamma \), then the equilibria \(E_{1}\) and \(E_{m}\) are nonhyperbolic;

(iv)
if \(\beta >\gamma \), then the equilibrium point \(E_{1}\) is a saddle, while the equilibrium \(E_{m}\) is a source.
2.3 The dynamics of positive equilibria
Theorem 2.3
Assume that \(\beta >\gamma \) and \(\Delta =0\), then the positive equilibrium point q is nonhyperbolic.
Proof
The Jacobian matrix J of system (1.5) at the point q is
The characteristic equation associated with (2.2) is
where \(\operatorname{Tr}(J_{\mathbf{q}})\) and \(\operatorname{Det}(J_{\mathbf{q}})\) are the trace and determinant of the matrix \(J_{\mathbf{q}}\) respectively, namely,
and
Through some computations, we can see that its two roots are 1 and \(1+\frac{1}{8\alpha }(\alpha \beta )(m+1)(m1)^{2}\). Therefore, the positive equilibrium point q is nonhyperbolic. □
We are now in a position to consider the stability of positive equilibria ps and p.
Theorem 2.4
Let \(\beta >\gamma \) and \(\Delta >0\), then the following statements hold.

(a)
If \(\frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }\sqrt{\Delta }]^{3} \frac{(1+m)\sqrt{\beta }\sqrt{ \Delta }}{2\beta^{\frac{3}{2}}\gamma }H>4\), then the point ps is a source;

(b)
if \(\frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }\sqrt{\Delta }]^{3} \frac{(1+m)\sqrt{\beta }\sqrt{ \Delta }}{2\beta^{\frac{3}{2}}\gamma }H=4\), then the point ps is nonhyperbolic;

(c)
if \(\frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }\sqrt{\Delta }]^{3} \frac{(1+m)\sqrt{\beta }\sqrt{ \Delta }}{2\beta^{\frac{3}{2}}\gamma }H<4\), then the point ps is a saddle.
Proof
The Jacobian matrix J of system (1.5) at the equilibrium point \(\mathbf{p_{s}}(x_{1}, y_{1})\) is
Its characteristic equation is
where
and
Then
and
Therefore, by (iii) of Lemma 2.1, we get the desired results (a)–(c). □
Theorem 2.5
Let \(\beta >\gamma \) and \(\Delta >0\), then the following conclusions hold.

(1)
If \(0<\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2\beta^{ \frac{3}{2}}\gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{ \Delta }[(1+m)\sqrt{\beta }+\sqrt{\Delta }]^{3}<4\), then the point p is a sink;

(2)
if \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2\beta^{\frac{3}{2}} \gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }+\sqrt{\Delta }]^{3}=4\), then the point p is nonhyperbolic;

(3)
if \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2\beta^{\frac{3}{2}} \gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }+\sqrt{\Delta }]^{3}>4\), then the point p is a saddle;

(4)
if \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2\beta^{\frac{3}{2}} \gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }+\sqrt{\Delta }]^{3}<0\), then the point p is a source;

(5)
if \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2\beta^{\frac{3}{2}} \gamma }L =\frac{\beta \gamma }{8\beta \gamma }\sqrt{\Delta }[(1+m)\sqrt{ \beta }+\sqrt{\Delta }]^{3}<4\), then the point p is nonhyperbolic.
Proof
The Jacobian matrix J of system (1.5) at the equilibrium point \(\mathbf{p}(x_{2}, y_{2})\) is
Its characteristic equation is
where
and
and
Part (1). If \(0<\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2 \beta^{\frac{3}{2}}\gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{ \Delta }[(1+m)\sqrt{\beta }+\sqrt{\Delta }]^{3}<4\), then \(F(1)>0\) and \(\operatorname{Det}(J_{\mathbf{p}})<1\). By (i.1) of Lemma 2.1, we know that two eigenvalues of (2.9) satisfy \(\vert \lambda_{1} \vert <1\) and \(\vert \lambda_{2} \vert <1\). Hence, the equilibrium point p is a sink.
Part (2). If \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2 \beta^{\frac{3}{2}}\gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{ \Delta }[(1+m)\sqrt{\beta }+\sqrt{\Delta }]^{3}=4\), then \(F(1)=0\). Notice \(\operatorname{Tr}(J_{\mathbf{p}})\neq 2\). So, by (i.2) of Lemma 2.1, we know that two eigenvalues of (2.9) satisfy \(\lambda_{1}=1\) and \(\lambda_{2}\neq 1\). Hence, the equilibrium point p is nonhyperbolic.
Part (3). If \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2 \beta^{\frac{3}{2}}\gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{ \Delta }[(1+m)\sqrt{\beta }+\sqrt{\Delta }]^{3}>4\), then \(F(1)<0\). By (i.3) of Lemma 2.1, it is easy to see that two eigenvalues of (2.9) satisfy \(\vert \lambda_{1} \vert <1\) and \(\vert \lambda_{2} \vert >1\). Therefore, the equilibrium point p is a saddle.
Part (4). If \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2 \beta^{\frac{3}{2}}\gamma }L \frac{\beta \gamma }{8\beta \gamma }\sqrt{ \Delta }[(1+m)\sqrt{\beta }+\sqrt{\Delta }]^{3}<0\), then \(F(1)>0\) and \(\operatorname{Det}(J_{\mathbf{p}})>1\). By (i.4) of Lemma 2.1, two eigenvalues of (2.9) satisfy \(\vert \lambda_{1} \vert >1\) and \(\vert \lambda_{2} \vert >1\). Hence, the equilibrium point p is a source.
Part (5). If \(\frac{(1+m)\sqrt{\beta }+\sqrt{\Delta }}{2\beta^{\frac{3}{2}}\gamma }L =\frac{\beta \gamma }{8\beta \gamma }\sqrt{ \Delta }[(1+m)\sqrt{\beta }+\sqrt{\Delta }]^{3}<4\), then \(\vert \operatorname{Tr}(J_{\mathbf{p}}) \vert <2\) and \(\operatorname{Det}(J_{\mathbf{p}})=1\). By (i.5) of Lemma 2.1, two eigenvalues of (2.9) satisfy \(\vert \lambda_{1} \vert =\vert \lambda_{1} \vert =1\), which are a pair of conjugate complex eigenvalues. Therefore, the equilibrium point p is nonhyperbolic at this time. □
3 Bifurcation analysis
In this section we are concerned with the bifurcation problems of system (1.5). It has been shown that for certain parametric conditions some of the equilibrium points may be nonhyperbolic, and hence, system (1.5) may undergo some bifurcations phenomena.
It is easy to see from Theorem 2.2 that the stability of the equilibrium point \(E_{1}(1, 0)\) changes when β varies near \(\beta_{0}=\gamma \), while the relation in α, m and γ is fixed. So, this system probably undergoes a bifurcation nearby \(\beta_{0}=\gamma \). We are now in a position to consider this problem: what kind of bifurcation is it? For the reader’s convenience, we formulate this process step by step.
The first step. Giving a perturbation \(\beta_{*}\) of the parameter \(\beta =\beta_{0}\triangleq \gamma \), we consider a perturbation of system (1.5) as follows:
where \(\vert \beta_{*} \vert \ll 1\).
The second step. Let \(u(n)=x(n)1\) and \(v(n)=y(n)0\), which transforms equilibrium point \(E_{1}(1, 0)\) to the origin \(O(0, 0)\) and system (3.1) into
The third step. Expanding (3.2) as a Taylor series at \((u, v, \beta_{*})=(0, 0, 0)\) up to terms of order 3 produces the following model:
where
Let
By some computations, we obtain the eigenvalues and corresponding eigenvectors of matrix \(J_{E_{1}}\), which are
and
respectively.
The fourth step. Let the matrix
Denote \(s\triangleq \frac{\alpha }{m1}\). Then B is invertible with
Using the transformation below,
we can transform system (3.3) into the following form:
where \(r = \sqrt{X^{2}(n)+Y^{2}(n)+ \beta_{*}^{2}}\),
The fifth step. Determine the center manifold \(W^{c}(0,0)\) of system (3.4) at the equilibrium point \(O(0, 0)\) in a small neighborhood of \(\beta_{*}=0\). By the center manifold theorem, we can assume that the approximate representation of the central manifold \(W^{c}(0,0)\) is as follows:
where \(r = \sqrt{Y^{2}+ \beta_{*}^{2}}\) and the coefficients \(\ell_{ij}, i, j=0, 1, 2, 3\) are to be defined. Through some computations, one may get
Hence, when \(\beta_{*}=0\), the center manifold reads
Therefore, system (3.4) restricted to the center manifold \(W^{c}(0,0)\) has the expression
Combining the above analysis and the conclusion in [17], we obtain the second main result below.
Theorem 3.1
Consider system (1.5). Assume that \(\beta =\gamma \) and the other parameters in system (1.5) are fixed. Give a perturbation \(\beta_{*}\) of the parameter \(\beta = \beta_{0}:=\gamma \). Then system (1.5) undergoes a fold bifurcation at equilibrium point \(E_{1}(1, 0)\) when the parameter \(\beta_{*}\) varies in the small neighborhood of the origin. Moreover, the closed orbit bifurcating from \(E_{1}(1, 0)\) is unstable.
4 Numerical simulation
In this section, we give some numerical simulation results to illustrate the theoretical analysis obtained in the previous sections, and show some new interesting complex dynamics of system (1.5). To do this, the initial value is taken to be \((1.0,0.5)\) and 1000 iteration steps are implemented for each simulation.
On the basis of Theorem 2.1, we know that system (1.5) has three boundary nonnegative equilibrium points \(E_{0}(0,0)\), \(E_{1}(1,0)\) and \(E_{m}(m, 0)\). For \(E_{1}(1,0)\), its two eigenvalues are \(\lambda_{1}=m<1\) and \(\lambda_{2}=\exp(\beta \gamma )\).
Vary β in the range \(5\leq \beta \leq 20\), and fix \(m=0.1\), \(\alpha =1\), \(\gamma =10\). The bifurcation diagram is plotted in Fig. 1(a)–(d). We see that the equilibrium point \(E_{1}(1, 0)\) is stable for \(5<\beta <12\), and loses its stability at the fold bifurcation parameter value \(\beta =12\). Moreover, a chaotic set emerges with the increasing of β. But, from Fig. 1(b) and (d), we know that when β increases to some fixed value the prey (predator) becomes extinct.
The maximum Lyapunov exponents corresponding to Fig. 1 are calculated and plotted in Fig. 2.
The phase portraits are plotted in Fig. 3. From Fig. 3(a)–(f), we can see the predator is extinct. Predator and prey are extinct from Fig. 3(f). Figures 1–3 illustrate that Theorem 3.1 is correct.
5 Result and discussion
In this paper, we have considered a discrete predator–prey system with strong Allee effect on the prey and ratiodependent functional response. After a counterexample is formulated to demonstrate the limitations and errors for the local stability of the equilibrium point p stated in Theorem 4.2 [1], a complete determining criterion is presented for the local stability of these equilibria in Theorem 1.1. What is more important is that the stability and bifurcation of the equilibrium point \(E_{1}(1,0)\) of this system are stated. The results obtained indicate that the stability of this system is influenced by many factors: the death rate of the predator, the prey death rate, the predator growing ability and the Allee threshold. Especially, the predator growing ability β varies around the death rate γ of the predator, the fold bifurcation will occur at this system. Some more interesting dynamical properties, such as chaos, are also obtained by a numerical simulation, which shows that the system is worthy of further theoretical research.
Especially, the extinction and coexistence of both populations have also been found to occur for some fixed parameter sets. This sufficiently demonstrates that the dynamical properties of this system may be highly sensitive to the living environment. It deserves further consideration as regards the Allee effect and the interaction of a ratiorelated predator on the living environment of the populations.
It should be pointed out that there are differences for the obtained results between the systems (1.1) and (1.5). Because the system (1.1) is a continuoustime model, while the system (1.5) is a discrete model, i.e., a discrete version of the system (1.1), it is reasonable that there exist differences as regards the derived conclusions between them. In fact, the results obtained by the authors in [1] demonstrate that the system (1.1) exhibits the BT bifurcation, limit cycles, homoclinic orbits and heteroclinic connections. But the results obtained by us in this paper display that there is a flip bifurcation in the system (1.5), which does not occur in the system (1.1). This indicates that some properties of discrete model sometimes cannot be obtained by the discretization of the corresponding continuous model. This further implies that it is meaningful to study the discretization of the continuous model.
References
Aguirre, P., Flores, D., GonzálezOlivares, E.: Bifurcations and global dynamics in a predator–prey model with a strong Allee effect on the prey, and a ratiodependent functional response. Nonlinear Anal., Real World Appl. 16, 235–249 (2014)
Aguirre, P., GonzálezOlivares, E., Torres, S.: Stochastic predator–prey model with Allee effect. Nonlinear Anal., Real World Appl. 14(1), 768–779 (2013). https://doi.org/10.1016/j.nonrwa.2012.07.032
Arditi, R., Saiah, H.: Empirical evidence of the role of heterogeneity in ratiodependent consumption. Ecology 73, 1544–1551 (1992)
Arditi, R., Ginzburg, L.: Coupling in predator–prey dynamics: ratiodependance. J. Theor. Biol. 139, 311–326 (1989)
Berec, L., Angulo, E., Counchamp, F.: Multiple Allee effects and population management. Ecol. Model. 22, 185–191 (2006)
Chen, B., Chen, J.: Bifurcation and chaotic behavior of a discrete singular biogical economic system. Appl. Math. Comput. 219(5), 2371–2386 (2012)
Chicone, C.: In: Ordinary Differential Equations with Applications, 2nd edn. Texts in Applied Mathematics, vol. 34. Springer, Berlin (2006)
Courchamp, F., Berec, L., Gascoigne, J.: Allee Effects in Ecology and Conservation. Oxford University Press, London (2008)
Gause, G.: The Struggle for Existence. Williams & Wilkins, Baltimore (1934)
Gascoigne, J., Lipcius, R.: Allee effects in marine systems. Mar. Ecol. Prog. Ser. 269, 49–59 (2004)
Haque, M.: Ratiodependent predator–prey models of interacting populations. Bull. Math. Biol. 71, 430–452 (2009)
Han, W., Liu, M.: Stability and bifurcation analysis for a discretetime model of Lotka–Volterra type with delay. Appl. Math. Comput. 217(12), 5449–5457 (2011)
He, Z., Lai, X.: Bifurcation and chaotic behavior of a discretetime predator–prey system. Nonlinear Anal., Real World Appl. 12(1), 403–417 (2011)
Hu, Z., Teng, Z., Zhang, L.: Stability and bifurcation analysis of a discrete predator–prey model with nonmonotonic functional response. Nonlinear Anal., Real World Appl. 12(4), 2356–2377 (2011)
Jana, D.: Chaotic dynamics of a discrete predator–prey system with prey refuge. Appl. Math. Model. 224, 848–865 (2013)
Ghaziani, R.K., Govaerts, W., Sonck, C.: Resonance and bifurcation in a discretetime predator–prey system with Holling functional response. Nonlinear Anal., Real World Appl. 13(3), 1451–1465 (2012). https://doi.org/10.1016/j.nonrwa.2011.11.009
Kuzenetsov, Y.: Elements of Applied Bifurcation Theory, 3rd edn. Applied Mathematical Sciences, vol. 112. Springer, New York (2004). https://doi.org/10.1007/9781475739787
Lu, H., Wang, W.: Dynamics of a delayed discrete semiratiodependent predator–prey system with Holling type IV functional response. Adv. Differ. Equ. 2011, 7 (2011)
Li, X.: Bifurcation analysis of a predator–prey system with sexstructure and sexual favoritism. Adv. Differ. Equ. 2013, 219 (2013). https://doi.org/10.1186/168718472013219
Misra, O., Sinha, P., Singh, C.: Stability and bifurcation analysis of a prey–predator model with age based predation. Appl. Math. Model. 37(9), 6519–6529 (2013). https://doi.org/10.1016/j.apm.2013.01.036
Robinson, C.: Dynamical Systems: Stability, Symbolic Dynamics, and Chaos. CRC Press, London (1995)
Ruan, S., Xiao, D.: Global analysis in a predator–prey system with nonmononotonic functional response. SIAM J. Appl. Math. 61(4), 1445–1472 (2001)
Turchin, P.: Complex Population Dynamics. A Theoretical/Empirical Synthesis. Monographs in Population Biology, vol. 35. Princeton University Press, Princeton (2003)
Wang, C., Li, X.: Further investigations into the stability and bifurcation of a discrete predator–prey model. J. Math. Anal. Appl. 422, 920–939 (2015)
Xiao, D., Ruan, S.: Global dynamics of ratiodependent predator–prey system. J. Math. Biol. 43(3), 268–290 (2001). https://doi.org/10.1007/s002850100097
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version.
Funding
This work of the first author is supported by Natural Science Foundation of China under grant No. 11701513 and No. 11426203. This work of the second author is supported by Natural Science Foundation of China under grant No. 61473340 and Natural Science Foundation of Zhejiang University of Science and Technology under grant No. F701108G14.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this paper. All authors have read and approved of the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Fang, Q., Li, X. Complex dynamics of a discrete predator–prey system with a strong Allee effect on the prey and a ratiodependent functional response. Adv Differ Equ 2018, 320 (2018). https://doi.org/10.1186/s136620181781x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620181781x
Keywords
 Discrete predator–prey model
 Strong Allee effect
 Flip bifurcation
 Center Manifold Theorem