Changes in the criticality of Hopf bifurcations due to certain model reduction techniques in systems with multiple timescales
- Wenjun Zhang^{1}Email author,
- Vivien Kirk^{1},
- James Sneyd^{1} and
- Martin Wechselberger^{2}
DOI: 10.1186/2190-8567-1-9
© Zhang et al; licensee Springer. 2011
Received: 31 May 2011
Accepted: 23 September 2011
Published: 23 September 2011
Abstract
A major obstacle in the analysis of many physiological models is the issue of model simplification. Various methods have been used for simplifying such models, with one common technique being to eliminate certain 'fast' variables using a quasi-steady-state assumption. In this article, we show when such a physiological model reduction technique in a slow-fast system is mathematically justified. We provide counterexamples showing that this technique can give erroneous results near the onset of oscillatory behaviour which is, practically, the region of most importance in a model. In addition, we show that the singular limit of the first Lyapunov coefficient of a Hopf bifurcation in a slow-fast system is, in general, not equal to the first Lyapunov coefficient of the Hopf bifurcation in the corresponding layer problem, a seemingly counterintuitive result. Consequently, one cannot deduce, in general, the criticality of a Hopf bifurcation in a slow-fast system from the lower-dimensional layer problem.
Keywords
physiological model reduction geometric singular perturbation theory Hopf bifurcation; first Lyapunov coefficient quasi-steady-state reduction1 Introduction
where the overdot denotes differentiation with respect to the slow time scale τ. Models with this feature are called singularly perturbed systems and one can exploit the separation of time scales in the analysis of these (k + l)-dimensional models by splitting the system into the k-dimensional fast subsystem obtained in the singular limit ε → 0 of (1) and known as the layer problem, and the one-dimensional slow subsystem obtained in the singular limit ε → 0 of (2) and known as the reduced problem. The aim is to make predictions about the dynamics in the full model based on what is seen in the lower-dimensional fast and slow subsystems. Geometric singular perturbation theory (GSPT) [2–9] forms the mathematical foundation behind this approach and it is a well-established tool in the analysis of many multiple time scales problems in the biosciences (see, e.g., [1, 10–12]).
Perhaps the best-known instance of the use of GSPT in this way is the analysis of the famous Hodgkin-Huxley (HH) model of the (space-clamped) squid giant axon [13] by FitzHugh [14, 15]. The HH model is a four-dimensional conductance-based model in which two state variables (the inactivation gate of the sodium channel h and the activation gate of the potassium channel n) have slow kinetics compared to the other two fast state variables (the membrane potential V and the activation gate of the sodium channel m). Thus, it is possible to split the analysis of this four-dimensional problem into a two-dimensional layer problem and a two-dimensional reduced problem which are amenable to phase-plane analysis.
Concatenation of solutions of these two subsystems then allows an explanation of the genesis of, e.g., action potentials observed in the full model.
FitzHugh [15] and Nagumo [16] introduced a Van der Pol-type two-dimensional model reduction (the now famous FHN model) which captures the essential qualitative dynamics of the HH model. Rinzel [17, 18] then performed a physiological model reduction of the HH equations to a model with one slow (n) and one fast (V ) state variable that also retained the qualitative behaviour of the neural dynamics observed. Rinzel's first reduction step is to relax the fast gate m instantaneously to its quasi-steady-state value m = m_{∞}(V). This model reduction 'technique' of relaxing fast gates to their quasi-steady-states is used in many conductance-based models. In this article, we will show when such a reduction step is mathematically justified and point out some potential problems of this technique.
The second reduction step used by Rinzel is based on a numerical observation about the dynamics of the slow variables, namely that there seems to be a (linear) functional relation along the attractor between n and h such that one can replace n by a function of h (FitzHugh [15] observed this as well). This step has no mathematical justification but the two-dimensional model obtained in this way still describes the basic HH model dynamics well. Of course, some transient features of the original model are lost [19] as well as possible chaotic behaviour [20, 21]. These transient features might become important when one models coupled cells where such intrinsic transient dynamics might play a role in forming new attractors.
In many physiological models, we are interested in the onset of oscillations, i.e. in the existence and criticality of Hopf bifurcations. The existence and location of any Hopf bifurcations in a model can easily be established by computing the eigenvalues of the system linearised about the equilibrium solutions; a Hopf bifurcation occurs generically when a pair of eigenvalues crosses the imaginary axis under parameter variation. However, determination of the criticality of a Hopf bifurcation typically is more complicated. For a general system, criticality of a Hopf bifurcation is computed using centre manifold theory to reduce the problem to a two-dimensional system, valid near the Hopf bifurcation, and then doing calculations on the model restricted to this two-dimensional centre manifold. These calculations determine the so-called first Lyapunov coefficient for the Hopf bifurcation [22, 23], the sign of which determines whether or not the Hopf bifurcation is supercritical, i.e. which side of the Hopf bifurcation the oscillations appear and whether they are stable on the centre manifold. It is desirable that model reductions be performed in such a way that a Hopf bifurcation in the full model corresponds to a Hopf bifurcation in the reduced model and that the criticalities of the bifurcations in the full and reduced models match. We will point out where model reductions may have pitfalls in this respect.
For a physiological model given as a singularly perturbed system (1), there is an added complication related to a Hopf bifurcation. Suppose the full system possesses a Hopf bifurcation that persists in the singular limit as a Hopf bifurcation of the layer problem (for k ≥ 2). We may want to know if one can relate the criticality of the Hopf bifurcation obtained in the layer problem to the criticality of the Hopf bifurcation in the full problem. Care needs to be taken because, very near the Hopf bifurcation, the time scale associated with the bifurcating directions (i.e. corresponding to the real part of the complex conjugate pair of eigenvalues) will be comparable with the time scale(s) associated with the slow variable(s), which can give rise to problems if we wish to apply GSPT.
In this article, we focus on the criticality of Hopf bifurcations in typical physiological models with multiple time scales. We show that in some cases in which a Hopf bifurcation involves the fast variables, all the information needed to determine the criticality of the bifurcation is contained in the fast subsystem but in other cases there is crucial information in the slow dynamics that can change the criticality of the Hopf bifurcation, a seemingly counterintuitive result.
The outline of this article is as follows. In section 2, we look at a model reduction technique widely used in the analysis of physiological models that can be written as slow-fast systems, and determine conditions under which the use of this technique can be rigorously justified by centre manifold theory. In section 3, we focus on Hopf bifurcations in slow-fast systems. After reviewing the general procedure for computing the criticality of a Hopf bifurcation (Section 3.1), we show that the physiological model reduction technique considered in Section 2 can change the criticality of a Hopf bifurcation, so that the criticality of a Hopf bifurcation in a model may not match the criticality of the corresponding Hopf bifurcation in the reduced model (Section 3.2). We go on to show that there are potential traps in determining the criticality of a Hopf bifurcation when we try to apply GSPT; the criticality of a Hopf bifurcation in the layer problem may not match that of the corresponding Hopf bifurcation in the full system (Section 3.3), although matters are more straightforward when there is no Hopf bifurcation in the layer problem (Sections 3.4 and 3.5). We illustrate our results with numerical examples throughout Section 3. Section 4 contains some conclusions.
2 A physiological model reduction technique for slow-fast systems
In this section, we outline a model reduction technique widely used in physiological models that are modelled as slow-fast systems, and find conditions under which the use of this technique is justified. Many physiological models, including many neural and calcium models, contain gating variables m = (m_{1},..., m_{ j }) which are thought to evolve on a time scale which is fast compared with other processes. In these cases, a classic first step is to set the fast gating variables to their quasi-steady-state values, and thereby reduce the dimension of the model by the number of gating variables treated in this way. In this section, we show that this procedure can sometimes be justified by centre and invariant manifold theory.
where (v, m) ∈ ℝ × ℝ^{ j } = ℝ^{ k } are the fast variables, n ∈ ℝ^{ l } are the slow variables, f, g and h are order-one vector-valued functions, μ ∈ ℝ^{ m } are system parameters, prime denotes differentiation with respect to the fast time t and ε ≪ 1 is the singular perturbation parameter reflecting the time scale separation. In neural models, v will typically represent voltage, while in calcium models, v might represent the cytosolic calcium concentration. In biophysical (conductance-based) models, m represents the fast gating variables and n represents the slow gating variables. In calcium models, the total calcium concentration might also be included in the slow variables n.
We are interested in different cases, depending on whether or not the critical manifold is normally hyperbolic, and, if it is not normally hyperbolic, the way in which it fails to be normally hyperbolic.
have real parts not equal to zero.
Fenichel theory [2, 3] applies under this assumption and we have the following result:
If we assume that S_{0} is normally hyperbolic with all eigenvalues having real part less than 0, then Proposition 1 implies that a model reduction onto the slow manifold S_{ ε } will cover the dynamics of the model after some initial transient time. In a biophysical model that would imply that the reduction of the fast gating variables m and, e.g., voltage or cytosolic calcium concentration v to their quasi-steady-state values is correct to leading order of the perturbation, i.e. it correctly describes the flow on S_{0}.
Unfortunately, most physiological models have a critical manifold that is not normally hyperbolic and the reduction technique that Proposition 1 suggests is not (globally) justified. In the following, we focus on the two main cases that cause loss of normal hyperbolicity of S_{0}: a fold or a Hopf bifurcation in the layer problem.
has a zero eigenvalue along F := {(v, m, n) ∈ S_{0} : det(J) = 0, rank (J) = j= k - 1} which is an (l - 1)-dimensional subset of S_{0}. We further assume that the other j eigenvalues all have real parts less than 0 along S_{0}.
where w_{l} and w_{r} denote the left and right null vectors of the Jacobian J. Without loss of generality, we assume that the (j × j) sub-matrix D_{ m }h of the Jacobian J has full rank j. This implies that the right nullvector w_{r} of J has a non-zero v-component, i.e. the nullspace is not in v = 0.
along F which implies that $\frac{\partial}{\partial v}f-{D}_{m}f{\left({D}_{m}h\right)}^{-1}\frac{\partial}{\partial v}h=0$ along F (because it is a scalar). This reflects the zero eigenvalue of J. Since det(D_{ m }h) ≠ 0, it also follows from the implicit function theorem that h(v, m, n, μ, ε) = 0 can be solved for m = M(v, n, μ, ε). Note that in neural models this functional relation is automatically given by the quasi-steady-state functions m_{ i } = M_{ i }(v, n, μ, ε) = m_{ i },_{∞}(v), i = 1,..., j, for the fast gating variables.
In the following, we generalise a result that was presented in [19] for the HH model (compare also with general results on systems with folded critical manifolds in [9]).
where the (l + 1)-dimensional centre manifold is now aligned with $\widehat{m}=0$. Hence, the flow on the (l + 1)-dimensional centre manifold is given by system (7). This proves the assertion. □
Note that, in general, $M\ne \widehat{M}$, i.e. solving the equation h(v, m, n, μ, ε) = 0 for m = M(v, n, μ, ε) does not yield the centre manifold for any ε, including ε = 0. Thus, the dynamics of the reduced system obtained using the quasi-steady-state reduction is, in general, different to the dynamics of the full system reduced to the centre manifold. The difference between M and $\widehat{M}$ is due to two terms: an ε-dependent term that tends to zero in the singular limit and a term that is due to f. This last term will vanish on the critical manifold (where f = 0) and so on the critical manifold, $M\to \widehat{M}$ as ε → 0.
In summary, we have shown that making a quasi-steady-state approximation can be mathematically justified if the critical manifold is normally hyperbolic (Proposition 1) or if it loses normal hyperbolicity in a simple fold and we are concerned with dynamics near the fold only (Proposition 2). In these cases, quantitative changes may be introduced by the approximation but the qualitative features of the dynamics will be preserved.
2.1 The Hodgkin-Huxley model
where the fast variables are v and m (dimensionless membrane potential and activation gate of the sodium channel) and the slow variables are h and n (inactivation gate of the sodium channel and activation gate of the potassium channel). The quantity is the bifurcation parameter (and is proportional to the applied external current I), and expressions for the functions m_{∞}(v), n_{∞}(v), h_{∞} (v), etc. and the values of constants used in (9) are given in the Appendix.
One of the classical reduction steps in the literature is to use the quasi-steady-state approximation m = m_{∞}(v) rather than perform the full centre manifold reduction $m=\widehat{M}$ shown above. We have to expect quantitative changes in the reduced model (i.e. in Equations (10) with $\widehat{M}\left(v,n,h,\epsilon \right)$ replaced by m_{∞}(v)) compared to the full HH model (9), and such changes are in fact observed. For example, (9) has a subcritical Hopf bifurcation for I = 9.8 μ A/cm^{2} (i.e. $\u012a=0.00082$) while (10) with $\widehat{M}={m}_{\infty}$ has a subcritical Hopf bifurcation for I = 7.8 μ A/cm^{2} (i.e. $\u012a=0.00065$). We note that the Hopf bifurcation of (9) is in the vicinity of the fold curve for sufficiently small ε, because in the singular limit the bifurcation is a singular Hopf bifurcation [19, 24]. Thus, the Hopf bifurcation in (9) is in the regime covered by Proposition 2. Further discussion of this type of Hopf bifurcation is contained in Section 3.4.
3 Hopf bifurcation in slow-fast systems
In the previous section, it was shown that the quasi-steady-state reduction technique is mathematically justified in a slow-fast system if the critical manifold is normally hyperbolic or if we are interested in the dynamics near a simple fold of the critical manifold. In this section, we show that the model reduction technique discussed above, when applied to slow-fast systems with a Hopf bifurcation, may lead to changes in the criticality of the Hopf bifurcation. From a dynamical systems point of view, it is well established that misleading results can be obtained if a proper centre manifold reduction is not performed prior to the identification of bifurcations [22, 23]. However, in the context of biophysical systems, model variables often have a direct physiological meaning and so it is tempting to try to avoid making coordinate transformations that combine the variables into physically ambiguous combinations. (Transformations required for centre manifold reductions are frequently of this type.) Unfortunately, this has resulted in some erroneous conclusions in the literature about the criticality of Hopf bifurcations in some biophysical models, as we will show in this section.
We then go on to show that there can be problems with the use of GSPT in analysing models with Hopf bifurcations, and in particular show that the criticality of a Hopf bifurcation in a full slow-fast system may not match the criticality of the corresponding Hopf bifurcation in the associated layer problem. This last result is independent of whether a quasi-steady-state assumption or other reduction technique has been used prior to applying GSPT.
3.1 Computing the criticality of a Hopf bifurcation
where I_{ n } is the n × n identity matrix. If l_{1} < 0 the Hopf bifurcation is supercritical and produces periodic solutions that are stable on the two-dimensional centre manifold corresponding to the Hopf bifurcation. If l_{1} > 0, the Hopf bifurcation is subcritical and the associated periodic orbits are unstable within the centre manifold.
3.2 Hopf bifurcations and model reduction
where (v, m) ∈ ℝ^{2}×ℝ^{ j } = ℝ^{ k } are the fast variables, n ∈ ℝ^{ l } are the slow variables, f, g and h are order-one vector-valued functions, μ ∈ ℝ^{ m } are system parameters and ε ≪ 1 is the singular perturbation parameter reflecting the time scale separation. Without loss of generality, we fix m - 1 parameters, and consider Hopf bifurcations that occur as the other parameter, which we denote by ν, is varied.
Assumption 3 System (14) possesses a non-degenerate Hopf bifurcation at $\nu ={\widehat{\nu}}_{\epsilon}$. Specifically, for sufficiently small ε:
(a) there exists a family of equilibria(v(ν,ε), m(ν,ε), n(ν,ε)), for ν in a neighbourhood of ${\widehat{\nu}}_{\epsilon}$, such that the Jacobian matrix has a pair of eigenvalues, λ_{1}(ν) and λ_{2}(ν), with ${\lambda}_{1}\left({\widehat{\nu}}_{\epsilon}\right)={\stackrel{\u0304}{\lambda}}_{2}\left({\widehat{\nu}}_{\epsilon}\right)=i\omega $where ω = O(1), while the other (k - 2) eigenvalues associated with the fast components of the vector field all have real parts of order O(1), which we assume to be negative,
(b) $\frac{d}{d\nu}Re\left({\lambda}_{1}\right){|}_{\nu ={\widehat{\nu}}_{\epsilon}}=O\left(1\right)\ne 0$;
(c) l_{1}(ε) = O(1) ≠ 0, where l_{1} is the first Lyapunov coefficient associated with the Hopf bifurcation;
(d) the bifurcation parameter ν persists in the singular limit ε → 0, i.e. ν appears explicitly in the layer problem.
The condition ω = O(1) ensures that the Hopf bifurcation is in the fast variables. Thus, there is a Hopf bifurcation for $\nu ={\widehat{\nu}}_{0}$ in the singular limit system of (14), the layer problem.^{c} We assume, without loss of generality, that the complex eigenvector q ∈ ≤^{ k } of the eigenvalue iω in the layer problem of (14) has non-zero entries in the first two fast components of the vector field, v ∈ ℝ^{2}, i.e. we associate the Hopf bifurcation with the direction of v.
A natural first step in determining the criticality of the Hopf bifurcation in the full system (14) might be to reduce the dimension of the model by setting the fast gating variables m ∈ ℝ^{ j } to their quasi-steady state as described in Section 2. Since D_{ m }h is invertible we can invoke the implicit function theorem and solve h = 0 for m = M(v, n, μ, ε). Again, we can introduce a coordinate change $\widehat{m}=m-M\left(v,n,\mu ,\epsilon \right)$. However, this process need not correspond to a proper centre manifold reduction as in the case of a folded critical manifold. In general, one also has to introduce new coordinates $\widehat{v}\in {\mathbb{R}}^{2}$ to align the centre manifold with $\widehat{m}=0$. Hence, a reduction of the fast gating variables m alone typically changes the first Lyapunov coefficient which might change the criticality of the Hopf bifurcation, so that the Hopf bifurcation in the full system is subcritical while the Hopf bifurcation in the lower-dimensional system is supercritical (or vice versa). This effect is independent of whether the Hopf bifurcation involves fast or slow variables.
3.2.1 The Chay-Keizer model
assuming implicitly that these gates have fast kinetics. Numerical bifurcation analysis of the corresponding three-dimensional system that results from this process reveals that this reduced model has a supercritical Hopf bifurcation at I_{app} ≈ 0.4429. Thus, the reduction of the dimension of this system by removing (fast) gating variables changes the criticality of the Hopf bifurcation^{d}; if an aim of analysis is to determine the criticality of Hopf bifurcations, then this type of reduction should not be attempted.^{e}
Figure 1 also shows that both versions of the model have a second Hopf bifurcation at much higher applied current. In both cases, this is a supercritical bifurcation but the value of the parameter at the bifurcation differs significantly between the models. Thus, the model reduction used also has the effect of making a significant change to the amplitude of the oscillations and the range of values of the applied current for which the oscillations occur.
3.3 Hopf bifurcation in the full slow-fast system versus the layer problem
A second potential trap in determining the criticality of a Hopf bifurcation in system (14) comes when we try to apply GSPT. From Assumption 3 it follows that a Hopf bifurcation in the full system will persist in the singular limit as a Hopf bifurcation in the layer problem. It might be tempting to proceed by determining the nature of the Hopf bifurcation in the layer problem and then asserting that the Hopf bifurcation in the slow-fast system will be of the same type. However, the existence of a Hopf bifurcation satisfying Assumption 3 automatically implies that the critical manifold of the full system is not normally hyperbolic near the bifurcation, and, hence, that Fenichel theory [2] is not applicable. In this case, there is no guarantee that complete information about bifurcations in the full system can be obtained from analysis of the layer problem alone.
Let us revisit the Chay-Keizer model (15). If we assume that c is a slow variable and (v, m, h, n) are fast variables, as is usually done in the literature, then the layer problem is four-dimensional. Numerical bifurcation analysis of the layer problem shows that it has a supercritical Hopf bifurcation at I_{app} ≈ 0.4427. Again, the criticality of the Hopf bifurcation has changed: the criticality of the Hopf bifurcation in the layer problem is not the same as the criticality of the corresponding Hopf bifurcation in the full system. At first glance, this result seems counterintuitive since one does not expect that the small (O(ε)) terms of the slow c equation in (15) play an important role in the calculation of the first Lyapunov coefficient.
3.3.1 First Lyapunov coefficient for a three-dimensional problem
where x, y, z ∈ ℝ, μ ∈ ℝ is the bifurcation parameter, ε is a small parameter and f_{1}, f_{2} and g are O(1) smooth functions. Then, x and y are fast variables and z is a slow variable. Suppose that Assumption 3 is fulfilled for system (17) -- thus system (17) and the corresponding layer problem both have Hopf bifurcations. Furthermore, we assume that $\left(0,0;0,{\widehat{\mu}}_{0},0\right)$ is the Hopf point of the layer problem. Note that the position of the Hopf point in phase and parameter space can vary with ε, by O(ε), and so the Hopf bifurcation value $\mu ={\widehat{\mu}}_{\epsilon}$ of the full system is, in general, different to the bifurcation value $\mu ={\widehat{\mu}}_{0}$ of the layer problem. More importantly, we show that the O(ε) terms in the slow equation can produce an O(1) change in the first Lyapunov coefficient which in turn may lead to a change of the criticality of the Hopf bifurcation in the full system compared with the criticality of the associated Hopf bifurcation in the layer problem. This means that analysis of the layer problem alone is not sufficient to determine the dynamics associated with the Hopf bifurcation.
where k_{1} and k_{2} are O(1) coefficients. We note that the position of the Hopf bifurcation point can vary with ε and thus the entries in the corresponding (2×2)-submatrix of the Jacobian A_{ c } may differ (by at most O(ε)) from their values in the Jacobian A_{ a } of the layer problem.
A (right) eigenvector of A_{ c } corresponding to the eigenvalue iω_{ c } is given by q_{ c } = (q_{1} + O(ε), q_{2} + O(ε), O(ε)) with adjoint (or left) eigenvector p_{ c } = (p 1 + O(ε), p_{2} + O(ε), p_{3} + O(ε)). Note that p_{3} = O(1), since it satisfies a_{13p 1}+ a_{23p 2}+ iω_{ c }p_{3} = 0 to leading order.
Thus, l_{1c}may not tend to ${\widehat{l}}_{1a}$a as ε → 0. In other words, an O(ε) perturbation to Equations (17) can yield an O(1) difference in the first Lyapunov coefficient, which may induce a sign change.
It is worth having a closer look to see what causes this O(1) difference in (22). Note that (19) only contributes an O(ε) perturbation to the Lyapunov coefficient. Thus, third-order terms in (x, y, z) of the function g have no influence on the result. On the other hand, linear and second-order terms in (x, y, z) of the function g are responsible for the O(1) difference in (20) and (21). To be more precise, the quantities $\frac{\partial g}{\partial x}={a}_{31}$, $\frac{\partial g}{\partial y}={a}_{32}$, $\frac{{\partial}^{2}g}{\partial {x}^{2}}$, $\frac{{\partial}^{2}g}{\partial x\partial y}$ and $\frac{{\partial}^{2}g}{\partial {y}^{2}}$ evaluated at the Hopf bifurcation are responsible for this discrepancy. So, if these five terms do not exist, or vanish at the Hopf bifurcation, then the terms (20) and (21) are of O(ε) and the Lyapunov coefficient l_{1c}(ε) is an O(ε) perturbation of ${\widehat{l}}_{1a}$.
These results have significant consequences for computation of the criticality of the Hopf bifurcation for (17). Specifically, the O(1) difference found above may result in a sign change of the first Lyapunov coefficient, so that the Hopf bifurcation in the layer problem may be supercritical while the Hopf bifurcation in the full system is subcritical (or vice versa). Thus, we see that, in general, it is not possible to predict the criticality of a Hopf bifurcation in a slow-fast system with two or more fast variables in the limit ε → 0 simply by observing the criticality of the associated Hopf bifurcation in the layer problem. However, in the special case that the component of the vector field associated with the slow variable is sufficiently aligned with the centre manifold of the full system (17) then there is no such difficulty; the criticality of the Hopf bifurcations in the ε = 0 limit of the full system and in the layer problem will match.
3.3.2 Application to a model of intracellular calcium dynamics
To see how these results apply to a specific model with two fast and one slow variables, we consider a simplified version of a model of calcium oscillations [30]. In this model, oscillations in the concentration of free cytoplasmic calcium arise via sequential release and uptake of calcium to and from the endoplasmic reticulum (ER). Release of calcium from the ER is through inositol trisphosphate receptors (IPR, which are also calcium channels) and uptake of calcium into the ER is via calcium ATPase pumps, or SERCA pumps. Calcium can also enter from the outside, and is pumped out across the plasma membrane of the cell by other ATPase pumps.
In the original model of Atri et al. [30], the SERCA and plasma membrane pumps were modelled as saturating Hill functions of the calcium concentration. In addition, release of calcium through the IPR was modelled by assuming fast activation of the IPR by calcium followed by slower inactivation.
However, to construct the simplified model used here much of this complexity has been discarded, while keeping the essential qualitative features of the model. Thus, firstly, calcium release through the IPR is modelled by a combination of Hill functions, one of them delayed via the dynamic variable, n. The steady-state flux through the IPR is thus a biphasic function of the calcium concentration, as in the original Atri model, but the functional form is as simple as possible. Secondly, the calcium pumps are modelled as linear functions of the calcium concentration.
Parameters of the simplified Atri model, Equations (23)
α | k _{ s } | k _{ f } | k _{ p } | φ _{1} | φ _{2} | τ | γ |
---|---|---|---|---|---|---|---|
0.05 s^{-1} | 20.0 s^{-1} | 20.0 s^{-1} | 20.0 s^{-1} | 2.0 μ M | 1.0 μ M | 2.0 s^{-1} | 5.0 |
Part of the bifurcation diagram for this model is shown in Figure 2, for three different choices of ε. The model has a unique equilibrium when ε ≠ 0, the position of which does not depend on ε. This equilibrium has two Hopf bifurcations at parameter values that depend on ε; we are interested in the criticality of the leftmost Hopf bifurcation.
As can be seen in Figure 2, the left-most Hopf bifurcation for this model is subcritical in the layer problem but supercritical for the full problem for the two non-zero choices of ε shown. It can be shown that the Hopf bifurcation is in fact supercritical for all choices of small ε, not just the values shown. Inspection of Equations (23) shows that the differential equation for the slow variable c_{t} contains a term that is linear in c, one of the fast variables, and this feature is not changed by the transformation required to shift the branch of equilibria to the origin (which is linear for the c component). As discussed at the end of Section 3.3.1, we can thus expect an O(1) difference between the first Lyapunov coefficients for the Hopf bifurcations in the layer system and the full system, and there is no reason to expect the criticality of the Hopf bifurcations to be the same for the full system and the layer problem. Knowledge of the dynamics in the layer problem is therefore insufficient to predict the criticality of the Hopf bifurcation in the full system. The Chay-Keizer model discussed above provides another example of a specific model with the same difficulty.
3.4 Hopf bifurcation involving both fast and slow variables
In a range of biophysical systems, including HH-type neuronal models such as system (9) and a variety of calcium models such as those in [32], Hopf bifurcations in the full system are found in the neighbourhood of a fold of the critical manifold S_{0}, as defined by Assumption 2. In such cases, Assumption 3 is automatically violated, and neither the fast nor slow subsystem has a Hopf bifurcation; instead the Hopf bifurcation involves both fast and slow variables. This implies that the pair of complex conjugate eigenvalues associated with the Hopf bifurcation is λ_{1} and λ_{2} with ${\lambda}_{1}\left(\widehat{\mu},\epsilon \right)={\stackrel{\u0304}{\lambda}}_{2}\left(\widehat{\mu},\epsilon \right)=i\omega $, where $\omega =O\left(\sqrt{\epsilon}\right)$ and so the Hopf bifurcation vanishes in the singular limit. This special type of Hopf bifurcation is known as a singular Hopf bifurcation [34–36] and it is closely related to the notion of canard explosion and type II folded saddle-node singularities in GSPT; we refer the reader to the literature on this subject [5, 19, 37]. Since the singular Hopf bifurcation vanishes in the singular limit, it is mandatory to calculate the criticality of the Hopf bifurcation for ε ≠ 0 and we do not run into the same problem as in the previous case study; we are not tempted to use the first Lyapunov coefficient from the singular limit to predict the value of l_{1} in the full system, since it is zero in the singular limit and clearly non-zero in the full system.^{f}
3.5 Hopf bifurcation in the slow subsystem
The case of Hopf bifurcation in the slow subsystem is trouble free for a singularly perturbed system (2) under Assumption 1 that the critical manifold S_{0} is normally hyperbolic. In this case, the eigenvalues are λ = ±iω with ω = O(ε), Proposition 1 applies and the slow flow on the slow manifold S_{ ε } is given by (4) which is a regular perturbation of the reduced flow (5), a remarkable insight from Fenichel's study. It now follows from the regular perturbation structure of the slow flow (4) that if we have a Hopf bifurcation in the reduced problem (5) then it persists generically as a Hopf bifurcation in the full problem (2). Furthermore, the first Lyapunov coefficient l_{1}(ε) is a regular perturbation of the singular limit value l_{1}(0). Criticality of the Hopf bifurcation in the full system is then as in the reduced problem, the slow subsystem.^{g}
If, on the other hand, the critical manifold loses normal hyperbolicity at the Hopf bifurcation, then we are dealing with a more degenerate bifurcation: a 'fold-Hopf'-type bifurcation in the case where the critical manifold is folded and a 'Hopf-Hopf'-type bifurcation in the case of a simultaneous Hopf bifurcation in the layer problem. These cases are outside of the scope of this article and we do not consider them further.
4 Conclusions
In this article, we have discussed some difficulties that may arise when computing the criticality of Hopf bifurcations in slow-fast systems. We have identified two potential problems. The first problem may occur in neuronal-type models that include fast gating variables. In systems of this type, a typical first step in the analysis is to reduce the dimension of the model by making a quasi-steady-state assumption and replacing the differential equations for one or more of the fast gating variables by algebraic equations. This technique is widely used in the analysis of biophysical models, and in such cases is believed to preserve many important qualitative features of the dynamics. However, we have shown that this reduction technique can alter the criticality of Hopf bifurcations in the system, so that a subcritical Hopf bifurcation in the full system becomes a supercritical Hopf bifurcation in the reduced system, or vice versa. If the purpose of analysis is to determine the nature of the onset of oscillations, it may not be advisable to perform a quasi-steady-state reduction.
We note that a change in the criticality of the Hopf bifurcation alone may not make a large change to the overall observed dynamics. For instance, in the Chay-Keizer model discussed in Section 3.2.1, the branch of periodic solutions near the left-most Hopf bifurcation is very steep, in both the full system and the reduced system obtained by applying a quasi-steady-state assumption (see Figure 1). This means that the onset of stable oscillations occurs at almost the same parameter value in both versions of the model, despite the criticalities of the Hopf bifurcations being different. Note, however, that in this model the amplitude of the oscillations is very different in the two models, as is the overall parameter range for which oscillations exist.
The second potential problem we discussed may arise if we attempt to use GSPT in the analysis of a model with a Hopf bifurcation. GSPT aims to use lower-dimensional fast and slow subsystems to make predictions about the dynamics in the full system. We have shown that when a Hopf bifurcation in a (full) slow-fast system has a corresponding Hopf bifurcation in the layer problem (i.e. the equilibrium has eigenvalues λ = ±iω with ω = O(1)) the criticality can differ between the full system and the fast subsystem. This means that the layer problem cannot be used to make predictions about the criticality of the Hopf bifurcation in the full system. In some biophysical models, the layer problem corresponds to a physically distinct state of the system. For example, in models of intracellular calcium dynamics, the layer problem frequently can be thought of a modelling the cell with no flux across the cell membrane. In such a situation, it is tempting to presume that the dynamics of the layer problem will match the dynamics of the full model in the limit that we approach the layer problem. We have shown that this is not the case, at least for the criticality of Hopf bifurcations.
There are no such difficulties in computing the criticality of Hopf bifurcations that involve slow variables. We discussed two cases. The first case occurs when the Hopf bifurcation in the full model is caused by the interaction of a slow and a fast variable. In this case, the Hopf bifurcation is a singular Hopf, in which case the Hopf bifurcation vanishes in the singular limit (i.e. the relevant eigenvalues for the Hopf bifurcation are λ = ±iω with $\omega =O\left(\sqrt{\epsilon}\right)$, and one is not tempted to deduce the criticality of the Hopf bifurcation in the full problem from the dynamics of the layer problem (or the reduced problem). Alternatively, if the critical manifold is normally hyperbolic and there is a Hopf bifurcation in the reduced problem (i.e. λ = ±iω with ω = O(ε)), the criticality of the Hopf bifurcation will be the same in the full system and the reduced problem.
In recent study [38], Guckenheimer and Osinga investigate two slow-fast systems in which the criticality of a Hopf bifurcation in the full system does not match the criticality of the corresponding Hopf bifurcation in the layer problem. They show that in each case there is a nearby torus bifurcation in the slow-fast system, and that the family of periodic orbits in the full system is O(ε) close to the family of periodic orbits in the layer problem, regardless of the criticality of the Hopf bifurcation. A practical consequence of their study is that observation of a torus bifurcation close to a Hopf bifurcation in a slow-fast system is a possible indication that the full system and the corresponding layer problem will have Hopf bifurcations of different criticalities, so extra care should be taken in the analysis of the model.
It is worth mentioning that there is a fourth type of Hopf bifurcation observed in singularly perturbed systems. In this fourth case, there is a Hopf bifurcation in the layer problem but the full system does not possess a Hopf bifurcation. This Hopf bifurcation in the layer problem may cause a delayed loss of stability in the full system [39]. A classical example in biophysical models where such a delayed loss of stability plays an important role is given by elliptic bursting (see, e.g., [29, 40]).
A wide variety of biophysical models are of the types that are potentially affected by the problems we have discussed in this article, including HH-type neuronal models and many models of intracellular calcium dynamics. In light of our results, it seems advisable that care be taken when attempting to use either quasi-steady-state reductions or GSPT for the analysis of slow-fast systems with Hopf bifurcations.
Endnotes
^{a}Identifying such a single separation and grouping the state variables roughly into slow and fast families often is a difficult part of the model analysis. ^{b}Note that this manifold also represents the phase space for the slow variables n in the other singular limit problem on the slow time scale τ = εt, the reduced problem. ^{c}In fact, there will be a manifold of Hopf bifurcations in the layer problem, one associated with each choice of the (fixed) slow variables. We are concerned only with the Hopf bifurcation of the distinguished equilibrium in the layer problem obtained from taking the branch (v(ν,ε), m(ν,ε), n(ν,ε)) in the limit ε → 0. ^{d}Note that the reduction of the gates (m, n) or (h, n) would remove the Hopf bifurcation from the model. ^{e}It should be mentioned that the widely used three-dimensional model captures the most important dynamical feature of pancreatic β-cells, namely their bursting behaviour. ^{f}It is possible to rescale (locally) slow-fast systems with a singular Hopf bifurcation into a slow-fast system which possesses a Hopf bifurcation in the singular limit, but this Hopf bifurcation of the 'new' layer problem is degenerate [5, 36, 37]. Hence one also cannot conclude the criticality of the Hopf bifurcation from this singular limit. ^{g}Interestingly enough, Fenichel's results [2] were only concerned with the persistence of periodic orbits in the slow manifold but not with that of a Hopf bifurcation.
Appendix
Parameter and function definitions
Parameter values and function definitions for the HH model, Equations (9)
${\u0112}_{Na}=0.5$ | ${\u0112}_{K}=-0.77$ | ${\u0112}_{L}=-0.544$ | ${\u1e21}_{k}=0.3$ | ${\u1e21}_{l}=0.0025$ |
---|---|---|---|---|
k_{ v } = 100 mV | ε = 0.0083 | τ_{ m } = 1 | τ_{ n } = 1 | τ_{ h } = 1 |
${a}_{n}\left(v\right)=\frac{0.01\left({k}_{v}v+55\right)}{1-exp\left(-\frac{{k}_{v}v+55}{10}\right)}$ | ${a}_{m}\left(v\right)=\frac{0.1\left({k}_{v}v+40\right)}{1-exp\left(-\frac{{k}_{v}v+40}{10}\right)}$ | ${a}_{h}\left(v\right)=0.07exp\left(\frac{-{k}_{v}v-65}{20}\right)$ | ||
${b}_{n}\left(v\right)=0.125\text{exp}\left(\frac{-{k}_{v}v-65}{80}\right)$ | ${b}_{m}\left(v\right)=4\text{exp}\left(\frac{-{k}_{v}v-65}{18}\right)$ | ${b}_{h}\left(v\right)=\frac{1}{exp\left(\frac{-{k}_{v}v-35}{10}\right)+1}$ | ||
${n}_{\infty}\left(v\right)=\frac{{a}_{n}\left(v\right)}{{a}_{n}\left(v\right)+{b}_{n}\left(v\right)}$ | ${m}_{\infty}\left(v\right)=\frac{{a}_{m}\left(v\right)}{{a}_{m}\left(v\right)+{b}_{m}\left(v\right)}$ | ${h}_{\infty}\left(v\right)=\frac{{a}_{h}\left(v\right)}{{a}_{h}\left(v\right)+{b}_{h}\left(v\right)}$ | ||
${t}_{n}\left(v\right)=\frac{1}{{a}_{n}\left(v\right)+{b}_{n}\left(v\right)}$ | ${t}_{m}\left(v\right)=\frac{1}{{a}_{m}\left(v\right)+{b}_{m}\left(v\right)}$ | ${t}_{h}\left(v\right)=\frac{1}{{a}_{h}\left(v\right)+{b}_{h}\left(v\right)}$ |
Parameter values and function definitions for the Chay-Keizer model, Equations (15)
C_{ m } = 1μ F/cm^{2} | ${\u1e21}_{K,Ca}=0.09\phantom{\rule{2.77695pt}{0ex}}mS\u2215c{m}^{2}$ | ${\u1e21}_{K}=12\mathsf{\text{mS}}\u2215\mathsf{\text{c}}{\mathsf{\text{m}}}^{2}$ |
---|---|---|
${\u1e21}_{\mathsf{\text{Ca}}}=6.5\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{mS}}\u2215\mathsf{\text{c}}{\mathsf{\text{m}}}^{2}$ | ${\u1e21}_{L}=0.04\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{mS}}\u2215\mathsf{\text{c}}{\mathsf{\text{m}}}^{2}$ | V_{ K } = -75 mV |
V_{Ca} = 100 mV | V_{L} = -40 mV | V* = 30 mV |
V' = 50 mV | K_{ d } = 1μ M | f = 0.004 |
k_{1} = 0.0275 μ Mcm^{2} /nC | k_{ c } = 0.02 ms ^{- 1} | |
${a}_{n}\left(V+{V}^{*}\right)=0.01\left(\frac{10-V-{V}^{*}}{exp\left(\frac{10-V-{V}^{*}}{10}\right)-1}\right)$ | ${b}_{n}\left(V+{V}^{*}\right)=0.125\phantom{\rule{2.77695pt}{0ex}}exp\left(\frac{-V-{V}^{*}}{80}\right)$ | |
${a}_{m}\left(V+{V}^{\prime}\right)=0.1\left(\frac{25-V-{V}^{\prime}}{exp\left(\frac{25-V-{V}^{\prime}}{10}\right)-1}\right)$ | ${b}_{m}\left(V+{V}^{\prime}\right)=4\phantom{\rule{2.77695pt}{0ex}}exp\left(\frac{-V-{V}^{\prime}}{18}\right)$ | |
${a}_{h}\left(V+{V}^{\prime}\right)=0.07\phantom{\rule{2.77695pt}{0ex}}exp\left(\frac{-V-{V}^{\prime}}{20}\right)$ | ${b}_{h}\left(V+{V}^{\prime}\right)=\frac{1}{exp\left(\frac{30-V-{V}^{\prime}}{10}\right)+1}$ |
Declarations
Acknowledgements
This study was supported by The Marsden Fund (NZ). V.K. and W.Z. are appreciative of hospitality from the University of Sydney, where part of this study was carried out. We thank Hinke Osinga and John Guckenheimer for their helpful comments on an early version of this article.
Authors’ Affiliations
References
- Keener J, Sneyd J: Mathematical Physiology. 2nd edition. New York: Springer-Verlag; 2008.Google Scholar
- Fenichel N: Geometric singular perturbation theory. J Diff Equ 1979, 31: 53–98. 10.1016/0022-0396(79)90152-9MathSciNetView ArticleGoogle Scholar
- Jones CKRT: Geometric singular perturbation theory. In Dynamical Systems (Mon-tecatini Terme, 1994). Lecture Notes in Mathematics. Edited by: Johnson R. New York: Springer; 1995.Google Scholar
- Krupa M, Szmolyan P: Extending geometric singular perturbation theory to non-hyperbolic points-fold and canard points in two dimensions. SIAM J Math Anal 2001, 33: 286–314. 10.1137/S0036141099360919MathSciNetView ArticleGoogle Scholar
- Krupa M, Szmolyan P: Relaxation oscillation and canard explosion. J Diff Equ 2001, 174: 312–368. 10.1006/jdeq.2000.3929MathSciNetView ArticleGoogle Scholar
- Szmolyan P, Wechselberger M: Canards in ℝ^{ 3 }. J Diff Equ 2001, 177: 419–453. 10.1006/jdeq.2001.4001MathSciNetView ArticleGoogle Scholar
- Szmolyan P, Wechselberger M: Relaxation oscillations in ℝ^{ 3 }. J Diff Equ 2004, 200: 69–104. 10.1016/j.jde.2003.09.010MathSciNetView ArticleGoogle Scholar
- Wechselberger M: Existence and bifurcation of canards in ℝ^{ 3 }in the case of a folded node. SIAM J Appl Dyn Syst 2005, 4: 101–139. 10.1137/030601995MathSciNetView ArticleGoogle Scholar
- Wechselberger M: Á propos de canards (apropos canards). Trans. AMS, in press.Google Scholar
- Ermentrout B, Terman D: Mathematical Foundation of Neuroscience. New York: Springer-Verlag; 2010.View ArticleGoogle Scholar
- Rubin J, Terman D: Geometric singular perturbation analysis of neuronal dynamics. In Handbook of Dynamical Systems. Volume 2. Edited by: Fiedler B. Amsterdam: Elsevier Science; 2002.Google Scholar
- Desroches M, Guckenheimer J, Kuehn C, Krauskopf B, Osinga HM, Wechselberger M: Mixed-mode oscillations with multiple time-scales. SIAM Rev, in press.Google Scholar
- Hodgkin A, Huxley A: A quantitative description of membrane current and its application to conduction and excitation in nerve. J Physiol (Lond) 1952, 117: 500–544.View ArticleGoogle Scholar
- FitzHugh R: Thresholds and plateaus in the Hodgkin-Huxley nerve equations. J Gen Physiol 1960, 43: 867–896. 10.1085/jgp.43.5.867View ArticleGoogle Scholar
- FitzHugh R: Impulses and physiological states in theoretical models of nerve membrane. Biophys J 1961, 1: 445–466. 10.1016/S0006-3495(61)86902-6View ArticleGoogle Scholar
- Nagumo JS, Arimoto S, Yoshizawa S: An active pulse transmission line stimulating nerve axon. Proc IRE 1962, 50: 2061–2070.View ArticleGoogle Scholar
- Rinzel J: On repetitive activity in nerve. Feder Proc 1978, 37: 2793–2802.Google Scholar
- Rinzel J: Excitation dynamics: insights from simplified membrane models. Feder Proc 1985, 44: 2944–2946.Google Scholar
- Rubin J, Wechselberger M: Giant Squid-Hidden Canard: the 3D geometry of the Hodgkin Huxley model. Biol Cybern 2007, 97: 5–32. 10.1007/s00422-007-0153-5MathSciNetView ArticleGoogle Scholar
- Rinzel J, Miller R: Numerical calculation of stable and unstable periodic solutions to the Hodgkin-Huxley equations. Math Biosci 1980, 49: 27–59. 10.1016/0025-5564(80)90109-1MathSciNetView ArticleGoogle Scholar
- Guckenheimer J, Oliva R: Chaos in the Hodgkin-Huxley model. SIAM J Appl Dyn Syst 2002, 1: 105–114. 10.1137/S1111111101394040MathSciNetView ArticleGoogle Scholar
- Guckenheimer J, Holmes P: Nonlinear Oscillations, Dynamical Systems, and Bifurcation of Vector Fields. New York: Springer-Verlag; 1983.View ArticleGoogle Scholar
- Kuznetsov YA: Elements of Applied Bifurcation Theory. New York: Springer-Verlag; 1998.Google Scholar
- Rubin J, Wechselberger M: The selection of mixed-mode oscillations in a Hodgkin-Huxley model with multiple timescales. Chaos 2008, 18: 015105. 10.1063/1.2789564MathSciNetView ArticleGoogle Scholar
- Kuznetsov YA: The Andronov-Hopf bifurcation. Scholarpedia 2006, 1: 1858. 10.4249/scholarpedia.1858View ArticleGoogle Scholar
- Marsden JE, McCracken M: The Hopf Bifurcation and Its Applications. New York: Springer-Verlag; 1976.View ArticleGoogle Scholar
- Chay TR, Keizer J: Minimal model for membrane oscillations in the pancreatic β -cell. Biophys J 1983, 42: 181–190. 10.1016/S0006-3495(83)84384-7View ArticleGoogle Scholar
- Doedel EJ: AUTO-07P: continuation and bifurcation software for ordinary differential equations.2007. [http://indy.cs.concordia.ca/auto]Google Scholar
- Rinzel J, Lee YS: On different mechanisms for membrane potential bursting. In Nonlinear Oscillations in Biology and Chemistry, Lecture Notes in Biomathematics. Volume 66. Edited by: Othmer HG. New York: Springer-Verlag; 1986.Google Scholar
- Atri A, Amundsen J, Clapham D, Sneyd J: A single-pool model for intracellular calcium oscillations and waves in the Xenopus laevis oocyte. Biophys J 1993, 65: 1727–1739. 10.1016/S0006-3495(93)81191-3View ArticleGoogle Scholar
- Domijan M, Murray R, Sneyd J: Dynamical probing of the mechanisms underlying calcium oscillations. J Nonlinear Sci 2006, 16: 483–506. 10.1007/s00332-005-0744-zMathSciNetView ArticleGoogle Scholar
- Harvey E, Kirk V, Osinga HM, Sneyd J, Wechselberger M: Understanding anomalous delays in a model of intracellular calcium dynamics. Chaos 2010, 20: 045104. 10.1063/1.3523264MathSciNetView ArticleGoogle Scholar
- Harvey E, Kirk V, Sneyd J, Wechselberger M: Multiple time-scales, mixed mode oscillations and canards in intracellular calcium models. J Nonlinear SciGoogle Scholar
- Baer SM, Erneux T: Singular Hopf bifurcation to relaxation oscillations. SIAM J Appl Math 1986, 46: 721–739. 10.1137/0146047MathSciNetView ArticleGoogle Scholar
- Braaksma B: Singular Hopf bifurcation in systems with fast and slow variables. J Nonlinear Sci 1998, 8: 457–490. 10.1007/s003329900058MathSciNetView ArticleGoogle Scholar
- Guckenheimer J: Singular Hopf bifurcation in systems with two slow variables. SIAM J Appl Dyn Syst 2008, 7: 1335–1377.MathSciNetView ArticleGoogle Scholar
- Krupa M, Wechselberger M: Local analysis near a folded saddle-node singularity. J Diff Equ 2010, 248: 2841–2888. 10.1016/j.jde.2010.02.006MathSciNetView ArticleGoogle Scholar
- Guckenheimer J, Osinga HM: The singular limit of a Hopf bifurcation. 2011. (preprint)Google Scholar
- Neishtadt A: Asymptotic investigation of the loss of stability as a pair of eigenvalues slowly cross the imaginary axis. Usp mat Nauk 1985, 40: 190–191.Google Scholar
- Izhikevich E: Subcritical elliptic bursting of Bautin type. SIAM J Appl Math 2000, 60: 503–535. 10.1137/S003613999833263XMathSciNetView ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.