Interaction between prey and mutually interfering predator in prey reserve habitat: Pattern formation and the Turing-Hopf bifurcation

In this paper, we propose a diffusive prey-predator system with mutually interfering predator (Crowley-Martin functional response) and prey reserve. In particular, we develop and analyze both spatially homogeneous model based on ordinary differential equations and reaction-diffusion model. We mainly investigate the global existence and boundedness of positive solution, stability properties of homogeneous steady state, non-existence of non-constant positive steady state, conditions for Turing instability and Hopf bifurcation of the diffusive system analytically. Conventional stability properties of the non-spatial counterpart of the system are also studied. The analysis ensures that the prey reserve leaves stabilizing effect on the stability of temporal system. The prey reserve and diffusive parameters leave parallel impact on the stability of the spatio-temporal system. Furthermore, we illustrate the spatial patterns via numerical simulations, which show that the model dynamics exhibits diffusion controlled pattern formation by different interesting patterns.