Professional Documents
Culture Documents
Numerical experiments over the last thirty years have revealed that simple
nonlinear systems can have surprising and complicated behaviours. Non-
linear phenomena include waves that behave as particles, deterministic
equations having irregular, unpredictable solutions, and the formation of
spatial structures from an isotropic medium.
The applied mathematics of nonlinear phenomena has provided meta-
phors and models for a variety of physical processes: solitons have been
described in biological macromolecules as well as in hydrodynamic systems;
irregular activity that has been identified with chaos has been observed in
continuously stirred chemical flow reactors as well as in convecting fluids:
nonlinear reaction diffusion systems have been used to account for the
formation of spatial patterns in homogeneous chemical systems as well as
biological morphogenesis; and discrete-time and discrete-space nonlinear
systems (cellular automata) provide metaphors for processes ranging from
the microworld of particle physics to patterned activity in computing neural
and self-replicating genetic systems.
Nonlinear Science: Theory and Applications will deal with all areas of
nonlinear science - its mathematics, methods and applications in the
biological, chemical, engineering and physical sciences.
Nonlinear science: theory and applications
Series editor: Arun V. Holden, Reader in General Physiology,
Centre for Nonlinear Studies, The University, Leeds LS2 9NQ, UK
Editors: S. I. Amari (Tokyo), P. L. Christiansen (Lyngby),
D. G. Crighton (Cambridge), R. H. G. Heileman (Houston),
D. Rand (Warwick), J. C. Roux (Bordeaux)
Published by
Manchester University Press
Oxford Road, Manchester MI3 9PL, UK
3.5 Problems 29
3.6 Open problems 32
7 Applications 177
7.1 Introductory remarks 177
7.2 Biochemical control theory 177
7.3 Fluctuation and oscillation phenomena in neurochemistry 185
7.4 Population genetics 192
7.5 Ecodynamics 194
7.5.1 The theory of interacting populations 194
7.5.1.1 Boulding ecodynamics 194
7.5.1.2 Compartmental ecokinetics 195
7.5.1.3 Generalised Lotka-Volterra models 196
7.5.1.4 The advantages of stochastic models:
illustrations 199
7.5.2 An ecological case study 202
7.5.2.1 Arguments for a stochastic model 202
7.5.2.2 A common description of the deterministic
and stochastic models 204
7.5.2.3 Exercise 207
7.6 Aggregation, polymerisation, cluster formation 207
7.7 Chemical circuits 210
7.8 Kinetic theories of selection 213
7.8.1 Prebiological evolution 213
7.8.1.1 Introductory remarks 213
7.8.1.2 The hypercycle: The basic model 214
7.8.2 The origin of asymmetry of biomolecules 216
References 220
Index 252
Preface and acknowledgements
Chapter 1
A notation for an abstract chemical component (or species)
in the elementary reaction aA + bB -+ cC + dD
A( solid) reactant component in the solid phase reaction
A(solid) -+ B(solid) + C(gas)
A matrix of infinitesimal transition probabilities (infini-
tesimal operator) of the stochastic model of reactions
a stoichiometric coefficient (or molecularity) of the chem-
ical component A in the elementary reaction
aA + bB -+ cC + dD
element of the matrix of infinitesimal transition proba-
bilities (infinitesimal operator) of the stochastic model of
reactions
a•.• element of the matrix of infinitesimal transition proba-
bilities (infinitesimal operator) of the stochastic model of
reactions
8 notation for an abstract chemical component (or species)
in the elementary reaction aA + bB -+ cC + dD
B(solid) product component in the solid phase reaction
A(solid) -+ B(solid) + C(gas)
b stoichiometric coefficient (or molecularity) of the chem-
ical component B in the elementary reaction
aA + bB -+ cC + dD
c notation for an abstract chemical component (or species)
in the elementary reaction aA + bB -+ cC + dD
product component in lhe solid phase reaction
A(solid) -+ B(solid) + C(gas)
c stoichiometric coefficient (or molecularity) of the chem-
ical component C in the elementary reaction
aA + bB -+ cC + dD
initial vector of concentrations
xiv Symbols used in the text
Chapter 2
A state-space of a dynamic system
g(t) state of a thermodynamic system at time t
Jf function giving the state of a thermodynamic system at time t as a
function of site and time
site of a thermodynamic system at time t
history of the site of a thermodynamic system up to time t
the set of positive integers
the set of real numbers
euclidean space of M-dimensional real vectors
number of constitutive quantities
point of the time domain T of a dynamic system
time domain of a dynamic system
point of the time domain T of a dynamic system
X state of a dynamic system
Xo initial state of a dynamic system
a function from T x A into A describing the time evolution of a
dynamic system for different initial states
the set of integers
the set (or lattice) of ordered M-tuples of integers
<f>x. motion of a dynamic system starting from state x 0
<p(t, . ) automorphism from the state-space A onto the state-space itself
of a dynamic system
!l(t) constitutive quantities of a thermodynamic system at time t
co(g( t), t) value of the constitutive functional of a thermodynamic system at
timet
this sign is used throughout to mean 'is defined by' or 'is by
definition'
Chapter 3
A (external) chemical component
.s:1 (a)
atoms (a= I, 2 .. . A)
Ac-CoA acetyl coenzyme A
ADP adenosine 5 '-diphosphate
ATP adenosine 5'-triphosphate
c enzyme-substrate complex in the Michaelis-Menten reaction
E enzyme in the Michaelis-Menten reaction
r(r) length of the reactant complex vector ex(·, r)
M number of the chemical components
M+ rank deficiency of the stoichiometric matrix
xvi Symbols used in the text
Chapter 4
A Riemannian manifold
a parameter of the Lorenz equation
b parameter of the Lorenz-, and of the Rossler equation
c parameter of the Rossler equation
d parameter of the Rossler equation
E set of positive equilibrium points
~(IR X A) the set of functions with domain in IR and range in A
f right-hand side of the induced kinetic differential
equation
f parameter of the FKN (Field-K~ros-Noyes)-model
GL(M) group of (invertible) general linear transformations
Hi, ... , HN-l first integral
h length of a short time interval
Symbols used in the text xvii
Chapter 5
A chemical component
A infinitesimal generator
A constant
A(x) coefficient function
Am constant
a, a 1 , a 2 constants
B chemical component
B cofactor matrix
B constant
B(x) coefficient function
Bm constant
b constant
b(t) quantity of component B
b(X,) diffusion function
b eigenvector
lib II determinant
c chemical component
C, C 1 , C 2 constants
C(·) correlation function
C 1 (t) time-dependent function
C 2 (t) time-dependent function
c concentration
c(t) quantity of component C
c. coefficient
D chemical component
D domain of operators
D initial number of components
Dj velocity of the conditional moments
DZ variance of a random variable
d(t) quantity of component D
q) differential operator
DNA deoxyribonucleic acid
E enzyme
E expectation of a random variable
e(t) quantity of enzyme E
F generating function
F, marginal generating function
f conditional probability function
Symhols used in the text xix
(l stoichiometric coefficient
(l transformed constant
& rate constant
(l( t) 'distance' from the equilibrium
OtE IR" solution of a linear equation
(l constant
p stoichiometric coefficient
p transformed variable
p constant
~ rate constant
~ transformed constant
r. r. f constants to be determined
y transformed variable
y auxiliary function
y(ro) Fourier transform of D 1
y rate constant
0 auxiliary function
0 ball radius in the Lindeberg condition
OKD Dirac delta
E measure of 'deviation' from the white noise idealisation
s, fluctuating parameter
s, Ornstein- Uhlenbeck process
TJ, stochastic process
e time interval
3 zero complex
I(
parameter of noise strength
A parameter of the process Y
A parameter in Subsection 5.5.2
AA., A 8 eigenvalues
A., stationary stochastic process
A.,, A.2 nontrivial eigenvalues
A; constants
A. rate constant
1.1 rate constant
1.1(.) death rate function
XXJI Symbols used in the text
Chapter 6
A chemical component
A parameter of the Gierer-Meinhardt model
A generator of the cellular stochastic model of Kurtz
a lower bound of the (real, physical, one-dimensional) space
a parameter of a biochemical system
IX homogeneous stable steady state
a concentration of the activator in the Gierer-Meinhardt model
(IX', y') argument of the maximum of the stationary distribution in a
two-cell model
8 chemical component
B parameter of the Gierer-Meinhardt model
b upper bound of the (real, physical, one-dimensional) space
b parameter of a biochemical system
c chemical component
c parameter of the Gierer-Meinhardt model
r parameter of a biochemical system
parameter of a biochemical system
diffusion matrix
parameter of the Gierer-Meinhardt model
parameter of the Gierer- Meinhardt model
parameter of the Gierer-Meinhardt model
component formation vector
Symhols used in the text XXlll
Chapter 7
c chemical component enzyme-substrate complex
c concentration of the enzyme-substrate complex
Co initial concentration of the enzyme-substrate complex
E chemical component enzyme
concentration of the enzyme
initial concentration of the enzyme
Michaelis constant
reaction rate constant in the Michaelis-Menten reaction
reaction rate constant in the Michaelis-Menten reaction
reaction rate constant in the Michaelis-Menten reaction
chemical component product in the Michaelis-Menten reaction
concentration of the product in the Michaelis-Menten reaction
initial concentration of the product in the Michaelis- Men ten reaction
chemical component substrate
s concentration of the substrate
So initial concentration of the substrate
v (initial) velocity of the Michaelis-Men ten reaction
maximal (initial) velocity of the Michaelis-Menten reaction
this sign is used throughout to mean 'is defined by' or 'is by definition'
1
Chemical kinetics: a prototype of
nonlinear science
aA + bB--+ cC + dD (l.l)
where the scalar k is the rate constant characterising the velocity of the
process.
If the participating molecules of a chemical reaction go through states that
may be identified as separate chemical components, then the reaction is
called complex; otherwise it is simple, or elementary in the kinetic sense.
Reaction ( 1.1) is an elementary reaction. By an elementary reaction we mean
a chemical reaction with some mechanistic significance between reaction
participants (e.g. collisions).
The molecularity of an elementary reaction is the number of molecules
that are to collide in order that the elementary reaction take place. In a
bimolecular reaction the transformation is the result of the collision of two
molecules. The collision of three or more molecules is highly improbable, a
seemingly trimolecular reaction usually is the resultant of mono- and
bimolecular elementary steps. In our example the molecularities of the
chemical species A, B, C and D are a, b, c and d.
The order of a reaction with respect to a component is the exponent to
which the concentration of the components influencing the rate of the
reaction are to be raised in order to get the rate expression. The order of the
reaction is the sum of the orders with respect to all the components. The basic
assumption of mass action kinetics is that the orders of an elementary
reaction with respect to the components are given by the stoichiometric
coefficients or molecularities as in ( 1.2).
These above are by no means intended to be exact definitions; formal
definitions will be given in later chapters. An excellent analysis of the
physicochemical background has been given by Horn & Jackson (1972).
Equation ( 1.2) is a system of ordinary differential equations. The number
of differential equations is equal to the dimension of the component vector,
since the temporal change of each component is described by a differential
/equation. The kinetic behaviour of a chemical reaction is described tradition-
( ally by a system of (generally nonlinear) differential equations:
!I c(t) = f(c(t)); c(O) = c0 , (1.3)
where c(t) E IRM denotes the quantities of the chemical components at time t,
\ f is determined by the stoichiometry, and c0 is the initial value of the
\components.
\ A number of questions arise immediately. How can we derive and interpret
kinetic equations? Are they sufficiently general for describing chemical
reactions taking place in different materials and in different circumstances
(e.g. at low and high temperature and pressure)? What is the mathematical
structure of the kinetic equations? What can we tell about the properties of
the solutions? Can we define or derive other kinds of models?
The mass action type kinetic equation was first derived by Wilhelmy
( 1850), who measured the velocity of mutarotation of simple sugars.
Wilhelmy knew that the equation he derived has general character: It is also a
Chemical kinetics 3
sequence of amino acids, does not uniquely determine the chemical compo-
nent. A protein with a given primary structure may have different spatial
arrangements (conformations) which could be different from an energetic
point of view. Conformational changes can be sometimes associated with
changes of covalent chemical bonds (e.g. formation or destruction of -S-
S- bonds). It is not obvious, whether the chemical components can be
identified by their primary or perhaps by their secondary structure. Addition-
ally, there is a question of interpretation: whether the changes of conforma-
tion can be considered as chemical reactions. Perhaps we may refer here to a
remark of Primas (1983, p. 149):
The quest for the referent of modern scientific theories is nontrivial and the danger of
making category mistakes is serious. For example, it is not at all clear, that collision
theory (as used for the description of molecular beam experiments) and phenomen-
ological kinetics (as used to describe enzyme kinetics in biochemistry) have reference
categories of the same logical type.
The applicability of the second technique is quite obvious, since the state is
often characterised in polymers by parameters, such as the molecular weight
distribution, that can be characterised by a function.
A number of thermomechanical phenomena taking place in polymers can
be explained by the term 'memory': the change of state not only depends on
the present but on past values of the state variables. According to the theory
of 'fading memory' (Coleman, 1964) the influence of the near past is greater
than that of the far past.
Chemical reactions in solids cannot be interpreted using the theory of gas
phase reactions, since a solid phase can be considered as a macroscopic
continuum and not a system of independent, discrete entities. Changes in
such systems imply changes in the internal structures and symmetries of the
whole macroscopic system. Chemical reactions are intimately interconnected
with diffusion in condensed matter (Goselle, 1984). From a theoretical point
of view it is hard to make a distinction between phase transitions and
chemical reactions. Transformations of solids can be classified into two
groups (Budnikov & Gisling, 1965): with or without change in composition
of the phases.
The decomposition of salts of oxyacids are typical examples of the reaction
A<sotidl-+ B(sotid) + C(gas)· The two characteristic steps of the transformation,
i.e. the formation and the growth of clusters can be described by determin-
istic (Riickenstein & Vavanellos, 1975), or stochastic (Kitahara et a/., 1975)
models. Since the role of fluctuations is very important in the vicinity of
cri.tical points, the kinetic theory of the phase transitions is based on the
theory of stochastic processes (Hohenberg & Halperin, 1977; Wilson &
Kogut, 1974).
Table 1.1 summarises the results of the present analysis in connection with
the properties of special kinetic systems.
ably general. In the models of 'pure' reaction kinetics the reaction rate is the
only dependent variable (constitutive quantity) and the composition is the
only independent variable. The spatial distribution of the components are
considered homogeneous.
As was mentioned earlier, deterministic models of chemical reactions
might be identified with eqn (1.3). However, not all kinds of systems of
differential equations, not even all those with a polynomial right-hand side
can be considered as reaction kinetics equations. Trivially, the term
-kc 2 (t)c 3 (t) cannot occur in a rate equation referring to the velocity of c 1 ,
since the quantity of a component cannot be reduced in a reaction in which
the component in question does not take place. Putting it another way, the
negative cross-effect is excluded. A necessary and sufficient condition is
required to restrict eqn (1.3) to be able to be a kinetic equation.
The clearing up of this question is important from the point of view of
practical chemistry as well as of mathematics. In the first place, if a
polynomial differential equation has been fitted to experimental data, then it
is a question, whether this equation can be considered as a model of
reactions. In the second place, utilising the special structure of the kinetic
differential equations, surprisingly strong theorems exist for the qualitative
properties of the solutions. More precisely, certain systems of differential
equations can be studied more efficiently if they can be models of chemical
reactions.
According to the assumptions on which classical kinetics is based,
deterministic models are adequate as long as deviations from the 'macro-
scopic average values' remain negligible. A number of situations can be listed
to argue for relevance of fluctuations in chemical sytems:
(I) The size of the chemical system is small. In this case we cannot apply
continuous state models even as an approximation. (For the case of a
finite particle number, a precise continuous model cannot be defined,
since in the strict sense the notion of concentration can be used only for
infinite systems.) Discrete state space, but deterministic, models are also
out of question, since fluctuations cannot be neglected even in the 'zeroth
approximation', because they are not superimposed upon the pheno-
menon, but they represent the phenomenon itself.
(2) The system operates near an instability point of a deterministic model. In
this case small fluctuations may be amplified and produce observable,
even macroscopic effects. It may also happen that the deterministic model
of a system is structurally stable while the stochastic model is not, or vice
versa.
(3) Fluctuations can be a source of information. According to the so-called
fluctuation-dissipation theorem the dissipative processes leading to
equilibrium are interconnected with the fluctuations around the equilib-
rium point. Using the spirit of this theorem the kinetic rate constants can
Table 1.1
where Vis the volume ofthe system, c(t) is a concentration vector and n(t) is
the number of components at a fixed time t.
Introducing a stochastic description let~ be a stochastic vector process, the
dimension of which is equal to the dimension M of the concentration vector.
P.(t) =&(~(t) = n)
is the probability that the vector of the numbers of components is n (n of
course also is vector), P.(t) is the distribution function (ne N<r). The
temporal evolution of the distribution is determined by the assumption that
the chemical reaction is considered as a Markov process. Here we have to
refer to van Kampen's remark (1981, p. 80):
When a physicist talks about 'process' he normally refers to a certain phenomenon
involving time. Concerning a process defined in this way it is meaningless to ask
whether or not it is Markovian, unless one specifies the variables to be used for its
description. The art of physicist is to find these variables that are needed to make the
description (approximately) Markovian.
A Markovian description can be naturally introduced by generalising
deterministic systems modelled by ordinary differential equations. In other
words, the stochastic version of a deterministic process without 'after-effect'
is a Markov process.
However, the Markov character of the chemical process represented by the
component vector has not been derived from microscopic models. Therefore
Markovicity is not more (and of course not less) than a plausible assumption.
Discrete state space stochastic models of chemical reactions can be
identified with the Markovian jump process. In this case the temporal
evolution can be described by the master equation:
(dP./dt) = A(P.(t)). (1.4)
Equation (1.4) is a linear differential-difference equation, the special struc-
Chemical kinetics II
The first term of the right-hand side is the gain due to transition from all
the other states n', and the second term is the loss due to the jump to other
states.
In spite of the fact that (1.4) and (1.5) are linear, they can govern situations
qualified 'experimentally' as 'nonlinear phenomena'. The terms 'linear' and
'nonlinear' are mathematical concepts, which refer to equations. The
equations (1.4) and (1.5) can be converted into nonlinear equations for a
macroscopic variable, for example by taking the expectation.
models. The maxima correspond to the stable, and the minima to the
unstable stationary points. In certain situations this qualitatively clear
picture is slightly modified (:Erdi et a/., 1981; Ebeling & Schimansky-Geier,
1979).
The qualitative theory describes the long-term behaviour of stochastic
systems without solving the equations. Recurrence, stationarity and ergodic
properties are the most important concepts which characterise the stochastic
process and/or the state-space.
Every network of chemical reactions can be classified by its qualitative
properties. To identify stoichiometric and kinetic conditions for exhibiting
different kinds of exotic behaviour is an important problem of theoretical
reaction kinetics.
Weaker arguments could have been made for adopting continuous time:
analogue computers operate in continuous time, and certain physicochemical
quantities can be transduced continuously. However, it is important to note
that in most applications the 'real' time is transformed to 'state-time' (e.g.
number of generations).
time arrow'. The notion of time has mysterious elements, perhaps due to the
fact that our ideas about temporal processes come from different sources.
Research on the nature of time has been extensive (e.g. Fraser, 1972, 1978;
Fraser & Lawrence, 1975; Zeman, 1971; Denbigh, 1981). History, micro- and
macrophysics, biology and cosmology have all adopted different notions of
time. Perhaps thermodynamics (since it ought to be the 'science of time'
(Prigogine, 1980; Prigogine & Stengler, 1984) could offer a unified framework
to interpret irreversible and cyclic phenomena, but little has been achieved as
yet. In spite of the fact that chemical reactions play an important role in
Prigogine's arguments, the relationship between chemical kinetics and
thermodynamics is not clear. The development of chemical kinetics was
practically independent of the formation of nonequilibrium thermody-
namics. This is surprising to a certain extent, since chemical reaction is
included in the topics of thermodynamics. Thermodynamics investigates
processes and equilibrium due to energetic interactions. Processes and
equilibrium due to chemical reactions can and should be investigated by the
concepts of nonequilibrium thermodynamics. Physical transport processes
are spatia-temporal phenomena, but the macroscopic theory of chemical
reaction, as was mentioned earlier, cannot take into consideration the spatial
course of the reaction. According to the formalism of the conventional
theory of irreversible processes the reaction rate is a thermodynamic flow,
just as the rate of diffusion or of thermal conduction, and so chemical
kinetics is a particular chapter of thermodynamics. The authors of this book
feel attracted by general theories, and, in addition, they know that chemical
reactions produce entropy. Unfortunatley they cannot see a better solution
for the time being than to investigate models of reaction kinetics without
giving a detailed thermodynamic treatment.
ecify the state of the system. The constitutive quantities are functions of the
:fate. in the sense that their value is univocally determined (at least in
principle) once the state of the system has been assigned:
Q(t) = co(g(t), t), (2.3)
where Q is a constitutive quantity, g denotes the state of the system and co:
A x v -+ !R' is the constitutive functional mapping the state into a constitu-
tive quantity (the 'functional' assigns a number to a function, here the term
refers to every mapping having the function as argument); re N. The case
r = J means that the value of the constitutive quantity is a scalar.
The state of an M-component chemical system is described by a vector c,
c: lr-+ IRM, t >-+ c(t) E IRM. (2.4)
As was mentioned earlier, sometimes the state is described by a function
(e.g. in polymers and oils) and not by a vector, and so the concept of a
'continuously changing component' can be introduced. For the sake of the
general mathematical treatment we mention that a finite-dimensional vector
can also be interpreted as a function: IRM can be considered as an
abbreviation:
IRM: = IR:u..... Ml = {f;f: {I, 2, ... , M}-+ ~}.
Generally xr = {f, f: Y-+ X}; the cardinality of the set is IXI 1r1•
The state of the system with continuously changing components is
described at a fixed point of time by a (not necessarily scalar valued)
function, f: IRM-+ !Rm.
Adopting the notation introduced just above the state of the system is c,
where c: lr-+ (!Rm)RM or it is an element of the set:
MT M
[(!Rm)R ]' = {f; j: l[" -+ (!Rm)R }.
However, the state of polymers can be represented by the molecular weight
distribution, which is a scalar-scalar function.
According to the conventional treatment of pure homogeneous reaction
kinetics the state is a finite-dimensional vector and the only constitutive
quantities are the reaction rates.
i.e.
dx(t)fdt = f(x(t))
, n be associated with time homogeneous Markov processes. Time homogen-
~~y means that the transition probabilities are stationary, i.e.
,gil(~.• = xl ~~ = y) = P"_..(s - t). (2.1 0)
In this case we can say that the 'evolution law' does not depend explicitly on
the time. Consequently, the time origin can be defined arbitrarily.
maps on the interval were studied by Collet & Eckmann (1980). Poincare
maps are extensively used to investigate the possibilities of chaos in chemical
systems- see, for example, Swinney & Roux (1984).
Other, less important, XYZ models will be mentioned in the text as they
arise.
3
Stoichiometry: the algebraic structure of
complex chemical reactions
3· 1 Conventional stoichiometry
Z= r: ~ ~ r n H
0
c
where the first column expresses that the first component (CO) contains none
of the H atoms, one 0 atom and one C atom, the second column expresses
the atomic structure of the second component and so on. The structure of the
elementary reactions (this name will be used in spite of possible criticism from
the point of view of physical chemistry) may be described by the matrix of
elementary reaction vectors, i.e. by the stoichiometric matrix:
I 2
-2 -I co
-3 I Hz
y= I 0 CzHz,
2 -I H20
0 l C0 2
where the negative numbers of the first column express that two molecules of
CO and three molecules of H 2 are needed in order that the first elementary
reaction take place and if it does take place l molecule of C 2 H 2 and 2
molecules of H 2 0 are formed.
An elementary requirement is the law of atomic balance: the number of
atoms should be the same on both sides of each of the reactions. Calculating
the number of atoms of each kind on both sides of both of the reactions is
equivalent to multiplying the matrices Z and 1 according to the rule of
n
ordinary matrix multiplication and setting the product equal to zero:
z,~ [~
Two questions arise:
3CO + 2H 2 = C2H 2 + H 20 + C0 2
is linearly dependent on (3:1) and (3.2).
Following this introductory example we give a general treatment of the
notions and statements used above. At first, a tacit assumption used until
now was that all the elementary reactions are reversible. From now on it is
allowed (it is unnecessary to exclude from the investigations) that some of the
elementary reactions be irreversible. Therefore, if one of them is not
irreversible, then one has to write it down twice, namely, in both directions.
The (complex chemical) reaction under study consists of the elementary
reactions
M M
I <X(m, r)X(m)-+ I P(m, r)X(m)(r = I, 2, ... , R) (3.3)
m~ I m~ I
where X( I), ... , X(M) are chemical components (molecules, radicals, ions),
and the nonnegative integers
<X(m, r) and P(m, r)
are the stoichiometric coefficients or molecularities. The elementary reaction
vector expressing the change caused by the rth elementary reaction of (3.3) is
the difference of complex vectors, the product complex vector, and the reactant
complex vector:
y(·, r) = P(·, r) -<X(·, r) = (p(l, r) -<X(I, r), ... , P(M, r) -<X(M, r)).
The matrix y withy(·, r) as its rth column is the stoichiometric matrix. It may
be assumed (but only very rarely used) that the orders of all the elementary
reactions, i.e. the numbers
M
I
m~ I
<X(m, r) =l"(r)
(the length of the reactant complex vector <X(·, r)) are less than or equal to
three because of the improbability of collisions between more than three
molecules (Benson, 1960; Laidler, 1965). The first order reactions, i.e. those
for which l~(r) ::;:; I (r = I, 2, ... , R) are singled out for distinction both from
the theoretical and the practical viewpoints.
A complex is called short, if it is not longer than two. A mechanism is a
se~ond order mechanism, if all the reactant complexes are short and if there
~XIsts at least one of length two. A set of elementary reactions is said to be
Independent if there is no way of expressing any of the elementary reaction
vectors as a linear combination of the others. In the opposite case the
elementary reactions are said to be dependent. From this definition it is clear
~hat the number of independent elementary reactions is the number of
~~dependent columns of y. But this number is called in linear algebra the rank
~- y: rank(y). This number is usually denoted by Sand is considered as the
Imension of the stoichiometric space, i.e. the dimension of the linear
24 Mathematical models of chemical reactions
The nonnegative integers Z(a, m) make up the atomic matrix Z with the
columns called formula vectors. A (complex chemical) reaction among
atomic components as above is an atomic reaction.
The law of atomic balance means for the rth elementary reaction that
Zy( ·, r) =0 (ENA),
and when it holds for all elementary re2.ctions then one has
Zy =0 (ENA R).
X
[ ~I ~ ~ ~ ~]
0 2 0 1
Stoichometry 25
As there is a 3 x 3 submatrix
.
with a nonvanishing determinant in the upper
left corner of Z we may wnte
2g 2 + 2g3 = - 2g4
-g4- 2gS
2g3 = - gs.
~~
-2 -3 I
[
-I I 0
r = 0.
Lzs
As there is a 2 x 2 submatrix with nonvanishing determinant in the upper left
corner of Z we may write
-2z 1 - 3z 2 = -z 3 - 2z4
-zl + z2 = z4- zs.
26 Mathematical models of chemical reactions
and the general solution is the linear combination of these vectors with
parameters as coefficients. The representation of the components in the
reaction (3.1 )-(3.2) in terms of Z~o z 2 and z 3 is
Z(·, 1) = z 2 + 2z 3 Z(·, 2) = 2z4 + z 3 . (3.8)
It is obvious that none of the elementary reactions obey the law of atomic
balance. Still, the Oregonator model of the Belousov-Zhabotinskii reaction,
of which (3.9) is a subset, has served well for a long period of time when
carefully interpreted.
As a second example let us consider the well-known Michaelis-Menten
reaction
E+ S¢-C¢-E+ P. (3.10)
It is clear that in general the atomic structures of the components enzyme (E),
enzyme-substrate complex (C) and product (P) need not be known in order
to get an idea of the time evolution of the process. What is more, their
structures are generally not known.
The moral to be drawn from these examples is either that one has to
abandon the law of atomic balance, or that the atomic structure of the
chemical components should be disregarded.
Let us even go a step further. In reaction (3.9) A is considered to be an
external component, i.e. a component that is held at a constant concentration.
This can experimentally be realised by constant supply from a reservoir. Any
of the models in Chapters 4 and 5 below may be formulated in the same way
as (3.9) and can be written in shorthand as
Y-+ X X-+ 2X + Z Z-+ Y. (3.11)
Stoidwmetr}' 27
holds. Equation (3. 13) means that the masses on both sides of the elementary
reactions are the same if calculated with the components of the vector
p = (p(l), ... , p(M)). The requirement may be written down in concise form
as
pa. = PP or p(a.- P) = 0.
The components of the vector p (especially if nonnegative values are allowed
too) may be conceived of as other conservative quantities, e.g. the number of
subunits (such as radicals or electrons) or charges, too.
As an example let us consider reaction (3.10). Here the usual quantities
that are supposed to be conserved are the masses of the enzyme molecules
and substrate molecules, therefore the matrix of ps, if denoted by Z here too,
is
s c p
~] ~-
0 I
I I
It is straightforward to generalise properties of the second elementary
reaction of(3.11) and the third elementary reaction of(3.12) respectively. If
there exists a vector p with positive co-ordinates such that
M M
L et(m, r)p(m):::; L ~(m, r)p(m) (3.14)
nr=l m=l
ptl ~ pp)
then the reaction is superconservative while if
M M
L a.(m, r)p(m) ;;:: L ~(m, r)p(m) (3.15)
m= I m~ I
3.4 Exercises
1. An atomic reaction is said to be complete if any of the conceivable
elementary reactions fulfilling the law of atomic balance can be written as
linear combinations of the elementary reactions of the given reaction.
(a) Check that reaction (3.1)-(3.2) is complete.
(b) Check that the reaction 2C + H 2 + 2C 2 H 2 = C 6 H 6 is not
complete.
2. Is the reaction
Br 2 ~2Br H2 + Br~HBr + H H + Br 2 -+ HBr + Br
complete?
3. Show that an atomic reaction obeying the law of atomic balance is
necessarily conservative as well.
4. Show that any reaction can be made conservative by introducing a single
new internal component.
5. Show that the Lotka-Volterra reaction is neither sub- nor
superconservative.
3. 5 Problems
In Problems 1-3 it is supposed that the reaction is atomic.
3
Fig. 3.1 Vol'pert graph of the Lotka-Volterra mechanism.
Stoidwmetry 31
ATP ADP
Fig. 3.2 Vol'pert graph of the Lohmann mechanism.
Citrate
H.~
Oxalacetate
I
Ac-CoA
\ Aconitate
~
-<(
Ac-CoA
L-Malate
)
lsocitrate
Glyoxylate - - - - - - -
Fumarate
...._________.. Succinate
in the case of the glyoxylate cycle shown in Fig. 3.3. (By the dual of a
graph we mean a graph obtained from the original one by interchanging
the vertices and edges but leaving the incidence relation unchanged.)
6· Show that acyclicity of (absence of directed cycles in) the Vol' pert graph
of a reaction implies subconservativity.
32 Mathematical models of chemical reactions
The minus sign above clearly expresses that the quantity of the component
X(3) decreases in this elementary reaction, and it does so by one. Hence the
change of x 1 due to the first elementary reaction is
x 1 (t +h)- x 1 (t) = -2k 1 (x 1 (t)) 2 (x 2 (t))3h + o(h),
where the coefficient - 2 expresses the fact that in this elementary reaction
X (I) changes by two.
Using these principles an equation of the kind
x(t + h) - x(t) = f(x(t))h + o(h) (4.3)
will arise for the vector of the concentrations
x(t) = (x 1 (t), x 2 (t), x 3 (t), x 4 (t), x 5 (t)).
Dividing eqn (4.3) by h and letting h tend to zero an equation of the form
x(t) = f(x(t))
is obtained that in our particular case is
.l- 1 = -2k 1 (xd 2 (x 2 )3 + 2k 2 x 3 (x4 ) 2 - k 3 x 1 x 4 + k 4 x 2 x 5
.l- 2 = -3k 1 (x 1 ) 2 (x 2 )3 + 3k 2 x 3 (x4 ) 2 + k 3 x 1 x 4 - k 4 x 2 x 5
.l-3 = +kl(xd 2(x2) 3 - k 2 x 3 (x 4 ) 2 (4.4)
.l-4 = 2k 1 (x 1 ) 2 (x 2 ) 3 - 2k 2 x 3 (x 4 ) 2 - k 3 x 1 x 4 + k 4 x 2 x 5
.l- 5 = +k 3 x 1 x 4 - k 4 x 2 x 5
What we have arrived at in eqn (4.4) is the usual mass action kinetic
deterministic model of reaction (4.1), well known to every student of
introductory physical chemistry. It may also be said that (4.4) is the induced
Deterministic models 35
kinetic differential e~uation. o.f re~ction (4.1). This is the model we shall
eneralise and study m detail m this chapter.
g The mass action kinetic deterministic model of the reaction
M k(r) M
L fX(m, r)X(m)-+ L P(m, r)X(m) (r = l, 2, ... , R) (4.5)
m=l m=l
zi 0 0
0 z2 0
diag(z) =
0 ZM-1 0
0 0 ZM
It is only for the special area of homogeneous reaction kinetics that this
question has been treated in this chapter so far. This question is usually
treated in textbooks of the corresponding fields of application, and not in
textbooks on differential equations; the only exception seems to have been
written by Ponomarev (1962).
An analytical method provides the solution in 'closed form', i.e. a formula can
be given for the time evolution of the concentrations. This possibility only
exists for a rather limited class of differential equations, even in the special
subclass of kinetic differential equations. Methods of how to derive solutions
can be found in the book by Kamke ( 1959) or in problems books like those
by Filippov (1979), Matveev (1983), or Krasnov et a/. ( 1978). The special
case of kinetic differential equations is treated by Rodiguin & Rodiguina
( 1964) who published the explicit solution for many first order reactions, and
by Szabo ( 1969), who collected results for second order reactions too
(together with realistic chemical examples).
As analytical solutions can be obtained rarely, numerical methods are
widely used in treating problems of chemical kinetics. Special methods of
numerical analysis had to be developed to overcome the problems raised by
Deterministic models 37
(7) Are the solutions of (4.6) nonnegative (or positive) if the initial
condition contains a vector of nonnegative (or positive) concentrations?
The affirmative answer to both of these questions has been given by Vol'pert
(1972). The meaning is that our model is plausible as it does not allow
negative concentrations. This is a fact that should be proved as it is not self-
evident from the form of (4.6) .
. More refined theorems by the same author connected to this area will be
ctted below as problems.
(8) What can be said about the extrema of the solutions? Are the solutions
monotonous, or do they have a specified number of maxima or minima?
Partial answers to these (rather hard) questions can be found among the
Problems and in Section 4.5.
Another set of problems relates the long time behaviour of solutions.
The simplest feature or pattern that a reaction can show is that after an initial
transient period all the concentrations tend to a limiting value that is called
the steady state concentration, stationary concentration, equilibrium con-
centration (this may be criticised from the thermodynamic point of view, but
is often used in the theory of ordinary differential equations), or singular
point. This equilibrium is independent of(or hardly dependent on) the initial
vector of concentrations, i.e. it is asymptotically stable.
It will be the task of Section 4.2 to examine this widely accepted view.
Section 4.4 deals with the possibility of the existence of more than one
equilibrium points.
It may also happen that the concentration versus time curves tend to a
periodic trajectory after an initial transient. This behaviour of differential
equations is used when modelling the extremely important phenomena of
oscillatory reactions. These reactions and their models will be treated in
Section 4.5.
(II) Does a certain kinetic differential equation of the form (4.6) admit
chaotic solutions?
Section 4.7 treats an inverse problem whose solution can be formulated. This
is the problem of the characterisation of kinetic differential equations among
the polynomial differential equations. In other words: how can one decide if a
Deterministic models 39
4.1.3 Exercises
1. Give a complete qualitative characterisation of the dynamic behaviour of
the reactions
(i) 2X~Y
(ii) 2X--+ Y--+ 3Z
using the explicit solution of the induced kinetic differential equation.
2. Using the result mentioned in Problem 6 below, or by any other method,
show that in the irreversible Michaelis-Menten reaction all the con-
centrations are strictly positive, if the initial concentrations of the enzyme
and the substrate are positive.
3. Show that the differential equation
.X = s(y - xy - x - qx 2 )
J = S- 1(/z - }' - X}') (4.9)
z= w(x - z)
4.1.4 Problems
3. Show the same holds for reactions with a single internal component for
which the largest stoichiometric coefficient occurs on the /eft-hand side of
an elementary reaction, in other words, for which the longest complex is
a reactant complex.
Hint. The trajectories are either wandering in a bounded set or tend to
a finite limit point.
4. Construct a reaction which has an induced kinetic differential equation
that has solutions defined on the whole positive half-line of real numbers
and which still does not belong to any of the reaction classes above.
5. Show that all the co-ordinates of a solution of an induced kinetic
differential equation are either strictly positive for all positive times, or
everywhere zero.
Hint. Consider the induced kinetic differential equation as a linear
differential equation with variable coefficients.
6. Let the subset of those components given which have strictly positive
initial concentrations. Give an algorithm to generate the set of compo-
nents which are strictly positive for all subsequent (positive) times.
Hint. Consult Vol'pert (1972).
and let us take the integral of both sides from 0 tot, assuming that x(O) == xo:
f
I
This formula expresses the fact that x(t) - x 0 lies in the linear space of the
column vectors of
y = p - at, in S.
is:
.X1 = - 2kt (xt )2 + 2k2X2
x2 = kl(x1)2- k2x2. (4.10)
and now
-2
y= [
I
therefore
dimS= I.
The meaning of the result above can be seen in Fig. 4.1, which shows the set,
E, of positive equilibrium points that is now a parabola. This parabola
intersects at a unique point the part of
x0 + S
which lies in the first quadrant. Explicit solution of (4. 10) shows that the
solutions (remaining all the time in the corresponding set
X0 = S)
tend to this intersection point, i.e. the equilibrium point is (locally relatively)
asymptotically stable. What we have given here is a more explicit explanation
for a special case of what we mean (or what the traditional chemist means!)
by regular kinetic behaviour, that is generally expected from reactions.
General criteria would be needed in order to be able to decide whether large
cl_asses of reactions do show regular behaviour. (The fact that not all the
k~netic equations behave in this regular way is shown by simple kinetic
differential equations with periodic solutions or multiple equilibrium points;
s~e Sections 4.3-4.6). To put it in more technical terms, regular behaviour is
~ e same as the quasithermodynamic behaviour introduced by Horn &
~ckson ( 1972). This behaviour can be found in a reaction if there exists a
sm_gle equilibrium point in all positive reaction simplexes; all the equilibrium
P~IDts are relatively asymptotically stable and no nontrivial periodic sol-
Utions exist.
th It would be desirable if a general sufficient condition ensuring quasi-
ermodynamic behaviour was formulated and related to the mechanism,
42 Mathematical models of chemical reactions
x.
x,
s X0 + S
and was independent from the actual value of the reaction rate constants.
He "Te we present two such general criteria. The first is the Zero Deficiency
The!orem by Feinberg (1972b), Horn & Jackson (1972) and the second is a
the orem by Vol'pert also from 1972.
C Before formulating these theorems we mention in passing that the aim of
Kr .am beck (1984) also was to give narrow limits for the wandering of
tra_jectories in the case of first order reactions.)
X( I)--. X(2)
X( I)+ X(3)--. X(4) (4.11)
\ /
X(2) + X(5)
an<t the same reaction with a reversible first step:
Deterministic models 43
X(l)~X(2)
X(l) + X(3)-+ X(4). (4.12)
'\ /
X(2) + X(5)
H e as usual all the complexes are written down exactly once. The directed
er
aphs above with the complexes as vert1ces
· an d w1t· h elementary reactiOns
· as
;~ges are the FHJ (Fein_berg-Ho~n-Jackson)-graphs of the reaction. The
FHJ-graph of both reactiOns cons1sts of two connected parts called linkage
classes. Let us denote the number of linkage classes by Lin the general case.
Now the deficiency of the mechanism is defined as
o = N- L- S,
where N is the number of different complexes and S is the dimension of the
stoichiometric subspace.
In the case of our examples N = 5, L = 2, S = 3, thus o = 0. It might be
pointed out that the value of the deficiency is independent of the value of the
reaction rate constants; thus it is a characteristic of a mechanism rather than
of a reaction. It is also true that the value of the deficiency remains untouched
by making an elementary reaction reversible (i.e. adjoining the antireaction
pair of an elementary reaction) or by making a reversible elementary reaction
irreversible.
The FHJ-graph may or may not have an important property of being
weakly reversible. This means that going along a directed route from one
complex into another one implies the existence of another directed route
from the second complex into the first one. If this is not fulfilled the graph (or
the reaction) is not weakly reversible.
Example (4.11) is not weakly reversible as there is a directed route (of
length I) from X( I) to X(2) whereas there is no route in the backward
direction.
. Example (4.12) is weakly reversible, although it is not reversible. The
mverted implication does hold: obviously, all reversible reactions (reactions
for which all the elementary reactions have their antireaction pair) are
weakly reversible as well.
~y now all the notions are at hand to state the zero deficiency theorem by
Femberg, Horn and Jackson.
Let us consider a mechanism with deficiency zero. Then
(I) if the mechanism is weakly reversible then with any choice of positive rate
constants there exists in each stoichiometric compatibility class
x0 + Sn(IR+)M
exactly one equilibrium concentration vector; every equilibrium point is
rhela~ively asymptotically stable and no nontrivial periodic solutions to
t e mduced kinetic differential equation exist;
44 Mathematical models of chemical reactions
The first part of the theorem means that within the class of zero deficiency
mechanisms weak reversibility is enough to ensure regular behaviour.
One of the simplest examples with nonzero deficiency and with exotic
behaviour is the Lotka-Volterra reaction:
X-+ y
X+ Y-+2Y
y-+ 0,
where N = 6, L = 3, S = 2, thus o = I, therefore the zero deficiency theorem
cannot be applied even in the reversible case.
The ecological interpretation of part (2) of the theorem lies in the fact that
it may give an answer to questions like this: can a reaction modelling an
ecological system evolve towards an equilibrium population in which all
species coexist, or, to put it another way, none of them become extinct?
Statements on coexistence have been formulated by several authors recently,
as, for example, by Epstein (1979), by Goh (1975), or by Freedman & So
(1985).
Finally, let us make a remark that may enlighten the significance of relative
asymptotic stability. As is known (from Exercise I of 4.1.3) the solutions of
the induced kinetic differential equation of the reaction
2X~Y
if the elemen~ary reactions and the corresponding rate constants are denoted
in the followmg way:
M k+(r) M
m
L ~(m, r)X(m) k~ L '(m, r)X(m).
~ 1 (r)m ~ 1
4.2.4 Exercises
I. Show that the Vol'pert graph of a weakly reversible mechanism is
necessarily cyclic.
2. Calculate the explicit solution of the kinetic differential equation of the
reaction 2X(l) ~ X(2) and show that they have all the properties
mentioned above. (Think about the impracticality of carrying through
the same procedure for a reaction with, say, five chemical components!)
3. Which reactions are of zero deficiency in the following two classes of
reactions:
(i) reactions with two complexes,
(ii) reactions with one component?
48 Mathematical models of chemical reactions
4.2.5 Problems
1. Show that all the reactions with three short complexes and with a single
linkage class show regular behaviour, either by proving the equality of
the deficiency to zero, or by directly verifying the properties needed for
quasithermodynamic behaviour.
Hint. Consult Horn (l973a, b, c).
2. Show that the deficiency of a (generalised) compartmental system is zero.
How can this statement be generalised?
Hint. Consult Horn & Jackson (1972, p. 94).
3. Show that independence of the complex vectors is assured by the strict
but chemically relevant requirement:
yry' = 0 for all complex vectors y, y'.
(The requirement above expresses exclusion of a special kind of auto-
catalysis and autoinhibition.)
(The statements of the last two problems together imply the fact that if no
elementary reaction contains the same component as both a reactant and a
product and if all the complex vectors are orthogonal to each other then the
deficiency of the mechanism is zero.)
X X X
4.4 Multistationarity
4.4.1 Multistability
Mu/tistability is the more general notion we start with. It means that the
system of differential equations has multiple attractors. Here we only deal
with multistationarity, the case in which all the attractors are equilibrium
points.
50 Mathematical models of chemical reactions
(I) there exists no species that appears in two or more complexes within the
same linkage class;
(2) there exists at most one linkage class in which two or more critical species
appear.
Then the induced kinetic differential equation for the corresponding CSTR
cannot admit multiple positive steady states, no matter what the feed
composition may be and no matter what (positive) values the residence time
and rate constants take.
From the theoretical point of view it is an easy consequence of this
statement that if there are no critical species in the reaction then multiple
positive steady states cannot occur. The practical information provided by
this consequence, however, is hardly trivial.
Another corollary of the first statement is: if there exists precisely one
critical species, and if within each linkage class there exists at most one
complex in which that species appears, then multiple positive steady states
cannot occur.
More refined statements can be found in Rumschitzky (1984) and in
Rumschitzky and Feinberg (in preparation).
A statement of the second class will also be cited from Feinberg ( 1980). We
emphasise that now we will not deal any more with CSTRs.
Consider a weakly reversible reaction with L linkage classes. Let 3 denote
the deficiency of the reaction and let 31 (I= I, 2, ... , L) denote the deficiency
of the /th linkage class and suppose that
Then the induced kinetic differential equation admit precisely one positive
equilibrium point in each stoichiometric compatibility class.
Finally, let us mention that it is a wide spread belief that any reasonable
model of an oscillatory chemical reaction is expected to show bistability for
another region of the parameter values. This belief formed the bases of a
criticism on the validity of the explodator. Literature on this topic can be
found in Farkas et a/. (submitted).
4.4.4 Exercises
I. Show that the weakly reversible conservative mechanism of Horn &
Jackson (1972)
3X~X+ 2Y
lj t !I
2X+ Y~3Y
52 Mathematical models of chemical reactions
has three positive equilibrium points if 0 < E < 1/6, and it has a single
positive equilibrium point if E is larger then 1/6.
2. Show that the mechanism
A(l) + A(2)-+ A(3)~2A(4)
" A(S)/
in CSTR admits precisely one positive equilibrium point.
3. Show that the mechanism
A(3) + A(4)~A(l)~2A(2)
A(l) + A(5)~A(6)-+ A(7)~2A(8)
in CSTR admits precisely one positive equilibrium point.
4. Show that the mechanism
2A(l)~A(2)~2A(3)~A(4)
~ ~
A(l) + A(3)
A(l) + A(4)-+ A(S) A(3) + A(5)~2A(7)
~ /
A(6)
admits precisely one positive equilibrium point.
5. Show that a weakly reversible reaction which is of deficiency zero or one
and which consists of a single linkage class admits precisely one positive
equilibrium point.
6. Show that while the Edelstein mechanism (Edelstein, 1970)
X~2X
X+Y~Z~X
4.4.5 Problems
I. Prove (by analytical or numerical methods) that the (logarithm of the)
steady state iodide concentration as a function of the (logarithm of)
k + k' is as shown in Fig. 4.3, if the kinetic differential equations of the
iodate-arsenous acid reaction is to be taken
Deterministic models 53
72
70
.. 6.8r----:::--:==--------,
6.4
·y;
-6.8
sp\ /sp
sn
~6.6~
• 64
0
0
-52
6.0
4.4
S.~ .6 1.8 2.0 2.2 2.4 2.6 2.8 3.0 3.2 3.4 3.6 4.01.__,..,~~~~:c-:':c-:'-;--;!"::--:"::--:':"
s.o· + log 11r + k'l 2.2 2.4 2.6 2.8 3.0 3.2 3.4 3.8 3.8 4.0
5.0 + log (k + k')
(a) (b)
6.8,-----------,
6.4
sn ...... •"sp
6.8r-------------,
6.4
sn
~::v
+ 5.2
0
~4.8
4.4
4 •0 ':':2.2-:-:'2.-o-4-:2':'".6--:2:':".8-3;!-:.0,..--:-.3.2,.--:-3.4-:--=3.-:-6--:3':'".8-.~.0
2.2 2.4 2.6 2.8 3.0 3.2 3.4 3.6 3.8 4.0
5.0 + log (lr + lr') 5.0 + log (lr + lr')
(C) (d)
Fig. 4.3 Multistability, mushrooms and isolas. (a) k' = 0 s- 1• (b) k' = 1.20 x 10- 3
S- 1•(C) k' = J.30 X J0- 3 S- 1• (d) k' = 1.42 X 10- 3 S- 1•
a2HN-I(x, yN-I>
4.5.8 Exercises
I. Show that the induced kinetic differential equation of the simple
consecutive reaction
X--+Y--+Z
under the usual initial condition
x(O) = I y(O) = z(O) = 0
can only have solutions for which y has exactly one strict local maximum
on the interval [0, + oo ). Is the special form of the initial condition
essential?
2. Applying the last statement of Subsection 4.5.2, show that the induced
kinetic differential equation of the reaction
H 2 0 + H0 2 ~ 30H
58 Mathematical models of chemical reactions
has no periodic solution if all the reaction rate constants are taken to be
I. Can you find other methods useful in this special case?
4.5.9 Problems
I. Applying the last statement of Subsection 4.5.2 show that, if the number
of atoms is one less than that of the components in an atomic reaction
obeying the law of conservation of atomic numbers, and if the stoichio
metric matrix is of full rank, then the induced kinetic differential
equation of the reaction has no periodic solution.
Hint. Consult T6th 1987.
2. Show that the differential equation (4.9) (the induced kinetic differential
equation of the Field-K6r6s-Noyes mechanism model of the
Belousov-Zhabotinskii reaction) does have periodic solutions at certain
values of the parameters.
Hint. Consult Hsii (1976).
3. Show that the generalised Volterra equation
does have a stable limit cycle for the case M = 3 (in contrast to the
M = 2 case).
Hint. Consult Hofbauer (1981 ).
4. Show that the induced kinetic differential equation of the reaction
k,
x~z
k.
k,\ fk, 2X+ Y~3X
y
shows stable oscillations for some regions of the rate constants and
certain intervals of total mass.
Hint. Consult Schneider et a/., (1987). From that paper, or from
previous papers by Erdi eta/. (e.g. Erdi & T6th, 1981) it turns out that
this reaction can be considered as a model for synaptic transmission
based upon the transmitter recycling hypothesis.
5. Show that the reaction
x~2x, X+ Y~z. z~2Y, Y~o
equation is such that none of the concentrations can have more than
M- 2 strict local extrema. Give sufficient conditions for having real
eigenvalues.
Hint. Cf. P6ta (1981), Hearon (1963) and West (1981).
7. Show that the induced kintic differential equation of the reaction
I I I 7
Y-+ 0 ~X-+ X
4
+ Y-+ 2X
they may tend neither to a stationary point nor to a periodic orbit: still they
remain in a bounded set. This is a qualitatively new phenomenon in the
possible behaviour of solutions of differential equations. It only appears
when the dimension is more than or equal to three.
This kind of behaviour - called chaotic behaviour - has no generally
accepted, strict in the mathematical sense definition, so we mention some of
the other characteristics.
In the theory of differential equations the Peano inequality ensures that the
solutions starting near each other cannot diverge from each other at a rate
that is above exponential. Chaotic solutions, however, are examples where
the divergence is not less than exponential. To put it another way, no matter
how exact the measurement of the initial conditions was, one cannot well
estimate the value of the solution at a later time.
Another characteristic of the solutions of such an equation is that they not
only look like realisations of stochastic processes, they can be proved to have
the same properties if one uses statistical methods.
It is a promising fact that the routes to chaos are qualitatively universal:
there exist sequences of events that occur when a parameter of the right-hand
side is changed until the chaotic regime is reached.
The reader can obtain a detailed, and more rigorous and vivid, introduc-
tion to the topic when he turns to the recent collection of papers edited by
Holden ( 1986) (see also Berge et a/., 1983).
controlled, will contain some noise arising from fluctuations in the control
parameters; therefore it is reasonable to ask: 'Will noise, always present in
experiments, inevitably mask deterministic nonperiodic behaviour (chaos)?'
Based it upon a summary of a large body of experience by groups in
Bordeaux, Virginia and Texas, Swinney and Roux state that the answer is no:
nonperiodic behaviour observed in chemical reactions is, at least in some
cases, chaos, not noise. It is even sometimes possible to separate the
experimental noise from the deterministic dynamics. The main argument for
this is that alternating periodic-chaotic sequences, period doubling, intermit-
tency, wrinkles on a torus- all these routes to chaos- have been found in
kinetic experiments.
The next step should lead to the meeting point with the other line of
research and should provide chemically realistic models of an actual reaction
that shows irregular behaviour. Chaos in the model should be proved and
understood theoretically, not just shown numerically.
At the time of writing there is no sufficient reason to be more resolute than
Ganapathisubramanian & Noyes ( 1982) who said: ' ... uncertainty must
62 Mathematical models of chemical reactions
4.6.5 Problems
I. Show that none of the proper and improper orthogonal transforms of
the Lorenz equation are kinetic equations.
Hint to solution I. The general form of the proper orthogonal
transformations can be found in Section 14.10 of Korn & Korn (1968).
The proof based on this is contained in Toth & Hars ( I986a).
Deterministic models 63
[ -crx +cry]
P(x, y, z):= rx- y- xz
xy- bz
The differential equation
Xnr =
R
L (JJ(m, r) - (X(m, r))k(r) nM
(xn,.)<l(m',r)
r =I m' =I
(4.20)
(m = I, 2, ... , M).
Deterministic models 65
m'= I
(Xm·)m(m'.r)
2X+ 2V
~
2X+ V-+X+ V
~
2X+ Y+ V
P/3Y + V
2
/ 3P
3Y+ 2V-+2Y+ 2V
""'- 4P
"-..'3Y+ Z + 2V
1 /'4Z + V
/2y
4Z-+X+ 4Z.
~3Z
On the other hand, the same equation is the induced kinetic differential
equation of the reaction
3
2X + V-+ 3 Y + 4V
' 1 4Z p
,/
(I) Is the lack of negative cross-effects not too strong a restriction in the
sense that a 'randomly selected' polynomial differential equation is
usually nonkinetic. How 'dense' is the set of kinetic differential equations
within the set of polynomial ones?
(2) For the sake of easy manipulation it would be useful to find an inducing
reaction with the minimal number of complexes, elementary reactions,
linkage classes etc. What kind of reasonable assumptions assure the
Deterministic models 67
span(9Pp) = §,
(Feinberg & Horn, 1977, p. 90), where§ is the stoichiometric subspace. But
dimS~ I, thus span(9Pp) cannot be the single 0 vector.
On the other hand, it is easy to construct two essentially different
conservative, reversible reactions with the same induced kinetic differential
equation (see Exercise 4). Such an example shows that it is not true that a
kinetic differential equation is induced by a unique reaction even within the
class of reversible and conservative reactions. The addition of other,
chemically relevant properties may be enough to ensure uniqueness.
The right-hand side of the induced kinetic differential equation of an
acyclic reaction cannot be the polynomial 0. As the reaction is acyclic it
should contain at least one point without arrows pointing towards it. If one
of these points corresponds to a component then the derivative of this
component surely contains a (negative) term that cannot be counterbalanced
as a result of other elementary reactions as no other point points toward this
point. If all these points correspond to elementary reactions, than the
components formed in this elementary reactions have a constant inflow that
cannot be counterbalanced.
Summarising the result of the previous two paragraphs: the right-hand
side of an induced kinetic differential equation can only be zero, if the
reaction is cyclic but not weakly reversible. This class of reactions has again
proved to be the most complicated and interesting.
The design of periodic reactions may also be treated as a uniqueness
problem. In Subsection 4.5.6 we sketched how is it possible to use the
methods of mathematical programming to design periodic reactions, or, to
use the present terminology, to investigate the uniqueness of reactions with a
prescribed linearised part.
Deterministic models 69
These statements together with the results of Feinberg, Horn & Jackson,
and Vol'pert imply that the dynamic behaviour of a generalised compart-
mental system is completely characterised in two extreme cases: if the graph
(either the V- or the FHJ-graph) is weakly reversible, or, if the graph is
acyclic then the reaction behaves regularly in the classical sense. The zero
deficiency theorem throws light on intermediate cases too: in the cyclic but
not weakly reversible case, and in the acyclic and not weakly reversible case,
some of the co-ordinates of the equilibrium point of the kinetic differential
equation must be zero.
The induced kinetic differential equations of generalised compartmental
systems of the three types are as follows:
(4.23)
where throughout
i,je{l, 2, ... , M}, i #j,
M
d; =- L ajijyi.
j~l
thus
72 Mathematical models of chemical reactions
(I) k;m = 0 (i e {0, I, ... , M}) is a first-order endpoint, the number of such
points is denoted by R 1 ;
(2) kom e ~ + is a second-order endpoint, the number of such points is denoted
by R 2 ;
(3) kmoe ~+ is an entry point, the number of such points is denoted by R 3 •
4.7.3 Exercises
I. Verify that a polynomial differential equation without negative cross-
effect can be induced by a reaction (called canonic reaction) that is
constructed in the following way:
(i) for each term kx~ on the right-hand side of the mth equation, where k
is positive, let us define the elementary reaction
k
L(X(m')X(m')--+ L(X(m')X(m') + X(m),
and
(ii) for each term - k' x~ on the right-hand side of the mth equation,
where k' is positive, let us define the elementary reaction
k
L (X(m')X(m')--+ L (X(m')X(m') - X(m).
Hint. Cf. Hars & Toth (1981).
2. Show that
(i) the generalised Volterra equation
Deterministic models 75
4. 7.4 Problems
I. Show that the generalised Volterra equation (4.26) in the case M = 3 is
conservative if and only if the matrix v is of the form
a
0
-c
where a, b, c > 0 (only if
abc :F 0
has previously been assumed) and the vector in the definition of
conservativity may be chosen p = (lfa, lfb, lfc).
Hint. Start from the definitions.
2. The property that the vector on the right-hand side of a differential
equation points into the interior of the first orthant is obviously a
necessary condition for negative cross-effects to be absent. Give a
polynomial example showing that it is not sufficient.
n~es, where N is an enormously large number. One should like to reduce the
niiillWr of coordinates using, for example, a linear transformation, that is by
1i1ear lumping:
i=Mx, (4.27)
Vl\ere M is an M x N matrix, and M is much smaller than N.
Such a lumping is only meaningful if the resultant process behaves
s~ilarily, with respect to some of its properties. For example, if the original
poce~s obeys a differential equation
i=Kx
tkn ;1 requirement may be that the resultant process obeys a differential
~ 11 ation of the same form:
i= tx
\lith ;tn M x M matrix t. In this case the lumping is said to be exact.
[t jS an easy exercise (Exercise 1 of Subsection 4.8.9) to show that the
lllatriX M in eqn (4.27) realises an exact lumping only if there exists an
},f x M matrix K for which
KM=Mi. (4.28)
In this case K may even be determined from (4.28), although not necessarily
~niq 11ely.
It may also be interesting whether the lumping is proper or not. Linear
lumping can be written in the following way:
M
Xm = L mmjxj (m = l, 2, ... , M). (4.29)
j=l
In the same paper cited above, Luss & Hutchinson consider the reaction
MA(i)-+B (i=1,2, ... ,N)
where M is a nonnegative real number. This system of equations may be
lumped exactly into a scalar equation only if the trivial case M = I holds. In
the case when M may be different from I upper and lower bounds may be
obtained for x. The authors succeeded in giving these bounds in such a way
that they only depend on the initial concentration of the lumped component.
Based upon the difference between the two bounds they suggest how to lump
the components, which are to be lumped into a new quasicomponent.
Another interesting result of theirs is that they are able to estimate the
sensitivity of the reaction rate of the lumped component with respect to
changes in the original reaction rates and concentrations without knowing
original reaction rate constants and initial concentrations, using nothing
other than easily measurable data.
Finally, let us mention that lumping is especially important in the presence
(in the model) of continuous components (Aris, 1969; Bailey, 1972). It may
be worth citing Aris (1969) here: 'When infinitely many components are
involved, a first order system may be lumped into virtually any kinetic law,
and probably an approximate form of such lumping accounts for the success
of some of the less enlightening empirical rate expressions.'
(I) It is obvious that one can also define nonlinear lumping. (This is the case
e.g. if one replaces mole numbers by mole fractions or weighted mole
fractions in a nonconservative system.)
(2) The same, or almost the same definitions apply to other types of models
as well (inside and outside reaction kinetics). The mathematical problems
arising are quite different. This may be the appropriate place to mention
that lumping is widely used in econometrics (see, for example the basic
reference text by Malinvaud (1969), or the book edited by Los & Los
(1974). In this context lumping is called aggregation.
Another name for the same notion is collapsing the states, and this
expression is used in the theory of stochastic processes. In this area some
of the questions are as follows:
- Is the lumped process Markovian, if the original one was?
-Does it fulfil at least the Chapman-Kolmogorov equations? (This is a
less severe requirement than the previous one.) It is very hard even to
formulate questions in this field. Starting points for the interested
78 Mathematical models of chemical reactions
It may be the case that reducing the number of components does not help
to solve a kinetic problem. In this case increasing the number of components
may be a solution. How, and why, is the topic of the next subsection.
H H
H
(a) (b)
Fig. 4.4 Eclipsed (a) and staggered (b) conformations of ethane.
have two basic conformations: the eclipsed one and the staggered one
depending on the angle between the two methyl groups that can take the
value ofO" or 180". Actually, this angle may take any value between o· and
180" (see Fig. 4.4), and the C-C bond energy of these species is different.
Therefore a more subtle analysis should take into consideration ethane
species characterised by an angle anywhere between o· and 180". The same
kind of problem arises when considering transition states in the transition
state theory.
Let us consider the isomerisation of ethane in a more detailed way. Let the
species characterised by the angle m be X(m), then one has the following
elementary reactions:
k(p.m)
X(m) -+ X(p) (p, me .A)
where .A is the set of components. If .A is a finite set then one has the
induced kinetic differential equation
Xm = -xP L k(p, m) + L k(m, p)xp (me .A). (4.30)
peJI peJI
If .A is an infinite set, say the interval [0, 180), then it is natural to replace the
sums in (4.30) with integrals. In order to do so a measure Jl is to be
introduced on .A to express the importance of the component X(m). Thus
the generalised form of eqn (4.30) is
Having introduced all the necessary notions the following theorem may be
stated.
If the induced kinetic differential equation of a complex chemical reaction
with a weakly realistic mechanism is a gradient system, then the mechanism
itself is canonically cross-catalytic.
The proof is left to the reader as a problem (of applying the elementary
theorem of calculus on the existence of a potential).
Let us try to interpret the meaning of the theorem. If elementary reactions
of type (l) are present among the elementary reactions of a weakly realistic
mechanism then it is not conservative. Therefore the result above throws light
upon the observation of Tuljapurkar & Semura (1979, p. 31) according to
which few gradient systems are known that are relevant from the point of
view of applications in chemistry or related subjects, because if the induced
kinetic differential equation of a conservative reaction is a gradient system,
then the underlying mechanism can only belong to one of the classes below:
(I) to the class of not weakly realistic and not canonically cross-catalytic
mechanisms, or
(2) to the class of canonically cross-catalytic mechanisms without elementary
reactions of the type (I).
Canonically
cross-catalytic
Conservative
___ Cross-catalytic
Weakly Canonically
realistic gradient
Fig. 4.5
(I) The question, how uncertain is the value of the solutions as a conse-
quence of uncertainty in the rate constants, can be answered by this
method. The most exact approach to this question is how the probability
density function of the parameters are transformed into the probability
density function of the solutions at any desired time point (Costanza &
Seinfeld, 1981 ).
(2) Sensitivity analysis can be used to judge whether a certain rate constant
can be determined from a certain measurement or not. One of the very
successful methods of answering this question is the principal component
analysis (Vajda et a/. 1985, Vajda & Tuninyi, 1986).
(3) The sensitivity coefficients may help us to fit the parameters to measure-
ments. In this case the initial estimates of the parameters are used to
calculate the sensitivity coefficients and these calculations are repeated
with newer values of the parameters, if necessary.
(4) The investigated complex chemical reaction may have a characteristic
feature such as the period length in an oscillatory reaction, the argument
84 Mathematical models of chemical reactions
of the local maximum of one of the concentrations etc. Such are the basic
notions of feature sensitivity analysis (Skumanich & Rabitz, 1982,
Beumee et a/. 1985). Using the sensitivity coefficients other types of
sensitivity coefficients can be derived in such a way that they reflect the
change of the interesting properties as a consequence of changes in the
parameters.
(5) Sensitivity analysis can be used to reduce the number of elementary
reactions based upon their relative importance. The method and its
convincing application to the Belousov-Zhabotinskii reaction can be
found in Vajda eta/. (1985) and in Vajda & Tuninyi (1986).
(6) Strength of dependence between the parameters can also be studied by
this method.
4.8.6 Symmetries
Mathematical models are intended to describe real phenomena, and in many
cases different phenomena can be explained by a common model. It is a
natural question to set up criteria, according to which two phenomena can be
qualified as identical, similar, or diverse. The question is in close connection
with the invariance of natural laws and with the fundamental symmetries
being established as a consequence of these invariances.
The term invariant is the adjective of a function, number, property etc.,
which remains unchanged under a certain mapping, transformation, or
operation. For instance the numbers 0 and I are invariants under the
operation of squaring, or parallel elements remain parallel during an affine
transformation, i.e. in this case being parallel is an invariant property.
A mapping, transformation, or operation is symmetric, if after their
application a certain function, number or property remains invariant.
In mechanics, time and space are primary concepts. Not only Einsteinian
but also Newtonian mechanics is relativistic, as the latter complies with
Galileo's principle of relativity. Galilean transformation, which introduced
the relativity of space but retained absolute time, does not change the
Newtonian equation. Using the canonic formalism it was shown about 1850
that the invariances under displacement in time, position and angle give rise
to conservation of energy, linear momentum, and angular momentum
respectively.
Invariance principles are closely connected with transformation groups,
since Felix Klein suggested classifying geometries based on the invariance of
theorems under application of transformation groups. An algebraic structure
is a transformation group, if the elements of the structure are transform-
ations satisfying the group axioms.
Emmy Noether showed in 1918 the way in which invariance under a
continuous group gives rise to constraints of motion and proved that the ten
first integrals of Newtonian mechanics follow from the in variance properties
Deterministic models 85
is a transformation if it is defined by
T,x(O) =x(t).
(The group property here means that T,+s = T,T,.) T, is a characteristic
example of continuous parameter dynamics calledflow. The induced kinetic
differential equation of a reaction may also generate a flow if it is known that
all the solutions of the corresponding initial value problems are defined on
the whole real line. A flow is denoted by (A, T), while if a measure ~invariant
under the transformations Tis also given then the notation is (A, T, ~). The
invariance of a measure ~ means precisely that
~(T,B) =~(B)
4.8.8 Exercises
I. Show the sufficiency of condition (4.28) for exact lumping.
2. Investigate exact lumping in the case when M = I.
3. Formulate a continuous component model for xylene isomerisation.
(Xylene is known to have three distinct isomers: ortho-, meta- and
paraxylene and the transition between them is usually described by the
triangle reaction, cf. Aly eta/. (1965).)
4. Verify that
(i) a generalised compartmental system is weakly realistic,
(ii) a second order reaction (in which all the reactant complex vectors
have a length smaller than three) is weakly realistic,
(iii) the reaction rates of all the elementary reactions of type (ii) in a
weakly realistic mechanism are linear functions of all the con-
centrations separately.
4.8.9 Problems
I. Show that condition (4.28) for exact lumping is necessary as well.
Hint. Start from the definition.
2. Give a necessary and sufficient condition for the solvability of (4.28) inK.
What about the case when M is of full rank?
3. State and prove existence and uniqueness theorems on the continuous
component model.
Hint. The Picard-Lindelof theorem for differential equations in
Banach spaces may be used; see, for example, Lang ( 1962).
4. Reformulate the abstract differential equation (4.33) into a partial
cJO Mathematical models of chemical reactions
differential equation in the case when ..It = [0, I), q{ = [0, I) and both J.1
and A. are the Lebesgue measure.
?· Prove the statement of Subsection 4.8.3.
Hint. Cf. Rudin, 1978, Remark 10.35.
6. Solve the induced kinetic differential equation of the reaction
1 2
X+-0+-X+Y
1! 1! 1j
2X2. Y.!.-2Y
Hint. The induced kinetic differential equation for x and y is a
=
Cauchy-Riemann- (or Erugin-) system, therefore for z x + iy an
easily solvable (separable) differential equation can be written down.
kinetics does not reduce the importance of deterministic kinetics, since for
great classes of phenomena the stochastic model is only slightly 'better' than
the deterministic approach, while the mathematics of the stochastic model is
much more complicated. Practically speaking, the set of stochastic models
for which we can find an analytical solution is much more restricted than that
of deterministic models.
The subject of this chapter is organised as shown in Table 5.1.
Table 5.1
Theoretical
background
,(;)
QJ,..~, .
.s- /c
'I J ~.s'f. V~
~--------~~v~-------, &~ I'"
Methods of solutions: ;so Small systems
exact results 5.5
approximations
qualitative properties
simulation methods
5.3 Unstable systems
5.6
Stationary probability
distributions
5.7
Stochastic models 93
the latter term expresses the approach by which the (generally, but not
necessarily) deterministic system is influenced by external (environmental)
noise. While internal fluctuations are generally small (except for instability
phenomena), external noise can be arbitrarily large, since they are controlled
from 'outside'.
The theory of noise-induced transition (Horsthemke & Lefever, 1984a)
emphasise that fluctuations (noise) superimposed on deterministic motions
might have a crucial role in forming 'ordered structures'; i.e. they may
operate as 'organising forces'. Noise may destroy the stability of the
deterministic attractors and stochastic models might exhibit completely
different qualitative properties from those of the deterministic model.
State
space:
Jump
Character of
the motion:
I
lx- .1'1 < 6
lim lf!lt (x; - y;) (xk - Yk)f( y, t; x, t + !lt) dy = b;k(x, t). (5.7)
At-0
oj(y, s; X, t) + ~ ·( )oj(y, s; X, t)
as ~ ~ x, t
i= I Y;
a
(5.9)
+!
2
I
i.j= 1
bij(x, t)i)2j(y, s; x, t)
oy;oyj
= 0,
2 i.j= I OX;OXj
og(x, t)
at Lx 11 (
= j=lj. a )j [Dj(x,
-!1 t)g(x, t)]. (5.13)
uX
(5.17)
(5.19)
and
(5.20)
which are Kolmogorov equations with the P;k(t, s) = O;k boundary condition,
and
(5.21)
adopt the more abstract approach offered by the modern theory of stochastic
processes, we may not go further without mentioning its main concepts.
At least two kinds of advantages come from the use of the semigroup
operator approach. First, a mathematically justified approximation of
discontinuous processes by continuous processes can be obtained. Second,
not only models for purely temporal processes (e.g. 'pure' chemical reactions)
can be given, but stochastic models of spatio-temporal phenomena (e.g.
chemical reactions with diffusion) can be defined in a mathematically concise
manner. The celebrated monograph on the modern approach to Markov
processes is still Dynkin's book (1965), and for chemical applications see
Arnold & Kotelenez (1981).
Some definitions:
where the function a; and bij are the same as in (5.6) and (5.7).
A relatively simple example will be given for approximating a Poisson
process (a very particular discrete process) by a Brownian motion (Kurtz,
1981).
Stochastic models 101
for all T > 0; and Wn::. W, where W is a Brownian motion defined with
generator
- d2J
Af = l/2Adx 2
(for A = 1 this is the generator of the Wiener process that we shall use in the
definition of the stochastic integral).
Equation (5.27) is an ordinary differential equation in function space.
Giving an appropriate interpretation of the state-space it can describe
'spatiotemporal phenomena'. Thinking of chemical applications we might set
the state-space as the unification of the 'real three-dimensional' space and the
m-dimensional 'component' space. However, the formulation of stochastic
models of chemical reactions accompanied by diffusion is not easy, and
practically all of the applications treat both the component space and the real
space by discrete methods. Although it is quite natural to apply the notion of
discrete state-space for chemical reactions, at least from the mesoscopic point
of view, it might be better if diffusion were described in terms of continuous
models. In Chapter 6 we return to this question.
5.2.2 Models
The chemical reaction (!/, 9f, (ex, ~). k) is studied. Assumptions:
II. mo(L\t)_
---
O
<1r-o L\t
(4) the infinitesimal transition probability matrix is specified by
Pjl =L re R1_ i
k(r)ja.<·.r) (j, leN~, j # /). (5.34)
pft =L reRI-i
k(r)[j]~<·.rl (j, /eN, j # /) (5.35)
Remark: As a practical example, the assumption (4)* means the following for
the reaction 2X--+ Y. The deterministic model is
i: 1-kp
= kc 2 = -V2
- Pit) L L k(r)j"(·.r>,
keN: re.Jik- 1
Pt(t)
1
= L-.,
~ Pk(t) ~ k(r)ka.(·,r)
1 L.. (5.36)
keN(, reJI1- k
Equations similar to (5.36) and (5.37) can be derived using assumption (4)*
instead of (4): in this case we might call the equations the combinatorial
model. Generally these equations are called the master equations. The
structure of (5.37) is clear. Two types of elementary reactions are taken into
consideration. The effect of the first class of reaction is that the state j is
available from I (I can denote different possible states). The second class
describes all of the possible transitions from the state j. Therefore we can
write:
Pj(t) = L transition to state j from /- transition from state j to /.
I
Sometimes the expressions 'gain term' and 'loss term' are used. Unfortu-
nately the stochastic model appears more 'complex' than the associated
deterministic model. Even in the case of the reaction X~ Y for Pit) we get
Pj(t) = &.(j + l)Pj+ l(t)- &Pit)
(5.38)
Pj(O) = oii.•
where j 0 is the quantity of X at the time 0. The dimension of the system of
differential equation is j 0 + I.
It is often remarked that stochastic models of chemical reactions can be
easily extended to 'birth and death' type phenomena that take place in other
populations of entities. Although we agree with this approach in principle,
we have to remark that from the mathematical point of view the relationship
between the three categories, namely stochastic models of reactions, simple
birth and death processes (Karlin & MacGregor, 1957) and Markov
population processes (Kingman, 1969) is not simple and is illustrated in
Figure 5.1.
Stochastic models 105
Stochastic models
of reactions
F(z, t) =L Pj(t)zj
j=O
00
The moments are also directly obtained from the generating function:
j, = 0 j, = 0
oo
L ... L
:c
j0 = 0
Pj,j, ... j.(t) nz{'.
m
I= I
(5.48)
= E[~(t) 2 )- {E[~(t)]}2.
because the expression for the derivatives of the moments contain the higher
moments, and so a closed system of equations cannot be set up.
Sometimes the approximation E[!;(t) 2 ] = (E[!;(t)])l is adopted. This as-
sumption is equivalent to the condition that D 2 [!;(t)] = 0 and so it corre-
sponds to the omission of the stochastic character.
If D 1 -+ oo (i.e. for large systems), then A.D 2 [!;(t)]-+ 0 and with
TJ(t) = D 2 - !;(t) and l;(t) = D 3 - l;(t), (ll(t) is the quantity of Y, l;(t) is that
of Z) we obtain
dfdt E[!;(t)] = A.E[TJ(t)]E[!;(t)] - ~E[I;(t)]. (5.55)
This equation is analogous to that for the deterministic model. Similar kinds
of equations can be derived for more general cases.
5.3.5.4 The behaviour of the reaction during the initial period of the
processes
Pj(t) can be approximated using Maclaurin series expansion:
t"
Pj(t) = L Pj"l(O)nt.
<1J
• =0 •
(5.56)
(5.59)
function P1 it follows immediately that the general evolution equation for the
generating function FK(z, t) is
a
at r(z, t) = L k(r)(z~< .r) -
( a)"(·,r) FK(z,
z"< .r)) az t) (5.60)
rE.!I
5.3. 7 Approximations
A great amount of 'stochastic physics' investigates the approximation of
jump processes by diffusion processes, i.e. of the master equation by a
Fokker-Planck equation, since the latter is easier to solve. The rationale
behind this procedure is the fact that the usual deterministic (CCD) and
stochastic (CDS) models differ from each other in two aspects. The CDS
model offers a stochastic description with a discrete state space. In most
applications, where the number of particles is large and may approach
Avogadro's number, the discreteness should be of minor importance. Since
the ceo model adopts a continuous state-space, it is quite natural to adopt
CCS model as an approximation for fluctuations.
One of the most extensively discussed topics of the theory of stochastic
physics is whether the evolution equations of the discrete state-space
stochastic processes, i.e. the master equations of the jump processes, can be
approximated asymptotically by Fokker-Planck equations when the volume
of the system increases. We certainly do not want to deal with the details of
this problem, since the literature is comprehensive. Many opinions about this
question have been expressed in a discussion (published in Nicolis et a/.,
1984). However, some comments have to be made.
The question can be studied only in those models that contain the volume
explicitly. The original master equation works with numbers of components,
i.e. discrete valued extensive quantities. To investigate our- physically and
not mathematically motivated - problem these quantities have to be
transformed to quasicontinuous variables by dividing with the volume V.
'Quasicontinuity' means that it becomes continuous when Vtends to infinity.
The first modern treatment of the connection between the master equation
and the Fokker-Planck equation was given by van Kampen (1961) who
introduced a power series technique. He explored a systematic expansion
method in a series of papers (see van Kampen, 1981 ).
As a result of the expansion in a 'small parameter', that is generally v- 1, a
Fokker-Planck equation can be obtained approximately. From this appro-
ximation the average behaviour of the system and a Gaussian approach to
the fluctuations can be calculated. The intensive quantity (random variable)
~(t) = ~(t)/V can be set up in the form
Stochastic models Ill
where D. is the velocity of the nth conditional moment, and the notation
=
x jjv is used.
4. The Fokker-Planck equation
(5.65)
This relation generates the continued fraction that is, in general, infinite.
Explicit expressions were derived for the continued recursion coefficients in
terms of the elementary reaction rates. The method has also been applied for
cases when two-step jumps occur.
Example
For the reaction
kl kl
A+ B¢. C + D A+ C¢. B + D
k, k.
Y(l( j'v-
Lb-____J
(c) Explosion (e) No oscillatory behaviour
Fig. 5.2 The character of the behaviour of the Lotka-Volterra system depends on the
value of rate constants, initial values, and even on the starting point of the
pseudorandom number generator.
Stochastic models 115
g(x, t) ~ 0; f
-x
"'
g(x, t)dx = I; g(x, 0) = ox,(x), (5.68)
where ox 0 is the Dirac distribution. (Of course the term 'distribution' is used
in the sense of 'generalised function' and has nothing to do with 'probability
distribution'.) Considering (5.67) as a partial differential equation for the
distribution g(x, t) it can be proved:
The unique solution of (5.67) satisfying the condition (5.68) is the ox(t)
distribution, where x(t) is the solution of the initial value problem
x(t) = Dl(x(t)); x(O) = Xo. (5.69)
The statement can be proved by solving (5.67) for the function g( · ), and
taking into consideration the condition (5.68). The theoretical basis of the
procedure can be found in Hormander (1964), and the statement may be
interpreted in four different ways.
(I) The deterministic motion (i.e. the solution of the initial value problem)
can be considered as a particular stochastic process satisfying just (5.67)
and (5.68); (Lax 1966a).
(2) Starting from a stochastic model and neglecting the velocity of higher-
than-first-order moments, the (5.69) solution is obtained, which is the
deterministic motion.
(3) From a formal point of view (5.13) is analogous to the continuity
116 Mathematical models of chemical reactions
2D2 =
aD
oa.
1 E[a.(O)a.r(t)) + E[a.(O)a.(tf] oa.1 ,
aD (5.70)
where a.(t) denotes the 'distance' of the physical quantities from equilibrium.
The time representation can be converted to a spectral representation by
the Wiener-Khintchine relation. A fundamental property of stochastic
processes a.(t) that are stationary in the broad sense is that they can be
characterised by the time correlation function:
f
0
The time correlation function expresses the effect of the value of the
process at t for values at t + 't. Characteristic properties of C when E[cx] = 0:
lim,C(•) = £[~ 2 ]; lim C(•) = 0. (5.72)
S(ro) = _!_
27t
f C(.-)cosond.- = _!_(cx
27t
)'q y(ro)
2
y(ro) + ro 2
. (5.74)
-oo
The CCD model of (5. 76) is the following system of differential equations:
a= -k.ab + k2c- k3ac + k4bd i: = k 1ab- k 2c- k 3ac + k 4bd
b = -k 1ah + k 2c + k 3ac- k 4bd d= k 3 ac - k 4 bd.
(5.77)
Knowing the equilibrium value (a*, b*, c*, d*) of the concentrations, k 1 /k 2
and k 3 /k 4 can be determined:
(5.78)
Not more than M (the number of components) reaction rate constants can be
expressed by the equilibrium concentrations and by the other reaction rate
constants, even in the most favourable case. (The maximal number of
reaction rate constants in a chemical reaction is N(N + I), where N is the
number of different reactant and product complexes.)
The CDS model considers the equilibrium as a stationary stochastic
process. Information on stationary stochastic processes can be obtained
from the equilibrium distribution or from the realisations.
The equilibrium distribution characterises (but not uniquely) the equili-
brium fluctuations. In a closed compartmental system, M- I functions of
the reaction rate constants can be determined. It may be guessed that not
more than M functions of the rate constants can be determined also in the
general case.
It is also possible to analyse the realisations using the method of waiting
times. This method is based on the theorem of Doob mentioned earlier. The
time spent in the statej is an exponentially distributed random variable with
parameter qj, where I - q/lt + o(At) is the probability of the event that no
reaction will take place in the interval (t, t + At). In the case of the reaction
(5.76):
(5.79)
As the expected value of an exponentially distributed random variable with
parameter A. is I /A., and the arithmetic mean is the unbiased estimator of the
expected value, therefore 1/qj may be estimated for all such j that appear
among the concentration vectors measured in equilibrium. Making the
supposition - that is not well-founded statistically - that when 1/qj is
estimated qj may be estimated, a satisfactory number of independent
functions of the reaction rate constants can be determined. Let us suppose
the equilibrium valuesj; = (a;. b;, c;, d;) have been measured (i = I, 2, 3, 4) in
reaction (5.76). Then the following functions of the reaction rate constants
can be estimated:
k•a•h• + k2c1 + k3a1c1 + k 4 h 1d 1, k 1a 3h3 + k 2c3 + k 3a 3c 3 + k 4 b3d3,
k1a2h2 + k2c2 + k3a2c2 + k4b 2d 2, k 1 a 4 b4 + k 2c4 + k 3 a 4 c4 + k 4 b4 d4 .
(5.80)
As these functions are linearly independent (in the ks) when the j;s are
Stochastic models 119
appropriate, therefore all the four reaction rate constants can be determined.
The method of jumps makes possible a statistically well-founded analysis
of the realisations (Billingsley, 1974). The procedure is as follows: examine
how many transitions have taken place from state j to states j + (- I, - I, I,
O),j+(l,l, -I,O),j+(-1,1, -l,l)andj+(l, -1,1, -1). Relative
frequencies of the transitions give an estimation of the probabilities
(5.81)
It is not clear for the time being- from the point of view of statistics-
how to extend the methods of waiting times and jumps when errors of
measurement are also taken into account.
The spectrum of the fluctuations also contains useful information on the
kinetics of the reaction. Quantities of some of 'the components and some
functions of' the reaction rate constants can be calculated from the spectrum.
k
For the reaction X ::i: Y the spectrum is
k,
S( ) = 4(k 1 + k 2 )- 1j*(l - j*/N) (5.82)
v I + [21tv(k 1 + k 2 ) 1)2
Here N is the total quantity of the components and j* is the equilibrium
quantity of the component X (Feher & Weismann, 1973).
Noise analysis, in particular the evaluation of experimental spectra, has
been extensively used for interpreting the kinetics of transport processes in
membranes. (See, for example Frehland (1982) and Section 5.5 ofthis book.)
In Chapter 7 an example will be given of how to use stochastic kinetics to
obtain stoichiometric and kinetic information referring to the transmitter-
receptor interaction at the surface of the postsynaptic membrane of nerve
and muscle cells.
Experimental methods that may be used in applications of the
fluctuation-dissipation theorem of chemical kinetics will be mentioned in
Subsection 5.5.4.
we get
0 0
ofot F.(z, t) = ex(e + I) ot F.+ I (z, t) - exez ot F.(z, t)
- (~ + y)(l -e)F.(z, t) (5.86)
+ (~ + y)z(2- e)F._ 1(z, t) (e = 0, 1).
The solution of this equation is (Aninyi, 1976):
rexp[-~/ex(z-
F0 (z, t) =
+
+
r :z:
f.L., fL.,
l)exp(-yt)
~exp(-(ex + y)t)
r<•l [y - (y + A.l"l)z]q. exp(J..\•l)
(5.87)
I J..(•J
_ I
(5.87)
i= In =0 1
0 ~ q. < S 0 - 1, (q. = n), and the A.s are the roots of the equations
1.. 2 + [~ + cx(n + 1) + y]A. + cxy(n + 1) = 0; (n = 0, 1, ... S 0 - 1).
All the A.s are different negative real numbers.
The absolute probabilities can be calculated from the generating function,
and they appear as finite sums of exponential functions.
The CDS and CCD models of Subsection 4.1.1 have been compared. The
deterministic value always evolves above the expectation, and their dif-
ferences can be 20-30% of the former (see Fig. 5.3).
(a)
E, S
1.0
(b)
E, S
1.0
\
0.5 \
\ ·,
' ·,·,E(~)
......
0 1'-.2345678
--·-
-0.2~ ~
E(t;)- D(s)
0123456789
Time
Fig. 5.3 Time course of the Michaelis-Menten reaction. k 1 = k_r= k 2 = I. Deter-
ministic solution ([£], [S]) and stochastic expected values (£@, E(t;>) are compared
(a). The stochastic expected value £(~) is plotted together with its variance (b).
Here X' is the reduced vector derived from X by removal of the explicitly
written components. YKv YsL and PL are rate parameters, S refers to the
solvent, t and A are omitted for the sake of brevity. Using again the
multivariate generating function (5.48), F is in the form:
XLmax""o
P(X; t, A) n z[L.
Lmu
L= I
(5.90)
The evolution equation for F is
Lmax Lmax oF
iJF(z, t; A)jot = L PL(zL-
L=2
l)F + L YsL(l
L=2
- zL)"JZ
L
Lmax Lmax oF
+ L"J;2K"J;2 YKL(zK- zL) iJzL
Lmax
+ L ... L L y,d(XL + l)Ox,.lP(XL + I, xi - I, X')
X1 XLmax L = 2
- XLOx,.oP(X)] n z{
Lmax
I= I
1• (5.91)
Stochastic models 123
(5.94)
Lmu
where the (~K(t)) bracket denotes the average occupation number in well K
at time t. The calculated value of N.,P(t, A) is
Ncxp(l, A)
= exp { -llbll- 1 :~: ~L(A>[:~>K 1 BKL(exp llKt- l)bK 1 + B 1Lb11 r]}
:X: :X:
numbers can be less than 104 and channel density can be as low as I J.lm- 2
implies the adequacy of using stochastic methods for describing membrane
kinetics. The ionic transport system is thought to consist of a number NP of
identical channels. According to the basic assumption the measured current
is proportional to the number of channels being in conducting 'open' state.
The measured current J(t) as a random variable is given:
J(t) := Npj 5 P 1 (t) = j 5 Nt(t) (5.97)
where } is the current through a single open channel, P 1 (t) is the probability
5
that one channel is in the open state. Current fluctuations occur because of
the fluctuation in the number of open channels N 1 (t)
The variance crf is given by
crf = (} 5 ) 2NpPf(I - Pf), (5.98)
where Pf = lim P 1 (t).
r~x
The kinetic model adopted by Hill & Chen ( 1972), (but see Chen, 1978),
assumed that the channels are independent and that each one consists of x
independent subunits. Each subunit can be in either one of two configura-
tions. The state of the channel is given by the number of subunits in a
particular configuration. A channel is thought to be nonconducting unless all
x subunits are in the appropriate configuration. For the particular case of
x = 2; the kinetic scheme is
rm~rn~rn
(5.99)
P0 P1 P2
where [1] denotes a channel in which j of the subunits are in adequate
configuration, pj is the fraction of M such channels in that state. At
equilibrium
N]. = Mp~ = M[cx/(cx + ~)]2 =Mn~
N 0 = Mp"• = M[~/(cx + ~)]2 =M(l - nx) 2 (5.100)
Nr = Mp; = M[2cx~/(cx + ~)2] =M2nx(l - nx).
Often the current spectrum is measured. Theoretically, the spectrum of
'component' fluctuation is
Kolmogorov equations
Correlation function
Calculated
noise spectrum
no
I
X
(1) the expectation coincides with the process coming from the deterministic
theory, i.e.
Stochastic models 129
E[l;(t)] ± D[l;(t)]:_. _ _ _ _ _
E[l;(t)]:------
-·-
,..,..... .,.,.
...-· --·-· ..--·---·
k,
A+ X-+2X
k,
X+ Y-+2Y (5.114)
k,
y -+0.
Here X, Yare internal and A external components, and 0 is the zero complex.
The deterministic kinetic equation is
dx(t)/dt = k 1 ax(t)- k 2 x(t)y(t)
dy(t)fdt = k 2 x(t)y(t) - k 3 y(t). (5.ll5)
The equation (5.115) has one trivial (x~1 = y~1 = 0) and one nontrivial
stationary solution:
(5.116)
According to linear stability analysis the trivial stationary point is an
unstable saddle point, while the nontrivial stationary point is a marginally
stable centre.
The Lotka-Volterra system exhibits undamped oscillation, and the ampli-
tude of the oscillation is determined by the initial values (and not by the
structure of the system). The equation of the trajectory is
x +y - x 0 In x - y 0 In y - H = 0, (5.117)
where H is the integration constant that is determined by the initial value.
The stochastic version of the Lotka-Volterra model leads to qualitatively
different results from the deterministic approach. The master equation is
dP,,.(t)/dt = - (k 1 xa + k 2 xy + k 3 y)Pxy(t) + k 1 (x - I )aPx _ 1.,.(t)
+ k 2 (x + l)(y- l)Pn 1.y- 1(t) + k 3 (y + l)P,_,.+ 1(t). (5.118)
It can be shown (Reddy, 1975) that
k,
A-+X
k,
B+X-+Y+C
k, (5.120)
2X+ Y-+3X
k.
X-+E,
that has a deterministic kinetic equation:
dx(t)fdt = k 1 a- k 2 hx(t) + k 3 x 2 (t)y(t)- k 4 x(t)
(5.121)
dy(t)/dt = k 2 hx(t) - k 3 x 2 (t)y(t).
Introducing the dimension-free variables
X=
- yk;.x,
{k; y- {k;
= yk;.y,
and the parameters
A= (kta)/k 4 jk 3 /k 4 , B = (k 2 /k 4 )h,
the following system of differential equations is obtained:
dXfd• =A- BX+ X 2 Y- X
dYfd• = BX- X 2 Y. (5.122)
Equation (5.122) has one stationary solution:
X 0 = A, Y 0 = B/A. (5.123)
The necessary and sufficient condition of the stability of the stationary point
is B < I + A 2 • It can be shown for this system that an unstable stationary
point implies a limit cycle.
·stationary and time-dependent solutions of the master equation of the
Brusselator have been approximately established by Turner ( 1979). The main
point of his procedure is that the stationary solution of the master equation
can be seen as a time average over a period of the limit cycle of Pn(t), the
time-dependent solution. Some illustrative results of the symmetry-breaking
bifurcations in the stochastic Brusselator model are shown in Fig. 5.6 (after
Nicolis, 1984).
log P (b) c)
(a) y
X
y
X "'(X,, Y,)
Fig. 5.6 Transition to a limit cycle in a two-variables stochastic model: (a) For
A. < A.,, there is only one stationary distribution of probability P, peaking on the
stable steady state (x,, y,); For A. > A.c, there is a family of time-periodic distributions
(differing by a phase), peaking on the stable limit cycle solution (x,(t), y,(t)).
0.75
0.5
0.25
n
0.25 0.5 0.75
P=1~T=Tc
Though (a)-(d) are not generally fulfilled, e.g. the range of validity of(b) is
definitely narrow ('ergodicity') in the case of y = 0 they hold. The temporal
134 Mathematical models of chemical reactions
change of the shape of the distribution and the relaxation times are visualised
in Fig. 5.8.
0 (1 - ~) 0 (1 - ~) 0 (1- ~)
n n n
Fig. 5.8 Relaxation of distribution function Pn(t) from initial state to final state via
quasistationary state.
(5.126)
R (a- (a 2 -
3
3k) 112) ~ 0 and R (a - (a 2 -
3
3k) 112) ~ 0
R has a triple root, if k =am and b = a 3 /27. The phases are represented by
the stationary points. The triple root might be associated with the 'critical
point'.
Since the constitutive equation of the ':'an der Waals gases is also a third
order polynomial, R(x) can be associated with the equation
p _ RT _ a 1 + a2
-y V2 V3
Stochastic models 135
This is not the only example dealing with the role of fluctuations in general,
and in the vicinity of bifurcation points, specifically.
Based on the approximative calculations of Nitzan et a/. (l974a) it was
suggested that the stationary distribution can be multimodal, and the
location of the maxima can be associated with the stable stationary points of
the deterministic model, and the minimum corresponds to the unstable
stationary point. This result does not hold for small systems; and the
question ofmultimodality will be discussed in Subsection 5.7.4. Matheson et
a/. (1975) obtained a qualitatively similar result, they also estimated the
relaxation time of the process from the quasistationary state. Nicolis &
Turner (1977) calculated the variance at the critical point and in its vicinity.
Under and beyond the critical point the variance is a linear function of the
volume, but at the critical point it shows a stronger volume-dependence:
lim cr 2 ( oo) = const. V 312 + o( V).
v-oo
N-oo
N/V-consl.
This result shows that the formulae (5.1) and (5.2), which suggest that the
fluctuations are insignificant for large systems, are not always valid.
Further remarks
Gillespie (1979, 1980) has emphasised the possibility of using stochastic
simulation methods for identifying the quasistable stationary states and
calculating the associated mean transition times, mean fluctuation periods,
and effective fluctuation ranges.
It was argued (Horsthemke & Brenig, 1971; Blomberg, 1981; Haenggi et
a/., 1984) that the nonlinear Fokker-Planck equations (derived in a slightly
different way) also operate correctly in the critical point.
Related questions in connection with stochastic bistable systems are
discussed in Subsection 5.6.6.
U(x) = -2 f[A(x')/B(x')]dx',
0
Remark
The method has also been extended to infinite state-space models by Borgis
& Moreau (l984a) who studied the reaction A -+ X, A + X-+ 2X,
A + 2X-+ 3X. The coefficient matrix of the master equation is a tridiagonal
infinite matrix. The eigenvalues and eigenvectors of this matrix are the limits
of eigenvalues and eigenvectors of truncated matrices obtained by introduc-
ing a reflexing state for X= N where N is the number of molecules at which
the system is truncated.
4. A scaling theory of transient phenomena near an instability point has
been formulated by Suzuki (1976a, b, 1980, 1981, 1984). The theory is based
on a generalised scale transformation of time and equivalently on a nonlinear
transformation of stochastic variables. The whole range of time is divided
into three regions, namely the initial, scaling and final regimes (Fig. 5.9). He
o•[J(t)J ,,
/ ' /(t)
--
t
Fig. 5.10 Anomalous fluctuation near the instability point: J(t) denotes the most
probable path or deterministic motion y(t) and D 2 [y(t)) is the variance of the order
parameter.
g'1(x) = [ det ;;~x*) JM12 exp[(- I /2k 8)(x - x*)T S" (x*)(x - x*)]. (5.133)
g'1 (x) = [21t mt x! JM/2exp( -~(x- x*)T(dgx*)- (x- x*)) 1 (5. 134)
P(N) = (x
*N
) e
-N Il (x!)Nmexp(- I Nm)
= m= 1 m= 1
N! M
0Nm!
m= I
and
(5.140)
Stochastic models 141
(5.141)
m~O Am
M (n + ))
m m!
+ (n 1)
= r~l k(r) ~(r) (~(r))!
R
and
,t.
m~o Bm(~)m! = k(r)(~~r))(~(r))!.
Equations (5.139) and (5.140) hold precisely if r exists such that ~(r) = 0 (and
then CI(r) = 1). From the chemical point of view it means that the reaction
(5.136) contains an elementary reaction X-+ 0 (first-order decay or outflow).
Based on another theorem we may state that a birth and death-type
chemical reaction with one internal component leads to unimodal stationary
distribution. More precisely, let us assume that a chemical reaction can be
identified with a birth and death-type process with the birth \j1 and death J.1
rate:
I
Pi= exp(-
m= I
I Am)~,iJ.
(jEN~; AE(IR+)M; Am= prmA)
if <pm is a homogeneous linear function.
If the stochastic model of a chemical reaction can be identified with a
simple birth and death process, and the process has stationary distribution,
then it is precisely Poissonian, if the reaction is an open compartmental
system.
Stochastic models 143
Remarks
(I) The reaction
a b
0-+X kX-+(k- I)X (5.145)
(a, heiR+, keN)
can be described by a simple birth and death-type process, but it
generally does not lead to a Poissonian distribution (only for the case
k = 1).
(2) Particular results can be derived for certain classes of the Markov
population process (Kingman, 1969). Necessary and sufficient criteria
were given for polynomial simple Markov population processes to have
Poissonian stationary distributions when the detailed balance condition
holds. Special relations among the coefficients are necessary to get
Poissonian distribution (Toth & Torok, 1980; Toth, 1981; Toth eta/.,
1983).
(3) Connections among stochastic models of reactions, simple birth and
death-type processes, compartmental systems and population Markov
processes are illustrated in Fig. 5.11.
Compartmental Systems
Fig. 5.11 Interrelations between different types of processes (MPP, Markov popula-
tion process; CCR, complex chemical reaction; SBD, simple birth and death process;
S, V, simple Markovian jump processes and models of reactions in the scalar and
vector case respectively).
(2) equilibrium points can be associated with the location of maxima of the
stationary distribution;
(3) stable equilibrium points coincide with maxima, unstable equilibrium
points coincide with minima of the stationary distribution.
However, Cobb (1978) illustrated- with the aid of a nonreaction kinetic
model - that there is no one-to-one correspondence between the location of
equilibrium points and of extrema of stationary distributions. He applied a
stochastic version of catastrophe theory, and stochastic catastrophe theory
was also applied by Ebeling (1978).
The Schlogl reaction has been the workhorse for studying the occurrence
of exotic behaviour in deterministic and stochastic models (Erdi et a/., 1981;
Ebeling & Schimansky-Geier 1979). The results of both papers suggest that
multistationarity and multimodality correspond to each other asymptotically
with increasing volume. (The presentation in the latter paper is much more
detailed than our arguments.) ceo models refer to infinite and continuous
systems, while CDS models describe finite and discrete systems. Both the
volume-dependence and the continuous approximation of the stationary
distribution of the master equation illustrate that for large systems multista-
tionarity and multimodality coincide. However, in small systems all of the
four combinations might occur, i.e. uni- and multistationarity can be
associated as well to uni- and multimodality for certain parameter values.
Illustrations of the 'volume decrease' induced transition is given (Fig. 5.12).
Remark
The possibility of the occurrence of unistationarity and multimodality is
demonstrated by the following rather artificial but formally correct model.
The reaction
(5.146)
is unistationary for fixed ex, ~ e IR +, and for certain parameter values it shows
multimodality. The example is not completely correct, since the stationary
distribution is a mixture of a number of unimodal distributions, where the
weights of the mixture are the members of the initial distribution of the
process. The components of the mixture, i.e. the
{Po. Pq, P2q ... }, {P~> Pq+l• P2q+l ... }, { ... , Pq-1• P2q-l ... }
are unimodal. It is obvious that for example taking the first and last
distribution with sufficiently large weights the mixture will be unimodal.
s s
P(N) P(N)
EM
(a)
v= 10
10 n 10 n
s s
P(N) P(N)
(b)
v =50
50 n
EM
J\ 50 n
s s
P(N) P(N)
EM
(c)
v= 100
100 n 100 n
s s
P(N) P(N)
EM
(d)
v= 200
200 n 200 n
two different time scales. Many systems, e.g. thermal and chemical explo-
sions, can be characterised by a fast (explosive) transient leading to a
stationary state. It was demonstrated by a simple model calculation (Fran-
kowicz & Nicolis, 1983; Frankowicz eta/., 1984) that during the explosion
the probability distribution develops a long tail and may even split into two
parts, thus exhibiting transient bimodality. The visualisation of the temporal
change of the shape of the probability distribution can be seen in Fig. 5.13.
In particular, a stochastic modei of thermal explosion in a chemical system
Was studied by Baras & Frankowicz (1984). Their main results are: (i) during
the ignition regime the probability distribution function displays transient
bimodality; (ii) the distribution of ignition times displays a long time tail; (iii)
the mean ignition time calculated from the stochastic model is significantly
shorter than that obtained from the deterministic model.
146 Mathematical models of chemical reactions
T = 0.25 T = 4.0
T = 6.25 T = 7.25
T = 99
X,= Xo + f
a(Xs)ds + f
b(Xs)dWs (5.151)
HeuristicaBy it means that the second term in the right-hand side of (5.149) is
subject to the sum of white noise terms.
In the literature of application of stochastic processes there was extensive
discussion of the interpretation of stochastic integrals. The key example is the
particular case b(X,) = W,, and so the integral J:.
Ws d Ws has to be cal-
culated. Using the Ito calculus (1951) we set
f
(
'•
Ito
f
Str
WsdWs = l/2[W,2- Wtij]. (5.154)
Stochastic models 149
(I) assuming that the parameter A is not a constant, but might be replaced
=
by a A, A + cr~, stationary stochastic process, and g(x) is constant;
(2) assuming that the fluctuations depend explicitly on the state of the
system, which means that g(x) is not constant.
A and B are external, X and Y are internal components. Since the reac-
tion is mass-conserving, the system can move under the constraint
C 1 (t) + C 2 (t) = N = const. for all t, where C 1 (t) and C 2 (t) are the quantities
of X and Yat timet. Introducing X(t) (I/N)C 1 (t), and =
= k /(k +k ) d = (12B- IIA)/N
(.1
ex - 2 I 2 an P - kI + k2
~----------------
--------------#---------------1-
0 ________________ l _______________ _
Fig. 5.14 No instability is displayed in the deterministic model.
g,(x) = X[x- 1(1- x)- 1]exp{2/cr 2 ( - 2x(ll- x)- ~ln[(l- x)/x])} (5.160)
x.
0
Fig. 5.15 Extrema of the probability density function as a function of 13 and for three
values of the variance.
H plays the role of a Hamiltonian (in a certain sense) andfis some nonlinear
function of H and the external parameter u.
Assuming the existence of closed trajectories of (5.170): H(x, y) = H, H
satisfies the equation
f(H; u)IH = 0.
The effect of Gaussian white noise was studied by associating
ul-+ ul(t) =ill+ O"lSt•
which assumes that fluctuations occur on a much smaller time scale than the
macroscopic evolution. Equation (5.164) has to be replaced by the SDE
u(t-+ oo)
Fig. 5.16 The pitchfork bifurcation. The stationary points of (5.177) are plotted as a
function of ex. , stable; _____ , unstable.
and the noise-induced transition occur, as they are illustrated on the Fig.
5.18.
p~t(u) p~t(u)
u u
ex < 0 ex > 0
Fig. 5.17 The stationary probability density (5.178) in the case of additive noise.
(a) ex < 0 (b) ex > 0.
156 Mathematical models of chemical reactions
_Lu_Aufhu
Fig. 5.18 The stationary probability density (5.179) in the case of multiplicative
noise. The transition points between regimes depend explicitly on the noise intensity
K.
It was shown that the impact of internal fluctuations increases when the
speed of the external noise increases.
f f
I I
The integral with respect to the Wiener process is taken using the Ito
approach that has an important advantage over the Stratonovich approach,
namely the integral in this case will be a martingale. Definitions and
158 Mathematical models of chemical reactions
statements on these notions can be found in, for example, Arnold ( 1973)
written for nonmathematicians, or in many books by Gikhman and
Skorohod, e.g. in Gikhman & Skorohod (1974).
What is the reason for writing a model in the form (5.181 )? It turned out
(Hangos & T6th, 1988) that this description makes it easy to estimate the
reaction rate constants, because the linear dependence of the right-hand side
on the reaction rate constants can be utilised. The estimate can be explicitly
given as
(f I
T T
1
k= AT(X(t))A(X(t))dtr A(X(t))dX(t) (5.183)
0 0
if the concentration versus time functions are exactly measured during the
=
time interval [0, T] and if B(x) = idRM I M can be assumed. This estimate is a
maximum likelihood estimate, i.e. it gives that value k under which the actual
measurements are the most probable. Maximum likelihood estimates in
general (and in this case) have advantageous statistical properties (Rao,
1973; Zacks, 1971).
The estimated value k is normally distributed with mean k and with
variance r 1 (where J is the Jacobian of the likelihood function with respect
to k) in the limit T--+ oo.
It is a remarkable fact that formula (5.183) gives an estimate that is -
from the numerical point of view - somewhere between the estimate
obtained from the direct differential method and from the direct integral
method. A comparison of different methods has been given by Hosten ( 1979).
However, a series of problems arises in connection with this estimation
procedure. How can the circumstances be characterised in physicochemical
terms among which the model (5.181) is realistic? Is it possible to obtain
continuous records of all the concentrations with absolute accuracy? How is
the estimate (5.183) to be modified if one has time discrete measurements
loaded with error? Which of the rate constants can be determined if only
several concentrations or several linear combinations are measured?
To have a stochastic differential equation model for both the internal and
external fluctuations in complex chemical reactions would have advantages
other than providing the framework for estimation. As it turned out from the
analysis of Chapter I it would be necessary to have a common model of
macroscopic phenomena that does include stochasticity, spatial processes
(such as diffusion) and sources and sinks (such as reactions). These topics will
be further analysed in Section 6.3.
5.8.8 Exercises
I. Check that the maximum likelihood estimate of the rate of a simple
inflow described formally by the elementary reaction
Stochastic models 159
0-+X
is (X(T) - X(O))/T.
Hint. Start from writing down the likelihood function again. Cf. Arat6
(1982).
2. Calculate the maximum likelihood estimate of the reaction rate constants
of the reaction
X-+ Y-+ Z -+ U.
5.8.9 Problem
I. How is the maximum likelihood estimate modified if in the stochastic
differential equation model if one has B(x) = B instead of B(x) = IM?
f AT(X(t))A(X(t))dt
0
in terms of the mechanism of the reaction.
5.9.2 Blowing up
There exists an interesting (or, perhaps annoying) phenomenon in the theory
of stochastic processes called blowing up. This means that a process defined
by its infinitesimal quantities grows in such a quick way that within a finite
interval of time the random variable characterising the process in a fixed time
point takes on infinite values with greater than zero probabilities. This
phenomenon can be found in the case of the usual (polynomial) CDS model
of the reaction
160 Mathematical models of chemical reactions
2X-+ 3X.
It is not astonishing at all if one considers the deterministic model of the same
reaction and verifies that all the solutions of the induced kinetic differential
equation are such that they cannot be extended to the whole positive half
line, or to use the stochastic terminology, the deterministic model blows up
too (cf. T6th, 1986).
A very natural (but so far only historical) fact is that sufficient conditions
not to blow up are known for the same mechanisms in the deterministic and
in the stochastic case. (It may be useful to note that this kind of blowing up
has nothing to do with shock waves, but it sometimes does depend on
concentration ratios.)
5.9.4 Exercise
I. . Write down the differential equation the solution of which is close to the
number of occurrences in the reversible Lotka-Volterra reaction.
Hint. Apply the differential equation just before (3.2) of Kurtz (1972)
to this special case.
Stochastic models 161
5.9.5 Problems
I. Prove the analogous statements to those in Problems 2-4 of Subsection
4.1.4.
Hint. Determine the points of the state-space that can be reached from
a certain starting point with probability 1.
2. Check the importance of the reversibility assumption in Kurtz's proofs.
6
Chemical reaction accompanied by
diffusion
(I) To each component i a point function P;(x, t) can be associated such that
the number of particles of that component in the interval a < x < b at
Chemical reaction and d(tfusion 163
L .=
'- -"'f iJH;k.
iJxk,
=
Let us consider the particular case L; D;llp; + F;(p), where D; are
nonnegative constants, l1 is the Laplacian operator, and F is independent of
(x, t).
(6.2)
Let the group of transformations G be generated by rigid motions and
reflections in x and translations in t. Since the solutions of (6.2) are invariant
under these transformations, the solutions p of the original equation are
equivalent with the solutions Tp, for TeG. More precisely, two solutions p 1 ,
p2 are asymptotically equivalent for some Te G, if
lim supjp 1 (x, t)- Tp 2 (x, t)l = 0.
r-:n x
From a practical point of view it is the stable asymptotic states that are
important. One of the main questions in the theory of reaction-diffusion
systems is to determine which are the stable asymptotic states for a given
reaction-diffusion system.
A solution p(x, t) is called permanent if it is defined, and is a solution, for
all real t, negative as well as positive.
Familiar examples of solutions of the permanent type (the classes are not
disjoint) are
Remarks
1. For the one-component case the reaction-diffusion system can be con-
sidered as a gradient system, therefore the results of elementary catastrophe
theory can be applied. Ebeling & Malchow (1979) analysed bifurcations in
(pseudo)-one-component systems by this technique. They showed that stable
homogeneous stationary states are also stable in reaction-diffusion systems.
2. The two-component model plays an important role in the analysis of
166 Mathematical models of chemical reactions
c one stable stationary point, one unstable stationary point and one saddle
point can be found. A separatrix (i.e. a trajectory flowing into the saddle
point) goes very close to the stable stationary point. In response to a
perturbation it could occur that the trajectory leaves the stable point and
goes around the unstable steady state. Inclusion of diffusion can imply the
occurrence of solitary waves.
Numerous efforts have been made in the last decade to evaluate spatial
correlations of fluctuations. The examination of specific models was given
preference over the formulation of general models. Different approaches to
stochastic modelling of reaction-diffusion systems will be shortly reviewed in
this chapter.
probability P*(x, y; t) to find cell I in region (x) and cell2 in region (y). The
definition of P*(x, y; t) is:
P*(x, y; t) =L L
n, E(x) n,E(y)
P(n 1 , n 2 ; t).
Remarks
1. Many difficulties occur in connection with the discretisation of the space.
In practice a large set of rate constants and diffusion constants are necessary
to evaluate the model. In general there is little chance of obtaining a solution
of the model. Approximations, as by the mean-field approach (which
neglects the spatial fluctuations), cumulant expansions and perturbative
methods (see, for example, Nicolis, 1984) can be applied.
2. Kurtz (1981) introduced a different, better founded model. It was
mentioned (Subsection 5.1.4) that reaction-diffusion systems can be derived
by the semigroup operator approach giving the generator. For sake of
simplicity Kurtz considered the reaction A + B -+C. The state of the system
is described by the vector (k, /, X~o x 2 , ... , xko y 1 , y 2 , ... , y 1), where k is the
number of molecules of A and X~o x 2 , ... , xk are their locations, I is the
number of molecules B with coordinates y 1 , y 2 , ••• , y 1• According to the
physical assumptions, the molecules undergo Brownian motion with normal
reflection at the boundary, the probability of a reaction between a molecule
A at x, and B at y in a time interval!l.t is C(x - y)M + o(M). Associating to
the vector x e Rk the vector tt;E Rk- 1 by dropping X; the generator A of the
process has the form
k I
Af(k, /, X, y) = L d./l.J(k, I, X, y) + L d,AyJ(k, I, X, y)
i= I k I j= I
3. The connection between the stochastic cell model and the usual
deterministic model of reaction-diffusion systems were given by Kurtz for
the homogeneous case in the same spirit. To give the relationship among a
Markovian jump process and the solution p(r, t) of the deterministic model a
law of large numbers and a centra/limit theorem hold (Arnold & Theodoso-
pulu, 1980; Arnold 1980).
Roughly speaking the law of large numbers is (at least for finite time in the
thermodynamic limit):
limsupP(IIx(t)- p*(t)IIL > t) = 0, t > 0, 0 ~ t ~ T.
Problem
Rewrite the central limit theorem given by Kurtz for the homogeneous case
Subsection 5.9.3 for inhomogeneous systems.
Remarks
Critical dynamic analysis using renormalisation techniques were presented
by Walgraef eta/., 1982. A method based on the systematic study of the
Taylor expansion of the stochastic potential was applied for reaction-
diffusion systems exhibiting Hopfbifurcation (Fraikin & Lemarchand, 1985).
The Poissonian representation technique of Gardiner & Chaturvedi (1977) is
also an efficient procedure for evaluating the parameters of fluctuations. A
more rigorous derivation of reaction-diffusion equations with fluctuations
were given by DeMasi et al. (1985).
Our feeling is that the setting up of mathematically well-founded and
practically acceptable models of stochastic reaction-diffusion systems still
remains to be done.
K = k_, + k2
m- kl .
Renaming the common value of lds/dtl and dp/dt as the velocity of the
reaction the approximate expression
(7.4)
can be obtained (it would be more precise to call V the initial velocity). The
maximal value of V:
S0 - oc
The 1/V versus the 1/s0 function is called the Lineweaver-Burk plot.
Remark
c
dsfdt = - s + Asc + Be + 1 + p" (l - s)
Ddc/dt = s - Asc - Ec (7.8)
dpfdt = F(c- p),
The excitatory factor x and the inhibitory factory are assumed to be external
components. The variable (xfy) is considered as the control parameter.
Numerical computations showed that steady-state concentrations of E. and
E; changed stepwise at (xfy) = 1. (Fig. 7.1 ). This switching scheme has been
incorporated into a feedback system. The variables of the system are the
input(/), the reactants and intermediates (X 1 , Y 2 and Y3 ), the inhibitor Y 1 ,
the precursor of Y 2 molecule (A) and the active(£.) and inactive(£;) form of
the enzyme. The kinetic model is:
Applications 181
0
0 2
o.____---....~~..... _ __,
0 1 2
y
X
dXI/dt = I - kiXI
dX2/dt = k1X1 - k2X2
dX3jdt = k2X2 - k3EaX3
dX4jdt = k3EaX3 - k4X4
dE.fdt = k1E;Y2- k6EaYI (7.10)
dEtfdt = k6EaYt - k1E;Y2
dYtfdt = ksX4- k6EaYI
d Y 2 /dt = k 9 A - k 7 E; Y 2
d Y 3/dt = k 7 E; Y 2 - k 8 Y3
Numerical calculations gave the evidence that the stationary value of X4 is
highly insensitive even to a ten-fold increase of the input concentration /, i.e.
the system simulates homeostatic control behaviour.
Remarks
Many model studies dealt with models involving feedback control of
enzymatic activities (e.g. Morales & McKay, 1967; Hunding, 1974; Hastings
et a/., 1977; Tyson & Othmer, 1978; Berding & Harbich, 1984). Furthermore,
the interpretation of periodic and aperiodic phenomena in biochemical
systems is still an open topic.
4. Rhythmic behaviour is characteristic of biological systems. The stability
of most biological rhythmic phenomena can be understood by the concept of
a limit cycle. The independence of the amplitudes and frequencies from the
initial conditions might be associated with regular temporal patterns. The
182 Mathematical models of chemical reactions
+ +
~ I
·---1 ~-.~
v
---s E, E,
Fig. 7.2 Model for the coupling of two autocatalytic enzyme reactions. The system
admits three simultaneously stable periodic regimes for appropriate values of the
parameters.
Fig. 7.3 Trirhythmicity. The system evolves towards three distinct periodic regimes
for three different sets of initial conditions.
might be supplemented with a term a*(t) =(0, 0, ... , a cos(cot + <p)) leading
to
dx(t)fdt = f(x(t)) + a*(t).
It means that one component is perturbed by amplitude a, a cosinusoidal
forcing term with frequency co and phase q>. Recently particular attention has
been paid to the response of nonlinear chemical oscillators that are
periodically perturbed. The celebrated Brusselator model
IX
0.16
0.12
0.08
0.04
0
0 0.2: '0.6 :o.a 1.0 1.2 (J)
Fig. 7.4 Phase diagram. The numbers indicate the harmonic periods appearing in the
respective regions in the unit of forced period. A limit cycle of nonintegral period
appears in the shaded region Q, and a chaotic response is found in the region
indicated by J(.
Applications 185
Vesicular·
Jo<t~l=.:~~IV\ grid
Postsynaptic
density
Synaptic vesicle Synaptopore
Fig. 7.5 Schematic illustration of the chemical synapse.
(I) ACh synthesis. The precursors of the ACh are the choline (Ch) and the
acetyl coenzyme A (Ac-CoA). The reversible formation of ACh is
catalysed by the choline acetyl transferase (ChAT; EC 2.3.1.6). Since the
enzyme has both cytoplasmic and membrane-bound forms, consequently
the synthesis can take place by two different mechanisms. The synthesis
can be influenced by the formation reactions of the precursors and by
their transport to the place of the synthesis. Both the sodium-dependent
high affinity choline uptake (Barker & Mittag, 1975) and the transport of
the mitochondrial Ac-CoA to the cytoplasm (Jope, 1979) may be the
rate-limiting step of the synthesis.
(2) ACh release. According to the classical, vesicular hypothesis (Del Castillo
& Katz, 1954) packets of transmitter molecules ('quantums') contained in
synaptic vesicles are released by exocytosis. The vesicular hypothesis was
in accordance with morphological studies demonstrating the existence of
synaptic vesicles (De Roberties & Bennett, 1954) and explained the
discrete nature of the postsynaptic response, namely the occurrence of
miniature-endplate potentials (Fatt & Katz; 1952). Alternative hypo-
theses (e.g. Israel & Dunant, 1979; Tauc, 1979) are based on experimental
observations of the release of cytoplasmic ACh.
(3) Cleft processes. ACh, when released, diffuses the synaptic cleft separating
Applications 187
(7.13)
transm1ss1on system. (Erdi & T6th, 1981; Erdi, 1983). 'Rapid' and 'slow'
oscillation of free, presumably cytoplasmic, acetylcholine (ACh) have been
described (Dunant et a/, 1977; Israel et a/., 1977). Another oscillatory
phenomenon is the series of miniature-endplate potentials (Fatt & Katz,
1952) that correspond to the postsynaptic effects of pockets of transmitter, at
least in the spirit of the classical vesicular hypothesis.
A complete theory of the hierarchical mechanism of dynamic synaptic
activity would require the study of co-operation and competition among the
three oscillators. Here only one model, established for explaining the 'slow
oscillation' will be presented. The 'isolated' model shows periodic behaviour.
The skeleton model of the 'slow' oscillation in free acetylcholine can be
formulated in terms of mass-action kinetics (Csaszar et a/., 1983). In
principle, instead of setting up a lumped, skeleton model, a more complex
model could be defined to take into account the details of subprocesses
(synthesis, storage and release of ACh, cleft processes, transmitter-receptor
interaction, diffusion, re-uptake). Experimental information, however, cer-
tainly would not be sufficient to parametrise such kinds of models.
According to the assumptions of the four-component model the state of
the system is characterised by:
y
40
38 M = 300
36
34
32
30
28
26
24
22
20
18
161
14
12
10
6
4
2
••~,.-.~,.--.~..-.~••-~.~.-••~.~.~••~.~••-••~.~••-.~~w-
o~.,~.~.,~
270 280 290 300
(a)
0 40
(b)
Fig. 7.6(a) The Y versus W selection curve seems to tend from outside and from
inside to a stable limit cycle. (b) The relatively stable limit cycles are changed as a
function of the total mass of the system; the system has limit cycles within a certain
(ange of M, the shape and location of these closed curves vary as the constraint is
varied.
Fig. 7.7 Phase plane diagram in different time regimes. (a) Approaching to the
'phantom attractor'. (b), (c) Intermediate regime, (d) Near the true attractor.
"/~::....
(b)
I
1.~.
l
,_
'•·
i.
/
1.". · , .
..
.
'::'
.
.
..
..
'"-":.<,.~
·/···.
······-·
..
,•... ·
~·
.. ·········· ...
,_ ..
(c)
I (d)
··.:·.
. :.i)
\.····· /
Fig. 7.8 Stroboscopic representation of perturbed variable. (a) Quasistable 'butter-
fly' shape. (b) Decay of the quasistable shape and start to tend to a new shape. (c)
Tending to a new attractor. (d) Arriving at a fixed point of the Poincare plot.
can be assigned to the whole population (mean fitness), and the normalisa-
tion LX; = I is valid. Selection equations in a deterministic framework can
be· given by the differential equation:
h
dx;(t)fdt = X;(t)( L w;;xj(/) - w*(t)). (7.18)
j~l
Applications 193
(x andy are elements of the tangent space). Using this metric or (equiva-
lently) making an appropriate transformation of co-ordinates, Akin (1979)
presented a new geometrical framework of population genetics. One impor-
tant prize from the work is the validity of Kimura's principle.
It can be shown more generally (Sigmund, 1984) that a differential
equation
dx;(t)/dt = x;(/;(x(t)) - LX;(t)/;) (7.21)
;
For the case of equal mutation rate (i.e if bii is independent ofJ) the system is
Shahshahani gradient system. For any other bii wii can be found such that the
Shahshahani gradient property fails and periodic behaviour occurs via Hopf
bifurcation. In terms of genetics this means that the frequency distribution of
the alleles does not converge to a stable equilibrium point, but may exhibit
oscillations. Even the occurrence of chaos seems probable in slightly
194 Mathematical models of chemical reactions
7.5 Ecodynamics
7.5.1 The theory of interacting populations
7.5.l.l Boulding ecodynamics
Observing the theory of dynamics of populations from the point of view of
chemical kinetics, it is well-known that the celebrated Lotka-Volterra model
has both chemical and ecological interpretations. It is quite reasonable that
the formal theories of chemical kinetics and of 'mathematical' ecology are
highly overlapping.
Ecodynamics (Boulding, 1978, 1983) motivated by the general system
theory tries to become a general theory of ecosystems.
The ecosystem is the basic concept of Ecodynamics. It can be defined as a set of
interacting populations of different species, the population of a species being defined
as a set of objects, or elements of some kind, which are similar enough to be
Applications 195
(I) Uptake of chemical (through gills, skin etc.) can be taken into considera-
tion by a single rate constant k 12 •
(2) The clearance of the chemical by different mechanisms can be character-
ised by a single rate constant k 21 •
(3) Constant rate of chemical addition and removal into and from the water
compartment are involved.
(4) Kinetics is zero-order or first order.
196 Mathematical models of chemical reactions
Constant rate
of chemical
addition (a)
Constant rate
chemical removal (r)
The two models differ only in that the second model a rate constant for
clearance from the third compartment to the water compartment also was
involved. Model discrimination by solving the inverse problem is a difficult
task. 'Note that this discrimination takes place only among the set of
postulated models. That is, the model selected may be the best of the
originally postulated models but totally inadequate for characterizing the
system' (Blau et a/., 1975). (Model discrimination and structural identifia-
bility of compartment systems have been mentioned in Subsection 4.8.4).
Fish compartment
Metabolite on
particular tissue
Fish compartments
Metabolite
Two-species-competing system:
dx 1 (t)/dt = x 1 (t)[l- x 1 (t)- ax 2 (t)]
(7.25)
dx 2 (t)fdt = x 2 (t)[l- bx 1 (t)- x 2 (t)];
Two-prey, one-predator system:
dx 1 (t)/dt = x 1 (t)[l- x 1 (t)- ax 2 (t)- ey(t)]
dx 2 (t)fdt = x 2 (t)[l- bx 1 (t)- x 2 (t)- uy(t)] (7.26)
dy(t)/dt = y(t)[ -1 + dex 1 (t) + dux 2 (t)];
Two-prey, two-predators system:
198 Mathematical models of chemical reactions
Here X;(t), y;(t) are the population sizes for prey and predators, respec-
tively, a> 0 and b > 0 represent competitive effects between two prey, e; > 0
and u; > 0 are coefficients of decrease of prey due to predation, and the d; are
the transformation rates of i'h predator.
The possible equilibria for (7.26), for example, are denoted by (E+ + +),
(E+ +0), (E+o+), (Eo++), (E+ 00), (E0 +0 ), Here (E+o+) denotes the equilibrium in
which prey x 1 and predatory remain positive, and prey x 2 is extinct.
The two-species-competing system (7.25) cannot show oscillatory
behaviour (in consequence of the Hanusse-Tyson-Light-P6ta theorem: it is
different from the Lotka-Volterra model). The conditions of stability of
equilibria were studied by Takeuchi & Adachi (l983b). Accordingly, the
(E++) is globally stable if and only if a< I, b <I. (E+o) and (Eo+) are
globally stable if and only if a~ I, b ~I and a~ I, b ~I respectively. For
the case of a> I, b > I (E+o) and (E00 ) are locally stable.
Equation (7.26) is derived from (7.25) including predator. How does this
inclusion affect the possibility and mechanism of coexistence? (Takeuchi &
Adachi I983a, b) proved that the addition of a predator to a system with a
stable equilibrium may give a bifurcation to a stable limit cycle at increasing
rates of predation. They showed a + b < 2 implies (under certain technical
conditions) the global stability of nonnegative (E + + +>· Supposing ab ~ I, in
certain parameter regions Hopf bifurcation might occur. The assumption
leading to a limit cycle can be further classified. According to numerical
studies in the case of a > I, b > I the limit cycle can collapse into one of two
single-prey equilibria when there is a further increase in the control
parameter. In the case when a~ I, b ~ I (or a~ I, b ~ I) there is the
possibility of turning into (spiral) chaos (Gilpin, I979).
The combined analytical and numerical analysis of the two-prey, two-
predators, system (Takeuchi & Adachi, I983a, b) showed similar the
following qualitative results: a stable equilibrium also can bifurcate to a
stable limit cycle and the limit cycle turns into a nonperiodic oscillation of
bounded amplitude with increasing cycle time.
Remarks
a>1 b>1
Fig. 7.11 In the regions (A), (8), and (C) E+ ++exists. In (A) (or (B)) there exists at
least one Hopf bifurcation parameter e* (or u*) for any straight line u = constant (or
e = constant) if
dfde(A 0 A 1 - ADI,~.• ¥- 0; or dfdu(A 0 A 1 - ADiu~u• ¥-0
where
A 0 = xf + x~. A, =(I - ab)xfx~ + du 2 x~y* + de*y*xf,
A2 = d(e 2 + u 2 - (a+ b)eu)xfx~y*
is satisfied.
where x 2 denotes the numbers of the mutants, the function A contains all the
processes tending to increase x 2 , linearised in x 2 a, and the function D
contains all the terms tending to decrease x 2 • Let us denote with A' and D'
the value of these functions, in general. If A' < D' then the probability of
extinction is I, while for A'> D', this probability·is D'JA'. The increase or
=
decrease in efficiency of the mutant type is d A' ID' - I. The probability of
survival P,.,(t) is
d
P,.,(t) = I + d- exp(- (A' - D')t) .
Evaluating this expression for a time t = n/A', where n is the number of
reproduced generations during t:
d
P,.,(n) =I+ d- exp- (ndj(l +d))·
The general form of the function P,.,(n) is given by Fig. 7.12. Is shows that,
Applications 201
1--------------------------
L Step function resulting from
f deterministic analysis
Probability
of survival
10% 20% 30% 40% SO% 60% 70% ao•to 90% 100% 110•t. d
(I) What are the special ecological reasons that make it plausible to use a
stochastic model?
(2) Why are the arguments for the usual continuous time discrete state
stochastic model so good for reaction kinetics here?
(3) What are the consequences of the stochastic model defined here, both
from the scientific and from the management point of view?
Applications 203
and diffusion models seem to be too simple to cope with the ecological details
of a process. It is a question of judgement whether the fluctuation of the state
variables are considered to be caused by the parameters (including initial
conditions, external forcing functions and parameters in the narrow sense) or
whether assumptions are made on the fluctuations of the state variables
themselves. Here the second alternative has been chosen because of the
importance of inner fluctuations. So one had to choose between stochastic
differential equations (apparently never used in ecological modelling) and
Markovian jump processes. The latter type was chosen because
The structure of the model is usually visualised using the Vol'pert graph of
the reaction shown in Fig. 7.13. The formal elementary reactions considered
could have been given as a huge set of 40 elementary reactions-mainly with
kinetics of the mass-action type. Instead of this formal and awkward
definition only some of the formal elementary reactions will be discussed in
detail here. As to the others the reader is referred to Herodek et a/. ( 1982)
where all the necessary biological background is available, including the
reasons for the selection of the forms of the rates of elementary reactions,
the external forcing functions and the parameter values. We hope that the
biological background there and the background in formal reaction kinetics
accumulated from the present book is sufficient to exactly define the model.
First, a short description of the deterministic model is given.
Here
206 Mathematical models o.fchemical reactions
and measured forcing functions are to be taken into consideration, and some
of the rates are not of the mass-action type, a separate simulation program
has been written for this special problem in the language SIMULA '67 which
is especially suitable for simulation purposes.
7.5.2.3 Exercise
I. Verify that the deterministic model by Herodek et a/. (1982) fulfils the
conditions by Vol'pert (1972) which assure nonnegativity of the solutions
starting from nonnegative initial values.
that forces of adhesion of bb are essentially larger than for the other two, a
model can be given for the temporal evolution of the concentration of
different b-cell aggregates. Let c 1 (t), c2 (t), ... denote the concentrations of
single b-cells, double b-cell aggregates and so on. Assuming mass-action type
interactions among the cells the system of differential equations can be
derived:
'X
314
N
No
1/2
1/4
0
0 2 3 4
Fig. 7.14 The variation with time, N 0 , = CN0 t/2, of the number of k-aggregates of
ceiJs of the internalising type, Nk. The successive maxima of Nk occur at
No,= (k- 1)/2.
Applications 209
Reversible reactions
here g is the proportional constant. Since Fij and kij are interconnected, the
definition of Kij implies the form of Fij as well as the stationary size
distribution. The latter is expressed in terms of c 1 ( oo) as:
(7.32)
where Nk is a combinatorial factor.
The kind of mechanisms that lead to gelation characterised by infinite
clusters are not clear. The infinite cluster contains of course a finite fraction
G(t) of the total mass (M(t) + G(t) = 1). Pre-gel and post-gel states sepa-
rated by a gelation transition can be analysed in terms of a kinetic equation.
Sol-gel transitions are similar to phase transition phenomena. It is not
surprising that scale in variance principles elaborated in the theory of phase
transition can be adopted for polymer systems. Modern percolation theory
(see, for example Stauffer (1979)) offer a conceptual framework to treat
cluster formation.
3. Certain growth models can also be formulated in terms of formal
reactions. Let us consider a process in which an introduced seed grows on a
lattice by creating particles at nearby sites, which then in turn grow.
210 Mathematical models of chemical reactions
e
2X;-+ X;.
=
Denoting with P({x;(t)}, t) P(x 1 , x 2 , •• x., t) the probability of finding {x;}
particles at time t the CDS model is
N
ofotP({x;(t)}, t) = k L xiP(x]' ... ' X; - I' ... XN, t)
i.j= I
N
- P({x;}, t)) + e L X;(X; + I)P(x 1 , ... , x., t)
i= I
7. 7 Chemical circuits
I. General remarks. The theory of dynamic systems has three large fields of
Applications 211
a,(t)
6. Logical circuits are one of the most important groups of digital devices.
The fundamental logical elements are the AND, OR and NOT circuits.
Combination of these elements can lead to complex logical networks.
The realisability of logical functions by chemical bistable systems was
mentioned by Rossler (l974b):
The functions AND and OR are trivially realized by algebraic addition, in the
presence of a threshold. Now any flip-flop is a threshold device. Hence any pair of
'convergent' reactions (leading to the same product) realizes these functions in a
straightforward manner. If both influxes are required for the setting (or resetting,
respectively) of the flip-flop, AND is realized, and if either is sufficient, OR.
7. The possible fabrication of a molecular electronic device (MED)
resulted in serious interest in elaborating the principles of molecular computa-
tion (Conrad, 1985). Switching is possible even at molecular level by means of
conformational changes. Three promising mechanisms of switching, namely
electron tunnelling in short periodic arrays, soliton switching and soliton
valving was reviewed (Carter, 1984).
(I) during chemical evolution the building blocks of biopolymers are formed
spontaneously from small molecules;
(2) the building blocks just mentioned were self-organised into structures
having the ability to exhibit self-replication;
214 Mathematical models of chemical reactions
(3) the evolution of species can be identified with the conventional subject of
evolutionary theories.
expresses that each species conributes to the total flow F, in proportion to its
presence. Using the assumption of 'constant overall organisation'
L xk = constant = en (7.37)
k
and consequently
(7.38)
for the average excess productivity the differential equation (7.34) can be
transformed for the constraint of 'constant overall organisation' as follows:
X;= (W;;- E*(t))x;(t) + L W;kxk(t). (7.40)
k.;. i
Remarks
I. Generalisations of the model are possible within the framework of the
hypercycle concept:
term degeneracy means that there is no difference in the rate constants of the
same type of reactions of the competing 'subunits'. Replication was consi-
dered as a multitype branching process, which is a particular class of
stochastic process. This approach makes it possible to analyse the mutation-
evoked error propagation. (For further details see the reference given above.)
2. From the methodological point of view the hypercycle model is the most
impressive example of the possibility of unifying detailed biochemical
examinations and mathematical models of chemical reactions. Both the
prebiotic relevance of the model and its mathematical structure were studied,
sometimes critically (e.g. King, 1981; Miiller-Herold, 1983; Szathmiuy,
1984). It was suggested that the hypercyclic evolution is not as effective as
conventional autocatalysis, and the model should be defined by multiple time
singular perturbation theory.
Rossler (1981, l983b) presented the outline of the possibility of a
'deductive prebiology' based on the particular properties of chemical
dynamic systems. As he emphasises, the creation of a chemical system with
huge (say 10 10 000 ) state variables is very easy, in contrast to electronic
systems.
Just purchase some ten substances at a pharmacist's: a liter of distilled water, a gram
of ammonium chloride, and some grams of sodium carbonate plus some other salts.
This mixture, when shaken continually at 40"C, is bound to implement an equilibrium
between some I 0 10 000 substances. With infinite observation time granted, the
expectation value of all these state variables become non-zero. Mathematically this
whole machine exists the very moment the ten substances have been poured together.
(Rossler, 1983b)
Rossler argued that the very long-term qualitative dynamic behaviour of
an evolving chemical system cannot be analysed. The attractor can be
different from the present known attractors: dynamic systems describing
evolution internally select a sequence of subsystems in which each generates a
viable successor even if the environment changes during the process.
11- g (7.42)
= (rfk) + j(rfk) 2 + g2 •
Periodicity and ceo Numerical 'Abnormal' temporal patterns occur due to the
aperiodicity in integration, impairment of the control system
neurochemical phase space
systems analysis
Blum, L. & Salsburg, Z. W. (1969). Light scattering from a chemically reactive fluid,
II. J. Chern. Phys., 50, 1651- .
Bluman, G. W. & Cole, J. P. (1974). Similarity methods for differential equations.
Springer Verlag, New York.
Bodenstein, M. (1913). Eine Theorie der photochemischen Reaktionsgeschwindig-
keiten. Z. Phys. Chern. 85, 329-97.
Bodet, J. M., Vidal, C., Pacault, A. & Argoul, F. Experimental study of target
patterns exhibited by the BZ reaction. In: Non-equilibrium dynamics in chemical
systems, ed. C. Vidal & A. Pacault (Springer Series in Synergetics, Vol. 27),
pp. 102-6. Springer Verlag, Berlin.
Bogdanov, Yu. S. & Syroid, Yu. B. (1983). Differential equations. Vysheishaya
Shkola, Minsk (in Russian).
Boissonade, J., Roux, J. C., Saadaoui, H. & De Kepper, P. (1984). Inhomogeneities
induced by imperfect stirring in a CSTR effect on bistability. In: Non-equilibrium
dynamics in chemical systems, ed. C. Vidal, & A. Pacault (Springer Series in
Synergetics, Vol. 27), pp. 172-7. Springer Verlag, Berlin.
Boiteux, A. & Hess, B. ( 1984). Experimental and theoretical studies of the regulatory
hierarchy in glycolysis. In: Selforganization, ed. V. I. Krinsky (Springer Series in
Synergetics, Vol. 28), pp. 240-54. Springer Verlag, Berlin.
Borgis, D. & Moreau, M. (1984a). On the stochastic theory of a bistable chemical
reaction. Physica, 123A, 109-30.
Borgis, D. & Moreau, M. (1984b). Two cell stochastic model ofSchlogl reaction with
small diffusional coupling, J. Stat. Phys., 34, 631-51.
Boudart, M. (1968). Kinetics of chemical processes. Prentice-Hall, Englewood Cliffs,
NJ.
Boulding, K. E. ( 1978). Ecodynamics: A new theory of societal evolution. Sage
Publications, Beverly Hills, CA.
Boulding, K. E. (1983). Ecodynamics, Interdisciplinary Sci. Rev., 8, 108-13.
Bowen, J. R., Acrivos, A. & Oppenheim, A. K. (1963). Chern. Eng. Sci., 18, 177.
Bowen, R. ( 1968). On the stoichiometry of chemically reacting materials. Arch. Rat/.
Mec-h. Anal., 29, 114-24.
Bowen, R. ( 1969). The thermochemistry of a reacting mixture of elastic materials with
diffusion. Arch. Rat/. Mech. Anal., 34, 97-127.
Bradley, J. N. (1975). Fast reactions. Clarendon Press, Oxford.
Bray, W. C. (1921). A periodic reaction in homogeneous solution and its relation to
catalysis. J. Am. Chern. Soc., 43, 1262-
Briggs, G. E. & Haldane, J. B. S. (1925). A note on the kinetics of enzyme action,
Biochem. J., 19, 338-9.
Brinkley, S. R. jr. (1946). Note on the conditions of equilibrium for systems of many
constituents. J. Chern. Phys., 14, 563-4.
Brockett, R. W. (1970). Finite Dimensional Linear Systems, Addison-Wesley, Reading
(MA).
Brush, S. (1976). The kind of motion we call heat, Vols. I, 2. North Holland,
Amsterdam.
Brush, S. ( 1982). Changes in the concept of time during the second scientific
revolution. In: Ludwig Boltzmann Gesamtausgable, Vol. 8, pp. 325-328. Akademi-
sche Druck und Verlagsanstalt, Graz.
Budnikov, P. B. & Gisling, A. M. (1965) Solid phase reactions. Izd. Ministerstva po
Stroitelstvu, Moscow (in Russian).
Bulsan, A. R., Schieve, W. C. & Gran, R. F. (1978). Phase transitions induced by
white noise in bistable optical system. Phys. Letters, 68A, 294-8.
Busse, H. G. (1969). A -spatial periodic homogeneous chemical reaction. J. Chern.
Phys., 73, 750-
224 References
Dai, L. S. (1979). On the existence, uniquene~s and global asymptotic stability of the
periodic solution of the modified Michaelis-Menten mechanism. J. Di.ff. Eqs., 31,
392-417.
Dambrine, S. & Moreau, M. (198Ia). On the stationary distribution in a stochastic
chemical process without detailed balance. J. Stat. Phys., 26, 137-48.
Dambrine, S. & Moreau, M. (198lb). Note on the stochastic theory of a self-catalytic
chemical reaction, I. Physica, 106A, 559-73.
Dambrine, S. & Moreau, M. (1982). Note on the stochastic theory of a self-catalytic
chemical reaction, II. Physica, 106A, 574-88.
Darvey, I. G. & Staff, P.-J. (1966). Stochastic approach to first order chemical
reaction kinetics. J. Chern. Phys., 44, 990-7.
Darwin, C. ( 18 ). His life told in an autobiographical chapter and selected series of his
published letters, ed. F. Darwin. London.
Dawson, D. A. (1972). Stochastic evolution equations. Mathematical Biosciences, 15,
287-316.
Dawson, D. A. (1975). Stochastic evolution equations and related measure processes,
J. Multivari. Anal., 5, 1-52.
De, S. S. (1984). Random predator-prey interactions in a varying environment:
extinction or survival, Bull. Math. Bioi., 46, 175-84.
Decroly, 0. & Goldbeter, A. (1982). Birhythmicity, chaos, and other patterns of
temporal selforganization in a multiply regulated biochemical system. Proc. Nat/.
Acad. Sci. USA, 79, 6917-21.
Decroly, 0. & Goldbeter, A. (1984a). Multiple periodic regime and final state
sensitivity in a biochemical system. Phys. Lett. 105A, 259-62.
Decroly, 0. & Goldbeter, A. (1984b). Coexistence entre trois regimes periodiques
stables dans un systeme biochimique a regulation multiple, C. R. A cad. Sci. (Paris),
298 (18), Serie II, 779-782.
Defay, R. (1931). Bull. Acad. Roy. Be/g., 17 (5), 940-
De Felice, L. J. (1981). Introduction to membrane noise. Plenum Press, New York.
De Kepper, P. & Horsthemke, W. (1978). Etude d'un reaction chimique periodique.
Influence de Ia lumiere et transitions induites par un bruit externe, C. R. A cad. Sci.
(Paris), C287, 251-4.
Delbriick, M. (1940). Statistical fluctuations in autocatalytic reactions, J. Chern.
Phys., 8, 120-4.
Del Castillo, J. & Katz, B. (1954). Quanta) components of the endplate potential. J.
Physiol. (London), 124, 560-73.
DeMasi, A., Ferrari, P. A. & Lebowitz, J. L. (1985). Rigorous derivation of reaction
diffusion equations with fluctuations, Phys. Rev. Lett., 55, 1947-9.
Demidowitsch, W. B.: (1966). Eine Verallgemeinerung des Kriteriums von Bendix-
son. Z. Angew. Math. u. Mech. 46, 145-6.
Denbigh, K. G. (1981) Three concepts of time, Springer Verlag, Berlin.
DeRobertis, E. D.P. & Bennett, M.S. (1957). Some features of the submicroscopic
morphology of synapses in frog and earthworm. J. Biophys. Biochem. Cytol., 1,
47-58.
Deuflhard, P., Bader, G. & Nowak, U. (1981). Larkin-A software package for the
numerical simulation of large systems arising in chemical reaction kinetics, In:
Modelling of chemical reaction systems, eds K. H. Ebert, P. Deuflhard & W. Jaeger
(Springer Series in Chemical Physics, Vol. 18), pp. 38-51. Springer Verlag, Berlin.
Dirac, P. A. M. (1929). Quantum mechanics of many-electron systems. Proc. Roy.
Soc. London, A123, 243-65.
Di Toro, D. M. & van Straten, G. (1979). Uncertainty in the parameters and
predictions of phytoplantkon models. IIASA WP 79-27.
Dobzhansky, Th., Ayala, F. J., Stebbing, G. L. Valentine, J. W. (1977). Evolution, W.
226 References
Fatt, P. & Katz, B. ( 1952). Spontaneous subthreshold activity at motor nerve endings.
J. Physiol. (London), 117, 109-28.
Feher, G. & Weismann, M. (1973). Fluctuation spectroscopy: determination of
chemical reaction kinetics from the frequency spectrum of the fluctuations, Proc.
Nat/. Acad. Sci. USA, 70, 870-5.
Feinberg, M. (1972a). 1-41. On chemical kinetics of a certain class. Arch. Rat/. Mech.
Anal., 46, 1-41.
Feinberg, M. (1972b). Complex balancing in general kinetic systems. Arch. Rat/.
Mech. Anal., 49, 187-94.
Feinberg, M. ( 1977). Mathematical aspects of mass action kinetics. In: Chemical
reactor theory: A review, eds N. Amundson & L. Lapidus, pp. 1-78. Prentice-Hall,
Englewood Cliffs, NJ.
Feinberg, M. (1980). Chemical oscillations, multiple equilibria, and reaction network
structure. In: Dynamics and modelling of reactive systems, eds W. Stewart, W. H.
Ray & C. Conley, pp. 59-129. Academic Press, New York.
Feinberg, M. (1981). Reaction network structure, multiple steady states, and
sustained composition oscillations: A review of some results. In: Modelling of
chemical reaction systems, eds K. H. Ebert, P. Deuflhard & W. Jaeger, (Springer
Series in Chemical Physics, Vol. 18), pp. 56-68. Springer Verlag, Berlin.
Feinberg, M. Lectures on chemical reaction networks, to be issued as a technical
report of the Mathematics Research Center, University of Wisconsin-Madison.
Feinberg, M. & Horn, F. J. M. (1974). Dynamics of open chemical systems and the
algebraic structure of the underlying reaction network, Chem. Eng. Sci., 29,
775-87.
Feinberg, M. & Horn, F. J. M. (1977). Chemical mechanism structure and the
coincidence of the stoichiometric and kinetic subspaces. Arch. Rat/. Mech. Anal.,
66, 83-97.
Field, R. J. & Burger, M. (eds) (1984). Oscillations and travelling waves in chemical
systems, John Wiley, New York.
Field, R. J. & Noyes, R. M. (1974). Oscillations in chemical systems, IV. Limit cycle
behaviour in a model of a real chemical reaction, J. Chem. Phys., 60, 1877-84.
Field, R. J., Koros, E. & Noyes, R. M. (1972). Oscillations in chemical systems, II.
Thorough analysis of temporal oscillations in the Ce-BrO-malonic acid system. J.
Am. Chem. Soc., 94, 8649-64.
Fife, P. C. (1976). Pattern formation in reacting and diffusing systems, J. Chem.
Phys., 64, 554-64.
Fife, P. C. (1979). Mathematical aspects of reacting and diffusing systems, Lecture
Notes in Biomathematics, Vol. 28, Springer Verlag, Berlin.
Filippov, A. F. (1979). Problems on ordinary differential equations, 5th edn. Nauka,
Moscow (in Russian).
Fisher, R. A. (1958). The genetical theory of natural selection, 2nd edn. Dover, New
York. (1st edn.: 1930.)
Fisher M. E. (1974). Renormalization group in the theory of critical behaviour. Rev.
Mod. Phys. 46, 597.
Fraikin, A. (1984). Stochastic analysis of a complex bifurcation, In: Non-equilibrium
dynamics in chemical systems, eds C. Vidal & A. Pacault. Springer, Berlin.
Fraikin, A. & Lemarchand, M. (1985). Stochastic analysis of a Hopf bifurcation:
Master equation approach. J. Stat. Phys., 41, 531-51.
Franck, U. (1978). Chemical oscillations. Ang. Chemie, 17, 1-15.
Frank, F. C. (1953). Biochim. Biophys. Acta, 11, 453- .
Frank-Kamenetskii, D. A. (1940). Conditions of applicability of Bodenstein's
method in chemical kinetics. Zh. Fiz. Khimii, 14 (5/6), 695-700.
Frank-Kamenetskii, D. A. (1947). Diffusion and heat transfer in chemical kinetics. Izd.
References 229
Gray, P. & Scott, S. K. (1985). Sustained oscillations and other exotic patterns of
behaviour in isothermal reactions. J. Phys. Chern., 89, 22-32.
Greene, R. F. & Callen, H. B. (1951). On the formalism of thermodynamic
fluctuation theory. Phys. Rev., 83, 1231-5.
Guevara, M. R., Glass, L., Mackey, C. & Shries, A. Chaos in neurobiology, IEEE
Trans. Systems. Man, and Cybernetics, SMC-13, 790-7.
Guldberg, C. M. & Waage, P. (1867). Etudes sur /es affinites chimiques, Bregger &
Christie, Christiania.
Haag, G. (1978). Transition factor method for discrete master equations and
applications to chemical reactions. Z. Physik B, 29, 153-9.
Haag, G. & Haenggi, P. (1979). Exact solutions of discrete master equations in terms
of continued fractions, Z. Physik B, 34, 411-17.
Haag, G. & Haenggi, P. (1980). Continued fraction solutions of discrete master
equations not obeying detailed balance, II., Z. Physik B, 39, 269-79.
Haenggi, P., Grabert, H., Talkner, P. & Thomas, H. (1984). Bistable systems: master
equation versus Fokker-Pianck modeling, Phys. Rev., 29, 371-8.
Hahn, H. S., Nitzan, A., Ortoleva, P. & Ross, J. (1974). Threshold excitations,
relaxation oscillations, and effect of noise in an enzyme reaction. Proc. Nat/. A cad.
Sci. USA, 71, 4067-71.
Haken, H. ( 1977). Synergetics. An introduction. Springer Series in Synergetics.
Springer Verlag, Berlin.
Haken, H. (1983). Advanced synergetics: instability, hierarchies of self-organizing
systems and devices (Springer Series in Synergetics). Springer Verlag, Berlin.
Hammersley, J. M. & Handscomb, D. C. (1964). Monte Carlo methods. Methuen,
London.
Hangos, K. M. & T6th, J. (1988). Maximum likelihood estimation of reaction rate
constants. Comp. Chern. Eng. 12.
Hanusse, P. (1972). De l'existence d'un cycle limite dans l'evolution des systemes
chimiques ouverts. C. R. Acad. Sci. (Paris), 274, 1245-7.
Hanusse, P. ( 1973). Simulation of chemical systems using Monte-Carlo method. C. R.
Acad. Sci. (Paris), 277, 93- (in French).
Hanusse, P. (1976). Contribution a )'etude des systemes dissipatifs chimiques.
Simulation par une methode de Monte-Carlo. Etude d'une reaction oscillante
(Thesis), Bordeaux.
Hanusse, P. (1979). Stochastic simulation of chemical systems out of equilibrium. In:
Synergetics. Far from equilibrium, eds A. Pacault & C. Vidal (Springer Series in
Synergetics), pp. 70-4. Springer Verlag, Berlin.
Harrison, L. G. (1981). Physical chemistry of biological morphogenesis, Chern. Soc.
Rev., 10, 491-528.
Hars, V. ( 1976). On some questions of stochastic reaction kinetics (Thesis}, Budapest.
Hars, V. & T6th, J. (1981). On the inverse problem of reaction kinetics. Col/. Math.
Soc. Jimos Bolyai 30. North Holland, Amsterdam, pp. 363-79.
Hastings, S. P. (1977). On the uniqueness and global asymptotic stability of periodic
solutions for a third order system. Rocky Mountain J., 7, 513- .
Hastings, S., Tyson, J. & Webster, P. (1977). Existence of periodic solutions for
negative feedback control systems, J. Di.ff. Eqs., 25, 39-64.
Hayman, H. J. G. (1971). Orthonormal chemical reactions and chemical relaxation.
lsr. J. Chern., 9, 419-27.
Hearon, J. Z. (1953). The kinetics of linear systems with special reference to periodic
reactions, Bull. Math. Biophys., 15, 121-41.
Hearon, J. Z. (1963). Theorems on linear systems, Ann. N. Y. Acad. Sci., 108, 36-68.
Heineken, Tschuhiya & Aris, R. (1967). On the mathematical status of pseudo-steady
state hypothesis. Mathematical Biosciences, 1, 95-113.
232 References
Heller, A. (1965). On stochastic processes derived from Markov chains, Ann. Math.
Statist., 1286-91.
Herman, I. (1978). On reaction kinetics with continuous components (Thesis),
Budapest.
Herodek, S., Kutas, T. & Csaki, P. ( 1982). Simulation of phytoplankton dynamics in
Lalte Balaton, /SEM Journal, 4, 97-126.
Hess, B. & Boiteux, A. (1971). Oscillatory phenomena in biochemistry. Ann. Rev.
Biochem., 40, 237-58.
Hess, B. & Markus, M. (1985). The diversity of biochemical time patterns. Ber.
Bunsenges Phys. Chem., 89, 642-51.
Higgins, J. (1967). The theory of oscillating reaction, Ind. Eng. Chem., 59, 18- .
Higgins, J. (1968). Some remarks on Shear's Liapunov function for systems of
chemical reactions. J. Theor. Bioi., 21, 293-304.
Hilden, H. (1974). Die Schaetzung des Parameters im linearen Todesprozess, Lecture
presented at the 8th International Biometric Conference, Constan~, Roumania.
Hill, T. L. (1969). Thermodynamics of small systems, Benjamine, New York.
Hill, T. L., Chen, Y. der (1972). Fluctuation and noise in kinetic systems. Biophys. J.,
12, 948- .
Hirsch, M. & Smale, S. (1974). Differential equations, dynamical systems, and linear
algebra, Academic Press, New York.
Hirschfelder, J. 0. ( 1957). Pseudostationary state approximation in chemical kinetics,
J. Chem. Phys., 26 (2), 271-3.
Hodgkin, A. L. & Huxley, A. F. (1952). A quantitative description of membrane
current and its application to conduction and excitation in nerve. J. Physiol.
(London), 1176, 500-44.
Hofbauer, J. (1981). On the recurrence oflimit cycles in the Volterra-Lotka equation,
Non/in. Analysis, Theory, Methods and Applications, 5, 1003-7.
Hofbauer, J. (1985). The selection mutation equation, J. Math. Bioi., 23, 41-53.
Hohenberg, P. C. & Halperin, B. I. ( 1977). Theory of dynamic critical phenomena.
Rev. Mod. Phys., 49, 435-79.
Holden, A. V. (1981). Membrane current fluctuations and neural information
processing. Adv. Physiol. Sci., 30, 23-41.
Holden, A. V. (1985). Why is the nervous system not as chaotic as it should be? In:
Dynamic phenomena in neurochemistry and neurophysics: theoretical aspects, ed. P.
Erdi, pp. 6-11. Central Research Instirate of the Hungarian Academy Science,
Budapest.
Holden, A. V. (ed.) (1986). Chaos (Nonlinear Science: Theory and Applications),
Manchester University Press, Manchester.
Holden, A. V. & Yoda, M. (1981 ). The effects of ionic channel density on neuronal
function. J. Theoret. Neurobio/., 1, 60-81.
HQ)derith, J. & Smirnov, N. I. (1968). On some problems in the simulation of
chemical reactors, Annales Univ. Scient. Bp. de R. Eotvos, Sec. Chimia, 10, 107-17.
Hongler, M. 0. (1979a). Exact solutions of a class of nonlinear Fokker-Pianck
equations, Phys. Letters, 75A (3-4).
Hongler, M. 0. (1979b). Exact time dependent probability density for a nonlinear
non-Markovian stochastic process, Helv. Phys. Acta, 52, 280-
Hongler, M. 0. (1982). Diffusion in a class of double-well potentials-exact results,
Phys. Letters, 91A, 396-8.
Hongler, M. 0. & Zheng, W. M. (1982). Exact solution for the diffusion in bistable
potentials. J. Stat. Phys., 29, 317-27.
Hongler, M. 0. & Zheng, W. M. (1983). Exact results for the diffusion in a class of
assymetric bistable potentials. J. Math. Phys., 24, 336-40.
Hooyman, G. J. (1961). Proc. Nat/. Acad. Sci. USA, 47,1169-1173.
References 233
Ioos, G. & Joseph, D. D. (1980). Elementary stability and bifurcation theory, Springer
Verlag, Berlin.
Israel, M. & Dunant, Y. (1979). On the mechanism of acetylcholine release. Prog.
Brain Res., 49, 125-39.
Israel, M., Lesbats, B., Manaranche, R., Marsoe, J. & Mastour-Frachon, P. (1977).
Related changes in amounts of ACh and A TP in resting and active nerve
electroplaque synapse. J. Neurochem., 28, 1259-67.
Ito, K. (1951). On a formula concerning stochastic differentials. Nagoya Math. J., 3,
55-
Ito, K. & Mckean, H. P. (1965). Diffusion processes and their sample paths. Springer
Verlag, Berlin.
Jachimowski, C. J. McQuarrie, D. A. & Russell, M. E. (1964). A stochastic approach
to enzyme-substrate reactions. Biochemistry, 3 (II), 1732-6.
Jacquez, J. A. (1972). Compartmental analysis in biology and medicine. Elsevier,
Amsterdam.
Janssen, H. K. (1974). Stochastisches Reaktionsmodell fiir einen Nichtgleichgewicht-
Phaseniibergang. Z. Physik, 270, 67-73.
Jernigan, R. W. & Tsokos, C. P. (1980). Simulation of a nonlinear stochastic ecology
model. Appl. Math. and Comp., 7, 9-25.
Jernigan, R. W., Turner, J. C. & Tsokos, C. P. (1980). Parameter and moment bounds
for a nonlinear stochastic ecology model. App/. Math. and Comp., 7, 27-53.
Jope, R. S. (1979). High affinity choline transport and acetyl coenzyme A production
and their roles in the regulation of acetylcholine synthesis. Brain Res. Rev., 1,
313-44.
Jergensen, S. E. (1976). an eutrofication model for a lake. Ecol. Model., 2, 147-65.
Jouguet, E. (1921). Notes de mecanique chimique. J. Ec. Polyt. (Paris), 2de serie, 21
erne cahier.
Kac, M. (1959). Probability and related topics in physical sciences. John Wiley, New
York.
Kagan, M. L., Peleg, S., Tchiprout, A. & Avnir, D. (1984). Image analysis in the study
of dissipative spatial patterns. In: Non-equilibrium dynamics in chemical Systems,
eds C. Vidal & A. Pacault (Springer Series in Synergetics, Vol. 27), pp. 118-121.
Springer Verlag, Berlin.
Kai, S., Miiller, S. & Ross, J. (1982). Measurements of temporal and spatial
sequences of events in periodic precipitation processes. J. Chern. Phys., 16,
1392-
Kamke, E. (1959). Di.fferentia/g/eichungen. Losungsmethoden und Losungen, I. Gewoh-
nliche Di.fferentia/ig/eichungen, 6th revised edn. Leipzig.
Karlin, S. & McGregor, J. (1957). The classification of birth and death processes.
Trans. Amer. Math. Soc., 86, 366-400.
Karlin, S. & McGregor, J. (1964). On some stochastic models in genetics. In:
Stochastic models in medicine and biology, ed J. J. Gurland, pp. 245-79. University
of Wisconsin Press, Wisconsin, Madison.
Karnapp, D. & Rosenberg, R. (1968). Analysis and simulation of multiport systems.
MIT Press, Cambridge, MA.
Katz, B. & Miledi, R. (1972). The statistical nature ofacethylcholine potential and its
molecular components. J. Physiol. (London), 224, 665-69.
Kaufman, A. N. (1984). Dissipative Hamiltonian systems: a unifying principle. Phys.
Letters, IOOA, 419-22.
Kawczyilski, A. L. (1981). Construction of a model of chaos. Bull. Acad. Polon. Sci.,
29 (7-8), 319-27.
Kawczyilski, A. L. (1984). Chemical model of chaos. Pol. J. Chern.
Keizer, J. (1976). An observation on the effect of fluctuations far from equilibrium, J.
References 235
50, 63-73.
McQuarrie, D. A. (1967). Stochastic approach to chemical kinetics. J. Appl. Prob., 4,
413-78.
McQuarrie, D. A. (1968). Stochastic approach to chemical kinetics. Corrigendum. J.
Appl. Prob., 5, 484.
McQuarrie, D. (1969). In: Stochastic processes in chemical physics, ed. K. E. Shuler,
John Wiley, New York.
Magde, D. (1977). Concentration correlation analysis and chemical kinetics. In:
Chemical relaxation in molecular biology, eds J. Pecht & R. Riegler. Springer
Verlag, Berlin.
Malek-Mansour, M. & Nicolis, G. (1975). A master equation description of local
fluctuations. J. Stat. Phys., 13, 197-217.
Malinvaud, E. (1969). Methodes statistiques de /'econometric. Dunod, Paris.
Markus, M., Muller, S.C. & Hess, B. (1985). Observation of entrainment, quasipe-
riodicity and chaos in glycolyzing yeast extracts under periodic glucose input. Ber.
Bunsenges. Phys. Chem., 89, 651-4.
Maruyama, T. (1977). Stochastic problems in population genetics (Lecture Notes in
Biomathematics, Vol. 17). Springer Verlag, Berlin.
Matheson, J., Walls, D. F. & Gardiner, C. W. (1975). Stochastic models of first-order
nonequilibrium phase transitions in chemical reactions. J. Stat. Phys., 12, 21-34.
Matis, J. H. & Hartley, H. 0. (1971). Stochastic compartmental analysis: model and
least squares estimates from time series data. Biometrics, 27, 77-102.
Matsuno, K., Lindeberg, K. & Shuler, K. I;. (1978). Stochastic theory of nonlinear
rate processes with multiple stationary states, II, Relaxation time from a meta-
stable state. J. Stat. Phys., 19, 65-75.
Matveev, N. M. (1983). Problems and exercises on ordinary differential equations.
Vysheishaya Shkola, Minsk (in Russian)
May, R. M. (1972). Stability in random fluctuating versus deterministic environ-
ments. Am. Nat., 107, 621-50.
May, R. M. & Leonhard, W. J. (1975). Nonlinear aspects of competition between
three species, SIAM J. Appl. Math., 29, 243-53.
Maynard Smith, J. (1982). Evolutionary game theory. Cambridge University Press,
Cambridge.
Medgyessy, P. (1977). Decomposition of superpositions of density functions and discrete
distributions. Akademial Kiad6, Budapest.
Meinhardt, H. (1978). Models for the ontogenetic development of higher organisms.
Rev. Physiol. Biochem. Pharmacol., 80, 47-104.
Meinhardt, H. (1982). Models of biological pattern formation. Academic Press,
London.
Meinhardt, H. (1982b) Models of biological pattern/ormation, London.
Meinhardt, H. (1985). Mechanisms of pattern formation during development of
higher organisms: a hierarchical solution ofa complex program. Ber. Bunsenges.
Phys. Chem., 89, 691-9.
Meinhardt, H. & Gierer, A. (1980). A. Generetion and regeneration of structures
during morphogenesis. J. Theor. Bioi., 85, 429-50.
Michaelis, L. & Menten, M. L. (1913). Die Kinetik der Invertinwirkung. Biochem. Z.,
49, 333-69.
Micheau, J. C., Horsthemke, W. & Lefever, R. (1984). Sensitivity of biphotonic
systems to light intensity fluctuations: experimental evidence in the thermolumines-
cence offluoresceine in boric acid glasses. J. Chem. Phys., 81, 2450-7.
Moelwigh-Hughes, E. A. (1971). The chemical static and kinetics of solutions.
Academic Press, London.
Monod, J., Wyman, J. & Changeux, J. P. (1965). On the nature of allosteric
References 239
Nicolis, G. & Portnow, I. (1973). Chemical oscillations. Chern Rev., 73, 365-84.
Nicolis, G. & Turner, J. W. (1977). Stochastic analysis of a nonequilibrium phase-
l.ransition: some exact results. Physica, 89A, 326-38.
Nicolis, G., Dewell, G. & Turner, J. W. (eds) (1984). Order and fluctuations in
equilibrium and non-equilibrium statistical mechanics. Wiley-Interscience, London.
Nitzan, A. (1978). Chemical instabilities as critical phenomena. Phys. Rev., 17,
1513-28.
Nitzan, A., Ortoleva, P., Deutch, J. & Ross, J. (1974a). Fluctuations and transitions
at chemical instabilities. The analogy to phase transitions, J. Chern. Phys., 61,
1056-74.
Nitzan, A., Ortoleva, P. & Ross, J. (1974b). Nucleation in systems with multiple
stationary states, Faraday Symp. the Chern. Soc., No.9 241-53.
Nobile, A. G. & Ricciardi, I. (1984a). Growth with regulation in fluctuating
environments, I. Alternative logistic-like diffusion models, Bioi. Cyb., 49, 179-88.
Nobile, A. G. & Ricciardi, L. (1984b). Growth with regulation in fluctuating
environments, II. Intrinsic lower bound to population size. Bioi. Cyb., 50, 285-99.
Noszticzius, Z., Farkas, H., Schelly, Z. A. & Savage, C. Explodator: a new skeleton
mechanism for the chalate driven oscillators. J. Chern. Phys., 80, 6062-70.
Nowak, U. & Deuflhard, P. (1985). Numerical identification of selected rate constants
in large chemical reaction systems. Appl. Num. Math., 1, 59-75.
Noyes, R. M. (1974). Kinetics of complex reactions. In: Techniques of chemistry, Vol.
6, Pt. I, ed. E. S. Lewis, pp. 489-538. John Wiley,
Noyes, R. (1978). Generalized kinetics of chemical change: some conditions for
validity of the steady state approximation. Supplement of the Progr. Theor. Phys.,
64, 295-306.
Noyes, R. (1984). In: Non-equilibrium dynamics in chemical systems, eds C. Vidal & A.
Pacault (Springer Series in Synergetics, Vol. 27), pp. 118-21. Springer Verlay,
Berlin.
Nyquist, H. (1928). Thermal agitation of electrical activity in conductors. Phys. Rev.,
32 110-3.
Odell, G. R., Oster, G., Burnside, B. & Alberch, D. (1984). The mechanical basis of
morphogenesis. Develop. Bioi., 85, 446-
0kamoto, M. & Hayashi, K. (1984). Optimal control mode of a biochemical feedback
system. BioSystems, 16, 315-21.
Olsen, L. F. (1983). An enzyme reaction with a strange attractor. Phys. Letters, 94A,
454-7.
Olsen, L. F. & Degn, H. (1977). Chaos in an enzyme reaction. Nature, 267, 177-8.
Olsen, L. F. & Degn, H. (1978). Oscillatory kinetics of the perioxidase-oxidase
reaction in an open system. Experimental and theoretical studies. Biochim. Biophys.
Acta, 523, 321-34.
Olsen, L. F. & Degn, H. (1985). Chaos in biological systems. Quart. Rev. Biophys., 18,
165-225.
Oppenheim, 1., Shuler, K. E. & Weiss, G. M. (1969). Stochastic and deterministic
formulation of chemical rate equations. J. Chern. Phys., 50, 460-6.
Oppenheim, 1., Shuler, K. E. & Weiss, G. M. (1977). Stochastic theory of nonlinear
rate processes with multiple stationary states. Physica, 88A, 191-214.
Orlov, V. N. & Rozonoer, L. I. (1981). Zh. Vychisl. i Mat. Fiz., 21, 1192-205.
Orlov, V. N. & Rozonoer, L. I. (1984a). The macrodynamics of open systems and the
variational principle of the local potential-I, Journal of the Franklin Institute, 318,
283-314.
Orlov, V. N. & Rozonoer, L. I. ( 1984b). The macrodynamics of open systems and the
variational principle of the local potential-11. Journal of the Franklin Institute,
318, 315-47.
References 241
system. In: Proc. Int'l Symp. Math. Topics in Biology (Sept. 11-12, 1978, Kyoto,
Japan) pp. 131-5. Kyoto Research Institute for Mathematical Science, Kyoto.
Rossler, 0. E. (1979). Chaos and strange attractors in chemical kinetics. In:
Synergetics. Far from equilibrium, eds A. Pacault C. Vidal (Springer Series in
Synergetics, Vol. 3), pp. 107-113. Springer Verlag, Berlin.
Rossler, 0. E. (1981). Chaos and chemistry. In: Nonlinear phenomena in chemical
dynamics, eds C. Vidal & A. Pacault (Springer Series in Synergetics, vol. 12),
pp. 79-87. Springer Verlag, Berlin.
Rossler, 0. E. (1983a). The chaotic hierarchy. Z. Naturforsch., 38a 788-801.
Rossler, 0. E. (1983b). Deductive prebiology. In: Molecular evolution and the
protobiologica/ paradigm eds K. Matsuno, K. Dose, K. Harada & B. L. Rohlfing.
Plenum Press, New York.
Rossler, 0. E. & Hudson, D. L. (1985). A piecewise linear hierarchy. Symp. on Math.
Bioi., Kyoto (Abstract) pp. 18-20.
Rossler, 0. E. & Wegman, K. (1978). Nature, 271, 89-90.
Roux, J .-C. ( 1983). Experimental studies of bifurcations leading to chaos in the
Belousov-Zhabotinsky reaction, Physica, 7D, 57-68.
Roux, J. C., Rossi, A., Bachelart, S. & Vidal, C. Experimental observations of
complex dynamical behaviour during a chemical reaction. Physica, 2D, 395-403.
Riickenstein, E. & Vavanellos, (1975). Kinetics of solid state reactions. A/ChE J., 21,
756-763.
Rudin, W. (1978). Principles of mathematical analysis, McGraw-Hill, Inc. New York.
Ruelle, D. (1981). Chemical kinetics and differentiable dynamical systems. In:
Nonlinear phenomena in chemical dynamics, eds C. Vidal & A. Pacault (Springer
Series in Synergetics, Vol. 12), pp. . Springer Verlag, Berlin.
Rumschitzky, D. S. (1984). On the theory of multiple steady states in isothermal
CSTRs (Ph.D. thesis), University of Rochester, Rochester, New York.
Rumschitzky, D. & Feinberg, M. Reaction network structure and the possibility of
multiple steady states in complex isothermal CSTRs, Chern. Eng. Sci. (in
preparation).
Samohyl, I. (1982). Racionalni termodinamika chemicky reagijucich smes. Academia.
Prague.
Sancho, J. M. & San Miguel, M. (1982). External non-white noise: theory and
experiment. Physica, 116A, 560-2.
Sancho, J. M. & San Miguel, M. (1984). Theory of external two-state Markov noise in
the presence of internal fluctuations, J. Stat. Phys., 37, 151-72.
Sayasov, Yu. S. & Vasil'eva, A. B. (1955). Foundations and conditions of the
applicability of the method of quasistationary concentrations by Semenov and
Bodenstein, Zh. Fiz. Khimii, 29 (5), 802-10.
Schay, G. & Petho, A. (1962). Ober die mathematischen Grundlagen der Sto-
chiometrie, Acta Chim. Acad. Sci. Hung., 32, 59-67.
Schimansky-Geier, L., Tolstopjatenko, A. V. & Ebeling, W. (1985). Noise induced
transitions due to external additive noise. Phys. Letters, 108A, 329-32.
Schlogl, F. ( 1972). Chemical reaction models for nonequilibrium phase transitions. Z.
Physik, 253, 147-61.
Schmitz, R. A., Graziani, K. R. & Hudson, J. L. (1977). Experimental evidence of
chaotic states in the Belousov-Zhabotinsky reaction. J. Chern. Phys., 67 (7)
3040-4.
Schnakenberg, J. (1977). Thermodynamics network analysis of biological systems.
Springer Verlag, B<:rlin.
Schnakenberg, J. (1979). Simple chemical reaction systems with limit cycle behaviour.
J. theor. Bioi., 81, 389-400.
Schneider, K. R. (1969). Ober die periodischen Losungen einer Klasse nichtlinearer
References 245
Willamowski, K.-D. (1978a). Contributions to the theory of mass action kinetics, II.
Representation of closed and open kinetics. Z. Naturforsch., 33a, 983-8.
Willamowski, K.-D. (1978b). Contributions to the theory of mass action kinetics, III.
Some dynamic properties of second order mass action kinetics. Z. Naturforsch.,
33a, 989-92.
Willamowski, K.-D. & Rossler, 0. E. (1978). Contributions to the theory of mass
action kinetics, I. Enumeration of second order mass action kinetics. Z. Natur-
forsch., 33a, 827-33.
Willamowski, K.-D. & Rossler, 0. E. (1980). Irregular oscillations in a realistic
abstract quadratic mass action system. Z. Naturforsch., 35a, 317-18.
Williams, M. M. R. (1974). Random processes in nuclear reactors. Pergamon Press.
Wilson, K. G. & Kogut, J. (1974). The renormalization group and the £-expansion.
Phys. Rep., 12c, 75-199.
Winfree, A. T. (1972). Spiral waves of chemical activity, Science, 175, 643-36.
Winfree, A. T. (1973). Scroll-shaped waves of chemical activity in three dimensions.
Science, 181, 937-7.
Winfree, A. (1974). Rotating chemical reactions. Sci. Am., 230, 82-95.
Winfree, A. T. ( 1980). The geometry of biological time, Lecture Notes in Biomathema-
tics, Vol. 8. Springer Verlag, Berlin.
Winfree, A. T. (1984a). The prehistory of the Belousov-Zhabotinsky oscillator. J.
Chern. Educ., 61, 661-3.
Winfree, A. T. (1984b). Organizing centers for chemical waves in two and three
dimensions. In: Oscillations and travelling waves in chemical systems, eds. R. J. Field
& M. Burger, pp. 441-472. John Wiley, New York.
Winfree, A. T. & Strogatz, S. H. (1985). Organizing centres for three-dimensional
chemical waves. Nature, 311, 611-15.
Wolfe, R. J. (1978). Temporal oscillation in a kinetic model of the Belousov-
Zhabotinskii reaction. Arch. Rat/. Mech. Anal., 67, 225-50.
Wolfram, S. (1986). Theory and applications of cellular automata. World Scientific,
Singapore.
Wright, S. (1931 ). Evolution in Mendelian populations. Genetics, 16, 97-159.
Wulfman, C. E. (1979). Limit cycles as invariant functions of Lie groups. J. Phys. A.
Math. Gen., 12, L73-5.
Yablonskii, G. S. & Bykov, V. I. (1977). On the nonstationary kinetics of catalytic
reactions. AN SSSR SO Institute of Catalysis, Novosibirsk.
Yeh, Y. & Keeler, R. N. (1969). Experimental study of reaction kinetics by light
scattering, I. The polarized Rayleigh component. J. Chern. Phys., 51, 1120-7.
Yeh, Y. & Keeler, R. N. (1970). Experimental study of reaction kinetics by light
scattering, II. Helixcoil transition of the coplymer deoxy-adenylatdeoxythymidate
(dAT). J. Chern. Phys., 52, 6218-24.
Yourgrau, W. & Row, C. J. G. (1957). Supp/. Nuovo Cim., 5, 472-
Zacks, S. (1971 ). The theory of statistical inference. John Wiley, New York.
Zaikin, A. W. & Zhabotinskii, A.M. (1970). Concentration wave propagation in two-
dimensional liquid-phase self-oscillating systems. Nature, 225, 535-7.
Zeman, C. E. (1971). Time in science and philosophy.
Zhabotinskii, A.M. & Korzukhin, M. D. (1971). I. Mathematical modelling of the
kinetics of homogeneous chemical systems. In: Oscillatory processes in biological
and chemical systems., pp. 223-31. Chast 2-aya, Pushchino na Oke (in Russian).
Zurek, W. H. Schieve, W. C. (1980). Deviations from the Poisson behaviour of
equilibrium fluctuations in a closed system. J. Stat. Phys., 22, 289-96.
Index