ORIGINAL RESEARCH article
Delayed Modeling Approach to Forecast the Periodic Behavior of SARS-2
- 1Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China
- 2Department of Mathematics, Comsats University Islamabad, Lahore, Pakistan
- 3Centro Studi Attività Motorie, Biology and Biomechanics Department, Lucca, Italy
The ongoing threat of Coronavirus is alarming. The key players of this virus are modeled mathematically during this research. The transmission rates are hypothesized, with the aid of epidemiological concepts and recent findings. The model reported is extended, by taking into account the delayed dynamics. Time delay reflects the fact that the dynamic behavior of transmission of the disease, at time t depends not only on the state at time t but also on the state in some period τ before time t. The research presented in this manuscript will not only help in understanding the current threat of pandemic (SARS-2), but will also contribute in making precautionary measures and developing control strategies.
In the field of biological sciences, the delayed processes takes place, not only at macro scale but also at micro scale. The computational framework for such problems can help in understanding the dynamics in a more cost effective manner (Yan, 2007; Fang et al., 2020; Sohail and Nutini, 2020).
Recently, the World Health Organization (WHO) has declared the novel corona virus (2019-nCoV) outbreak a Public Health Emergency of International Concern (PHEIC) It is named as severe acute respiratory syndrome corona virus 2 (SARS-CoV-2). The SARS-CoV-2 has been determined as the seventh member of the corona viruses infected humans (Zhu et al., 2020).
The antiviral immune response, also in the case of SARS-CoV2, behaves according to two characteristics: “lytic” and “non-lytic.” These characteristics emerge from the action of two fundamental elements of the immune system in the case of an anti-viral response: antibodies (non-lytic response) and cytotoxic T cells also called CTL—Cytotoxic Lymphocites (lytic response).
At the moment the epitopes that can be identified to analyze these responses, are not clear. There are strong homologies with the SARS-CoV virus (75.5%). Furthermore, there is a strong alteration of antigenicity compared to SARS-CoV2 even if important epitopes in the Spike protein have been identified through the analysis of the localization of the RDB sequences, which can therefore become specific targets for drugs and vaccines (Zheng and Song, 2020).
The non-lytic response occurs against adaptive humeral immunity through the production of antibodies by B cells whose action is to neutralize the virion through direct connection with the same; specific antibodies are important in the defense against viruses during the early stages of infection when the virus is still extra-cellular; neutralizing antibodies facing the virus bind to the capsid or viral pericapside proteins, preventing their adhesion to the cell surface and therefore entry into the cells. Opsonizing antibodies can potentate the elimination of viral particles by phagocytosis.
In the case of SARS-CoV2, virus-specific IgG reached 100% approximately 17–19 days after symptom onset, while the proportion of patients with positive virus-specific IgM reached a peak of 94.1% approximately 20–22 days after symptom onset while during the first 3 weeks after symptom onset, there was increase in virus-specific IgG and IgM antibody titters.
Three types of seroconversion are possible: synchronous seroconversion of IgG and IgM, IgM seroconversion earlier than that of IgG and IgM seroconversion later than that of IgG (Long et al., 2020); specific data on the production of IgG and IgM is crucial to allow the rapid identification of the infection (di Mauro Gabriella et al., 2020). The lytic response depends on the action of the CTL cells which, in order to take place efficiently, must result from a cooperation between CD4+ and CD8+ lymphocytes. CD8+ cells recognize endogenously synthesized viral antigens in association with MHC class I molecules on all cell types; CD4+ cells recognize viral antigens in association with MHC class II antigens and the complete differentiation of CD8+ cells requires the intervention of CD4+ T helper cells. The antiviral effect of CTL is due to the lysis of infected cells, the activation of endocellular enzymes (endonucleases) which cause the degradation of the viral genome and the secretion of cytokines with interferon activity.
CTL epitopes of SARS-CoV-2 have been predicted by several studies, which can be used effectively to understand the pathogenesis (Kumar et al., 2020).
The fundamental mechanism by which the advancement of the virus in an organism is contrasted is given by a balance between the two mechanisms (lytic and non lytic). During multiple stages of the infection, the initial coordinated action of the antibodies join the lytic activity of the CTL cells to eradicate the virus.
The current research is motivated by the possible lack of the “control” and “coordination” between the two types of immune response, such that, a strong CTL response induces a limited and insufficient antibody action (or the reverse); is interlinked with the strong decrease in viral load induced by one of the two types of response.
During this imbalanced process, the coordinative response of the CD4+ helper T cells also varies considerably: in SARS-CoV-2 infected patients, it has been reported that the analysis showed activation and reduction in CD4+ and CD8+ T cell counts (Li et al., 2020).
The purpose of this paper, therefore, is to quantify a possible mathematical model that investigates the possible non-coordination between lytic and non-lytic response and indicate a mathematical quantification of the best antiviral immune response in the case of SARS-CoV2.
2. Materials and the Methods
2.1. Basic Model of Virus Transmission
Consider the basic transmission model, with the coefficients, as listed in Table 1.
2.1.1. Positivity of Solution
For the model (1) transmission to be epidemiologically feasible, it is necessary to show that for all time every state variable is non-negative. Thus, the solutions of the model with non-negative initial value for all time t > 0 will remain non-negative.
Theorem 2.1. Suppose that the model (1) consists of all feasible solutions with non-negative initial result then it remains non-negative for all time t.
Proof: Let the model (1) satisfy the initial non-negative solution, i.e.,
U(0) ≥ 0, W(0) ≥ 0, V(0) ≥ 0, A(0) ≥ 0 and C(0) ≥ 0.
It can be deduced from the model (1)
as the solution of variable U can be computed by following result,
where and . This gives non-negativity of U(0) ≥ 0 for all t ≥ 0. The non-negativity of the rest of the variables in the model (1) is given below.
In term of matrix the above can be expressed as,
and M matrix.
The matrix M is a Matzler matrix so by the result presented in Smith (1996) the model is monotone. The fact that is invariant with respect to stream of model (1).
2.1.2. Qualitative Analysis
Stability analysis is an essential key to validate the models in the field of science and technology. The remarkable contributions by Tunc (2002); Tunç (2004, 2008, 2013) and other researchers in the cross references can not be denied, since their contribution help the researchers to deal with the highly nonlinear models.
Here we present the stability analysis of given mathematical model (1). The model (1) is locally asymptotically stable at uninfected and infected equilibrium points. For uninfected equilibrium, the model is locally stable, if the value of reproduction number ℝ0 < 1, whereas for infected equilibrium the model is stable if the value of the basic reproduction number ℝ0 > 1. Furthermore, we will investigate the model (1) is locally stable at uninfected and infected. The uninfected equilibrium point E0 = (U0, 0, 0, 0, 0) and infected equilibrium point E* = (U*, W*, V*, A*, C*) of model (1) are constructed by following theorems.
Theorem 2.2. The uninfected equilibrium point E0 of the model (1) is given by
Proof: By putting the equations of model (1) equal to zero, the dynamics is determined as follows:
and after further algebraic manipulation, we got
which completes the proof.
Theorem 2.3. The model (1) admits a unique infected equilibrium E* = (U*, W*, V*, A*, C*) if and only if ℝ0 > 1.
Proof: The infected equilibrium point is given as:
2.1.3. Reproduction Number ℝ0 and Stability Analysis
The basic reproduction number ℝ0 is formulated by evaluating infection matrix F and transmission matrix V constructed from Jacobian matrix J of model (1). The reproduction number ℝ0 is the spectral radius of matrix FV−1. The Jacobian matrix for J0 for uninfected equilibrium point is
The infection matrix F and rest of transmission matrix V are give as follow:
The matrix K = FV−1 is constructed as follows:
The spectral radius of matrix K = FV−1 give reproductive number of model (1) is
The stability analysis of system (1) is presented in following Theorem 2.4.
Theorem 2.4. Uninfected equilibrium point E0, will be locally asymptotically stable if ℝ0 < 1 and otherwise it will be unstable.
Proof: The Jacobian matrix J(E0) of model (1) for uninfected equilibrium point is formulated as follows:
The eigenvalues of Jacobian matrix J(E0) is evaluated by characteristic equation that is det(J(E0) − Iλi) = 0, for i = 1 : 5. The eigenvalues are given as follows:
λ1 = −b, λ2 = −d, λ3 = −h, and .
Thus, all eigenvalues λi are strictly negative for i = 1 : 5. Hence, model (1) is locally asymptotically stable.
Lemma 2.5. If R0 > 1, the infected equilibrium point of system is locally asymptotically stable, otherwise it is unstable.
Proof: The results can by obtained by the same procedure of (2.4).
2.1.4. Sensitivity Analysis
The sensitivity of basis reproductive
is analyze with respect to each parameters is follows:
It is clear that reproductive number is directly proportional to the replication rate of the virus, rate of infected cells produced in free virus and rate of generation of susceptible host cells. Decrease with the death rate of infected cells, decays rate in free virus and the death rate of suspected host cells.
The basic reproductive number is in case of infection. In the absence of an immune responses the model (1) converges to the following equilibrium points E(0) = (U(0), W(0), V(0), A(0), C(0)) which is defined as
We assumed that the immune responses is present. this desires following conditions: cW(0) > b and gV(0) > h. In this case following can be observed.
1. The anti body response can't established and the CTL response develops. Because the CTL response is strong and decrease virus load to levels which are vary low to stimulate antibody response. It has following equilibrium points,
E(1) = (U(1), W(1), V(1), A(1), C(1)) where,
This is obtained if and .
2. The sustained CTL response zero and antibody response develop, because the antibody response is strong relative to CTL response and decrease virus load to levels which are vary low to stimulate CTL. It has following equilibrium points.
which is defined as follows:
This is obtained if and .
3. CTL and anti body response develops. This equilibrium points are as follows:
This is obtained if and .
2.2. Modified Modeling Approach
where the description of compartments U(t), W(t), V(t), A(t), and C(t) are presented in Table 2.
2.2.1. Positivity of Solution
For the model (23) transmission to be epidemiologically feasible, it is necessary to show that for all time every state variable is non-negative. Thus, the solutions of the model with non-negative initial value for all time t > 0 will remain non-negative.
Theorem 2.6. Suppose that the model(23) consists of all feasible solutions with non-negative initial result then it remains non-negative for all time t.
Proof: Let the model (23) satisfy that the initial non-negative solution, i.e.,
U(0) ≥ 0, W(0) ≥ 0, V(0) ≥ 0, A(0) ≥ 0, and C(0) ≥ 0.
It can be deduced from model (23) that is,
As the solution of variable U can be computed by following result,
where and . This gives non-negativity of U(0) ≥ 0 for all t ≥ 0. The non-negativity of rest variables in the model (23) is given as follows,
In term of matrix the above can be expressed as,
where F(t) and H(t) are as follows:
and we have matrix M
The matrix M is a Matzler matrix so by the result presented in Smith (1996) the model is monotone. the fact that is invariant with respect to stream of model (23).
2.2.2. Qualitative Analysis
Here we present the stability analysis of (23). The model (23) is locally asymptotically stable at uninfected and infected equilibrium points. We investigate the model (23) is locally stable at uninfected and infected. The uninfected equilibrium point E0 = (U0, 0, 0, 0, 0) and infected equilibrium point E* = (U*, W*, V*, A*, C*) of model (23) are constructed by following theorems.
Theorem 2.7. The uninfected equilibrium point E0 of the model (23) is given by
Proof: By putting the equations in (23) equal to zero, the dynamics is determined as follows,
By solving these equations, we got
This completes the proof.
Theorem 2.8. The model (23) admits a unique infected equilibrium E* = (U*, W*, V*, A*, C*) if and only if ℝ0 > 1.
Proof: Calculating the infected equilibrium point, we obtain
2.2.3. Reproduction Number ℝ0 and Stability Analysis
The basic reproduction number ℝ0 is formulated by evaluating infection matrix F and transmission matrix V constructed from Jacobian matrix J of system (23). The reproduction number ℝ0 is the spectral radius of matrix FV−1. The Jacobian matrix for J0 for uninfected equilibrium point is,
The infection and transmission matrices, F & V are give as follow:
The matrix K = FV−1 is constructed as follows:
The spectral radius of matrix K = FV−1 finally provides the reproductive number for given model (23):
The stability analysis of system (23) is presented by follows theorem.
Theorem 2.9. For uninfected equilibrium point E0 if the real part of eigenvalues of Jacobian matrix J of the system (23) are strictly negative, then the system (23) is locally stable otherwise it is unstable.
Proof: The Jacobian matrix of model (23) for uninfected equilibrium point J(E0) is formulated as follows:
The eigenvalues of Jacobian matrix J(E0) is evaluated by characteristic equation det(J(E0) − Iλi) = 0, for i = 1 : 5. The eigenvalues are given as follows:
λ1 = 0, λ2 = −b, λ3 = −h,
Since the all eigenvalues λi, satisfy the criteria (where as i = 1 : 5). Hence, the model (23) is locally stable.
2.2.4. Sensitivity Analysis
The sensitivity of basis reproductive
is analyze with respect to each parameters is as follows:
Therefore, the reproductive number ℝ0 is directly proportional to a, μ, and ρ and inversely proportional to κ, d, ϕ and η.
The basic reproductive number is in case of infection.
In the absence of an immune responses the model (23) converges to the following equilibrium points: E(0) = (U(0), W(0), V(0), A(0), C(0)) which is defined as . We assumed that the immune responses is present. This desires following conditions: cW(0) > b and gV(0) > h.
In this case, the following can be observed:
1. The anti body response can not be established and the CTL response develops.
Because of strong CTL response and low virus load to levels, it has the following equilibrium points:
This equilibrium points is obtain if it follows the following condition:
2. For null sustained CTL response, the antibody response develops. Because of strong antibody response to relative CTL response and low virus load to levels which is too small for stimulate CTL. It has the following equilibrium points:
which is defined as follows:
The equilibrium point satisfies the following criteria: and .
3. CTL and anti body response develops. The equilibrium point is given as:
under the criteria: and .
2.3. Delayed Model
Different biological models with delayed transmission are available in the literature (Maiti et al., 2008; Lv and Yuan, 2009; Kuniya and Nakata, 2012). The schematic 2 presents the transmission of the virus from one compartment to the other. The delay takes place after the interaction of virus with the target cells at τ1, it is further assumed that at delay τ2, the infected cells and the CTLs interact and the antibodies and the virus interact.
2.3.1. Local Stability for Delay Differential Equations
In ODE's, the local stability of consistent condition relies upon the area of underlying foundations of characteristic function, that are polynomial in shape. The unfaltering condition is steady if the majority of the roots having −ve real part. The outstanding Routh-Hurwitz criteria provide exact situation for arbitrary polynomials. For DDE's, nearby stability is likewise controlled by the area of trademark work, yet for this situation, this capacity appears as an alleged quasi polynomial, that is supernatural. Hence, there are vastly numerous roots. Moreover, the Routh-Hurwitz criteria are not pertinent. Numerous methodologies decide the stability of steady states delay equations.
2.3.2. Domain Subdivision
D-subdivision or Domain subdivision, utilizes basic details about the actions of the roots of characteristic functions, as a parameter modifies to split parameter space into parts where the no. of roots with +ve real parts is constant. The roots' position depends consistently on the models' parameter and when the parameters are altered, another root rises if imaginary root exists for a set of parameters.
Now we subdivide the parametric domain by hypersurfaces comprising of parameter routines for which at least one simply imaginary roots exist. When the districts are limited by these hypersurfaces, the quantity of roots with +ve real part is constant. Obviously, the locales where the number is zero and their supplements are more interesting. This technique is especially simple to picture when the framework in question relies upon two parameters, so the area is ℝ2, and, the hypersurfaces are curve.
3. Results and Discussion
During this research, we have used the MatlabTM delay differential equations bifurcation analysis tools. For the validity of the computational model, extensive numerical experiments were conducted using simulink toolbox.
3.1. Analysis of SARS-CoV2 and Antibodies Interaction
With the aid of mathematical model we have concluded the following:
1. The analysis of lytic vs. non lytic immune response plays an important role in infection control.
2. The Hill function is important in kinetic modeling and the Hill coefficient is important parameter to forecast a complete cycle of infection.
3. The analytic approach and numerical Matcont bifurcation analysis proved to be efficient in parametric approximation for such complex dynamics.
Figure 1 presents the schematic to understand the interaction of key players. Figure 2 provides the phase space portraits to explore the interaction between the CTL's, the anti bodies and the virus, for three different values of q. We can see that for increasing values of q, there is reduction in the concentration of CTL, as well as the length of the cycle increases over time (top panel). On the other hand, when delay was considered, the dynamics were different. Figure 3 provides analysis relative to the replication rate of virus. Figure 4 presents the dynamics relative to the parameter g. We can see a twist in the phase space portraits when the delay was taken into account. In the supplementary figures, (Figures S1 and S2, we can see the dynamics more clearly relative to change in parametric values). We can see that the dynamics are more visible to witness the rapid action of SARS-2. Thus, a model without delay, and with η = 0 will not be able to demonstrate the dynamics well. We thus conclude that the disease transmission and the immune response depends on time delay as well as nonlinear Hill formalism.
Figure 2. For three different values of antibody-SARS-2 interaction rates (q). (Top) without, (Bottom) with delay τ1 = 0.5, τ2 = 0.08.
Figure 3. For three different values of the replication rate of virus. (Top) without, (Bottom) with delay τ1 = 0.5, τ2 = 0.08.
Figure 4. For three different values of g. (Top) without, (Bottom) (with) delay τ1 = 0.5, τ2 = 0.08.
4. Conclusions and Future Work
The manuscript presents a state of the art model, with delay, from one compartment to the next due to transition. In nature, there is always a delay in the onset of infections. The proposed mathematical model quantifies and analyzes this imbalance and describes the temporal trend of the phenomenon, leaving its application open to possible direct therapies in that sense.
• Mathematical analysis of the non-lytic and lytic action of the immune reaction to SARS-CoV2.
• Construction of a model that describes the balance between antibody reaction and cellular reaction mediated by CTL cells.
• Analysis of the imbalance between non-lytic and lytic action of the immune response.
• Description and quantification of the model related to the infection and functionality of CTL cells over time.
• Evidence of delay in disease transmission.
Data Availability Statement
The original contributions generated for the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author/s.
ZY and AS did the modeling. AN and RA did the literature review and simulations. All of the authors equally contributed to the manuscript and participated in results and discussion.
Conflict of Interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
The Supplementary Material for this article can be found online at: https://www.frontiersin.org/articles/10.3389/fmolb.2020.585245/full#supplementary-material
di Mauro Gabriella, S. C., Concetta, R., Francesco, R., and Annalisa, C. (2020). Sars-cov-2 infection: response of human immune system and possible implications for the rapid test and treatment. Int. Immunopharmacol. 84:106519. doi: 10.1016/j.intimp.2020.106519
Kumar, S., Maurya, V. K., Prasad, A. K., Bhatt, M. L., and Saxena, S. K. (2020). Structural, glycosylation and antigenic variation between 2019 novel coronavirus (2019-nCov) and SARS coronavirus (SARS-CoV). VirusDisease 31, 13–21. doi: 10.1007/s13337-020-00571-5
Long, Q.-X., Liu, B.-Z., Deng, H.-J., Wu, G.-C., Deng, K., Chen, Y.-K., et al. (2020). Antibody responses to SARS-CoV-2 in patients with COVID-19. Nat. Med. 26, 845–848. doi: 10.1038/s41591-020-0897-1
Lv, C., and Yuan, Z. (2009). Stability analysis of delay differential equation models of hiv-1 therapy for fighting a virus with another virus. J. Math. Anal. Appl. 352, 672–683. doi: 10.1016/j.jmaa.2008.11.026
Sohail, A., and Nutini, A. (2020). Forecasting the timeframe of coronavirus and human cells interaction with reverse engineering. Prog. Biophys. Mol. Biol. 155, 29–35. doi: 10.1016/j.pbiomolbio.2020.04.002
Wodarz, D. (2005). Mathematical models of immune effector responses to viral infections: virus control versus the development of pathology. J. Comput. Appl. Math. 184, 301–319. doi: 10.1016/j.cam.2004.08.016
Zheng, M., and Song, L. (2020). Novel antibody epitopes dominate the antigenicity of spike glycoprotein in SARS-CoV-2 compared to SARS-CoV. Cell. Mol. Immunol. 17, 536–538. doi: 10.1038/s41423-020-0385-z
Keywords: SARS-CoV2, dynamical analysis, kinetic modeling, numerical simulations, monoclonal antibody, theoretical analysis
Citation: Yu Z, Sohail A, Nutini A and Arif R (2021) Delayed Modeling Approach to Forecast the Periodic Behavior of SARS-2. Front. Mol. Biosci. 7:585245. doi: 10.3389/fmolb.2020.585245
Received: 20 July 2020; Accepted: 09 November 2020;
Published: 01 April 2021.
Edited by:Nadine Kabbani, George Mason University, United States
Reviewed by:Hayat Khan, Sir Ganga Ram Hospital, Pakistan
Cemil Tunç, Yüzüncü Yıl University, Turkey
Mohsen Motamedi, University of Shahreza, Iran
Copyright © 2021 Yu, Sohail, Nutini and Arif. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.