 Research
 Open Access
 Published:
Dynamic behaviors of a discretetime predator–prey bioeconomic system
Advances in Difference Equations volume 2018, Article number: 133 (2018)
Abstract
Bifurcation and chaotic behavior of a discretetime singular bioeconomic system are investigated. First, the traditional catch equation is modified after accounting for the handling time of the catch in a singular bioeconomic system. To discover the richer dynamics compared with the continuous form, the proposed system is considered difference scheme. Specially, the tangent space local parameterization condensed method for DAEs is generalized. The new local parameterization method is sufficiently general to be applicable to this type of discrete singular system. Also the dynamic behaviors of the system are investigated, by using normal form theory, center manifold theorem and bifurcation theory, it is shown that the system undergoes a Neimark–Sacker bifurcation and a flip bifurcation, on varying stepsize in some range. In addition, numerical simulations are presented not only to illustrate our results with the theoretical analysis, but also to exhibit the complex dynamical behaviors.
Introduction
The study of bioeconomics has a very long history. Bioeconomics is closely related to the early development of theories in fishery economics. The basic model due to Gordon (1954) and Schaefer (1957) is
and the instantaneous profit rate is
where the “catch equation”
is called the Schaefer catch–effort relation [1]. x is the biomass at time t. E is the harvesting effort, in the fishery setting, which is typically specified as the number of (standard) vessels actively fishing at time t. The units of harvesting effort would then be Standard Vessel Units (SVU). c is the cost of effort, and p is the exvessel price of fish. The parameter q is a constant, called catchability, units of q are \(\mathrm{SVU}^{1}\times (\mathrm{time}\ \mathrm{unit})^{1}\). Thus, q represents the proportion of the current stock x caught by one standard vessel in one time unit (to normalize units, one could let \(q=1\)). To be specific we will now use time units of days (rather than years). Thus \(G(x)\) now represents the population growth per day and h is the daily harvesting rate, both being measured in tonnes per day.
Predator–prey models with harvesting is always a hot research topic (see [2–9]). The most general form of the twodimensional predator–prey model is Kolmogorov’s model [10]:
here x and y denote the prey and predator populations at time t, respectively. In recent years, to analyze this model from an economic point of view, many researchers have studied a class of bioeconomic systems which combine system (1.3) with prey (or predator) harvesting and (1.1), and obtained some excellent results, such as the stability of equilibria, limit cycle, Hopf bifurcation, saddlenode bifurcation, singular induced bifurcation (see [4–6, 8, 9, 11, 12]). It is given by
here E is the effort applied to harvesting the prey at time t. The extended model is a system of differentialalgebraic equations (DAEs) with differential variables x, y and algebraic variable E. In these literatures, \(h(x,E)\) is traditionally taken as \(qEx\). However, the Schaefer catch–effort relation has some flaws as Ref. [13] points out:

(i)
All processes affecting stock productivity (e.g., growth, mortality and recruitment) are subsumed in the effective relationship between effort and catch. This hypothesis has been proved to be not reasonable.

(ii)
The catchability coefficient q is not always constant. Improvements in technology and fishing power make q often vary through time.

(iii)
The harvesting function did not account for the handling time of the catch and the competition between standard vessels which are utilized for harvesting of resource. On the contrary, evidence for a nonlinear harvest function is quite strong for a number of stocks [14].
In economics there is a tradition of formulating the dynamical systems as processes in discrete time from the outset, as difference equations instead of as differential equations. The cobweb model, the Cournot duopoly model, and the Samuelson–Hicks business cycle model are all examples of this tradition. On the other hand, in population ecology many authors are more focused on discretetime models for the following reasons: one is that, for nonoverlapping generations, births occur in regular, welldefined “breeding seasons”. This contradicts the assumption that births occur continuously [15]. The other is that the discretetime models can also govern efficient computing models for continuous ones in order to achieve the numerical emulation. However, as far as we know, there are few studies of the difference scheme of system (1.4) which represents a class of discrete singular systems and no one has considered the general method to be applied to deal with it by now.
The main objective of this paper is to investigate the dynamic behaviors of a discretetime economic predator–prey model. The model, featuring a more realistic nonlinear harvesting function, will give rise to some interesting dynamic behaviors, as we see in Sect. 4. The paper is organized as follows. We develop a local parameterization method based on the tangent space local parameterization of DAEs in [16] and use it to deal with the aforementioned discrete singular system in the next section. In Sect. 3, we analyze the stability of the fixed point. In addition, we also classify the fixed point based on the geometric properties of trajectories distribution near it. Surprisingly, little study has been done on this aspect for discrete systems. Section 4 is devoted to the main results of this paper, the proposed system is investigated as it undergoes a Neimark–Sacker bifurcation and a flip bifurcation. Section 5 contains a numerical verification of some key results. Conclusion and discussion are presented in Sect. 6.
Statement of model and local parameterization
Consider the scaled equation, describing a singular bioeconomic system (see [6, 9, 17–19]) with nonlinear harvesting function, as
For the practical significance, the system (2.1) is defined on the set
and is subject to positive initial conditions,
Equation (2.1) is a semiexplicit autonomous differentialalgebraic equations with differential index 1, \(\frac{xE}{1+mx}\) is the harvesting function with constant m being related to the handling or processing time [17, 19]. Though this nonlinear harvesting function is more realistic, not many researchers have used it in their studies. For \(m=0\) it reduces to the Schaefer catch–effort equation (1.2).
We put \((x,y,E)^{T}\triangleq X\) and use \(X_{0}=(x_{0},y_{0},E_{0})^{T}\) to denote the equilibria of (2.1). It can be checked that system (2.1) has a unique equilibria,
We have \(X_{0}\in R_{+}^{3}\), in this work, we take parameters \((a,k,s,p,m,c,v)\) from the set
For (2.1), if derivatives are replaced by finite difference approximations, then we get the forward Euler difference scheme with stepsize δ:
or in map form
We can easily verify that the fixed point of (2.3) is also \(X_{0}\). Now we will determine the local equivalent parameterization system of (2.3).
We first rewrite (2.1) into the constrained form [16], that is, the differential equations on the manifold,
The algebraic equation sets an invariant manifold (denoted by M) in \(R^{3}\) [16] whose number of independent coordinates is 2. Ė is described through a derivation of the algebraic equation along the solution path with respect to time t and it is not necessary for the concrete formula as we will see later. Accordingly, (2.2) becomes the following difference algebraic equations of the constrained form:
It will be convenient to introduce some notation:
and the vectorvalued function
In terms of the above notations, (2.5) becomes
or in map form
Note that the form of (2.6) or (2.7) is generic (representing difference algebraic equations in constrained form). We next generalize the tangent space local parameterization method for general differentialalgebraic equations in constrained form to parameterize (2.6) or (2.7). First we give a decomposition for M in \(R^{3}\) as follows:
or
\([U_{0},V_{0}]\) is an arbitrary orderthree orthogonal matrix whose columns consist of a basis for \(R^{3}\) with \(U_{0}\) is \(3\times2\) and \(V_{0}\) is \(3\times1\). \(Y:=(y_{1},y_{2})^{T}\in R^{2}\) is the coordinate associated with the projection of \(XX_{0}\) onto the column space of \(U_{0}\), and \(\widetilde{Y} \in R\) is the coordinate associated with the projection of \(XX_{0}\) onto the column space of \(V_{0}\); note that Ỹ might be locally represented by Y. Indeed,
Let \(G(Y, \widetilde{Y})=g(x_{0}+U_{0}Y+V_{0}\widetilde{Y})\), therefore
where D is a derivation operator. Hence, there exists a smooth map: \(h: R^{2}\rightarrow R\) guaranteed by the implicit function theorem such that \(\widetilde{Y}=h(Y)\) locally holds. Putting it in (2.8) gives a local parameterization of the solution manifold with parameter Y as follows:
where
Obviously, ψ is related to h.
From (2.9) together with the first equation of system (2.6) we get
which gives
multiplying by \(U_{0}^{T}\) gives
that is,
or in map form
which is the local parameterization of (2.7) near \(X_{0}\) with parameter Y.
Specifically, if take
then
Here we see that \(\tilde{f_{3}}(X)\) vanishes, which is why it is not necessary to give the concrete formula of \(\tilde{f_{3}}\) in Ė of the equation of (2.4). Hence using (2.10) and (2.11), we obtain the following parameterization system:
or in map form
that is,
Equation (2.12) is topologically equivalent, near the origin, to the difference algebraic system (2.3) in a neighborhood of \(X_{0}\).
Remark 2.1
The fixed point \(X_{0}\) of (2.3) corresponds to the fixed point \(O(0,0)\) of (2.12).
Remark 2.2
Since the form of (2.6) or (2.7) has generality, the new parameterization method is also generic (\(X_{n}\) can be of arbitrary finite dimensions). Specifically, if we take the tangent space and normal vector space of solution manifold at \(X_{0}\) as \(U_{0}\) and \(V_{0}\), respectively, then the local parameterization (2.9) reduces to the tangent space local parameterization condensed method for DAEs in [16].
Fixed points classification and stability analysis
Our goal in this section is to examine the local stability of (2.3) based upon the standard linearization technique.
From \(g(\psi(Y))=0\) we obtain
Differentiating (2.9) with respect to y and multiplying both sides by \(U_{0}^{T}\) gives
Combine (3.1) and (3.2) to yield
for future use. Note that \(D\psi(Y)\) has nothing to do with h, so we can give the concrete form of (2.12) by a Taylor formula.
The Jacobian matrix of the system (2.12) evaluated at the origin is given by
Hence the characteristic equation associated to the Jacobian matrix is given by
where
Putting \(\lambda=1\) and \(\lambda=1\) in \(F(\lambda)\), respectively, we get
and
Let \(\lambda_{1}\) and \(\lambda_{2}\) denote the two roots of (3.3), referred to as the eigenvalues (or multipliers) of the fixed point \(O(0,0)\). We first recall the relevant definitions of topological types for fixed points (see [20]).
Definition 3.1
\(O(0,0)\) is called

(i)
a hyperbolic fixed point, if the moduli of all eigenvalues do not equal 1; and

(ii)
a nonhyperbolic fixed point, if \(\lambda_{1}=1\) or \(\lambda_{2}=1\).
Definition 3.2
If \(O(0,0)\) is a hyperbolic fixed point, then it is called

(i)
a sink, if \(\lambda_{1}<1\) and \(\lambda_{2}<1\);

(ii)
a source, if \(\lambda_{1}>1\) and \(\lambda_{2}>1\); and

(iii)
a saddle, if \(\lambda_{1,2}\) are real, with \(\lambda_{1}<1\) and \(\lambda_{2}>1\) (or \(\lambda_{1}>1\) and \(\lambda_{2}<1\)).
Moreover, we can classify fixed points based on the geometric properties of trajectory distribution near them.
Definition 3.3
\(O(0,0)\) is called

(i)
a saddle, if \(\lambda_{1,2}\) are real, with \(\lambda_{1}<1\) and \(\lambda_{2}>1\) (or \(\lambda_{1}>1\) and \(\lambda_{2}<1\));

(ii)
a node, if \(\lambda_{1,2}\) are real, with \(\lambda_{1,2}<1\) (or \(\lambda_{1,2}>1\));

(iii)
a focus (sometimes called spiral point), if \(\lambda _{1,2}=r(\cos\theta\pm i \sin\theta)\), \(r\neq1\); and

(iv)
a center, if \(\lambda_{1,2}=\cos\theta\pm i \sin\theta\).
Thus, we have the following lemma from the relations between roots and coefficients of the quadratic equation [21].
Lemma 3.1
Suppose that \(F(1)>0\), then we have

(i)
\(\lambda_{1}<1\) and \(\lambda_{2}<1\) iff \(F(1)>0\) and \(C<1\);

(ii)
\(\lambda_{1}>1\) and \(\lambda_{2}>1\) iff \(F(1)>0\) and \(C>1\);

(iii)
\(\lambda_{1}<1\) and \(\lambda_{2}>1\) (or \(\lambda_{1}>1\) and \(\lambda_{2}<1\)) iff \(F(1)<0\);

(iv)
\(\lambda_{1}\) and \(\lambda_{2}\) are complex and \(\lambda _{1}=\lambda_{2}=1\) iff \(B^{2}4C<0\) and \(C=1\); and

(v)
\(\lambda_{1}=1\) and \(\lambda_{2}\neq1\) iff \(F(1)=0\) and \(B\neq0,2\).
Using Lemma 3.1, we obtain the following results.
Theorem 3.1
Assuming parameters \((a,k,s,p,m,c,v)\in\pi\), system (2.3) has a unique positive fixed point \(X_{0}\) and

(i)
it is a sink iff
$$4+2\delta\Lambda_{1}2\delta\Lambda_{2}+ \delta^{2}\Lambda_{3}>0 \quad \textit{and}\quad \Lambda _{1}\Lambda_{2}+\delta\Lambda_{3}< 0; $$ 
(ii)
it is a source iff
$$4+2\delta\Lambda_{1}2\delta\Lambda_{2}+ \delta^{2}\Lambda_{3}>0\quad \textit{and} \quad \Lambda _{1}\Lambda_{2}+\delta\Lambda_{3}>0; $$ 
(iii)
it is a saddle iff
$$4+2\delta\Lambda_{1}2\delta\Lambda_{2}+ \delta^{2}\Lambda_{3}< 0;\quad \textit{and} $$ 
(iv)
it is nonhyperbolic if one of the following conditions is satisfied:

(iv1)
\(\delta\Lambda_{3}=\Lambda_{2}\Lambda_{1}\) and \((\Lambda _{2}\Lambda_{1})^{2}4\Lambda_{3}<0\);

(iv2)
\(4+2\delta\Lambda_{1}2\delta\Lambda_{2}+\delta^{2}\Lambda _{3}=0\) and \(\delta\Lambda_{2}\delta\Lambda_{1}\neq2,4\).

(iv1)
Theorem 3.2
With the assumption of Theorem 3.1, \(X_{0}\) is

(i)
a stable node iff
$$\delta(\Lambda_{2}\Lambda_{1})< 2 \quad \textit{and}\quad 1+\delta\Lambda_{1}\delta\Lambda _{2}+\delta^{2} \Lambda_{3}>0; $$ 
(ii)
an unstable node iff
$$\Lambda_{2}\Lambda_{1}< 0; $$ 
(iii)
a stable focus iff
$$(\Lambda_{2}\Lambda_{1})^{2}4 \Lambda_{3}< 0 \quad \textit{and}\quad \delta\Lambda_{3}< \Lambda _{2}\Lambda_{1}; $$ 
(iv)
an unstable focus iff
$$(\Lambda_{2}\Lambda_{1})^{2}4 \Lambda_{3}< 0 \quad \textit{and}\quad \delta\Lambda_{3}> \Lambda _{2}\Lambda_{1}, $$where
$$\begin{aligned}& \Lambda_{1}=\frac{psv}{((pcm)sc)^{2}(1+ms)}, \\& \Lambda_{2}=s \biggl(k\frac{vm}{((pcm)sc)(1+ms)} \biggr), \\& \Lambda_{3}=s \biggl(aks\frac{v}{(pcm)sc} \biggr). \end{aligned}$$
Bifurcation analysis
Based on the analysis of Sect. 3, we discuss a codimensionone bifurcation (Neimark–Sacker bifurcation and flip bifurcation) of system (2.3) at the fixed point.
Neimark–Sacker bifurcation and invariant curve
First, let \(C=1\), then we have
Solving this equation gives
We choose δ as a bifurcation parameter to discuss the Neimark–Sacker bifurcation when δ varies in a small neighborhood of \(\delta_{1}\). If we consider \(\delta^{*}=\delta\delta_{1}\), then \(\delta=\delta_{1}\) is equivalent to \(\delta^{*}=0\).
The linearization of (2.12) has the characteristic equation at \(O(0,0)\)
where
Let
Then, if \((k,a,m,s,p,c,v,\delta)\in\Omega_{1}\), the characteristic values are complex conjugate numbers λ and λ̅ with \(\lambda=\overline{\lambda}=1\), where
and
In addition, it is required that when \(\delta^{*}=0\), \(\lambda^{m}\), \({\overline{\lambda}}^{m}\neq1\) (\(m=1,2,3,4\)), which is equivalent to \(B(0)\neq2,0,1,2\), that is, \(\delta_{1}\Lambda_{2}\delta_{1}\Lambda_{1}\neq 0,2,3,4\). Note that \(\Lambda_{2}>\Lambda_{1}\), thus
If we put
and
then
is a oneparameter map with parameter \(\delta^{*}\).
We next determine, in order to get the normal form of (4.2), the Taylor expansion of the righthand side of (4.2) at the origin to order three, that is,
where the terms with 0 coefficients are omitted. By the chain rule, we have the following:
Let
then through the change of basis with
we can change system (4.3) into the normal form
where the nonlinear terms are
together with
In order for system (4.4) to undergo a Neimark–Sacker bifurcation at \(O(0,0)\), we require that the following quantity is not zero [22]:
where
Note that here all the derivatives are taken at \(O(0,0)\). From the above discussion, we obtain the following result.
Theorem 4.1
Assume that \((a,k,s,p,m,c,v,\delta)\in\Omega _{1}\) and the condition (4.1) holds. If \(l\neq0\), then the system (2.3) undergoes a Neimark–Sacker bifurcation at the fixed point \((x_{0},y_{0},E_{0})\) when the bifurcation parameter δ varies in a small neighborhood of \(\delta_{1}\). Moreover, if \(l<0\) (resp. \(l>0\)), then an attracting (resp. repelling) invariant closed curve bifurcates from the fixed point for \(\delta>\delta_{1}\) (resp. \(\delta<\delta_{1}\)).
Flip bifurcation and chaos
We proceed to investigate the flip bifurcation. For (3.3), let \(F(1)=0\) we obtain
Solving this equation gives
Here we still choose δ as a bifurcation parameter to discuss the flip bifurcation when δ varies in a small neighborhood of \(\delta _{2}\). In the same way as above, we consider \(\delta^{*}=\delta\delta_{2}\), then \(\delta=\delta_{2}\) is equivalent to \(\delta^{*}=0\). Since we would like to study the system as we vary \(\delta^{*}\) near 0, we treat \(\delta ^{*}\) as a variable (which has no dependence on time) and hence the parameterfree center manifold theorem can easily be extended for a parameterdependent system.
We begin by putting
Accordingly, the local parameterization (2.9) should be rewritten as
where
together with
and
We put
and
Hence we study the threedimensional extended system
As in our study of the Neimark–Sacker bifurcation, we expand the righthand side of (4.5) in the orderthree Taylor polynomial,
where
Construct an invertible matrix
where
Now, make the translation
to system (4.6), then we get
where
with
and
Having gone through these coordinate changes, the parameterdependent center manifold of (4.7) can be approximately represented as follows:
Since the center manifold is invariant under the flow, one can substitute \(z_{2}=h(z_{1},\delta^{*})\) into the second formula of (4.7) and obtain
Substituting (4.8) into (4.9), and then comparing the coefficients for \({\delta^{*}}^{2}\), \(\delta^{*} z_{1}\) and \(z_{1}^{3}\), we get
Therefore, we consider the map which is (4.7) restricted to the center manifold \(W^{c}(0,0)\),
where
In order for system (4.10) to undergo a flip bifurcation at the origin, we require that the two quantities
and
do not equal zero [22].
Let
then we have the following result.
Theorem 4.2
Assuming that \((a,k,s,p,m,c,v,\delta)\in\Omega_{2}\). If \(\tilde{\alpha}_{2}\neq0\), then the system (2.3) undergoes a flip bifurcation at the fixed point \((x_{0},y_{0},E_{0})\) when the bifurcation parameter δ varies in a small neighborhood of \(\delta _{2}\). Moreover, if \(\tilde{\alpha}_{2}>0\) (resp., \(\tilde{\alpha}_{2}<0\)), then the period2 orbits that bifurcate from \((x_{0},y_{0},E_{0})\) are stable (resp., unstable).
Numerical simulations
In this section, we give two examples to illustrate our theoretical analysis.
Example 5.1
(Neimark–Sacker bifurcation)
Here we present a numerical analysis of the proposed system (2.3) with the following artificially chosen data: \(a=4\), \(k=1\), \(s=2\), \(p=1\), \(m=0.1\), \(c=1\) and \(v=0.6\) with \((a,k,s,p,m,c,v)\in\pi\). It is easy to verify that the system (2.3) has a unique fixed point \((2,1.25,0.9)\) and \(\delta_{1}=0.125\).
The multipliers of the positive fixed point are \(\lambda_{\pm}\approx 0.9805\pm0.1967i\) with \(\lambda_{\pm}=1\) and \(\alpha=0.1563>0\). Since \(H=0.0391\neq2,3,4\), the condition (4.1) holds. Then, using Theorem 4.1, the system (2.3) undergoes a Neimark–Sacker bifurcation at the fixed point \((2,1.25,0.9)\) with \(l=0.0017>0\).
Figures 1, 2 and 3 reveal that the fixed point \((2,1.25,0.9)\) of (2.3) is unstable for \(\delta=0.125+0.0014\) and becomes stable for \(\delta=0.1250.035\), and a repelling limit cycle appears around it at \(\delta=0.1250.0001\).
Example 5.2
(Flip bifurcation)
Fix \(a=16\), \(k=4\), \(s=3.9\), \(p=7\), \(m=1\), \(c=1\) and \(v=1\) and the fixed point \((3.9,0.3554,0.2188)\) with \((a,k,s,p,m,c,v)\in\pi\). After computation we get the following quantities:
Figures 4(a), 4(b) and 4(c) reveal that the fixed point is stable for \(\delta<0.1294\), and loses its stability at the flip bifurcation parameter value \(\delta=0.1294\). We also observe that there is a cascade of period doubling bifurcations. The largest Lyapunov exponents corresponding to Figs. 4(a), 4(b) and 4(c) are computed in Fig. 4(d).
Figure 5 shows the phase portraits which are associated with Figs. 4(a), 4(b) and 4(c). For \(\delta\in(0.12, 0.1616)\), there are orbits of period \(2, 4, 8, \ldots\) . When \(\delta=0.1616\), one can see that the largest Lyapunov exponent is positive, thereby confirming that the system is chaotic. And then for \(\delta\in(0.1616,017)\) some largest Lyapunov exponents are negative, indicating the existence of periodic windows in the chaos region.
Conclusion
The present paper is concerned with the dynamics of a discretetime economic predator–prey system in the presence of a type of nonlinear harvesting function. We find the fixed point and its stability. Most interestingly, we have seen that our results reveal a far richer dynamics of the discrete model compared with the continuous one proposed in [9], including an invariant circle, cascades of perioddoubling bifurcation and chaotic sets. We confirm the complexity of the dynamic behavior by computing the largest Lyapunov exponents. This paper extends our previous works (see [8, 9]) and provides a sufficiently general parameterization method for a wide range of discrete singular systems.
However, in the presented harvesting function, we have no concern about the effects of competition between boats which will increase the complexity of the normal form and the amount of calculation. Moreover, for discretetime systems, Marotto’s theorem [23, 24] is a sufficient criterion for the existence of chaos. If the fixed point of system (2.3) is a snapback repeller under certain parameter conditions, then one can conclude that the system is chaotic in the Marotto sense. Furthermore, various feedback controls can be implemented for controlling the bifurcation and chaos in the system (2.3), which should be useful for fishery management control and biological conversion. Space prevents that discussion here, but these issues will be the topics of our future research.
References
 1.
Clark, C.W.: Mathematical Bioeconomics: The Optimal Management of Renewable Resources. Wiley, New York (2010)
 2.
Chen, B.S., Chen, J.J.: Complex dynamic behaviors of a discrete predator–prey model with stage structure and harvesting. Int. J. Biomath. 10(1), 1–25 (2017)
 3.
Gupta, R.P., Chandra, P.: Dynamical properties of a prey–predator–scavenger model with quadratic harvesting. Commun. Nonlinear Sci. Numer. Simul. 49, 202–214 (2017)
 4.
Li, M., Chen, B.S., Ye, H.W.: A bioeconomic differential algebraic predator–prey model with nonlinear prey harvesting. Appl. Math. Model. 42, 17–28 (2017)
 5.
Liu, C., Lu, N., Zhang, Q.L.: Dynamical analysis in a hybrid bioeconomic system with multiple time delays and strong Allee effect. Math. Comput. Simul. 136, 104–131 (2017)
 6.
Liu, W., Fu, C.J., Chen, B.S.: Hopf bifurcation and center stability for a predator–prey biological economic model with prey harvesting. Commun. Nonlinear Sci. Numer. Simul. 17(10), 3989–3998 (2012)
 7.
Liu, W., Jiang, Y.L.: Bifurcation of a delayed Gauss predator–prey model with Michaelis–Menten type harvesting. J. Theor. Biol. 438, 116–132 (2018)
 8.
Liu, W.Y., Fu, C.J., Chen, B.S.: Stability and Hopf bifurcation of a predator–prey biological economic system with nonlinear harvesting rate. Int. J. Nonlinear Sci. Numer. Simul. 16(6), 249–258 (2015)
 9.
Liu, W.Y., Li, B.W., Fu, C.J., Chen, B.S.: Dynamics of a predator–prey ecological system with nonlinear harvesting rate. Wuhan Univ. J. Nat. Sci. 20(1), 25–33 (2015)
 10.
Kolmogorov, A.N.: Sulla teoria di Volterra della Lotta per l’esistenza. G. Ist. Ital. Attuari 7, 74–80 (1936) (in Italian)
 11.
Santra, P., Mahapatra, G.S., Pal, D.: Analysis of differentialalgebraic prey–predator dynamical model with super predator harvesting on economic perspective. Int. J. Dyn. Control 4, 266–274 (2016)
 12.
Zhang, X., Zhang, Q.L.: Bifurcation analysis and control of a class of hybrid biological economic models. Nonlinear Anal. Hybrid Syst. 3, 578–587 (2009)
 13.
Seijo, J.C., Defeo, O., Salas, S.: Fisheries Bioeconomics: Theory, Modelling and Management. Fao Fisheries Technical Papers, vol. 368. Food and Agriculture Organization of the United Nation, New York (1998)
 14.
Shelton, S.J., Myers, R.A., Dunn, A.: Is catchperunit effort proportional to abundance? Can. J. Fish. Aquat. Sci. 58, 1760–1772 (2001)
 15.
Kot, M.: Elements of Mathematical Ecology. Cambridge University Press, Cambridge (2001)
 16.
Potra, F.A., Yen, J.: Implicit numerical integration for Euler–Lagrange equations via tangent space parametrization. Circuits Syst. Signal Process. 19(1), 77–98 (1991)
 17.
Agnew, T.T.: Optimal exploitation of a fishery employing a nonlinear harvesting function. Ecol. Model. 6, 47–57 (1979)
 18.
Fred, B., Carlos, C.C.: Mathematical Models in Population Biology and Epidemiology. Springer, New York (2011)
 19.
Goh, B.S.: Management and Analysis of Biological Populations. Developments in Agricultural and ManagedForest Ecology. Elsevier, Amsterdam (1980)
 20.
Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Springer, New York (2003)
 21.
Liu, X.L., Xiao, D.M.: Complex dynamic behaviors of a discretetime predator–prey system. Chaos Solitons Fractals 32, 80–94 (2007)
 22.
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer, New York (2002)
 23.
Marotto, F.R.: On redefining a snapback repeller. Chaos Solitons Fractals 25(1), 25–28 (2005)
 24.
Marotto, F.R.: Snapback repellers imply chaos in \(R^{n}\). J. Math. Anal. Appl. 63(1), 199–223 (1978)
Acknowledgements
The authors wish to express their gratitude to the editors and reviewers for the helpful comments. This research is supported by National Natural Science Foundation of China under grant No. 71271158.
Author information
Affiliations
Contributions
The study presented here was carried out in collaboration between all authors. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Weiyi Liu.
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
Received
Accepted
Published
DOI
MSC
 37G10
 39A28
 39A30
Keywords
 Generalized local parameterization method
 Discrete singular system
 Bioeconomic system
 Nonlinear harvesting rate
 Stability
 Codimensionone bifurcation
 Chaotic behavior