Nonconstant Positive Steady States and Pattern Formation of 1D Prey-Taxis Systems

Abstract

Prey-taxis is the process that predators move preferentially toward patches with highest density of prey. It is well known to have an important role in biological control and the maintenance of biodiversity. To model the coexistence and spatial distributions of predator and prey species, this paper concerns nonconstant positive steady states of a wide class of prey-taxis systems with general functional responses over 1D domain. Linearized stability of the positive equilibrium is analyzed to show that prey-taxis destabilizes prey–predator homogeneity when prey repulsion (e.g., due to volume-filling effect in predator species or group defense in prey species) is present, and prey-taxis stabilizes the homogeneity otherwise. Then, we investigate the existence and stability of nonconstant positive steady states to the system through rigorous bifurcation analysis. Moreover, we provide detailed and thorough calculations to determine properties such as pitchfork and turning direction of the local branches. Our stability results also provide a stable wave mode selection mechanism for thee reaction–advection–diffusion systems including prey-taxis models considered in this paper. Finally, we provide numerical studies of prey-taxis systems with Holling–Tanner kinetics to illustrate and support our theoretical findings. Our numerical simulations demonstrate that the $$2\times 2$$ prey-taxis system is able to model the formation and evolution of various striking patterns, such as spikes, periodic oscillations, and coarsening even when the domain is one-dimensional. These dynamics can model the coexistence and spatial distributions of interacting prey and predator species. We also give some insights on how system parameters influence pattern formation in these models.