Abstract
In this paper, we explore local dynamics at equilibrium points, the existence of bifurcation sets and codimension-one bifurcation analysis of a discrete prey–predator system with Holling type-II functional response. Further, OGY and Hybrid control strategies are utilized to control chaos in the under study discrete model due to the occurrence of Neimark–Sacker and flip bifurcations. Finally, numerical simulations are given to verify theoretical results.
1. Introduction
1.1. Motivation and mathematical formulation
The Lotka–Volterra model, often known as the prey–predator model, is a mathematical representation of the dynamics of two species, one being the predator and the other being the prey in a given population. The model explains the long-term interconnections among the populace of the predator and prey species. It considers variables like the rate of birth and death of the predator and prey, as well as the rate at which the predator hunts and kills the prey. The prey–predator model has been broadly used to explore the dynamics of population interactions in various fields such as designing conservation procedure to safeguard endangered species and understanding the interconnections between several species in an ecosystem. Although these dynamical concerns resulting from the mathematical simulation of prey–predator systems may initially appear to be straightforward, a deep study of these models frequently give rise to incredibly challenging problems. The main goal of modelling a population ecosystem is to ensure that the mathematical model in question can represent the noteworthy system behaviours for the system being observed. Dynamic modelling of ecological systems is often an evolving technique. Prey–predator relationships modelled mathematically using the famous Lotka–Volterra type prey–predator model with Holling type-II functional response [Citation1]: (1) (1) where x is prey's density and y is predator's density, while parameters c, a, d, f, K, and m show the capturing rate, intrinsic growth rate of prey, predator death rate, maximal predator growth rate, carrying capacity and half saturation constant, respectively. The so-called ratio-dependent theory, which holds that the rate of per capita predator growth should rely on the ratio of prey to predator abundance, should be the foundation of a more suitable general theory of predator–prey relationships. This is especially true when the predator has to look for food, and it is supported by numerous field, lab studies and observations [Citation2–5]. The basic form of ratio-dependent prey–predator system is: (2) (2) where c is conversion rate, predator functional response is represented by , is supplanted by . Moreover, Kuang and Beretta [Citation6] have extended the prey–predator model (Equation2(2) (2) ) by the effect of Holling type-II functional response as follows: (3) (3) It is anticipated that model (Equation3(3) (3) ) becomes the form [Citation6, Citation7]: (4) (4) by (5) (5) where (6) (6)
1.2. Literature survey
Many investigators investigated the dynamics of prey–predator models. For instance, Singh and Malik [Citation8] have investigated the dynamics at equilibrium points and exploration the bifurcation of the following model: (7) (7) where and denote the predator and prey populace densities. Ma et al. [Citation9] have studied the local dynamics and bifurcation of following model: (8) (8) where are positive constants. Santra et al. [Citation10] have explored behaviour of the following model involving prey refuge: (9) (9) where a, c, b, r, d are positive parameters. Chen et al. [Citation11] have studied local stability and bifurcation at fixed points of the following model: (10) (10) where u, b, c, m are positive constants. In contrast to discrete models, many investigators investigated the dynamics of continuous-time systems designated by differential equations. For instance, Tunç and Tunç [Citation12] have explored dynamics of the following system of second-order differential equations with delay: (11) (11) Tunç [Citation13] has investigated the dynamics of the following vector lienard equation: (12) (12) Tunç [Citation14] has investigated the boundedness of solutions of a class of non-autonomous differential equations.
1.3. The novelty of the proposed work
It is important here to note that the earlier work is about the global qualitative study on system (Equation3(3) (3) ) where the discussion of authors focuses on the qualitative study of the ratio-dependent predator–prey systems. Their work builds upon previous work but aims to address the open questions regarding the global qualitative behaviour of the model. By transforming the Michaelis-Menten-type ratio-dependent model into a Gause-type predator–prey system, the authors obtain a complete classification of the asymptotic behaviour of the solutions. They resolve open questions regarding the global stability of equilibria and the uniqueness of limit cycles. Their work provides insights into how the outcomes of the model depend on initial conditions. Furthermore, they present the biological implications of the findings, showcasing the practical relevance of the study. Overall, Kuang and Beretta [Citation6] discussed the dynamics of continuous-time model (Equation3(3) (3) ), and demonstrate that if the system's positive steady state (Equation3(3) (3) ) is locally asymptotically stable, then the system cannot have non-trivial positive periodic solutions. It also includes some results regarding the global stability of the positive steady state. Moreover, they non-dimensionalize the system (Equation3(3) (3) ) into (Equation4(4) (4) ), then, Hsu et al. [Citation7] investigated the full classification for the asymptotic behaviour of (Equation4(4) (4) ) by transforming it into a Gause-type predator–prey system.
In contrast to the continuous-time model, our aim in this paper is to explore the dynamical characteristics of the following prey–predator system: (13) (13) which is discrete version of (Equation4(4) (4) ) by non-standard finite difference scheme, where h is a step size. Furthermore, s denotes the ratio of capturing rate to the half saturation constant times intrinsic growth rate of prey, δ is the ratio of maximal predator growth rate to the intrinsic growth rate of prey, and finally r is the ratio of predator death rate to the maximal predator growth rate. The reason for studying the dynamics of discrete-time system (Equation13(13) (13) ), instead of of continuous-time system (Equation4(4) (4) ), is that the discrete model simplifies the complexity of the system, making it more accessible for analysis and interpretation. Continuous models often involve differential equations, which can be challenging to solve analytically or numerically. By converting the model into a set of difference equations, the computational complexity is reduced, making it easier to simulate and analyse the dynamics of the system. Additionally, the discretization of the model allows for direct comparison with experimental data. Experimental data is often collected at discrete-time points, and by converting the model into a discrete version, the model's predictions can be directly compared with the observed data. This facilitates experimental validation and enhances the credibility of the model. Furthermore, stability analysis becomes more feasible with discrete models. By studying the behaviour of the system over discrete-time steps, it becomes possible to analyse the stability of the fixed points and determine if the system will converge to an equilibrium or exhibit oscillatory behaviour. This stability analysis can provide valuable insights for system design and control. Lastly, parameter estimation is often easier with discrete models. Estimating parameters in continuous models can be challenging due to the complexity of the equations. Discrete models, with their simpler forms, allow for more straightforward parameter estimation techniques, enhancing the accuracy and reliability of the model's predictions. In summary, converting a continuous-time model into a discrete version offers advantages in terms of computational efficiency, simplicity, compatibility with experimental data, stability analysis, and parameter estimation. These advantages make the discrete model a valuable tool in the literature of ecology and biology for studying and analysing the local behaviour of fixed points. In the context of ecology and biology, calculating the local behaviour for fixed points in discrete models offers several advantages. Firstly, it allows for the identification of bifurcation sets, which are critical points where the qualitative behaviour of the system changes. By analysing the local behaviour of fixed points, researchers can identify bifurcations such as the emergence of multiple stable states or the occurrence of oscillatory behaviour. Understanding these bifurcation sets provides insights into the underlying mechanisms driving system dynamics. Secondly, discrete-time models enable bifurcation analysis, which involves studying how the system's behaviour changes as model parameters are varied. This analysis can reveal the existence of different types of bifurcations, such as saddle-node, transcritical, Neimark–Sacker, flip, or pitchfork bifurcations. Bifurcation analysis helps in understanding the stability and dynamics of the system under different conditions. Additionally, discrete models are useful for studying chaos in ecological and biological systems. Techniques like the OGY (Ott-Grebogi-Yorke) method can be employed to analyse the local behaviour of fixed points and identify chaotic regions in the parameter space. This study of chaos can provide insights into the underlying mechanisms driving chaotic behaviour. Furthermore, discrete-time models facilitate the development and analysis of hybrid control strategies. Hybrid control combines continuous and discrete dynamics to design control strategies that effectively manage complex systems. By calculating the local behaviour for fixed points, researchers can determine control strategies that stabilize the system, suppress undesirable behaviour, or guide the system towards desired states. Lastly, discrete-time models offer opportunities for numerical validation of theoretical results. Researchers can simulate the discrete model and compare the results with theoretical predictions, validating the accuracy and reliability of their theoretical findings. This numerical validation helps build confidence in the model and its ability to capture the essential dynamics of the system. In summary, calculating the local behaviour for fixed points in discrete models provides advantages in identifying bifurcation sets, conducting bifurcation analysis, studying chaos, developing hybrid control strategies, and numerically validating theoretical results. These advantages enhance our understanding of ecological and biological systems and enable more effective decision-making and control strategies. Due to aforementioned fact, in this paper we explore dynamics of discrete system model (Equation13(13) (13) ) where our key investigations include:
Local behaviour for fixed points.
Identification of bifurcation sets for fixed points.
Bifurcation analysis of discrete model (Equation13(13) (13) ).
Study of chaos by OGY and Hybrid control strategies.
Numerical validation of theoretical results.
1.4. The advantages of the proposed work
In the setting of a discrete prey–predator system, codimension-one bifurcation analysis has numerous advantages for understanding the dynamics, stability, and potential for chaos in ecological systems:
Codimension-one bifurcation analysis aids in identifying key parameter value at which qualitative changes in the system dynamics occur. It enables researchers to identify the precise parameter value that cause bifurcations or the formation of chaotic attractors.
This type of analysis gives information about the stability of the system's equilibrium points and periodic orbits. It helps identify whether prey and predator populations tend to stabilize or oscillate under varied parametric value.
Researchers can forecast system transitions by examining codimension-one bifurcations. They can, for example, forecast when a stable equilibrium will become unstable, resulting in the formation of chaotic behaviour.
Codimension-one bifurcation analysis can aid in detecting the emergence of chaos in a discrete prey–predator system.
Codimension-one bifurcation analysis can be used as a teaching tool for students and researchers to learn about complex ecological dynamics.
The calculation of local behaviour for fixed points in discrete-time models offers advantages in identifying bifurcation sets, conducting bifurcation analysis, studying chaos, developing hybrid control strategies, and numerically validating theoretical results. These advantages enhance our understanding of ecological systems, aid in predicting and managing ecological dynamics, and inform conservation and ecosystem management practices.
1.5. Paper layout
The organization of rest of the paper is as follows: stability analysis and bifurcation sets are studied in Section 2. In Section 3, we studied flip bifurcation for boundary fixed point, whereas Neimark–Sacker and flip bifurcations at interior fixed points are briefly investigated in Sections 4 and 5, respectively. The chaos control by OGY and Hybrid control strategies is presented in Section 6. Finally, numerical simulations and conclusion are given in Sections 7 and 8, respectively.
2. Bifurcation sets and stability analysis
In the present section, we explore the stability analysis at equilibrium points and bifurcation sets for the discrete prey–predator model (Equation13(13) (13) ). If is an equilibrium point of (Equation13(13) (13) ), then one has (14) (14) Since satisfied system (Equation14(14) (14) ) obviously, and therefore for all h, s, δ and r discrete model (Equation13(13) (13) ) has semitrivial equilibrium point . In order to get the model's interior equilibrium point, one need to solve the following system (15) (15) Equation (Equation15(15) (15) ) can also be rewritten as (16) (16) and (17) (17) Using (Equation17(17) (17) ) into (Equation16(16) (16) ), one gets (18) (18) Further, using (Equation18(18) (18) ) into (Equation17(17) (17) ), one gets (19) (19) So, from Equations (Equation18(18) (18) ) and (Equation19(19) (19) ), one can obtained that if then in model's interior equilibrium point is . Now the variation matrix of the linearized system of (Equation13(13) (13) ) under the map is (20) (20) where (21) (21) Hereafter, we will give local dynamics for the equilibria by stability theory [Citation15–17]. So for , (Equation20(20) (20) ) becomes (22) (22) with (23) (23)
Theorem 2.1
of model (Equation13(13) (13) ) is
a sink if ;
never source;
a saddle if ;
non-hyperbolic if .
Proof.
By stability theory, of discrete model (Equation13(13) (13) ) is a sink if . Therefore, from (Equation23(23) (23) ) if and , that is, then is a sink. Similarly, it is easy to obtain that is never source, saddle if , and non-hyperbolic if .
Now in the following, one has the following result regarding bifurcation set at if holds.
Theorem 2.2
For the model's semitrivial fixed point , the flip bifurcation set is written as .
Proof.
Since is non-hyperbolic if . Therefore, if holds then but which implies that at eigenvalues criterion for the existence of flip bifurcation holds if passes .
Now for , (Equation20(20) (20) ) becomes (24) (24) with the following characteristic equation:
(25) (25)
that is, (26) (26) where (27) (27) From (Equation26(26) (26) ), one has (28) (28) where (29) (29)
Theorem 2.3
If , then the model's interior equilibrium point is
a stable focus if with ;
an unstable focus if with ;
non-hyperbolic if .
Proof.
If then from (Equation28(28) (28) ) one gets . This implies that if with then is a stable focus. Similarly, easy calculation yields the fact that it an unstable focus if with , and non-hyperbolic if .
Theorem 2.4
If then the model's interior equilibrium point is
a stable node if with ;
an unstable node if and ;
non-hyperbolic if .
Proof.
It is noted that is a stable node if real roots of (Equation28(28) (28) ) satisfying , that is, if with then is a stable node. Similarly, easy calculation also implies that it is an unstable node if , and non-hyperbolic if .
Now in the following, one has the following result regarding bifurcation set at if and hold, respectively.
Theorem 2.5
For the model's interior equilibrium point , the Neimark–Sacker and flip bifurcation sets, respectively are
;
.
Proof.
(i). It is noted that if holds, then has complex eigenvalues with which implies that at eigenvalues criterion for the existence of N-S bifurcation holds if passes .
(ii). On the other hand, if holds then one has but which implies that at eigenvalues criterion for the existence of flip bifurcation holds if passes through the curve .
3. Analysis of a flip bifurcation for semitrivial fixed point
Based on the local dynamic study for semitrivial fixed point in Section 2, here we investigate flip bifurcation by bifurcation theory [Citation18–27].
Theorem 3.1
If then for the flip bifurcation does not take place in the discrete-time model (Equation13(13) (13) ).
Proof.
Since model (Equation13(13) (13) ) is invariant under y = 0, and so one restrict it on the line y = 0 where it becomes (30) (30) From (Equation30(30) (30) ), one has (31) (31) Finally, if and , from (Equation31(31) (31) ), one has (32) (32) (33) (33) and (34) (34) From (Equation32(32) (32) ) and (Equation34(34) (34) ), one can be concluded that the flip bifurcation does not take place if .
4. Analysis of a Neimark–Sacker bifurcation for interior fixed point
Based on the local dynamic study for the equilibrium in Section 2, we investigate the Neimark–Sacker bifurcation if where δ is regarded as a bifurcation parameter.
Theorem 4.1
At , discrete model (Equation13(13) (13) ) undergoes N–S bifurcation if .
Proof.
Recall that if δ is a bifurcation parameter then perturbation system of discrete model (Equation13(13) (13) ) takes the form (35) (35) where and . For the perturbation system (Equation35(35) (35) ), the roots of are (36) (36) where and . Now due to the fact that , the characteristic equation (Equation36(36) (36) ) of has two conjugate complex root with , and subsequently one gets the following quantity by noticing that : (37) (37) Moreover for , the characteristics roots of (Equation36(36) (36) ) must not be found at the intersections of unit circle with coordinate axes. Therefore, one need to suppose that and for , which is equivalent to . But if holds, then , and so, . Therefore, , and so, by straightforward calculation one obtains (38) (38) Now to transform one use the following transformations: (39) (39) with and . From (Equation39(39) (39) ) and (Equation35(35) (35) ), we get (40) (40) If , then we will derive normal form of (Equation40(40) (40) ). On expanding (Equation40(40) (40) ) by Taylor series up to second-order at origin, one gets (41) (41)
where its coefficients are mentioned in (EquationA1(A1) (A1) ). Now (Equation41(41) (41) ) takes the form: (42) (42) by following matrix transformation (43) (43) where (44) (44) and the quantities η, ζ and are depicted in (EquationA2(A2) (A2) ). Furthermore, from (Equation44(44) (44) ) we get , , , , , , , , , , . Now the following discriminatory quantity should not be zero in order to guarantee the occurrence of Neimark–Sacker bifurcation at of system (Equation42(42) (42) ): (45) (45) where (46) (46) Using partial derivatives, (Equation46(46) (46) ) becomes (47) (47) From (Equation45(45) (45) ) the condition holds as then Neimark–Sacker bifurcation takes place, and additionally supercritical (subcritical) Neimark–Sacker bifurcation take place if ().
5. Analysis of a flip bifurcation for interior fixed point
Based on the local dynamic study for the equilibrium in Section 2, we investigate the flip bifurcation if where δ is regarded as a bifurcation parameter.
Theorem 5.1
At , discrete model (Equation13(13) (13) ) undergoes flip bifurcation if .
Proof.
Recall that if δ is a bifurcation parameter then the discrete model (Equation13(13) (13) ) takes the form (Equation35(35) (35) ), and by (Equation39(39) (39) ) it further becomes (48) (48) where it coefficients are depicted in (EquationA3(A3) (A3) ). Now using following transformation: (49) (49) Equation (Equation48(48) (48) ) gives (50) (50) where (51) (51)
Now we calculate the centre manifold at O in a small neighborhood of where mathematically it can be expressed as (53) (53) with (54) (54) Finally, one write (Equation50(50) (50) ) restrict to as (55) (55) where
(56) (56)
Finally, in order for the existence of flip bifurcation at , the following two discriminatory quantities and should not be zero [Citation18, Citation19]: (57) (57) Consequently, based on above calculation, we can say that if and then at flip bifurcation takes place. Besides, the period-2 points bifurcate from of model (Equation13(13) (13) ) are stable (unstable) if ().
6. Chaos control
In the present section, we will apply the following two feedback control strategies to the model (Equation13(13) (13) ) to get a stable trajectory:
6.1. By OGY method
In order to study chaos, we fist use OGY method, which was proposed by Ott et al. [Citation28], for the discrete model (Equation13(13) (13) ). By existing chaos theory [Citation29, Citation30], one can write the model (Equation13(13) (13) ) as follows: (58) (58) where s represents the control parameter under which one can acquire the desired chaos control by small perturbations. To do this, one restrict it where with , and indicates nominal value corresponds to chaotic region. The trajectory is moved in the direction of the target orbit using the stabilizing feedback control strategy. Assuming that be unstable equilibrium point of the model (Equation13(13) (13) ), which is in the chaotic region created by the occurrence of N-S bifurcation, then the given below linear map can be used to approximate the model (Equation58(58) (58) ): (59) (59) where (60) (60) and (61) (61) Moreover, the model (Equation58(58) (58) ) is controlled provided that the following matrix (62) (62) is of rank 2. Additionally, it must be understood that δ cannot be used in this situation as a control parameter to utilize the OGY method to the model (Equation13(13) (13) ). As, if we take and , then becomes zero. So, to apply the OGY method to the model (Equation13(13) (13) ), s is taken as a control parameter. Now, if one take , where , then the model (Equation59(59) (59) ) can be written as (63) (63) Furthermore, the corresponding controlled model of (Equation13(13) (13) ) is (64) (64) By stability theory is a sink iff roots of V −PT satisfying where its variational matrix is (65) (65) The characteristic equation of V −PT is (66) (66) If denotes the roots of (Equation66(66) (66) ) then (67) (67) and (68) (68) Next we take and to get lines of marginal stability for (Equation64(64) (64) ). Also, these restriction give the fact that characteristics roots satisfying . Assuming that then from (Equation68(68) (68) ) one has (69) (69) If then from (Equation67(67) (67) ) and (Equation68(68) (68) ), one gets (70) (70) Finally, if then from (Equation67(67) (67) ) and (Equation68(68) (68) ), one gets (71) (71) Then, stable eigenvalues lie within the triangular region -plane bounded by the straight lines for parametric values h, s, r and δ.
6.2. By hybrid control feedback
We use a hybrid control feedback method to control the chaos due to the emergence of flip bifurcation in the model (Equation13(13) (13) ) by existing theory [Citation31]. If the model (Equation13(13) (13) ) undergoes bifurcation at then one can write corresponding controlled model as (72) (72) where and controlled strategy (Equation72(72) (72) ) is a combination of feedback control as well as parameter perturbation. The is (73) (73) The characteristics equation of evaluated at is (74) (74) where (75) (75) So, based on stability theory one has the result:
Lemma 1
Equilibrium of model (Equation72(72) (72) ) is a sink iff .
Proof.
The necessary and sufficient condition for roots of (Equation74(74) (74) ) satisfying imply that of model (Equation72(72) (72) ) is a sink iff .
7. Numerical simulations
Example 7.1
If h = 0.6, s = 1.37, r = 0.5, with then at discrete model (Equation13(13) (13) ) undergoes the N-S bifurcation. The bifurcation diagrams and Maximum Lyapunov exponent are drawn in Figure . Further, at model (Equation13(13) (13) ) has interior equilibrium point and moreover from (Equation24(24) (24) ) one gets: (76) (76) with (77) (77) The roots of (Equation77(77) (77) ) are with , and so from (i) of Theorem 2.5 one has the Neimark–Sacker bifurcation set . Furthermore, by fixing h = 0.6, s = 1.37, r = 0.5, and varying the value of bifurcation parameter then one can obtain that respective interior equilibrium solution is a stable focus. To verify this if then Figure (a) indicates that is a stable focus. Similarly if one varies , 0.10500, 0.10880, 0.10987, 0.10999<0.11000000000000032 then Figure (b–f) also show that, for each variation of δ, the equilibrium solution is also stable focus. On the other hand, if one varies the bifurcation parameter then we can concluded that respective interior equilibrium solution is an unstable focus, and as a result supercritical Neimark–Sacker bifurcation must take place. For instance, if h = 0.6, s = 1.37, r = 0.5 then from (Equation37(37) (37) ) the non-degenerate conditions, i.e. holds, and moreover if then from (EquationA1(A1) (A1) ) and (EquationA2(A2) (A2) ) one gets: (78) (78) and (79) (79) Utilizing (Equation78(78) (78) ) and (Equation79(79) (79) ) into (EquationA2(A2) (A2) ), one gets: (80) (80) Now in view of (Equation80(80) (80) ) and (Equation47(47) (47) ), one obtains (81) (81) Now finally, using (Equation81(81) (81) ) along with into (Equation45(45) (45) ) one gets: which give the fact that closed invariant curve must exists, and hence discrete model undergoes subcritical Neimark–Sacker at indicated interior fixed point (see Figure (a)). In similar manner, we can also obtain that if one varies then stable invariant curves also appears which are depicted in Figure (b–i). Therefore, in conclusion we can say that numerical simulations in Example 7.1 agree with theoretical results obtained in Theorem 2.3, (i) of Theorem 2.5 and Theorem 4.1.
Example 7.2
If h = 1.28, s = 2.5, r = 0.798, with then at discrete model (Equation13(13) (13) ) undergoes the flip bifurcation. The flip bifurcation diagrams and Maximum Lyapunov exponent are drawn in Figure . Further at discrete model (Equation13(13) (13) ) has equilibrium solution and moreover from (Equation24(24) (24) ) one gets: (82) (82) with and , and hence based on these simulations one can obtain that for parametric values . Moreover in this parametric domain, from (EquationA3(A3) (A3) ), (Equation54(54) (54) ) and (Equation56(56) (56) ) one gets: (83) (83) (84) (84) and (85) (85) Utilizing (Equation85(85) (85) ) into (Equation57(57) (57) ) one gets: and . Since and so it can be concluded that stable period-2 points bifurcate from . Therefore, in conclusion we can say that numerical simulations in Example 7.2 agree with theoretical results obtained in Theorem 2.4, (ii) of Theorem 2.5 and Theorem 5.1.
Example 7.3
If h = 0.5, r = 0.4, , with then model (Equation13(13) (13) ) undergoes Neimark–Sacker bifurcation. The maximum Lyapunov exponents with bifurcation diagrams are drawn in Figure . Further if s = 1.3 then model (Equation13(13) (13) ) has equilibrium where roots of characteristics equations of are with . In order to apply OGY control method for model (Equation13(13) (13) ), if then it has equilibrium . So, model (Equation64(64) (64) ) becomes (86) (86) where its variation matrix V −BK is (87) (87) Now for marginal stability lines and are (88) (88) (89) (89) and (90) (90) So, lines (Equation88(88) (88) ), (Equation89(89) (89) ) and (Equation90(90) (90) ) determine triangular region that gives (see Figure ).
Example 7.4
Finally, if with then model (Equation13(13) (13) ) undergoes flip bifurcation. For this, by applying hybrid strategy to get stable orbit at . For this model (Equation72(72) (72) ) takes the form (91) (91) where is (92) (92) with (93) (93) Furthermore, roots of (Equation93(93) (93) ) satisfying if . So, for the allowed interval of control parameter α the flip bifurcation is completely eliminated. If then for controlled model (Equation91(91) (91) ), plots of t vs. and are drawn in Figure .
8. Conclusion
This work explored the local dynamics at fixed points, chaos, bifurcations of a discrete prey–predator model (Equation13(13) (13) ) in the region: . We studied local dynamics at semitrivial and interior fixed points of model (Equation13(13) (13) ), and explored that of model (Equation13(13) (13) ) is a sink if , never source, saddle if , and non-hyperbolic if . Further it proved that of model (Equation13(13) (13) ) is a stable focus if with , an unstable focus if with , non-hyperbolic condition if , stable node if with , an unstable node if with , and non-hyperbolic if . In order to studied the bifurcation analysis at , we first identified bifurcation sets for understudied model (i) flip bifurcation set at , (ii) Neimark–Sacker bifurcation set at (iii) flip bifurcation set whose mathematical expression is at , and then proved that at flip bifurcation did not take place if but at model subjected Neimark–Sacker and flip bifurcations if and , respectively. Furthermore, OGY and Hybrid control strategies are utilized to control chaos in the under study discrete model due to occurrence of Neimark–Sacker and flip bifurcations. Finally numerical simulations depicted to verify theoretical results.
Source_files.rar
Download ()Acknowledgments
Authors declare that they got no funding on any part of this research.
Disclosure statement
No potential conflict of interest was reported by the author(s).
References
- Freedman HI. Deterministic mathematical models in population ecology. New York: Marcel Dekker Incorporated; 1980.
- Arditi R, Ginzburg LR, Akcakaya HR. Variation in plankton densities among lakes: a case for ratio-dependent predation models. Am Nat. 1991;138(5):1287–1296. doi: 10.1086/285286
- Akcakaya HR, Arditi R, Ginzburg LR. Ratio-dependent predation: an abstraction that works. Ecology. 1995;76(3):995–1004. doi: 10.2307/1939362
- Cosner C, DeAngelis DL, Ault JS, et al. Effects of spatial grouping on the functional response of predators. Theor Popul Biol. 1999;56(1):65–75. doi: 10.1006/tpbi.1999.1414
- Arditi R, Ginzburg LR. Coupling in predator–prey dynamics: ratio-dependence. J Theor Biol. 1989;139(3):311–326. doi: 10.1016/S0022-5193(89)80211-5
- Kuang Y, Beretta E. Global qualitative analysis of a ratio-dependent predator–prey system. J Math Biol. 1998;36(4):389–406. doi: 10.1007/s002850050105
- Hsu SB, Hwang TW, Kuang Y. Global analysis of the Michaelis–Menten-type ratio-dependent predator–prey system. J Math Biol. 2001;42(6):489–506. doi: 10.1007/s002850100079
- Singh A, Malik P. Bifurcations in a modified Leslie–Gower predator–prey discrete model with Michaelis–Menten prey harvesting. J Appl Math Comput. 2021;67(1-2):143–174. doi: 10.1007/s12190-020-01491-9
- Ma R, Bai Y, Wang F. Dynamical behavior analysis of a two-dimensional discrete predator–prey model with prey refuge and fear factor. J Appl Anal Comput. 2020;10(4):1683–1697.
- Santra PK, Panigoro HS, Mahapatra GS. Complexity of a discrete-time predator–prey model involving prey refuge proportional to predator. Jambura J Math. 2022;4(1):50–63. doi: 10.34312/jjom.v4i1
- Chen J, Chen Y, Zhu Z, et al. Stability and bifurcation of a discrete predator–prey system with Allee effect and other food resource for the predators. J Appl Math Comput. 2023;69(1):529–548.
- Tunç C, Tunç O. Qualitative analysis for a variable delay system of differential equations of second order. J Taibah Univ Sci. 2019;13(1):468–477. doi: 10.1080/16583655.2019.1595359
- Tunç C. Stability to vector Lienard equation with constant deviating argument. Nonlinear Dyn. 2013;73(3):1245–1251. doi: 10.1007/s11071-012-0704-8
- Tunç C. A note on boundedness of solutions to a class of non-autonomous differential equations of second order. Appl Anal Discret Math. 20104:361–372. doi: 10.2298/AADM100601026T
- Wikan A. Discrete dynamical systems with an introduction to discrete optimization problems. London (UK): Bookboon. com; 2013.
- Kulenović MRS, Ladas G. Dynamics of second order rational difference equations: with open problems and conjectures. New York: Chapman and Hall/CRC; 2001.
- Camouzis E, Ladas G. Dynamics of third-order rational difference equations with open problems and conjectures. New York: CRC Press; 2007.
- Guckenheimer J, Holmes P. Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. New York: Springer Science & Business Media; 2013.
- Kuznetsov YA, Kuznetsov IA, Kuznetsov Y. Elements of applied bifurcation theory. New York: Springer; 1998.
- Rana SM. Chaotic dynamics and control of discrete ratio-dependent predator–prey system. Discrete Dyn Nat Soc. 2017;2017:1–13.
- Al-Basyouni KS, Khan AQ. Discrete-time predator–prey model with bifurcations and chaos. Math Probl Eng. 2020;2020:1–14. doi: 10.1155/2020/8845926
- Chakraborty P, Ghosh U, Sarkar S. Stability and bifurcation analysis of a discrete prey–predator model with square-root functional response and optimal harvesting. J Biol Syst. 2020;28(01):91–110. doi: 10.1142/S0218339020500047
- Liu W, Cai D. Bifurcation, chaos analysis and control in a discrete-time predator–prey system. Adv Differ Equ. 2019;2019(1):1–22. doi: 10.1186/1687-1847-2012-1
- Agiza HN, Elabbasy EM, El-Metwally H, et al. Chaotic dynamics of a discrete prey–predator model with Holling type II. Nonlinear Anal Real World Appl. 2009;10(1):116–129. doi: 10.1016/j.nonrwa.2007.08.029
- Liu X, Xiao D. Complex dynamic behaviors of a discrete-time predator–prey system. Chaos Solit Fractals. 2007;32(1):80–94. doi: 10.1016/j.chaos.2005.10.081
- Khan AQ, Ma J, Xiao D. Bifurcations of a two-dimensional discrete time plant-herbivore system. Commun Nonlinear Sci Numer Simul. 2016;39:185–198. doi: 10.1016/j.cnsns.2016.02.037
- Khan AQ, Ma J, Xiao D. Global dynamics and bifurcation analysis of a host-parasitoid model with strong Allee effect. J Biol Dyn. 2017;11(1):121–146. doi: 10.1080/17513758.2016.1254287
- Ott E, Grebogi C, Yorke JA. Controlling chaos. Phys Rev Lett. 1990;64(11):1196–1199. doi: 10.1103/PhysRevLett.64.1196
- Elaydi S. An introduction to difference equations. New York: Springer-Verlag; 1996.
- Lynch S. Dynamical systems with applications using mathematica. Boston: Birkhäuser; 2007.
- Luo XS, Chen G, Wang BH, et al. Hybrid control of period-doubling bifurcation and chaos in discrete nonlinear dynamical systems. Chaos Solit Fractals. 2003;18(4):775–783. doi: 10.1016/S0960-0779(03)00028-6
Appendices
Appendix 1.
Expression for the coefficients quantities of system (41)
(A1) (A1)
Appendix 2.
Expression for the coefficients quantities of system (44)
(A2) (A2)
Appendix 3.
Expression for the coefficients quantities of system (48)
(A3) (A3)