- Research
- Open Access
Dynamic behaviors of a discrete-time predator–prey bioeconomic system
- Weiyi Liu^{1}Email author,
- Donghan Cai^{1} and
- Jie Shi^{1}
https://doi.org/10.1186/s13662-018-1592-0
© The Author(s) 2018
- Received: 25 January 2018
- Accepted: 5 April 2018
- Published: 12 April 2018
Abstract
Bifurcation and chaotic behavior of a discrete-time 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 step-size 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.
Keywords
- Generalized local parameterization method
- Discrete singular system
- Bioeconomic system
- Nonlinear harvesting rate
- Stability
- Codimension-one bifurcation
- Chaotic behavior
MSC
- 37G10
- 39A28
- 39A30
1 Introduction
- (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 discrete-time models for the following reasons: one is that, for nonoverlapping generations, births occur in regular, well-defined “breeding seasons”. This contradicts the assumption that births occur continuously [15]. The other is that the discrete-time 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 discrete-time 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.
2 Statement of model and local parameterization
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].
3 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.
Definition 3.1
- (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
- (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
- (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
- (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
- (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
- (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 iffwhere$$(\Lambda_{2}-\Lambda_{1})^{2}-4 \Lambda_{3}< 0 \quad \textit{and}\quad \delta\Lambda_{3}> \Lambda _{2}-\Lambda_{1}, $$$$\begin{aligned}& \Lambda_{1}=\frac{psv}{((p-cm)s-c)^{2}(1+ms)}, \\& \Lambda_{2}=s \biggl(k-\frac{vm}{((p-cm)s-c)(1+ms)} \biggr), \\& \Lambda_{3}=s \biggl(a-ks-\frac{v}{(p-cm)s-c} \biggr). \end{aligned}$$
4 Bifurcation analysis
Based on the analysis of Sect. 3, we discuss a codimension-one bifurcation (Neimark–Sacker bifurcation and flip bifurcation) of system (2.3) at the fixed point.
4.1 Neimark–Sacker bifurcation and invariant curve
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\).
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}\)).
4.2 Flip bifurcation and chaos
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 period-2 orbits that bifurcate from \((x_{0},y_{0},E_{0})\) are stable (resp., unstable).
5 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\).
Example 5.2
(Flip bifurcation)
6 Conclusion
The present paper is concerned with the dynamics of a discrete-time 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 period-doubling 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 discrete-time 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 snap-back 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.
Declarations
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.
Authors’ contributions
The study presented here was carried out in collaboration between all authors. All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
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.
Authors’ Affiliations
References
- Clark, C.W.: Mathematical Bioeconomics: The Optimal Management of Renewable Resources. Wiley, New York (2010) MATHGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetView ArticleGoogle Scholar
- 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) MathSciNetView ArticleGoogle Scholar
- 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) MathSciNetView ArticleGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- 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) View ArticleGoogle Scholar
- 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) MathSciNetGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- Kolmogorov, A.N.: Sulla teoria di Volterra della Lotta per l’esistenza. G. Ist. Ital. Attuari 7, 74–80 (1936) (in Italian) MATHGoogle Scholar
- Santra, P., Mahapatra, G.S., Pal, D.: Analysis of differential-algebraic prey–predator dynamical model with super predator harvesting on economic perspective. Int. J. Dyn. Control 4, 266–274 (2016) MathSciNetView ArticleGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- 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) Google Scholar
- Shelton, S.J., Myers, R.A., Dunn, A.: Is catch-per-unit effort proportional to abundance? Can. J. Fish. Aquat. Sci. 58, 1760–1772 (2001) View ArticleGoogle Scholar
- Kot, M.: Elements of Mathematical Ecology. Cambridge University Press, Cambridge (2001) View ArticleMATHGoogle Scholar
- 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) MathSciNetGoogle Scholar
- Agnew, T.T.: Optimal exploitation of a fishery employing a nonlinear harvesting function. Ecol. Model. 6, 47–57 (1979) View ArticleGoogle Scholar
- Fred, B., Carlos, C.C.: Mathematical Models in Population Biology and Epidemiology. Springer, New York (2011) MATHGoogle Scholar
- Goh, B.S.: Management and Analysis of Biological Populations. Developments in Agricultural and Managed-Forest Ecology. Elsevier, Amsterdam (1980) Google Scholar
- Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Springer, New York (2003) MATHGoogle Scholar
- Liu, X.L., Xiao, D.M.: Complex dynamic behaviors of a discrete-time predator–prey system. Chaos Solitons Fractals 32, 80–94 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer, New York (2002) MATHGoogle Scholar
- Marotto, F.R.: On redefining a snap-back repeller. Chaos Solitons Fractals 25(1), 25–28 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Marotto, F.R.: Snap-back repellers imply chaos in \(R^{n}\). J. Math. Anal. Appl. 63(1), 199–223 (1978) MathSciNetView ArticleMATHGoogle Scholar