side of system (1) to zero, we obtain
From the second, fourth and sixth equations of (4), we write and in terms of. From the sixth equation of (4) we have,
Equation (2) reduces to (3).
3.1. Disease Free Equilibrium
This solution of 4 leads to the disease-free equilibrium point is given by
3.2. The Effective Reproductive Number, Reff
In this section, the threshold parameter that governs the spread of a disease referred to as the effective reproduction number is determined. Mathematically, it is the spectral radius of the next generation matrix  . The equations of the system (1) are re-written starting with infective classes, to obtain
From the system (6), and are defined as
substituting and, becomes,
The partial derivatives of and with respect to and and evaluating at the disease free point gives
is computed and obtained as
The eigenvalues of are and
The effective reproduction number measures the average number of new infections generated by a typical infectious individual in a community when treatment and trapping strategies are in place. As we increase trapping and treatment rates, have the effect of increasing because of linearity of in terms of taking into account that, treatment and trapping are effective.
Local Stability of the Disease Free-Equilibrium
The disease-free equilibrium point is Thus, the Jacobian matrix of the
system (1) is computed by differentiating each equation in the system with respect to the state variables. Hence, at the steady states the Jacobian matrix for system (1) is given by
where, , and The characteristic polynomial is given as
Using Birkhoff and Rota's theorem on the differential inequality (3) we obtain
From the matrix (7) we note that the first, third, fourth, fifth and sixth have diagonal entries. Therefore their corresponding eigenvalues are;
With the help of mathematical software, the following characteristic equation is obtained
If, then and are all negative. These results are summarised with the following theorem
The disease-free equilibrium point is locally asymptotically stable if and unstable if.
4. The Endemic Equilibrium, E3
In the presence s of infection, that is, , the model system (1) has a non-trivial equilibrium point, called the endemic equilibrium point which is given by, where from the system (4.3). In this case, the following solution is considered
where is derived above. Then from the equations of system (4.3) we obtain
We let and then
Adding the last two equations of the system and making some simplifications we obtain
The equation, corresponds to a situation when the disease persists (endemic). In case of backward bifurcation, multiple endemic equilibrium must exist. This implies that while considering the equation (4.18) there are three cases we have to consider depending on the signs of and A since B is always positive. That is;
1) If and or, then Equation (4.18) has a unique endemic equilibrium point (one positive root) and there is no possibility of backward bifurcation.
2) If, and, then Equation (4.18) has two endemic equilibria (two positive roots), and thus there is the possibility of backward bifurcation to occur.
3) Otherwise, there is none.
However it is important to note that A is always positive if and negative if. Hence the above explanation leads to the following theorem.
Theorem 5 The rift valley fever basic model has,
1) Precisely one unique endemic equilibrium if
2) Precisely one unique endemic equilibrium if and or
3) Precisely two endemic equilibrium if, and
4) None, otherwise.
From (iii) it is observed that backward bifurcation is possible if the discriminant is set and solve for the critical value of. Thus, we get
where backward bifurcation occurs for values of lying in the range. The theorem below gives the condition of existence of the endemic equilibrium point,.
Theorem 5 The endemic equilibrium point, exists if.
5. Sensitivity Analysis
Sensitivity analysis determines parameters that have a high impact on and should be targeted by intervention strategies. We will use the approach done in  and Blower and Dowlatabadi, 1994 to calculate the sensitivity indices of the effective reproduction number,.
The indices are crucial and will help us determine the importance of each individual parameter in transmission dynamics and prevalence of the Rift Valley Fever Virus.
Definition 1 The normalized forward sensitivity index of a variable, u, that depends differentiably on index
on a parameter, p is defined as;
The analytical expression for the sensitivity of is for each of the parameter p in-
volved in. We used the following parameter values to determine the sensitivity indices;
Interpretation of Sensitivity Analysis
From Table 1, it shows that when the parameters and, are increased keeping other parameters constant they increase the value of implying that they increase the the burden of the disease among the human, animals and vector populations as they have positive indices. While the parameters, and decrease the value of when they are increased while keeping the other parameters constant, implying that they decrease the burden of the disease among the human, livestock and vector populations. The specific interpretation of each parameter shows that, the most sensitive parameter is the transmission rates for susceptible cattle individuals with infection followed by transmission rates for susceptible human individuals with infection and so on as the Table 1 indicates.
6. Numerical Simulation
We carry out numerical simulations for mathematical model of rift valley fever for the set of parameters from literature as shown in Table 1. The parameter values that changed the value of are: and.
We have the following simulation results (Figures 1-6). Figure 1 shows variation of the different populations for specified parameter values. As treatment rates and increase, both infected human population and cattle population rises quickly to reach maximum and then drops to a steady state. Corresponding to the rise of both human population and livestock population infective there is a drop in the susceptible human and livestock population until reaches the minimum values and then rises to a steady state. The reduction of mosquitoes and through trapping of both infected and susceptible lead to reduction in infected human and animal population because the two are infected by infected mosquitoes and they do not infect each other. The simulation results depicted in Figure 2 illustrating the the endemic state with the value of. The results show the introduction of trapping the mosquitoes, treating human and livestock populations reduce the reproduction number from 8.60276 to 0.4782, this implies the clearance of the disease.
Table 1. Parameter values and the calculated sensitivity indices.
Figure 1. Schematic diagram for Rift Valley Fever Model with interventions.
Figure 2. Population Dynamics of the rift valley fever without intervention model.
Figure 3. Effects of treatment of livestock on mosquitoes population.
Figure 4. Effects of treatment of human on mosquitoes population.
Figure 5. Effects of trapping of mosquitoes on human population.
Figure 6. Effects of trapping of mosquitoes on human population.
6.1. Variation of Different Parameters on the Dynamics of Rift Valley Fever Model with Treatment and Trapping
In this section parameters, , and representing the treatment rate for the infected human population, treatment rate for the infected livestock population and the trapping rate for the mosquitoes population respectively were varied to determine their effect on the different model populations. When the treatment rates of livestock and human increase the infected human, livestock and mosquitoes decrease as the Figure depicts. When the trapping rate and of the infected and susceptible mosquitoes respectively increase, the infected human and livestock decrease. This implies that endemicity of the disease among human and livestock decreases.
The Rift Valley Model formulated in this study is well posed and exists in a feasible region where disease free and endemic equilibrium points are obtained and their stability investigated. The model has two interventions; treatment for human and livestock and trapping for mosquitoes. We have shown that disease free equilibrium exist and is locally asymptotically stable whenever its associated effective reproduction number is less than unity, and it has a unique endemic equilibrium u when exceeds unity. These results have important public health implications, since they determine the severity and outcome of the epidemic (i.e. clearance or persistence of infection) and provide a framework for the design of control strategies. Analysis of the model show that in the absence of treatment of livestock and human and trapping of mosquitoes (ie.) and if,the epidemic will develop,but if it will die out. At (all infected human and cattle have access to treatment for human and all mosquitoes are trapped), then, and the epidemic will be fully controlled. The main epidemiological findings of this study include:
In the absence of treatment of human or livestock and trapping for mosquitoes: implying that treatment failure leads the epidemic persistence. Hence the combination of treatment for livestock, humans and trapping for mosquitoes can eradicate the rift valley fever infection if can be reduced to below unity.
With human or livestock and trapping for mosquitoes, so; (a): human or livestock treatment and trapping for mosquitoes is effective, hence elimination of infection.
In this paper, the rift valley fever model with interventions was formulated and analysed. Using the theory of differential equations, the invariant set in which the solutions of the model are biologically meaningful was derived. Boundedness of solutions was also proved. Analysis of the model showed that there exist two possible solutions, namely the disease-free point and the endemic equilibrium point. Further analysis showed that the disease-free point is locally stable implying that small perturbations and fluctuations on the disease state will always result in the clearance disease if. In the final analysis treatment and trapping interventions program will effectively control the spread of rift valley fever.
 Pepin, M., Bouloy, M., Bird, M., Kempand, B.H. and Paweska, A. (2010) Rift Valley Fever Virus (Bunyaviridae: Phlebovirus): An Update on Pathogenesis, Molecular Epidemiology, Vectors, Diagnostics and Prevention. Veterinary Research, 41, 61.
 Clements, A.C., Pfeifer, D.U., Martin, V. and Otte, M.J. (2007) A Rift Valley Fever Atlas for Africa. Preventive Veterinary Medicine, 2, 72-78.
 Fischer, E., Boender, G.J. and De Koeijer, A.A. (2013) The Transmission Potential of Rift Valley Fever Virus among Livestock in the Netherlands: A Modeling Study. Veterinary Research, 44, 58.
 Métras, R., Collins, L.M., White, R.G., Alonso, S. and Chevalier, V. (2011) Rift Valley Fever Epidemiology, Surveillance, and Control: What Have Models Contributed? Vector Borne and Zoonotic Diseases, 11, 761-771.
 Mpeshe, S.C., Haario, H. and Tchuenche, J.M. (2011) A Mathematical Model of Rift Valley Fever with Human Host. Acta Biotheoretica, 59, 231-250.
 Niu, T.C., Gaff, H.D., and Papelis, Y.E. and Hartley, D.M. (2012) An Epidemiological Model of Rift Valley Fever with Spatial Dynamics. Computational and Mathematical Methods in Medicine, 2012, Article ID: 138757.
 Chitnis, N., James, M.H. and Carrie, A.M. (2013) Modelling Vertical Transmission in Vectorborne Diseases with Applications to Rift Valley Fever. Journal of Biological Dynamics, 7, 11-40.
 Otte, J.M., Nugent, R. and McLeod, A., Eds. (2004) Transboundary Animal Diseases: Assessment of Socio-Economic Impacts and Institutional Response. Volume 9, FAO, Livestock Policy Discussion Paper 9.
 Van Den, D.P. and Watmough, J. (2002) Reproduction Numbers and Sub-Threshold Endemic Equilibria for Compartmental Models of Disease Transmission. Mathematical Biosciences, 80, 29.
 Chitnis, N., Hyman, J.M. and Cushing, J.M. (2008) Determining Important Parameters in the Spread of Malaria through the Sensitivity Analysis of a Mathematical Model. Bulletin of Mathematical Biology, 70, 1272-1296.