Boundedness and global stability for a predator-prey system with the Beddington-DeAngelis functional response (Q1958921)

Summary: We study the qualitative behavior of a class of predator-prey models with Beddington-DeAngelis-type functional response, primarily from the viewpoint of permanence (uniform persistence). The Beddington-DeAngelis functional response is similar to the Holling type-II functional response but contains a term describing mutual interference by predators. We establish criteria under which we have boundedness of solutions, existence of an attracting set, and global stability of the coexisting interior equilibrium via Lyapunov functions.