Basic Properties and Qualitative Dynamics of a Vector-Borne Disease Model with Vector Stages and Vertical Transmission

This work systematically discusses basic properties and qualitative dynamics of vector-borne disease models, particularly those with vertical transmission in the vector population. Examples of disease includeDengue and Rift Valley fever which are endemic in Sub-Saharan Africa, and understanding of the dynamics underlying their transmission is central for providing critical informative indicators useful for guiding control strategies. Of particular interest is the applicability and derivation of relevant population and epidemic thresholds and their relationships with vertical infection. This study demonstrates how the failure of R0 derived using the next-generation method compounds itself when varying vertical transmission efficiency, and it shows that the host type reproductive number gives the correct R0. Further, novel relationships between the host type reproductive number, vertical infection, and ratio of female mosquitoes to host are established and discussed. Analytical results of the model with vector stages show that the quantities Q0, QV0, and Rc0, which represent the vector colonization threshold, the average number of female mosquitoes produced by a single infected mosquito, and effective reproductive number, respectively, provide threshold conditions that determine the establishment of the vector population and invasion of the disease. Numerical simulations are also conducted to confirm and extend the analytical results. The findings imply that while vertical infection increases the size of an epidemic, it reduces its duration, and control efforts aimed at reducing the critical thresholds Q0, QV0, and Rc0 to below unity are viable control strategies.


Introduction
Vector-borne diseases have been the scourge of man and animals since the beginning of time [1].Today, vector-borne diseases account for over 17% of all infectious diseases causing more than 1 million deaths annually, and their distribution is mainly determined by a complex dynamic of environmental and social factors [2].In spite of all these inherent complexities, mathematical models have been used to translate assumptions concerning biological, environmental, and social aspects into mathematical structures, linking biological processes of transmission and dynamics of infection at population level.Such dynamic models have impacted both our understanding of epidemic spread and public health planning (for more details see [3][4][5] and references therein).
In this study our particular interest is in investigating qualitative properties of epidemic models of mosquitoborne diseases in which the vector is of genera Aedes.
These mosquito species are known to transmit many vectorborne diseases of vast epidemiological importance including Dengue fever and Rift Valley fever (RVF), just to mention a few.These diseases are endemic in Sub-Saharan Africa with pronounced health and economic impacts on domestic animals and humans.In fact, losses due to RVF can reach millions of dollars during periods of disease outbreaks [6,7].An interesting phenomenon underlying many vector-borne diseases is their ability to persist year round, fluctuating seasonally but only falling to zero during some months.Hence, an important question is, how does the virus maintain itself in nature?For RVF it has been hypothesized that RVF virus (RVFV) is maintained through transovarial transmission in Aedes mosquito eggs [8].Aedes eggs need be dry for several days before they can mature.After maturing, they hatch during the next flooding event large enough to cover them with water [9][10][11].The eggs have high desiccation resistance and can survive dry conditions in a dormant form for months to years [12][13][14][15].Thus, the emergence of adult Aedes mosquitoes from infected eggs can reintroduce RVF in livestock at the beginning of the rainy season, before other mosquitoes species amplify it further [16].For instance, in eastern and southern Africa there is more and more evidence of disease activities between outbreaks [7,[17][18][19][20] highlighting the role of vertical transmission for initial disease spread and endemicity.
In epidemiology disease spread and persistence are measured through quantities known as epidemic thresholds.Their derivation and characterization are one of the most important results of mathematical epidemic models.The basic reproductive number,  0 , is the most critical epidemic threshold given its applicability and suitability for deciding whether an outbreak will occur or fade out, making it essential for guiding disease control efforts.However, the derivation of this epidemic threshold in vector-borne disease models in particular suffers from a lack of uniqueness and it fails to give the correct average number of expected secondary infections produced by one infected individual [21].This failure is more likely to compound itself when vertical transmission mode is included in the transmission model, since the resulting  0 comes as the sum of the vertical and horizontal transmission components, if the nextgeneration method is used.Previous mathematical models have made a significant attempt in including vertical infection in modelling vector-borne diseases [22][23][24][25][26][27][28], but none of them discuss how the failure of  0 compounds itself in the presence of vertical transmission.Therefore, the present work aims to discuss some relevant basic properties of vector-borne disease models when vertical infection is taken into account and their implications for disease control efforts.Further, our goal is to derive new epidemic thresholds useful for guiding control efforts in the settings of vector-borne disease models with vector stages that include vertical transmission mode.
We formulate two models, one simple but realistic and the other more complex with vector stages.The first is an extension of the one proposed by Ross [29] and popularized by Macdonald [30] and Anderson [31].The model is used to discuss system properties such as the asymmetric relationship between the host-to-vector and vector-to-host reproductive numbers.In addition, we highlight how to derive epidemic thresholds useful for guiding disease control efforts and discuss their relationships with vertical transmission efficiency.It is shown that the model has two model equilibria, namely, the disease-free and the endemic, and Lyapunov function theory is used to establish their global qualitative dynamics.The second is an extension of the basic model, where the dynamics of both aquatic and adult mosquitoes are modelled explicitly.In this model we let the populations of aquatic and adults vary with time but be limited by their respective carrying capacity.The inclusion of the explicit vector submodel allows for derivation of critical thresholds such as the reproductive number for both the vector population and the disease system.Then, these thresholds are used to determine global qualitative dynamics of both the diseasefree and endemic equilibria.
The paper is set out as follows.In Section 2 we formulate and discuss the two model systems.In Section 3 we provide the epidemic threshold theorems regarding both the vector population and disease equilibria.We also discuss important model properties and how to derive and identify model epidemic thresholds useful for guiding disease control efforts.Furthermore, numerical simulations are carried out to investigate the influence of the key parameters on the spread of the disease (taking RVF as disease example), to support analytical analyses and conclusions and illustrate possible behavioural scenarios of the model with vector stages.Finally, in Section 4 we present a short discussion of the results and their biological implications.

Materials and Methods
For human and animal diseases, horizontal transmission typically occurs through direct or indirect physical contact with infectious hosts, or through disease vectors such as mosquitoes, ticks, or other biting insects.Among mosquito vectors vertical transmission is often through eggs.Of particular interest are female mosquitoes of genera Aedes which transmit the virus to their eggs.These eggs have some adaptive behaviour which allows them to stay dormant in nature for relatively long periods.Although vertical transmission also occurs among vectors involved in the transmission of Dengue disease, RVF is the disease for which the model is a good approximation.In particular, parameter values related to RVF are used to illustrate the dynamics of the disease numerically.

Host-Vector Basic Model with Vertical Transmission.
Let  ℎ =  ℎ +  ℎ +  ℎ and  V =  V +  V denote the total host and vector populations sizes, respectively.We assume that individuals at each compartment mix homogeneously and each mosquito bites each individual host at a constant rate / ℎ , where  is the biting rate per unit time.Let  ℎV be a probability of successful infection transmission from an infected mosquito to a susceptible host and  Vℎ be a probability of successful infection transmission from an infected host to a susceptible mosquito per bite.Thus, the forces of infection are as follows,  ℎV =  ℎV (/ ℎ ) V and  Vℎ =  ℎV (/ ℎ ) ℎ .Hosts are recruited into the population at per capita rate  ℎ which is proportional to the total population and leave each compartment through death.Noninfected mosquitoes join the susceptible compartment at rate  V ( V −  V  V ) while vertically infected mosquitoes join the infected class at rate  V  V  V .Assuming constant population sizes, that is, births equal to deaths,  ℎ can be obtained when both  ℎ and  ℎ are known.In the same way,  V can be obtained when  V is known.Thus, the expressions for both  ℎ and  V can be omitted and the system can be written in terms of proportions: where  V ∈ (0, 1) is the probability of vertical infection,  ℎ the rate at which infected hosts recover from infection, and  denotes the ratio of female mosquitoes to hosts.

Model with Vector Stages and Vertical Transmission.
Here we extend the basic model to include vector stages.Partial results of the resulting model without vertical infection have been obtained in [32].Our aim is to extend their model and analysis by investigating global dynamics of all model equilibria and examine the extent to which vertical infection alters the dynamics of the system.The mosquito population is divided into aquatic (eggs, larvae, and pupae) and terrestrial (adults) subpopulations with  1 and  2 being their carrying capacity, respectively.The parameter  1 represents the larval maximal capacity limited by the availability of breeding sites while  2 is the maximal capacity of adult mosquitoes limited by factors conditioning their survival such as high altitudes and high temperatures.Further, the aquatic subpopulation is divided into epidemiological classes, susceptible (  ), and infected (  ) while adults are divided also into susceptible ( V ) and infected ( V ).The per capita oviposition rate is (1−/ 1 ), where  is the intrinsic oviposition rate and  =   +   .Aquatic mosquitoes emerge as adults at a per capita rate  where the proportion 1 −  V emerge noninfected while the remainder are infected.Disease transmission dynamics between vector and host populations remain the same as in the basic model.As a result the following nondimensional system of ordinary differential equations represents the model that governs the temporal evolution of the disease: where Let {{  (0),   (0),  V (0),  V (0),  ℎ (0),  ℎ (0) ⩾ 0} ∈ R 6 + } be the initial conditions of system (2).It is easy to check that the feasible region for (2) is the positive orthant of R 6 and that the closed set is positively invariant for system (2).
Since the function  is continuous and Lipschitz continuous with respect to , according to Picard's theorem, there exists  0 > 0 such that the solution to (2) exists locally at least on an interval of this form [0,  0 ].Further, considering the initial condition  1 = ( 0 ) at  0 =  0 and using Picard's theorem, it follows that there exists  0 ≤  1 ∈  + such that the solution to (2) exists and is unique on [ 0 ,  1 ].Since  is continuous and differentiable, the solution of (2) with a given initial condition is unique.Therefore, the solutions of (2) obtained on [0,  0 ] and on [ 0 ,  1 ] form the unique solution of (2) on I  1 = [0,  1 ] with the initial condition  0 at  0 = 0. Repeating this process again and again, we end up with the maximal forward interval of existence for the solutions of (2), say I T = [0, T) with T > 0. Furthermore, for  ∈ R 6 + ,   (  () ,   () ,  V () ,  V () ,  ℎ () , 0) ≥ 0.
Therefore, the solutions of (2) on I T are positive, according to Lemma 1. Finally, according to Theorem 2, the solutions to (2) are bounded on [0, T).In other words, they do not blow up on any finite interval of R + .It follows that, according to Lemma 1, the solution of (2) exists for all time.Hence for any initial condition in R 6 + , system (2) possesses a unique and positive solution in R 6 + .
Alternatively, the global stability of the disease-free equilibrium  0 1 can be established using the following Lyapunov function: where  1 ,  2 ,  3 are some positive constants.Calculating the derivative of  along the solutions of system (1), we obtain Choosing Thus,   is negative for   0 ⩽ 1.Note also that   = 0 if and only if  ℎ =  0 ℎ and  ℎ =  V = 0. Therefore, the largest invariant set for (1) is the singleton { 0 1 }.Hence, by LaSalle's invariance principle [34],  0 1 is globally asymptotically stable when   0 ⩽ 1 and Theorem 3 is valid.
Remark 4. Clearly, the endemic equilibrium  * 1 exists and is unique for   0 > 1.This excludes the possibility of occurrence of backward bifurcation.This result is of great epidemiological significance in guiding efforts for disease control as it indicates that   0 = 1 is the critical epidemic threshold.
To establish the local stability of the endemic equilibrium we evaluate the Jacobian of the system at  * 1 , which gives The characteristic polynomial of matrix ( 18) is then given by where The coefficient  2 > 0 and both  1 ,  0 are nonnegative if and only if   0 > 1.Hence, all Routh criteria are satisfied; that is, the three eigenvalues of matrix (11) are negative or have negative real parts.Therefore, the following results holds.

Theorem 5. The endemic equilibrium 𝐸
A global stability result for the endemic equilibrium  * 1 of system (1) is given below.
where V 1 , V 2 , V 3 are some positive parameters to be chosen later.Differentiating  along the solutions of system (1), we obtain for for for Using the inequality 1 −  + ln  ⩽ 0 for  > 0 with equality holding if and only if  = 1 and the fact that the arithmetic mean is greater than or equal to the geometric mean, we obtain   ( ℎ ,  ℎ ,  V ) ⩽ 0 for all  ℎ ,  ℎ ,  V > 0. Furthermore, we obtain that   ( ℎ ,  ℎ ,  V ) = 0 holds only when  ℎ =  * ℎ ,  ℎ =  * ℎ ,  V =  * V and that  * 1 is the only equilibrium state of these systems on this plane (line).Therefore, by LaSalle's invariance principle [34], the positive equilibrium  * 1 is globally asymptotically stable.

Epidemic Thresholds, Vertical
Infection, and Basic Properties.One of the most important critical thresholds in epidemic models is the basic reproductive number,  0 , which is usually found using the next-generation method, as the dominant eigenvalue of the next-generation matrix [35,36].Following the method in [36] we write system (1) consisting only of infectious compartments as the difference between new infection and transfer rates and the resulting Jacobian matrices evaluated at the disease-free equilibrium  0 = (1, 0, 0).
For system (1) we have two infected classes, namely,  V and  ℎ .It follows that the transmission and the transfer matrices  and , respectively, are defined as Unlike in host-vector models without vertical transmission, the diagonal elements of the transmission matrix  are nonzero.This stems from the fact that in the presence of vertical transmission there is vector to vector transmission, which completely changes the nature of the basic reproductive number.Thus, the next-generation matrix, , is then given by and the resulting dominant eigenvalue of the spectral radius  −1 , which is the basic reproductive number,  0 , is given by When there is no vertical transmission,  V = 0, as in the case of malaria,  0 =   0 is simply the geometric mean of the product of the number of new infections in hosts from one infected vector and the number of new infections in vectors from one infected host, in the limiting case that both populations are fully susceptible.The interpretation and epidemiological significance of   0 are well established.It is easy to see that the transmission of infection is increased with efficiency of vector biting  and probabilities of successful infection transmission, but it is hindered by high mosquito death rates and faster host recovery.The biting rate  appears as  2 because it enters twice in the transmission cycle [31].An important parameter is the ratio of female mosquitoes to hosts  =  V / ℎ , which is central for disease spread according to model settings. 0 increases with the number (or density) of mosquitoes but decreases with the number (or density) of host population.This results from the asymmetry in the dependence of the vector's biting rate on the sizes of the host and vector populations such that when there are many more hosts compared to mosquitoes, sustained transmission may be impossible.Therefore, in the absence of vertical transmission, for the infection to successfully spread and invade, the ratio of mosquitoes to hosts needs to be sufficiently large so that double bites are common [37]: where the critical ratio is given by Note that each mosquito could infect less than one host on average, and yet  0 could still be more than unity.To elucidate this fact we write   0 as a product of each host type single-step reproductive number; that is, where  Vℎ represents the number of new infections in mosquitoes from a single infected host while  ℎV represents the number of new infections in hosts from a single infected mosquito.Clearly,   0 can be greater than unity even when one of these reproduction numbers is less than unity, and it can also be less than unity even if one of its components is greater than unity.In Figure 1(a) we depict contours plots corresponding to the overall  0 in (31) along the plane ( ℎV ,  Vℎ ) in the presence of vertical transmission.Its effects in this asymmetric relationship between  0 and its components is not very pronounced and the ratio of mosquitoes to hosts remains one of the leading factors when there is a large disparity between the sizes of the host and vector populations.
Clearly, the geometric mean is less than the average expected number of new infections per generation.This is the case where the next-generation method fails to produce the correct  0 if transmission between hosts is intermediated by another host (for more discussion about the failure of this method see [21]).Instead, it gives the weighted average lying between the number of new infections each individual produces in the next infection event.Note that if the number of hosts is increased, this deficit is compounded.This can have serious implications for guiding disease control efforts as it fails to provide the actual severity of the infection.Therefore, in this study for application purpose we propose the use of another epidemic threshold.This is  0 from (10) derived in Section 3.1.1,which is hereby referred to as the 'effective' reproductive number: as (1) it satisfies the property that the endemic equilibrium  * 1 only persists if   0 is greater than unity and (2) the endemic equilibrium exists without occurrence of backward bifurcation, meaning that   0 = 1 is the correct critical value.At this point, it is of particular interest to establish the critical ratio of mosquitoes to hosts in the settings of vertical transmission.From (31) we obtain that is, a new critical ratio  *  = (1 −  V )  <   for 0 <  V < 1.This result indicates that, in the presence of Journal of Applied Mathematics vertical transmission, the critical ratio of female mosquitoes to hosts reduces at a rate proportional to vertical transmission efficiency.This indicates an earlier occurrence of the point where an epidemic is just possible as above this level the equilibrium prevalence is expected to rapidly increase to its asymptotic value.
Others are epidemic thresholds that provide a direct measure of the control effort required for disease eradication.These measures are known as "type" reproductive numbers and are determined based on the next-generation matrix [38,39] such that for our case we have host and vector type reproductive numbers  ℎ 1 and  V 1 , respectively.Note that in the absence of vertical transmission the host and vector type reproductive numbers are both equal to the square of the basic reproductive number,  0 in (41), which turns out to be   0 in (31) for  V = 0.In the presence of vertical infection,  2 0 gives the expected number of secondary infections after one average, complete (host-vector-host or vector-host-vector) transmission cycle but does not correspond to a specific population type [23].For the case of host population, one infected host leads to some secondary host infections in the next host-vector-host transmission cycle.This results exactly from the horizontal transmission mechanism and it is given by   0 .However, further secondary host infections may also occur after any number of vector-vector transmission cycles as a result of transovarial transmission.From the expression of  0 in (31) it can be seen that new infections resulting from vector-vector transmission cycle are given by 1/(1− V ); hence the host type reproductive number is then given by From (33), that is,  * V = 0 which is the boundary condition.An important question would be, what is the proportion of vertical infection that doubles   0 ?For 1/(1 −  V ) = 2 we obtain  * V = 0.5, which means that if about 50% of infected mosquitoes produce infected offspring, we expect  ℎ 1 to double.Note that all secondary infections resulting from a single infected vector must occur in the next vector-host-vector transmission cycle; hence, the vector type reproductive number takes the form For details on the derivation of both types of reproductive numbers, see Supplementary Materials, Section A-1.A  number of methods for deriving  0 exist and in [21] it is demonstrated that the resulting  0 is not unique but they may have a common threshold at  0 = 1.Hence, their behaviour below and above unity may show significant differences.In Figure 1© we examine how vertical transmission efficiency contributes to the qualitative behaviour of  2 0 ,  ℎ 1 , and  V 1 above the unity threshold criterion.An important characteristic pattern of their relationship is that below a certain percentage of vertical transmission efficiency the three reproductive numbers are undistinguishable but beyond the relationship between vertical infection and host type reproductive number becomes exponential.This behaviour results from the fact that in each generation, the number of host infections is proportional to the number of infected mosquitoes, which decreases proportionally to the vertical infection efficiency.Hence, for low vertical infection efficiency, possibly the first generations make a significant contribution to subsequent transmission cycles (for more discussion see [23,27]).
In Figure 1(b) we compare the basic reproductive number  0 derived through the next-generation method with the one derived from the endemic equilibrium   0 with respect to vertical transmission efficiency.Clearly, the two give different relationships and it is easy to see that the effect of vertical infection is completely diluted on  0 .Hence, this measure if used for disease control effort is more likely to provide misleading guidance.The relationship of the basic reproductive number   0 with mosquito to host ratio  and vertical infection  V shows some interesting patterns.For  > 1 the relationship between   0 and  V is exponential as described in Figure 1(c); however for  < 1 it is linear rendering  V having little effect if not negligible for  V ∈ (0, 0.8) (see Figure 1(d) dashed lines).This suggests that when there are more hosts compared to mosquitoes, vertical infection efficiency becomes completely negligible as in the model settings, and if  < 1, sustained host-vector transmissions may be impossible.On the other hand, we observe that for  V ⋙ 0.8 and even for  < 1,   0 becomes much larger highlighting the importance of the interplay between vertical infection and the ratio of mosquitoes to hosts.Remark 7. In the settings of vector-borne diseases both host type reproductive number  ℎ 1 or (  0 ) and vector type reproductive number  V 1 are critical for providing useful informative indicator for guiding disease control efforts.

Effects of Ratio of Mosquitoes to Hosts and Vertical Transmission on Disease Prevalence.
To fully capture effects of vertical transmission efficiency on vector-borne transmission models, we explore how this parameter influences the disease spread patterns.
Results are shown in Figure 2. The left figure explores how the first peak of an epidemic denoted by max( ℎ ()) varies with vertical transmission efficiency,  V .The results show that max( ℎ ()) increases linearly with  V .The righthand figure plots the changes on time of occurrence of each epidemic peak at each value of vertical transmission efficiency.The results suggest that as vertical transmission efficiency increases the time position of each epidemic peak decreases linearly.This suggests that if vertical infection efficiency is increased, the first peak of an epidemic is likely to be attained earlier than the expected time.This suggests that while vertical transmission efficiency increases the epidemic size of an outbreak, it linearly decreases the time of the peak of an outbreak.The lower figures, (c) and (d), describes how the prevalence of infected hosts,  ℎ , varies with the ratio of female mosquitoes to hosts for different values of vertical transmission efficiency.Figure 2(c) indicates that the prevalence of the disease saturates at larger values of the ratio at earlier stage of the initial epidemic while Figure 2(d) indicates that the prevalence of the disease saturates at lower values of the ratio at later stage of the initial epidemic.This result stems from the fact that at earlier stage of the initial epidemic the size of the vector population is still very high compared to later stages of evolution of the epidemic.

of the Model with Vector Stages and
Vertical Transmission 3.3.1.Model Equilibria.Model equilibria are obtained by setting the right-hand side of system (2) equal to zero.The model has three equilibria, two disease-free and one endemic equilibrium.Details about the derivation of the components of the endemic equilibrium are given in Section A-2 of Supplementary Materials.The first trivial equilibrium is both mosquito-free and disease-free: which corresponds only to the presence of hosts (this can be livestock for the case of RVF).However, this equilibrium is not biologically feasible or relevant in particular in tropical regions where vector-borne diseases such as Dengue and RVF are endemic.The second equilibrium corresponds to the coexistence of both vectors and hosts but without infection.This is the disease-free equilibrium: which can be used for computation of the basic reproduction number when using the next-generation method [36].The nonzero components are Hence,  1 is biologically significant if  0 > 1; that is, the mosquito population exists and can establish itself if on average each adult female mosquito produces at least one female mosquito at oviposition rate  during her life time period 1/ V after successfully surviving the aquatic stage at probability /( +   ).
The endemic equilibrium which represents the prevalence of the disease in both host and vector populations is given by where where Similar to the discussion in Section 3.1.2the above epidemic threshold in (41) is the "effective" or "control" reproductive number since it satisfies the property that the endemic equilibrium  * only persists if   0 is greater than unity and there is no backward bifurcation.
Remark 8.The relationship between the endemic equilibrium and  0 which depends on the vector population threshold indicates that the existence of this equilibrium is governed by the norms of the vector population threshold.Therefore, this vector population threshold is an important parameter in vector control efforts as it provides a means for identifying key factors for reducing the vector population.
In the following section we derive  0 using the nextgeneration method.

The Basic Reproductive Number and Other Control
Thresholds.The basic reproductive number,  0 , is a concept of great epidemiological significance.Following the method of [36], we write system (2) considering only disease compartments,   ,  V and  ℎ as ẋ = F − V with   = (  ,  V ,  ℎ ), where

Journal of Applied Mathematics
Evaluating the Jacobian of above matrices at the disease-free equilibrium  1 = ( * , 0,  * , 0, 1, 0), the basic reproduction number is then the spectral radius of the next-generation matrix; that is,  0 = (F( 1 )V( 1 ) −1 ), Following the discussion in Section 3.1.2this epidemic threshold (43) can lead to an underestimate of the control effort required if used to guide disease control strategies.
To overcome this inconsistency we use type reproductive numbers to estimate efforts required to provide informative indicators in control of vector-borne diseases.To avoid repetition we omit the steps required in the derivation process, such that the host type reproductive number is and the vector type reproductive number is then given by In the majority of mosquito-borne diseases, treatment or adequate vaccine is not likely to be feasible, either due to financial constraints or nonavailability, in particular in African communities with low resilience to economic challenges.In such cases the main preventive measures are individual protection against mosquito bites and the control of the proliferation of both the larval and adult mosquitoes.This can be achieved by lowering appropriate epidemic thresholds below unity, that is, forcing the reproductive number of the pathogen below 1.In the context of our model this implies reducing either of or both type reproductive numbers ( ℎ 1 and/or  V 1 ) below unity.Hence, we define the eradication effort to be the percentage reduction in the mosquito population size required to prevent endemic transmission of the pathogen [23], such that if using  ℎ 1 the eradication effort is 100(1 − 1/ ℎ 1 ) = 100(  0 +  V − 1)/  0 and for  V 1 the effort required to eradicate the disease is 100 Therefore, vertical infection at  V % can be responsible for at most  V % of the required eradication effort, provided   0 > 1.

Local Stability of the Disease-Free Equilibrium.
The local stability of the disease-free equilibrium point  1 = ( * , 0,  * , 0, 1, 0) is established by analysing the eigenvalues of the Jacobian matrix at  1 : ( Direct computation shows that  1 = − ℎ is an eigenvalue of matrix (47) and the remaining are solutions of equation where By Descartes' rule of signs, since  4 > 0,  3 > 0,  2 > 0, and  1 > 0, then all roots of (48) are negative or have a negative real part for  0 > 0. The coefficient  0 is nonnegative if and only if   0 < 1; hence the following result holds.

Global Stability of the Disease-Free Equilibrium.
To establish the global asymptotic stability (GAS) of  1 we use results obtained by Kamgang and Sallet [40], which are the extension of some results in [36].Around the disease-free equilibrium system (2) can be written as where   is the vector representing disease-free compartments (  ,  V ,  ℎ ) and the vector   represents the state of infected compartments (  ,  V ,  ℎ ).This requires rewriting system equation around  1 , as follows: Note that the latter arises from ( +   ) 1  = (1 −  1  ) 1 V .Then, the following matrices are obtained, From basic matrix properties and direct algebraic computation it follows that all eigenvalues of matrix  1 are real and negative and both  1 and  2 are Metzler matrices.Hence, system ẋ  =  1 ()(  −   1 , ) is GAS at the disease-free equilibrium   1 , .To establish the global stability of overall system (50) at  1 conditions of the following theorem in [40] must be satisfied.
Proof.Clearly, conditions (1)-(3) of the theorem have been satisfied.For all  ∈ Φ,  2 () is irreducible because ( + | 2 ()|) 2 > 0. An upper bound of the set of matrices M, which is the matrix  2 , is given by matrix  2 (), where  = ( Similarly matrix  2 is irreducible.Recall that from the Perron-Frobenius theorem for an irreducible matrix you get that one of the matrix eigenvalues is positive and greater than or equal to all others, that is, the dominant eigenvalue.Matrix  2 is exactly the matrix used to compute the basic reproductive number, i.e., the dominant eigenvalue.For more details or proof in general settings see [40].Now conditions (1)-( 4) have been verified.To check the last condition, we make use of the following Lemma [40].
Remark 15.The condition  V 0 > 1 is an indication that vertical transmission is vital for disease long-term persistence.A particular example is the case of Dengue fever and RVF.Upon failure of this condition, it is much more likely that results of Theorem 14 do not hold.Another important feature of  V 0 is that vertical infection is proportional to  0 , and hence vector control is still a viable control strategy even for vector-borne disease with transovarial transmission.
The above stability results and those in Theorems 9, 10, 12, and 14 can be summarized in Table 1 and in the bifurcation diagram in Figure 3.

Numerical Results of the Model with Vector Stages and
Vertical Transmission.Numerical analysis using reasonable parameter values for RVF is carried out.In Figure 4 we plot time series of infected larval, adult mosquitoes and hosts, and their respective phase portraits.The latter are plotted ) plane.The stability of equilibria in each region is given in Table 1.
for  ∈ [0 50] years for observing long-term dynamics.The parameter values used give   0 > 1 and existence of a stable endemic equilibrium.These results not only confirm findings by analytical analysis (Theorems 9 and 12) but suggest that this equilibrium is also global asymptotic stable for the chosen parameter values.This also implies that the endemic equilibrium is stable not only close to the bifurcation point but also for   0 beyond unity (see inner figures, Figures 4(a)-4(c)).

Discussion and Conclusion
One of the main contributions of mathematical epidemic models is that they enhance our understanding of disease transmission and public health planning.This is possible because with models we are able to derive critical epidemic thresholds in terms of model parameters which carry important disease features and key players.One of these measures is the basic reproduction number  0 , which if greater than unity implies that the disease will persist in the population and fade out otherwise.However, a major challenge is to derive the correct  0 for disease models in which infection transmission is intermediated by another host.This is the case of vector-borne diseases, where practical methods such as the next-generation matrix for deriving  0 fails to give the correct value [21].Rather, it gives the geometric mean of secondary infection per generation.Using the basic model we discussed alternative measures, known as host and vector type reproductive numbers ( ℎ 1 and  V 1 , respectively) [38,39], to be used for guiding disease control efforts.Further, for  both the basic and the complex model we showed that the basic reproductive number derived from the existence of endemic equilibrium is the correct epidemic measure and it is equivalent to the host type reproductive number  ℎ 1 .In fact, this is an alternative method for finding  0 when it is possible to derive the explicit components of the endemic equilibrium point [21,42].Then we established important relationships between the reproductive numbers  2 0 ,  ℎ 1 ,  V 1 and vertical infection efficiency.It follows that there is a critical threshold of vertical infection from which the contribution of this transmission route becomes significant.Otherwise, if vertical infection efficiency is very low, its contribution to disease persistence may be insignificant.The work in [23,27] discusses this feature in more detail and their findings suggest that these results stem from the fact that for low vertical infection efficiency the virus is rapidly lost unless there is a regular disease amplification in the host population.Recent entomological studies have confirmed this situation in particular for RVF where there has been more and more evidence of disease interepidemic activities [7,[17][18][19][20], underlined by sporadic outbreaks on livestock at low levels.During this period vertical infection plays a key role for providing protection against chance extinction, but only if it is efficient enough to span several mosquito generations [23], since at the end of unfavourable season the horizontally transmitted epidemic is declining.Also, our results demonstrated that while the relationship between  0 and vertical infection efficiency is linear, the relationship between the correct threshold   0 and vertical infection efficiency is exponential.This shows that the failure of  0 as a critical epidemic threshold compounds itself when varying vertical transmission.Therefore, more caution is needed when deriving the basic reproductive number in vector-borne disease systems that include vertical transmission as one of the transmission modes.Another important property to highlight in our models is the female mosquitoes to host ratio which is more likely to be responsible for the asymmetric relationship between the host-to-vector and vector-to-host reproductive numbers as discussed in other studies [28,43].We found that in the presence of vertical infection the critical ratio of female mosquitoes to hosts decreases linearly when increasing vertical transmission efficiency.This result indicates an earlier occurrence of the point where an epidemic is just possible as above this level the equilibrium prevalence is expected to rapidly increase to its asymptotic value [37].Further we analysed how vertical infection affects the prevalence of the disease at the first peak of an epidemic.The results showed that the prevalence at the first peak is positively correlated to vertical transmission efficiency while the time position of occurrence of each peak is negatively correlated to vertical transmission efficiency.These findings suggest that while vertical transmission efficiency increases the epidemic size of an outbreak, it reduces the duration of an outbreak.Additionally, the relationship between the prevalence of the disease and ratio of female mosquitoes to hosts was accessed for different values of vertical infection.Analysis showed that there is an optimal value of the ratio above which the prevalence of the disease decreases.However, such optimal value changes according to the stage of epidemic development, such that at early stage of the epidemic the optimal value is attained much later than that at later stage of the epidemic.Another interesting result is that after the optimal value of the ratio the effect of vertical transmission changes where higher values have less effect compared to lower values of vertical transmission efficiency.
Extending the basic model to include larval compartments with maximal capacities for both larval and adult populations we derived important critical thresholds for both vector population and disease system.We found that the model exhibits three boundary equilibria, namely, a mosquito-free system, a mosquito-host system but diseasefree, and one where the disease persists in both populations.
A detailed stability analysis is presented and numerical simulations are conducted using parameter values relevant to Rift Valley fever.The mathematical results are used to interpret the biological implications of the relationships between  0 , vertical infection, and the ratio of female mosquitoes to hosts for assessing viable control measures.Our analysis shows that the qualitative behaviours of the system are completely determined by three key quantities:  0 , the vector population threshold;  V 0 , the average number of female mosquitoes produced by a single infected mosquito; and   0 , the effective reproductive number (see the bifurcation diagram in Figure 3 and Table 1).These results provide important qualitative understanding of the interaction between vertical infection and ratio of female mosquitoes to hosts on the prevalence of the disease.
The mosquito population persists if each female adult mosquito produces at least one larval mosquito after surviving the larval stage.Then, if an infected individual is introduced in the community without any form of protection, the disease will invade the system leading to appearance of an endemic equilibrium if the epidemic criterion is satisfied (  0 > 1).The biological implication of this result is that the disease can only invade an area if already colonized by the mosquito population as expected.Hence, measures targeting critical features of the life cycle of the vector are viable disease control strategies.Furthermore, we found that the persistence of the disease is subjected to vertical transmission efficiency governed by the epidemic criterion  V 0 > 1.This implies that for the disease to persist for each larval mosquito produced, 1/(1 −  V ) should be infected.This explicit formulation of the threshold conditions in terms of parameters governing the infection transmission process and vector life history is of great epidemiological significance as it allows disease control efforts to be targeted at specific disease and vector stages.We have also shown that the disease-free equilibrium is locally asymptotically stable for   0 < 1 and globally asymptotically stable if   0 ⩽ 1.The latter result is of outmost importance, because it shows that if at any time, through appropriate interventions (e.g., destruction of breeding sites, use of insecticides and repellents on the host, or even vaccination), we are able to lower   0 below 1, then the disease will disappear.When the vertical transmission route is possible, this requires also lowering the contribution from this transmission mode.That is, lowering  V 0 which implies keeping  V very close to zero.Therefore, the design of control programs should take into account the implications of this mode of transmission in the case of vector-borne diseases that include vertical transmission in the vector population.
The goal of this study was to use mathematical models for discussing important properties of vector-borne disease systems and their implications in attempts for control strategies.Though we have used simple but realistic models, we believe that they remain valuable tools useful in the context of research and for providing qualitative understanding of complex processes underlying vector-borne disease transmission systems in particular in the context of transovarial transmission in the vector population.In conclusion, our results show that (1) including larval stages in the vector population when modelling vector-borne disease systems has benefits, as it allows determining conditions for colonization in terms of vector life cycle features; (2) the failure of  0 derived from the next-generation method compounds itself in the presence of vertical transmission; (3) host type reproductive number gives the correct  0 useful for guiding disease control strategies; (4) while vertical transmission efficiency is likely to increase the size of an epidemic, it decreases its duration; and (5) in the presence of vertical infection the critical ratio of female mosquitoes to hosts reduces linearly when increasing vertical transmission efficiency.

Figure 1 :
Figure 1: Relationships among epidemic thresholds with respect to vertical transmission and ratio of mosquitoes to hosts.(a) The relationship between number of new infections in hosts and number of new infections in vectors.(b) Comparison between basic reproductive numbers  0 and   0 derived from two different methods with respect to vertical infection.(c) Comparison of behaviours among the complete transmission cycle  2 0 and host type and vector type reproductive numbers with respect to vertical transmission efficiency away from the common epidemic criterion.(d) How the ratio of mosquitoes to hosts  and vertical infection  V contribute to patterns of   0 .Dashed lines indicated contours lines for   0 < 1 while continuous lines are for   0 ⩾ 1.

Figure 2 :
Figure 2: The left figure (a) explores effects of vertical transmission on the prevalence of the disease on hosts, where ( ℎ ( V )) is plotted at max( ℎ ()) for every  V .The right figure (b) explores how the first peak of an epidemic (max( ℎ ())) varies with vertical transmission efficiency ( V ).The lower figures represent the dynamics of  ℎ () at time position (78) corresponding to day 27 (figure c) and at time position (150) corresponding to day 50 (figure d) for different values of vertical infection.

Figure 3 :
Figure3: The bifurcation diagram in ( 0 ,   0 ) plane.The stability of equilibria in each region is given in Table1.

Table 1 :
Existence and stability of model equilibria.

Table 1 of
Section A-3 of Supplementary Materials.