ArticlePublisher preview available

Numerical Analysis of Stationary Solutions of Systems with Delayed Argument in Mathematical Immunology

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

This work is devoted to the technology developed by the authors that allows one for fixed values of parameters and tracing by parameters to calculate stationary solutions of systems with delay and analyze their stability. We discuss the results of applying this technology to the Marchuk–Petrov antiviral immune response model with parameter values corresponding to hepatitis B infection. The presence of bistability and hysteresis properties in this model is shown for the first time.
Journal of Mathematical Sciences, Vol. 283, No. 1, July, 2024
NUMERICAL ANALYSIS OF STATIONARY SOLUTIONS OF SYSTEMS
WITH DELAYED ARGUMENT IN MATHEMATICAL IMMUNOLOGY
M. Yu. Khristichenko, Yu. M. Nechepurenko, D. S. Grebennikov,
andG.A.Bocharov UDC 517.929, 517.958
Abstract. This work is devoted to the technology developed by the authors that allows one for fixed
values of parameters and tracing by parameters to calculate stationary solutions of systems with delay
and analyze their stability. We discuss the results of applying this technology to the Marchuk–Petrov
antiviral immune response model with parameter values corresponding to hepatitis B infection. The
presence of bistability and hysteresis properties in this model is shown for the first time.
Keywords: Marchuk–Petrov antiviral immune response model, delayed argument, stationary solu-
tions, tracing by parameters, numerical experiment, hepatitis B infection, bistability, hysteresis.
1. Introduction
Mathematical modeling is the most important analytical tool of modern mathematical immunol-
ogy [6, 12]. In recent years intensive research in the eld of contagion of SARS-CoV-2 viruses demon-
strates the capabilities of mathematical models and emerging challenges in the development of numer-
ical analysis and technologies for such a research [9]. The fundamental problem of modern immunol-
ogy is the investigation of the mechanisms of development of unfavorable forms of viral infections,
in particular, chronic viral hepatitis B virus. It is a well known fact that chronic viral hepatitis is a
multifactorial disease [7]. Previously, by analyzing the sensitivity of the solutions of the mathematical
model of the antiviral immune response, we established that a change in the parameters of activation
of the antigen-presenting function of macrophages can serve as one of the factors in the transition from
an acute form of infection with recovery to chronic persistence of viruses [3]. However, a systematic
study of the characteristics of chronic viral hepatitis B remains a relatively uninvestigated problem.
In particular, detecting regions in the parameter space of mathematical models that correspond to
bistable or multistable modes of interaction between the infection and the body’s immune system,
and investigating the possibilities of transitions between them are open problems.The key element of
the analysis of such properties is the existence of efficient methods for calculating and numerically
analyzing of the stability of stationary solutions of nonlinear systems of differential equations with a
delay argument used to model viral infections.
Bistability, as the ability of the “virus human body” system to coexist in two stable equilibrium
states, is a very important property, since it allows to solve the problem of functional treatment of
viral infection by moving from a chronic state with a higher viral load to a more favorable state
with a low viral load due to the activation of components of the immune system. The verification of
such a concept from biological perspective was established in paper [2]. Note that the transfer of the
infectious process to a state with a lower viral load is a nontrivial problem, whose solution requires the
activation of both humoral link and T-cell link of immunity. At the same time, the multiplier effect of
the antibodies and cytotoxic T-lymphocytes contribution to the reduction of the level of the infectious
process allows for reduction of the thresholds for the size of these populations required to control the
infection at a lower level. It is possible to investigate the fundamental conditions of bistability (or)
multistability of the infectious process and the cooperation of immunity links in ensuring the control
Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics.
Fundamental Directions), Vol. 68, No. 4,Differential and Functional Differential Equations, 2022.
1072–3374/24/2831–0125 ©2024 Springer Nature Switzerland AG 125
DOI 10.1007/s10958-024-07243-5
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
Article
In this work, we search for the conditions for the occurrence of long COVID using the recently developed COVID-19 disease dynamics model which is a system of delay differential equations. To do so, we search for stable stationary or periodic solutions of this model with low viral load that can be interpreted as long COVID using our recently developed technology for analysing time-delay systems. The results of the bifurcation and sensitivity analysis of the mathematical model of SARS-CoV-2 infection suggest the following biological conclusions concerning the mechanisms of pathogenesis of long COVID-19. First, the possibility of SARS-CoV-2 persistence requires a 3-time reduction of the virus production rate per infected cell, or 18-times increase of the antibody-mediated elimination rate of free viruses as compared to an acute infection baseline estimates. Second, the loss of kinetic coordination between virus-induced type I IFN, antibody, and cytotoxic T lymphocyte (CTL) responses can result in the development of mild severity long-lasting infection. Third, the low-level persistent SARS-CoV-2 infection is robust to up to 100-fold perturbations (increase) in viral load and most sensitive to parameters of the humoral immune response.
Article
Full-text available
A calibrated mathematical model of antiviral immune response to SARS-CoV-2 infection is developed. The model considers the innate and antigen-specific responses to SARS-CoV-2 infection. Recently published data sets from human challenge studies with SARS-CoV-2 were used for parameter evaluation. The calibration of the mathematical model of SARS-CoV-2 infection is based on combining the parameter guesses from our earlier study of influenza A virus infection, some recent quantitative models of SARS-CoV-2 infection and clinical data-based parameter estimation of a subset of the model parameters. Hence, the calibrated mathematical model represents a theoretical exploration type of study, i.e., ‘in silico patient’ with mild-to-moderate severity phenotype, rather than a completely validated quantitative model of COVID-19 with respect to all its state-space variables. Understanding the regulation of multiple intertwined reaction components of the immune system is necessary for linking the kinetics of immune responses with the clinical phenotypes of COVID-19. Consideration of multiple immune reaction components in a single calibrated mathematical model allowed us to address some fundamental issues related to the pathogenesis of COVID-19, i.e., the sensitivity of the peak viral load to the parameters characterizing the antiviral specific response components, the kinetic coordination of the individual innate and adaptive immune responses, and the factors favoring a prolonged viral persistence. The model provides a tool for predicting the infectivity of patients, i.e., the amount of virus which is transmitted via droplets from the person infected with SARS-CoV-2, depending on the time of infection. The thresholds for variations of the innate and adaptive response parameters which lead to a prolonged persistence of SARS-CoV-2 due to the loss of a kinetic response synchrony/coordination between them were identified.
Article
Full-text available
The clinical handling of chronic virus infections remains a challenge. Here we describe recent progress in the understanding of virus - host interaction dynamics. Based on the systems biology concept of multi-stability and the prediction of multiplicative cooperativity between virus-specific cytotoxic T cells and neutralising antibodies, we argue for the requirements to engage multiple immune system components for functional cure strategies. Our arguments are derived from LCMV model system studies and are translated to HIV-1 infection.
Article
Full-text available
Although multistability is an important dynamic property of a wide range of complex systems, it is still a challenge to develop mathematical models for realising high order multistability using realistic regulatory mechanisms. To address this issue, we propose a robust method to develop multistable mathematical models by embedding bistable models together. Using the GATA1-GATA2-PU.1 module in hematopoiesis as the test system, we first develop a tristable model based on two bistable models without any high cooperative coefficients, and then modify the tristable model based on experimentally determined mechanisms. The modified model successfully realises four stable steady states and accurately reflects a recent experimental observation showing four transcriptional states. In addition, we develop a stochastic model, and stochastic simulations successfully realise the experimental observations in single cells. These results suggest that the proposed method is a general approach to develop mathematical models for realising multistability and heterogeneity in complex systems.
Article
Full-text available
Systems of time-delay differential equations are widely used to study the dynamics of infectious diseases and immune responses. The Marchuk-Petrov model is one of them. Stable non-trivial steady states and stable periodic solutions to this model can be interpreted as chronic viral diseases. In this work we briefly describe our technology developed for computing steady and periodic solutions of time-delay systems and present and discuss the results of computing periodic solutions for the Marchuk-Petrov model with parameter values corresponding to the hepatitis B infection.
Article
Full-text available
In this paper, we apply optimal perturbations to control mathematical models of infectious diseases expressed as systems of nonlinear differential equations with delayed independent variables. We develop the method for calculation of perturbations of the initial state of a dynamical system with delayed independent variable producing maximal amplification in the given local norm taking into account weights of perturbation components. For the model of experimental virus infection, we construct optimal perturbation for two types of stationary states, with low or high viral load, corresponding to different variants of chronic virus infection flow.
Article
A fundamental unsolved issue in vaccine design is how neutralizing antibodies and cytotoxic CD8+ T cells cooperate numerically in controlling virus infections. We hypothesize on a viewpoint for the multiplicative cooperativity between neutralizing antibodies and CD8+ T cells and propose how this might be exploited for improving vaccine-induced protective immunity.
Article
The problem of guaranteed computation of all steady states of the Marchuk–Petrov model with fixed values of parameters and analysis of their stability are considered. It is shown that the system of ten nonlinear equations, nonnegative solutions of which are steady states, can be reduced to a system of two equations. The region of possible nonnegative solutions is analytically localized. An effective technology for computing all nonnegative solutions and analyzing their stability is proposed. The obtained results provide a computational basis for the study of chronic forms of viral infections using the Marchuk–Petrov model.
Article
Chronic hepatitis B virus (HBV) infection is a common cause of liver disease globally, with a disproportionately high burden in South-East Asia. Vaccines and nucleoside or nucleotide drugs are available and reduce both new infection rates and the development of liver disease in HBV-positive persons who adhere to long-term suppressive treatment. Although there is still considerable value in optimizing access to virus-suppressing regimens, the scientific and medical communities have embarked on a concerted journey to identify new antiviral drugs and immune interventions aimed at curing infection. The mechanisms and drug targets being explored are diverse; however, the field universally recognizes the importance of addressing the persistence of episomal covalently closed circular DNA, the existence of integrated HBV DNA in the host genome and the large antigen load, particularly of hepatitis B surface antigen. Another major challenge is to reinvigorate the exhausted immune response within the liver microenvironment. Ultimately, combinations of new drugs will be required to cure infection. Here we critically review the recent literature that describes the rationale for curative therapies and the resulting compounds that are being tested in clinical trials for hepatitis B. Drug development for treatment of hepatitis B virus infection has trailed behind that for infection with the related hepatitis C virus, but encouraging progress has been made in recent years. Fanning and colleagues review advances in hepatitis B therapies and challenges for their development, including antiviral and immune-boosting strategies that could be part of combination strategies to achieve functional cure.
Article
For bistable time-delay dynamical systems modeling the dynamics of viral infections and the virusinduced immune response, an efficient approach is proposed for constructing optimal disturbances of steady states with a high viral load that transfer the system to a state with a low viral load. Functions approximating the behavior of drugs within the framework of well-known pharmacokinetic models are used as basis functions. Optimal disturbances are sought in the W 12 norm. It is shown that optimal disturbances found in this norm are superior to those found in the L2 norm as applied to the development of adequate therapeutic strategies.