Since the seminal models for predator-prey interactions was put forward by Vito Voterra and Alfred James Lotka in the mid 1920s, mutualist and competitive mechanism received much attention from scientists [20, 21]. Mathematical ecology becomes an important factor along with the experimental ecology in the development of quantitative theory for interaction of predator and prey, see [24]. Similarly, after the pioneering work of Kermack-McKendrick on SIRS, epidemiological models were studied extensively in the recent years by researchers, see [22, 23]. Both the theoretical and experimental investigations of ecology and epidemiology progressed independently along the years, until the late eighties and early nineties, more and more people begin to pay their attention to merge these two important areas of research, i.e., eco-epidemiological system, see [8, 22-24], in these three papers the authors investigated the predator-prey system with disease in the prey species only. Obviously, we can find some models with disease in the predator only or both the populations affected by disease [25, 26]. In these papers, the boundedness, bifurcation and stability criterion of the different equilibrium points of the systems are analyzed. But most of them just investigate the local stability criterion of the equilibrium points because it is not so easy to get a Lyapunov function which is the well-known method to derive the global stability of the equilibrium. Then, a new criterion for the global stability of equilibrium point is derived for nonlinear autonomous ordinary differential equations by Muldowney [1] in 1996 which received much attention in the recent years. But most of them use the method in the epidemiological models, see [2-4], or in the ecological model, see [5].
In the present paper, we consider an eco-epidemiological system, i.e., a predator-prey model with disease in the prey, see [6]. Our paper is significantly different from the above papers as we use the new method to study the global stability of the interior equilibrium point. The organization is as follows: Section 2 introduces the model, giving the meaning of the parameters. Section 3 deals with some basic results, e.g. positivity, boundedness of the solutions. In Section 4, we analysis the local stability of the equilibrium points of the model. Lastly, the geometric approach is used to solve the global stability problem of the interior equilibrium point. For detailed calculations one can see Haque et al. [2], Bunomo et al. [3], Kar and Mondal [4].
We consider the following model:
with initial conditions:
where all the parameters are strictly positive constants. The state variables $S$, $I$ and $Y$ denote, respectively, the population of susceptible prey species, infected prey species and predator species at time $t$. The susceptible prey population grows according to the logistic with law intrinsic growth rate $r$, $K$ is the environmental carrying capacity, $\beta$ is the rate of transmission from susceptible prey species to infected prey species who have a natural death rate $c$, $d$ is the death rate of predator species and the predation coefficients is $p$ when the coefficients of conversing prey into predator is $q(0<q\leq 1)$.
Remark 1 It is to be noted that the prey species is divided into two classes, namely, the susceptible prey $(S)$ and the infected prey $(I)$, in the presence of disease. The disease is only spread among the prey species.
Remark 2 It is assumed that only the susceptible prey have the ability to reproduce with logistic law.
In this section, we try to investigate the positivity and boundedness of the solutions of system (2.1).
Theorem 3.1 All the solutions of system (2.1) are positive.
Proof From the first equation of system (2.1) we can get $ \frac{dS}{S} = [r(1-\frac{S+I}{K})-\beta I]dt, $ which implies $ \frac{dS}{S} = \phi(S,I)dt, $ where $\phi (S,I) = {r(1-\frac{S+I}{K})-\beta I}.$
Now integrating above differential equation in the region $[0,t]$, we obtain
Again, from the second equation of system (2.1) we have $ \frac{dI}{I} = (-c+\beta S-pY)dt, $ which implies $ \frac{dI}{I} = \psi (S,I,Y)dt, $ where $\psi (S,I,Y) = (-c+\beta S-pY)$.
Now integrating above differential equation in the region $[0,t]$, we get
Then from the third equation of system (2.1), we can write $ \frac{dY}{Y} = (-d+qpI)dt, $ which implies $ \frac{dY}{Y} = \varphi (I,Y)dt, $ where $\varphi (I,Y) = (-d+qpI).$
Now integrating above differential equation in the region $[0,t]$ we have
Hence all the solutions of system (2.1) are positive. In the next theorem, we attempt to find some sufficient condition for which the solution of system (2.1) is bounded.
Theorem 3.2 All the solutions of system (2.1) are bounded above.
Proof From the third equation of system (2.1) we may conclude that $ I\geq \frac{d}{qp},\forall t. $ Again, from the first equation of the system (2.1), we write $ S+I\leq K,\forall t $ or $S\leq K-I\leq K-\frac{d}{qp},\forall t.$ Using above equation in the second equation we can get $ Y\leq \beta K-\frac{\beta d}{qp}-c. $ At last, we can obtain $ I\leq K-S\leq K. $ Thus, all the solutions of system (2.1) are bounded above.
In this section, we discuss the equilibrium points of system (2.1), consider the following equations
obviously, it has three possible nonnegative equilibrium points:
(ⅰ) the boundary equilibria $A_{0}(K,0,0)$;
(ⅱ) the predator free equilibria $A_{1}(S_{1},I_{1},0)$ where $S_{1}=\frac {c}{\beta},I_{1}=\frac{k\beta r-c r}{k\beta^{2}+r\beta}$;
(ⅲ) the interior equilibrium $A^{*}(S,I,Y)$ are the positive root of system $\dot{S}=\dot{I}=\dot{Y}=0$, where
At first, we analyze the stability criterion of system (2.1) at the boundary equilibria then we examine the local and global stability of the system followed by bifurcation analysis at its interior equilibrium $A^{*}(S,I,Y).$
Theorem 4.1 The boundary equilibrium $A_{0}(K,0,0)$, is locally asymptotically when $\beta K<c$.
Proof The characteristic equation of system (2.1) at $A_{0}(K,0,0)$ can be written as $(\lambda+r)(\lambda+d)(\lambda+c-\beta K)=0.$ Therefore the eigenvalues to system (2.1) at $A_{0}(K,0,0)$ are given by
Thus, if $c<\beta K$, then the boundary equilibrium $A_{0}(K,0,0)$ is stable otherwise it is unstable.
Theorem 4.2 The sufficient conditions for system (2.1) to be locally stable, at its predator free equilibrium $A_{1}(S_{1},I_{1},0)$, are $qpI_{1}<d$.
Proof The characteristic equation of system (2.1) at $A_{1}(S_{1},I_{1},0)$ can be written as $(\lambda-qpI_{1}+d)(\lambda^{2}+\frac{rS_{1}}{K}\lambda+\frac{r\beta}{K}I_{1}+\beta^{2}S_{1}I_{1})=0$. Clearly, if $qpI_{1}<d$, then all the eigenvalues to system (2.1), at its predator free equilibrium is locally asymptotically stable. Hence the theorem.
Theorem 4.3 The interior equilibrium $A^{*}$ is always locally asymptotically stable.
Proof Clearly, the Jacobian matrix of system (2.1) at $A^{*}$ is
The characteristic equation of the system (2.1) around its interior equilibrium point can be written as
where
Then
Obviously, $A>0,AB-C>0$. The theorem is trivially proved according to the Routh-Hurwitz criterion.
Here, we illustrate the general method described by Li and Muldowney [1] to show an n-dimensional autonomous dynamical system $f:D\longrightarrow R^{n},D\subset R^{n}$, an open and simply connected set and $f\in C^{1}(D)$, where the dynamical system is given by
is global stable under certain parametric conditions. For detailed calculations one can see Haque et al. [2], Bunomo et al. [3], Kar and Mondal [4].
Now, we assume the following condition.
(A$_{1})$ The autonomous dynamical system (2.1) has a unique interior equilibrium point $x^{*}$ in $D$.
(A$_{2})$ The domain $D$ is simply connected.
(A$_{3})$ There is a compact absorbing set $\Omega\subset D$.
Definition 5.1 (Li and Muldowney) The unique equilibrium point $x^{*}$ of the dynamical system (2.1) is global asymptotically stable in the domain $D$ if it is locally asymptotically stable and all the trajectories in $D$ converge to its interior equilibrium point $x^{*}$.
Let $J=(J_{ij})_{n}$ be the variational matrix of system (2.1) and $J^{|2|}$ be the second additive compound matrix with order $^{n}C_{2}\times ^{n}C_{2}$.
In particular, for n=3 we can write
Let $M(x)$ in $C^{1(D)}$, Li and Muldowney [1], be the $^{n}C_{2}\times ^{n}C_{2}$ matrix valued function.
Moreover, we also consider $B$ a matrix such that $B=M_{f}M^{-1}+MJ^{|2|}M^{-1}$ where the matrix $M_{f}$ is represented by
Again, we consider the Lozinskii measure $\Gamma$ of B (Martin [15]) with respect to a vector norm $|\cdot|$ in $R^{N},N=^{n}C_{2}$, then we have
If (A$_{1})$--(A$_{3})$ hold then Li and Muldowney [1] show that
Condition (5) ensures that there are no orbits (i.e., homoclinic orbits, heteroclinic cycles and periodic orbits) which give rise to a simple closed rectifiable curve in $D$, invariant for system (2.1). It is also a robust Bendixson criterion.
Now, we use the above discussion to show that our system (2.1) is globally stable around its interior equilibrium.
The autonomous system (2.1) can be written in the following form
where $f(X)=\left(\begin{array}{ccc} rS(1-\frac{S+I}{K})-\beta SI \\ -cI+\beta SI-pIY \\ -dY+qpIY \end{array}\right)$ and $X=\left(\begin{array}{ccc} S \\ I \\ Y \end{array}\right).$ Then the variational matrix $V(x,y,z)$ of system (2.1) can be written as
If $V^{|2|}$ be second additive compound matrix of $V$ then $V^{|2|}$, Bunomo et al. [3], can be expressed as
We consider $M(x)$ in $C^{1}(D)$ in such a way that $M={\rm diag}\{\frac{S}{Y},\frac{S}{Y},\frac{S}{Y}\}.$ Then we have
and
Thus it is easy to show that
and $MV^{|2|}M^{-1}=V^{|2|}.$ We have
where $B_{11}=\frac{\dot{S}}{S}-\frac{\dot{Y}}{Y}+r-\frac{2rS+rI}{K}-\beta I-c+\beta S-pY,$ $B_{12}=\left(\begin{array}{ccc} -pI & 0 \\ \end{array}\right),$ $B_{21}=\left(\begin{array}{ccc} qpY & 0 \\ \end{array}\right)^{T},$ and
Now let us define the following vector norm in $\Re^{3}$ as
where $(u,v,w)$ is the vector in $\Re^{3}$ and it is denoted by $\Gamma$, the Lozinskii measure with respect to this norm. Therefore, $\Gamma(B)\leq \sup\{g_{1},g_{2}\}$, where $g_{i}=\Gamma_{1}(B_{ii})+|B_{ij}|$ for $i=1,2$ and $i\neq j$, where $|B_{12}|,|B_{21}|$ are matrix norms with respect to the $L^{1}$ vector norm and $\Gamma_{1}$ is the Lozinskii measure with respect to that norm.
Consequently, we can obtain the following terms
From system (2.1),
Hence
i.e.,
It is assumed that there exists a positive $\mu_{1} \in \Re$ and $t_{1}>0$, such that
Also, we take
In consequence to the above analysis we have reached to state the following theorem.
Theorem 5.1 System (2.1) is globally asymptotically stable around its interior equilibrium if $c+\mu_{2}>d$, where
with $\mu_{1}\in \Re^{+}$ such that for $t_{1}>0$ we have $\mu_{1}=\{\inf\limits_{t\geq t_1} S(t),\inf\limits_{t\geq t_1}I(t),\inf\limits_{t\geq t_1}Y(t)\}$.
In this paper, we deal with a three dimensional eco-epidemiological model consisting of susceptible prey, infected prey and predator. It is assumed that the disease only spreads among the prey species and just the susceptible prey has the ability to reproduce with logistic law. The dynamics of the system such as, boundedness of the solutions, existence of nonnegative equilibria and the local stability of the equilibrium points are analyzed. Then, we use the geometric method of Li and Muldowney to investigate the global stability of system (2.1). We expect that this approach can be applied to solve global stability problems in many other models.
Lastly, two future directions of work are mentioned to extend the present paper:
ⅰ) One can consider the case in which incidence is nonlinear.
ⅱ) One can consider the case in which the predation coefficient is nonlinear.
ⅲ) One can considers the delay effect incurred in contacts between susceptible and infected populations.
Acknowledgments The authors would like to thank the anonymous reviewers for their careful reading, useful comments and valuable suggestions, which have helped us a lot to improve the present research work significantly.