We consider a predator-prey model where parasitic infection is spread in only predator population. We work out the local stability analysis of equilibrium point by the help of basic reproduction numbers. We also analyze the community structure of model system by the help of ecological as well as disease basic reproduction numbers. We derive Hopf bifurcation condition and permanence and impermanence of model system. We perform a numerical experiment and observe that parasitic infection in predator population stabilizes predator-prey oscillations.

1. Introduction

The effect of disease in ecological system is an important issue from mathematical as well as ecological point of view. So, in recent time ecologists and researchers are paying more and more attention to the development of important tool along with experimental ecology and describe how ecological species are infected. However, the first breakthrough in modern mathematical ecology was done by Lotka and Volterra for a predator-prey competing species. On the other hand, most models for the transmission of infectious diseases originated from the classic work of Kermack and Mc Kendrick [1]. After these pioneering works in two different fields, lots of research works have been done both in theoretical ecology and epidemiology. Anderson and May [2] were the first who merged the above two fields and formulated a predator-prey model where prey species were infected by some disease. In the subsequent time many authors [3–7] proposed and studied different predator-prey models in presence of disease.

Microparasites may be thought of as those parasites which have direct reproduction—usually at very high rates—within the host [8]. They tend to be characterized by small size and a short generation time. Hosts that recover from infection usually acquire immunity against reinfection for some time, and often for life. Although there are important exceptions, the duration of infection is typically short relative to the expected life span of the host. This feature, combined with acquired immunity, means that for individual hosts microparasitic infection is typically of a transient nature. Most viral and bacterial parasites, and many protozoan and fungal parasites, fall broadly into the microparasitic category [9]. In the natural world, no species can survive alone. While species spreads the disease, also competes with the other species for space or food, or is predated by other species. Predator-prey relationship can be important in regulating the number of prey and predators. For example, when a bounty was placed on natural predators such as cougars, wolves, and coyotes in the Kaibab Plateau in Arizona, the deer population increased beyond the food supply, and then over half of the deer died of starvation in 1923–1925 [10]. But predator control may be very important and essential in many situations. For example, one may consider the interaction between plant (prey) and pest (predator). Many pest species caused a fearful toll for human life by destroying plants like tea, potato, and maize. However, an infection in the predator (pest) may control the predator (pest) and lead the prey (plant) population to increase. This guess arises from the promising results of different experimental findings on plant-pest systems. For example, the pest Cydia pomonella in orchards [11] is controlled when granulosis virus is sprayed against C. pomonella. Successful pest control using virus is also reported by Caballero et al. [12] (by using granulosis virus against the pest Agrotis segetum in maize), Laarif et al. [13] (by using granulovirus (PoGV) against the pest Phthorimaea operculella in potato). The literature abounds with such evidences. In the last few decades, mathematical models have become extremely important tools in understanding and analyzing the spread and control of infectious diseases. On the other hand, a number of sophisticated predator-prey models are introduced and extensively studied in ecological literature. But a little attention had been paid on the effect of transmissible diseases when two or more species are in an ecological relationship between them. To the best of our knowledge, the influence of predation on epidemics has not yet been studied considerably, except the works of Anderson and May, [14] Hadeler and Freedman, [15] Hochberg [16], Venturino, [6, 17] Chattopadhyay and Arino [3], Han et al. [18], Xiao and Chen [7], Hethcote et al. [5], Greenhalgh and Haque [19], and Haque and Venturino [20, 21]. Most of these works have dealt with predator-prey models with disease in the prey (except Venturino [6], Haque and Venturino [20, 21]). Recently Auger et al. have studied the effects of a disease affecting a predator on the dynamics of a predator-prey system, and they have observed two possible asymptotic behaviours: either the predator population dies out and the prey tends to its carrying capacity, or the predator and prey coexist. In this latter case, the predator population tends either to a disease-free or to a disease-endemic state. Russell et al. have created a model of long-lived aged-structured shared prey and explored the nonequilibrium dynamics of the system and concluded that the superpredator can impact all prey life stages (adult survival and reproductive success) where the smaller mesopredator can only impact early life stages (reproductive success). They have also tested with data from a closed oceanic island system where eradication of introduced intraguild predators is possible for conservation of threatened birds. But the study of the dynamics of a predator-prey system with an infected predator has a great importance so long as the question of predator control is concerned. To the best of our knowledge, mathematical epidemiology almost remained silent in this issue.

Existing mathematical models suggest that disease introduction into the predator population tends to destabilize established predator-prey communities. This has been observed for microparasites with both direct [14, 21, 22] and indirect life cycles [23, 24]. Macroparasitic models generally have a tendency to unstable dynamics, because they consider the parasite burden in the host in an additional equation [23, 25]. Here we show that the scenario of destabilization does not always hold true. The effect of disease introduction can be quite the opposite, namely, to stabilize oscillatory predator-prey dynamics. We analyze the community structure of our model system with the help of ecological and disease basic reproduction numbers.

The paper is organized as follows. In the Section 2, we outline the mathematical model with some basic assumption. In Section 3 we study the stability of the equilibrium points and Hopf bifurcation and the permanence and impermanence of the system in Section 4. We give numerical results and discussion in Section 5. The paper ends with a conclusion.

2. Mathematical Model

In formulation of mathematical model we assume the following basic assumptions.(1)Let 𝑋 denote the population density of the prey, 𝑌 the population density of the susceptible predator, and 𝑍 the density of the infected predator, respectively, in time 𝑇.(2)We assume that in the absence of the predators the prey population density grows according to a logistic curve with carrying capacity 𝐾 (𝐾>0) and with an intrinsic growth rate constant 𝑟 (𝑟>0).(3)The parasite is assumed to be horizontally transmitted. We further assume that the parasite attacks the predator population only. Disease is transmitted in predator population at the rate 𝜆1 following the mass action law.

From the above assumptions we can write the following set of nonlinear ordinary differential equations:𝑑𝑋𝑋𝑑𝑇=𝑟𝑋1−𝑘−𝑐1𝑋(𝑌+𝑓𝑍)ğ‘Ž1,+𝑋𝑑𝑌=𝑚𝑑𝑇1𝑋(𝑌+𝑓𝑍)ğ‘Ž1+𝑋−𝑑1𝑌−𝜆1𝑌𝑍,𝑑𝑍𝑑𝑇=𝜆1𝑑𝑌𝑍−1+𝛼1𝑍.(2.1)

Here 𝑐1 is the predation rate of susceptible predator, 𝑐1𝑓 is the predation rate of infected predator, 𝜆1 is the infection rate, and ğ‘Ž1 is the half saturation constant. The infected predator is less able to hunt or to capture a prey than a susceptible predator, that is, the parasite has negative effect on the predation rate. Since microparasites affect the internal mechanisms of their hosts, therefore, the net gain from the consumption of preys must be different for susceptible and infected predators. From this viewpoint, we have chosen the different predation rates and conversion rates for susceptible and infected predators. The constant 𝑚1 is the conversion factor for the susceptible predator, and 𝑚1𝑓 is the conversion factor for the infected predator. The constant 𝑑1 is the parasite-independent mortality rate of predator. 𝛼1 denotes additional mortality rate of predator due to infection.

To reduce the number of parameters and to determine which combinations of parameters control the behavior of the system, we nondimensionalize the system with the following scalling: 𝑋𝑥=𝐾𝑌,𝑦=𝐾𝑍,𝑧=𝐾,𝑡=𝑟𝑇.(2.2)

Then the system (2.1) takes the form𝑑𝑥𝑑𝑡=𝑥(1−𝑥)âˆ’ğ‘Žğ‘¥(𝑦+𝑧),1+𝑏𝑥𝑑𝑦=𝑑𝑡𝑐𝑥(𝑦+𝑓𝑧)1+𝑏𝑥−𝑑𝑦−𝛽𝑦𝑧,𝑑𝑧𝑑𝑡=𝛽𝑦𝑧−𝑒𝑧,(2.3) where ğ‘ğ‘Ž=1ğ¾ğ‘Ÿğ‘Ž1𝐾,𝑏=ğ‘Ž1𝑚,𝑐=1ğ¾ğ‘Ÿğ‘Ž1𝑑,𝑑=1𝑟𝜆,𝛽=1𝑟𝑑,𝑒=1+𝛼1𝑟.(2.4)

System (2.3) has to be analyzed with the following initial conditions:𝑥(0)>0,𝑦(0)>0,𝑧(0)>0.(2.5)

3. Qualitative Analysis of Model System

3.1. Equilibria and Their Local Stability

The system has four equilibrium points. The trivial equilibrium point 𝐸0(0,0,0) and the axial equilibrium point 𝐸1(1,0,0) exist for all parametric values. Disease-free equilibrium point is 𝐸2(𝑥,𝑦,0), where 𝑑𝑥=,𝑐−𝑏𝑑𝑦=𝑐(𝑐−𝑏𝑑−𝑑).ğ‘Ž(𝑐−𝑏𝑑)(3.1) The existence conditions of disease-free equilibrium point is 𝑐−𝑏𝑑−𝑑>0, that is, 𝑅01=(1/𝑑)(𝑐/(1+𝑏))>1.

The interior equilibrium point is given by 𝐸∗(𝑥∗,𝑦∗,𝑧∗), where 𝑥∗ is the positive root of the equation𝑄1𝑥3+𝑄2𝑥2+𝑄3𝑥+𝑄4=0,(3.2) where 𝑄1𝑄=𝑏𝛽(𝑐𝑓−𝑏𝑒),2𝑄=𝛽(𝑐𝑓−𝑏𝑒)(1−𝑏)−𝑒𝑏𝛽,3𝑄=𝑒𝛽(𝑏−1)âˆ’ğ‘Žğ‘’(𝑐−𝑏𝑑)−(𝑐𝑓−𝑏𝑒)(ğ›½âˆ’ğ‘’ğ‘Ž),4𝑦=ğ‘Žğ‘’ğ‘‘+𝑒(ğ›½âˆ’ğ‘’ğ‘Ž),∗=𝑒𝛽,𝑧∗=𝛽1−𝑥∗1+ğ‘ğ‘¥âˆ—î€¸âˆ’ğ‘’ğ‘Ž.ğ‘Žğ›½(3.3)

The Jacobian matrix 𝐽 of the system (2.3) at any arbitrary point (𝑥,𝑦,𝑧) is given by⎡⎢⎢⎢⎢⎣1−2ğ‘¥âˆ’ğ‘Ž(𝑦+𝑧)(1+𝑏𝑥)2âˆ’ğ‘Žğ‘¥1+ğ‘ğ‘¥âˆ’ğ‘Žğ‘¥1+𝑏𝑥𝑐(𝑦+𝑓𝑧)(1+𝑏𝑥)2𝑐𝑥1+ğ‘ğ‘¥âˆ’ğ‘‘âˆ’ğ›½ğ‘§ğ‘ğ‘“ğ‘¥âŽ¤âŽ¥âŽ¥âŽ¥âŽ¥âŽ¦1+𝑏𝑥−𝛽𝑦0𝛽𝑧𝛽𝑦−𝑒.(3.4)

Theorem 3.1. The trivial equilibrium point 𝐸0 is always unstable. The axial equilibrium point 𝐸1 is locally stable if 𝑅01<1, where 𝑅01=(1/𝑑)(𝑐/(1+𝑏)). The disease-free equilibrium point 𝐸2 is locally asymptotically stable if (1+𝑏𝑥)2>ğ‘Žğ‘ğ‘¦ and 𝑅02<1 where 𝑅02=𝛽𝑦/𝑒.

Proof. Since one of the eigenvalues associated with the Jacobian matrix computed around 𝐸0 is 1>0, so the equilibrium point 𝐸0 is always unstable.
The Jacobian matrix at axial equilibrium point 𝐸1 is given by 𝐽1=⎡⎢⎢⎢⎣0𝑐−1001+ğ‘âˆ’ğ‘‘ğ‘ğ‘“âŽ¤âŽ¥âŽ¥âŽ¥âŽ¦1+𝑏00−𝑒.(3.5) The characteristic roots of the Jacobian matrix 𝐽1 are 𝑐/(1+𝑏)−𝑑 and −𝑒.
Hence 𝐸1 is stable if 𝑐/(1+𝑏)−𝑑<0 which implies 𝑅01<1 and unstable if 𝑅01>1, where 𝑅01=(1/𝑑)(𝑐/(1+𝑏)).
The Jacobian matrix at disease-free equilibrium point 𝐸2 is given by 𝐽2=âŽ¡âŽ¢âŽ¢âŽ¢âŽ¢âŽ¢âŽ£âˆ’ğ‘Žğ‘¥+𝑥𝑦𝑏1+𝑏𝑥2âˆ’ğ‘Žğ‘¥1+ğ‘ğ‘¥âˆ’ğ‘Žğ‘¥1+𝑏𝑥𝑐𝑦1+𝑏𝑥20𝑐𝑓𝑥1+𝑏𝑥−𝛽𝑦00ğ›½âŽ¤âŽ¥âŽ¥âŽ¥âŽ¥âŽ¥âŽ¦ğ‘¦âˆ’ğ‘’.(3.6)
The characteristic roots of the Jacobian matrix 𝐽2 are 𝛽𝑦−𝑒, and the roots of the equation 𝜆2+ğ‘¥îƒ©ğ‘Ž1−𝑦𝑏1+𝑏𝑥2𝜆+ğ‘ğ‘Žğ‘¥ğ‘¦î€·1+𝑏𝑥3=0.(3.7)
It is clear that 𝐸2 is stable if 1âˆ’ğ‘Žğ‘¦ğ‘/(1+𝑏𝑥)2>0, that is, (1+𝑏𝑥)2>ğ‘Žğ‘¦ğ‘ and 𝛽𝑦−𝑒<0, that is, 𝑅02=𝛽𝑦/𝑒<1 and unstable for 𝑅02=𝛽𝑦/𝑒>1.

3.2. Biological Significance of Threshold Parameters and Community Structure

We discuss here the biological significance of two threshold parameters obtained from stability analysis of equilibria points, each of which has clear and distinct biological meaning. We also discuss the community structure of model system with the help of these ecological and disease threshold parameters. We first define the ecological threshold parameter by 𝑅01=1𝑑𝑐1+𝑏(3.8) which determines the local stability of 𝐸1(1,0,0). Here 𝑐/(1+𝑏) is the birth rate of predator at 𝐸1, and 1/𝑑 is the mean lifespan of predator. Subsequently their product gives the mean number of newborn predators by a predator which can be interpreted as the ecological basic reproduction number at 𝐸1. We note that this term, first formulated and explained by Pielou [26], is the average number of prey converted to predator biomass in a course of the predator's life span [5]. Here 𝑅01 is denoted by ecological basic reproduction numbers according to Hsiesh and Hsiao [27]. 𝑅01<1 implies that the predators will become extinct and consequently there will be no chance of infection in predator population. Hence this condition results in 𝐸1 being locally asymptotically stable.

We define disease threshold parameter by 𝑅02=𝛽𝑦𝑒(3.9) which necessarily determines the local stability of disease-free equilibrium point 𝐸2(𝑥,𝑦,0). Here 𝛽𝑦 is the infection rate of a new infective predator appearing in a totally susceptible predator population, and 1/𝑒 is the duration of infectivity of an infective predator. Their product, that is, 𝑅02, gives the disease basic reproduction number of system. Here 𝑅02 is denoted by disease basic reproduction numbers according to Hsiesh and Hsiao [27]. It can be defined as the expected number of offspring a typical individual produces in its life or in epizootiology, as the expected number of secondary infections produced by a single infective individual in a completely susceptible population during its entire infectious period [28]. 𝑅02<1 implies the infected predators will become extinct and consequently disease will be eradicated from the system. Actually 𝑅02<1 is the necessary condition for local stability of 𝐸2. Here we have observed that disease-free equilibrium (DFE) is stable if 𝑅02<1 and unstable if 𝑅02>1. So entire community composition, that is, the persistence of (i) prey alone, (ii) prey and predator, and (iii) prey, predator, and disease, can be predicted by biologically meaningful reproduction numbers.

3.3. Local Stability of Interior Equilibrium Point and Hopf Bifurcation

Theorem 3.2. The interior point 𝐸∗(𝑥∗,𝑦∗,𝑧∗) of the system (2.1) exists, then 𝐸∗ is locally asymptotically stable if the following conditions hold: 1+𝑏𝑥∗2>ğ‘Žğ‘¦âˆ—ğ‘,𝑐𝑥∗1+𝑏𝑥∗<𝛽𝑧∗+𝑑.(3.10)

Proof. The Jacobian matrix at the interior point 𝐸∗(𝑥∗,𝑦∗,𝑧∗) is âŽ¡âŽ¢âŽ¢âŽ¢âŽ£ğ´ğ‘‰=11𝐴12𝐴13𝐴21𝐴22𝐴23𝐴31𝐴32𝐴33⎤⎥⎥⎥⎦,(3.11) where 𝐴11=−𝑥∗+ğ‘Žğ‘ğ‘¥âˆ—î€·ğ‘¦âˆ—+𝑧∗(1+𝑏𝑥∗)2,𝐴12=âˆ’ğ‘Žğ‘¥âˆ—1+𝑏𝑥∗,𝐴13=âˆ’ğ‘Žğ‘¥âˆ—1+𝑏𝑥∗,𝐴21=𝑐𝑦∗+𝑓𝑧∗(1+𝑏𝑥∗)2,𝐴22=𝑐𝑥∗1+𝑏𝑥∗−𝛽𝑧∗−𝑑,𝐴23=𝑐𝑓𝑥∗1+𝑏𝑥∗−𝛽𝑦∗,𝐴31=0,𝐴32=𝛽𝑧∗,𝐴33=0.(3.12) The characteristic equation of the Jacobian matrix is given by 𝜆3+ğœŽ1𝜆2+ğœŽ2𝜆+ğœŽ3=0,(3.13) where ğœŽ1𝐴=−11+𝐴22,ğœŽ2=𝐴11𝐴22−𝐴23𝐴32−𝐴12𝐴21,ğœŽ3=𝐴23𝐴32𝐴11−𝐴13𝐴21𝐴32,ğœŽ1ğœŽ2âˆ’ğœŽ3=−𝐴211𝐴22+𝐴11𝐴12𝐴21−𝐴11𝐴222+𝐴22𝐴23𝐴32+𝐴22𝐴12𝐴21+𝐴13𝐴21𝐴32.(3.14)

The sufficient conditions for ğœŽ1>0, ğœŽ3>0, and ğœŽ1ğœŽ2âˆ’ğœŽ3>0 are as follows: 𝐴11≤0,𝐴22≤0(3.15) which implies the conditions 1+𝑏𝑥∗2>ğ‘Žğ‘¦âˆ—ğ‘,𝑐𝑥∗1+𝑏𝑥∗<𝛽𝑧∗+𝑑.(3.16)

Thus, if the condition stated in the theorem holds, then all the Routh-Hurwitz criteria (i) ğœŽ1>0, (ii) ğœŽ1ğœŽ2âˆ’ğœŽ3>0, (iii) ğœŽ3>0 are satisfied, and the system (2.3) is locally asymptotically stable around the positive equilibrium point.

Theorem 3.3. The rate of infection 𝛽 crosses a critical value 𝛽∗, and the system enters into Hopfbifurcation around the positive equilibrium 𝐸∗ if the following conditions hold: (i)ğœŽ1(𝛽∗)>0;(ii)ğœŽ1(𝛽∗)ğœŽ2(𝛽∗)âˆ’ğœŽ3(𝛽∗)=0; (iii)[ğœŽ1(𝛽∗)ğœŽ2(𝛽∗)]<ğœŽî…ž3(𝛽∗).

Proof. We assume that the steady state 𝐸∗ is asymptotically stable; we would like to know if 𝐸∗ will lose its stability when one of the parameters changes. We choose 𝛽, the force of infection, as the bifurcation parameter; we can see that if there exists a critical value 𝛽∗ such that ğœŽ1𝛽∗>0,ğœŽ1î€·ğ›½âˆ—î€¸ğœŽ2î€·ğ›½âˆ—î€¸âˆ’ğœŽ3î€·ğ›½âˆ—î€¸î€ºğœŽ=0,1î€·ğ›½âˆ—î€¸ğœŽ2î€·ğ›½âˆ—î€¸î€»î…ž<ğœŽî…ž3𝛽∗,(3.17) for the Hopfbifurcation to occur at 𝛽=𝛽∗, the characteristic equation must be of the form 𝜆2𝛽∗+ğœŽ2𝛽∗𝜆𝛽∗+ğœŽ1𝛽∗=0,(3.18) which has three roots 𝜆1(𝛽∗)=𝑖pğœŽ2(𝛽∗), 𝜆2=−𝑖pğœŽ2(𝛽∗), 𝜆3=âˆ’ğœŽ1(𝛽∗)<0.
To see if Hopf bifurcation occurs at 𝛽=𝛽∗, we need to verify the transversality condition 𝑑Re(𝜆(𝛽))𝑑𝛽𝛽=𝛽∗≠0.(3.19)
For all 𝛽, the roots are in general of the form 𝜆1𝜆(𝛽)=𝜇(𝛽)+𝑖𝜈(𝛽),2𝜆(𝛽)=𝜇(𝛽)−𝑖𝜈(𝛽),3(𝛽)=âˆ’ğœŽ1(𝛽).(3.20)
Now, we will verify the transversality condition 𝜆𝑑Re𝑗(𝛽)𝑑𝛽𝛽=𝛽∗≠0,𝑗=1,2.(3.21) Substituting 𝜆𝑗(𝛽)=𝜇(𝛽)±𝑖𝜈(𝛽), into (3.18) and calculating the derivative, we have 𝐾(𝛽)ğœ‡î…ž(𝛽)−𝐿(𝛽)ğœˆî…ž(𝛽)+𝑀(𝛽)=0,𝐾(𝛽)ğœ‡î…ž(𝛽)+𝐿(𝛽)ğœˆî…ž(𝛽)+𝑁(𝛽)=0,(3.22) where 𝐾(𝛽)=3𝜇2(𝛽)+2ğœŽ1(𝛽)𝜇(𝛽)+ğœŽ2(𝛽)−3𝜈2(𝛽),𝐿(𝛽)=6𝜇(𝛽)𝜈(𝛽)+2ğœŽ1(𝑀𝛽)𝜈(𝛽),(𝛽)=𝜇2(𝛽)ğœŽî…ž1(𝛽)+ğœŽî…ž2(𝛽)𝜇(𝛽)+ğœŽî…ž3(𝛽)âˆ’ğœŽî…ž1(𝛽)𝜈2(𝛽),𝑁(𝛽)=2𝜇(𝛽)𝜈(𝛽)ğœŽî…ž1(𝛽)+ğœŽî…ž2(𝛽)𝜈(𝛽).(3.23)
Noticing that 𝜇(𝛽∗)=0, 𝜈(𝛽∗)=pğœŽ2(𝛽∗), we have 𝐾(𝛽)=−2ğœŽ2𝛽∗𝛽,𝐿∗=2ğœŽ1î€·ğ›½âˆ—î€¸î”ğœŽ2𝛽∗,𝑀𝜆∗=ğœŽî…ž3î€·ğ›½âˆ—î€¸âˆ’ğœŽî…ž1î€·ğ›½âˆ—î€¸ğœŽ2𝛽∗𝛽,𝑁∗=ğœŽî…ž2î€·ğ›½âˆ—î€¸î”ğœŽ2𝛽∗.(3.24)
Solving for 𝜇′(𝛽∗) from system (3.22) we have 𝜆𝑑𝑅𝑒𝑗(𝛽)𝑑𝛽𝛽=𝛽∗=𝜇′(𝛽)𝛽=𝛽∗𝐿𝛽=−∗𝑁𝛽∗𝛽+𝐾∗𝑀𝛽∗𝐾2𝛽∗+𝐿2𝛽∗=ğœŽî…ž3î€·ğ›½âˆ—î€¸âˆ’ğœŽî…ž1î€·ğ›½âˆ—î€¸ğœŽ2î€·ğ›½âˆ—î€¸âˆ’ğœŽ1î€·ğ›½âˆ—î€¸ğœŽî…ž2î€·ğ›½âˆ—î€¸ğœŽ21𝛽∗+ğœŽ2𝛽∗>0,(3.25) if [ğœŽ1(𝛽∗)ğœŽ2(𝛽∗)]′<ğœŽî…ž3(𝛽∗) and 𝜆3𝛽∗=âˆ’ğœŽ1𝛽∗<0.(3.26) Thus the transversality conditions hold, and hence Hopf bifurcation occurs at 𝛽=𝛽∗. Hence the theorem.

Remark 3.4. If there exists a critical value of force infection 𝛽∗ such that ğœŽ1(𝛽∗)>0, ğœŽ1(𝛽∗)ğœŽ2(𝛽∗)âˆ’ğœŽ3(𝛽∗)=0, and [ğœŽ1(𝛽∗)ğœŽ2(𝛽∗)]′<ğœŽî…ž3(𝛽∗), then when 𝛽>𝛽∗, the steady state 𝐸∗ is stable; when 𝛽=𝛽∗, 𝐸∗ loses its stability and the Hopf bifurcation occurs at 𝐸∗, and when 𝛽<𝛽∗, 𝐸∗ becomes unstable and a family of periodic solutions bifurcates from 𝐸∗.

4. Permanence and Impermanence

From biological point of view, permanence of a system means the survival of all populations of the system in future time. Mathematically, permanence of a system means that strictly positive solutions do not have omega limit points on the boundary of the nonnegative cone.

Theorem 4.1. If the condition 𝑅01>1 is satisfied and further if there exists a finite number of periodic solutions 𝑥=𝜙𝑟(𝑡), 𝑦=𝜓𝑟(𝑡), 𝑟=1,2,…,𝑛, in the 𝑥−𝑦 plane, then system (2.3) is uniformly persistent provided for each periodic solutions of period 𝑇, 𝜂𝑟1=−𝑒+𝑇𝑇0𝛽𝜓𝑟𝑑𝑡>0,(4.1)𝑟=1,2,…,𝑛.

Proof. Let 𝑝 be a point in the positive cone, 𝑜(𝑝) orbit through 𝑝, and Ω the omega limit set of the orbit through 𝑝. Note that Ω(𝑝) is bounded.
We claim that 𝐸0∉Ω(𝑝). If 𝐸0∈Ω(𝑝) then by the Butler-McGehee lemma [29] there exists a point ğ‘ž in ⋂𝑊Ω(𝑝)𝑠(𝐸0) where 𝑊𝑠(𝐸0) denotes the stable manifold of 𝐸0. Since o(ğ‘ž) lies in Ω(𝑝) and 𝑊𝑠(𝐸0) is the 𝑦−𝑧 plane, we conclude that o(ğ‘ž) is unbounded, which is a contradiction.
Next 𝐸1∉Ω(𝑥); for otherwise, since 𝐸1 is a saddle point which follows from the condition 𝑅01>1 by the Butler-McGehee lemma [29] there exists a point ğ‘ž in ⋂𝑊Ω(𝑝)𝑠(𝐸1). Now 𝑊𝑠(𝐸1) is the 𝑥−𝑧 plane which implies that an unbounded orbit lies in Ω(𝑝), a contradiction.
Lastly we show that no periodic orbit in the 𝑥−𝑦 plane or 𝐸2∈Ω(𝑝). Let 𝑟𝑖𝑖=1,2,…,𝑛 denote the closed orbit of the periodic solution (𝜙𝑟(𝑡),𝜓𝑟(𝑡)) in 𝑥−𝑦 plane such that 𝑟𝑖 lies inside 𝑟𝑖−1. Let, the Jacobian matrix 𝐽 given in (3.4) corresponding to 𝑟𝑖 be denoted by 𝐽𝑟(𝜙𝑟(𝑡),𝜓𝑟(𝑡),0). Computing the fundamental matrix of the linear periodic system,ğ‘‹î…ž=𝐽𝑟(𝑡)𝑋,𝑋(0)=𝐼.(4.2) We find that its Floquet multiplier in the 𝑧 direction is 𝑒𝜂𝑟𝑇. Then proceeding in an analogous manner like Kumar and Freedman [30], we conclude that no 𝑟𝑖 lies on Ω(𝑥). Thus, Ω(𝑥) lies in the positive cone and system (2.1) is persistent. Finally, only the closed orbits and the equilibria from the omega limit set of the solutions are on the boundary of 𝑅3+, and system (2.3) is dissipative. Now using a theorem of Butler et al. [29], we conclude that system (2.3) is uniformly persistent.

Theorem 4.2. If the conditions 𝑅01>1 and 𝑅02>1 are satisfied and if there exists no limit cycle in the 𝑥−𝑦 plane, then system (2.3) is uniformly persistent.

Proof. Proof is obvious and hence omitted.

Before obtaining the conditions for impermanence of system (2.3), we briefly define the impermanence of a system. Let 𝑥=(𝑥1,𝑥2,𝑥3) be the population vector, let 𝐷={𝑥∶𝑥1,𝑥2,𝑥3>0}, and 𝜕𝐷 is the boundary of 𝐷. 𝜇(⋅,⋅) is the distance in 𝑅3+.

Let us consider the system of equations ̇𝑥=𝑓𝑖(𝑥),𝑖=1,2,3,(4.3) where 𝑓𝑖∶R3+→𝑅 and 𝑓𝑖∈𝐶1.

The semiorbit 𝛾+ is defined by the set {𝑥(𝑡)∶𝑡>0}, where 𝑥(𝑡) is the solution with initial value 𝑥(0)=𝑥0.

The above system is said to be impermanent [31] if and only if there is an 𝑥∈𝐷 such that limğ‘¡â†’âˆžğœ‡(𝑥(𝑡),𝜕𝐷)=0. Thus a community is impermanent if there is at least one semiorbit which tends to the boundary.

Theorem 4.3. If the condition 𝑅01<1 or 𝑅02<1 holds, then the system (2.1) is impermanent.

Proof. The given condition 𝑅01<1 implies that 𝐸1 is a stable equilibrium point on the boundary. Similarly 𝑅02<1 implies that 𝐸1 is a saturated equilibrium point on the boundary. Hence, there exists at least one orbit in the interior that converges to the boundary [32]. Consequently the system (2.1) is impermanent [31].

5. Numerical Results and Discussion

We know that the infectious disease plays important roles in the dynamics of a predator-prey system with infection in prey [5, 33]. But in our model system infection in predator (𝛽) plays an important role since the inclusion of disease in predator population in our model is vital modification of most of the earlier models. So, we have focused our study in observing the role of infection rate upon predator-prey dynamics. We have taken a set of hypothetical parameter values ğ‘Ž=2.8, 𝑏=2.8, 𝑐=0.12Ã—ğ‘Ž, 𝑑=0.03, 𝑒=0.09, 𝑓=0.01. We will now observe the dynamical behavior of the system (2.3) for the above set of parameter values. We observe from Figure 1 that disease in predator population cannot propagate for 𝛽=0.24 and predator and prey species coexist in oscillatory position. If we increase the infection rate 𝛽, we observe that all three species coexist in oscillatory position and this observation is clear from Figure 2. Figure 3 illustrates that oscillations settle down into stable situation and all three species persist in stable position for 𝛽=0.32. A clear dynamics of predator-prey system for variation of infection rate 𝛽, we draw a bifurcation diagram. From Figure 4 it is clear that oscillatory coexistence of all three species is found for 0.25≤𝛽≤0.3 and all species will be stable for 𝛽>0.3. In our proposed model we get an interesting result that disease in predator population has stabilizing effect on predator-prey oscillation. Nonlinear interactions between predators and prey are wellknown to generate endogenous oscillations. We have shown, to our knowledge, that these fluctuations can be stabilized by an infectious disease spreading within the predator population. This challenges the current view of destabilizing disease impacts [14, 15, 21–25], which also similarly exists for disease infecting prey populations [14, 20, 34, 35]. Moreover, our results appear to contradict the observation of de Castro and Bolker [36] that parasite-induced cycles are more likely to occur in larger communities. Our findings are also of relevance for biological control, as infectious diseases can be used as control agents of undesirable species such as biological invaders. This study interestingly suggests that parasites can have regulating effects on more than one trophic level and be utilized for management purposes in multispecies systems. The introduction of disease can not only control or eradicate the predator, but also allow the prey species to recover. For example, pathogens could potentially be used to control mammal pest species such as feral domestic cats (predators) on oceanic islands that have devastating impacts on native prey species (e.g., seabirds) [37–39].

We now explain the stability mechanism in our model system. The effect of the disease is only to increase predator mortality, which decreases predator population size and the predation pressure on the prey. This, in turn, increases prey population size and the density dependence felt by the prey population, which is a stabilizing factor. Infection thus indirectly couples predator mortality with prey population size. A similar inhibition of the predator population by high densities of the prey occurs in the presence of toxic prey species [40].

We also analyze the community structure of our model system with the help of ecological and disease basic reproduction number. It can be defined as the expected number of offspring a typical individual produces in its life or, in epizootiology, as the expected number of secondary infections produced by a single infective individual in a completely susceptible population during its entire infectious period. We use reproduction numbers as helpful tools in determining the persistence (if they are larger than one) or extinction (if they are smaller than one) of a species. This allows us to categorize the community composition of prey, predators, and disease. The threshold concept inherent in reproduction numbers has been used in previous studies of ecoepidemiological models [5, 7, 15, 18].

6. Conclusion

In the present paper we consider a predator-prey system where predator is infected by parasitic attack. The main objective of this paper is to observe the effect of parasitic infection in predator population. We analyze the local stability of equilibrium points and community structure of model system by the help of ecological and disease basic reproduction numbers. This study provides insightful ecological and disease reproduction numbers for understanding how parasites structure community composition. Moreover, this study indicates that two very different outcomes are possible upon disease introduction: (1) the host population can either be driven to extinction, or (2) an otherwise unstable resident community can be stabilized. Adding or removing parasites from food webs might therefore has unexpected and dramatic consequences, possibly leading to extinctions or outbreaks on more than one trophic level. This highlights the importance of including infectious disease agents in food webs, which has begun to be recognized only recently [41].

We perform extensive numerical experiment and get an important result that the introduction of disease in predator population stabilizes predator-prey oscillations. Disease introduction in our model does not reverse the paradox of enrichment; it offers another potential explanation for why natural populations tend to be stable. Many species have a plethora of parasites and pathogens, making it possible that inherently cyclic behavior can be stabilized. In practice, however, it will be difficult to distinguish whether a particular system is stabilized due to disease or any other factor.