Pattern formation in diffusive predator-prey systems with predator-taxis and prey-taxis

A reaction-diffusion predator-prey system with prey-taxis and predator-taxis describes the spatial interaction and random movement of predator and prey species, as well as the spatial movement of predators pursuing prey and prey evading predators. The spatial pattern formation induced by the prey-taxis and predator-taxis is characterized by the Turing type linear instability of homogeneous state and bifurcation theory. It is shown that both attractive prey-taxis and repulsive predator-taxis compress the spatial patterns, while repulsive prey-taxis and attractive predator-taxis help to generate spatial patterns. Our results are applied to the Holling-Tanner predator-prey model to demonstrate the pattern formation mechanism.