MATHEMATICAL ANALYSIS OF A MASS ACTION MODEL BY OCHOCHE J. M. and MADUBUEZE C.E. Department of Mathematics/Statistics/Computer science. Federal university of Agriculture, Makurdi, Nigeria. ochoche.jeffrey@uam.edu.ng Abstract: We presented and analyzed a mass action model with vital dynamics. This type of model is suitable for many childhood diseases like Mumps, Rubella and other highly contagious diseases like influenza. We showed that the region in which the model makes biological sense is positively invariant, this means that any solution of the model with initial condition in this region remain in the region for all times. The model has two equilibria, the disease – free equilibrium (DFE) and the endemic equilibrium. Using the concept of π 0 , we showed that the DFE is locally asymptotically stable provided π 0 < 1, we similarly proved the global stability of the DFE using a suitable Lyapunov function. Further we showed that the endemic equilibrium exist only ifπ 0 > 1. Numerical simulation showed that the contact rate is an important parameter in the transmission dynamics of mass action models. Keywords: Endemic equilibrium, Incidence function, Invariant region, Mass action, 1.0 INTRODUCTION The study of infectious diseases can no longer thrive without mathematical modeling. The robust capacity of modeling as a tool for testing theories and simulations that produce near perfect results has made it an indispensable tool in the study of infectious diseases. Infectious disease models has contributed to the design and analysis of epidemiological surveys, suggest crucial data that should be collected, identify trends, make general forecasts, and estimate the uncertainty in forecasts. On the other hand, infectious diseases remain the greatest threat to human existence. The bubonic plague killed over 20% of the population of Europe over a seven year period in the 1300s. The Great Plague of London, 1664–66 killed more than 75,000 of total population of 460,000. The influenza epidemic of 1918 – 19 killed 25 million people in Europe. Medical advances in the 20 th and 21st century have failed to provide a general solution to the spread of infectious diseases as diseases like HIV continue to ravage human population throughout the world. From 1981, when the disease was first reported, to date, HIV has killed more than 25 million people and more than 30 million people are presently infected. Disease incidence refers to the infection rate of susceptible through their contact with infectives [1], it is the number of new cases per unit time or the rate at which new waves of the disease appear. The choice of incidence function in a mathematical model is very important since the dynamics of the epidemic is determined by how new cases of infection are generated. The three incidence functions frequently used in deterministic mathematical models are; the saturated incidence( π½ππΌ 1+πΌπΌ ), the standard incidence ( π½ππΌ π ) and the mass action incidence π½ππΌ. The mass action incidence is given by π½ππΌ, where S,I denote the number of susceptibles and infectives respectively and N is the total number of individuals in the population such that π½π is the number of adequate contact required for the transmission of the disease. The mass action incidence is appropriate when N is not too large [2] since it assumes that the pattern of daily encounter is dependent on the size of the community which implies that the contact rate is an increasing function of the population. The mass action incidence is density – dependent since contact rate per infective is proportional to the density of the infectious host. Measles, Mumps, Rubella, Chicken pox, Polio and Influenza are diseases that are commonly modeled using the mass action incidence. While the choice of incidence function mostly depends on the disease being modeled, sometimes analytical tractability is needed and hence the mass action incidence has also been used in modeling HIV [3-5] 1 In [6], the role of the choice of incidence function was investigated using a vaccine-induced backward bifurcation in HIV models. Several examples are given where backward bifurcations occur using standard incidence, but not with their equivalents that employ mass action incidence. 2.0 MODEL FORMULATION We now present a mass action model with vital dynamics using the Susceptible-Infected-Recovered approach (SIR). We shall show the positivity of solutions of the model and proof its local stability using the linearization approach. 2.1 Variables of the Model The variables of the model are defined below π(π‘) = The number of susceptible individuals at time, t πΌ(π‘) =The number of infected individuals at time, t π (π‘) = The number of recovered individuals at time, t 2.2 Parameters of the Model The parameters of the model are defined below π0 =Birth rate µ = Natural death rate π½ = The contact rate, defined to be the average number of effective contacts with other (Susceptible) individuals per infective per unit time. πΌ = The rate at which an infectious individual recovered per unit time. πΏ =Measles induced death rate 2.3 Assumptions of the Model The following assumptions are made in the model. 1. Individuals are born susceptible. 2. Infected individuals spread the disease to susceptible and remain in the infected class (in the period of infectiousness) before moving into the recovered class. 3. Individuals in the recovered class are assumed to be immune for life. 2.4 The Model Equation The model equations for the study are given below ππ = π0 − π½ππΌ − ππ ππ‘ ππΌ = π½ππΌ − (πΏ + πΌ + π)πΌ 2.0 ππ‘ ππ = πΌπΌ − ππ } ππ‘ 2.5 Feasible Solution The region in which the model makes biological sense is given by: π0 } π From the model equations 3.1 it will be shown that the region is positively invariant. Consider the steps below: From the model equations, the total interacting population is given by π = π + πΌ + π that is; ππ ππ ππΌ ππ = + + ππ‘ ππ‘ ππ‘ ππ‘ Ø = {(S, I, R) ∈ R3+ : π + πΌ + π = π ≤ Therefore, adding the differential equations 3.1 we have ππ = π0 − ππ ππ‘ Integrating Therefore, ππ ππ‘ = π0 − ππ has an integrating factor π ππ‘ 2 ππ ππ‘ π + πππ ππ‘ = π0 π ππ‘ ππ‘ Such that (ππ ππ‘ )′ ≤ π0 π ππ‘ ∫(ππ ππ‘ )′ ≤ ∫ π0 π ππ‘ ππ ππ‘ ≤ π0 ππ‘ π +π π When π‘ = 0 π(0) ≤ π0 + π π πΆ ≥ π(0) − π0 π Hence π0 ππ‘ π0 π + (π(0) − ) π π π0 π0 −ππ‘ π ≤ + (π(0) − ) π π π ππ ππ‘ ≤ π ≤ π(0)π −ππ‘ + So that as π‘ → ∞, π(π‘) ≤ π0 π π0 (1 − π −ππ‘ ) π , This means that every solution with initial condition in Ø remains in Ø for all π‘ > 0 . Therefore in Ø,our model is biologically feasible, mathematically well posed and positively invariant 3.0 POSITIVITY OF SOLUTIONS We shall now prove that all the variables in the model equation 2.0 are non-negative. LEMMA 1 Let the initial data set be (π, πΌ, π ) ≥ π ∈ Ø, then the solution set (π, πΌ, π ) (π‘) of the equations 2.0 is positive for all π‘ > 0 Proof: from equation 1 in 3.1 if it is assumed that ππ = π0 − π½ππΌ − ππ ≥ −(π½πΌ + π)π ππ‘ then ππ ππ ≥ −(π½πΌ + π)π or ≥ −(π½πΌ + π)ππ‘ ππ‘ π Integrating both side of the inequalities gives ππ ∫ ≥ ∫ −(π½πΌ + π)ππ‘ π πππ(π‘) ≥ −(π½πΌ + π)π‘ + π π(π‘) ≥ ππ −(π½πΌ+ π)π‘ when π‘ = 0, we have π(π‘) ≥ π(0)π −(π½πΌ+ π)π‘ ≥ 0 From second equation of 2.0 3 ππΌ = π½ππΌ − (πΏ + πΌ + π)πΌ ≥ −(πΏ + πΌ + π)πΌ ππ‘ Therefore ππΌ ππΌ ≥ −(πΏ + πΌ + π)πΌ or ≥ −(πΏ + πΌ + π)ππ‘ ππ‘ πΌ Integrating both sides of the equations gives ππΌ ∫ ≥ − ∫(πΏ + πΌ + π)ππ‘ πΌ πππΌ(π‘) ≥ −(πΏ + πΌ + π)π‘ at π‘ = 0, we have πΌ(π‘) ≥ πΌ(0)π − (πΏ+πΌ+π)π‘ ≥ 0 since (πΏ + πΌ + π) > 0 From third equation of 2.0 ππ = πΌπΌ − ππ ππ‘ ππ‘ Wich has an integrating factor π so ππ ππ‘ π + ππ π ππ‘ = πΌπΌπ ππ‘ ππ‘ (π π ππ‘ )′ = πΌπΌπ ππ‘ πΌπΌ ππ‘ π π ππ‘ = π +π π when π‘ = 0 πΌπΌ π (0) = +π π πΌπΌ or π (0) − = π π πΌπΌ πΌπΌ π π ππ‘ = π ππ‘ + (π (0) − ) π π πΌπΌ πΌπΌ −ππ‘ π (π‘) = + (π (0) − ) π π π πΌπΌ −ππ‘ −ππ‘ π (π‘) = π (0)π + (1 − π ) > 0 since π > 0 π hence, all variables are positive for π‘ > 0 4.0 EXISTENCE AND STABILITY OF DISEASE-FREE EQUILIBRIUM The equilibrium points of the system (S.I.R) can be obtained by equating the rate of change to zero. That is ππ ππΌ ππ = = =0 ππ‘ ππ‘ ππ‘ Equations 3.2 results to the following equations π0 − π½ππΌ − ππ = 0 π½ππΌ − (πΏ + πΌ + π)πΌ = 0 πΌπΌ − ππ = 0 In the absence of the disease, only the first equation remains with the reduced form π0 − ππ = 0 π0 ⇒ π0 = π Therefore, πΈ0 = (π0 , 0,0) = ( π0 π , 0,0) 4.1 Basic Reproduction Number In the mathematical epidemiology an important concept is related to the basic reproduction number (π 0 ). It is a measure of the potential for a disease to invade a population or die out when introduced. The basic reproduction number, π 0 is defined as the expected number of secondary infections produced by an index case in a completely susceptible population [7]. π 0 is a threshold parameter such that if the disease free 4 equilibrium is locally asymptotically stable, then the disease cannot invade the population and π 0 < 1, whereas if the number of infected individuals grows, the disease can invade the population and π 0 > 1 [8,9] The basic reproduction number (π 0 ) of the system 3.1 can be derived as follows: πΉ = (π½π0 )πΌ Where π0 = π0 π π = (π + πΏ + πΌ) π −1 = 1 (π + πΏ + πΌ) π 0 = π ππππ‘ππππ πππππ’π of FV −1 π 0 = π 0 = π½π0 π+πΏ+πΌ π½π0 π(π + πΏ + πΌ) 4.2 Local Stability Of The Disease Free Equilibrium In this section, we study the local stability of the disease free eqiulibrium; it is determined by Jacobian matrix, π½(π, πΌ, π ) of system equation (3.1) −π½πΌ − π π½(π, πΌ, π ) = [ π½πΌ 0 π½π π½π − (π + πΏ + πΌ) πΌ −π π0 π½ ( , 0,0) = π 0 [0 The Eigen values are π1 = π3 = −π and π2 = π½ π1 , π3 < 0 , π2 < 0 if π½ π0 π π0 π π½ π½ π0 π π0 − (π + πΏ + πΌ) π πΌ − (π + πΏ + πΌ) − (π + πΏ + πΌ) < 0 or π½ π0 < (π + πΏ + πΌ) π or π½π0 <1 π(π + πΏ + πΌ) or π 0 < 1 Thus we have proved the following theorem. 5 0 0] −π 0 0 −π] THEOREM 1: (Local stability of πΈ0 ) If π 0 < 1, the disease free equilibrium of system (3.1) is locally asymptotically stable. GLOBAL STABILITY OF THE DISEASE FREE EQUILIBRIUM Consider the Lyapunov function πΏ = πΌ πΏΜ = πΌ Μ = π½ππΌ − (πΏ + πΌ + π)πΌ = (π½π − (πΏ + πΌ + π))πΌ ≤ (π½π0 − (πΏ + πΌ + π))πΌ = (π½ π0 − (πΏ + πΌ + π)) πΌ π = (πΏ + πΌ + π)(π 0 − 1)πΌ ≤ 0 for π 0 < 1 Since all the model parameters are positive, it follows that πΏΜ < 0 for π 0 < 1; πΏΜ = 0 only if πΌ = 0, hence πΏ is a Lyapunov function on Ø. Therefore by the LaSalle’s invariance principle, every solutions to the model equation 3.1, with initial conditions in Ø approaches πΈ0 at π‘ → ∞. Thus we have proved the following theorem THEOREM 2 (Global stability of πΈ0 ) If π 0 < 1, the disease free equilibrium of system (3.1) is globally asymptotically stable. 5.0 EXISTENNCE OF ENDEMIC EQUILIBRIUM We now investigate the persistence of the disease in the population. At equilibrium all the model equation equals zero, that is ππ ππΌ ππ = = =0 ππ‘ ππ‘ ππ‘ or π0 − π½ππΌ − ππ = 0 π½ππΌ − (πΏ + πΌ + π)πΌ = 0} 3.3 πΌπΌ − ππ = 0 From the second equation of 3.3, we have π½ππΌ = (πΏ + πΌ + π)πΌ or π∗ = (πΏ + πΌ + π) π½ From the first equation of 3.3 we have π0 − π½ππΌ − ππ = 0 or 6 π0 − (πΏ + πΌ + π)πΌ − π πΌ∗ = πΌ∗ = (πΏ + πΌ + π) =0 π½ π½π0 − π(πΏ + πΌ + π) π½(πΏ + πΌ + π) (π 0 − 1)π(πΏ + πΌ + π) π½(πΏ + πΌ + π) πΌ ∗ = (π 0 − 1) π π½ From the third equation of 3.3 πΌπΌ = ππ or π ∗ = πΌπΌ ∗ πΌ = (π 0 − 1) π π½ We have thus proved the following lemma LEMMA 2 The endemic equilibrium state of the model given as πΈ∗ = ( (πΏ+πΌ+π) π½ π πΌ π½ π½ , (π 0 − 1) , (π 0 − 1) ) exist if and only if π 0 > 1 5.1 GLOBAL STABILITY OF THE ENDEMIC EQIULIBRIUM In this section, we study the local stability of the endemic equilibrium. THEOREM 3 (Routh-Hurwitz Conditions) Let π½ = ( ππ₯ (π₯∗ , π¦∗ ) ππ₯ (π₯∗ , π¦∗ ) ππ¦ (π₯∗ , π¦∗ ) ) ππ¦ (π₯∗ , π¦∗ ) be the Jacobian matrix of the non – linear system ππ₯ = π(π₯, π¦) ππ‘ ππ¦ = π(π₯, π¦) ππ‘ evaluate at the critical point (π₯∗ , π¦∗ ). Then the critical point (π₯∗ , π¦∗ ) I. II. III. is asymptotically stable if πππππ(π½) < 0 and π·ππ‘ (π½) > 0 is stable but not asymptotically stable if πππππ = 0 and π·ππ‘ (π½) > 0 is unstable if πππππ(π½) < 0 and π·ππ‘ < 0 7 We shall now apply the Routh-Hurwitz conditions in studying the stability of the endemic equilibrium. The Jacobian matrix associated with the system (3.1) is ∗ ∗ π½(π , πΌ , π ∗) −π½πΌ ∗ − π = [ π½πΌ ∗ 0 π½π ∗ π½π − (π + πΏ + πΌ) πΌ ∗ 0 0] −π Clearly, −π is an Eigen value, the other two Eigen values are negative if the Routh – Hurwitz conditions hold. That is, I. II. Trace of πΊ < 0 Determinant of πΊ > 0 Where −π½πΌ ∗ − π πΊ=[ π½πΌ ∗ π½π ∗ ] π½π − (π + πΏ + πΌ) ∗ The trace of G is given as πππππ πΊ = −π½πΌ ∗ − π + π½π ∗ − (π + πΏ + πΌ) = −π½(π 0 − 1) (πΏ + πΌ + π) π −π+π½ − (π + πΏ + πΌ) π½ π½ = −π½(π 0 − 1) π −π π½ < 0 for π 0 > 1 The Determinant of G is given as π·ππ‘ πΊ = −(π½πΌ ∗ + π)[π½π ∗ − (π + πΏ + πΌ)] − π½ 2 π ∗ πΌ ∗ = − (π½(π 0 − 1) (πΏ + πΌ + π) (πΏ + πΌ + π) π π (π 0 − 1) ) + π) [π½ − (π + πΏ + πΌ)] − (π½ 2 π½ π½ π½ π½ = − (π½(π 0 − 1) π + π) [0] − ((πΏ + πΌ + π)(π 0 − 1)π) π½ = −((πΏ + πΌ + π)(π 0 − 1)π) < 0 for π 0 > 1 Therefore one of the conditions given above for negativity of the Eigen values is violated. This implies that the endemic equilibrium of the model system 3.1 is unstable for π 0 > 1. 6.0 MODEL SIMULATION We now perform a numerical simulation of the model using parameter values as listed in the table below 8 Parameter Value π0 3 π½ [0.003, 0.03] πΌ 0.4 πΏ 0.0023 π 0.02 Table: Parameter values used in simulation Susceptibles 1000 500 0 0 2 4 6 8 10 12 Time 14 16 18 20 Infectives 1000 500 0 Recovered Beta = 0.03 0 2 4 6 8 10 12 Time 14 16 18 1000 500 0 0 2 4 6 8 10 12 Time 14 16 18 1000 500 0 20 Figure 1: Simulation of the mass action model with π½ = 0.003 0 2 4 6 8 10 12 Time 14 16 18 20 0 2 4 6 8 10 12 Time 14 16 18 20 0 2 4 6 8 10 12 Time 14 16 18 20 1000 500 0 20 Recovered Infectives Susceptibles Beta = 0.003 1000 500 0 Figure 2: Simulation of the mass action model with π½ = 0.03 9 7.0 CONCLUSION We analyzed a mass action model with vital dynamics. Most of our result depends on the behavior of π 0 . For example if π 0 < 1 then the disease free equilibrium is both locally and globally asymptotically stable. Also the endemic equilibrium exist only if π 0 > 1. This implies that control measures should enforce those policies that reduces π 0 below unity since the disease can be earidicated from the population if π 0 is forced below unity. The parameter that can be easily manipulated to bring π 0 below unity is the contact rate. As seen from figures 1 and 2, increasing the contact rate have negative effect on the transmission dynamics of the disease as it results in tremendous increase in the number of infectives causing the disease to take over the entire population in a short period of time. REFERENCES [1] [2] [3] [4] [5] [6] [7] [8] [9] H. Hethcote, M. Zhien , L. Shengbing, βEffects of quarantine in six endemic models for infectious diseases, Math. Biosci., 180 ,pp. 141–160, 2002. Juan Zhang and Zhien Ma, Global dynamics of an seir epidemic model with saturating contact rate, Mathematical Biosciences Journal 185 (2003), 15-32. A. Perelson, P. Nelson, Mathematical analysis of HIV-1 dynamics in vivo, SIAM Rev. 41 (1999) 3. C. Kribs-Zaleta, J. Valesco-Hernandez, A simple vaccination model with multiple endemic states, Math Biosci. 164(2000) 183. F. Brauer, P. van den Driessche, Models for transmission of disease with immigration of infectives, Math. Biosci.171 (2001) 143. O. Sharomi , C.N. Podder , A.B. Gumel , E.H. Elbasha , James Watmough, Role of incidence function in vaccine-induced backward bifurcation in some HIV models, Math. Biosci.(2007), doi:10.1016/j.mbs.2007.05.012 O. Diekmann and J. A. P. Heesterbeek, Mathematical epidemiology of infectious diseases, Wiley series in mathematical and computational biology, John Wiley & Sons, West Sussex, England, 2000. P. Van den Driessche, J. Watmough, Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math.Biosci. 180, 29–48, 2002 doi:10.1016/S0025-5564(02)00108-6 C. Castillo-Chavez, Z. Feng, and W. Huang, On the computation of Ro and its role on global stability,in: Castillo-Chavez C., Blower S., van den Driessche P., Krirschner D. and Yakubu A.A.(Eds), Mathematical Approaches for Emerging and Reemerging Infectious Diseases: An Introduction. The IMA Volumes in Mathematics and its Applications. Springer-Verlag, New York,125(2002), pp. 229-250. 10