Chikungunya is a mosquito-borne viral disease that was first observed in Tanzania in 1952  . In 1964, there was epidemic of Chikungunya in Vellore, Calcutta and Maharashtra state/provinces of India  . Ibadan, South Western Nigeria witnessed an epidemic of Chikungunya virus in 1969 when the virus was isolated from 49 patients  . The disease has been identified in over 60 countries in Asia, Africa, Europe and America, and the name describes the stooping appearance of the sufferers  . It is an RNA virus that belongs to the alphavirus genus and the family  . The symptoms include abrupt onset of fever accompanied by joint pain, muscle pain headache, nausea and rash  . Occasionally the infection may go unrecognized or be misdiagnosed and could be acute, sub-acute and chronic.
In recent years, the virus has risen from relatively obscurity to become a global public health menace affecting millions of persons throughout the tropical and subtropical regions of the world and as such has also become a frequent cause of travel associated febrile illness  . The virus is transmitted through the bite of female Aedes aegypti and Aedes albopictus mosquitoes. Aedes aegypti breeds in the ubiquitous small pools of water found around human habitation  . Unlike Aedes aegypti which exists in tropical and subtropical area, Aedes albopictus can also thrive in temperate regions, thus potentially introducing Chikungunya to new ecological niche  . These species of mosquitoes are found biting throughout the daylight hours. Mother to child transmission of Chikungunya virus has been reported  .
Diagnosis is by confirming the presence of anti-Chikungunya antibody in the patient. At the moment, there is no vaccine or treatment for the disease. Protection is by covering of exposed skin with long pants and long sleeved shirts, insect repellents and insecticide treated mosquito nets. Since the beginning of the 19th century, mathematical model has become a veritable tool in the study of vector-borne diseases    . For (Chikv), we cite the following work, Dumont and Domerg  , propose a model, including human and mosquito compartments that are associated with the time course of the first epidemic of Chikungunya in Reunion Island. Using entomological results, they investigated the links between the episode of 2005 and the outbreak of 2006. Moulay, Azziz and Cadivel  , developed a Chikungunya transmission model for the spread of the epidemic in both humans and mosquitoes, the model involves a temporal dynamics of vector (Aedes albopictus), depending on climatic factors. In the study, they provided estimates of the transmission potential of the virus and assessed the efficacy of the measures undertaken by public health authorities to control the epidemic spread in Italy. Ruiz et al.  , analyzed the potential risk of Chikungunya introduction into the US, their study combines a climate-based mosquito population dynamics stochastic model with an epidemiological model to identify temporal windows that have epidemic risk.
Pongsumpun and Sangsawang  , model studied theoretically an age-structured model for Chikungunya involving juvenile and adult human populations, giving conditions for the disease-free and endemic states respectively. They also suggested alternative way for controlling the 8disease. Yakob and Clements  , analysed a simple, deterministic mathematical model for the transmission of the virus between humans and mosquitoes. They fitted the model to the large Reunion epidemic data and estimated the type reproduction number for Chikungunya, their model provided a close approximation of both the peak incidence of the outbreak and the final epidemic size.
In this work, we proposed a deterministic mathematical model for the spread, and control of Chikv. Our model attempt to bridge identified gaps in the works cited above. Specifically, our model incorporated an imperfect vaccinated human compartment and vertical transmission in the mosquito population.
2. Model Formulation
The chic model is represented by nine non-linear ordinary differential equation consisting of human-sub population and mosquito sub-population. The human sub-population is divided into; susceptible human , vaccinated human , exposed human , infected symptomatic human , infected asymptomatic human , recovered Human R, such that the total human population, . While the mosquito sub-population is divided into; susceptible mosquito , exposed mosquito , and infected mosquito , such that the total mosquito population, .
The susceptible human sub-population is generated at a constant rate , which includes birth and immigration. The vaccinated population is generated as members of the susceptible population receive vaccination at the rate , a proportion of the vaccinated with time lose their immunity at the rate as their vaccine wanes and move back to the susceptible population. Member of the
susceptible and vaccinated populations acquire infection at the rate and respectively and move to the exposed population, where
is the probability of infection, biting rate of mosquito and (where ) is the efficacy of the imperfect vaccine. Members of the exposed population move to either symptomatic infectious population at the rate or to asymptomatic infectious population at the rate . The recovered population is generated as both symptomatic and asymptomatic infected populations recover with lifelong immunity at the rate . All human population are decreased by natural death at the rate , except the two infected populations that are decreased by disease induced death at the rate .
The susceptible mosquito population is generated by , this population is decreased by birth from infected mosquito (vertical transmission) at the rate ; and as its members take a blood meal from either symptomatic or asymptomatic infected human (horizontal transmission) at the rate . The exposed mosquito population progresses to infected mosquito population at the rate . It is assumed that births from infected mosquito do not pass through the exposed class. All sub-populations of mosquito die naturally at the rate .
Table 1. Parameters of the model Equations (1) to (9).
Figure 1. Schematic diagram of Chikungunya virus transmission dynamics, Equations (1) to (9).
2.1. The Model Equation
From the model formulation, and schematic diagram Figure 1, we hereby present the model equations.
Adding (1) to (6) gives
Also adding (7) to (9), gives
(12) and (13) are the total human population and Aides mosquito population respectively.
2.2. Basic Properties
For the Chikungunya model (1) to (9) to be epidemiological meaningful, it is necessary to prove that all its state variables are non-negative for all time. This means that the solution of the model Equations (1) to (9) with non-negative initial data will remain non-negative for all time .
The closed set
is positively-invariant and attracting with respect to the basic model Equations (1) to (9).
From Equations (10) and (11);
It follows that and if and respectively. Thus a standard comparison theorem as in Lakshmikantham and Martynyuk,  can be used to show that
and . In particular and if and respectively. Thus D is positively-invariant. Further, if , and , then either the solution enters D in finite time or approaches , and approaches , and the infected variables approaches 0.
Hence D is attracting, that is all solutions in eventually enters D. Thus in D, the basic model Equations (1) to (9) is well posed epidemiologically and mathematically according to  . Hence it is sufficient to study the dynamics of the basic model Equations (1) to (9).
Lemma 2. Let the initial data ,
Then the solution of the Chikungunya virus model (1) to (9) are non-negative for all . Furthermore form (10) and (11),
. Thus . It follows from (1) that
Similarly, it can be shown that , for all .
For the second part of the proof, note that,
From Equations (10) and (11),
3.1. Local Stability of Disease Free Equilibrium (DFE)
The basic model (1) to (9) has a DFE, obtained by setting the right-hand sides of the model equations to zero, which gives:
The linear stability of can be established using the next generation Matrix operator method on the system (I) to (9). Using the notation in  , the matrices F and V, for the new infection terms and the remaining transfer terms, are, respectively, given by,
Hence using theorem 2 of  the following results are established.
Theorem 1 The disease free equilibrium, of the model (2.1) to (2.9) is locally asymptotically stable (LAS) if , and unstable if .
3.2. Global Stability of Disease Free Equilibrium
Consider the feasible region:
Lemma 3. The region is positively invariant for the Chikungunya model Equations (1) to (9).
From Equations (1) to (9) and (20),
we have that, the only non-zero compartments at disease free equilibrium are;
Thus if and for all , then for all .
Similarly, it follows from Equation (7) of our model and (20) where .
We have that,
Thus if and for all , then for all .
In summary, we have shown that is positively invariant and attracting with respect to the solutions of our model Equations (1) to (9).
The DFE of the basic model (1) to (9) is Global Asymptotical Stability (GAS) in , whenever .
To prove the GAS of the DFE we adopt the approach in  .
Let and and group our model Equations (1) to (8) into:
where is the right hand side of with and , the right hand side of . Next we consider the reduced system:
be an equilibrium of (37) we show that is a global stable equilibrium in .
To do this, we solve the Equations (37), which gives
This asymptotic dynamics is independent of initial conditions in D. Hence the solution of xxx converges globally in .
Next we are required to show that satisfies the following two conditions in  pp246 namely;
and is the Jacobian of taken with respect to and evaluated at , which is an M-Matrix (the off diagonal elements are non-negative).
Further , and in . Thus, it follows that , and . Hence .
Therefore, by the theorem 2 in  , the disease-free equilibrium is globally asymptotically stable since in the absence of disease induced mortality the human population is constant.
3.3. Sensitivity Analysis
Here we present the sensitivity index of the parameters of the effective reproductive number . Sensitivity tells us how important each parameter is to disease transmission. Such information, is crucial not only to experimental design, but also to data assimilation and reduction of complex nonlinear model  . Sensitivity Analysis is commonly used to determine the robustness of model prediction to parameter values, since there are usually errors in data collection and presumed parameter values. It is used to determine parameters that have high impact on the and should be targeted by intervention strategies. Sensitivity indexes allows us to measure the relative changes in a variable when a parameter changes. The normalized forward sensitivity index of a variable with respect to a parameter is the ratio of relative changes in the parameter when the variable is a differentiable function of the parameter. The sensitivity index may be alternatively defined using partial derivatives. The sensitivity index of our model is given in Table 2.
Table 2. Sensitivity analysis index for the effective basic reproductive number.
From Table 2, the most sensitive parameter of is the recruitment rate of susceptible mosquito ( ) followed by the proportion of infectious new birth from infected mosquito ( ) while the natural birth rate of mosquito ( ) and the rate at which exposed mosquito become infectious ( ) are equally sensitive to the according to the model. This means that any policy or practice capable of reducing these parameters will go a long way in reducing the menace of Chikungunya and at the long run, result to eradication.
Let , (48)
represents any arbitrary endemic equilibrium of the model (1) to (9). Further, let
be the forces of infection of humans and vectors at steady state, respectively. Solving (1) to (9) in terms of and , we have;
Substituting (20) into (19) we have;
Theorem 3.6. The Chikungunya basic model (1) to (9) undergoes backward bifurcation whenever the coefficient a in equation is positive.
Proof. To prove this theorem, we use the Centre Manifold theory as in Castillo-Chavez and songs   see the theorem in Appendix A.
Let , , , , , , , , so that and . Further by using vector notation
Equations (1) to (9) can be written
as as follow:
Because it’s not always convenient to use as bifurcation parameter, we choose where as the bifurcation parameter such that,
The Jacobian of (57) evaluated at with , denoted by is given
It follows that (60) has a right eigenvector denoted by , where
And a left eigenvector given by , where
Computation of a
3.4. Vaccine Impact Analysis
Vaccine was believed to confer life-long immunity until 1990s. This was the norm as it was approximately correct for most available vaccine for infectious children diseases. But most vaccines used for combating adult infectious diseases today are defective and thus immunity conferred on the recipients wane with time. It is expected that the future Chikv vaccine will also be defective and hence the need to assess its effectiveness in a community. In this paper, the vaccine impact analysis is done by differentiating effective reproductive number with respect to the proportion p of susceptible individuals vaccinated at
equilibrium, according to  , i.e., , i.e. since we have that , hence is a decreasing function of p. This means that a vaccination program with and at equilibrium, the future vaccine will have a positive impact. Besides, there exist a such that given by and for vaccination of proportion of susceptible the number of new-cases reduces to zero faster than when .
4. Numerical Simulation
To further verify the analytical results in the model, the ode 45 code embedded in matlab was used to simulate some parameters of the model. Table 1 provided values of the parameters while initial values of the state variables were chosen arbitrarily. Figures 2(A)-(D) and Figures 3(A)-(D) are simulation of the various model compartments with time. Figure 4 is the simulation of some compartments
Figure 2. Plot of the various populations with parameters as in Table 1. (A) is the simulation of susceptible human against time, the plot shows that the susceptible human decreases with time due to the proportion that gets infected but slows down after some days, perhaps due to the vaccination and other control measures. (B) is the simulation of the vaccinated compartment. The plot shows a steady increase initially, but began to slope down after few days, this could be due to the fact that a proportion of the class are infectious as the vaccine is imperfect. (C) is the simulation of the exposed compartment with time, the plot shows a steady decline as members become infectious and progress to either the symptomatic or asymptomatic compartment. Finally (D) is the simulation of the symptomatic compartment with time. The plot shows a steady decline and tends to zero after about 20 days. This could be attributed to recovery from the infection.
Figure 3. Plot of the various populations with parameters as in Table 1. (A) is the simulation of the asymptomatic infected compartment with time, it shows a sharp increase at the onset of the epidemic, followed by a decline. (B) is the simulation of the recovered compartment with time, it shows a steady increase at the initial time, got to a peak and then remains a constant as time progresses. (C) is the simulation of susceptible mosquito compartment with time. It maintains a steady increase until perhaps due to short life cycle. (D) is the simulation of exposed mosquito compartment with time. The plot shows a steady decline with time as proportion progresses to infected compartment.
Figure 4. Simulation of the Human populations with varying values of β. (A) is the effect of the vertical transmission (β) on the susceptible compartment, while (B), (C) and (D) is the effect on same on the vaccinated, exposed, and symptomatic infected human compartment respectively. It is obvious from the plots that β has negligible effect in all the compartments and hence on the transmission of Chikungunya virus according to the model analysis and simulation.
with various values of the vertical transmission rate . Figure 5 is a contour plot of the effective basic reproduction number as a function of recruitment rate of susceptible mosquito and vertical transmission rate while Figure 6 is the contour plot of effective basic reproductive number with varying values of vaccine efficacy and vaccinated proportion. Finally, Figure 7 is a simulation of the new cases of Chikungunya with different values of vaccine efficacy and vaccination rate . The figures and detailed caption are presented below.
Figure 5. Simulation of the chikv model displaying a contour graph of RC as a function of recruitment rate of susceptible mosquito; and recruitment rate of infected mosquito (β) with parameter values as listed in Table 1.
Figure 6. Simulation of the chikv model displaying a contour graph of ( ) as a function of vaccinated human population and vaccine efficacy ( ); with parameter values as listed in Table 1.
Figure 7. Plot of the new-cases of Chikv model with varying values of vaccine efficacy and, proportion of vaccinated susceptible human population. For (A) For (B) .
A deterministic mathematical model for Chikungunya virus dynamics was developed using the standard incidence approach. The model assumed that the offspring of infected mosquito is infected at birth (vertical transmission) and also through blood meal from symptomatically and as-symptomatically infected human (horizontal transmission). For the subhuman population, only horizontal transmission was considered and the virus infection in human is assumed fatal, though with a very low rate. The disease free and endemic equilibrium was obtained and analyzed for both local and global asymptotically stability. The analysis shows that the model undergoes backward bifurcation when the effective basic reproductive number . Numerical simulation of the model shows that the effect of vertical transmission of the mosquito sub-population in the dynamics of the virus is negligible, even when the rate is high as shown in Figures 4(A)-(D). Further, the contour plot of the effective basic reproductive number with respect to the vaccine efficacy and the proportion of susceptible vaccinated (Figure 6) gave the rates at which the is above, below and equal to unity, this confirms that the use of imperfect vaccine will be effective. Figure 6 also reveals a linear relationship between the effective basic reproductive number and the two parameters in question unlike Figure 5. Also the graph of Chikungunya new case (Figure 7) shows a decrease in new cases with high vaccine efficacy and proportion of vaccinated susceptible . Hence buttressing the point made in Figure 6.
Castilo-Chaevz and Song 
Consider the following general system of ordinary differential equations with a parameter .
where 0 is an equilibrium point of the system (that is, for all ) and
(A1) is the linearization matrix of the system 2.10 around the equilibrium 0 with evaluated at 0;
(A2) Zero is a simple eigenvalues of A and other eigenvalues of A have negative real parts;
(A3) Matrix A has a right eigenvector w and left eigenvector v (each corresponding to zero eigenvalues).
Let be the kth component of f and
To do this we need the values of a and b given below:
then, the local dynamics of the system around equilibrium point 0 is totally determined by the signs of a and b, particularly,
1) , when with , 0 is locally asymptotically stable and there exists a positive unstable equilibrium; when , 0 is unstable and there exists a negative, locally asymptotically stable equilibrium;
2) , when with , 0 is unstable; when , 0 is locally asymptotically stable equilibrium and there exists a positive unstable equilibrium;
3) , when changes from negative to positive, 0 changes its stability from stable to unstable. Correspondingly a negative unstable equilibrium becomes positive and locally asymptotically stable.