Stability analysis of predator-prey system with migrating prey and disease infection in both species

We formulated and studied a predator-prey system with migrating prey and disease infection in both species. We used Lotka-Volterra type functional response. Mathematically, we analyzed the dynamics of the system such as existence of non negative equilibria, their stability. The basic reproduction number R0 for the proposed mathematical model is calculated. Disease is endemic if R0 > 1. Model is simulated by assuming hypothetical initial values and parameters.