摘要

A global analysis of a Holling type II predator-prey model with a constant prey refuge is presented. Although this model has been much studied, the threshold condition for the global stability of the unique interior equilibrium and the uniqueness of its limit cycle have not been obtained to date, so far as we are aware. Here we provide a global qualitative analysis to determine the global dynamics of the model. In particular, a combination of the Bendixson-Dulac theorem and the Lyapunov function method was employed to judge the global stability of the equilibrium. The uniqueness theorem of a limit cycle for the Lineard system was used to show the existence and uniqueness of the limit cycle of the model. Further, the effects of prey refuges and parameter space on the threshold condition are discussed in the light of sensitivity analyses. Additional interesting topics based on the discontinuous (or Filippov) Gause predator-prey model are addressed in the discussion.