Effects of extra resource and harvesting on the pattern formation for a predation system

We deal with a reaction–diffusion predation system with extra resource provided to predator and harvesting on prey. We first discuss the long-time behaviors of parabolic system, including the dissipativeness and persistence of positive solutions. It is shown that under certain constraints of harvesting, the quality of extra resource, the predation and transition rates of predator, the dissipativeness is compatible with persistence. Secondly, some properties of steady-state system are investigated, mainly including the existence of non-constant positive solutions, Turing and steady-state bifurcation phenomena. It is found that the extra resource, prey harvesting and diffusion have significant impacts on the pattern formations. Furthermore, some numerical simulations on Turing patterns and steady-state bifurcation solutions are performed to illustrate the theoretical analysis. We observe that when the quantity of extra resources is low, changes in the quality of extra resources can lead to significant changes in the spatial distribution of species, which is in sharp contrast to the case of high quantity of extra resource. Additionally, we conclude that different diffusion rates of predator can lead to different spatial patterns for the system.