Complex Dynamics and Chaos Control of Discrete Prey–Predator Model With Caputo Fractional Derivative
Abstract
This work examines a discrete prey–predator model using the fractional derivative. The conditions for the existence and stability of the fixed points in the model are identified. The analysis is centered on exploring various bifurcations at the positive fixed point to understand their ecological implications. Using bifurcation theory, bifurcations related to period doubling, Neimark–Sacker, and strong resonances are studied. Lastly, the analytical results are confirmed through numerical simulations using the MATLAB package MatContM, and a controller is applied to relieve the extreme instability within the system.
1. Introduction
The interaction between prey and predator has always been a crucial focus in ecological modeling. The Lotka–Volterra model, recognized as the fundamental prey–predator model, was developed separately by Lotka in 1925 [1] and Volterra in 1926 [2]. It described the dynamics of prey and predator species in terms of differential equations, capturing the essential processes of birth, death, predation, and competition. The Lotka–Volterra model assumes a linear relationship between the rate of prey consumption by predators and the prey population density. This assumption might hold at low prey concentrations, but it is impractical in high prey densities, where predators are few.
Recently, differential equations with fractional-order derivatives have garnered significant interest from researchers due to their ability to accurately describe a variety of nonlinear phenomena [14]. These equations have been applied across numerous fields of science and engineering, such as biology [15], medicine [16], fluid mechanics, and physics [17, 18]. Fractional-order derivatives are particularly effective in capturing complex behaviors, long-term population fluctuations, and irregular oscillations in ecological systems [19, 20]. This also accounts for memory effects, where the current state of a population is influenced by its past states, a concept highly relevant in ecological studies [21]. As a result, fractional-order derivatives have been successfully applied in mathematical biology [22–24]. Numerous researchers have explored fractional-order continuous prey–predator models [25–27]. Different approaches to the stability of differential equations can be found in [28, 29].
In the model described by equation (1), the growth rates of both prey and predator are based only on current conditions. However, long-term memory is also a crucial factor influencing population growth rates. Taking into account memory effects, many researchers have employed fractional derivatives to develop fractional differential equations [21]. Various definitions of fractional derivatives exist in the literature [30], with the Riemann–Liouville and Caputo derivatives being among the most widely used in the field of fractional-order nonlinear dynamical systems. Unlike integer-order derivatives, fractional derivatives require a broader range of initial conditions that can be challenging to establish. For instance, the Riemann–Liouville derivative requires initial conditions in terms of fractional derivatives, which can complicate the formulation of boundary conditions for certain problems. The Caputo derivative offers advantages over other fractional-order derivatives, primarily because it only needs initial conditions in the form of integer-order derivatives, making it better suited for the mathematical modeling of many real-world problems. In addition, the fractional-order operator allows for greater flexibility in various physical and biological models, enabling a deeper analysis of their significant dynamic behaviors [30, 31]. This research is motivated by the need for a deeper understanding of prey–predator models incorporating the effect of memory. Therefore, the Caputo fractional–order derivative is applied in the model (3), making it more applicable to modeling and analysis.
Definition 1 (see [21], [30].)Caputo fractional derivative of order of the function , t ≥ t0 is defined by
In model (6), the Caputo fractional derivative allows for the incorporation of memory effects and hereditary properties in the modeling process, making it particularly suitable for biological systems where the current state depends on the historical states.
Higher codimension bifurcations have gained importance in discrete-time models throughout the past 10 years due to their more fascinating dynamics. Codimension-2 bifurcations have received significant attention due to the presence of resonance bifurcations among them. Kuznetsov, Kuznetsov, and Kuznetsov [37] proposed the codimension-2 resonance bifurcation theory for discrete maps for the first time. One can use the crucial normal form coefficient hypothesis to find resonance bifurcations such as 1:2, 1:3, and 1:4. Zhang, Xu, and Liao [38] investigated the codimension-2 bifurcations and bifurcation controls of a discrete predatory system with weak Allee effect on prey. Sharma et al. [39] explored codimension-1 and codimension-2 bifurcations including multiple and generic bifurcations in the discrete model using the critical normal form theorem and bifurcation theory. Li, Eskandari, and Avazzadeh [40] introduced a two-dimensional discrete-time prey–predator model and identified bifurcation scenarios based on critical coefficients. In addition to these studies, recent research has also investigated codimension-2 bifurcations in discrete-time prey–predator models [41, 42]. The resonance bifurcations of model (7) and its dynamic behavior were investigated by Ma and Duan [42], using the normal form method and the theory of approximation by a flow.
Recently, Din [43] examined the qualitative dynamics of a discrete fractional-order Brusselator model, utilizing normal form theory and the center manifold theorem (CMT) to demonstrate the occurrence of both codimension-1 and codimension-2 bifurcations. Discrete-time prey–predator models using fractional-order derivatives, however, have received little attention [44, 45]. George et al. [46] investigated stability, PD bifurcation, and sensitive dependence to initial conditions in a discrete fractional-order prey–predator model with harvesting. Uddin et al. [13] explored a discrete prey–predator model, including harvesting on the predator population, using Caputo fractional derivative. These studies emphasized analyzing stability and one-parameter bifurcations, such as PD and NS bifurcations using the center manifold and bifurcation theory. However, the current study focuses on two-parameter bifurcations to provide a deeper understanding of the system’s dynamics.
- •
The importance of memory effects into species interactions developed by discrete fractional-order model (8), defined in the Caputo sense, provides a powerful tool for understanding complex ecological dynamics.
- •
To examine the presence and topological classification of fixed points.
- •
The exploration of potential codimension-1 and codimension-2 bifurcations of model (8) using critical normal form theory.
- •
To validate the theoretical findings, an efficient numerical method is employed. The results demonstrate the effectiveness of the proposed model in offering new insights into the dynamic behavior and influence of control parameters.
- •
A feedback control strategy is implemented to manage the model’s (8) unpredictability.
This paper’s subsequent sections are formatted as follows. Local stability is examined in Section 2. Section 3 covers bifurcation analysis, including codimension-1 and codimension-2 bifurcations. Numerical simulations using MatContM are conducted to validate the analytical findings, as presented in Section 4. Techniques for controlling chaos are covered in Section 5. Section 6 presents the ecological implications and discussion. A brief conclusion is outlined in Section 7.
2. The Fixed Points: Existence and Stability
- i.
E0 = (0, 0)
- ii.
E1 = (1, 0)
- iii.
Ef = (d/b, r(b − d)/ab)
The fixed points E0 and E1 are the trivial and axial points, respectively, which always exist. For the interior fixed point Ef, b > d is the existence condition.
One can see Table 1 for the stability conditions of trivial and axial fixed points of model (8) using Jury’s criterion [48].
Fixed points | Eigenvalues | Dynamic behavior | Relative parametric requirements |
---|---|---|---|
E0 | μ1 = 1 − dρα/(Γ(α + 1)), | Source | d > 2ρ−αΓ(α + 1); |
μ2 = (rρα/(Γ(α + 1))) + 1 | Saddle | d < 2ρ−αΓ(α + 1); | |
Nonhyperbolic | d = 2ρ−αΓ(α + 1) (with PD bifurcation). | ||
E1 | μ1 = (ρα(b − d)/(Γ(α + 1))) + 1, | Source | d > ρ−α(2Γ(α + 1) + bρα), d < b, r > 2ρ−αΓ(α + 1); |
μ2 = 1 − (rρα/(Γ(α + 1))) | Sink | b < d < ρ−α(2Γ(α + 1) + bρα), r < 2ρ−αΓ(α + 1); | |
Nonhyperbolic | d = ρ−α(2Γ(α + 1) + bρα), d ≠ b, r ≠ 2ρ−αΓ(α + 1) or r = 2ρ−αΓ(α + 1), d ≠ b, d ≠ ρ−α(2Γ(α + 1) + bρα) (with PD bifurcation), d ≠ ρ−α(2Γ(α + 1) + bρα), d = b, r ≠ 2ρ−αΓ(α + 1) (with fold bifurcation); | ||
Saddle | Otherwise. |
The following statement gives the sufficient and necessary criteria for the local stability of the interior fixed point of model (8) according to [48]. For more information, we refer to Figure 1. The region for the stability (topological classification) of fixed point Ef in two-parameter (r, b)-space is presented in Figure 1(a). The time scale is crucial when interpreting stability regions, especially for identifying the behavior of dynamical systems over time. It describes how quickly a system evolves toward stability or instability near a fixed point. The PD curve represents a boundary where periodic solutions double their period, eventually leading to chaotic dynamics. The NS curve shows where fixed points lose stability through a Hopf bifurcation, leading to oscillations. Stability regions are labeled where different system dynamics arise (color:system dynamics at a fixed point). Red: unstable node, pink: unstable spiral, green: stable node, blue: stable spiral, and yellow: saddle. The dashed line divides the space to identify the nature of multipliers: above the dashed line, the multipliers are real, while on the other side, the multipliers are complex. Therefore, below the NS curve, the solutions are stable (e.g., spirals or nodes), whereas above the NS curve or PD curve, instability arises, potentially leading to chaotic or oscillatory behavior. To illustrate the effect of memory on the dynamics of model (8), a three-dimensional Figure 1(b) is depicted.


Proposition 1. When b > d, the interior fixed point Ef is
- •
sink if
- 1.
Δ ≥ 0 and b > drρα(2Γ(α + 1) + dρα)/(4Γ(α + 1)2 + drρ2α)
- 2.
Δ < 0 and b < ρ−αΓ(α + 1) + d
- 1.
- •
source if
- 1.
Δ ≥ 0 and b < drρα(2Γ(α + 1) + dρα)/(4Γ(α + 1)2 + drρ2α)
- 2.
Δ < 0 and b > ρ−αΓ(α + 1) + d
- 1.
- •
nonhyperbolic if
- 1.
Δ ≥ 0 and b = drρα(2Γ(α + 1) + dρα)/(4Γ(α + 1)2 + drρ2α)
- 2.
Δ < 0 and b = ρ−αΓ(α + 1) + d
- 1.
- •
saddle for any other parameter values outside of the ones listed above.
3. Bifurcation Analysis
3.1. One-Parameter Bifurcations at Fixed Points
A dynamical system bifurcates when different parameters cause a qualitative shift in the dynamics of the system. Its codimension is the number of parameters that need to be altered for the occurrence of bifurcation. In equivalent terms, the number of equality conditions characterizing a bifurcation is the codimension. Using bifurcation theory [37, 49], parameter b is considered as a bifurcation parameter, while the remaining parameters are fixed to explore the codimension-1 bifurcations: Transcritical (TC), PD, and NS bifurcations at Ef.
3.1.1. PD Bifurcation
Theorem 1. The critical value d = b for E1 causes a TC bifurcation in map (14).
Proof 1. The multipliers of
Therefore, on the unit circle, matrix A(E1, μTC) has a simple multiplier of one if . Thus, at critical parameter, F(E1, μTC) can be expressed in the normal form as
As a result,
Remark 1. Since βTC,1 ≠ 0, E1 develops a TC bifurcation because it is always the fixed point and will never disappear.
Theorem 2. At d = 2ρ−αΓ(α + 1) + b for E1, a PD occurs in map (14).
Proof 2. The multipliers of
The 1-D center manifold of map (14) at d = 2ρ−αΓ(α + 1) + b is taken as
On the unit circle, matrix A(E1, μPD) has a simple multiplier of −1 if . Thus, at critical parameter, F(E1, μPD) can be expressed in the normal form as
As a result,
Remark 2. As long as the PD is generic, βPD,1 ≠ 0. When βPD,1 > 0, the PD displays supercritical behavior; if βPD,1 < 0, then subcritical behavior is displayed. It is evident from a biological perspective that both species can live together.
Theorem 3. At b = drρα(2Γ(α + 1) + dρα)/(4Γ(α + 1)2 + drρ2α) for Ef, a PD takes place in map (14).
Proof 3. The multipliers of
The 1-D center manifold of map (14) at b = drρα(2Γ(α + 1) + dρα)/(4Γ(α + 1)2 + drρ2α) is taken as
On the unit circle, matrix A(Ef, μPD) has a simple multiplier of −1 if . Thus, at critical parameter, F(Ef, μPD) can be expressed in the normal form as
As a result,
Remark 3. As long as the PD is generic, βPD,f ≠ 0. When βPD,f > 0, the PD displays supercritical behavior; if βPD,f < 0, then subcritical behavior is displayed. It is evident from a biological perspective that both species can live together.
3.1.2. NS Bifurcation
Theorem 4. At b = ρ−αΓ(α + 1) + d, a NS bifurcation takes place for Ef.
Proof 4. The multipliers of
The 1-D center manifold of map (8) at r = (2ab − 2a − b2 + 2b)/b is taken as
If , matrix A(Ef, μNS) has a pair of conjugate multipliers approaching the unit circle. So, F(Ef, μNS) can be expressed in the normal form at a specific parameter value
As a result,
Remark 4. As long as , the NS bifurcation is generic. In the case that αNS,∗ > 0, the bifurcation is supercritical; if αNS,∗ < 0, it is subcritical.
3.2. Strong Resonance Bifurcations
Codimension-2 bifurcations [37, 49, 50] near the fixed point Ef are addressed in this section. The bifurcation parameters r and b are considered here.
3.2.1. Resonance 1:2 Bifurcation
Theorem 5. Map (14) exhibits a strong resonance 1:2 bifurcation at the fixed point Ef for r = (4ρ−2αΓ(α + 1)(Γ(α + 1) + dρα))/d and b = ρ−α(Γ(α + 1) + dρα).
Proof 5. The resonance 1:2 bifurcation takes place at the fixed point Ef when the corresponding Jacobian matrix ℷ(Ef) has two multipliers with trace(ℷ(Ef)) = −2, Det(ℷ(Ef)) = 1. It implies that at r = (4ρ−2αΓ(α + 1)(Γ(α + 1) + dρα))/d, b = ρ−α(Γ(α + 1) + dρα), the Jacobian matrix
As a result,
So, and can be derived as follows:
Remark 5. The nondegeneracy of the resonance 1:2 bifurcation is demonstrated by and . The sign of determines the behavior of a fixed point: if , the bifurcation is supercritical, and if , a NS bifurcation curve emerges. The occurrence of the resonance 1:2 bifurcation is governed by the coefficient .
3.2.2. Resonance 1:3 Bifurcation
Theorem 6. For r = (3ρ−2αΓ(α + 1)(Γ(α + 1) + dρα))/d and b = ρ−α(Γ(α + 1) + dρα), map (14) shows resonance 1:3 bifurcation at the fixed point Ef.
Proof 6. The resonance 1:3 bifurcation arises at fixed point Ef when the corresponding Jacobian matrix ℷ(Ef) has two complex conjugate eigenvalues e(±2πi/3) with trace(ℷ(Ef)) = 1, Det(ℷ(Ef)) = 1. It shows that at r = (3ρ−2αΓ(α + 1)(Γ(α + 1) + dρα))/d, b = ρ−α(Γ(α + 1) + dρα), the Jacobian matrix
As a result,
So, can be derived as follows:
For reducing the complexity, we set α = 0.875, a = 0.94, d = 0.5, and ρ = 0.75 and we obtain .
Remark 6. and indicate that the bifurcation is generic. The stability of an invariant curve with period-3, which bifurcates from the fixed point near the R3 point, is determined by the coefficient .
3.2.3. Resonance 1:4 Bifurcation
Theorem 7. The map (14) shows resonance 1:4 bifurcation at the fixed point Ef for r = (2ρ−2αΓ(α + 1)(Γ(α + 1) + dρα))/d and b = ρ−α(Γ(α + 1) + dρα).
Proof 7. When the associated Jacobian matrix ℷ(Ef) has two complex conjugate multipliers e±πi/2 with trace(ℷ(Ef)) = 0, Det(ℷ(Ef)) = 1, the resonance 1:4 bifurcation occurs at the fixed point Ef. It implies that at r = (2ρ−2αΓ(α + 1)(Γ(α + 1) + dρα))/d and b = ρ−α(Γ(α + 1) + dρα), the Jacobian matrix
As a result,
So and can be derived as follows:
Remark 7. and indicate that the resonance 1:4 bifurcation is generic. The value of determines the bifurcation scenario, indicating that both species remain stable in high periodic cycles up to the fourth order, near certain critical parameter values.
4. Numerical Simulation
This section displays phase portraits, bifurcation diagrams, and Lyapunov exponents obtained from numerical simulations. The analytical results have been verified using the MATLAB toolbox MatContM [51, 52].
4.1. One-Parameter Bifurcations at Ef
-
For PD, x = (0.803610 0.556438 1.493261), normal form coefficient of PD = 1.334768e − 01.
-
For NS, x = (0.437051 1.595021 2.745673), normal form coefficient of NS = −9.967657e − 01.

As the parameter b varies, the predator–prey model (8) displays significantly more complex behavior. The bifurcation diagram shown in Figure 3 reveals that the model undergoes both PD and NS bifurcations when the parameter b reaches its critical value. Initially, the model exhibits chaotic dynamics for small values of b. However, as b increases, the chaotic behavior suddenly ceases through a PD bifurcation at approximately b ~ 1.49326, leading the model to transition into a stable state. Subsequently, a NS bifurcation occurs at b ~ 2.74567, which then initiates a return to chaotic dynamics. For instance, if ∈[1.25, 1.49326)(b ∈ (1.49326, 1.87867)), eigenvalues of the Jacobian matrix at Ef are real with magnitudes greater than 1 (less than 1), and the fixed point is a saddle (stable node). In contrast, if ∈(1.87867, 2.74567)(b ∈ (2.74567, 3.791]), eigenvalues are complex with magnitudes lower than 1 (higher than 1), and the fixed point is a stable spiral (unstable spiral). The maximum Lyapunov exponents (MLEs) associated with Figure 3(a) are presented in Figure 3(b), confirming the dynamic transition of model (8) from chaotic regimes to stable windows and vice versa. For the eigenvalues λi, (i = 1, 2), the time scales are given by τi = 1/|ln(λi)|. For real eigenvalues, τi represents the rate at which perturbations decay or grow and for complex eigenvalues, the real part determines the decay/growth rate, while the imaginary part determines oscillation frequency. The eigenvalues and time scales as a function of bifurcation parameter b are shown in Figures 3(b) and 3(d). These plots show that there is a point where the magnitude of one eigenvalue becomes 1, indicating a change in stability, which corresponds to a bifurcation. On the other hand, as b approaches some key points, the time scales increase noticeably, suggesting that the system slows down near the bifurcation points. As a result, this analysis helps to identify regions in which the dynamics of the system undergoe significant qualitative changes due to bifurcations.




Figure 4 clearly demonstrates that as the parameter b increases, model (8) exhibits alternating behavior between periodic or quasiperiodic states and invariant cycles or chaotic states. For various values of b, the phase portraits of model (8) corresponding to Figure 3, are depicted in Figure 4. These portraits illustrate the stable fixed point for 1.49326 < b < 2.74567, the presence of period-6, and -30 orbits at approximately b ~ 3.26 and b ~ 3.332, respectively. An invariant closed curve occurs at b ~ 2.77 and a breakdown of invariant curve exists for b ~ 3.12 as well as a fully dense chaotic attractor in model (8) at b ~ 3.791. The stability of the bifurcated closed invariant curve suggests that both populations persist in the same environment and their populations may fluctuate but do not become extinct.

Now, the PD point in Figure 2 is selected. At EPD,∗ = (0.8036100.556438) for b = 1.49326, there is a PD bifurcation with βPD,∗ = 1.334768e − 01. Figure 5 illustrates how a curve emanating from a PD bifurcation causes the period to double. For b = 2.745673, a NS bifurcation takes place at ENS,∗ = (0.4370511.595021) with βNS,∗ = −9.967657e − 01. It concludes that the bifurcation is supercritical since βNS,∗ < 0. It means that the system transitions to a stable quasiperiodic behavior as the bifurcation parameter is varied, leading to the emergence of a stable invariant torus around the fixed point.

Remark 8. Chaos is often thought to be indicated by positive Lyapunov exponents. The exponents also ensure the emergence of stable periodic windows or stable fixed points within a chaotic region. At b < 1.49326 or b > 2.74567, the greatest Lyapunov exponent is seen in Figure 3(b), confirming the presence of chaos.
4.2. Effects of the Fractional-Order of Model (8) at Ef
The Caputo fractional derivative allows for the incorporation of memory effects and nonlocal interactions into the model, meaning that the future state of the system depends not only on its current state but also on its past states. When applied to discrete prey–predator models, this fractional derivative can lead to the emergence of chaotic behaviors that enhance understanding of species interactions and their long-term implications. The fractional-order α (where 0 < α < 1) controls the extent of the memory effect. A lower α means a stronger memory effect, leading to a slower response of the system to changes in population. A bifurcation diagram concerning α and the maximum Lyapunov exponents is also depicted in Figure 6. The phase diagrams are illustrated in Figure 7 for various values of α near the NS point. It illustrates that the stability of Ef in the prey–predator model (8) is influenced by the fractional-order α. In this case, the model exhibits stable behavior for α > 0.75, while for others, it becomes unstable or even chaotic.


4.3. Two-Parameters Bifurcations at Ef
-
Label for R4, x = (0.437051 2.654560 7.073186 2.745673 0.000000) NFC of R4: A = −9.946486e − 01 + 6.335467e − 01 i
-
Label for R3, x = (0.437051 3.981841 10.609779 2.745673 −0.500000) NFC of R3: Re(c1) = −4.141776e − 01
-
Label for R2, x = (0.437051 5.309121 14.146372 2.745673 −1.000000) NFC of R2: [c, d] = 8.234240e − 01, −1.134260e + 01

- •
For r = 7.073186 and b = 2.745673, a resonance 1:4 bifurcation (R4) occurs at ER4,∗ = (0.114569, 15.927385) with . As Figure 8 illustrates, the R4 point of the model (8) is the source of the fourth iterate’s two-fold curves since .
- •
For r = 10.609779 and = 2.745673 , a resonance 1:3 bifurcation (R3) appears at ER3,∗ = (0.114569, 23.891078) with .
- •
For r = 14.146372 and = 2.745673 , a resonance 1:2 bifurcation (R2) exists at ER2,∗ = (0.114569, 31.854770) with .
Next, we identify the region near the resonance 1:3 by choosing the R3 point in Figure 8. In this region, a closed invariant curve appears to coexist with an unstable fixed point; this curve, known as the NS curve, originates at the R3 point in the third iteration and is also depicted in the same Figure 8. The occurrence of the resonance 1:3 bifurcation at this point leads to the instability of the fixed point Ef. As a result, a neutral saddle bifurcation curve emerges, originating from the R3 point. This Figure 8 describes transitions and bifurcations in a system as parameters r and b change. The green LP curve indicates the onset of saddle-node bifurcation, and its complex looping suggests the coexistence of multiple equilibria. The resonance points (R2, R3, and R4) indicate special parameter values where significant changes occur, such as bifurcation or critical transitions. The system passes through regions where bifurcations (PD or NS) occur. Transitions between stable, unstable, or oscillatory states depend on the relative position of these curves.
The resonance 1:4 bifurcation diagram corresponding to Figure 8 is depicted in Figure 9. It shows that the closed invariant curve becomes less smooth at fixed point Ef and eventually breaks apart as a saddle cycle of period-4 appears. After that, the trajectory changes to orbits with period-4, which then leads to chaotic behavior.

When two additional parameters go over their critical thresholds, the dynamics of model (8) might become more complex. The plots of the bifurcation diagram, 3D MLEs, 3D Lyapunov spectrum and its 2D projection, and 2D projection of 3D fractal dimension for (b, r) ∈ [1.0, 3.8] × [2.0, 5.0], and other parameter values as in Section 4.3 are shown in Figure 10. For α = 0.65, the 2D projection of the 3D Lyapunov spectrum and 3D fractal dimension are presented in Figure 11. These graphics serve as a tool to see how the system dynamics alter qualitatively as parameter values rise. Finding control parameter values for which model (8) dynamics are nonchaotic, periodic, or chaotic is straightforward. Consequently, the system dynamics remarkably shift along the route chaotic–static–chaotic when the values of the control parameters b and r grow, respectively. Furthermore, it illustrates that memory effects (decreasing the α value) influence the emergence of chaotic behavior in the system.







4.4. Comparison of System (7) With Model (8)
Understanding the impact of memory on prey–predator dynamics, numerical simulations are presented for discrete model (7) to demonstrate that the discrete model (8) exhibits more complex dynamic behaviors. Let the parameters be δ = 0.45, r = 3, a = 4, b = 4, and d = 2 [36]. It follows that both models (7) and (8) admit the same positive fixed point Ef = (1/2, 3/8). We fixed that α = 0.75 and ρ = 0.308137. The phase portraits are depicted in Figure 12(a). However, smaller values of α show that model (8) has much richer dynamic behaviors than model (7) (Figures 12(b) and 12(c)). Therefore, it can be concluded that memory effects in prey–predator dynamics are essential for effective ecosystem management and conservation efforts.



5. Chaos Control
The eigenvalues with a magnitude smaller than 1 are maintained in the triangular region in the (k1, k2)-plane, bordered by l1, l2, and l3.
From the stability region in Figure 13(a), the feedback gains are choosen as k1 = 2.6 and k2 = 0.4. The chaotic trajectory is then stabilized as shown in Figure 13(b).


6. Discussion and Ecological Implications
In an ecosystem, there exist different types of interaction among species such as prey–predator, competition, and mutualism. In prey–predator models, prey compete with each other for general resources and predators consume the prey population to survive. Applying Caputo’s fractional derivative to prey–predator models captures important ecological dynamics that classical models often overlook. Incorporating memory effects, nonlocal interactions, and complex oscillatory behaviors provides a more realistic framework for understanding prey–predator systems in real-world contexts. This approach is especially relevant for ecologists and conservationists, as it offers deeper insights into the persistence and sustainability of species interactions and helps predict the long-term impacts of environmental changes on ecosystems.
This study analyzed PD bifurcation, NS bifurcation, and strong resonance, 1 : 2, 1 : 3, and 1 : 4, bifurcations of biologically significant positive fixed point, denoted by Ef, and also analyzed their critical coefficients to investigate the dynamics around the bifurcation point and to assess their nondegeneracy.
At the PD bifurcation point (Figure 2), the eigenvalues associated with the fixed point shift from having negative real parts (indicating a stable fixed point) to positive real parts (indicating an unstable fixed point), or the reverse. In ecological terms, a PD bifurcation (Figure 5) suggests that as a parameter changes, the discrete-time system shifts from a fixed point to a cycle of period-2, indicating that prey and predator populations might coexist under specific conditions. This bifurcation can lead to significant changes in species densities and competition for shared resources, potentially resulting in chaotic dynamics within the population cycles.
The NS bifurcation (Figure 3) involves a qualitative change in the dynamical system. It indicates the onset of a periodic orbit in the system, triggered when a pair of complex conjugate eigenvalues cross the unit circle at the NS bifurcation point. The NS bifurcation marks a transition from a stable fixed point to a stable limit cycle, leading to fluctuations in population size.
The occurrence of strong resonance bifurcation can impact the stability of an ecosystem to a great extent as it can severely fluctuate population size. When R2 bifurcation (Figure 8) occurs at a fixed point, it indicates that NS, heteroclinic, and pitchfork bifurcations could happen in the neighborhood of the fixed point. Chaotic behavior and the formation of new stable orbits might result from R3 bifurcation. The R3 bifurcation suggests that an invariant curve with period-3 bifurcates from the stationary point (Figure 8). In the case of the R4 bifurcation (Figure 9), it indicates that prey and predator populations may coexist in stable limit cycles up to order-4 around certain parameter values.
In general, the study of bifurcations (Figures 10 and 11) in the discrete prey–predator model helps readers understand how the model exhibits qualitative changes in behavior, such as population crashes or chaotic fluctuations. Gaining these insights makes it possible to control unpredictable changes in the ecosystem.
7. Conclusion
This paper explores the discrete-time prey–predator model (8) using the Caputo fractional derivative, with an emphasis on stability, bifurcation analysis, and chaos control. The study provides an in-depth examination of the existence and stability of fixed points. In addition, both analytical and numerical methods are employed to demonstrate that the model can exhibit strong resonance bifurcation, NS bifurcation, and PD bifurcation under certain parameter conditions. The existence criteria for these bifurcations are derived using the center manifold theory. By varying the control parameters, bifurcation diagrams, phase portraits, and the corresponding largest Lyapunov exponents are generated. To investigate and ascertain the nondegeneracy of the dynamics in the vicinity of the bifurcation point, we have examined the strong resonance 1 : 2, 1 : 3, and 1 : 4 bifurcations of biologically relevant interior fixed points, indicated by Ef. The memory effects of the prey–predator model (8) have been implemented. In addition, a comparison to numerical simulations of system (8) with system (6) clearly demonstrates that, under specific parameter values, system (8) can effectively describe the same biological phenomena as system (6) from a modeling perspective. However, system (8) exhibits far more complex dynamic behavior as the fractional order varies.
In conclusion, this study not only extends the theoretical foundation of prey–predator modeling but also offers practical insights that can improve ecological management and conservation efforts. By incorporating memory effects and nonlocal interactions, the fractional order model provides a more realistic and flexible tool for understanding the complex dynamics of the prey–predator system, while traditional models offer insights into basic population dynamics. This approach has the potential to reshape how ecologists and modelers approach population dynamics in diverse ecosystems, ultimately contributing to more sustainable and informed ecological management practices. The presence of other codimension-2 bifurcations and the influence of fractional derivatives on prey–predator dynamics are significant and valuable areas for future research.
Conflicts of Interest
The authors declare no conflicts of interest.
Author Contributions
R.A.: methodology, conceptualization, software, formal analysis, and original draft writing. S.R.S.M: investigation, validation, writing, review, editing, and visualization.
Funding
This work was partially supported by the University Grant Commission (UGC), Govt. of Bangladesh, project number: (Physical Sciences/2022-2023/48).
Acknowledgments
We are deeply grateful to the editor for managing the manuscript and offering insightful comments and suggestions that have significantly enhanced both the mathematical quality and the overall presentation of this work.
Open Research
Data Availability Statement
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.