Dynamics of the density dependent predator–prey system with Beddington–DeAngelis functional response

Two models of a density dependent predator–prey system with Beddington–DeAngelis functional response are systematically considered. One includes the time delay in the functional response and the other does not. The explorations involve the permanence, local asymptotic stability and global asymptotic stability of the positive equilibrium for the models by using stability theory of differential equations and Lyapunov functions. For the permanence, the density dependence for predators is shown to give some negative effect for the two models. Further the permanence implies the local asymptotic stability for a positive equilibrium point of the model without delay. Also the global asymptotic stability condition, which can be easily checked for the model is obtained. For the model with time delay, local and global asymptotic stability conditions are obtained.