a pattern of chemical reactions frequently encountered in cell biology is one where @xmath0 phosphate groups are attached to a protein by reactions catalysed by one enzyme @xmath2 ( a kinase ) and removed again by reactions catalysed by another enzyme @xmath3 ( a phosphatase ) .
this is sometimes called a multiple futile cycle .
an introduction to this type of biological system and how it can be modelled mathematically using ordinary differential equations ( ode ) depending on parameters can be found in @xcite .
it is proved in @xcite that for a @xmath0-fold futile cycle , @xmath4 , this system of ode exhibits multistationarity for certain values of the parameters , i.e. that there exist several different stationary solutions .
upper and lower bounds for the number of stationary solutions as a function of @xmath0 were also proved in @xcite .
for @xmath5 there is a unique stationary solution and it is globally asymptotically stable @xcite . the results which follow concern the case @xmath1 of this system , the dual futile cycle . in that case
the maximal number of stationary solutions for any values of the parameters is three .
note for comparison that in the case @xmath6 while the results of @xcite only guarantee that the maximal number of stationary solutions is between three and five it was recently shown in @xcite that the upper bound is sharp .
in other words , for @xmath6 there are parameter values for which there exist five stationary solutions .    beyond the question of the number of stationary solutions it is of great interest to obtain information about their stability .
this allows conclusions about the significance of the stationary solutions for the dynamics of more general solutions of the system .
it is of particular interest to know whether there exist more than one stable stationary solution for fixed values of the parameters
. this phenomenon is called bistability .
( in ode describing chemical systems there are often preferred invariant affine subspaces , the stoichiometric compatibility classes .
when talking about fixed parameters it is understood that the stoichiometric compatibility class has been fixed . ) in @xcite it was concluded using numerical and heuristic approaches that there is bistability in the dual futile cycle . to the authors knowledge
there is no rigorous and purely analytical proof of this statement in the literature .
the main result of the present paper is a proof of this type .    in @xcite and
@xcite the reactions are modelled using a standard michaelis - menten scheme for the catalysis of each reaction and mass action kinetics for the elementary reactions involved . the resulting system will be called the mm - ma system ( michaelis - menten via mass action ) in what follows and it is the system of principal interest here .
it is possible , via a quasistationarity assumption of michaelis - menten type , to pass formally to a smaller system , called the mm system ( michaelis - menten ) in what follows .
the question of bistability in the latter system has been studied by methods which are partly numerical and heuristic in @xcite .
the strategy used in what follows is to first give a rigorous analytical proof of bistability in the mm system using bifurcation theory .
it is shown that there is a generic cusp bifurcation and this implies bistability by well - known methods @xcite .
then bistability is concluded for the mm - ma system with the help of geometric singular perturbation theory @xcite which gives control over the limiting process from the mm - ma system to the mm system and can be thought of as a far - reaching generalization of earlier work of tikhonov ( see @xcite , sect .
39 ) and hoppensteadt @xcite .
the relevance of this type of result to the quasistationary approximation was pointed out in @xcite .
a similar strategy has been used in @xcite to prove that generic solutions of the system describing the dual futile cycle converge to stationary solutions .
the paper is organized as follows . in the next section the basic equations of the model studied in the paper are explained .
[ techniques ] is a concise introduction to some of the main mathematical tools used . in sect .
[ bistabmm ] bistability is proved for the michaelis - menten system and in sect .
[ bistabma ] this is used to obtain a corresponding result for the full system . in sect .
[ further ] some directions in which this research could be extended are indicated .
these concern the mapk cascade .
in particular it is discussed how michaelis - menten reduction can be applied in that case and an explicit reduced system is presented .
consider a chemical system consisting of a protein @xmath7 and the substances @xmath8 and @xmath9 obtained by attaching one or two phosphate groups to @xmath7 .
the reactions which attach phosphate groups are catalysed by an enzyme @xmath2 and those which remove phosphate groups by an enzyme @xmath3 .
it is assumed that the enzyme @xmath2 can only add one phosphate group before releasing the substrate .
this is what is called distributive phosphorylation in contrast to processive phosphorylation where more than one phosphate is added during one encounter between the enzyme and its substrate .
it is also assumed that the phosphate groups are added at binding sites in a certain order .
this is called sequential phosphorylation .
it is assumed that dephosphorylation by @xmath3 has corresponding properties and that phosphate groups are removed in the reverse order to that in which they are added .
these assumptions about the nature of the phosphorylation and dephosphorylation processes are common in modelling approaches in the literature . adopting them , the chemical reactions we are modelling can be written in the following form where the label @xmath10 denotes the reaction constant of reaction @xmath11 .
@xmath12^{k_1 } &   ye \ar@/^1pc/[l]^{k_2 } \ar[r]^{k_3 } & yp+e \\ & & \\
yp+e \ar@/^1pc/[r]^{k_4 } & ype\ar@/^1pc/[l]^{k_5 } \ar[r]^{k_6 } & ypp+e\\ & & \\
ypp+f \ar@/^1pc/[r]^{k_7 } & yppf \ar@/^1pc/[l]^{k_8 } \ar[r]^{k_9 } & yp+f\\ & & \\
yp+f \ar@/^1pc/[r]^{k_{10 } } & ypf\ar@/^1pc/[l]^{k_{11 } } \ar[r]^{k_{12 } } & y+f } \ ] ]    an important biological example is the case where @xmath7 is the extracellular signal - regulated kinase ( erk ) , @xmath2 is the mapk / erk kinase ( mek ) and @xmath3 is mapk phosphatase 3 ( mkp3 ) .
this is part of a mitogen activated protein kinase ( mapk ) cascade , a pattern of chemical reactions of key significance in molecular biology .
some experimental results on this system are summarized in @xcite and are as follows .
both mek and mkp3 act in a distributive fashion .
dephosphorylation by mkp3 is sequential but phosphorylation by mek has a random component - one order of phosphorylation predominates but the other also occurs .
there is some discussion in @xcite of the effects of this fact on the dynamics . in
what follows the analysis is restricted to the case where both @xmath2 and @xmath3 act sequentially .
it is of interest to note that if distributive phosphorylation is replaced by processive phosphorylation for one or both of the enzymes in this model then the existence of more than one stationary solution , and in particular bistability , can be ruled out @xcite .
the concentration of a substance @xmath13 is denoted by @xmath14 .
if mass action kinetics are imposed then the assumptions made up to this point uniquely determine the evolution equations for the concentrations of the substances taking part in the reactions .
these are the free substrates @xmath7 , @xmath8 and @xmath9 , the free enzymes @xmath2 and @xmath3 and the substrate - enzyme complexes @xmath15 , @xmath16 , @xmath17 and @xmath18 .
they satisfy the following system of nine ordinary differential equations : @xmath19 the reaction constants @xmath10 are positive numbers .
it should be noted that apart from the differences in notation these equations are identical to those in @xcite and @xcite .
let @xmath20 these quantities , which are the total concentrations of the enzymes and of the substrate , are conserved under the evolution .
thus @xmath21 and @xmath22 can be expressed in terms of @xmath23 and @xmath24 and the concentrations of their complexes . in a similar way
, @xmath25 can be expressed in terms of @xmath26 , @xmath27 , @xmath28 and the concentrations of the complexes involving @xmath7 .
it is thus possible to discard the evolution equations ( [ dfc2 ] ) , ( [ dfc8 ] ) and ( [ dfc9 ] ) and reduce the number of equations from nine to six .
the notation @xmath25 should now be thought of as an abbreviation for the expression of this quantity in terms of @xmath26 and the unknowns in the remaining evolution equations .
the six equations depend on the three parameters @xmath23 , @xmath24 and @xmath26 .
if a solution of the system of nine equations is given , a solution of the system of six equations with certain values of the parameters is obtained .
conversely , given a solution of the system of six equations and a choice of the constants @xmath23 , @xmath24 and @xmath26 a solution of the set of nine equations can be obtained .
in order to ensure that the latter is positive the constants @xmath23 , @xmath24 and @xmath26 must be chosen sufficiently large .
next we want to pass to the michaelis - menten limit .
this can be done by introducing rescaled variables . if @xmath13 is the concentration of a free enzyme or that of a substrate - enzyme complex let @xmath29 .
let @xmath30 and similarly for @xmath3 .
the smallness of @xmath31 amounts to the enzyme concentrations being small compared to the concentrations of the substrates .
finally , let @xmath32 . for @xmath31 small
, the system exhibits fast - slow dynamics .
the two different time scales are reflected in the time variables @xmath33 and @xmath34 .
the transformed equations are @xmath35 note that equations ( [ dfc2 ] ) , ( [ dfc8 ] ) and ( [ dfc9 ] ) could also be rescaled in a similar way so that in total a system of nine equations depending on @xmath36 is obtained whose solutions for any @xmath31 are in one to one correspondence with the solutions of the system ( [ dfc1])-([dfc9 ] ) . setting @xmath37 in equations ( [ rescaled4])-([rescaled7 ] ) gives @xmath38 adding these equations in pairs gives @xmath39\tilde x_{e}\label{erel},\\ & & \tilde f=\left[1+\frac{k_{10}}{k_{11}+k_{12}}x_{yp } + \frac{k_7}{k_8+k_9 } x_{ypp}\right]\tilde x_f.\label{frel}\end{aligned}\ ] ] using ( [ stat1])-([stat4 ] ) the evolution equations ( [ rescaled1])-([rescaled3 ] ) can be rewritten as @xmath40 note that @xmath41 .
we define @xmath42 to emphasize the dependence on @xmath36
. then for @xmath37 the relation @xmath43 holds so that setting @xmath44 this is a closed system of equations .
summing up , the equations are of the form @xmath45 where , using ( [ erel ] ) and ( [ frel ] ) , @xmath46 and @xmath47 the conditions for a stationary solution are @xmath48 and @xmath49 . from now on the simplifying assumption will be made that @xmath50 call the common value of these quantities @xmath51 .
the simplifying assumption ( [ common ] ) means that the ratios @xmath52 , @xmath53 , between the constants of the reactions producing and consuming the substrate - enzyme complexes during phosphorylation are equal . note that ( [ common ] ) is equivalent to a set of relations between the @xmath10 and @xmath51 .
if @xmath54 and @xmath55 are given then @xmath56 , @xmath57 , @xmath58 and @xmath59 are determined by the @xmath60 and @xmath51 .
there are then four degrees of freedom in choosing the other @xmath10 so as to satisfy the other relations . thus if values @xmath60 ,
@xmath51 , @xmath54 and @xmath55 are given they can be realized by many choices of @xmath10 .
in this section some ideas from bifurcation theory and geometric singular perturbation theory will be reviewed .
bifurcation theory for ordinary differential equations concerns parameter - dependent systems @xmath61 where the variable @xmath62 and the parameter @xmath63 belong to subsets of euclidean spaces . under some circumstances the flows of the equations for different values of @xmath63 are related to each other by a diffeomorphism of the space with coordinates @xmath62 . in that case
the qualitative nature of the flow does not change with @xmath63 .
this is for instance true in a neighbourhood of a point @xmath64 and a parameter value @xmath65 for which @xmath66 ( flow - box theorem ) , or in a neighbourhood of a hyperbolic equilibrium ( hartman - grobman theorem ) . if the flows can not be related in this way for @xmath63 close to some value
@xmath65 then it is said that a bifurcation occurs at @xmath65 .
for example at an equilibrium @xmath64 ( where of course @xmath67 ) , a bifurcation occurs iff the linearisation @xmath68 admits eigenvalues with vanishing real part . in this case a non - trivial centre manifold exists .
the aim of bifurcation theory is to obtain insights into the qualitative changes in the flow in this kind of situation .
this can often provide valuable information on the dynamics of the system for parameter values close to @xmath65 , for instance the number and stability of stationary solutions .
this information is obtained when certain criteria are satisfied .
typical examples of relevant conditions are whether certain combinations of derivatives of @xmath69 at @xmath70 are zero or non - zero or the signs of such combinations . when studying a bifurcation at a stationary point @xmath64 it is often possible to reduce the dimension of the space of unknowns @xmath62 using centre manifold theory .
a detailed discussion of this can be found in chapter 5 of @xcite .
the essential qualitative features occur on the centre manifold whose dimension is equal to the dimension of the space of generalized eigenvectors of the linearization @xmath71 corresponding to purely imaginary eigenvalues .    to make this more concrete we consider the example of greatest importance in what follows , the cusp bifurcation .
suppose that the dynamical system is one - dimensional , remembering that this may have resulted from a system of higher dimension by centre manifold reduction .
suppose that @xmath63 has two components @xmath72 and @xmath73 . by choosing coordinates
appropriately it can be assumed that the bifurcation occurs at the point @xmath74 .
the system is said to exhibit a generic cusp bifurcation if @xmath75 where the subscripts denote partial derivatives with respect to the corresponding variables .
if only the first three of these conditions are satisfied it might be said loosely that there is a cusp bifurcation but this does not exclude the possibility that extra degeneracies might occur .
these can be ruled out by imposing the last two conditions and this is what is meant by the term generic here .
when the one - dimensional system arises from a system of higher dimension by centre manifold reduction the diagnostic conditions for a cusp bifurcation can be reexpressed in terms of algebraic conditions on derivatives of the original system , as explained in chapter 8 of @xcite .
this will be seen in more detail in the example of the dual futile cycle in sect .
[ bistabmm ] .
the significance of the cusp for the results of this paper is that when a bifurcation of this type with @xmath76 occurs at some point there are nearby parameter values for which there exist two stable stationary solutions , and one which is unstable .
the case @xmath77 gives one stable and two unstable stationary solutions and is not relevant for what follows .
the name cusp bifurcation comes from the following .
figure [ cuspfig ] shows @xmath78 , where the horizontal plane is the plane of parameters @xmath79 , and the vertical direction the one dimensional variable @xmath62 .
bifurcation diagram for a generic cusp bifurcation : the unstable branch of the surface of equilibria is shaded , as well as the region in the parameter plane with multiple equilibria.,scaledwidth=100.0% ]    the set of equilibria forms a surface in this bifurcation diagram .
near a cusp bifurcation , this surface shows a fold .
the line delimiting the folding region projected into the horizontal parameter plane forms a cusp , although the surface in @xmath78 is smooth . for a given parameter in the cusp region , there are two stable equilibria and one unstable one .
furthermore there are heteroclinic orbits connecting the unstable equilibrium to the two stable ones .
next some remarks will be made on geometric singular perturbation theory ( gspt ) .
this theory was developed by fenichel @xcite and section 3 of that paper provides an introduction to some of the main ideas involved .
the standard situation in which this theory is applied is for a system of ode of the form @xmath80 where the prime denotes the derivative with respect to a time coordinate @xmath34 . here
@xmath69 and @xmath81 are smooth functions and @xmath36 is a parameter .
the aim is to understand the qualitative behaviour of solutions of this system in the limit @xmath82 where the system ( [ gspt ] ) reads @xmath83 the system ( [ gspt0 ] ) is called the reduced system .
the dynamics of the reduced system may provide useful information about the qualitative behaviour of solutions of the system ( [ gspt ] ) with @xmath36 small and non - zero .
the system ( [ gspt ] ) is singular at @xmath37 since the time derivative of @xmath84 is multiplied by a factor which vanishes there .
this means that regular perturbation theory can not be applied .
note that the system ( [ rescaled1])-([rescaled7 ] ) is of this general form .
suppose that in the above system @xmath62 is a point of @xmath85 and @xmath84 a point of @xmath86 .
let @xmath32 for @xmath31 and denote the derivative with respect to @xmath33 by a dot . transforming the equations to the time
coordinate @xmath33 and adding the equation @xmath87 gives the following system of @xmath88 equations @xmath89 call system ( [ extsys ] ) the extended system .
this extends smoothly to @xmath37 to @xmath90 assume that the set defined by the equation @xmath91 is equivalent to @xmath92 for a smooth function @xmath93 .
in particular it is a manifold @xmath94 .
this manifold consists of stationary points of the extended system ( [ extsys ] ) at @xmath37 . assume further that the linearization of system ( [ extsys ] ) at any point of @xmath94 has no purely imaginary eigenvalues other than the zero eigenvalues arising from the fact that @xmath94 consists of stationary solutions and the fact that @xmath36 is a conserved quantity .
call these eigenvalues corresponding to eigenvectors transverse to @xmath94 the transverse eigenvalues .
they correspond to the eigenvalues of the linearization of the system @xmath95 with @xmath62 held fixed .
this leads to the following    [ transeigen ] for a point @xmath96 , we define the transverse eigenvalues at @xmath62 as the eigenvalues of the linearisation @xmath97 , under the assumption that none of them is purely imaginary .
a centre manifold @xmath98 of the extended system ( [ extsys ] ) at any point of @xmath94 contains @xmath94 .
it was shown in @xcite that there exists a manifold @xmath98 which is a centre manifold for all points of @xmath94 close to a given point .
the manifold @xmath98 is sometimes called a slow manifold .
the restriction of the extended system ( [ extsys ] ) to the slow manifold @xmath98 can be interpreted as a system of @xmath99 equations depending on the parameter @xmath36 .
remarkably , rewriting this system in terms of the time coordinate @xmath34 gives a system which depends on @xmath36 in a regular fashion , even at @xmath37 .
for @xmath37 it coincides with the reduced system ( [ gspt0 ] ) . for @xmath31 call
this the perturbed reduced system .
the reduction theorem of shoshitaishvili ( see @xcite , theorem 5.4 ) shows that the qualitative behaviour of solutions of the extended system ( [ extsys ] ) near a point of @xmath94 is determined in a simple way by the dynamics on @xmath98 .
in fact it is topologically equivalent to the product of the dynamics on @xmath98 with a standard saddle .
what this means in practise is that dynamical features of the reduced system ( [ gspt0 ] ) are inherited by the full system ( [ gspt ] ) for @xmath36 small . in the case of the central example of this paper
the real parts of the transverse eigenvalues of the linearization at points of @xmath94 defined in [ transeigen ] are all negative .
thus the standard saddle mentioned above is a hyperbolic sink in this case .
this implies that bistability of the mm system ( which is the reduced system in this case ) is inherited by the perturbed reduced system .
it then follows from the theorem of shoshitaishvili that bistability is inherited by the mm - ma system . in other situations , as will be explained further in sect .
[ further ] , the existence of periodic solutions of the reduced system is inherited by the full system .
the mm system can be written as @xmath100 it has been observed in @xcite that if certain restrictions are imposed on the parameters it is possible to find an explicit stationary solution of equations ( [ mm1])-([mm2 ] ) with interesting properties . consider a stationary solution that we call @xmath101 , with starred coordinates @xmath102 and the corresponding quantity @xmath103 .
we look for an equilibrium @xmath101 satisfying @xmath104 , a condition which is satisfied by the special solutions considered in @xcite .
then the denominators in the expressions for the evolution equations are all equal and the equations for stationary solutions imply that @xmath105 it follows that @xmath106 let @xmath107 .
the linearization of the system at the stationary point @xmath101 is @xmath108 times @xmath109 & -a_1bx - a_2 n   \\ -a_3 n - ba_4x & -(a_3+a_4)+b[-a_4(\tilde y - x)-a_3x ] \end{array } } \right]\ ] ] where @xmath110 .
the equations @xmath111 and @xmath112 can be used to eliminate @xmath113 and @xmath114 in favour of @xmath115 and @xmath116 .
after simplification and multiplication by an overall factor @xmath62 the matrix ( [ rescaledmatrix ] ) becomes @xmath117.\ ] ] now we look for a stationary point @xmath101 where a bifurcation takes place , so that the above matrix should admit a zero eigenvalue .
the determinant of this matrix vanishes precisely when @xmath118 there are two cases according to the relative signs of the quantities inside the absolute values . setting @xmath119 and @xmath120 we get the alternative conditions @xmath121 and @xmath122 .
the case @xmath123 can be discarded since it corresponds to a vanishing concentration of substrate .
the case @xmath124 is also not relevant since it corresponds to a vanishing concentration of @xmath25 .
the case @xmath125 leads to a negative concentration of @xmath25 .
consider now the remaining case @xmath126 .
a computation shows that @xmath127 now @xmath128 we have a bifurcation if and only this last relation is satisfied .
a necessary and sufficient condition that it can be satisfied for parameters with @xmath129 positive is that @xmath130 . in that case @xmath131 .
we summarize the conditions necessary and sufficient for the existence of the stationary point denoted by @xmath101 with coordinates given by ( [ expstat ] ) : @xmath132 substituting the bifurcation condition into the linearization @xmath108 times ( [ rescaledmatrix ] ) simplifies it to @xmath133.\ ] ] this matrix has rank one with the right eigenvector corresponding to the zero eigenvalue being the transpose of @xmath134 $ ] and the left eigenvector @xmath135 $ ] .
the other eigenvalue has the same sign as the trace and is negative .
next it will be shown that there is a non - degenerate cusp bifurcation at the point @xmath101 . the defining conditions for a bifurcation of this type
are given by ( [ cusp ] ) in the case of a one - dimensional system .
as discussed in sect . [ techniques ] a non - degenerate cusp bifurcation in higher dimensional dynamical systems is defined by relating the given system to the one - dimensional case by means of centre manifold reduction .
the essential dynamics is determined by that on the centre manifold which is one - dimensional in this case .
the point @xmath101 in the mm system has a one - dimensional centre manifold and so these techniques are applicable .
the reduction theorem makes transparent what is happening on an abstract level . on the other hand the concrete calculations which are needed to verify the presence of a non - degenerate cusp bifurcation by obtaining a suitable approximation to the centre manifold and analysing the dynamics on that manifold are hard to keep track of .
here we follow an approach to organizing these calculations explained in section 8.7 of @xcite .
it is necessary to calculate certain combinations of derivatives of the right hand side of the mm system at the point @xmath101 with respect to the unknowns and the parameters . for the cusp bifurcation
it is necessary to vary two parameters .
we choose these to be @xmath113 and @xmath114 and hold all other parameters in the system fixed .
it is convenient to introduce the notation @xmath136 , @xmath137 for the right hand sides of the equations of the mm system ( [ mm1])-([mm2 ] ) and @xmath138 , @xmath137 for the coordinates @xmath27 and @xmath28 .
the components of the right and left eigenvectors of the linearization will be denoted by @xmath139 and @xmath140 , respectively .
for derivatives we use the following abbreviations @xmath141    now higher derivatives of the coefficients in the system mm will be examined . for this
it is useful to consider derivatives of rational functions more generally .
each @xmath136 is a sum of rational functions where numerator and denominator are linear in the arguments . if @xmath69 and @xmath81 are smooth functions of two variables with @xmath81 non - vanishing then @xmath142 when @xmath69 is linear the term with @xmath143 vanishes .
now @xmath144 when @xmath81 is linear the first term vanishes .
thus when both @xmath69 and @xmath81 are linear we get @xmath145 contracting with @xmath146 ( i.e. multiplying by this expression and summing over repeated indices ) gives @xmath147 here and in what follows we use the summation convention - sums over repeated indices are implicitly assumed .
consider the quantities @xmath148 , evaluated at @xmath101 .
they are given by @xmath149,\\ & & x^2{}_{,jk}r^jr^k=2n^{-3}[a_3b^2x_{yp}+a_4b(-n+bx_{ypp})].\end{aligned}\ ] ] after some substitutions this gives @xmath150 = 4n^{-3}a_2 b^2x_{yp},\\ & & x^2{}_{,jk}r^jr^k=\frac23 n^{-3}a_3[3b^2x_{yp}+b(b\tilde y-2 ) ] = 4n^{-3}a_3 b^2x_{yp}.\end{aligned}\ ] ] it follows that @xmath151 and this is one of the conditions for a cusp bifurcation .
the next step is to examine the third order derivatives .
note first that @xmath152 in the given situation @xmath153 and @xmath154 it follows that @xmath155 hence @xmath156 in the one - dimensional case one of the conditions for a cusp is that the third derivative of the right hand side does not vanish . in higher dimensions
the analogue of the third derivative is not just the expression in ( [ thirdder ] ) .
there is an extra correction given on p. 374 of @xcite . to compute this
we need a vector whose image under the linearization at @xmath101 is the vector with components @xmath148 .
call it z. this is @xmath157^t$ ] .
the crucial quantity is @xmath158 to evaluate this we first calculate the second derivatives of @xmath159 and @xmath160 , which are @xmath161\ ] ] and @xmath162.\ ] ] contracting with @xmath163 corresponds to taking the differences of the columns of these matrices .
the results are @xmath164\ ] ] and @xmath165.\ ] ] eliminating @xmath113 and @xmath114 in terms of @xmath115 and @xmath116 as has been done in previous arguments and expressing everything in terms of @xmath129 gives @xmath166 , \ \ \
n^{-3}\left[\frac23 a_3b(b\tilde y+1)\ \ \
\frac23 a_3b(b\tilde y+1)\right].\ ] ] contracting this with @xmath167^t$ ] and @xmath168 gives @xmath169 . hence @xmath170 the crucial quantity is strictly negative and so another of the conditions for the cusp bifurcation is satisfied .
it remains to examine the derivatives with respect to parameters .
recall that the parameters to be varied are @xmath171 and @xmath172 .
the derivatives with respect to the two parameters of the right hand sides of the two mm equations are @xmath173 contracting these with respect to the left eigenvector @xmath168 gives @xmath174 differentiating the vector field in the direction of the right eigenvector @xmath163 gives @xmath175 ^ 2 } , \frac{a_4(1+bx_{yp})+a_3bx_{yp}}{[1+b(x_{yp}+x_{ypp})]^2}\right).\ ] ] the derivatives of this with respect to the two parameters are @xmath176 ^ 2 } , 0\right),\ \
\ \left(0,\frac{(1+bx_{yp})}{[1+b(x_{yp}+x_{ypp})]^2 }   \right).\ ] ] contracting these with respect to the left eigenvector gives @xmath177 ^ 2},\ \ \
\frac{-a_3(1+bx_{yp})}{[1+b(x_{yp}+x_{ypp})]^2}.\ ] ] it follows that @xmath178l_il_jr^k\nonumber\\ & & = -(a_2 ^ 2+a_3 ^ 2)n^{-3}x_y(1+bx_{yp}).\end{aligned}\ ] ] this is the last diagnostic quantity for the cusp bifurcation and it is seen to be non - zero .
this means that all conditions needed for the proof that there is a generic cusp bifurcation at @xmath101 have been verified .
[ bistabmm ] there exist values of the parameters @xmath60 , @xmath51 and @xmath26 for which the mm system - has three stationary solutions , two of which are locally asymptotically stable and one of which is a saddle of morse index one .
heteroclinic orbits connect the saddle to both stable equilibria .
it has been shown that when the conditions ( [ cond1 ] ) and ( [ cond2 ] ) are assumed the system exhibits a generic cusp bifurcation .
it follows from the analysis in section 8.7 of @xcite that centre manifold reduction leads to a one - dimensional system satisfying the hypotheses of theorem 8.1 of @xcite .
this implies that near the bifurcation point the dynamics on the centre manifold is topologically equivalent to the model system for the cusp bifurcation . combining this with theorem 5.4 of @xcite and using the fact that the non - zero eigenvalue of the linearization at the bifurcation point is negative gives the statement about the qualitative properties of the stationary solutions .
in this section it is shown that theorem [ bistabmm ] , which asserts bistability for the mm system , can be used to show an analogous result for the mm - ma system .
the existence of three stationary solutions for the dual futile cycle with suitable parameter values was proved in @xcite .
the aim here is to obtain information about the stability of these solutions .
[ bistabmm - ma ] there exist values of the parameters @xmath10 and values of the conserved quantities @xmath23 , @xmath24 and @xmath26 for which the system ( [ dfc1])-([dfc9 ] ) has three stationary solutions , two of which are stable and one of which is a saddle of morse index one .
their coordinates are compatible with the given values of the conserved quantities . furthermore heteroclinic orbits connect the saddle to both stable equilibria .
information about stability is to be propagated from the mm system to the mm - ma system by using a result showing that solutions of the mm - ma system approximate solutions of the mm system for @xmath36 small . for this
it is useful to introduce a condensed notation for the equations ( [ rescaled1])-([rescaled7 ] ) with fixed values of @xmath26 , @xmath54 and @xmath55 .
let @xmath179 and @xmath180 . here
the quantities @xmath181 and @xmath182 are the coordinates of the stationary solution @xmath101 given by ( [ expstat ] ) and the other starred quantities are those obtained from @xmath181 and @xmath182 by substituting them into - .
then the evolution equations for the variables @xmath62 and @xmath84 in the time scale @xmath183 are of the form ( [ gspt ] ) .
the dependence on @xmath36 of the right hand sides of these equations arises because @xmath26 depends on @xmath36 . for @xmath37 the second equation of the reduced system ( [ gspt0 ] )
becomes an algebraic equation which can be solved in the form @xmath92 so that @xmath184 .
substituting this into the first equation of the reduced system ( [ gspt0 ] ) gives an equation of the form @xmath185 , which is the mm - system ( [ mm1])-([mm2 ] ) .
the conditions @xmath186 and @xmath187 hold .
the limit of these equations for @xmath82 can be analysed using the results of @xcite as mentioned in sect .
[ techniques ] .
recall the form of the extended system in terms of the time variable @xmath188 : @xmath189 at each of the points of the manifold @xmath94 defined by the vanishing of @xmath190 the rank of the matrix which defines the linearization of the system is four .
this is equal to the rank of the matrix defining the linearization of the equation @xmath191 for fixed values of the variables @xmath62 . in this case
the calculation is particularly simple since the right hand side of the equation is an affine function of the unknowns .
the matrix is the direct sum of two diagonal @xmath192 blocks .
each of these blocks has positive determinant and negative trace and thus all eigenvalues have negative real parts .
thus in particular at each of the points of @xmath94 there is a three - dimensional centre manifold .
it follows from theorem 9.1 of @xcite that there is a three - dimensional invariant manifold which is a centre manifold for all of these points .
it can be chosen to be @xmath193 for any finite @xmath194 and it can be written in the form @xmath195 , where @xmath196 .
this manifold can be coordinatized by @xmath62 and @xmath36 and the restriction of the system to the manifold can be represented in the form @xmath197 since it has been shown that the system for @xmath37 has three hyperbolic stationary solutions it follows that the system for small positive values of @xmath36 also has at least three stationary solutions .
the heteroclinics connecting the unstable equilibrium to the stable one also persist for small values of @xmath36 .
the three stationary solutions are also equilibria of the full system and it follows from the theorem of shoshitaishvili that two of them are stable and the other is a saddle of morse index one connecting to both stable equilbria .
there are no more stationary solutions due to the results of @xcite . for a fixed value of @xmath31 and using the values of @xmath26 , @xmath54 and @xmath55 positive quantities @xmath198 , @xmath199 and @xmath200 can be determined which define positive stationary solutions of the rescaled version of ( [ dfc1])-([dfc9 ] ) .
undoing the rescaling gives solutions of the original system which all have the same values of the conserved quantities .
this completes the proof of theorem [ bistabmm - ma ] .
since several conditions are imposed on the parameters of the system , we want to summarize here the remaining degrees of freedom .
we already saw that the simplifying condition , given @xmath113 , @xmath115 , @xmath116 , @xmath114 , @xmath51 , @xmath201 and @xmath202 , leaves 4 degrees of freedom for the coefficients @xmath10 .
the equilibrium condition is a condition on the parameters @xmath113 , @xmath115 , @xmath116 and @xmath114 and leave us three degrees of freedom for them : given @xmath113 , @xmath115 , @xmath116 and @xmath114 we have @xmath203 .
putting this into the bifurcation condition gives @xmath204 , which is only a slight restriction to the freedom of chosing @xmath116 .
hence , the parameters @xmath51 , @xmath113 , @xmath204 , @xmath201 , @xmath202 and for example @xmath205 , @xmath206 , @xmath207 and @xmath208 can be chosen freely and then all other parameters in the system ( the other @xmath10 , @xmath115 and @xmath209 ) are determined uniquely by the conditions , and . in particular , we can choose @xmath113 and @xmath114 in such a way that the system is indeed in the cusp region where bistability holds .
we can also look at those conditions from the point of view of fixed reaction constants @xmath10 .
we saw that we can see the simplifying condition as a comparison between reaction constants of production and consumption of substrate - enzyme complexes during phosphorylation .
once the simplifying assumption has been made , the equilibrium condition translates to @xmath210 the quantities of enzymes @xmath211 have to be tuned accordingly . together with bifurcation condition
, equation leads to the inequality @xmath212 the quotients @xmath213 and @xmath214 again compare reaction constants : @xmath213 compares the constants of the reactions @xmath215^{k_3 } & yp+e & , & ypf \ar[r]^{k_{12 } } & y+f , } \ ] ] and the second quotient the analogous reactions for the double phosphorylated form @xmath9 . in order to understand the biological meaning of this inequality it may be useful to state its concrete interpretation in terms of the reactions .
the relative rate of production of the phosphorylated and dephosphorylated form is greater for the first cycle than for the second one .
furthermore the total quantity of @xmath7 has to be tuned accordingly .
an important cellular signalling system is the mapk cascade .
it contains three layers , each of which is a multiple phosphorylation loop of the type of the multiple futile cycle .
they are linked by the fact that the fully phosphorylated form of the protein which is the substrate in one layer is the kinase for the next layer . @xmath216^{1}&&mkkk
- p\ar@/^1pc/[ll]^{2 }    \ar[dl ]   \ar[dr]&&&&\\   & & & & & & \\
mkk\ar@/^2pc/[rr]^{3 } & & mkk - p\ar@/^2pc/[rr]^{4 } \ar@/^1pc/[ll]^{6 }   & & mkk - pp\ar@/^1pc/[ll]^{5 } \ar[dl ]   \ar[dr ] & & \\   & & & & & & \\   & & mapk\ar@/^2pc/[rr]^{7}&&mapk - p\ar@/^2pc/[rr]^{8 } \ar@/^1pc/[ll]^{10}&&mapk - pp\ar@/^1pc/[ll]^{9 }    } \ ] ] note that we later focus on the two upper layers of this cascade and use notation @xmath217 and @xmath7 for the substrates @xmath218 and @xmath219 respectively .
a fundamental study , both theoretical and experimental , of this system was carried out by huang and ferrell @xcite .
they modelled it by a system of ode using mass action kinetics .
numerical and heuristic evidence has been found indicating that this system has periodic solutions @xcite .
it may be that there is also chaotic behaviour in solutions of this system @xcite . here
we will concentrate on the issue of oscillations .
to what extent can the ideas used to prove bistability here be applied to give an analytical proof of oscillatory behaviour in the mapk cascade and can michaelis - menten reduction help ?
mapk cascades are often embedded in positive or negative feedback loops and it was suggested in @xcite that negative feedback could lead to oscillations in this context .
a model was introduced where the mapk cascade is in a negative feedback loop belonging to a more complex network of chemical reactions taking place in the cell . in this model a feedback loop between a phosphorylated form of one protein and a substrate in a layer above is induced by chemical reactions external to the cascade .
these other reactions are not modelled in detail - instead a generic form is chosen for the coupling . in the paper @xcite a michaelis - menten - like description of the cascade was used but the assumptions leading to the equations used there were not stated .
an insightful discussion of the modelling issues involved has been given in @xcite .
the equations in @xcite with feedback loop are of the type called phenomenological in @xcite . an equation with mass action kinetics like the mm - ma model considered above
is called mechanistic. finally a model like the mm model considered above is referred to as reduced mechanistic. we will adopt the terminology of @xcite in what follows . in a phenomenological model reduced equations for the individual reactions in a network are used and this may fail to capture interactions between the different reactions .    the difference between phenomenological and reduced mechanistic models will now be discussed in some detail in the case of the dual futile cycle . a model for the dual futile cycle can be extracted from the feedback model of @xcite as follows .
we take the second layer of the cascade and set the concentration of the phosphorylated form of the protein in the first layer , @xmath220 $ ] in the notation of @xcite , to a constant value .
this gives equations for the quantities @xmath221 $ ] and @xmath222 $ ] corresponding to our @xmath223 and @xmath28 .
for example , the equation for the first of these is of the form @xmath224}{d\tau}=v_6-v_3\ ] ] where @xmath225)[mkk]}{k_3+[mkk]}.\ ] ] this quantity @xmath226 corresponds to @xmath227 in our notation and the key difference is that it does not depend on @xmath228 $ ] while our @xmath227 does depend on @xmath25 . in this case
the model extracted from @xcite is the phenomenological one while our model is the reduced mechanistic one .
returning to the question of oscillations in the mapk cascade , note first that according to @xcite oscillations are already found numerically in a truncated version of the huang - ferrell model with only two layers , the first involving only one phosphorylation and the second involving two . for simplicity
we now concentrate on that truncated model .
more precisely , the reactions involved are the following : @xmath229^{k_1 } &   xe \ar@/^1pc/[l]^{k_2 } \ar[r]^{k_3 } & xp+e \\ & & \\
xp+f \ar@/^1pc/[r]^{k_1 } &   xp.f \ar@/^1pc/[l]^{k_2 } \ar[r]^{k_3 } & x+f }   \\ \text{2nd layer : } & \xymatrix { y+xp \ar@/^1pc/[r]^{k_4 } &   y.xp \ar@/^1pc/[l]^{k_5 } \ar[r]^{k_6 } & yp+xp \\ & & \\
yp+xp \ar@/^1pc/[r]^{k_7 } & yp.xp\ar@/^1pc/[l]^{k_8 } \ar[r]^{k_9 } & ypp+xp\\ & & \\
ypp+g \ar@/^1pc/[r]^{k_{10 } } & ypp.g \ar@/^1pc/[l]^{k_{11 } } \ar[r]^{k_{12 } } & yp+g\\ & & \\
yp+f \ar@/^1pc/[r]^{k_{13 } } & yp.g\ar@/^1pc/[l]^{k_{14 } } \ar[r]^{k_{15 } } & y+g } \end{aligned}\ ] ]    michaelis - menten reduction is more subtle in this case due to the fact that a single substance , @xmath230 , is both a substrate in one reaction and an enzyme in others .
this problem has been analysed in @xcite and @xcite .
in fact these papers treat more general sequences of coupled multiple phosphorylation loops .
the numerical results of @xcite lead to the conclusion that the periodic solutions of the mechanistic model seen in @xcite are also present in the reduced mechanistic model .
they also show that the reduced mechanistic model often gives more accurate results than a phenomenological model even when the parameter @xmath36 is not very small .    while the reduction procedure of @xcite and @xcite is close to being a direct generalization of the reduction to the mm system done above to the case of the truncated huang - ferrell model it is not exactly the same and it needs to be modified slightly to give a limit for @xmath82 which is well - behaved from the point of view of gspt .
this modification will now be carried out .
the notation is chosen to fit that in the rest of the paper .
the proteins in the first and second layers are denoted by @xmath217 and @xmath7 respectively .
the kinase in the first layer is denoted by @xmath2 and the phosphatases in the first and second layers by @xmath3 and @xmath231 .
the basic unknowns are the concentrations of @xmath217 , @xmath230 , @xmath7 , @xmath8 , @xmath9 , @xmath232 , @xmath233 , @xmath234 , @xmath235 , @xmath236 , @xmath237 , @xmath2 , @xmath3 and @xmath231 .
the conservation laws for the three enzymes @xmath2 , @xmath3 and @xmath231 and the two substrates @xmath217 and @xmath7 can be used to eliminate five of the variables .
a key idea in @xcite is to introduce a new variable @xmath238 , which leads to a cancellation in one of the evolution equations .
new variables are introduced by rescaling in a way similar to that done for the dual futile cycle above .
they are defined by the relations @xmath239 , @xmath240 , @xmath241 , @xmath242 , @xmath243 , @xmath244 , @xmath245 , @xmath246 , @xmath247 , @xmath248 , @xmath32 .
in addition , and this is the difference to what was done in @xcite , two of the reaction constants are rescaled , @xmath249 and @xmath250 .
these are the reaction constants for the binding of the enzymes @xmath2 and @xmath3 to their substrates .
the result is the system @xmath251 it is then possible to pass to the limit @xmath82 .
carrying out steps analogous to those done in the case of the dual futile cycle in a routine way gives @xmath252 the constants in this system can be expressed explicitly in terms of the parameters in the full system . to get a closed system the conservation laws for the total amounts of the substrates @xmath217 and
@xmath7 must be used .
this system may be compared with one extracted from the system of @xcite in a way similar to that done for the dual futile cycle above .
this time we take the equations for the substances in the first two layers and remove the explicit feedback .
this is done by setting the concentrations @xmath253 $ ] , @xmath254 $ ] and @xmath255 $ ] to zero .
then the equations for those quantities are satisfied identically and the dependence of the first reaction rate @xmath227 in @xcite on @xmath255 $ ] disappears . in the resulting system
the evolution equations for the second layer substrates @xmath221 $ ] and @xmath222 $ ] are independent of the variables involving the third layer substrate @xmath253 $ ] .
this is in contrast to the system ( [ mapkmm1])-([mapkmm3 ] ) where there is an intrinsic negative feedback loop . for
if the right hand sides of these equations are denoted by @xmath256 then @xmath257 while @xmath258 .
multiplying the two different signs of these derivatives gives the claimed negative feedback .
( for background on the defintion and significance of feedback loops the reader is referred to @xcite . ) in the equations extracted from the system of @xcite , on the other hand , we have @xmath259=0 $ ] and there is no intrinsic feedback . according to common heuristics the negative feedback loop in ( [ mapkmm1])-([mapkmm3 ] ) can be seen as a possible source of oscillations .
the interaction not captured in the phenomenological description is what is called sequestration . in certain circumstances
a lot of the substance @xmath230 is bound to its substrates @xmath7 and @xmath8 and so is not available to take part in the reaction converting it back to @xmath217 in the first layer .
the equations ( [ mapkmm1])-([mapkmm3 ] ) are a reduced system for the truncated huang - ferrell model in the sense of gspt .
the transverse eigenvalues ( as defined in [ transeigen ] ) have negative real parts .
in contrast to the system arising for the dual futile cycle the right hand side of the equations entering the computation of the transverse eigenvalues is no longer affine .
however the only nonlinear terms are in the equation for @xmath260 and the derivatives of these terms do not influence the eigenvalues .
all the other terms are either diagonal or belong to @xmath192 blocks which are similar to those already treated in the case of the dual futile cycle .
hence if it were possible to show that ( [ mapkmm1])-([mapkmm3 ] ) has a hyperbolic stable periodic solution then it would follow immediately that for @xmath36 sufficiently small the full system also has a periodic solution .
this is because hyperbolic stable periodic solutions persist under regular perturbations of a dynamical system .
thus the task of proving the existence of the periodic solutions of the truncated huang - ferrell model found numerically in @xcite reduces to proving an analogous statement for the reduced system .
since the former has dimension nine , even after exploiting all conservation laws , and the latter has dimension three , this could be a significant advantage .
the question of existence of periodic solutions of the reduced system will be investigated elsewhere .
another interesting question concerns the dependence of the results of theorems [ bistabmm ] and [ bistabmm - ma ] on the modelling by mass - action kinetics . a crucial argument in the present paper
consists in verifying the conditions for a cusp bifurcation to take place .
it is already technical for the mass - action kinetics where equilibria and derivatives can be computed explicitly . on the one hand ,
such computations seem difficult with a more general model for the kinetics of the chemical reactions .
but on the other hand , the fact that the evolution equations have a polynomial reaction rates is not essential .
models with more general right hand side could lead to similar results .
furthermore , we conjecture that the assumption is not a necessary condition , but only a convenience to simplify the computations .
angeli , d. and sontag , e. d. 2006 translation - invariant monotone systems and a global convergence result for enzymatic futile cycles .
rwa 9 , 128140 .
conradi , c. , saez - rodriguez , j. , gilles , e .- d . and raisch , j. 2005 using chemical reaction network theory to discard a kinetic mechanism hypothesis .
systems biology 152 : 243248 .
fenichel , n. 1979 geometric singular perturbation theory for ordinary differential equations .
31 , 5398 .
flockerzi , d. , holstein , k. and conradi , c. 2013 @xmath0-site phosphorylation systems with @xmath261 steady states .
preprint arxiv:1312.4774 .
heineken , f. g. , tsuchiya , h. m. and aris , r. 1967 on the mathematical status of the pseudo - steady state hypothesis of biochemical kinetics .
biosci . 1 , 95 - 113 .
hoppensteadt , f. c. 1966 singular perturbations on the infinite interval .
123 , 521535 .
huang , c .- y .
f. and ferrell , j. e. 1996 ultrasensitivity in the mitogen - activated protein kinase cascade .
usa 93 , 1007810083 .
kholodenko , b. n. 2000 negative feedback and ultrasensitivity can bring about oscillations in the mitogen activated protein kinase cascades .
j. biochem .
267 , 15831588 .
kuznetsov , y. a. 2010 elements of applied bifurcation theory .
springer , berlin .
markevich , n. i. , hoek , j. b. and kholodenko , b. n. 2004 signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades . j. cell biol . 164 , 353359 .
ortega , f. , garcs , j. l. , mas , f. , kholodenko , b. n. and cascante , m. 2006 bistability from double phosphorylation in signal transduction .
febs j. 273 , 39153926 .
qiao , l. , nachbar , r. b. , kevrekidis , i. g. and shvartsman , s. y. 2007 bistability and oscillations in the huang - ferrell model of mapk signaling . plos comp .
3 , 18191826 . sontag , e. 2007 monotone and near monotone biochemical networks .
synth . biol .
ventura , a. c. , sepulchre , j .- a .
merajver , s. d. 2008 a hidden feedback in signalling cascades is revealed .
plos comp . biol .
ventura , a. c. and sepulchre , j .- a .
2013 intrinsic feedbacks in mapk signalling cascades lead to bistability and oscillations .
acta biotheor .
61 , 5978 .
wang , l. and sontag .
e. d. 2008 on the number of steady states in a multiple futile cycle .
57 , 2952 .
wang , l. and sontag .
e. d. 2008 singularly perturbed monotone systems and an application to double phosphorylation cycles .
j. nonlin .
18 , 527550 .
wasow , w. 1965 asymptotic expansions for ordinary differential equations .
dover , new york .
zumsande , m. and gross , t. 2010 bifurcations and chaos in the mapk signalling cascade .
265 , 481491 .