Qualitative analysis of a predator–prey model with Holling type II functional response incorporating a prey refuge

We study a predator–prey model with Holling type II functional response incorporating a prey refuge under homogeneous Neumann boundary condition. We show the existence and non-existence of non-constant positive steady-state solutions depending on the constant m (0,1], which provides a condition for protecting (1−m)u of prey u from predation. Moreover, we investigate the asymptotic behavior of spacially inhomogeneous solutions and the local existence of periodic solutions.