Mackey-Glass equation
From Scholarpedia
| This article is undergoing 3 initial reviews; It may contain inaccuracies and unapproved changes made by anonymous reviewers. | ||||||||||||||||||||
Author: Dr. Leon Glass, Department of Physiology, McGill University, CANADA
Author: Dr. Michael Mackey, McGill University, CANADA
The Mackey-Glass equation is the nonlinear time delay differential equation
- (1)
where
,
,
,
are real numbers, and
represents the value of the variable
at time (
). Depending on the values of the parameters, this equation displays a range of periodic and chaotic dynamics. Here, the rationale of this equation from a biological perspective, its mathematical properties, the equation's development, and some open problems are explored.
Contents |
Feedback systems
In feedback systems, the value of a control variable is sensed and appropriate changes are made in the rates of production and/or decay, with a typical goal of achieving a stable unchanging output. Physiological control systems represent prototypical feedback systems. Relevant variables that are subject to feedback control include the concentrations of electrolytes, oxygen, glucose, and blood cells in the blood, blood pressure to the brain and various organs.
Perhaps the simplest differential equation representing a feedback system is
- (2)
where
and
are positive constants and
is a
variable of interest. Equation 2 represents a system in which
is produced at a constant rate
and destroyed at a rate
. For this equation, once an initial condition is specified at some time (typically
), the solution is completely determined and in the limit
,
with an exponential approach to the asymptotic value. Thus, there is a stable fixed point in this equation which is attained from any initial condition.
In real feedback systems, there is typically a time lag between the sensing of the value of a variable under control, and the mounting of an appropriate response. In physiological systems, the time lag can be substantial. For example, following a loss of blood cells, it can take many days before new blood cells can be produced through the activation, differentiation, and proliferation of the appropriate blood stem cells.
Thus, in more realistic models of physiological feedback systems,
the rates
and
at time
, are not necessarily
constant, but may depend on the value of
at time
,
designated
, where
represents the time lag
inherent in the control system. One of these equations, Equation (1),
which displays a sequence of period-doubling bifurcations and
chaotic dynamics, has become known as the Mackey-Glass equation (1977). In this equation,
is a concentration
(assumed non-negative for all times) of circulating blood cells,
and
and
are constants involved in the description
of the dependence of the production of these cells as a function
of
. The physiological rationale for the nonlinear
production control function is as follows. If
the individual would be very sick and unable to generate many
blood cells. If
, the person would have too many
blood cells so that the production rate would once again be low.
For some intermediate values of
the production rate
would be maximal. Figure 1 shows the dynamics of Equation
1 with
,
,
,
starting from
an initial condition of
for
. The dynamics are chaotic. Figure 2 shows a time-delay embedding of the dynamics.
Relevance to nonlinear dynamics
Equation 1 is a simple equation that can generate
complex dynamics including chaos. However, in contrast to low
dimensional dynamical systems, such as the Lorenz equation (1963) and the Rössler equation (1979), time-
delay differential equations such as Equation 1 are
infinite dimensional systems. This is because it is necessary to
specify an initial function over the time interval
in
order for the solution to be well defined and to be able to
integrate the equation. Doyne Farmer, who worked on the
characterization of chaotic dynamics and was the first to call
Equation 1 the Mackey-Glass equation, recognized that
increasing the value of
increases the dimension of the
attractor in chaotic systems (Farmer, 1982). This
observation, and the simplicity of the equation, has led to the
evolution of this equation into one of the standard models used to
test algorithms for the quantitative characterization of chaotic
dynamics. Such analyses focus, for example, on the determination
of the dimension of the attractor, the Kolmogorov entropy, the
Lyapunov exponent, and predictabilty (Farmer, Ott, and Yorke, 1983; Farmer and Sidorowich, 1987; Grassberger and Procaccia, 1983).
The Mackey-Glass equation has also had an impact on more rigorous
mathematical studies of delay-differential equations. In 1977, at the
time of the original publication, methods for analysis of some of the
properties of delay differential equations, such as the existence of
solutions and stability of equilibria and periodic solutions had already been developed
(Hale, 1977). However, the existence of chaotic dynamics in
delay-differential equations was unknown. Subsequent studies of delay
differential equations with monotonic feedback have provided
significant insight into the conditions needed for oscillation and
properties of oscillations (Mallet-Paret and Nussbaum, 1989; Walther,
1995; Mallet-Paret and Sell, 1996). For delay differential equations
with non-monotonic feedback, mathematical analysis has proven much
more difficult. However, rigorous proofs for chaotic dynamics have
been obtained for the differential delay equation
for special classes of the feedback function
(Lani-Wayder and
Walther, 1996). Further, although a proof of chaos in the Mackey-Glass
equations has still not been found, there continue to be advances in
understanding the properties of delay differential equations such as
1 that contain both exponential decay and nonmonotonic delayed
feedback (Röst and Wu, 2007). The study of this equation remains a topic of vigorous
research.
Relevance to physiology
Originally, Mackey and Glass presented equations of the form of Equation 1 to illustrate the appearance of complex dynamics in physiological control systems by way of bifurcations in the dynamics. They suggested that many physiological disorders, called dynamical diseases, were characterized by changes in qualitative features of dynamics (Mackey and Glass 1977; Glass and Mackey 1979). The qualitative changes of physiological dynamics corresponded mathematically to bifurcations in the dynamics of the system. The bifurcations in the equation dynamics could be induced by changes in the parameters of the system — as might arise from disease or environmental factors, such as drugs — or changes in the structure of the system. Subsequently, a large number of researchers have analyzed bifurcations in mathematical models of physiological systems and associated these with the abnormal (pathological) dynamics of disease. Interesting examples arise in hematology, cardiology, neurology, and psychiatry (Bélair, Glass, an der Heiden, and Milton, 1995; Milton and Jung, 2003).
Searching for chaos
An interesting sidelight is the way Mackey and Glass searched for the chaotic
dynamics. They found that by using a time delay embedding of the
equations, in which the value of
was plotted as a function of
, the plot would develop kinks prior to the initiation
of chaos. Figure 3-12 shows a sequence of plots of these time-delay
embeddings for different values of
. Although there was not
sufficient space in the original Science article to show these
plots, they were shown by Glass at the New York Academy of
Sciences meeting conference on Chaos in November 1977 (Mackey and Glass, 1979). At this
meeting David Ruelle suggested to Glass that it would be
interesting to look at the return map on a section through the
attractor as represented in the time-delay embedding to see if a
map similar to the quadratic map would be found. The resulting
plots, which have not been published previously, do show interesting structure, similar to that anticipated
by Ruelle (Figures 13 and 14). To the best of our knowledge, there
have been no systematic studies of return maps computed in this
way and a careful numerical and mathematical analysis of the
properties of these return maps still seems warranted.
About the same time, Doyne Farmer and collaborators published their studies in which derivative embeddings and time-delay embeddings were used to help characterize the geometry of chaotic
dynamics (Farmer, 1982; Farmer, Ott, and Yorke, 1983; Packard, Crutchfield, Farmer, and Shaw, 1980).
History and open problems
The development of this equation reflects a convergence of research interests and collaborations between Mackey and Glass. Mackey went to the McGill Department of Physiology in 1971 from the NIH, and at that time was working on problems in membrane ion transport. His interests quickly shifted, however, to an examination of the dynamics of cell differentiation and replication as a result of his work with John Combs. Specifically, he became interested in the dynamics of hematological disease in which the pathology was associated with pronounced oscillations in blood cell numbers.
In 1975, Glass also took a position in the Department of Physiology at McGill. Prior to coming to McGill, Glass had been working on nonlinear dynamical models of biochemical and gene control systems, first at the University of Chicago and then at the University of Rochester. Theoretical studies of biochemical feedback systems with spatially localized catalysts and coupling by diffusion displayed oscillations even in cases where the spatially homogeneous system did not show oscillations (Glass and Kauffman, 1972; Glass and Pérez, 1974). The diffusion-induced time delays led to the stabilization of oscillatory dynamics. This suggested the possibility of inserting time delays in systems of differential equations, and Glass carried out some unpublished simulations in which time delays were inserted into ordinary differential equation models of negative feedback systems.
During the summer of 1975, just around the time he was moving to Montreal, Glass attended a summer workshop at the Aspen Institute for Theoretical Physics. As recounted by Gleick (1987), participants at the workshop included Steven Smale and Mitchell Feigenbaum and there was a good deal of discussion about chaotic dynamics in the quadratic map.
After Glass moved to McGill, Mackey and Glass initiated discussions and collaborations that were focussed on determining whether chaotic dynamics could exist in physiological systems, and if they might be playing a role in some of the complex rhythms observed in physiology. Mackey had already started modeling control of blood cell production, and Glass initiated studies of respiratory control. In both circumstances time delays arise naturally due to physiological mechanisms, so the use of time delay differential equations was a natural way to proceed. Further, a recently published paper by May and Oster (1976) developed the notion, based on the observations in Li and Yorke (1975), that non-monotonic feedback in difference equations (such as the quadratic map) could lead to chaos in a model of an ecological system. It seemed possible that non-monotonic feedback in delay differential equations could also lead to chaos. This behavior was sought, and found, in the models for hematopoietic control. Further, just as in the quadratic map, Mackey and Glass found a sequence of period doubling bifurcations leading to chaos. In the sequence shown in Figures 3-12, Figures 4 and 5 correspond to period 2, Figure 6 corresponds to period 4, Figure 9 corresponds to period 3, and Figure 10 corresponds to period 6. An open problem is whether there is a complete correspondence between the well known sequences of bifurcations in the quadratic map and in Equation 1.
Science abounds with examples of parallel discoveries of phenomena by isolated individuals or groups at virtually the same time. The Mackey-Glass equation provides another example. In the Fall of 1977 Mackey met Andrzej Lasota, a Polish mathematician, who had been working with Dr. Maria Ważewska-Czyżewska (a hematologist) on problems involving blood cell pathologies. During that meeting Lasota told Mackey about a recent paper of his (Lasota, 1977) in which he had studied the solution behavior of the equation
- (3)
in which the nonlinearity had the same non-monotone character as in Equation 1. Lasota, too, had discovered similar behavior in his equation as Mackey and Glass had. Everyone was unaware of the work of the other. However, that 1977 meeting led to a long collaboration between Lasota and Mackey (see Mackey, 2007, for a recent recounting of this). But this was not the only coincidence. Perez, Malta, and Coutinho (1978) also studied differential delay equations but as a model for oscillations in laboratory blowfly populations. One of their models was
- (4)
and the solution behavior that they displayed in one figure clearly showed the numerical characteristics of chaotic dynamics. Thus, the bifurcations and chaotic dynamics that have been intensively studied and characterized in the Mackey-Glass equation, might have been pursued in the Lasota equation or the Perez-Malta-Coutinho equation but for some small chances of fate.
Acknowledgments: Thanks to Raluca Apostu and Thomas Quail who provided technical assistance with the figures and text. Jianhong Wu and Roger Nussbaum provided useful comments on an earlier version.
References
- Bélair, J., Glass, L., an der Heiden, U., and Milton, J. (1995). Dynamical Disease: Mathematical Analysis of Human Illness. American Institute of Physics, Woodbury, New York.
- Farmer, J.D. (1982). Chaotic attractors of an infinite-dimensional dynamical system. Physica D, 4(3).
- Farmer, J. D., Ott, E., and Yorke, J. A. (1983). The dimension of chaotic attractors. Physica D, 7(1-3).
- Farmer, J. D. and Sidorowich, J. J. (1987). Predicting chaotic time series. Phys. Rev. Lett., 59(8):845-848.
- Glass, L. and Kauffman, S. A. (1972). Co-operative components, spatial localization and oscillatory cellular dynamics. J. Theor. Biol., 34(2):219-37.
- Glass, L. and Mackey, M. C. (1979). Pathological physiological conditions resulting from instabilities in physiological control systems. Ann. NY. Acad. Sci, 316:214-235.
- Glass, L. and Pérez, R. (1974). Limit cycle oscillations in compartmental chemical systems. J. Chem. Phys., 61:5242-5249.
- Gleick, J. (1987). Chaos. Viking New York.
- Grassberger, P. and Procaccia, I. (1983). Estimation of the Kolmogorov entropy from a chaotic signal. Phys. Rev. A., 28(4):2591-2593.
- Hale, J. (1977). "Theory of Functional Differential Equations, Second Edition" Springer Verlag, New York.
- Lani-Wayda, B. and Walther, H.-O. (1996). Chaotic motion generated by delayed negative feedback, Part II: Construction of nonlinearities. Math. Nachr. 180:141-211.
- Lasota, A. (1977). Ergodic problems in biology. Dynamical systems, Vol. II—Warsaw, pages 239-250. Astérisque, No. 50. Soc. Math. France, Paris.
- Li, T. Y. and Yorke, J. A. (1975). Period three implies chaos. Amer. Math. Monthly, 82:985-992.
- Lorenz, E. N. (1963). Deterministic nonperiodic flow. J. Atmos. Sci., 20:130-141.
- Mackey, M. C. (2007). Adventures in Poland: having fun and doing research with Andrzej Lasota. Mat. Stosow, pages 5-32.
- Mackey, M. C. and Glass, L. (1977). Pathological physiological conditions resulting from instabilities in physiological control system. Science, 197(4300):287-289.
- Mallet-Paret, John; Nussbaum, Roger D. (1989). A differential-delay equation arising in optics and physiology. SIAM J. Math. Anal. 20(2):249--292.
- Mallet-Paret, John; Sell, George R. (1996). The Poincar=E9-Bendixson theorem for monotone cyclic feedback systems with delay. J. Differential Equations 125(2):441--489.
- May, R. M. and Oster, G. F. (1976). Bifurcations and Dynamic Complexity in Simple Ecological Models. Am. Nat., 110(974):573.
- Milton, J. and Jung, P. (2003). Epilepsy as a Dynamical Disease. New York: Springer-Verlag Berlin Heidelberg.
- Packard, N. H., Crutchfield, J. P., Farmer, J. D., and Shaw, R. S. (1980). Geometry from a Time Series. Phys. Rev. Lett., 45(9):712-716.
- Perez, J. F., Malta, C. P., and Coutinho, F. A. B. (1978). Qualitative analysis of oscillations in isolated populations of flies. J. Theoret. Biol., 71:505-514.
- Rössler, O.E. (1979). An equation for hyperchaos. Phys. Lett. A, 71:155-157.
- Röst, Gergely; Wu, Jianhong Domain-decomposition method for the global dynamics of delay differential equations with unimodal feedback. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. (2007).463:2655--2669.
- Walther, Hans-Otto (1995). The
-dimensional attractor of
. Mem. Amer. Math. Soc., Providence, R. I. Volume 544.
,
,
is the ordinate and
is the abscissa with 








for
using the data in Figure 2.
as a function of the preceding minimum value of 