Abstract

The outbreak of the Coronavirus (COVID-19) pandemic around the world has caused many health and socioeconomic problems, and the identification of variants like Delta and Omicron with similar and often even more transmissible modes of transmission has motivated us to do this study. In this article, we have proposed and analyzed a mathematical model in order to study the effect of health precautions and treatment for a disease transmitted by contact in a constant population. We determined the four equilibria of the system of ordinary differential equations representing the model and characterized their existence using exact methods of algebraic geometry and computer algebra. The model is studied using the stability theory for systems of differential equations and the basic reproduction number . The stability of the equilibria is analyzed using the Lienard-Chipart criterion and Lyapunov functions. The asymptotic or global stability of endemic equilibria is established, and the disease-free equilibrium is globally asymptotically stable if . Model simulation is done with Python software to study the effects of health precautions and treatment, and the results are analyzed. It is observed that if the rate of treatment and compliance with health precautions are high, the number of infections decreases in the classes of infectious and is canceled out over time. It is concluded that the high treatment rate accompanied by a suitable rate of compliance with health precautions allows for the control the disease.

1. Introduction

The initial strain of SARS-CoV-2 that appeared at the end of and which spread around the world in has already led to the appearance of other variants. To the Delta variant was added a new Omicron variant in november which has become pratically dominant. The emergence of other variants is not excluded. It therefore becomes important to understand the dynamics of the evolution of such a type of disease with the emergence of variants from an initial strain that regularly mutates. Some models have been proposed to simulate the spread of COVID-19 with this type of variants. Li and Guo, in [1], develop a mathematical model to simulate the possible impact of three control measures (vaccination, isolation, and nucleic acid testing) to control the spread of the disease with the Delta variant. The technique used is the weighted nonlinear least square estimation method. Gilberto and Abraham propose in [2] a mathematical model based on ordinary differential equations to investigate potential consequences of the appearance of a new more transmissible SARS-CoV-2 in a given region. In [3], the authors develop a mathematical model to examine the impact of nonpharmaceutical interventions, including the COVID test, genome sequencing test capacity, contact tracing, and quarantine strength, on the induced epidemic wave. A novel compartmental model which captures new strategies that promote self-testing and adjust the eligibility for PCR tests, social behaviours, booster vaccine campaigns, and features of the newest variant Omicron is presented in [4]. However, to our knowledge, none of the above models incorporates the effects of potential SARS-CoV-2 variants together with the treatment and health precautions in the spread of COVID-19.

In this paper, we present a compartmental model of a disease transmission with one virus and its variant with treatment and health precautions. The purpose of the current study is to assess the combined use of observation, treatment, and health precaution strategies to an infectious epidemiological disease with one variant. The model presented has equilibria. Note that the basic reproduction number denoted can be calculated using the Van den Drissche and Watmough method [5, 6]. The disease-free equilibrium is stable if and unstable if . If there are only two equilibria, the second is endemic. When there are more than two equilibria, the basic reproduction number does not allow to control exactly the stability of endemic equilibria.

When the number of strains or variants increases, the number of equilibria can very drastically increase. In this case, the use of algebraic geometry and computer algebra approaches is of a valuable contribution for the characterization and study of the equilibrium stability.

We start with the presentation of the model in Section 2. In the Section 3, we determine and characterize the equilibria of the model algebraically using the Gröebner base. In Section 4, we study the stability of equilibria of the model by the methods of algebraic geometry, and in particular for disease-free equilibrium, we calculate the basic reproduction number for a verification of algebraic characterizations. The global stability of disease-free equilibrium is studied in Section 5. Section 6 is devoted to numerical simulation.

2. Model Presentation

We present a model to study the spread of an infectious disease in a constant population required to respect sanitation precautions with a portion under treatment. The population is divided into five classes. The susceptible are in class , and the infected are in class for the strain and in class for the variant. The individuals under treatment are in class , and those under observation are in class . The state variable of each class also represents the proportion of its individuals. The transfer of individuals between the different classes of the model is carried out as follows: the size of all classes decreases due to the mortality rate. The classes of infected and receive the individuals of class infected by the forces of infection and , respectively. Individuals of are also derived from the mutation of those of due to the rate. Individuals from , , and progress to due to the treatment rate . Class receives elements of the total population due to the birth rate and of the classes and due to the rates and , respectively. Individuals in progress to by the identification force and to and by the infection forces and , respectively. Class receives from class the elements which have been in contact with the individuals of by the identification force . Individuals from progress to and due to the rates and , respectively. Using parameters and their description in Table 1 and the model presentation and formulation given in Section 2, the model transfer diagram is given by Figure 1.

From the transfer diagram of the model in Figure 1, the dynamical system of the model is as follows: where

We easily verify that for , we have for any solution of system (1).

3. Model Equilibria

System (1) can be written as , where is the list of parameters and is the list of state variables. An important feature of this model is common to a large class of epidemiological models, see [7, 8], and is that the components of the vector field are polynomials as a function of and . Thus, we can use the powerful tools of computer algebra such as the Gröebner base, see [911], to determine the equilibria of the model, which are the solutions of the algebraic equations system :

The calculation of the Groebner base [9] of the system according to the lexicographical order allows us to have a system (3) with a triangular form of five equations according to the given order of variables. The first element of the Groebner base calculated is a polynomial of degree in with roots , , and .

Replacing by in system (3) and solving for the other variables, we obtain a single equilibrium, noted as , whose components are

This is the disease-free equilibrium of the model, and it exists for all values of parameters.

By replacing by in system (3) and solving for the other variables, we obtain a single equilibrium, noted as , whose components are where and .

This equilibrium which corresponds to the nonexistence of infectious cases linked to the strain is endemic and exists if and only if and .

By replacing by in system (3) and solving for the other variables, we obtain a single equilibrium, noted as , whose components are where , , and .

This equilibrium is endemic and exists if and only if , , and .

By replacing by in system (3) and solving for the other variables, we obtain a single equilibrium, noted as , whose components are where .

This equilibrium corresponds to the nonexistence of infectious cases in circulation and exists if and only if .

4. Equilibrium Stability

In this section, we studied the local stability of the model equilibria. We used a Lyapunov function or the classical linearization method and the Lienard-Chipart criterion (see [12]). In other words, we calculated the characteristic polynomial of the Jacobian of the system in each equilibrium and analyzed its roots. In addition, for the disease-free equilibrium, we calculated the basic reproduction number of the model. We will write the characteristic polynomial without the factors that are not involved in the stability analysis. We started with the disease-free equilibrium.

4.1. Stability of the Disease-Free Equilibrium

For disease-free equilibrium , the characteristic polynomial of the Jacobian matrix,

is factorized [13]:

Using the Lienard-Chipart criterion for , we can deduce that the equilibrium is hyperbolic and locally asymptotically stable if and only if , , and .

4.1.1. Computation of the Basic Reproduction Number

From the variations of the infectious compartments, and by posing and which is the column matrix of the rates of occurrence of new infections by infectious compartment and which is the column matrix of differences between the rate of individuals leaving per infectious compartment and the rate of those arriving in the same compartment, we determine the matrices

Then, we calculated the matrix whose spectral radius is the basic reproduction number.

The basic reproduction number of the model is the spectral radius of the matrix ; therefore . Thus, is locally asymptotically stable if and only if [5], which exactly reflects conditions and .

4.2. Stability of the Endemic Equilibrium

For endemic equilibrium , the specialized characteristic polynomial of the Jacobian matrix was not fully factorized, but by substituting by , we obtain with and , and the characteristic polynomial is factorized [13] as where is a polynomial of degree . To study the stability of , we applied the Lienard-Chipart criterion [12] to the polynomial . We obtained the following coefficients: which are all strictly positive if is strictly positive and . The only subresultant we have to calculate is . After the calculation, we have with which is obviously and strictly positive if and . So , and are all strictly positive. is therefore hyperbolic and locally asymptotically stable if and only if , and .

4.3. Stability of the Endemic Equilibrium
4.3.1. Invariant Domain

Given a differentiable vector field , we recall that is positively invariant under if and only if for all and such that , we have (see [14]). The application of this property makes it easy to verify that is positively invariant under the vector field associated with system (1). Let us recall that a domain is positively invariant for , if the trajectory of any solution of that starts in remains in for any positive value of .

4.3.2. Global Stability of

For the equilibrium , we can use a Lyapunov function to study this stability. Note that , so the domain is positively invariant under .

Let ,

Indeed, and if , so increases to ; then, .

Therefore, is hyperbolic and globally asymptotically stable in if and only if .

4.4. Stability of the Equilibrium

For endemic equilibrium , the specialized characteristic polynomial of the Jacobian matrix was not fully factorized, but by substituting by , we obtain with , , and and the characteristic polynomial is factorized [13] as where . To study the stability of , we applied the Lienard-Chipart criterion [12] to the polynomial .

Therefore, is hyperbolic and locally asymptotically stable if and only if , , and .

We have thus the following result.

Theorem 1. The model represented by system (1) has four equilibria: (1)A disease-free equilibrium which exists for all values of the parameters. It is hyperbolic and locally asymptotically stable if and only if , , and (2)An equilibrium which exists if and only if and and is hyperbolic and locally asymptotically stable if and only if , , and (3)An equilibrium which exists and is hyperbolic and globally asymptotically stable in if and only if , , and (4)An equilibrium which exists if and is hyperbolic and locally asymptotically stable if and only if , , and

5. Global Stability of Disease-Free Equilibrium

Theorem 2. If , then the disease-free equilibrium is globally asymptotically stable.
Consider the function

Its derivative with respect to the time following the solutions of system () is

This shows that it is a Lyapunov function if . Thus, is globally asymptotically stable in if .

6. Numerical Simulation

Numerical simulations are done using the Python computer software program. Parameter values are given in Table 2.

6.1. Effect of Varying Treatment Rates on Different Epidemiological Classes

In this part, the health precaution rate is fixed to . The effect of treatment on the dynamics of the model is studied for the following values of treatment rates , and . It is observed that there is a drastic decrease of infectious classes when the treatment rate increases as shown in Figures 2, 3, 4, and 5.

6.2. Effect of Varying Health Precaution Rates on Different Epidemiological Classes

In this part, the treatment rate is fixed to . The effect of the health precaution rate on the dynamics of the model is studied for the following values of health precaution rates , and . It is observed that there is a no significant decrease of infectious classes when the health precaution rate increases in Figures 6, 7, 8, and 9. As the simulation shows, increasing the rate of health precautions stops disease transmission over time but does not eliminate it. The epidemic disappears after days for all the given values of , for even if the variation is less noticeable with the rate increase in the of health precautions.

7. Conclusion

For the model presented, all equilibria and their stability are exactly characterized by the use of algebraic geometry and computer algebra methods. The disease-free equilibrium is globally asymptotically stable; i.e., a disease-free environment can be achieved if treatment and health precautions are respected. Numerical simulations of the model show that the singular use of a health precaution/treatment strategy may lead to the effective disease control (or elimination) if its effectiveness level is at least moderately high enough. Compliance with health precaution for instance can significantly reduce the cost of treatment. The epidemic tends to disappear quickly when the treatment rate increases. We note for example that for the given values of the parameters, the disease spread decreases from days to days when goes from to . As the simulation shows, increasing the rate of health precautions stops disease transmission over time but does not eliminate it. But the combined effects of treatment measures and health precautions have a considerable effect on the spread of the disease. The disease tends to disappear with the increase in these rates. The model presented is such that the initial strain has only one variant. The use of algebraic geometry and computer algebra approaches is of a valuable contribution for the characterization of equilibria and their stability. Another perspective of this work is to extend this model to the case of disease with several variants.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.