Next Article in Journal
A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System
Next Article in Special Issue
On the Poisson Stability to Study a Fourth-Order Dynamical System with Quadratic Nonlinearities
Previous Article in Journal
A New Family of High-Order Ehrlich-Type Iterative Methods
Previous Article in Special Issue
LMI-Observer-Based Stabilizer for Chaotic Systems in the Existence of a Nonlinear Function and Perturbation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Schistosomiasis Model Incorporating Snail Predator as Biological Control Agent

by
Wahyudin Nur
1,2,
Trisilowati
1,*,
Agus Suryanto
1 and
Wuryansari Muharini Kusumawinahyu
1
1
Department of Mathematics, Faculty of Mathematics and Natural Sciences, University of Brawijaya, Malang 65145, Indonesia
2
Department of Mathematics, Universitas Sulawesi Barat, Majene 91411, Indonesia
*
Author to whom correspondence should be addressed.
Mathematics 2021, 9(16), 1858; https://doi.org/10.3390/math9161858
Submission received: 6 July 2021 / Revised: 2 August 2021 / Accepted: 2 August 2021 / Published: 5 August 2021
(This article belongs to the Special Issue Nonlinear Dynamics)

Abstract

:
Schistosomiasis is a parasitic disease caused by the schistosoma worm. A snail can act as the intermediate host for the parasite. Snail-population control is considered to be an effective way to control schistosomiasis spread. In this paper, we discuss the schistosomiasis model incorporating a snail predator as a biological control agent. We prove that the solutions of the model are non-negative and bounded. The existence condition of equilibrium points is investigated. We determine the basic reproduction number when the predator goes to extinction and when the predator survives. The local stability condition of disease-free equilibrium point is proved using linearization, and the Lienard–Chipart and Routh–Hurwitz criteria. We use center-manifold theory to prove the local stability condition of the endemic equilibrium points. Furthermore, we constructed a Lyapunov function to investigate the global stability condition of the disease-free equilibrium points. To support the analytical results, we presented some numerical simulation results. Our findings suggest that a snail predator as a biological control agent can reduce schistosomiasis prevalence. Moreover, the snail-predator birth rate plays an essential role in controlling schistosomiasis spread.

1. Introduction

Schistosomiasis is a parasitic disease caused by schistosoma-worm infection [1]. The parasite has a complicated life cycle. Some types of snail can act as intermediate hosts, while humans and mammals such as cows, pigs, and mice can serve as reservoir hosts [2]. Consequently, the parasite can infect mammals as a human substitute to complete its life cycle. This is one of the several factors that make schistosomiasis very difficult to eradicate. Controlling the snail population is the most effective way to control the spread of schistosomiasis. Some researchers recommended the use of molluscicides to manage the snail host population [1,3,4]. However, molluscicides have some negative environmental effects [5]. Another method that can be used to manage the snail population is an intervention with snail predators or competitors [6,7,8]. Sokolow et al. [7] stated that releasing river prawn, which is a snail predator, into a water contact site can reduce the snail population and schistosomiasis transmission.
Mathematical modeling is used to study the dynamics of the spread of the disease. The first mathematical model that is related to schistosomiasis is discussed in [9]. Schistosomiasis models considering parasite density in the environment are discussed in [10,11,12,13,14]. The authors divided the parasite into two compartments, i.e., miracidiae and cercariae, which can infect snails and humans or mammals, respectively. In 2009, Chiyaka et al. [10] investigated the host–parasite dynamics of schistosomiasis. They proposed a schistosomiasis model that consists of six first-order differential equations. They found that control interventions that target transmission to humans are more effective than control strategies that aim the transmission to snails are. Gao et al. [11] developed a schistosomiasis model to investigate some control strategies, i.e., health education, cercaria control, snail control, and drug treatment. They found that killing snails is the most effective method to manage schistosomiasis spread. Nur et al. [13] proposed a schistosomiasis model incorporating health education and molluscicide intervention. They found that the most effective way to control schistosomiasis prevalence is molluscicide intervention. Moreover, schistosomiasis cannot be eradicated if the only intervention is health education [13]. Diaby et al. [15] proposed a schistosomiasis model with biological control, i.e., competitor-resistant snails. They found that competitor-resistant snails can be used to manage the spread of schistosomiasis. Okamoto et al. [16,17] proposed mathematical models of vectorborne diseases. They found that biological control agents that can be used to control vectorborne diseases are natural predators, natural competitors, or parasites of the vector. Schistosomiasis is a waterborne disease. Hence, we study the dynamics of the spread of schistosomiasis when a snail predator is used as a biological control agent of snails. Different from the model discussed in [10,11,12,13,15,16,17], we propose a schistosomiasis model with a biological control agent of snails, namely, a snail predator.

2. Mathematical Preliminaries

In this section, we present a theorem that can be used to investigate the existence of backward and forward bifurcation. The theorem is very useful, especially in epidemic models. Theorem 1 can be used to investigate the local stability condition of endemic equilibrium [10,11,18]. The proof of Theorem 1 can be found in [19].
Theorem 1
(Castillo-Chavez and Song [19]) Consider the following general system of ordinary differential equations with a parameter ω.
d x d t = f ( x , ω ) , f : R n × R R n , f C 2 ( R n × R ) ,
where 0 is an equilibrium for System (1), such that f ( 0 , ω ) 0 for all ω. Assume
A1:
J M = D x f ( 0 , 0 ) = f i x j ( 0 , 0 ) is the linearization matrix of (1) around equilibrium 0, and ω is evaluated at 0. Zero is a simple eigenvalue of J M 0 , and the other eigenvalues of J M have a negative real part.
A2:
Matrix J M has a right eigenvector v and a left eigenvector w corresponding to the zero eigenvalue. Let f k be the k t h component of f and
A = k , i , j = 1 n w k v i v j 2 f k 0 , 0 x i x j , B = k , i = 1 n w k v i 2 f k 0 , 0 x i ω .
The dynamics of System (1) around 0 is totally determined by the signs of A and B.
(i) 
A > 0 , B > 0 . When ω < 0 with | ω | 1 , 0 is asymptotically stable, and there is a positive unstable equilibrium. When ω > 0 with | ω | 1 , 0 is unstable, and there is a negative asymptotically stable equilibrium;
(ii) 
A < 0 , B < 0 . When ω < 0 with | ω | 1 , 0 is unstable. When ω > 0 with | ω | 1 , 0 is asymptotically stable, and there is a positive unstable equilibrium;
(iii) 
A > 0 , B < 0 . When ω < 0 with | ω | 1 , 0 is unstable, and there is a negative asymptotically stable equilibrium. When ω > 0 with | ω | 1 , 0 is stable and a positive unstable equilibrium appears;
(iv) 
A < 0 , B > 0 . When ω changes from negative to positive, 0 changes its stability from stable to unstable. Correspondingly, a negative unstable equilibrium becomes positive and asymptotically stable.
On the basis of Theorem 1, forward bifurcation occurs at ω = 0 if A < 0 and B > 0 . Moreover, backward bifurcation occurs at ω = 0 if A > 0 and B > 0 .

3. Model Formulation and Basic Properties

3.1. Model Formulation

On the basis of the life cycle of schistosoma worms [2,20,21], it is clear that there is a latent period. Hence, the human population is divided into three compartments, i.e., susceptible humans ( S h ) , exposed humans ( E h ) , and infectious humans ( I h ) . In this model, we assumed that there was no latent period in snail population. Thus, the snail population was only divided into two compartments, i.e., susceptible snails ( S v ) and infectious snails ( I v ) . We only consider two stages of schistosoma-worm development, i.e., the cercaria and miracidia stages. Therefore, the parasite is divided into two compartments, i.e., miracidiae ( M ) and cercariae ( C ) . On the basis of the epidemiology of schistosomiasis [20,21,22], miracidiae can infect snails and cercariae can infect humans. It was assumed that there was only one type of snail predator in the environment, and the intermediate host (snail) was the only food for the predator. A reduction in parasites in the environment due to direct interaction with humans and snails was neglected because infectious humans can excrete large amounts of eggs that can hatch and release miracidiae, while infectious snails can excrete large amounts of cercariae [20]. We assumed that there was no recovery for infectious snails and no disease-related death in the snail and human populations. The transition and interaction between compartments are shown in Figure 1. The description of all parameters is given in Table 1.
On the basis of Figure 1, we constructed a schistosomiasis model as follows:
d S h d t = Π h ( 1 ϕ e ϕ ) β c h C S h + γ i s I h μ h S h , d E h d t = ( 1 ϕ e ϕ ) β c h C S h γ e i + μ h E h , d I h d t = γ e i E h γ i s + μ h I h , d S v d t = Π v β m v M S v ( μ v + μ r ) S v ξ P S v , d I v d t = β m v M S v ( μ v + μ r ) I v ξ P I v , d C d t = σ I v μ c C , d M d t = α h h g h I h μ m M , d P d t = τ P ( S v + I v ) μ p P ,
where ϕ [ 0 , 1 ) , ϕ e [ 0 , 1 ) and the other parameters are positive.

3.2. Invariant Region

In this subsection, we prove that the solutions of System (2) with non-negative initial value are non-negative and bounded.
Theorem 2.
Solutions of System (2) are non-negative for all non-negative initial conditions.
Proof. 
We prove this theorem by using a similar method as that used in [18,23]. From System (2), we have
d S h d t S h = 0 , E h 0 , I h 0 , S v 0 , I v 0 , C 0 , M 0 , P 0 = Π h + γ i s I h > 0 , d E h d t E h = 0 , S h 0 , I h 0 , S v 0 , I v 0 , C 0 , M 0 , P 0 = ( 1 ϕ e ϕ ) β c h C S h 0 , d I h d t I h = 0 , S h 0 , E h 0 , S v 0 , I v 0 , C 0 , M 0 , P 0 = γ e i E h 0 , d S v d t S v = 0 , S h 0 , E h 0 , I h 0 , I v 0 , C 0 , M 0 , P 0 = Π v > 0 , d I v d t I v = 0 , S h 0 , E h 0 , I h 0 , S v 0 , C 0 , M 0 , P 0 = β m v M S v 0 , d C d t C = 0 , S h 0 , E h 0 , I h 0 , S v 0 , I v 0 , M 0 , P 0 = σ I v 0 , d M d t M = 0 , S h 0 , E h 0 , I h 0 , S v 0 , I v 0 , C 0 , P 0 = α h h g h I h 0 , d P d t P = 0 , S h 0 , E h 0 , I h 0 , S v 0 , I v 0 , C 0 , M 0 = 0 .
On the basis of Lemma 2 in [24], R + 0 8 is an invariant region of System (2). Hence, the solutions of System (2) with initial values in R + 0 8 remain in R + 0 8 . This completes the proof. □
Theorem 3.
Solutions of System (2) with non-negative initial value are bounded.
Proof. 
On the basis of the assumptions that are used when formulating the model, we have N h = S h + E h + I h and N v = S v + I v . Here, N h and N v are the total number of humans and total number of snails, respectively. On the basis of System (2), we have
d N h d t = Π h μ h N h , d N v d t = Π v ( μ v + μ r ) N v ξ P N v , d P d t = τ N v P μ p P .
First, we prove that N h is bounded. It is clear that the solution of d N h d t = Π h μ h N h is
N h ( t ) = Π h μ h + N h ( 0 ) Π h μ h e μ h t .
It easy to see that 0 N h ( t ) Π h μ h for t 0 if 0 N h ( 0 ) Π h μ h . Hence, N h is bounded. lim t N h ( t ) = Π h μ h . Now, let W = N v + P . We prove that W is bounded. The last two equations of (3) give
d W d t = d N v d t + d P d t = Π v ( μ v + μ r ) N v ξ P N v + τ N v P μ p P Π v ( ξ τ ) P N v μ ( N v + P ) Π v μ W ,
where ξ τ and μ = min { ( μ v + μ r ) , μ p } . On the basis of Gronwall’s lemma, we obtain W = N v + P Π v μ . Thus, N v and P are bounded. Now, we can show that C and M are bounded. We proved that N h Π h μ h , which implies that I h Π h μ h . Moreover, we have N v + P Π v μ , which means that I v Π v μ . Hence, from System (2), we have
d C d t = σ I v μ c C σ Π v μ μ c C , d M d t = α h h g h I h μ m M α h h g h Π h μ h μ m M .
According to Gronwall’s lemma, we obtain C σ Π v μ μ c and M α h h g h Π h μ h μ m . Thus, the solutions of System (2) are bounded. □
Therefore, System (2) is well-posed with invariant region Θ +
Θ + = { ( S h , E h , I h , S v , I v , C , M , P ) R + 0 8 : N h Π h μ h ; N v + P Π v μ ; C σ Π v μ μ c ; M α h h g h Π h μ h μ m }

3.3. Equilibrium Points and Basic Reproduction Number

System (2) has four equilibrium points.
  • Disease-free equilibrium point E 0 a .
    E 0 a = ( S h a * , E h a * , I h a * , S v a * , I v a * , C a * , M a * , P a * ) = Π h μ h , 0 , 0 , Π v μ v + μ r , 0 , 0 , 0 , 0 .
    E 0 a always exists in R + 0 8 .
  • Endemic equilibrium point E 1 a .
    E 1 a = ( S h a * * , E h a * * , I h a * * , S v a * * , I v a * * , C a * * , M a * * , 0 ) ,
    where
    S h a * * = Π h ( μ h + γ i s ) ( μ h + γ e i ) μ c ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v a * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c , E h a * * = Π h ( μ h + γ i s ) ( 1 ϕ e ϕ ) β c h σ I v a * * ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v a * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c , I h a * * = Π h γ e i ( 1 ϕ e ϕ ) β c h σ I v a * * ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v a * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c , S v a * * = Π v μ v + μ r I v a * * , I v a * * = ( R e a 1 ) μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m ( μ v + μ r ) β m v Π h γ e i ( 1 ϕ e ϕ ) α h h g h β c h σ + ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) μ m ( 1 ϕ e ϕ ) β c h σ ( μ v + μ r ) , C a * * = σ I v a * * μ c , M a * * = α h h g h Π h γ e i ( 1 ϕ e ϕ ) β c h σ I v a * * μ m ( ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v a * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c ) , R e a = Π h Π v γ e i ( 1 ϕ e ϕ ) β c h σ α h h g h β m v μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m ( μ v + μ r ) 2 .
    It is clear that E 1 a exists in R + 0 8 if R e a > 1 .
  • Disease-free equilibrium point E 0 b .
    E 0 b = ( S h b * , E h b * , I h b * , S v b * , I v b * , C b * , M b * , P b * ) = Π h μ h , 0 , 0 , μ p τ , 0 , 0 , 0 , Π v τ ( μ v + μ r ) μ p ξ μ p ,
    E 0 b exists in R + 0 8 if Π v τ ( μ v + μ r ) μ p > 1 .
  • Endemic equilibrium point E 1 b .
    E 1 b = ( S h b * * , E h b * * , I h b * * , S v b * * , I v b * * , C b * * , M b * * , P b * * ) ,
    where
    S h b * * = Π h ( μ h + γ i s ) ( μ h + γ e i ) μ c ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v b * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c , E h b * * = Π h ( μ h + γ i s ) ( 1 ϕ e ϕ ) β c h σ I v b * * ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v b * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c , I h b * * = Π h γ e i ( 1 ϕ e ϕ ) β c h σ I v b * * ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v b * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c , S v b * * = μ p τ I v b * * , I v b * * = ( R e b 1 ) μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m ( ( μ v + μ r ) + ξ P b * * ) β m v Π h γ e i ( 1 ϕ e ϕ ) α h h g h β c h σ + ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) μ m ( 1 ϕ e ϕ ) β c h σ ( ( μ v + μ r ) + ξ P b * * ) , C b * * = σ I v b * * μ c , M b * * = α h h g h Π h γ e i ( 1 ϕ e ϕ ) β c h σ I v b * * μ m ( ( ( μ h + γ e i ) ( μ h + γ i s ) γ e i γ i s ) ( 1 ϕ e ϕ ) β c h σ I v b * * + μ h ( μ h + γ i s ) ( μ h + γ e i ) μ c ) , P b * * = Π v τ ( μ v + μ r ) μ p ξ μ p R e b = Π h μ p γ e i ( 1 ϕ e ϕ ) β c h σ α h h g h β m v μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m τ ( μ v + μ r + ξ P b * * ) .
    It is clear that E 1 b exists in R + 0 8 if R e b > 1 and Π v τ ( μ v + μ r ) μ p > 1 .
The basic reproduction numbers are determined by using a next-generation matrix [25]. Here, we regard E h , I h , I v , C, and M as the infected compartments. Thus, we have
F = ( 1 ϕ e ϕ ) β c h C S h 0 β m v M S v 0 0 , V = ( γ e i + μ h ) E h ( γ i s + μ h ) I h γ e i E h ( μ v + μ r + ξ P ) I v μ c C σ I v μ m M α h h g h I h .
F and V represent the new infection terms and transition terms, respectively. The Jacobian matrices of F and V at arbitrary equilibrium point ( S h * , 0 , 0 , S v * , 0 , 0 , 0 , P * ) are, respectively, given by
F = 0 0 0 β c h ( 1 ϕ e ϕ ) S h * 0 0 0 0 0 0 0 0 0 0 β m v S v * 0 0 0 0 0 0 0 0 0 0 ,
and
V = μ h + γ e i 0 0 0 0 γ e i μ h + γ i s 0 0 0 0 0 μ v + μ r + ξ P * 0 0 0 0 σ μ c 0 0 α h h g h 0 0 μ m .
The basic reproduction number is the spectral radius of F V 1 .
F V 1 = 0 0 β c h ( 1 ϕ e ϕ ) S h * σ μ c ( ( μ v + μ r ) + ξ P * ) β c h ( 1 ϕ e ϕ ) S h * μ c 0 0 0 0 0 0 β m v S v * α h h g h γ e i ( μ h + γ e i ) ( μ h + γ i s ) μ m β m v S v * α h h g h ( μ h + γ i s ) μ m 0 0 β m v S v * μ m 0 0 0 0 0 0 0 0 0 0 .
The characteristic polynomial of (6) is
P ( λ ) = λ 3 λ 2 ( 1 ϕ e ϕ ) β c h S h * σ β m v § v * α h h g h γ e i ( ( μ v + μ r ) + ξ P * ) μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) .
Thus, the spectral radius of F V 1 is
ρ ( F V 1 ) = ( 1 ϕ e ϕ ) β c h S h * σ β m v S v * α h h g h γ e i ( ( μ v + μ r ) + ξ P * ) μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) .
By substituting E 0 a into (7), we obtain the basic reproduction number when the predator becomes extinct.
R 0 a = ( 1 ϕ e ϕ ) β c h Π h σ β m v Π v α h h g h γ e i μ h ( μ v + μ r ) 2 μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) .
R 0 a > 0 and R e a = ( R 0 a ) 2 . In agreement with the existence condition of E 1 a , if R 0 a > 1 then E 1 a exists in R + 0 8 . It is easy to see that R 0 a is completely independent from parameters that are related to the snail predator. This makes sense because E 0 a and E 1 a describe the condition when the predator becomes extinct.
After substituting E 0 b into (7), we obtain the basic reproduction number when the predator survives, namely,
R 0 b = ( 1 ϕ e ϕ ) β c h Π h σ β m v μ p α h h g h γ e i μ h ( ( μ v + μ r ) + ξ P b * ) μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) τ = ( 1 ϕ e ϕ ) β c h Π h σ β m v μ p α h h g h γ e i μ h ( μ v + μ r ) + ξ Π v τ ( μ v + μ r ) μ p ξ μ p μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) τ = ( 1 ϕ e ϕ ) β c h Π h σ β m v μ p 2 α h h g h γ e i μ h Π v μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) τ 2 .
R 0 b > 0 and R e b = ( R 0 b ) 2 . In line with the existence condition of E 1 b , if R 0 b > 1 and Π v τ ( μ v + μ r ) μ p > 1 , then E 1 b exists in R + 0 8 . R 0 b is independent to ξ . Furthermore, it is clear that R 0 b decreases as τ increases. The higher the natural death rate of the snail predator is, the higher R 0 b is.

4. Stability Analysis

In this section, we investigate the stability condition of all equilibrium points. The Jacobian matrix of System (2) at E 0 a is
J ( E 0 a ) = μ h 0 γ i s 0 0 ( 1 ϕ e ϕ ) β c h S h a * 0 0 0 ( γ e i + μ h ) 0 0 0 ( 1 ϕ e ϕ ) β c h S h a * 0 0 0 γ e i ( γ i s + μ h ) 0 0 0 0 0 0 0 0 ( μ v + μ r ) 0 0 β m v S v a * ξ S v a * 0 0 0 0 ( μ v + μ r ) 0 β m v S v a * 0 0 0 0 0 σ μ c 0 0 0 0 α h h g h 0 0 0 μ m 0 0 0 0 0 0 0 0 τ S v a * μ p
The eigenvalues of (8) are zeroes of L ( λ )
L ( λ ) = ( λ + D 1 ) ( λ + D 2 ) ( λ + D 3 ) ( λ + D 4 ) ( λ + D 5 ) γ e i α h h g h ( 1 ϕ e ϕ ) β c h S h a * σ β m v S v a * × ( λ + μ h ) ( λ + ( μ v + μ r ) ) ( λ ( τ S v a * μ p ) ) = L 1 ( λ ) ( λ + μ h ) ( λ + ( μ v + μ r ) ) ( λ ( τ S v a * μ p ) ) ,
where
L 1 ( λ ) = λ 5 + l 1 λ 4 + l 2 λ 3 + l 3 λ 2 + l 4 λ + l 5 , l 1 = g = 1 5 D g , l 2 = 1 g < h 5 D g D h , l 3 = 1 g < h < i 5 D g D h D i , l 4 = 1 g < < j 5 D g D h D i D j , l 5 = ( μ h + γ e i ) ( μ h + γ i s ) ( μ v + μ r ) μ c μ m γ e i α h h g h ( 1 ϕ e ϕ ) β c h S h a * σ β m v S v a * = 1 ( R 0 a ) 2 ( μ h + γ e i ) ( μ h + γ i s ) ( μ v + μ r ) μ c μ m ,
D 1 = μ h + γ e i > 0 , D 2 = μ h + γ i s > 0 , D 3 = μ v + μ r > 0 , D 4 = μ c > 0 , and D 5 = μ m > 0 . Clearly, l i for i = 1 , 2 , 3 , 4 , 5 are elementary symmetric functions [26]. It is obvious that (8) has two negative eigenvalues, i.e., λ 1 = μ h and λ 2 = ( μ v + μ r ) . Moreover, λ 3 = τ S v a * μ p < 0 if τ S v a * μ p = τ Π v μ p ( μ v + μ r ) < 1 . The other eigenvalues are zeroes of L 1 ( λ ) . It is easy to see that l i > 0 for i = 1 , 2 , , 5 if R 0 a < 1 . If R 0 a = 1 then l 5 = 0 . Hence, if τ S v a * μ p = τ Π v μ p ( μ v + μ r ) < 1 and R 0 a = 1 then one eigenvalue of J ( E 0 a ) is zero. Following [27,28], we use a Routh–Hurwitz array shown in Table 2 to determine the Hurwitz determinant.
The Hurwitz determinant of order-i ( Δ i ) is given by Δ i = r ( i , 1 ) Δ i 1 for i = 2 , 3 , 4 , 5 . Hence we obtain
Δ 1 = l 1 , Δ 2 = l 1 l 2 l 3 l 1 Δ 1 = l 1 l 2 l 3 , Δ 3 = l 3 ( l 1 l 2 l 3 ) l 1 ( l 1 l 4 l 5 ) l 1 l 2 l 3 Δ 2 = l 3 ( l 1 l 2 l 3 ) l 1 ( l 1 l 4 l 5 ) ,
Δ 4 = l 4 ( l 1 l 2 l 3 ) l 3 l 1 ( l 1 l 4 l 5 ) l 5 l 2 ( l 2 l 1 l 3 ) ( l 1 l 4 l 5 ) l 3 ( l 1 l 2 l 3 ) l 1 ( l 1 l 4 l 5 ) Δ 3 = l 4 ( l 1 l 2 l 3 ) l 3 l 1 ( l 1 l 4 l 5 ) l 5 l 2 ( l 2 l 1 l 3 ) ( l 1 l 4 l 5 ) , Δ 5 = l 5 Δ 4 = l 5 l 4 ( l 1 l 2 l 3 ) l 3 l 1 ( l 1 l 4 l 5 ) l 5 l 2 ( l 2 l 1 l 3 ) ( l 1 l 4 l 5 ) .
We prove this theorem by using the Liénard–Chipart criterion [29]. According to the criterion, all roots of L 1 ( λ ) have a negative real part if l 1 , Δ 2 , l 3 , Δ 4 , l 5 > 0 . It is clear that l i > 0 always holds for i = 1 , 3 . Furthermore, l 5 > 0 if R 0 a < 1 . Now, we only need to check Δ 2 and Δ 4 . First, we set
R 0 a = R 01 a R 02 a ,
where
R 01 a = γ e i α h h g h ( 1 ϕ e ϕ ) β c h S h a * σ β m v S v a * R 02 a = D 1 D 2 D 3 D 4 D 5 .
It is clear that R 01 a > 0 and R 02 a > 0 . Therefore, R 0 a < 1 implies R 01 a < R 02 a . We now investigate Δ 2 and Δ 4 .
Δ 2 = l 1 l 2 l 3 = D 1 ( D 2 + D 3 + D 4 + D 5 ) ( D 1 + D 2 + D 3 + D 4 + D 5 ) + D 2 ( D 2 + D 3 + D 4 + D 5 ) ( D 3 + D 4 + D 5 ) + ( D 3 + D 4 + D 5 ) ( D 4 + D 5 ) + D 4 ( D 4 D 5 + D 5 D 5 ) , Δ 4 = l 4 ( l 1 l 2 l 3 ) l 3 l 1 ( l 1 l 4 l 5 ) l 5 l 2 ( l 2 l 1 l 3 ) ( l 1 l 4 l 5 ) = Ξ + 12 R 01 a R 02 a R 01 a R 01 a = Ξ + R 01 a 12 R 02 a R 01 a R 01 a = Ξ + R 01 a 12 R 02 a R 01 a .
Since D i > 0 for i = 1 , 2 , 3 , 4 , 5 , it is clear that Δ 2 > 0 . We also proved that Ξ > 0 (see Appendix A). Thus, Δ 4 > 0 if R 0 a < 1 . Therefore, on the basis of the Liénard–Chipart criterion [29], all zeroes of L 1 ( λ ) have a negative real part if R 0 a < 1 . Hence, all eigenvalues of J ( E 0 a ) have a negative real part if R 0 a < 1 and τ Π v μ p ( μ v + μ r ) < 1 . Therefore, E 0 a is asymptotically stable if R 0 a < 1 and τ Π v μ p ( μ v + μ r ) < 1 . If R 0 a > 1 , then there is one sign change in the sequence of L 1 ( λ ) coefficients. On the basis of Descartes’ sign rule [26], there is exactly one positive real root if R 0 a > 1 . Hence, E 0 a is unstable if R 0 a > 1 .
Theorem 4.
Disease-free equilibrium point E 0 a is asymptotically stable if R 0 a < 1 and τ Π v μ p ( μ v + μ r ) < 1 . If R 0 a > 1 or τ Π v μ p ( μ v + μ r ) > 1 then E 0 a is unstable.
Now, we present the local stability condition of E 1 a .
Theorem 5.
Endemic equilibrium point E 1 a is asymptotically stable if R 0 a > 1 (near 1) and τ Π v μ p ( μ v + μ r ) < 1 .
Proof. 
We use Theorem 1 to prove this theorem. Consider β c h as bifurcation parameter. We determine the bifurcation point when R 0 a = 1 . The bifurcation point that is obtained is β c h * = μ h ( μ v + μ r ) 2 μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) ( 1 ϕ e ϕ ) Π h σ β m v Π v α h h g h γ e i . When β c h = β c h * , the characteristic polynomial (9) becomes
L ( λ ) = L 1 ( λ ) ( λ + μ h ) ( λ + ( μ v + μ r ) ) ( λ ( τ S v a * μ p ) ) λ ,
where
L 1 ( λ ) = λ 4 + l 1 λ 3 + l 2 λ 2 + l 3 λ + l 4 .
It is clear that characteristic polynomial (11) has simple zero root ( λ 1 = 0 ) and two negative roots, i.e., λ 2 = μ h and λ 3 = ( μ v + μ r ) . Moreover, λ 4 = τ S v a * μ p < 0 if τ S v a * μ p = τ Π v μ p ( μ v + μ r ) < 1 . Using the Routh–Hurwitz array in Table 3, we determine the conditions that guarantee that the other roots of (11) have a negative real part.
l 1 , r 1 , r 2 , l 4 > 0 (see Appendix B). Hence, on the basis of the Routh–Hurwitz criterion [27], all roots of (12) have a negative real part. These results imply that, if τ Π v μ p ( μ v + μ r ) < 1 , then J E 0 a , β c h * has one zero eigenvalue, and the other eigenvalues have a negative real part. Thus, Assumption A1 in Theorem 1 is satisfied if τ Π v μ p ( μ v + μ r ) < 1 . The right eigenvector of J E 0 a , β c h * corresponding to a zero eigenvalue is
v a = v 1 a v 2 a v 3 a v 4 a v 5 a v 6 a v 7 a v 8 a = ( γ i s γ e i ( μ h + γ e i ) ( μ h + γ i s ) ) ( 1 ϕ e ϕ ) β c h * S h a * v 6 a μ h ( μ h + γ e i ) ( μ h + γ i s ) ( 1 ϕ e ϕ ) β c h * S h a * v 6 a μ h + γ e i γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) β m v S v a * α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m β m v S v a * α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m v 6 a α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) μ m 0 ,
where v 6 a is arbitrarily positive. It is clear that v 1 a < 0 and v 4 a < 0 . The left eigenvector of J E 0 a , β c h * , corresponding to a zero eigenvalue is
w a T = w 1 a w 2 a w 3 a w 4 w 5 a w 6 a w 7 a w 8 a = 0 γ e i α h h g h σ β m v S v a * w 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m α h h g h σ β m v S v a * w 6 a ( μ h + γ i s ) ( μ v + μ r ) μ m 0 σ w 6 a μ v + μ r w 6 a β m v S v a * σ w 6 a μ m ( μ v + μ r ) 0 ,
where w 6 a is determined, such that w a . v a = 1 . It is straightforward to show that w 6 a > 0 . Let
x 1 = S h , x 2 = E h , x 3 = I h , x 4 = S v , x 5 = I v , x 6 = C , x 7 = M , x 8 = P , f 1 = d S h d t , f 2 = d E h d t , f 3 = d I h d t , f 4 = d S v d t , f 5 = d I v d t , f 6 = d C d t , f 7 = d M d t , f 8 = d P d t .
Now, we compute A and B that are defined in Theorem 1. It is clear that the only nonzero terms of A and B are
w 2 a v 1 a v 6 a 2 f 2 E 0 a , β c h * x 1 x 6 = γ e i α h h g h σ β m v S v a * w 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m × ( γ i s γ e i ( μ h + γ e i ) ( μ h + γ i s ) ) ( 1 ϕ e ϕ ) β c h * S h a * v 6 a μ h ( μ h + γ e i ) ( μ h + γ i s ) v 6 a β c h * < 0 ,
w 2 a v 6 a v 1 a 2 f 2 E 0 a , β c h * x 6 x 1 = γ e i α h h g h σ β m v S v a * w 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m × v 6 a ( γ i s γ e i ( μ h + γ e i ) ( μ h + γ i s ) ) ( 1 ϕ e ϕ ) β c h * S h a * v 6 a μ h β c h * < 0 ,
w 5 a v 4 a v 7 a 2 f 5 E 0 a , β c h * x 4 x 7 = σ w 6 a μ v + μ r β m v S v a * α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m × α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) μ m β m v < 0 ,
w 5 a v 7 a v 4 a 2 f 5 E 0 a , β c h * x 7 x 4 = σ w 6 a μ v + μ r β m v S v a * α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m × α h h g h γ e i ( 1 ϕ e ϕ ) β c h * S h a * v 6 a ( μ h + γ i s ) ( μ h + γ e i ) μ m β m v < 0 ,
w 2 a v 6 a 2 f 2 E 0 a , β c h * x 6 β c h = γ e i α h h g h σ β m v S v a * w 6 a ( μ h + γ i s ) ( μ h + γ e i ) ( μ v + μ r ) μ m v 6 a Π h μ h > 0 .
Hence, we obtain
A = w 2 a v 1 a v 6 a 2 f 2 E 0 a , β c h * x 1 x 6 + w 2 a v 6 a v 1 a 2 f 2 E 0 a , β c h * x 6 x 1 + w 5 a v 4 a v 7 a 2 f 5 E 0 a , β c h * x 4 x 7 + w 5 a v 7 a v 4 a 2 f 5 E 0 a , β c h * x 7 x 4 < 0 , B = w 2 a v 6 a 2 f 2 E 0 a , β c h * x 6 β c h > 0 .
According to Theorem 1, forward bifurcation occurs at R 0 a = 1 . Consequently, endemic equilibrium point E 1 a , which exists when R 0 a > 1 , is asymptotically stable if R 0 a > 1 (near 1) and τ Π v μ p ( μ v + μ r ) < 1 . □
Theorem 6.
Disease-free equilibrium point E 0 a is globally asymptotically stable if R 0 a 1 and τ Π v μ p ( μ v + μ r ) < 1 .
Proof. 
Consider the following Lyapunov function:
Z = z 1 S h S h a * S h a * ln S h S h a * + z 2 E h + z 3 I h + z 4 S v S v a * S v a * ln S v S v a * + z 5 I v + z 6 P + z 7 C + z 8 M ,
where
z 1 = z 2 = β m v S v a * α h h g h γ e i μ m ( μ h + γ e i ) ( μ h + γ i s ) , z 3 = β m v S v a * α h h g h μ m ( μ h + γ i s ) , z 4 = z 5 = 1 , z 6 = ξ τ , z 7 = μ v + μ r σ , z 8 = β m v S v a * μ m .
The derivative of Z with respect to t is
d Z d t = z 1 1 S h a * S h d S h d t + z 2 d E h d t + z 3 d I h d t + z 4 1 S v a * S v d S v d t + z 5 d I v d t + z 6 d P d t + z 7 d C d t + z 8 d M d t = z 1 μ h S h S h S h a * 2 + z 1 γ i s S h I h S h S h a * z 4 ( μ h + μ r ) S v S v S v a * 2 + τ S v a * μ p 1 ξ μ p τ P + ( R 0 a ) 2 1 ( μ v + μ r ) μ c σ C .
S h S h a * always holds. It is obvious that d Z d t 0 if R 0 a 1 and τ S v a * μ p = τ Π v μ p ( μ v + μ r ) < 1 . d Z d t = 0 if and only if S v = S v a * , P = 0 , C = 0 , S h = S h a * , I h = 0 , and I v = 0 . Hence, the largest invariant set in ( S h , E h , I h , S v , I v , C , M , P ) | d Z d t = 0 is a singleton set E 0 a . Thus [30], E 0 a is globally asymptotically stable if R 0 a 1 and τ S v a * μ p < 1 . □
Now, we determine the local stability condition of E 0 b . The Jacobian matrix of System (2) at E 0 b is
J ( E 0 b ) = μ h 0 γ i s 0 0 ( 1 ϕ e ϕ ) β c h S h b * 0 0 0 ( γ e i + μ h ) 0 0 0 ( 1 ϕ e ϕ ) β c h S h b * 0 0 0 γ e i ( γ i s + μ h ) 0 0 0 0 0 0 0 0 ( μ v + μ r + ξ P b * ) 0 0 β m v S v b * ξ S v b * 0 0 0 0 ( μ v + μ r + ξ P b * ) 0 β m v S v b * 0 0 0 0 0 σ μ c 0 0 0 0 α h h g h 0 0 0 μ m 0 0 0 0 τ P b * τ P b * 0 0 0
The eigenvalues of (13) are the solutions of H ( λ ) = 0 .
H ( λ ) = ( λ + μ h ) H 1 ( λ ) ,
where
H 1 ( λ ) = λ 7 + h 1 λ 6 + h 2 λ 5 + h 3 λ 4 + h 4 λ 3 + h 5 λ 2 + h 6 λ + h 7 , h 1 = ( μ v + μ r + ξ P b * ) + q 1 , h 2 = τ P b * ξ S v b * + ( μ v + μ r + ξ P b * ) q 1 + q 2 , h 3 = τ P b * ξ S v b * q 1 + ( μ v + μ r + ξ P b * ) q 2 + q 3 , h 4 = τ P b * ξ S v b * q 2 + ( μ v + μ r + ξ P b * ) q 3 + q 4 , h 5 = τ P b * ξ S v b * q 3 + ( μ v + μ r + ξ P b * ) q 4 + ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m ( μ v + μ r + ξ P b * ) γ e i α h h g h ( 1 ϕ e ϕ ) β c h S h b * σ β m v S v b * = τ P b * ξ S v b * q 3 + ( μ v + μ r + ξ P b * ) q 4 + 1 ( R 0 b ) 2 ( μ v + μ r + ξ P b * ) ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m ,
h 6 = τ P b * ξ S v b * q 4 + ( μ v + μ r + ξ P b * ) ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m ( μ v + μ r + ξ P b * ) ( μ v + μ r + ξ P b * ) γ e i α h h g h ( 1 ϕ e ϕ ) β c h S h b * σ β m v S v b * = τ P b * ξ S v b * q 4 + 1 ( R 0 b ) 2 ( μ v + μ r + ξ P b * ) 2 ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m , h 7 = τ P b * ξ S v b * ( μ v + μ r + ξ P b * ) ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m γ e i α h h g h ( 1 ϕ e ϕ ) β c h S h b * τ P b * ξ S v b * σ β m v S v b * = 1 ( R 0 b ) 2 ( μ v + μ r + ξ P b * ) ( μ h + γ e i ) ( μ h + γ i s ) μ c μ m τ P b * ξ S v b * , q 1 = g = 1 5 D g , q 2 = 1 g < h 5 D g D h , q 3 = 1 g < h < i 5 D g D h D i , q 4 = 1 g < < j 5 D g D h D i D j .
D 1 = μ h + γ e i , D 2 = μ h + γ i s , D 3 = μ v + μ r + ξ P b * , D 4 = μ c , and D 5 = μ m . It is clear that (13) has one negative eigenvalue, i.e., λ 1 = μ h . The other eigenvalues are zeros of H 1 ( λ ) . If R 0 b = 1 , then h 7 = 0 . Hence, if R 0 b = 1 , one eigenvalue of J ( E 0 b ) is zero. In the following, we apply a Routh–Hurwitz array shown in Table 4 to investigate the local stability condition of E 0 b .
It is clear that h 1 > 0 . On the basis of the Routh–Hurwitz criterion [27,28], all roots of H 1 ( λ ) have a negative real part if the other entries in Column 1 are also positive. k 1 is always positive. It is obvious that h 7 > 0 if R 0 b < 1 . Hence, all roots of H ( λ ) have a negative real part, which implies that E 0 b is asymptotically stable if k 4 > 0 , k 6 > 0 , k 8 > 0 , k 9 > 0 , and R 0 b < 1 . Notice that h 7 < 0 if R 0 b > 1 . Hence, E 0 b is unstable if R 0 b > 1 .
Theorem 7.
Disease-free equilibrium point E 0 b is asymptotically stable if k 4 > 0 , k 6 > 0 , k 8 > 0 , k 9 > 0 , and R 0 b < 1 . If R 0 b > 1 , then E 0 b is unstable.
Now, we investigate the local stability condition of E 1 b . We use the method that is presented in [19] to study the stability condition of E 1 b . Consider β m v as a bifurcation parameter. We determine the bifurcation point that is equivalent to R 0 b = 1 . We obtain β m v * = μ h ( μ v + μ r + ξ P b * ) μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) τ ( 1 ϕ e ϕ ) β c h Π h σ μ p α h h g h γ e i . If β m v = β m v * , characteristic polynomial (14) becomes
H ( λ ) = λ ( λ + μ h ) H 1 ( λ ) ,
where
H 1 ( λ ) = λ 6 + h 1 λ 5 + h 2 λ 4 + h 3 λ 3 + h 4 λ 2 + h 5 λ + h 6 ,
and
h 1 = ( μ v + μ r + ξ P b * ) + q 1 , h 2 = τ P b * ξ S v b * + ( μ v + μ r + ξ P b * ) q 1 + q 2 , h 3 = τ P b * ξ S v b * q 1 + ( μ v + μ r + ξ P b * ) q 2 + q 3 , h 4 = τ P b * ξ S v b * q 2 + ( μ v + μ r + ξ P b * ) q 3 + q 4 , h 5 = τ P b * ξ S v b * q 3 + ( μ v + μ r + ξ P b * ) q 4 , h 6 = τ P b * ξ S v b * q 4 .
It is clear that characteristic polynomial (15) has one zero root and one negative root, i.e., λ 1 = 0 and λ 2 = μ h . Using the Routh–Hurwitz array in Table 5, we determine the conditions that guarantee that the other roots of (15) have a negative real part.
On the basis of the Routh–Hurwitz criterion [27], all roots of (16) have a negative real part if h 1 , k z 1 , k z 3 , k z 5 , k z 6 , h 6 > 0 . We recognize that h 1 , k z 1 , h 6 > 0 . These results imply that if k z 3 , k z 5 , k z 6 > 0 , then J E 0 b , β m v * has one zero eigenvalue, and the other eigenvalues have a negative real part. Hence, Assumption A1 in Theorem 1 is satisfied if k z 3 , k z 5 , k z 6 > 0 . The right eigenvector of J E 0 b , β m v * corresponding to zero eigenvalue is
v b = v 1 b v 2 b v 3 b v 4 b v 5 b v 6 b v 7 b v 8 b = ( γ i s γ e i ( μ h + γ e i ) ( μ h + γ i s ) ) ( 1 ϕ e ϕ ) β c h S h b * σ β m v * S v b * v 7 b μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c ( μ v + μ r + ξ P b * ) ( 1 ϕ e ϕ ) β c h S h b * σ β m v * S v b * v 7 b ( μ h + γ e i ) μ c ( μ v + μ r + ξ P * ) γ e i ( 1 ϕ e ϕ ) β c h S h b * σ β m v * S v b * v 7 b ( μ h + γ i s ) ( μ h + γ e i ) μ c ( μ v + μ r + ξ P b * ) β m v * S v b * v 7 b ( μ v + μ r + ξ P b * ) β m v * S v b * v 7 b ( μ v + μ r + ξ P b * ) σ β m v * S v b * v 7 b μ c ( μ v + μ r + ξ P b * ) v 7 b 0 ,
where v 7 b is arbitrarily positive. It is clear that v 1 b < 0 and v 4 b < 0 . The left eigenvector of J E 0 b , β m v * corresponding to a zero eigenvalue is
w b T = w 1 b w 2 b w 3 b w 4 b w 5 b w 6 b w 7 b w 8 b = 0 γ e i α h h g h β m v * S v b * w 5 b ( μ h + γ i s ) ( μ h + γ e i ) μ m α h h g h β m v * S v b * w 5 b ( μ h + γ i s ) μ m 0 w 5 b ( 1 ϕ e ϕ ) β c h S h b * γ e i α h h g h β m v * S v b * w 5 b μ c ( μ h + γ i s ) ( μ h + γ e i ) μ m β m v * S v b * w 5 b μ m 0 ,
where w 5 b is calculated, such that w b . v b = 1 . It is straightforward to show that w 5 b > 0 . Now, we set
x 1 = S h , x 2 = E h , x 3 = I h , x 4 = S v , x 5 = I v , x 6 = C , x 7 = M , x 8 = P , f 1 = d S h d t , f 2 = d E h d t , f 3 = d I h d t , f 4 = d S v d t , f 5 = d I v d t , f 6 = d C d t , f 7 = d M d t , f 8 = d P d t .
Thus, the only nonzero terms of A and B that are described in Theorem 1 are
w 2 b v 1 b v 6 b 2 f 2 E 0 b , β m v * x 1 x 6 = γ e i α h h g h β m v * S v b * w 5 b ( μ h + γ i s ) ( μ h + γ e i ) μ m × ( γ i s γ e i ( μ h + γ e i ) ( μ h + γ i s ) ) ( 1 ϕ e ϕ ) β c h S h b * σ β m v * S v b * v 7 b μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c ( μ v + μ r + ξ P b * ) × σ β m v * S v b * v 7 b μ c ( μ v + μ r + ξ P b * ) β c h < 0 ,
w 2 b v 6 b v 1 b 2 f 2 E 0 b , β m v * x 6 x 1 = γ e i α h h g h β m v * S v b * w 5 b ( μ h + γ i s ) ( μ h + γ e i ) μ m σ β m v * S v b * v 7 b μ c ( μ v + μ r + ξ P b * ) × ( γ i s γ e i ( μ h + γ e i ) ( μ h + γ i s ) ) ( 1 ϕ e ϕ ) β c h S h b * σ β m v * S v b * v 7 b μ h ( μ h + γ e i ) ( μ h + γ i s ) μ c ( μ v + μ r + ξ P b * ) β c h < 0 ,
w 5 b v 4 b v 7 b 2 f 5 E 0 b , β m v * x 4 x 7 = w 5 b β m v * S v b * v 7 b ( μ v + μ r + ξ P b * ) v 7 b β m v * < 0 , w 5 b v 7 b v 4 b 2 f 5 E 0 b , β m v * x 7 x 4 = w 5 b v 7 b β m v * S v b * v 7 b ( μ v + μ r + ξ P b * ) β m v * < 0 , w 5 b v 7 b 2 f 5 E 0 b , β m v * x 7 β m v = w 5 b v 7 b d p τ > 0 .
Hence, we obtain
A = w 2 b v 1 b v 6 b 2 f 2 E 0 b , β m v * x 1 x 6 + w 2 b v 6 b v 1 b 2 f 2 E 0 b , β m v * x 6 x 1 + w 5 b v 4 b v 7 b 2 f 5 E 0 b , β m v * x 4 x 7 + w 5 b v 7 b v 4 b 2 f 5 E 0 b , β m v * x 7 x 4 < 0 , B = w 5 b v 7 b 2 f 5 E 0 b , β m v * x 7 β m v > 0 .
According to Theorem 1, forward bifurcation occurs at R 0 b = 1 . Consequently, endemic equilibrium point E 1 b that exists when R 0 b > 1 is asymptotically stable if k z 3 , k z 5 , k z 6 > 0 , and R 0 b > 1 (close to 1).
Theorem 8.
Endemic equilibrium point E 1 b is asymptotically stable if k z 3 > 0 , k z 5 > 0 , k z 6 > 0 , and R 0 b > 1 (close to 1).
Now, we present the global stability condition of E 0 b .
Theorem 9.
Disease-free equilibrium point E 0 b is globally asymptotically stable if R 0 b 1 .
Proof. 
Consider a Lyapunov function as follows:
Q = q 1 S h S h b * S h b * ln S h S h b * + q 2 E h + q 3 I h + q 4 S v S v b * S v b * ln S v S v b * + q 5 I v + q 6 P P b * P b * ln P P b * + q 7 C + q 8 M ,
where
q 1 = q 2 = β m v S v b * α h h g h γ e i μ m ( μ h + γ e i ) ( μ h + γ i s ) , q 3 = β m v S v b * α h h g h μ m ( μ h + γ i s ) , q 4 = q 5 = 1 , q 6 = ξ τ , q 7 = ( 1 ϕ e ϕ ) β c h S h b * β m v S v b * α h h g h γ e i μ c μ m ( μ h + γ e i ) ( μ h + γ i s ) , q 8 = β m v S v b * μ m .
The time derivative of Q is
d Q d t = q 1 1 S h b * S h d S h d t + q 2 d E h d t + q 3 d I h d t + q 4 1 S v b * S v d S v d t + q 5 d I v d t + q 6 1 P b * P d P d t + q 7 d C d t + q 8 d M d t = q 1 μ h S h S h S h b * 2 + q 1 γ i s S h I h S h S h b * q 4 ( μ h + μ r ) S v S v S v b * 2 + ( R 0 b ) 2 1 ( μ v + μ r + ξ P b * ) I v + q 4 ξ P b * S v b * 2 S v b * S v + S v S v b * .
Arithmetic mean is always greater than the geometric mean. Hence, 2 S v b * S v + S v S v b * < 0 always holds. It is clear that 2 S v b * S v + S v S v b * = 0 if S v = S v b * . Furthermore, S h S h b * always holds. Thus, it is obvious that d Q d t 0 if R 0 b 1 . d Q d t = 0 if and only if S v = S v b * , S h = S h b * , I h = 0 , and I v = 0 . Hence, the largest invariant set in ( S h , E h , I h , S v , I v , C , M , P ) | d Q d t = 0 is a singleton set E 0 b . Thus [30], E 0 b is globally asymptotically stable if R 0 b 1 . □
We proved the global stability condition of the disease-free equilibrium points, E 0 a and E 0 b , by formulating suitable Lyapunov functions. Since we have difficulty in finding a suitable Lyapunov function for the endemic equilibrium point, we only investigate the local stability condition of the endemic equilibrium points ( E 1 a and E 1 b ). When the local stability condition of the endemic equilibrium point is met, the endemic equilibrium point is asymptotically stable, but may only attract a very small part of the state space. Therefore, studying the size of the basin of attraction of the endemic equilibrium point is relevant [31]. However, we do not discuss the basin of attraction of the endemic equilibrium point in this article. A method for numerical estimates of the size and shape of the basin of attraction, as well as the systems’ return time to the attractor can be seen in [31,32].

5. Numerical Simulations

To verify and support the previous qualitative-analysis results, we performed some numerical simulations using the parameter values presented in Table 6. Those parameter values were taken from the literature if available. Otherwise, they are given as assumptions.
Numerical simulations were performed by varying β c h , β m v , and τ . Here, we present the numerical-simulation results with initial values of S h ( 0 ) = 900 , E h ( 0 ) = 0 , I h ( 0 ) = 100 , S v ( 0 ) = 100 , I v ( 0 ) = 10 , P ( 0 ) = 50 , C ( 0 ) = 100 , M ( 0 ) = 100 .

5.1. Predator Becomes Extinct

In this subsection, we show the numerical results using τ = 0.00001 and β m v = 0.0004 365 . Here, we have τ Π v ( μ v + μ r ) μ p = 0.22054 < 1 ; thus, the existence condition of the equilibrium points says that the predator goes extinct. We can also show basic reproduction number R 0 a = 1 corresponds to the critical value of cercaria infection rate on susceptible humans, i.e., β c h * = 4.71859 × 10 7 . If we set β c h = 1.71859 × 10 7 < β c h * , then we obtain R 0 a = 0.60350 < 1 . On the basis of Theorems 4 and 6, disease-free equilibrium point ( E 0 a ) is asymptotically stable. This situation was confirmed by our simulation shown in Figure 2a where I h , I v , and P were convergent to zero. For the second simulation, we set β c h = 4.71859 × 10 6 > β c h * which led to R 0 a = 3.16227 > 1 . Theorem 5 states that endemic equilibrium point ( E 1 a ) is asymptotically stable. The stability of ( E 1 a ) is clearly shown in Figure 2b, namely, I h and I v converge to a positive equilibrium, whereas P goes to zero. To more clearly see the effect of the cercaria infection rate on humans, we performed numerical simulations by varying β c h from 2.35929 × 10 7 to 7.07789 × 10 7 , which corresponds to R 0 a between 0.70710 to 1.22474 . Figure 2c indicates the occurrence of forward bifurcation driven by R 0 a or β c h . If R 0 a < 1 , then E 0 a is asymptotically stable, while E 1 a does not exist. Conversely, if R 0 a > 1 , then E 0 a is unstable, and there appears E 1 a , which is asymptotically stable. Bifurcation point R 0 a = 1 is achieved when β c h = β c h * = 4.71859 × 10 7 .

5.2. Predator Survives

We next performed numerical simulations using τ = 0.0001 and β c h = 1.914 × 10 5 , which implies that τ Π v ( μ v + μ r ) μ p = 2.20543 > 1 . On the basis of the existence condition of the equilibrium points, the predator survives. In this case, the basic reproduction number is unity ( R 0 b = 1 ) if the miracidia transmission rate on snails reaches its critical value, i.e., β m v * = 1.31409 × 10 7 . Hence, if we set β m v = 0.31409 × 10 7 < β m v * , we obtain k 1 = 2.43742 > 0 , k 4 = 0.37218 > 0 , k 6 = 0.01988 > 0 , k 8 = 0.00045 > 0 , k 9 = 3.1 × 10 6 > 0 , and R 0 b = 0.48889 < 1 . On the basis of Theorems 7 and 9, disease-free equilibrium point ( E 0 b ) is asymptotically stable. This behavior was confirmed by our simulation, where the numerical solution was convergent to ( E 0 b ) ; see Figure 3a. On the other hand, if we take β m v = 4.31409 × 10 7 > β m v * , such that R 0 b = 1.81188 > 1 , then Theorem 8 shows that endemic equilibrium ( E 1 b ) is asymptotically stable. The stability of ( E 1 b ) is confirmed by Figure 3b, which shows that the numerical solution converges to ( E 1 b ) . When the predator goes extinct, schistosomiasis prevalence is higher than that when the predator survives. This means that the existence of a snail predator in the environment can reduce schistosomiasis prevalence.
Figure 3a,b indicate that there is an exchange of stability between the disease-free equilibrium point and the disease endemic equilibrium point when the miracidia transmission rate on snails is changed from β m v = 0.31409 × 10 7 < β m v * to β m v = 4.31409 × 10 7 > β m v * . To more clearly see the effect of β m v , we plotted in Figure 3c the steady state of I h against R 0 b . R 0 b between 0.70710 to 1.22474 corresponding to β m v from 0.65704 × 10 7 to 1.97114 × 10 7 ; R 0 b = 1 is obtained when β m v = β m v * = 1.31409 × 10 7 . Figure 3c shows that System (2) experiences forward bifurcation. Thus, E 0 b is asymptotically stable, and E 1 b does not exist when R 0 b < 1 . If R 0 b > 1 , E 0 b becomes unstable, and E 1 b exists and it is asymptotically stable.

5.3. Impact of Snail Predator as Biological Control Agent

We now investigate the impact of a snail predator as biological control agent. Here, we study the effect of predation rate ( ξ ) by using parameter values as in Table 6: τ = 0.0001 , β c h = 0.1 and β m v = 4.31409 × 10 7 . According to [33], the predation rate is the proportion of prey killed per predator per time. It suggests that the predation rate is related to the effectiveness of the predator in hunting and killing snails. In this simulation, the basic reproduction number does not depend on the predation rate and is given by R 0 b = 18.11886 . Figure 4 shows that all numerical solutions using ξ = 0.1 , ξ = 0.15 , and ξ = 0.3 are convergent to the same endemic equilibrium point. However, detailed observation shows that the schistosomiasis prevalence in the beginning of the intervention decreased as predation rate ( ξ ) increased. Several studies that are related to satiation-based predation models show that the predation rate is related to the gut capacity of the predator [34]. Hence, we should use snail predators that can effectively hunt and kill snails, and have high gut capacity.
We next investigate the influence of conversion rate τ by performing simulations using the same parameter values as those in Figure 4, but with varying τ and fixed ξ = 0.01 . According to [35], the conversion rate is related to the efficiency in turning predation into new predators. It implies that the conversion rate is related to the birth rate of snail predator. By choosing τ = 0.0001 , τ = 0.00015 , and τ = 0.0003 , we get the basic reproduction number ( R 0 b ) = 18.118869 , ( R 0 b ) = 12.07924 , ( R 0 b ) = 6.03962 , respectively. Hence, the basic reproduction number decreases as τ increases. The dynamics of I h , I v , C, and M for τ = 0.0001 , 0.00015 , and 0.0003 is shown in Figure 5. Values of the steady state of I h , I v , C, and M were smaller for larger values of τ . Thus, schistosomiasis prevalence decreases as τ increases. So, the snail-predator birth rate plays an essential role in controlling schistosomiasis spread. Figure 4 and Figure 5 show that using a natural predator of snails as a biological control agent can decrease schistosomiasis prevalence. These results are in line with the results in [7].

6. Conclusions

In this work, a deterministic schistosomiasis model incorporating a snail predator as a biological control agent was discussed. The existence and stability conditions of all equilibrium points were investigated. Our findings suggest that a snail predator as a biological control agent can reduce the prevalence of schistosomiasis. Moreover, our results showed that the snail-predator birth rate plays an important role in controlling schistosomiasis spread. Despite the contributions of our work, it has some limitations. Due to the lack of data related to the parameters of our model, we only chose parameter values by considering the results of qualitative analysis, i.e., the existence and stability conditions of the equilibrium points. For further research, sensitivity and cost-effectiveness analysis of the interventions discussed in our proposed model will be considered.

Author Contributions

Conceptualization, T. and A.S.; methodology, W.N., A.S., and W.M.K.; software, W.N.; validation, T., A.S. and W.M.K.; formal analysis, W.N. and A.S.; investigation, W.N.; resources, T.; data curation, W.N.; writing—original draft preparation, W.N.; writing—review and editing, T., A.S. and W.M.K.; visualization, W.N.; supervision, T., A.S. and W.M.K.; project administration, T.; funding acquisition, T. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Directorate of Research and Community Service, Ministry of Research and Technology, National Research and Innovation Agency, Indonesia, via Doctoral Dissertation Research, in accordance with research-contract no. 439.17/ UN.10.C10/ TU/ 2021, 19 March 2021.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors thank the editors and the reviewers for their critical suggestions, contributions, and comments that greatly improved this manuscript.

Conflicts of Interest

The authors declare no conflict of interest in this paper.

Appendix A

Term of Ξ .
Ξ = η 1 η 2 η 3 D 1 4 D 2 3 + ( η 3 + D 5 ) D 2 2 + ( D 3 D 4 + η 3 D 5 ) D 2 + D 3 D 4 D 5 + D 1 3 D 2 4 + 2 D 2 3 ( η 3 + D 5 ) η 1 η 2 η 3 + D 1 3 D 2 2 η 1 2 D 3 4 + 4 η 1 2 D 3 3 + 2 ( η 1 + D 5 ) ( D 4 + η 1 ) η 1 D 3 2 + ( η 4 + 3 D 4 D 5 ) η 1 2 D 3 + η 5 + D 1 3 D 2 η 1 2 D 3 4 + 2 η 1 η 4 D 3 3 + ( η 4 + 3 D 4 D 5 ) η 1 2 D 3 2 + 2 η 5 D 3 + η 1 η 6 + D 1 3 η 1 D 4 D 5 D 3 4 + 2 η 1 D 4 D 5 D 3 3 + η 5 D 3 2 + η 1 η 6 D 3 + η 1 2 R 01 a + D 1 2 η 1 η 2 η 3 ( η 3 + D 5 ) D 2 4 + D 1 2 D 2 3 η 1 D 3 4 + 4 η 1 2 D 3 3 + 2 ( η 1 + D 4 ) ( η 1 + D 5 ) η 1 D 3 2 + ( η 4 + 3 D 4 D 5 ) η 1 2 D 3 + η 5 + D 1 2 D 2 2 2 η 1 2 D 3 4 + 2 ( η 1 + D 4 ) ( η 1 + D 5 ) η 1 D 3 3 + 2 ( η 4 + 2 D 4 D 5 ) η 1 2 D 3 2 + D 1 2 D 2 2 η 8 D 3 + 2 η 1 η 6 + D 1 2 D 2 η 1 η 4 D 3 4 + ( η 4 + 3 D 4 D 5 ) η 1 2 D 3 3 + D 1 2 D 2 ( 3 η 5 + D 4 4 D 5 + 2 D 4 3 D 5 2 + 2 D 4 2 D 5 3 + D 4 D 5 4 + R 01 a ) D 3 2 + D 1 2 D 2 η 1 ( 3 η 6 + D 4 3 D 5 2 + D 4 2 D 5 3 + R 01 a ) D 3 + η 7 + D 1 2 D 4 D 5 η 1 2 D 3 4 + η 5 D 3 3 + 2 η 1 η 6 D 3 2 + η 7 D 3 + R 01 a η 1 η 4 + D 1 D 2 4 η 1 2 D 3 3 + η 1 η 4 D 3 2 + 2 D 4 D 5 η 1 2 D 3 + D 4 2 D 5 2 η 1 + D 1 D 2 3 η 1 2 D 3 4 + 2 η 1 η 4 D 3 3 + ( η 4 + 3 D 4 D 5 ) η 1 2 D 3 2 + 2 η 5 D 3 + η 1 η 6 + D 1 D 2 2 η 1 η 4 D 3 4 + ( η 4 + 3 D 4 D 5 ) η 1 2 D 3 3 + η 8 D 3 2 + D 1 D 2 2 η 1 ( 3 η 6 + D 4 3 D 5 2 + D 4 2 D 5 3 + R 01 a ) D 3 + η 7 + D 1 D 2 2 D 4 D 5 η 1 2 D 3 4 + 2 η 5 D 3 3 + η 1 ( 3 η 6 + D 4 3 D 5 2 + D 4 2 D 5 3 + R 01 a ) D 3 2 + D 1 D 2 ( 2 D 4 4 D 5 3 + 2 D 4 3 D 5 4 + 7 R 01 a ( D 4 2 + D 5 2 ) ) D 3 + R 01 a ( η 1 + D 5 ) ( η 1 + D 4 ) η 1 + D 1 D 4 2 D 5 2 η 1 D 3 4 + η 7 D 3 2 + R 01 a ( η 1 + D 5 ) ( η 1 + D 4 ) η 1 D 3 + 2 R 01 a D 4 D 5 η 1 2 + D 2 4 D 4 D 5 η 1 η 2 η 3 + D 2 3 D 4 D 5 η 1 ( D 3 4 + η 1 D 3 3 + η 5 D 3 2 ) + η 1 η 6 D 3 + η 1 2 R 01 a + D 2 2 D 4 D 5 η 1 2 D 3 4 + η 5 D 3 3 + 2 η 1 η 6 D 3 2 + η 7 D 3 + R 01 a η 1 η 4 + D 2 D 4 2 D 5 2 η 1 D 3 4 + η 1 η 6 D 3 3 + η 7 D 3 2 + + R 01 a ( η 1 + D 5 ) ( η 1 + D 4 ) η 1 D 3 + 2 R 01 a D 4 D 5 η 1 2 + η 1 2 R 01 a D 3 3 + R 01 η 1 η 4 D 3 2 + 3 R 01 a D 4 D 5 η 1 2 D 3 + R 01 a D 4 2 D 5 2 η 1 ,
where
η 1 = D 4 + D 5 , η 2 = D 3 + D 5 , η 3 = D 3 + D 4 , η 4 = D 4 2 + 3 D 4 D 5 + D 5 2 , η 5 = D 4 4 D 5 + 4 D 4 3 D 5 2 + 4 D 4 2 D 5 3 + D 4 D 5 4 + R 01 a , η 6 = D 4 3 D 5 2 + D 4 2 D 5 3 + 2 R 01 a , η 7 = D 4 4 D 5 3 + D 4 3 D 5 4 + 4 R 01 a ( D 4 2 + D 5 2 ) + 7 R 01 a D 4 D 5 , η 8 = ( 3 η 5 + D 4 4 D 5 + 2 D 4 3 D 5 2 + 2 D 4 2 D 5 3 + D 4 D 5 4 + R 01 a ) .
It is clear that Ξ > 0 because D i > 0 for i = 1 , 2 , 3 , 4 , 5 .

Appendix B

On the basis of (10), l 1 > 0 and l 4 > 0 . When we derived Theorem 4, we proved that Δ 2 = l 1 l 2 l 3 > 0 . Hence, r 1 = l 1 l 2 l 3 l 1 > 0 . We also can show that r 2 > 0 .
r 2 = ζ 1 D 3 2 + ζ 1 2 D 3 + ζ 2 ζ 3 ζ 4 D 2 3 + ζ 1 D 3 3 + 2 ζ 1 2 D 3 2 + ζ 5 D 3 + ζ 2 ζ 3 ζ 4 ζ 1 D 2 2 + ζ 1 2 D 3 3 + ζ 5 D 3 2 + ζ 1 ζ 6 D 3 + ζ 2 ζ 3 ζ 4 ζ 7 D 2 + ζ 2 ζ 3 ζ 4 D 3 3 + ζ 1 D 3 2 + ζ 7 D 3 + D 1 D 2 D 3 ,
where
ζ 1 = D 1 + D 4 + D 5 , ζ 2 = D 4 + D 5 , ζ 3 = D 1 + D 5 , ζ 4 = D 1 + D 4 , ζ 5 = D 1 2 D 1 + 4 D 4 + 4 D 5 + D 4 2 4 D 1 + D 4 + 4 D 5 + D 5 2 4 D 1 + 4 D 4 + D 5 + 7 D 1 D 4 D 5 , ζ 6 = 2 D 1 2 D 4 + 2 D 4 2 D 5 + 2 D 1 D 4 2 + 3 D 1 D 4 D 5 + 2 D 1 D 5 2 + 2 D 4 2 D 5 + 2 D 4 D 5 2 , ζ 7 = D 1 ζ 2 + D 4 D 5 .
It is clear that r 2 > 0 since D i > 0 for i = 1 , 2 , 3 , 4 , 5 .

References

  1. Ross, A.G.; Chau, T.N.; Inobaya, M.T.; Olveda, R.M.; Li, Y.; Harn, D.A. A new global strategy for the elimination of schistosomiasis. Int. J. Infect. Dis. 2017, 54, 130–137. [Google Scholar] [CrossRef] [Green Version]
  2. WHO. Schistosomiasis: Progress Report 2001–2011, Strategic Plan 2012–2020; World Health Organization Press: Geneva, Switzerland, 2013; p. 74. [Google Scholar]
  3. Rollinson, D.; Knopp, S.; Levitz, S.; Stothard, J.R.; Tchuem Tchuenté, L.A.; Garba, A.; Mohammed, K.A.; Schur, N.; Person, B.; Colley, D.G.; et al. Time to set the agenda for schistosomiasis elimination. Acta Trop. 2013, 128, 423–440. [Google Scholar] [CrossRef]
  4. Arostegui, M.C.; Wood, C.L.; Jones, I.J.; Chamberlin, A.J.; Jouanard, N.; Faye, D.S.; Kuris, A.M.; Riveau, G.; De Leo, G.A.; Sokolow, S.H. Potential Biological Control of Schistosomiasis by Fishes in the Lower Senegal River Basin. Am. J. Trop. Med. Hyg. 2019, 100, 117–126. [Google Scholar] [CrossRef] [Green Version]
  5. Coelho, P.; Caldeira, R. Critical analysis of molluscicide application in schistosomiasis control programs in Brazil. Infect. Dis. Poverty 2016, 5, 57. [Google Scholar] [CrossRef] [Green Version]
  6. King, C.H.; Bertsch, D. Historical Perspective: Snail Control to Prevent Schistosomiasis. PLoS Negl. Trop. Dis. 2015, 9, e0003657. [Google Scholar] [CrossRef] [Green Version]
  7. Sokolow, S.H.; Huttinger, E.; Jouanard, N.; Hsieh, M.H.; Lafferty, K.D.; Kuris, A.M.; Riveau, G.; Senghor, S.; Thiam, C.; N’Diaye, A.; et al. Reduced transmission of human schistosomiasis after restoration of a native river prawn that preys on the snail intermediate host. Proc. Natl. Acad. Sci. USA 2015, 112, 9650–9655. [Google Scholar] [CrossRef] [Green Version]
  8. Sokolow, S.H.; Wood, C.L.; Jones, I.J.; Swartz, S.J.; Lopez, M.; Hsieh, M.H.; Lafferty, K.D.; Kuris, A.M.; Rickards, C.; De Leo, G.A. Global assessment of schistosomiasis control over the past century shows targeting the snail intermediate host works best. PLoS Negl. Trop. Dis. 2016, 10, e0004794. [Google Scholar] [CrossRef] [PubMed]
  9. MacDonald, G. The dynamics of helminth infections, with special reference to schistosomes. Trans. R. Soc. Trop. Med. Hyg. 1965, 59, 489–506. [Google Scholar] [CrossRef]
  10. Chiyaka, E.T.; Garira, W. Mathematical Analysis of the Transmission Dynamics of Schistosomiasis in the Human-Snail Hosts. J. Biol. Syst. 2009, 17, 397–423. [Google Scholar] [CrossRef]
  11. Gao, S.; Liu, Y.; Luo, Y.; Xie, D. Control problems of a mathematical model for schistosomiasis transmission dynamics. Nonlinear Dyn. 2011, 63, 503–512. [Google Scholar] [CrossRef]
  12. Ding, C.; Sun, Y.; Zhu, Y. A schistosomiasis compartment model with incubation and its optimal control. Math. Methods Appl. Sci. 2017, 40, 5079–5094. [Google Scholar] [CrossRef]
  13. Nur, W.; Trisilowati; Suryanto, A.; Kusumawinahyu, W.M. Mathematical model of schistosomiasis with health education and molluscicide intervention. J. Phys. Conf. Ser. 2021, 1821, 012033. [Google Scholar] [CrossRef]
  14. Nur, W.; Trisilowati; Suryanto, A.; Kusumawinahyu, W.M. Mathematical Modelling of Schistosomiasis Transmission Dynamics in Traditional Cattle Farmer Communities. In Proceedings of the 1st International Conference on Mathematics and Mathematics Education (ICMMEd 2020), Ambon, Indonesia, 26 November 2020; Atlantis Press: Dordrecht, The Netherlands, 2021; pp. 462–470. [Google Scholar] [CrossRef]
  15. Diaby, M.; Iggidr, A.; Sy, M.; Sène, A. Global analysis of a schistosomiasis infection model with biological control. Appl. Math. Comput. 2014, 246, 731–742. [Google Scholar] [CrossRef] [Green Version]
  16. Okamoto, K.W.; Amarasekare, P. The biological control of disease vectors. J. Theor. Biol. 2012, 309, 47–57. [Google Scholar] [CrossRef]
  17. Okamoto, K.W.; Gould, F.; Lloyd, A.L. Integrating Transgenic Vector Manipulation with Clinical Interventions to Manage Vector-Borne Diseases. PLoS Comput. Biol. 2016, 12, e1004695. [Google Scholar] [CrossRef] [Green Version]
  18. Lemos-Paião, A.P.; Silva, C.J.; Torres, D.F. A cholera mathematical model with vaccination and the biggest outbreak of world’s history. AIMS Math. 2018, 3, 448–463. [Google Scholar] [CrossRef]
  19. Castillo-Chavez, C.; Song, B. Dynamical Models of Tuberculosis and Their Applications. Math. Biosci. Eng. 2004, 1, 361–404. [Google Scholar] [CrossRef]
  20. Nelwan, M.L. Schistosomiasis: Life Cycle, Diagnosis, and Control. Curr. Ther. Res. 2019, 91, 5–9. [Google Scholar] [CrossRef]
  21. Gryseels, B.; Polman, K.; Clerinx, J.; Kestens, L. Human schistosomiasis. Lancet 2006, 368, 1106–1118. [Google Scholar] [CrossRef]
  22. Bergquist, R.; Zhou, X.N.; Rollinson, D.; Reinhard-Rupp, J.; Klohe, K. Elimination of schistosomiasis: The tools required. Infect. Dis. Poverty 2017, 6, 158. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  23. Li, H.; Guo, S. Dynamics of A SIRC Epidemiological Model. Electron. J. Erential Equ. 2017, 2017, 1–18. [Google Scholar]
  24. Yang, X.; Chen, L.; Chen, J. Permanence and positive periodic solution for the single-species nonautonomous delay diffusive models. Comput. Math. Appl. 1996, 32, 109–116. [Google Scholar] [CrossRef] [Green Version]
  25. van den Driessche, P.; Watmough, J. Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 2002, 180, 29–48. [Google Scholar] [CrossRef]
  26. Polyanin, A.D.; Manzhirov, A.V. Handbook of Mathematics for Engineers and Scientists; Chapman and Hall/CRC: Boca Raton, FL, USA, 2007. [Google Scholar]
  27. Cook, M.Y. Flight Dynamics Principles, 2nd ed.; Elsevier: Oxford, UK, 2007. [Google Scholar]
  28. Marghitu, D. Mechanical Enginer’s Handbook; Academic Press: San Diego, CA, USA, 2001. [Google Scholar]
  29. Liénard, A.; Chipart, M.H. Sur le signe de la partie réelle des racines d’une équation algébrique. J. Math. Pures Appl. 1914, 10, 291–346. [Google Scholar]
  30. Meiss, J.D. Differential Dynamical Systems; Society for Industrial and Applied Mathematics: New York, NY, USA, 2007. [Google Scholar] [CrossRef]
  31. Lundström, N.L.P. How to find simple nonlocal stability and resilience measures. Nonlinear Dyn. 2018, 93, 887–908. [Google Scholar] [CrossRef] [Green Version]
  32. van Kan, A.; Jegminat, J.; Donges, J.F.; Kurths, J. Constrained basin stability for studying transient phenomena in dynamical systems. Phys. Rev. E 2016, 93, 042205. [Google Scholar] [CrossRef] [Green Version]
  33. Vucetich, J.A.; Hebblewhite, M.; Smith, D.W.; Peterson, R.O. Predicting prey population dynamics from kill rate, predation rate and predator-prey ratios in three wolf-ungulate systems. J. Anim. Ecol. 2011, 80, 1236–1245. [Google Scholar] [CrossRef] [PubMed]
  34. Metz, J.A.J.; Sabelis, M.W.; Kuchlein, J.H. Sources of variation in predation rates at high prey densities: An analytic model and a mite example. Exp. Appl. Acarol. 1988, 5, 187–205. [Google Scholar] [CrossRef] [Green Version]
  35. Han, L.; Ma, Z.; Hethcote, H. Four predator prey models with infectious diseases. Math. Comput. Model. 2001, 34, 849–858. [Google Scholar] [CrossRef]
Figure 1. Compartment diagram.
Figure 1. Compartment diagram.
Mathematics 09 01858 g001
Figure 2. Dynamics of I h , I v , P for (a) β c h = 1.71859 × 10 7 that corresponds to ( R 0 a < 1 ) , and (b) β c h = 4.71859 × 10 6 that corresponds to ( R 0 a > 1 ) . (a,b) Reducing cercaria infection rate on humans by limiting the number of contacts between susceptible humans and contaminated areas or by using self-protective gear when entering contaminated areas can decrease schistosomiasis prevalence. (c) Forward bifurcation diagram of System (2) in the case of the snail predator becoming extinct, showing that schistosomiasis is eradicated if R 0 a < 1 , but it becomes endemic if R 0 a > 1 .
Figure 2. Dynamics of I h , I v , P for (a) β c h = 1.71859 × 10 7 that corresponds to ( R 0 a < 1 ) , and (b) β c h = 4.71859 × 10 6 that corresponds to ( R 0 a > 1 ) . (a,b) Reducing cercaria infection rate on humans by limiting the number of contacts between susceptible humans and contaminated areas or by using self-protective gear when entering contaminated areas can decrease schistosomiasis prevalence. (c) Forward bifurcation diagram of System (2) in the case of the snail predator becoming extinct, showing that schistosomiasis is eradicated if R 0 a < 1 , but it becomes endemic if R 0 a > 1 .
Mathematics 09 01858 g002
Figure 3. Dynamics of I h , I v , P for (a) β m v = 0.31409 × 10 7 , which corresponds to R 0 b < 1 ; and (b) β m v = 4.31409 × 10 7 , which corresponds to R 0 b > 1 . (a,b) Reducing miracidia transmission rate on snails by improving irrigation facilities (e.g., lining canals with cement) can reduce schistosomiasis prevalence. (c) Forward bifurcation diagram of System (2) in the case of snail predator surviving, showing that schistosomiasis is eradicated if R 0 b < 1 , but it becomes endemic if R 0 b > 1 .
Figure 3. Dynamics of I h , I v , P for (a) β m v = 0.31409 × 10 7 , which corresponds to R 0 b < 1 ; and (b) β m v = 4.31409 × 10 7 , which corresponds to R 0 b > 1 . (a,b) Reducing miracidia transmission rate on snails by improving irrigation facilities (e.g., lining canals with cement) can reduce schistosomiasis prevalence. (c) Forward bifurcation diagram of System (2) in the case of snail predator surviving, showing that schistosomiasis is eradicated if R 0 b < 1 , but it becomes endemic if R 0 b > 1 .
Mathematics 09 01858 g003
Figure 4. Dynamics of I h , I v , C, M for ξ = 0.1 , 0.15 , 0.3 , showing that the effectiveness of predators in hunting and killing snails plays an important role in reducing schistosomiasis prevalence at the beginning of intervention.
Figure 4. Dynamics of I h , I v , C, M for ξ = 0.1 , 0.15 , 0.3 , showing that the effectiveness of predators in hunting and killing snails plays an important role in reducing schistosomiasis prevalence at the beginning of intervention.
Mathematics 09 01858 g004
Figure 5. Dynamics of I h , I v , C, M for τ = 0.0001 , 0.00015 , 0.0003 , showing that the conversion rate of the snail predator that is related to its birth rate plays an essential role in reducing schistosomiasis prevalence.
Figure 5. Dynamics of I h , I v , C, M for τ = 0.0001 , 0.00015 , 0.0003 , showing that the conversion rate of the snail predator that is related to its birth rate plays an essential role in reducing schistosomiasis prevalence.
Mathematics 09 01858 g005aMathematics 09 01858 g005b
Table 1. Description of model parameters.
Table 1. Description of model parameters.
ParameterDescription
Π h Recruitment rate of humans
ϕ e Effectiveness of education in reducing contact between humans and cercariae
ϕ Education coverage
β c h Cercaria infection rate on susceptible humans
γ i s Recovery rate of infectious humans
μ h Natural death rate of humans
1 / γ e i Latent period
Π v Recruitment rate of snails
β m v Miracidia infection rate on susceptible snails
μ v Natural death rate of snails
μ r Molluscicide-related death rate of snails
ξ Predation rate
τ Conversion rate
σ Cercaria production rate
α Parasite-egg hatch rate
h h Number of eggs per gram of stool
g h Average weight of human stool per day
μ p Natural death rate of snail predators
μ c Natural death rate of cercariae
μ m Natural death rate of miracidiae
Table 2. Routh–Hurwitz array associated with characteristic polynomial L 1 ( λ ) .
Table 2. Routh–Hurwitz array associated with characteristic polynomial L 1 ( λ ) .
Column 1Column 2Column 3Column 4
λ 5 1 l 2 l 4 0
λ 4 Δ 1 = l 1 l 3 l 5 0
λ 3 r ( 2 , 1 ) = l 1 l 2 l 3 l 1 r ( 2 , 2 ) = l 1 l 4 l 5 l 1 00
λ 2 r ( 3 , 1 ) = r ( 2 , 1 ) l 3 l 1 r ( 2 , 2 ) r ( 2 , 1 ) l 5 00
λ 1 r ( 4 , 1 ) = r ( 2 , 2 ) r ( 3 , 1 ) l 5 r ( 2 , 1 ) r ( 3 , 1 ) 000
λ 0 r ( 5 , 1 ) = l 5 000
Table 3. Routh–Hurwitz array associated with characteristic polynomial (12).
Table 3. Routh–Hurwitz array associated with characteristic polynomial (12).
Column 1Column 2Column 3Column 4
λ 4 1 l 2 l 4 0
λ 3 l 1 l 3 00
λ 2 r 1 = l 1 l 2 l 3 l 1 l 4 00
λ 1 r 2 = r 1 l 3 l 1 l 4 r 1 000
λ 0 l 4 000
Table 4. Routh–Hurwitz array associated to characteristic polynomial H 1 ( λ ) .
Table 4. Routh–Hurwitz array associated to characteristic polynomial H 1 ( λ ) .
Column 1Column 2Column 3Column 4Column 5
λ 7 1 h 2 h 4 h 6 0
λ 6 h 1 h 3 h 5 h 7 0
λ 5 k 1 = h 1 h 2 h 3 h 1 k 2 = h 1 h 4 h 5 h 1 k 3 = h 6 h 1 h 7 h 1 00
λ 4 k 4 = k 1 h 3 h 1 k 2 k 1 k 5 = k 1 h 5 h 1 k 3 k 1 h 7 00
λ 3 k 6 = k 2 k 4 k 1 k 5 k 4 k 7 = k 3 k 4 k 1 h 7 k 4 000
λ 2 k 8 = k 5 k 6 k 4 k 7 k 6 h 7 000
λ 1 k 9 = k 7 k 8 k 6 h 7 k 8 0000
λ 0 h 7 0000
Table 5. Routh–Hurwitz array associated to characteristic polynomial (16).
Table 5. Routh–Hurwitz array associated to characteristic polynomial (16).
Column 1Column 2Column 3Column 4Column 5
λ 6 1 h 2 h 4 h 6 0
λ 5 h 1 h 3 h 5 00
λ 4 k z 1 = h 1 h 2 h 3 h 1 k z 2 = h 1 h 4 h 5 h 1 h 6 00
λ 3 k z 3 = k z 1 h 3 h 1 k z 2 k z 1 k z 4 = k z 1 h 5 h 1 h 6 k z 1 000
λ 2 k z 5 = k z 2 k z 3 k z 1 k z 4 k z 3 h 6 000
λ 1 k z 6 = k z 4 k z 5 k z 3 h 6 k z 5 0000
λ 0 h 6 0000
Table 6. Parameter values.
Table 6. Parameter values.
SymbolParameter valueUnitsSource
Π h 1000 × 1 % 365 human× day 1 Assumed
ϕ e 0.9 Assumed
ϕ 0.9 Assumed
γ i s 1 10 × 7 day 1 [13]
μ h 1 365 × 65 day 1 [13]
γ e i 1 6 × 7 day 1 [13]
Π v 1snail× day 1 [12]
μ v 0.033day 1 [12]
μ r 0.0001day 1 Estimated
ξ 0.01 predator 1 × day 1 Assumed
σ 600cercariae× snail 1 × day 1 [20]
α 0.01miracidia× egg 1 [12]
h h 513egg× gram 1 [12]
g h 160gram× human 1 × day 1 [12]
μ p 1 365 × 2 day 1 Estimated
μ c 1day 1 [12]
μ m 2day 1 [12]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Nur, W.; Trisilowati; Suryanto, A.; Kusumawinahyu, W.M. Schistosomiasis Model Incorporating Snail Predator as Biological Control Agent. Mathematics 2021, 9, 1858. https://doi.org/10.3390/math9161858

AMA Style

Nur W, Trisilowati, Suryanto A, Kusumawinahyu WM. Schistosomiasis Model Incorporating Snail Predator as Biological Control Agent. Mathematics. 2021; 9(16):1858. https://doi.org/10.3390/math9161858

Chicago/Turabian Style

Nur, Wahyudin, Trisilowati, Agus Suryanto, and Wuryansari Muharini Kusumawinahyu. 2021. "Schistosomiasis Model Incorporating Snail Predator as Biological Control Agent" Mathematics 9, no. 16: 1858. https://doi.org/10.3390/math9161858

APA Style

Nur, W., Trisilowati, Suryanto, A., & Kusumawinahyu, W. M. (2021). Schistosomiasis Model Incorporating Snail Predator as Biological Control Agent. Mathematics, 9(16), 1858. https://doi.org/10.3390/math9161858

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop