Global Dynamics of a Three Species Predator-Prey Competition Model with Holling type II Functional Response on a Circular Domain

This paper is devoted to the study of a three species ecosystem model consisting of a prey, a predator and a top predator. This model is given by a reaction diffusion system defined on a circular spatial domain and incorporates the Holling type II and a modified Leslie- Gower functional response. The aim of this paper 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 and attracting set are proved. Sufficient conditions of local/global stability of the positive steady state are established. In the end, we present a numerical evidence of time evolution of the pattern formation.