Analysis of Solutions of the Holling-Tanner Model

In this paper we consider a kind of predator-prey model named Holling-Tanner model. Firstly, we prove all solutions of this model to be bounded from above. Secondly, we find a positive invariant set of the model, and prove the existence of stable limit cycle in this invariant set by Poincaré-Bendixson theorem for the unstable equilibrium. Thirdly, we get the region of parameters in which the corresponding stable equilibrium are also globally asymptotically stable. Lastly, we give a bifurcation diagram and illustration with two limit cycles for special parameters through numerical simulation. By our knowledge, the invariant set constructed in this paper is better than that in the book written by Murray.