This section analyzes the stability of the non-linear system (12)–(22) for various equilibrium states by computing eigenvalues of the Jacobian matrix J[E]. The general matrix J[E] of the system is given in “Appendix”.
Theorem 1
The disease-free state \(E_0\) is locally asymptotically stable for
$$\begin{aligned} R_{10}^2<1\quad and\quad R_{01}^2<1. \end{aligned}$$
(27)
Proof
About disease-free state, seven of the eigenvalues of the Jacobian matrix (\(J[E_{0}]\)) are negative and computed as \(-1\)(multiplicity 4), \(-1-p_2- p_3\)(multiplicity 2) and -1 - \(p_6 - p_8\). The remaining four eigenvalues are given as:
$$\begin{aligned} \dfrac{1}{2}\left( -2-p_5\pm \sqrt{p_5^2 + 4 p_1p_9\hat{S}_1}\right) , \dfrac{1}{2}\left( -2-p_6\pm \sqrt{p_6^2 + 4 p_4p_9\hat{S}_2}\right) \end{aligned}$$
Further simplifications give all eigenvalues with negative real part under condition (27). Therefore, the disease-free state is locally asymptotically stable under condition (27). \(\square \)
Further, for global stability of disease-free state, the following theorem is concluded:
Theorem 2
The locally asymptotically stable state \(E_0\) is also globally stable for
$$\begin{aligned} R_{10}^2<\frac{(1+ 2p_3)}{2(1+p_2+p_3)}<1\,\,\,\ and \,\,\,\ R_{01}^2<\frac{(1+2p_2)}{2(1+p_2+p_3)}< 1. \end{aligned}$$
(28)
Proof
For arbitrarily chosen positive constants A, B, C and D, consider the positive definite function \(L(I_1,I_2,V_1,V_2)\) as:
$$\begin{aligned} L(I_1,I_2,V_1,V_2) = AI_1 + BI_2 + CV_1 + DV_2 \end{aligned}$$
Taking derivative of \(L(I_1,I_2,V_1,V_2)\) with respect to t and its simplifications yield,
$$\begin{aligned} \dot{L}(I_1,I_2,V_1,V_2)\le & {} -V_1(C-Ap_1) - V_2(D-Bp_4) \\&-I_1((1+p_5)A-2p_9C) - I_2((1+p_6)B-2p_9D)\\ \end{aligned}$$
For \(\dot{L}(I_1,I_2,V_1,V_2)\) to be negative, the conditions are
$$\begin{aligned} C> Ap_1; D> Bp_4; (1+p_5)A> 2p_9C; (1+p_6)B > 2p_9D \end{aligned}$$
Let us choose \(A= \dfrac{R_{10}^2}{p_1}\)and \(B= \dfrac{R_{01}^2}{p_4}\). Their substitution in inequalities and further simplifications give
$$\begin{aligned} R_{10}^2< C; R_{01}^2<D; C< \dfrac{(1+2p_3)}{2(1+p_2+p_3)} \hbox { and } D <\dfrac{(1+2p_2)}{2(1+p_2+p_3)} \end{aligned}$$
Let \(\alpha =\dfrac{(1+2p_3)}{2(1+p_2+p_3)}(<1)\) and \(\beta =\dfrac{(1+2p_2)}{2(1+p_2+p_3)}(<1)\) for positive \(p_2\) and \(p_3\).
then the inequalities can be combined to give
$$\begin{aligned} R_{10}^2< C< \alpha<1; R_{01}^2< D< \beta <1; \end{aligned}$$
The positive arbitrary constants C and D can now be chosen to satisfy the above inequality ensuring that \(\dot{L}(S,I_1,I_2,V_1,V_2)\) is negative. Accordingly, the function \(L(S,I_1,I_2,V_1,V_2)\) is a Lyapunov function for the condition (28). At \(V_1=0\), \(V_2=0\), \(I_1=0\) and \(I_2=0\), \(\dot{L}\) becomes zero. If \(V_1=0\), \(V_2=0\), \(I_1=0\) and \(I_2=0\), then \(\{E_0\}\) is the only largest invariant set that contains a subset in which all these variables are zero. By applying LaSalle’s invariance principle [38], all trajectories in the closed set \(\varOmega \) approach the equilibrium point \(E_0\). Hence, the locally asymptotically stable disease-free state \(E_0\) is also globally asymptotically stable. Hence, the result is proved. \(\square \)
It is observed that \(E_0\) may still be globally stable even when one or both of the conditions in (28) are not satisfied.
Further, when the state \(E_0\) is unstable, existence of some other states may become possible. These possibilities are explored next.
It may be noted that the existence of \(E_1\) requires \(R_{10}^2>1\) [see condition (23)] which implies the instability of disease-free state \(E_0\).
Lemma 2
When \(R_{10}^2>1\) then
$$\begin{aligned} \xi \left( =\frac{(1+p_2+p_3)(p_2p_5+p_1p_9+p_2+p_9+2p_2p_9)}{p_9(1+2p_2)(1+p_1+p_2+p_3+p_1p_3)}\right) <1. \end{aligned}$$
(29)
Proof
Assuming \(\xi >1\) leads to \(R_{10}^2<1\) which is the contradiction. Therefore, \(\xi <1\) whenever \(R_{10}^2>1\). \(\square \)
Theorem 3
For \(\xi \) given in (29), the state \(E_1\) will be locally asymptotically stable when
$$\begin{aligned} \xi R_{01}^2 <1 \end{aligned}$$
(30)
Proof
For the local stability of \(E_1=(S_1,I_1,R_1,U_1,V_1,S_2,0,R_2,0,1,0)\), the seven of the eigenvalues of the Jacobian matrix \(J[E_1]\) are computed as:
\(-1\)(multiplicity 3), \(-1-p_2-p_3\), \(-1-p_6-p_8\), \(\dfrac{-2-p_6\pm \sqrt{p_6^2+ 4(1+p_6)\xi R_{01}^2}}{2}\).
Note that all of these seven eigenvalues are negative provided condition (30) is satisfied. The other four eigenvalues are the roots of the polynomial
$$\begin{aligned} \lambda ^4 + A_1\lambda ^3 + A_2\lambda ^2 + A_3\lambda + A_4=0 \end{aligned}$$
where,
$$\begin{aligned} A_1= & {} 4+p_2+p_3+p_5+p_9\breve{I_1}+p_1\breve{V_1};\\ A_2= & {} 6 +3p_5+ (p_2+ p_3)(3+p_5 + p_9\breve{I_1})+(p_9\breve{I_1}+p_1\breve{V_1})(3 +p_3+ p_5)\\&+\,p_1p_9(\breve{V_1}\breve{I_1}-\breve{S_1}\breve{U_1});\\ A_3= & {} 4+3(p_2 + p_3+p_5)+\,2p_2p_5 + 2p_3p_5\\&+\, p_9\breve{I_1}(3+2p_2 +2p_3+2p_5 +p_2p_5+p_3p_5+p_1p_5\breve{V_1}+2p_1\breve{V_1})\\&+\,(p_3p_5+2p_5+2p_3+3)p_1\breve{V_1}- p_1p_9\breve{S_1}\breve{U_1}(2 + p_2 + p_3);\\ A_4= & {} (1 +p_2 +p_3)(1 +p_5)(1 + p_9\breve{I_1}+p_1\breve{V_1}+\,p_1p_9\breve{V_1}\breve{I_1})\\&-\, p_1p_9\breve{S_1}\breve{U_1}(1+p_2+p_3)- p_1\breve{V_1}(p_2)(1+p_5) -p_1p_9\breve{V_1}\breve{I_1}(1+p_5)\\ \end{aligned}$$
Now, substituting the values of state variables at \(E_1\) and simplifying, it has been found that all the four roots of the polynomial are having negative real part for \(R_{10}^2>1\), if the Routh–Hurwitz conditions satisfy. Hence, the state \(E_1\) will be locally asymptotically stable if the Routh–Hurwitz conditions hold. \(\square \)
Remark 1
Accordingly, state \(E_1\) is stable when \(R_{01}^2<1\). However, when \(R_{01}^2>1\), the state may be stable/unstable subject to the condition (30). These are further explored in terms of migration:
-
Observe that \(\xi =1\) in absence of migration (\(p_2=p_3=0\)). Therefore, in absence of migration the state \(E_1\) will be locally asymptotically stable when \(R_{01}^2<1\).
-
When migration is allowed only in patch-1 i.e. \(p_2=0\) but \(p_3 >0\), it is observed that \(\xi =1\) and the state \(E_1\) is locally asymptotically stable for \(R_{01}^2<1\).
-
When \(p_2>0\) and \(p_3>0\) then by simplifying the expression for \(\xi \), it may be noted that \(\xi \) still remains smaller than 1. Therefore, the state \(E_1\) is again locally stable for \(R_{01}^2<1\).
Remark 2
Stability of the state \(E_1\) is possible even though \(R_{01}^2>1\) since the stability condition \(\xi R_{01}^2<1\) may still be satisfied for sufficiently small \(\xi <1\) in presence of migration.
Local stability of \(E_2\) (disease in patch-2 state) state is discussed below:
Lemma 3
When \(R_{01}^2>1\) then
$$\begin{aligned} \eta \left( =\frac{(1+p_2+p_3)(p_3+p_9+2p_3p_9+p_4p_9+p_3p_6)}{(1+2p_3)(p_9+p_2p_9+p_3p_9+p_4p_9+p_2p_4p_9)}\right) <1 \end{aligned}$$
(31)
Proof
Assuming \(\eta > 1\) leads to \(R_{01}^2<1\) which is the contradiction. Therefore, \(\eta <1\) whenever \(R_{01}^2>1\). \(\square \)
Theorem 4
For \(\eta \) given in (31), the state \(E_2\) will be locally asymptotically stable when
$$\begin{aligned} \eta R_{10}^2 <1 \end{aligned}$$
(32)
Proof
For the local stability of \(E_2\)=\((S_1,0,R_1,1,0,S_2,I_2,R_2,I_{12},U_2,V_2)\), the seven eigenvalues of the \(11\times 11\) Jacobian matrix are given as follows:
\(-1\)(multiplicity two), \(-1-p_6-p_8\), \(\dfrac{1}{2}(-2-p_2-p_3\pm \sqrt{p_2^2+p_3^2+2p_2p_3-4\rho p_2p_3p_7\tilde{V_2}})\) and \(\dfrac{1}{2}(-2-p_5\pm \sqrt{p_5^2+ 4(1+p_5)\eta R_{10}^2})\).
Note that all of these seven eigenvalues are negative for condition (32). The other eigenvalues are the roots of following polynomial of degree four
$$\begin{aligned} \lambda ^4 + B_1\lambda ^3 + B_2\lambda ^2 + B_3\lambda + B_4=0 \end{aligned}$$
where,
$$\begin{aligned} B_1= & {} 4 + p_2 + p_3 + p_6 + p_9\tilde{I_2} + p_4\tilde{V_2};\\ B_2= & {} 3 + 3(1 + p_2 + p_3 + p_6) + (p_2 + p_3)p_6 \nonumber \\&+\, 2p_9\tilde{I_2} (1 + p_2 + p_3 + p_6)p_9\tilde{I_2} - p_4 p_9\tilde{S_2}\tilde{U_2} + (3+ p_2 + p_6 + p_9\tilde{I_2})p_4\tilde{V_2} ;\\ B_3= & {} 1 +3(1 + p_2 + p_3 + p_6)+ 2 p_6(p_2+ p_3) + p_9\tilde{I_2}(3 + 2p_2 + 2p_3 \nonumber \\&+\, 2 p_6 + p_2 p_6 + p_3 p_6) - p_4 p_9\tilde{S_2}\tilde{U_2}(2+ p_2 + p_3 ) \nonumber \\&+\, p_4\tilde{V_2}(3 + 2 p_2 + 2 p_6 + p_2 p_6) + p_4 p_9\tilde{I_2}\tilde{V_2}(2 + p_2 + p_6);\\ B_4= & {} (1 + p_3 + p_2 +(1+ p_4 \tilde{V_2})(1+p_2))(1 + p_6 + p_9\tilde{I_2}\nonumber \\&+ \,p_6 p_9\tilde{I_2}) - p_4p_9\tilde{S_2}\tilde{U_2}(1 + p_3+p_2) + p_2p_4(1+p_6)(1+p_9\tilde{I_2})\tilde{V_2} \\ \end{aligned}$$
Now putting the values of variables at state \(E_2\), all the four roots of the above polynomial are having negative real part for \(R_{01}^2>1\) provided the Routh–Hurwitz conditions satisfy. Hence, the state \(E_2\) will be locally asymptotically stable if the Routh–Hurwitz conditions hold. \(\square \)
Remark 3
Accordingly, state \(E_2\) is stable when \(R_{10}^2<1\). However, when \(R_{10}^2>1\), the state may be stable/unstable. These are further explored in terms of migration:
-
When both the patches are isolated i.e. \(p_2=0\) and \(p_3=0\) Assuming \(R_{01}^2=\dfrac{p_4p_9}{1+p_6}>1\), the state \(E_2\) will be locally asymptotically stable when \(R_{10}^2<1\).
-
When migration is allowed only in patch-2 i.e. \(p_3\)=0 but \(p_2>0\), then it is observed that \(\eta =1\) gives the local stability of \(E_2\) for \(R_{10}^2<1\).
-
When \(p_3>0\) and \(p_2>0\) then by simplification yields \(\eta <1\). Therefore, the state \(E_2\) is again locally stable for \(R_{10}^2<1\).
Remark 4
Stability of the state \(E_2\) is possible even though \(R_{10}^2>1\) since the stability condition \(\eta R_{10}^2<1\) may still be satisfied for sufficiently small \(\eta <1\) in presence of migration.
Remark 5
When \(R_{10}^2>1\) and \(R_{01}^2>1\), the states \(E_1\) and \(E_2\) both exist. when \(R_{10}^2\eta <1\) or \(R_{01}^2\xi <1\), the states \(E_1\) or \(E_2\) respectively are locally stable while the state \(E^*\) does not exist. The state \(E^*\) exists for \(R_{10}^2\eta >1\) and \(R_{01}^2\xi >1\).
For the local stability of the endemic state \(E^\star \), the three of the eigenvalues of Jacobian matrix are \(-1\)(multiplicity two) and \(-1-p_6-p_8\). Two of the eigenvalues are the negative roots of second degree polynomial
$$\begin{aligned} \lambda ^2+ (2+p_2+p_3)\lambda + (1+p_2+p_3+\rho p_2p_3p_7V_2^\star ) =0 \end{aligned}$$
Further, the remaining eigenvalues are the roots of the polynomial of degree 6:
$$\begin{aligned} \lambda ^6+ D_1\lambda ^5 + D_2\lambda ^4+D_3\lambda ^3+D_4\lambda ^2+D_5\lambda + D_6 =0 \end{aligned}$$
The expressions for the coefficients of above six degree polynomial omitted from the text as they are lengthy and complex. The numerical simulations have been performed for the stability of the endemic state in the next section.