Coexistence of a diffusive predator–prey model with Holling type-II functional response and density dependent mortality

In this paper, we consider a two competitor–one prey diffusive model in which both competitors exhibit Holling type-II functional response and one of the competitors exhibits density dependent mortality rate. First, we study the local and global existence of strong solution by using the C 0 analytic semigroup. Then, we consider the local and global stability of the positive constant equilibrium by using the linearization method and Laypunov functional method, respectively. Furthermore, we derive some results for the existence and non-existence of non-constant stationary solutions when the diffusion rate of a certain species is small or large. The existence of non-constant stationary solutions implies the possibility of pattern formation in this system.