-
Dynamics of a mathematical model of virus spreading incorporating the effect of a vaccine
Authors:
Aytül Gökçe,
Burcu Gürbüz,
Alan D. Rendall
Abstract:
The COVID-19 pandemic led to widespread interest in epidemiological models. In this context the role of vaccination in influencing the spreading of the disease is of particular interest. There has also been a lot of debate on the role of non-pharmaceutical interventions such as the disinfection of surfaces. We investigate a mathematical model for the spread of a disease which includes both imperfe…
▽ More
The COVID-19 pandemic led to widespread interest in epidemiological models. In this context the role of vaccination in influencing the spreading of the disease is of particular interest. There has also been a lot of debate on the role of non-pharmaceutical interventions such as the disinfection of surfaces. We investigate a mathematical model for the spread of a disease which includes both imperfect vaccination and infection due to virus in the environment. The latter is studied with the help of two phenomenological models for the force of infection. In one of these models we find that backward bifurcations take place so that for some parameter values an endemic steady state exists although the basic reproduction ratio $R_0$ is less than one. We also prove that in that case there can exist more than one endemic steady state. In the other model all generic transcritical bifurcations are forward bifurcations so that these effects cannot occur. Thus we see that the occurrence of backward bifurcations, which can be important for disease control strategies, is dependent on the details of the function describing the force of infection. By means of simulations the predictions of this model are compared with data for COVID-19 from Turkey. A sensitivity analysis is also carried out.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Phenomenology of an in-host model of hepatitis C
Authors:
Alexis Nangue,
Alan D. Rendall
Abstract:
This paper carries out an analysis of the global properties of solutions of an in-host model of hepatitis C for general values of its parameters. A previously unknown stable steady state on the boundary of the positive orthant is exhibited. It is proved that the model exhibits Hopf bifurcations and hence periodic solutions. A general parametrization of positive steady states is given and it is det…
▽ More
This paper carries out an analysis of the global properties of solutions of an in-host model of hepatitis C for general values of its parameters. A previously unknown stable steady state on the boundary of the positive orthant is exhibited. It is proved that the model exhibits Hopf bifurcations and hence periodic solutions. A general parametrization of positive steady states is given and it is determined when the number of steady states is odd or even, according to the value of a certain basic reproductive ratio. This implies, in particular, that when this reproductive ratio is greater than one there always exists at least one positive steady state. A positive steady state which bifurcates from an infection-free state when the reproductive ratio passes through one is always stable, i.e. no backward bifurcation occurs in this model.
△ Less
Submitted 10 June, 2022;
originally announced June 2022.
-
Analysis of a model of the Calvin cycle with diffusion of ATP
Authors:
Burcu Gürbüz,
Alan D. Rendall
Abstract:
The dynamics of a mathematical model of the Calvin cycle, which is part of photosynthesis, is analysed. Since diffusion of ATP is included in the model a system of reaction-diffusion equations is obtained. It is proved that for a suitable choice of parameters there exist spatially inhomogeneous positive steady states, in fact infinitely many of them. It is also shown that all positive steady state…
▽ More
The dynamics of a mathematical model of the Calvin cycle, which is part of photosynthesis, is analysed. Since diffusion of ATP is included in the model a system of reaction-diffusion equations is obtained. It is proved that for a suitable choice of parameters there exist spatially inhomogeneous positive steady states, in fact infinitely many of them. It is also shown that all positive steady states, homogeneous and inhomogeneous, are nonlinearly unstable. The only smooth steady state which could be stable is a trivial one, where all concentrations except that of ATP are zero. It is found that in the spatially homogeneous case there are steady states with the property that the linearization about that state has eigenvalues which are not real, indicating the presence of oscillations. Numerical simulations exhibit solutions for which the concentrations are not monotone functions of time.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Autophosphorylation and the dynamics of the activation of Lck
Authors:
Lisa Maria Kreusser,
Alan D. Rendall
Abstract:
Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one ph…
▽ More
Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one phenomenon, bistability, already occurs in a mathematical model for a protein with a single phosphorylation site. We further show that a certain model of Lck exhibits oscillations. Finally we discuss the relations of these results to models in the literature which involve Lck and describe specific biological processes, such as the early stages of T cell activation and the stimulation of T cell responses resulting from the suppression of PD-1 signalling which is important in immune checkpoint therapy for cancer.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Analysis of an initial value problem for an extracellular and intracellular model of hepatitis C virus infection
Authors:
Alexis Nangue,
Alan D. Rendall,
Brice Kammegne Tcheugam,
Patrick Steve Kamdem Simo
Abstract:
In this paper, a mathematical analysis of the global dynamics of a viral infection model in vivo is carried out. We study the dynamics of a hepatitis C virus (HCV) model, under therapy, that considers both extracellular and intracellular levels of infection. At present most mathematical modeling of viral kinetics after treatment only addresses the process of infection of a cell by the virus and th…
▽ More
In this paper, a mathematical analysis of the global dynamics of a viral infection model in vivo is carried out. We study the dynamics of a hepatitis C virus (HCV) model, under therapy, that considers both extracellular and intracellular levels of infection. At present most mathematical modeling of viral kinetics after treatment only addresses the process of infection of a cell by the virus and the release of virions by the cell, while the processes taking place inside the cell are not included. We prove that the solutions of the new model with positive initial values are positive, exist globally in time and are bounded. The model has two virus-free steady states. They are distinguished by the fact that viral RNA is absent inside the cells in the first state and present inside the cells in the second. There are basic reproduction numbers associated to each of these steady states. If the basic reproduction number of the first steady state is less than one then that state is asymptotically stable. If the basic reproduction number of the first steady state is greater than one and that of the second less than one then the second steady state is asymptotically stable. If both basic reproduction numbers are greater than one then we obtain various conclusions which depend on different restrictions on the parameters of the model. Under increasingly strong assumptions we prove that there is at least one positive steady state (infected equilibrium), that there is a unique positive steady state and that the positive steady state is stable. We also give a condition under which every positive solution converges to a positive steady state. This is proved by methods of Li and Muldowney. Finally, we illustrate the theoretical results by numerical simulations.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Unbounded solutions of models for glycolysis
Authors:
Alan D. Rendall,
Pia Brechmann
Abstract:
The Selkov oscillator, a simple description of glycolysis, is a system of two ordinary differential equations with mass action kinetics. In previous work the authors established several properties of the solutions of this system. In the present paper we extend this to prove that this system has solutions which diverge to infinity in an oscillatory manner at late times. This system was originally d…
▽ More
The Selkov oscillator, a simple description of glycolysis, is a system of two ordinary differential equations with mass action kinetics. In previous work the authors established several properties of the solutions of this system. In the present paper we extend this to prove that this system has solutions which diverge to infinity in an oscillatory manner at late times. This system was originally derived from another system with Michaelis-Menten kinetics. It is shown that the Michaelis-Menten system, like that with mass action, has solutions which diverge to infinity in a monotone manner. It is also shown to admit subcritical Hopf bifurcations and thus unstable periodic solutions. We discuss to what extent the unbounded solutions cast doubt on the biological relevance of the Selkov oscillator and compare it with other models in the literature.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
A proof of unlimited multistability for phosphorylation cycles
Authors:
Elisenda Feliu,
Alan D. Rendall,
Carsten Wiuf
Abstract:
The multiple futile cycle is a phosphorylation system in which a molecular substrate might be phosphorylated sequentially n times by means of an enzymatic mechanism. The system has been studied mathematically using reaction network theory and ordinary differential equations. It is known that the system might have at least as many as 2[n/2]+1 steady states (where [x] is the integer part of x) for p…
▽ More
The multiple futile cycle is a phosphorylation system in which a molecular substrate might be phosphorylated sequentially n times by means of an enzymatic mechanism. The system has been studied mathematically using reaction network theory and ordinary differential equations. It is known that the system might have at least as many as 2[n/2]+1 steady states (where [x] is the integer part of x) for particular choices of parameters. Furthermore, for the simple and dual futile cycles (n=1,2) the stability of the steady states has been determined in the sense that the only steady state of the simple futile cycle is globally stable, while there exist parameter values for which the dual futile cycle admits two asymptotically stable and one unstable steady state. For general n, evidence that the possible number of asymptotically stable steady states increases with $n$ has been given, which has led to the conjecture that parameter values can be chosen such that [n/2]+1 out of 2[n/2]+1 steady states are asymptotically stable and the remaining steady states are unstable.
We prove this conjecture here by first reducing the system to a smaller one, for which we find a choice of parameter values that give rise to a unique steady state with multiplicity 2[n/2]+1. Using arguments from geometric singular perturbation theory, and a detailed analysis of the centre manifold of this steady state, we achieve the desired result.
△ Less
Submitted 5 April, 2019;
originally announced April 2019.
-
The minimal model of Hahn for the Calvin cycle
Authors:
Hussein Obeid,
Alan D. Rendall
Abstract:
There are many models of the Calvin cycle of photosynthesis in the literature. When investigating the dynamics of these models one strategy is to look at the simplest possible models in order to get the most detailed insights. We investigate a minimal model of the Calvin cycle introduced by Hahn while he was pursuing this strategy. In a variant of the model not including photorespiration it is sho…
▽ More
There are many models of the Calvin cycle of photosynthesis in the literature. When investigating the dynamics of these models one strategy is to look at the simplest possible models in order to get the most detailed insights. We investigate a minimal model of the Calvin cycle introduced by Hahn while he was pursuing this strategy. In a variant of the model not including photorespiration it is shown that there exists exactly one positive steady state and that this steady state is unstable. For generic initial data either all concentrations tend to infinity at lates times or all concentrations tend to zero at late times. In a variant including photorespiration it is shown that for suitable values of the parameters of the model there exist two positive steady states, one stable and one unstable. For generic initial data either the solution tends to the stable steady state at late times or all concentrations tend to zero at late times. Thus we obtain rigorous proofs of mathematical statements which together confirm the intuitive idea proposed by Hahn that photorespiration can stabilize the operation of the Calvin cycle. In the case that the concentrations tend to infinity we derive formulae for the leading order asymptotics using the Poincaré compactification.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Dynamics of the Selkov oscillator
Authors:
Pia Brechmann,
Alan D. Rendall
Abstract:
A classical example of a mathematical model for oscillations in a biological system is the Selkov oscillator, which is a simple description of glycolysis. It is a system of two ordinary differential equations which, when expressed in dimensionless variables, depends on two parameters. Surprisingly it appears that no complete rigorous analysis of the dynamics of this model has ever been given. In t…
▽ More
A classical example of a mathematical model for oscillations in a biological system is the Selkov oscillator, which is a simple description of glycolysis. It is a system of two ordinary differential equations which, when expressed in dimensionless variables, depends on two parameters. Surprisingly it appears that no complete rigorous analysis of the dynamics of this model has ever been given. In this paper several properties of the dynamics of solutions of the model are established. With a view to studying unbounded solutions a thorough analysis of the Poincaré compactification of the system is given. It is proved that for any values of the parameters there are solutions which tend to infinity at late times and are eventually monotone. It is shown that when the unique steady state is stable any bounded solution converges to the steady state at late times. When the steady state is unstable it is shown that for given values of the parameters either there is a unique periodic solution to which all bounded solutions other than the steady state converge at late times or there is no periodic solution and all solutions other than the steady state are unbounded. In the latter case each unbounded solution which tends to infinity is eventually monotone and each unbounded solution which does not tend to infinity has the property that each variable takes on arbitrarily large and small values at arbitrarily late times.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Multiple steady states and the form of response functions to antigen in a model for the initiation of T cell activation
Authors:
Alan D. Rendall,
Eduardo D. Sontag
Abstract:
The aim of this paper is to study the qualitative behaviour predicted by a mathematical model for the initial stage of T cell activation. The state variables in the model are the concentrations of phosphorylation states of the T cell receptor complex and the phosphatase SHP-1 in the cell. It is shown that these quantities cannot approach zero and that the model possesses more than one positive ste…
▽ More
The aim of this paper is to study the qualitative behaviour predicted by a mathematical model for the initial stage of T cell activation. The state variables in the model are the concentrations of phosphorylation states of the T cell receptor complex and the phosphatase SHP-1 in the cell. It is shown that these quantities cannot approach zero and that the model possesses more than one positive steady state for certain values of the parameters. It can also exhibit damped oscillations. It is proved that the chemical concentration which represents the degree of activation of the cell, that of the maximally phosphorylated form of the T cell receptor complex, is in general a non-monotone function of the activating signal. In particular there are cases where there is a value of the dissociation constant of the ligand from the receptor which produces an optimal activation of the T cell. In this way the results of certain simulations in the literature have been confirmed rigorously and some important features which had not previously been seen have been discovered.
△ Less
Submitted 29 April, 2017;
originally announced May 2017.
-
A Calvin bestiary
Authors:
Alan D. Rendall
Abstract:
This paper compares a number of mathematical models for the Calvin cycle of photosynthesis and presents theorems on the existence and stability of steady states of these models. Results on five-variable models in the literature are surveyed. Next a number of larger models related to one introduced by Pettersson and Ryde-Pettersson are discussed. The mathematical nature of this model is clarified,…
▽ More
This paper compares a number of mathematical models for the Calvin cycle of photosynthesis and presents theorems on the existence and stability of steady states of these models. Results on five-variable models in the literature are surveyed. Next a number of larger models related to one introduced by Pettersson and Ryde-Pettersson are discussed. The mathematical nature of this model is clarified, showing that it is naturally defined as a system of differential-algebraic equations. It is proved that there are choices of parameters for which this model admits more than one positive steady state. This is done by analysing the limit where the storage of sugars from the cycle as starch is shut down. There is also a discussion of the minimal models for the cycle due to Hahn.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Stability of stationary solutions in models of the Calvin cycle
Authors:
Stefan Disselnkoetter,
Alan D. Rendall
Abstract:
In this paper results are obtained concerning the number of positive stationary solutions in simple models of the Calvin cycle of photosynthesis and the stability of these solutions. It is proved that there are open sets of parameters in a model of Zhu et. al. for which there exist two positive stationary solutions. There are never more than two isolated positive stationary solutions but under cer…
▽ More
In this paper results are obtained concerning the number of positive stationary solutions in simple models of the Calvin cycle of photosynthesis and the stability of these solutions. It is proved that there are open sets of parameters in a model of Zhu et. al. for which there exist two positive stationary solutions. There are never more than two isolated positive stationary solutions but under certain explicit special conditions on the parameters there is a whole continuum of positive stationary solutions. It is also shown that in the set of parameter values for which two isolated positive stationary solutions exist there is an open subset where one of the solutions is asymptotically stable and the other is unstable. In related models , for which it was known that more that one positive stationary solution exists, it is proved that there are parameter values for which one of these solutions is asymptotically stable and the other unstable. A key technical aspect of the proofs is to exploit the fact that there is a bifurcation where the centre manifold is one-dimensional.
△ Less
Submitted 22 April, 2016;
originally announced April 2016.
-
Sustained oscillations in the MAP kinase cascade
Authors:
Juliette Hell,
Alan D. Rendall
Abstract:
The MAP kinase cascade is a network of enzymatic reactions arranged in layers. In each layer occurs a multiple futile cycle of phosphorylations. The fully phosphorylated substrate then serves as an enzyme for the layer below. This papers focusses on the existence of parameters for which Hopf bifurcations occur and generate periodic orbits. Furthermore it is explained how geometric singular perturb…
▽ More
The MAP kinase cascade is a network of enzymatic reactions arranged in layers. In each layer occurs a multiple futile cycle of phosphorylations. The fully phosphorylated substrate then serves as an enzyme for the layer below. This papers focusses on the existence of parameters for which Hopf bifurcations occur and generate periodic orbits. Furthermore it is explained how geometric singular perturbation theory allows to generalize results from simple models to more complex ones.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.
-
Overload breakdown in models for photosynthesis
Authors:
Dorothea Möhring,
Alan D. Rendall
Abstract:
In many models of the Calvin cycle of photosynthesis it is observed that there are solutions where concentrations of key substances belonging to the cycle tend to zero at late times, a phenomenon known as overload breakdown. In this paper we prove theorems about the existence and non-existence of solutions of this type and obtain information on which concentrations tend to zero when overload break…
▽ More
In many models of the Calvin cycle of photosynthesis it is observed that there are solutions where concentrations of key substances belonging to the cycle tend to zero at late times, a phenomenon known as overload breakdown. In this paper we prove theorems about the existence and non-existence of solutions of this type and obtain information on which concentrations tend to zero when overload breakdown occurs. As a starting point we take a model of Pettersson and Ryde-Pettersson which seems to be prone to overload breakdown and a modification of it due to Poolman which was intended to avoid this effect.
△ Less
Submitted 5 September, 2015;
originally announced September 2015.
-
Dynamical features of the MAPK cascade
Authors:
Juliette Hell,
Alan D. Rendall
Abstract:
The MAP kinase cascade is an important signal transduction system in molecular biology for which a lot of mathematical modelling has been done. This paper surveys what has been proved mathematically about the qualitative properties of solutions of the ordinary differential equations arising as models for this biological system. It focusses, in particular, on the issues of multistability and the ex…
▽ More
The MAP kinase cascade is an important signal transduction system in molecular biology for which a lot of mathematical modelling has been done. This paper surveys what has been proved mathematically about the qualitative properties of solutions of the ordinary differential equations arising as models for this biological system. It focusses, in particular, on the issues of multistability and the existence of sustained oscillations. It also gives a concise introduction to the mathematical techniques used in this context, bifurcation theory and geometric singular perturbation theory, as they relate to these specific examples. In addition further directions are presented in which the applications of these techniques could be extended in the future.
△ Less
Submitted 31 August, 2015;
originally announced August 2015.
-
A proof of bistability for the dual futile cycle
Authors:
Juliette Hell,
Alan D. Rendall
Abstract:
The multiple futile cycle is an important building block in networks of chemical reactions arising in molecular biology. A typical process which it describes is the addition of n phosphate groups to a protein. It can be modelled by a system of ordinary differential equations depending on parameters. The special case n = 2 is called the dual futile cycle. The main result of this paper is a proof th…
▽ More
The multiple futile cycle is an important building block in networks of chemical reactions arising in molecular biology. A typical process which it describes is the addition of n phosphate groups to a protein. It can be modelled by a system of ordinary differential equations depending on parameters. The special case n = 2 is called the dual futile cycle. The main result of this paper is a proof that there are parameter values for which the system of ODE describing the dual futile cycle has two distinct stable stationary solutions. The proof is based on bifurcation theory and geometric singular perturbation theory. An important entity built of three coupled multiple futile cycles is the MAPK cascade. It is explained how the ideas used to prove bistability for the dual futile cycle might help to prove the existence of periodic solutions for the MAPK cascade.
△ Less
Submitted 1 April, 2014;
originally announced April 2014.
-
Dynamical properties of models for the Calvin cycle
Authors:
Alan D. Rendall,
Juan J. L. Velazquez
Abstract:
Modelling the Calvin cycle of photosynthesis leads to various systems of ordinary differential equations and reaction-diffusion equations. They differ by the choice of chemical substances included in the model, the choices of stoichiometric coefficients and chemical kinetics and whether or not diffusion is taken into account. This paper studies the long-time behaviour of solutions of several of th…
▽ More
Modelling the Calvin cycle of photosynthesis leads to various systems of ordinary differential equations and reaction-diffusion equations. They differ by the choice of chemical substances included in the model, the choices of stoichiometric coefficients and chemical kinetics and whether or not diffusion is taken into account. This paper studies the long-time behaviour of solutions of several of these systems, concentrating on the ODE case. In some examples it is shown that there exist two positive stationary solutions. In several cases it is shown that there exist solutions where the concentrations of all substrates tend to zero at late times and others (runaway solutions) where the concentrations of all substrates increase without limit. In another case, where the concentration of ATP is explicitly included, runaway solutions are ruled out.
△ Less
Submitted 14 March, 2013;
originally announced March 2013.
-
Mathematics of the NFAT signalling pathway
Authors:
Alan D. Rendall
Abstract:
This paper is a mathematical study of some aspects of the signalling pathway leading to the activation of the transcription factor NFAT (nuclear factor of activated T cells). Activation takes place by dephosphorylation at multiple sites. This has been modelled by Salazar and Höfer using a large system of ordinary differential equations depending on many parameters. With the help of chemical reacti…
▽ More
This paper is a mathematical study of some aspects of the signalling pathway leading to the activation of the transcription factor NFAT (nuclear factor of activated T cells). Activation takes place by dephosphorylation at multiple sites. This has been modelled by Salazar and Höfer using a large system of ordinary differential equations depending on many parameters. With the help of chemical reaction network theory we show that for any choice of the parameters this system has a unique stationary solution for each value of the conserved quantity given by the total amount of NFAT and that all solutions converge to this stationary solution at late times. The dephosphorylation is carried out by calcineurin, which in turn is activated by a rise in calcium concentration. We study the way in which the dynamics of the calcium concentration influences NFAT activation, an issue also considered by Salazar and Höfer with the help of a model arising from work of Somogyi and Stucki. Criteria are obtained for convergence to equilibrium of solutions of the model for the calcium concentration.
△ Less
Submitted 5 January, 2012;
originally announced January 2012.
-
Multiple steady states in a mathematical model for interactions between T cells and macrophages
Authors:
Alan D. Rendall
Abstract:
The aim of this paper is to prove results about the existence and stability of multiple steady states in a system of ordinary differential equations introduced by R. Lev Bar-Or to model the interactions between T cells and macrophages. Previous results showed that for certain values of the parameters these equations have three stationary solutions, two of which are stable. Here it is shown that th…
▽ More
The aim of this paper is to prove results about the existence and stability of multiple steady states in a system of ordinary differential equations introduced by R. Lev Bar-Or to model the interactions between T cells and macrophages. Previous results showed that for certain values of the parameters these equations have three stationary solutions, two of which are stable. Here it is shown that there are values of the parameters for which the number of stationary solutions is at least seven and the number of stable stationary solutions at least four. This requires approaches different to those used in existing work on this subject. In addition, a rather explicit characterization is obtained of regions of parameter space for which the system has a given number of stationary solutions.
△ Less
Submitted 27 July, 2011;
originally announced July 2011.
-
Analysis of a mathematical model for interactions between T cells and macrophages
Authors:
Alan D. Rendall
Abstract:
The aim of this paper is to carry out a mathematical analysis of a system of ordinary differential equations introduced by R. Lev Bar-Or to model the interactions between T cells and macrophages. Under certain restrictions on the parameters of the model, theorems are proved about the number of stationary solutions and their stability. In some cases the existence of periodic solutions or heteroclin…
▽ More
The aim of this paper is to carry out a mathematical analysis of a system of ordinary differential equations introduced by R. Lev Bar-Or to model the interactions between T cells and macrophages. Under certain restrictions on the parameters of the model, theorems are proved about the number of stationary solutions and their stability. In some cases the existence of periodic solutions or heteroclinic cycles is ruled out. Evidence is presented that the same biological phenomena could be equally well described by a simpler model.
△ Less
Submitted 13 June, 2010;
originally announced June 2010.
