Patterns induced by super cross-diffusion in a predator-prey system with Michaelis-Menten type harvesting

Turing instability and pattern formation in a super cross-diffusion predator-prey system with Michaelis-Menten type predator harvesting are investigated. Stability of equilibrium points is first explored with or without super cross-diffusion. It is found that cross-diffusion could induce instability of equilibria. To further derive the conditions of Turing instability, the linear stability analysis is carried out. From theoretical analysis, note that cross-diffusion is the key mechanism for the formation of spatial patterns. By taking cross-diffusion rate as bifurcation parameter, we derive amplitude equations near the Turing bifurcation point for the excited modes by means of weakly nonlinear theory. Dynamical analysis of the amplitude equations interprets the structural transitions and stability of various forms of Turing patterns. Furthermore, the theoretical results are illustrated via numerical simulations.