Diffusion has long been known to induce pattern formation in predator prey systems. For certain prey-predator interaction systems, self diffusion conditions ceases to induce patterns, i.e., a non-constant positive solution does not exist, as seen from the literature. We investigate the effect of cross diffusion on the pattern formation in a tritrophic food chain model. In the formulated model, the prey interacts with the mid level predator in accordance with Holling Type II functional response and the mid and top level predator interact via Crowley-Martin functional response. We prove that the stationary uniform solution of the system is stable in the presence of diffusion when cross diffusion is absent. However, this solution is unstable in the presence of both self diffusion and cross diffusion. Using a priori analysis, we show the existence of a inhomogeneous steady state. We prove that no non-constant positive solution exists in the presence of diffusion under certain conditions, i.e., no pattern formation occurs. However, pattern formation is induced by cross diffusion because of the existence of non-constant positive solution, which is proven analytically as well as numerically. We performed extensive numerical simulations to understand Turing pattern formation for different values of self and cross diffusivity coefficients of the top level predator to validate our results. We obtained a wide range of Turing patterns induced by cross diffusion in the top population, including floral, labyrinth, hot spots, pentagonal and hexagonal Turing patterns.
Existence of steady-state solutions for a class of competing systems with cross-diffusion and self-diffusion
