Turing Instability and Hopf Bifurcation in a Modified Leslie–Gower Predator–Prey Model with Cross-Diffusion

This paper is concerned with some mathematical analysis and numerical aspects of a reaction–diffusion system with cross-diffusion. This system models a modified version of Leslie–Gower functional response as well as that of the Holling-type II. Our aim is to investigate theoretically and numerically the asymptotic behavior of the interior equilibrium of the model. The conditions of boundedness, existence of a positively invariant set are proved. Criteria for local stability/instability and global stability are obtained. By using the bifurcation theory, the conditions of Hopf and Turing bifurcation critical lines in a spatial domain are proved. Finally, we carry out some numerical simulations in order to support our theoretical results and to interpret how biological processes affect spatiotemporal pattern formation which show that it is useful to use the predator–prey model to detect the spatial dynamics in the real life