Mode Locking, Farey Sequence, and Bifurcation in a Discrete Predator-Prey Model with Holling Type IV Response

This paper presents and examines a discrete-time predator–prey model of the Leslie type, integrating a Holling type IV functional response for analysis. The mathematical analysis succinctly identifies fixed points and evaluates their local stability within the model. The study employs the normal form approach and bifurcation theory to explore codimension-one and two bifurcation behaviors for this model. The primary conclusions are substantiated by a combination of rigorous theoretical analysis and meticulous computational simulations. Additionally, utilizing fractal basin boundaries, periodicity variations, and Lyapunov exponent distributions within two-parameter spaces, we observe a mode-locking structure akin to Arnold tongues. These periods are arranged in a Farey tree sequence and embedded within quasi-periodic/chaotic regions. These findings enhance comprehension of bifurcation cascade emergence and structural patterns in diverse biological systems with discrete dynamics.