The dynamics of a harvested predator-prey system with Holling type IV functional response

The paper aims to investigate the dynamical behavior of a predator-prey system with Holling type IV functional response in which both the species are subject to capturing. We mainly consider how the harvesting affects equilibria, stability, limit cycles and bifurcations in this system. We adopt the method of qualitative and quantitative analysis, which is based on the dynamical theory, bifurcation theory and numerical simulation. The boundedness of solutions, the existence and stability of equilibrium points of the system are further studied. Based on the Sotomayor's theorem, the existence of transcritical bifurcation and saddle-node bifurcation are derived. We use the normal form theorem to analyze the Hopf bifurcation. Simulation results show that the first Lyapunov coefficient is negative and a stable limit cycle may bifurcate. Numerical simulations are performed to make analytical studies more complete. This work illustrates that using the harvesting effort as control parameter can change the behaviors of the system, which may be useful for the biological management.