 Research
 Open access
 Published:
Analysis of a stochastic predatorprey model with disease in the predator and BeddingtonDeAngelis functional response
Advances in Difference Equations volume 2015, Article number: 224 (2015)
Abstract
A predatorprey model with BeddingtonDeAngelis functional response and disease in the predator population is proposed, corresponding to the deterministic system, a stochastic model is investigated with parameter perturbation. In Additional file 1, qualitative analysis of the deterministic system is considered. For the stochastic system, the existence of a global positive solution and an estimate of the solution are derived. Sufficient conditions of persistence in the mean or extinction for all the populations are obtained. In contrast to conditions of permanence for the deterministic system in Additional file 1, it shows that environmental stochastic perturbation can reduce the size of population to a certain extent. When the white noise is small, there is a stationary distribution. In addition, conditions of global stability for the deterministic system are also established from the above result. These results mean that the stochastic system has a similar property to the corresponding deterministic system when the white noise is small. Finally, numerical simulations are carried out to support our findings.
1 Introduction
Recently, epidemiological models have received much attention from scientists. Since the pioneering work of KermackMckendrick, there have been many relevant papers [1–8], but only singlespecies is considered in these models. However, species does not exist alone; while species spreads the disease in the natural world, it also competes with other species for resource to exist, or is predated by their enemies. Therefore, it is more important to consider the effect of multispecies when we consider the dynamical behaviors of epidemiological models. There are not many papers [9–18] considering these two areas.
Due to its universal existence and importance, the dynamic relationship between the predator and the prey has been a dominant theme in ecology. The predator’s functional response is one significant component of the predatorprey relationship. Generally, the classical Holling types IIII are only related to the density of the prey, and HassellVarley type [19], BeddingtonDeAngelis type [20–23] as well as CrowleyMartin type [24] are functions of both the prey and the predator densities. A lot of data show that the functional response related to prey and predator densities performs much better. The classical predatorprey model with BeddingtonDeAngelis type functional response is
where \(x=x(t)\) and \(y=y(t)\) represent prey and predator densities at time t, all the coefficients are positive. We can refer to [20, 21, 25] for the biological representation of each coefficient in model (1).
In this paper, we first introduce a deterministic predatorprey model with disease in the predator and BeddingtonDeAngelis functional response. We assume that the disease only spreads among the predator population based on the basic epidemiological model, namely the SI:
Let \(x(t)\) denote the population density of prey, \(y_{1}(t)\) and \(y_{2}(t)\) represent the population density of the susceptible predator and the infected predator, respectively.
Model (2) is derived under the following assumptions: r is the intrinsic growth rate of the prey, \(a_{11}\) is the overcrowding rate of prey population, and \(a_{12}\) is the capturing rate of the predator. \(d_{2}\) is the death rate of the susceptible predator, \(a_{22}\) is the overcrowding rate of the susceptible predator. \(\frac{a_{21}}{a_{12}}\) is the rate of conversion of nutrient into the reproduction of the predator. β is the transmission rate of the disease. We assume that infected predators do not have capturing ability and do not recover or become immune, \(d_{3}\) and \(a_{33}\) are the death rate and the overcrowding rate of the infected predator, all the coefficients are positive here. System (2) has four nonnegative equilibria \(O(0,0,0)\), \(E_{1}(\frac {r}{a_{11}},0,0)\), the diseasefree equilibrium \(E_{2}(\hat{x},\hat {y}_{1},0)\) and the positive equilibrium \(E^{*}=(x^{*},y_{1}^{*},y_{2}^{*})\). \(E_{2}\) exists if
\(E^{*}\) exists if
Define the basic reproduction number \(R_{0}=\frac{a_{21}r}{(d_{2}+\frac {d_{3}a_{22}}{\beta})(a_{11}+mr+\frac{nd_{3}a_{11}}{\beta})}\), obviously, \(E^{*}\) exists when \(R_{0}>1\). In addition, we can compute a useful result: \(\hat{y}_{1}<\frac{d_{3}}{\beta}\) if \(R_{0}<1\).
In fact, all the populations in the natural world are inevitably affected by environmental white noise which is an important component in reality. Therefore, many stochastic models for singlespecies or multispecies have been developed [26–30]. In this paper, considering the effect of environmental noise, we introduce stochastic perturbation into some parameters. As we known, r is the intrinsic growth rate of preys, \(d_{2}\) and \(d_{3}\) are both death rates of susceptible predators and infected predators. In practice, these parameters can be estimated by an average value plus an error term. By the wellknown central limit theorem, we know the error term follows a normal distribution and sometimes depends on how much the current population sizes differ from the equilibrium state. Hence, we consider the perturbation as the following form [31–36]:
where \(\sigma_{i}^{2}\) (\(i=1,2,3\)) is the intensity of noise and \(\dot {B}_{i}(t)\) (\(i=1,2,3\)) is a standard Brownian motion. Corresponding to the deterministic model (2), a stochastic system has the following form:
Throughout this paper, unless otherwise specified, let \((\Omega ,\mathcal{F},\mathcal{P})\) be a complete probability space with a filtration \({\{\mathcal{F}_{t}\}}_{t\in R}\) satisfying the usual conditions (i.e., it is right continuous and increasing and \(\mathcal{F}_{0}\) contains all \(\mathcal{P}\)null sets).
The qualitative analysis of system (2) is in Additional file 1, here we mainly discuss the stochastic system. In the following section, we derive the existence of a positive solution of system (5), an estimate of the solution, and give the conditions of persistence in the mean or extinction for both populations. We also show that there exists a stationary distribution of the solution. As a result, conditions of global stability for model (2) are obtained.
2 Existence of the positive solution
In order for a stochastic differential equation to have a unique global solution for any given initial value, the coefficients of the equation are generally required to satisfy the linear growth condition and the local Lipschitz condition [37].
Theorem 1
For any initial value \(x_{0}>0\), \(y_{10}>0\) and \(y_{20}>0\), there is a unique solution \((x(t), y_{1}(t), y_{2}(t))\) of system (5) on \(t\geq0\), and the solution will remain in \(R_{+}^{3}\) with probability 1.
Proof
Define a \(C^{2}\)function \(V: R_{+}^{3}\rightarrow R_{+}\) by \(V(x,y_{1},y_{2})=(x1\log x)+(y_{1}1\log y_{1})+(y_{2}1\log y_{2})\), by a similar way of the proof in Theorem 2.1 of [34], Theorem 2.1 of [35] and Lemma 2 of [36], we can have the required assertion. □
Though we cannot get an explicit solution for model (5), an estimate of positive solution of (5) can be derived, we firstly show a very useful lemma derived from [38].
Consider the equation
Lemma 1
Assume that \(a(t)\), \(b(t)\) and \(\alpha(t)\) are bounded continuous functions defined on \([0, \infty)\), \(a(t)>0\) and \(b(t)>0\). Then there exists a unique continuous positive solution \(N(t)\) for any initial value \(N(0)=N_{0}>0\), which is global and represented by
Since the solution is positive, we have \(dx(t) \leq x(t)[ra_{11}x(t)]\, dt+\sigma_{1} x(t)\, dB_{1}(t)\) from system (5), let
by Lemma 1, it is easy to see that \(\Phi(t)\) is the unique solution of the following equation:
The comparison theorem for stochastic equations yields \(x(t)\leq\Phi (t)\), \(t\geq0\), a.s. Besides,
Obviously, by Lemma 1,
is the solution to the equation
and \(y_{1}(t)\leq\Psi_{1}(t)\), \(t\geq0\), a.s. On the other hand,
similarly, we can get \(x(t)\geq\phi(t)\), \(t\geq0\), a.s., where
is the solution of
It is easy to see that \(dy_{2}(t)\leq y_{2}(t)[\beta\Psi _{1}(t)d_{3}a_{33}y_{2}(t)]\, dt+\sigma_{3} y_{2}(t)\, dB_{3}(t)\), we also have \(y_{2}(t)\leq\Psi_{2}(t)\), \(t\geq0\), a.s., and
is the solution of
By system (5), we have \(dy_{1}(t)\geq y_{1}(t)[d_{2}a_{22}y_{1}(t)+\frac{a_{21}\phi(t)}{1+m\Phi (t)+n\Psi_{1}(t)}\beta\Psi_{2}(t)]\,dt+\sigma_{2} y_{1}(t)\,dB_{2}(t)\). Therefore, we derive \(y_{1}(t)\geq\psi_{1}(t)\), \(t\geq0\), a.s., where
is a solution of
We can also get \(y_{2}(t)\geq\psi_{2}(t)\), \(t\geq0\), a.s., where
is a solution of
then we derive the following theorem.
Theorem 2
Assume \((x(t), y_{1}(t), y_{2}(t))\) on \(t\geq0\) is the positive solution of system (5) for initial value \(x_{0}>0\), \(y_{10}>0\) and \(y_{20}>0\), then there exist functions \(\Phi(t)\), \(\phi(t)\), \(\Psi_{i}(t)\), \(\psi_{i}(t)\) (\(i=1, 2\)), defined as above, such that
3 Persistence in the mean and extinction
In order to consider the conditions of persistence in the mean and extinction for the prey and predator population, at first, we give two useful lemmas. Applying Itô’s formula to system (5) yields
Lemma 2
The solution \((x(t),y_{1}(t),y_{2}(t))\) of system (5) for any initial value \((x_{0}, y_{10}, y_{20})\in R_{3}^{+}\) satisfies the following inequalities:
Proof
It follows from Eq. (8) that
Consider the following system:
with initial value \((x_{0}, y_{10}, y_{20})\in R_{3}^{+}\). By the comparison theorem for stochastic differential equations, we have
In fact, by virtue of Theorem 3.3 and Corollary 3.4 in [39], we can get
Hence, \(\limsup_{t\rightarrow\infty}\frac{\ln x(t)}{t} \leq0\), \(\limsup_{t\rightarrow\infty}\frac{\ln y_{1}(t)}{t} \leq0\). In the following, we show that \(\limsup_{t\rightarrow\infty}(\frac{\ln y_{1}(t)}{t}+\frac{\ln y_{2}(t)}{t}) \leq0\).
Applying Itô’s formula to \(\exp(t)\ln v_{i}(t)\) (\(i=1,2\)) results in
where \(M_{i}(t)=\int_{0}^{t}\sigma_{i} \exp(s)\,dB_{i}(s)\) (\(i=1,2\)) is a realvalued continuous local martingale with quadratic form \(\langle M_{i}(t),M_{i}(t)\rangle=\int_{0}^{t}\sigma_{i}^{2} \exp(2s)\,ds\).
By virtue of the exponential martingale inequality of [40], for any positive constants T, δ and η, we have
Choosing \(T=\gamma k\), \(\delta=\exp(\gamma k)\), \(\eta=\theta\exp(\gamma k)\ln k\) gives that
where \(k\in N\), \(\theta>1\) and \(\gamma>1\). It follows from the BorelCantelli lemma that there exists \(\Omega_{i}\subset\Omega\) (\(i=1,2\)) with \(P(\Omega_{i})=1\) such that for any \(\omega\in\Omega_{i}\), an integer \(k_{i}=k_{i}(\omega)\) satisfying
for all \(0\leq t\leq\gamma k\) and \(k\geq k_{i}(\omega)\) can be found. Now let \(\Omega_{0}=\bigcap_{i=1}^{2}\Omega_{i}\), clearly, \(P(\Omega_{0})=1\). Moreover, let \(k_{0}(\omega)=\max\{k_{i}(\omega),i=1,2\}\), then for any \(\omega\in\Omega _{0}\), it follows from Eq. (10) that
for all \(0\leq t\leq\gamma k\) and \(k\geq k_{i}(\omega)\). Then
It is easy to see that for any \(0\leq s\leq\gamma k\) and \((u(s),v_{1}(s),v_{2}(s))\in R_{+}^{3}\), there exists a constant A independent of k such that
Hence, it follows that for all \(0\leq t\leq\gamma k\), with \(k\geq k_{0}(\omega)\), we have
Thus,
Consequently, for \(\gamma(k1)\leq t\leq\gamma k\) and \(k\geq k_{0}(\omega )\), it follows that
Now let \(k\rightarrow+\infty\), then \(t\rightarrow+\infty\), we have
Therefore,
□
Definition 1

(1)
The population \(x(t)\) is said to be nonpersistent in the mean if \(\langle x(t)\rangle^{*}=0\), where \(\langle f(t)\rangle =\frac{1}{t}\int_{0}^{t}f(s)\,ds\), \(f^{*}=\limsup_{t\rightarrow+\infty }f(t)\), \(f_{*}=\liminf_{t\rightarrow+\infty}f(t)\).

(2)
The population \(x(t)\) is said to be weakly persistent in the mean if \(\langle x(t)\rangle^{*}>0\).

(3)
The population \(x(t)\) is said to be strongly persistent in the mean if \(\langle x(t)\rangle_{*}>0\).
Lemma 3
[41]
Suppose that \(x(t)\in C[\Omega\times R_{+},R_{+}^{0}]\), where \(R_{+}^{0}:=\{aa>0,a\in R\}\).

(I)
If there are positive constants \(\lambda_{0}\), T and \(\lambda\geq0\) such that
$$\ln x(t)\leq\lambda t\lambda_{0}\int_{0}^{t}x(s) \,ds+\sum_{i=1}^{n}\beta_{i}B_{i}(t) $$for \(t\geq T\), where \(\beta_{i}\) is a constant, \(1\leq i\leq n\), then \(\langle x\rangle^{*}\leq\lambda/\lambda_{0}\), a.s. (i.e., almost surely).

(II)
If there are positive constants \(\lambda_{0}\), T and \(\lambda\geq 0\) such that
$$\ln x(t)\geq\lambda t\lambda_{0}\int_{0}^{t}x(s) \,ds+\sum_{i=1}^{n}\beta_{i}B_{i}(t) $$for \(t\geq T\), where \(\beta_{i}\) is a constant, \(1\leq i\leq n\), then \(\langle x\rangle_{*}\geq\lambda/\lambda_{0}\), a.s.
Theorem 3
For the prey population, we have:

(i)
If \(r<\frac{1}{2}\sigma_{1}^{2}\), then the prey population \(x(t)\) will go to extinction a.s.

(ii)
If \(r=\frac{1}{2}\sigma_{1}^{2}\), then the prey population \(x(t)\) is nonpersistent in the mean a.s.

(iii)
If \(r>\frac{1}{2}\sigma_{1}^{2}\), then the prey population \(x(t)\) is weakly persistent in the mean a.s.

(iv)
If \(r>\frac{1}{2}\sigma_{1}^{2}+\frac{a_{12}}{n}\), then the prey population \(x(t)\) is strongly persistent in the mean a.s.
Proof
It follows from the first equation of system (5) that
the righthand side is a logistic system, because of the comparison theorem, Theorem 2, Theorem 7 and Theorem 8 in [42], we can get consequences (i) and (ii).
(iii) We need to show that there exists a constant \(\rho>0\) such that for any solution of system (5) with initial value \((x_{0}, y_{10},y_{20})\in R_{+}^{3}\) satisfying \(\langle x(t)\rangle^{*}\geq\rho >0\). Now we assume that the contrast is true, let \(\varepsilon_{1}>0\) sufficiently small such that \((d_{2}\frac{\sigma _{2}^{2}}{2})+a_{21}\varepsilon_{1}<0\), \((r\frac{1}{2}\sigma _{1}^{2})a_{11}\varepsilon_{1}>0\), then for \(\varepsilon_{1}>0\), there exists a solution \((\bar{x},\bar{y}_{1} ,\bar{y}_{2})\) with initial value \((x_{0}, y_{10},y_{20})\in R_{+}^{3}\) such that \(P\{\langle\bar{x}(t)\rangle^{*}<\varepsilon_{1}\}>0\).
By virtue of system (8), we have
We also have \(\lim_{t\rightarrow+\infty}\frac{B_{2}(t)}{t}=0\), thus \(\limsup_{t\rightarrow+\infty}\frac{\ln\bar{y}_{1}(t)}{t}\leq (d_{2}\frac{\sigma_{2}^{2}}{2})+a_{21}\varepsilon_{1}<0\), then \(\lim_{t\rightarrow+\infty}\bar{y}_{1}(t)=0\).
It follows from system (8) that
Integrating both sides from \([0, t]\) and multiplying by \(\frac{1}{t}\), we obtain
then \(\limsup_{t\rightarrow+\infty}\frac{\ln\bar{x}(t)}{t}\geq(r\frac {1}{2}\sigma_{1}^{2})a_{11}\varepsilon_{1}>0\), which contradicts Lemma 2. Therefore, our assumption is false, \(\langle x(t) \rangle^{*}>0\), the prey population \(x(t)\) will be weakly persistent in the mean a.s.
(iv) It is easy to get
Similarly, by the comparison theorem, Theorem 2 and Theorem 10 in [42], result (iv) is obtained. □
Remark 1
By Theorem 3, we find that \(r\frac {1}{2}\sigma_{1}^{2}\) is the threshold between weak persistence in the mean and extinction for the prey population. If \(\frac{1}{2}\sigma _{1}^{2}>r\), then the prey population will be extinct in the future, no matter whether the predator exists. It implies that environmental random perturbation plays a very important role in the biological system.
Theorem 4
For the predator population, we have:

(i)
If \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})< a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})\), then the susceptible predator population \(y_{1}(t)\) will go to extinction a.s.

(ii)
If \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})=a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})\), then the susceptible predator population \(y_{1}(t)\) is nonpersistent in the mean a.s.

(iii)
If \(\beta a_{21}(r\frac{1}{2}\sigma_{1}^{2})<\beta a_{11}(d_{2}+\frac{\sigma_{2}^{2}}{2})+a_{11}a_{22}(d_{3}+\frac{\sigma _{3}^{2}}{2})\), then the infected predator population \(y_{2}(t)\) will go to extinction a.s.

(iv)
If \(\beta a_{21}(r\frac{1}{2}\sigma_{1}^{2})=\beta a_{11}(d_{2}+\frac{\sigma_{2}^{2}}{2})+a_{11}a_{22}(d_{3}+\frac{\sigma _{3}^{2}}{2})\), then the infected predator population \(y_{2}(t)\) is nonpersistent in the mean a.s.
Proof
(i) If \(r\leq\frac{1}{2}\sigma_{1}^{2}\), then it follows from Theorem 3 that \(\langle x(t)\rangle^{*}=0\). By the second equation of system (8), we have
Hence, \([t^{1}\ln y_{1}(t)]^{*}\leq(d_{2}\frac{\sigma _{2}^{2}}{2})<0\), then \(\lim_{t\rightarrow+\infty}y_{1}(t)=0\).
Now we consider that if \(r> \frac{1}{2}\sigma_{1}^{2}\), it follows from the first equation of system (8) that
Applying Lemma 3 leads to
Substituting the above inequality into (12) gives
which implies that \(\lim_{t\rightarrow+\infty}y_{1}(t)=0\) a.s.
(ii) Assume \(\langle y_{1}(t)\rangle^{*}>0\), then it follows from Lemma 2 that \([t^{1}\ln y_{1}]^{*}=0\). Making use of (14), we can see
On the other hand, for sufficiently small \(\varepsilon_{3}>0\), there exists \(T_{3}>0\) such that for all \(t>T_{3}\), \(a_{21}\langle x(t) \rangle< a_{21}\langle x(t) \rangle^{*}+\varepsilon_{3}\).
Substituting these inequalities into the second equation of system (8) yields that
then application of Lemma 3 and (15) results in
Condition \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})=a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})\) means that \(r> \frac{1}{2}\sigma_{1}^{2}\), because of (13) and the arbitrariness of \(\varepsilon_{3}\),
which is a contradiction to our assumption, therefore, \(\langle y_{1}(t)\rangle^{*}=0\) a.s.
(iii) If \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})\leq a_{11}(d_{2}+\frac {\sigma_{2}^{2}}{2})\), then from (i) and (ii), we get \(\langle y_{1}(t)\rangle^{*}=0\). Hence, it follows from the third equation of system (8) that
Taking superior limit leads to \([t^{1}\ln y_{2}(t)]^{*}\leqd_{3}\frac{1}{2}\sigma_{3}^{2}<0\), then \(\lim_{t\rightarrow+\infty}y_{2}(t)=0\) a.s.
If \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})>a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})\), \(r>\frac{1}{2}\sigma_{1}^{2}\) must be verified, thus by the proof of (ii), we have (16), that is,
At this time, making use of (16), we obtain
then \(\lim_{t\rightarrow+\infty}y_{2}(t)=0\) as desired.
(iv) If \(\beta a_{21}(r\frac{1}{2}\sigma_{1}^{2})=\beta a_{11}(d_{2}+\frac{\sigma_{2}^{2}}{2})+a_{11}a_{22}(d_{3}+\frac{\sigma _{3}^{2}}{2})\), then \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})>a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})\) and \(r>\frac{1}{2}\sigma_{1}^{2}\). By the properties of superior limit, for sufficiently small \(\varepsilon_{4}>0\), there exists a constant \(T_{4}>0\) such that for all \(t>T_{4}\), \(\langle y_{1}(t)\rangle<\langle y_{1}(t)\rangle^{*}+\frac{\varepsilon _{4}}{\beta}\).
Substituting (16) and the above results into (17) yields
By Lemma 3, \(\langle y_{2}(t)\rangle^{*}\leq\frac{1}{a_{33}}[\frac{\beta a_{21}(r\frac{1}{2}\sigma_{1}^{2})\beta a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})a_{11}a_{22}(d_{3}+\frac{\sigma _{3}^{2}}{2})}{a_{11}a_{22}}+\varepsilon_{4}]=\frac{\varepsilon _{4}}{a_{33}}\). Considering the arbitrariness of \(\varepsilon_{4}\), we have \(\langle y_{2}(t)\rangle^{*}\leq0\). Notice the positivity of the solution \((x(t),y_{1}(t), y_{2}(t))\), it is easy to get \(\langle y_{2}(t)\rangle^{*}=0\) a.s. □
Remark 2
Observing conditions (i) and (iii) of Theorem 4, we can see that if condition (i) is true, (iii) must be verified. That is to say, if the susceptible predator population goes to extinction, the infected predator population will also die out, which is consistent with the reality. Though we have some difficulties to research persistence for the predator population now, we can consider it in another way in Section 5.
Remark 3
It follows from Theorems 3, 4 and Theorem A.4 in Additional file 1 that the solution of stochastic system (5) satisfies \(\langle x(t)\rangle^{*}\leq\frac{r\frac{1}{2}\sigma_{1}^{2}}{a_{11}}\) when \(r>\frac{1}{2}\sigma_{1}^{2}\). If \(r>\frac{1}{2}\sigma_{1}^{2}+\frac {a_{12}}{n}\), then \(\langle x(t)\rangle_{*}\geq\frac{r\frac{1}{2}\sigma_{1}^{2}\frac {a_{12}}{n}}{a_{11}}\). When \(\sigma_{1}^{2}=0\), the upper bound and lower bound are the same with \(\overline{K}\) and \(\underline{K}\) in Theorem A.4, this is consistent with our expectations. Besides, if \(a_{21}(r\frac{1}{2}\sigma_{1}^{2})>a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})\), \(\langle y_{1}(t)\rangle^{*}\leq\frac{a_{21}(r\frac {1}{2}\sigma_{1}^{2})a_{11}(d_{2}+\frac{\sigma_{2}^{2}}{2})}{a_{11}a_{22}}\). \(\langle y_{2}(t)\rangle^{*}\leq\frac{\beta a_{21}(r\frac{1}{2}\sigma _{1}^{2})\beta a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})a_{11}a_{22}(d_{3}+\frac{\sigma _{3}^{2}}{2})}{a_{11}a_{22}a_{33}}\) if \(\beta a_{21}(r\frac{1}{2}\sigma _{1}^{2})>\beta a_{11}(d_{2}+\frac{\sigma _{2}^{2}}{2})+a_{11}a_{22}(d_{3}+\frac{\sigma_{3}^{2}}{2})\). These results are all the same conclusions with \(\overline{K}_{1}\) and \(\overline{K}_{2}\) in Theorem A.4 when \(\sigma_{i}^{2}=0\) (\(i=1,2,3\)). Furthermore, we find that the upper bound and lower bound of the solution for the stochastic system are smaller than those for the deterministic system. It means environmental random perturbation can reduce the size of the population to a certain extent.
4 The long time behavior of solution
For system (2), by analyzing the characteristic equation of four equilibria, we can easily get sufficient conditions of local stability for these equilibria. At this time, we know \(O(0,0,0)\) is saddle, not stable. If \(a_{21}r< d_{2}(a_{11}+mr)\), then \(E_{1}\) is locally asymptotically stable, and the diseasefree equilibrium \(E_{2}\) does not exist. When \(r>\frac{a_{12}}{n}\), \(a_{21}r>d_{2}(a_{11}+mr)\) and \(R_{0}<1\) are verified, the diseasefree equilibrium \(E_{2}(\hat{x},\hat{y}_{1},0)\) is locally asymptotically stable, \(E^{*}\) does not exist; when \(R_{0}>1\) and \(r>\frac{a_{12}}{n}\), the positive equilibrium \(E^{*}\) is locally asymptotically stable.
For stochastic system (5), \(E_{1}\) and \(E_{2}\) are no longer equilibria, but in this section we can study the asymptotic behavior of solution around them. Meanwhile, the conditions of global asymptotic behavior for \(E_{1}\) and \(E_{2}\) are derived.
Theorem 5
If \(a_{21}r< a_{11}d_{2}\), then for any given initial value \((x_{0},y_{10},y_{20})\in R_{+}^{3}\), the solution \(X(t)=(x(t),y_{1}(t),y_{2}(t))\) of system (5) has the property
here \(\mu=\min\{a_{21}a_{11}, a_{12}a_{11}, a_{12}a_{33}\}\).
Proof
Define a function \(V(t)=c_{1}(x\frac{r}{a_{11}}\frac {r}{a_{11}}\log\frac{a_{11}x}{r})+c_{2}y_{1}+c_{3}y_{2}\), where \(c_{i}\) (\(i=1,2,3\)) are positive constants to be determined later. Then the function \(V(t)\) is positive definite, and
Here,
Let \(c_{1}=a_{21}\), \(c_{2}=c_{3}=a_{12}\), then
If \(a_{11}d_{2}>a_{21}r\), thus
therefore,
Integrating both sides of the above inequality from 0 to t, then taking expectations, yields
which leads to
here \(\mu=\min\{a_{21}a_{11}, a_{12}a_{11}, a_{12}a_{33}\}\). The result is straightforward. □
When \(\sigma_{i}=0\) (\(i=1,2,3\)), system (5) becomes system (2). By Theorem 5, we know the stability of equilibrium \(E_{1}\).
Corollary 1
If \(a_{21}r< a_{11}d_{2}\), the equilibrium \(E_{1} (\frac{r}{a_{11}},0,0)\) of system (2) is globally asymptotically stable.
Remark 4
It is not difficult to find that the solution of stochastic system (5) fluctuates around equilibrium \(E_{1} (\frac{r}{a_{11}},0,0)\) of system (2) when \(E_{1}\) is globally asymptotically stable. The intensity of fluctuation is relevant to \(\sigma_{1}^{2}\). The smaller \(\sigma_{1}^{2}\) is, the weaker the fluctuation is.
Theorem 6
Assume \(a_{21}r>d_{2}(a_{11}+mr)\), \(a_{11}>m(ra_{11}\hat {x})\) and \(R_{0}<1\), for any given initial value \((x_{0},y_{10},y_{20})\in R_{+}^{3}\), the solution \(X(t)=(x(t),y_{1}(t),y_{2}(t))\) of system (5) has the property
where \(c_{1}=a_{21}(1+n\hat{y}_{1})\), \(c_{2}=c_{3}=a_{12}(1+m\hat{x})\) and \(\tilde {\mu}=\min\{[a_{11}m(ra_{11}\hat{x})]c_{1}, c_{2}a_{22}, c_{3}a_{33}\}\).
Proof
Define a \(C^{2}\) function \(V: R_{+}^{3}\rightarrow R_{+}\) by
where \(c_{i}>0\) (\(i=1,2,3\)) are constants to be chosen later. Make system (5) into the following form:
From Itô’s formula, we compute
Make \(c_{1}=a_{21}(1+n\hat{y}_{1})\), \(c_{2}=a_{12}(1+m\hat{x})\), therefore
Let \(c_{2}=c_{3}\), then
When \(R_{0}<1\), we have \(d_{3}\beta\hat{y}_{1}>0\), thus
If \(a_{11}>m(ra_{11}\hat{x})\), set \(\tilde{\mu}=\min\{ [a_{11}m(ra_{11}\hat{x})]c_{1}, c_{2}a_{22}, c_{3}a_{33}\}\), integrating both sides from 0 to t, taking expectations leads to
Dividing both sides by t and letting \(t\rightarrow+\infty\), we get
This completes the theorem. □
When \(\sigma_{i}=0\) (\(i=1,2,3\)), it is easy to get the following.
Corollary 2
Assume \(a_{21}r>d_{2}(a_{11}+mr)\), the diseasefree equilibrium \(E_{2} (\hat {x},\hat{y}_{1},0)\) of system (2) is globally asymptotically stable when \(a_{11}>m(ra_{11}\hat{x})\) and \(R_{0}<1\).
Remark 5
The solution of stochastic system (5) fluctuates around the diseasefree equilibrium \(E_{2} (\hat{x},\hat {y}_{1},0)\) of deterministic system (2) when \(E_{2}\) is globally asymptotically stable. The values of \(\sigma_{1}^{2}\) and \(\sigma_{2}^{2}\) determine the extent of fluctuations.
Remark 6
According to \(\hat{y}_{1}=\frac{(1+m\hat{x})(ra_{11}\hat {x})}{a_{21}nr+na_{11}\hat{x}}\), we have \(\hat{x}>\frac {r}{a_{11}}\frac{a_{12}}{na_{11}}\) when \(r>\frac{a_{12}}{n}\). The condition \(a_{11}>m(ra_{11}\hat{x})\) in Theorem 6 is equivalent to \(\hat{x}>\frac{r}{a_{11}}\frac{1}{m}\), thus, if \(ma_{12}< na_{11}\), the condition \(a_{11}>m(ra_{11}\hat{x})\) must be verified. Therefore, the condition \(a_{11}>m(ra_{11}\hat{x})\) in Theorem 6 can be replaced by the condition \(a_{12}<\min\{\frac{na_{11}}{m}, nr\}\) which is easier to verify.
5 Stationary distribution
Before giving the main theorems, we first give a lemma [43].
Let \(X(t)\) be a homogeneous Markov process in \(E_{l}\) (\(E_{l}\) denotes Euclidean lspace) described by the stochastic equation
The diffusion matrix is
Assumption B
There exists a bounded domain \(U\subset E_{l}\) with regular boundary Γ, having the following properties:

(B.1)
In the domain U and some neighborhood thereof, the smallest eigenvalue of the diffusion matrix \(A(x)\) is bounded away from zero.

(B.2)
If \(x\in E_{l}\backslash U\), the mean time τ at which a path issuing from x reaches the set U is finite, and \(\sup_{x\in K}E_{x}\tau <\infty\) for every compact subset \(K \subset E_{l}\).
Lemma 4
[43]
If Assumption B holds, then the Markov process \(X(t)\) has a stationary distribution \(\mu(\cdot)\). Let \(f(\cdot)\) be a function integrable with respect to the measure μ. Then
for all \(x\in E_{l}\).
Remark 7
To validate (B.1), it suffices to prove that F is uniformly elliptical in U, where \(F_{u}=b(x)\cdot u_{x}+[tr(A(x)u_{xx})]/2\), that is, there is a positive number M such that \(\sum_{i,j=1}^{k}a_{ij}(x)\xi_{i}\xi_{j}\geq M\xi^{2} \), \(x\in U\), \(\xi\in R^{k}\) (see p.103 of [44]). To verify (B.2), it is sufficient to show that there exists some neighborhood U and a nonnegative \(C^{2}\)function V such that for any \(x\in E_{l}\backslash U\), LV is negative. (For details, we refer to p.1163 of [45].)
Theorem 7
Assume \(R_{0}>1\) is satisfied, \(a_{11}>m(ra_{11}x^{*})\), and \(w<\min\{a_{21}(a_{11}m(ra_{11}x^{*}))(1+ny_{1}^{*})(x^{*})^{2}, a_{12}a_{22}(1+mx^{*})(y_{1}^{*})^{2}, a_{12}a_{33}(1+mx^{*})(y_{2}^{*})^{2}\}\), where
then there is a stationary distribution \(\mu(\cdot)\) for system (5) and it has ergodic property.
Proof
System (5) can be written as the form of system (18),
and the diffusion matrix is
Define
where \(c_{i}\) (\(i=1,2,3\)) are positive constants to be determined. System (5) can be rewritten as
If \((x,y_{1},y_{2})\in R_{3}^{+}\), applying Itô’s formula to system (19) gives
Here, let \(c_{1}=a_{21}(1+ny_{1}^{*})\), \(c_{2}=c_{3}=a_{12}(1+mx^{*})\), therefore,
When \(w<\min\{a_{21}(a_{11}m(ra_{11}x^{*}))(1+ny_{1}^{*})(x^{*})^{2}, a_{12}a_{22}(1+mx^{*})(y_{1}^{*})^{2}, a_{12}a_{33}(1+ mx^{*})(y_{2}^{*})^{2}\}\), the ellipsoid
lies entirely in \(R_{+}^{3}\). We can take U to be a neighborhood of the ellipsoid with \(\overline{U}\subseteq E_{3}=R_{+}^{3}\), so for \((x,y_{1},y_{2})\in E_{3}\backslash U\), \(LV\leq\overline{K}\) (\(\overline{K}\) is a positive constant), which implies that condition (B.2) in Lemma 4 is satisfied.
Besides, there is \(M=\min\{\sigma_{1}^{2}x^{2}, \sigma_{2}^{2}y_{1}^{2}, \sigma_{3}^{2}y_{2}^{2}, (x,y_{1},y_{2})\in\overline{U}\}>0\) such that
for all \((x,y_{1},y_{2})\in\overline{U}\), \(\xi\in R^{3}\), which implies that condition (B.1) in Lemma 4 is satisfied. Therefore, the stochastic system (5) has a stationary distribution \(\mu(\cdot)\) and it is ergodic. □
Without considering the random fluctuations of environment, that is say, \(\sigma_{i}\ (i=1,2,3)=0\), according to the proof of Theorem 7, it is easy to get the following conclusion.
Corollary 3
Assume \(R_{0}>1\), when \(a_{11}>m(ra_{11}x^{*})\), the positive equilibrium \(E^{*}(x^{*},y_{1}^{*},y_{2}^{*})\) of system (2) is globally asymptotically stable.
6 Numerical simulation
In order to confirm the results of Sections 3 and 5, we numerically simulate the solution of stochastic system (5). For system (5), we use the Milstein method mentioned in Higham [46] to substantiate the analytical findings. We consider the following discrete equations:
where time increment \(\Delta t=0.1>0\), and \(\varepsilon_{ik}\) (\(i=1,2,3\)) are \(N(0,1)\) distributed independent random variables which can be generated numerically by pseudorandom number generators.
Here, let \(r=0.8\), \(a_{11}=0.2\), \(a_{12}=0.8\), \(m=n=0.5\), \(d_{2}=0.2\), \(a_{22}=0.2\), \(a_{21}=0.6\), \(\beta=0.4\), \(d_{3}=0.2\), \(a_{33}=0.1\), \(x_{0}=0.6\), \(y_{10}=0.4\), \(y_{20}=0.2\), then \(E^{*}(x^{*},y_{1}^{*},y_{2}^{*})=(3.0401, 0.6872, 0.7488)\). At first, in the absence of noise, in view of Corollary 3, the equilibrium \(E^{*}(x^{*},y_{1}^{*},y_{2}^{*})\) of deterministic system (2) is globally asymptotically stable, Figure 1 confirms it. We choose \(\sigma_{1}=0.08\), \(\sigma_{2}=0.02\), \(\sigma_{3}=0.05\), then (4) is satisfied, \(a_{11}>m(ra_{11}x^{*})\), \(\omega\approx0.01\), and \(\min\{a_{21}(a_{11}m(ra_{11}x^{*}))(1+ny_{1}^{*})(x^{*})^{2}, a_{12}a_{22}(1+mx^{*})(y_{1}^{*})^{2}, a_{12}a_{33}(1+mx^{*})(y_{2}^{*})^{2}\}\approx0.113\). Hence, the conditions of Theorem 7 are verified, there is a stationary distribution for system (5). Figure 1 shows that the solution of (5) is fluctuating around the positive equilibrium \(E^{*}\) of deterministic system (2) in a small neighborhood. In the last figure from Figure 1, we can see that all the solutions of system (5) are around \(E^{*}\), which illustrates that there is a stationary distribution for system (5).
Suffering large density of white noise, we can refer to Figure 2 which also simulates system (5). Here, we choose \(r=0.4\), \(\sigma_{1}=1\), \(\sigma _{2}=0.8\), \(\sigma_{3}=0.5\), the other parameters are the same, the conditions of Theorem 7 are not verified, then by Theorems 3 and 4, all the populations of stochastic system (5) will become extinct, which does not happen in the corresponding deterministic system (2). Figure 2 shows it.
7 Conclusions
A stochastic model corresponding to a predatorprey model with BeddingtonDeAngelis functional response and disease in the predator population is investigated. We show that system (5) has a unique global positive solution as this is essential in any population dynamics model. We also give an estimate of the solution by the comparison theorem. The threshold between persistence in the mean and extinction for prey population is given. Sufficient conditions of extinction for both the susceptible predator and the infected predator are obtained. Furthermore, sufficient conditions of permanence for deterministic system (2) are derived in Additional file 1, which can give us a contrast between stochastic system (5) and its corresponding deterministic system (2). This shows that environmental perturbation will make the reduced population size. There is a stationary distribution for system (5) when the environmental noise is very small, we can consider it as stability in stochastic sense. By the way, conditions of global stability of system (2) can be established. Numerical simulations illustrate that if the positive equilibrium of the deterministic system is globally stable, then the stochastic model will preserve this nice property provided the noise is sufficiently small, but it is not true when the noise is large. All these consequences imply that the environmental white noise has an important effect on biological systems; therefore, it is more realistic and suitable to include random effects in the models.
Some interesting questions deserve further investigation. Here, we cannot get the condition of persistence for the predator population at present. In fact, there are some difficulties that cannot be overcome at present, we leave them for future research. Moreover, it is interesting to study other parameters perturbed by the environmental noise.
References
Kermack, WO, Mckendrick, AG: A contribution to the mathematical theory of epidemics. Proc. R. Soc. A 115, 700721 (1927)
Kermack, WO, Mckendrick, AG: Contributions to the mathematical theory of epidemics II. Proc. R. Soc. A 138, 5583 (1932)
Raggett, GF: Modeling the Eyam plague. IMA J. 18, 221226 (1982)
Liu, WM, Levin, SA, Iwasa, Y: Influence of nonlinear incidence rates upon the behavior of SIRS epidemiological models. J. Math. Biol. 23, 187204 (1986)
Liu, WM, Hethcote, HW, Levin, SA: Dynamical behavior of epidemiological models with nonlinear incidence rates. J. Math. Biol. 25, 359380 (1987)
Hethcote, HW: The mathematics of infectious diseases. SIAM Rev. 42, 599653 (2000)
Busenderg, S, Driessche, PV: Analysis of a disease transmission model in a population with varying size. J. Math. Biol. 28, 257270 (1990)
Hethcote, HW: An immunization model for a heterogeneous population. Theor. Popul. Biol. 14, 338349 (1978)
Anderson, RM, May, RM: The invasion, persistence and spread of infectious diseases within animal and plant communities. Philos. Trans. R. Soc. Lond. B 314, 533570 (1986)
Bowers, RG, Begon, M: A hosthostpathogen model with free living infective stages, applicable to microbial pest control. J. Theor. Biol. 148, 305329 (1991)
Begon, M, Bowers, RG, Kadianakis, N, Hodgkinson, DE: Disease and community structure: the importance of hostregulation in a hosthostpathogen model. Am. Nat. 139, 11311150 (1992)
Begon, M, Bowers, RG: Hosthostpathogen models and microbial pest control: the effect of host selfregulation. J. Theor. Biol. 169, 275287 (1995)
Hadeler, KP, Freedman, HI: Predatorprey populations with parasitic infection. J. Math. Biol. 27, 609631 (1989)
Han, LT, Ma, ZE, Hethcote, HW: Four predatorprey models with infectious diseases. Math. Comput. Model. 34, 849858 (2001)
Han, LT, Ma, ZE, Tan, S: An SIRS epidemic model of two competitive species. Math. Comput. Model. 37, 87108 (2003)
Xiao, YN, Chen, LS: Modeling and analysis of a predatorprey model with disease in the prey. Math. Biosci. 171, 5982 (2001)
Xiao, YN, Chen, LS: A ratiodependent predatorprey model with disease in the prey. Appl. Math. Comput. 131, 397414 (2002)
Chattopadhyay, J, Arino, O: A predatorprey model with disease in the prey. Nonlinear Anal. 36, 747766 (1999)
Hassell, MP, Varley, CC: New inductive population model for insect parasites and its bearing on biological control. Nature 223, 11331137 (1969)
Beddington, JR: Mutual interference between parasites or predators and its effect on searching efficiency. J. Anim. Ecol. 44, 331340 (1975)
DeAngelis, DL, Goldstein, AH, O’Neill, RV: A model for trophic interaction. Ecology 56, 881892 (1975)
Hwang, TW: Global analysis of the predatorprey system with BeddingtonDeAngelis functional response. J. Math. Anal. Appl. 281, 395401 (2003)
Hwang, TW: Uniqueness of limit cycles of the predatorprey system with BeddingtonDeAngelis functional response. J. Math. Anal. Appl. 290, 113122 (2004)
Crowley, PH, Martin, EK: Functional response and interference within and between year classes of a dragonfly population. J. North Am. Benthol. Soc. 8, 211221 (1989)
Li, HY, Takeuchi, Y: Dynamics of the density dependent predatorprey system with BeddingtonDeAngelis functional response. J. Math. Anal. Appl. 374, 644654 (2011)
Mao, XR, Marion, G, Renshaw, E: Environmental Brownian noise suppresses explosions in population dynamics. Stoch. Process. Appl. 97, 95110 (2002)
Mao, XR, Sabanis, S, Renshaw, E: Asymptotic behavior of stochastic LotkaVolterra model. J. Math. Anal. Appl. 287, 141156 (2003)
Mao, XR, Yuan, C, Zou, J: Stochastic differential delay equations of population dynamics. J. Math. Anal. Appl. 304, 296320 (2005)
Liu, M, Wang, K: Survival analysis of stochastic singlespecies population models in polluted environments. Ecol. Model. 9, 13471357 (2009)
Li, XY, Mao, XR: Population dynamical behavior of nonautonomous LotkaVolterra competitive system with random perturbation. Discrete Contin. Dyn. Syst. 24, 523545 (2009)
Jiang, DQ, Shi, NZ, Zhao, YN: Existence, uniqueness and global stability of positive solutions to the foodlimited population model with random perturbation. Math. Comput. Model. 42, 651658 (2005)
Ji, CY, Jiang, DQ, Shi, NZ: Analysis of a predatorprey model with modified LeslieGower and Hollingtype II schemes with stochastic perturbation. J. Math. Anal. Appl. 359, 482498 (2009)
Ji, CY, Jiang, DQ, Shi, NZ: A note on a predatorprey model with modified LeslieGower and Hollingtype II schemes with stochastic perturbation. J. Math. Anal. Appl. 377, 435440 (2011)
Ji, CY, Jiang, DQ: Dynamics of a stochastic density dependent predatorprey system with BeddingtonDeAngelis functional response. J. Math. Anal. Appl. 381, 441453 (2011)
Jiang, DQ, Ji, CY, Shi, NZ, Yu, JJ: The long time behavior of DI SIR epidemic model with stochastic perturbation. J. Math. Anal. Appl. 372, 162180 (2010)
Liu, M, Wang, K: Global stability of a nonlinear stochastic predatorprey system with BeddingtonDeAngelis functional response. Commun. Nonlinear Sci. Numer. Simul. 16, 11141121 (2011)
Mao, XR: Stochastic Differential Equations and Applications. Horwood, Chichester (1997)
Jiang, DQ, Shi, NZ: A note on nonautonomous logistic equation with random perturbation. J. Math. Anal. Appl. 303, 164172 (2005)
Zhu, C, Yin, G: On competitive LotkaVolterra model in random environments. J. Math. Anal. Appl. 357, 154170 (2009)
Friedman, A: Stochastic Differential Equations and Applications. Academic Press, New York (1975)
Liu, M, Wang, K, Wu, Q: Survival analysis of stochastic competitive models in a polluted environment and stochastic competitive exclusion principle. Bull. Math. Biol. 73, 19692012 (2011)
Liu, M, Wang, K: Persistence and extinction in stochastic nonautonomous logistic systems. J. Math. Anal. Appl. 375, 443457 (2011)
Khasminskii, R: Stochastic Stability of Differential Equations. Sijthoff & Noordhoff, Alphen aan den Rijn (1980)
Gard, TC: Introduction to Stochastic Differential Equations. Dekker, New York (1988)
Zhu, C, Yin, G: Asymptotic properties of hybrid diffusion systems. SIAM J. Control Optim. 46, 11551179 (2007)
Higham, DJ: An algorithmic introduction to numerical simulation of stochastic differential equations. SIAM Rev. 43, 525546 (2001)
Acknowledgements
Shuang Li would like to thank Professor Xinan Zhang, her teacher, for his helpful comments which improved this work. This work is supported by Science and Technology Search Key Project of Education Department of Henan Province in China (No. 14A110019) and Foundation for Ph.D. of Henan Normal University (No. qd13043).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
SL conceived of the study, drafted the manuscript and participated in the sequence alignment. XW performed the statistical analysis and helped to draft the manuscript. All authors read and approved the final manuscript.
Electronic Supplementary Material
Below is the link to the electronic supplementary material.
13662_2015_448_MOESM1_ESM.pdf
Appendix. In the Appendix, the local and global stability of equilibria for system (2) are discussed, the condition of permanence is also derived, we can compare these results with stochastic system (5), it shows that the environmental random perturbation plays an important role, it can not be neglected.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Li, S., Wang, X. Analysis of a stochastic predatorprey model with disease in the predator and BeddingtonDeAngelis functional response. Adv Differ Equ 2015, 224 (2015). https://doi.org/10.1186/s1366201504480
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201504480