 Research
 Open Access
 Published:
PhaseAmplitude Response Functions for TransientState Stimuli
The Journal of Mathematical Neuroscience volume 3, Article number: 13 (2013)
Abstract
The phase response curve (PRC) is a powerful tool to study the effect of a perturbation on the phase of an oscillator, assuming that all the dynamics can be explained by the phase variable. However, factors like the rate of convergence to the oscillator, strong forcing or high stimulation frequency may invalidate the above assumption and raise the question of how is the phase variation away from an attractor. The concept of isochrons turns out to be crucial to answer this question; from it, we have built up Phase Response Functions (PRF) and, in the present paper, we complete the extension of advancement functions to the transient states by defining the Amplitude Response Function (ARF) to control changes in the transversal variables. Based on the knowledge of both the PRF and the ARF, we study the case of a pulsetrain stimulus, and compare the predictions given by the PRCapproach (a 1D map) to those given by the PRFARFapproach (a 2D map); we observe differences up to two orders of magnitude in favor of the 2D predictions, especially when the stimulation frequency is high or the strength of the stimulus is large. We also explore the role of hyperbolicity of the limit cycle as well as geometric aspects of the isochrons. Summing up, we aim at enlightening the contribution of transient effects in predicting the phase response and showing the limits of the phase reduction approach to prevent from falling into wrong predictions in synchronization problems.
List of Abbreviations
PRC phase response curve, phase resetting curve.
PRF phase response function.
ARF amplitude response function.
1 Introduction
The phase response (or resetting) curve (PRC) is frequently used in neuroscience to study the effect of a perturbation on the phase of a neuron with oscillatory dynamics (see surveys in [1–3]). For it to be applied, several conditions are required (weak perturbations, long time between stimuli, strong convergence to the limit cycle, etc.) so that the system relaxes back to the limit cycle before the next perturbation/kick is received. In this case, one can reduce the study to the phase dynamics on the oscillatory solution (namely, a limit cycle). However, in realistic situations, we may not be able to determine whether the system is on an attractor (limit cycle); moreover, the system may not show regular spiking, especially because of noise; see for instance [4, 5]. In addition, even in the absence of noise, strong forcing may send the dynamics away from the asymptotic state, eventually close to other nearby invariant manifolds [6]; thus, both the rate of convergence to the attractor and the stimulation frequency (which can be relatively high; take for instance the case of burstinglike stimuli) play an important role in controlling the time spent in the transient state (away from the limit cycle). All these factors may prevent the trajectories from relaxing back to the limit cycle before the next stimulus arrives and raise the question of the nature of the phase variation away from an attractor (that is, in transient states) and how much can we rely on the phase reduction (PRC).
Recently, tools to study the phase variation away from a limit cycle attractor have been developed. They rely on the concept of isochrons (manifolds transversal to the limit cycle and invariant under time maps given by the flow), introduced by Winfree (see [7]) in biological problems, from which one can extend the definition of phase in a neighborhood of the limit cycle. In a previous paper [8, 9], we showed how to compute a parameterization of the isochrons (see also [10–12] for other computational methods) as well as the change in phase due to the kicks received when the system is approaching the limit cycle but not yet on it. This approach allowed us to control the phase advancement away from the limit cycle (that is, in the transient states) and build up the Phase Response Functions (PRF), a generalization of the PRCs. In [8], examples of neuron oscillators were shown in which the phase advancement was clearly different for states sharing the same phase. A review of these tools is presented in Sect. 2.
In Sect. 3, we complete the extension of advancement functions to the transient states by defining the Amplitude Response Function (ARF), and we provide methods to compute it by controlling the changes induced by perturbations in a transversal variable, which represents some distance to the limit cycle. One of the methods presented here to compute the ARFs is an extension of the wellknown adjoint method for the computation of PRCs; see, for instance, [13, 14] or Chap. 10 in [1].
Indeed, the knowledge of both the PRF and the ARF allows us to consider special problems in which these functions can forecast the asymptotic phase of an oscillator under pulsatile repetitive stimuli. In the case of a pulsetrain stimulus, the variations of the extended phase and the amplitude can be controlled by means of a 2D map; this 2D map extends the classical 1D map used when the dynamics is restricted to the limit cycle or phasereduction is assumed; see, for instance Chap. 10 in [1]. Another successful strategy to deal with kicks that send the dynamics away from the limit cycle is the socalled secondorder PRC (see [15–17]), which measures the effects of the kick on the next cycle period, taking into account that synaptic input can span two cycles.
As an illustration of the method, in Sect. 4, we then consider a canonical model for which we compute the PRFs and ARFs thanks to the exact knowledge of the isochrons. In this “canonical” example, we apply a two parametric periodic forcing (varying the stimulus strength and frequency) and make predictions both with our 2D map and the classical 1D map; we use rotation numbers to illustrate the differences between the two predictions and we observe differences up to two orders of magnitude in favor of the 2D predictions, especially when the stimulation frequency is high or the strength of the stimulus is large. We also use this example to shed light on the role of hyperbolicity of the limit cycle as well as geometric aspects of the isochrons (see also [18] for a related study of the effect of isochrons’ shear). Finally, we also present the comparison of the two approaches in a conductancebased neuron model, where we do not know the isochrons analytically.
Summing up, we aim at enlightening the contribution of transient effects in predicting the phase response, focusing on the importance of the “degree” of hyperbolicity of the limit cycle, but also on the relative positions of the isochrons with respect to the limit cycle. Since PRCs are used for predicting synchronization properties, see [19], Chap. 10 in [1] or Chap. 8 in [2], our final goal is to show the limits of the phase reduction approach to prevent wrong predictions in synchronization problems.
2 Setup of the Problem: Isochrons and Phase Response Functions (PRF)
In this section, we set up the problem and we review some of the results in [8] that serve as a starting point of the study that we present in this paper.
Consider an autonomous system of ODEs in the plane
and denote by ${\varphi}_{t}$ the flow associated to (1). Assume that X is an analytic vector field and that (1) has a hyperbolic limit cycle Γ of period T, parameterized by $\theta =t/T$ as
where $\mathbb{T}=\mathbb{R}/\mathbb{Z}$, so that $\gamma (\theta )=\gamma (\theta +1)$.
Under these conditions, by the stable manifold theorem (see [20]), there exists a unique scalar function defined in a neighborhood Ω of the limit cycle Γ,
such that
if the limit cycle is attracting. If the limit cycle is repelling, the same is true with $t\to \mathrm{\infty}$.
The value $\Theta (\mathbf{x})$ is the asymptotic phase of x and the isochrons are defined as the sets with constant asymptotic phase, that is, the level sets of the function Θ. The same construction can be extended to limit cycles in higher dimensional spaces, but since the applications in this paper will be restricted to planar systems, we give the definitions in ${\mathbb{R}}^{2}$.
Moreover, we know from [21] that there exists an analytic local diffeomorphism
satisfying the invariance equation
where T is the period and λ is the characteristic exponent of the periodic orbit.
We can describe (6) as saying that if we perform the change of variables given by K, the dynamics of the system (1) in the coordinates $(\theta ,\sigma )$ consist of a rigid rotation with constant velocity $1/T$ for θ and a contraction (if $\lambda <0$) with exponential rate $\lambda /T$ for σ. That is,
and ${\varphi}_{t}(K(\theta ,\sigma ))=K(\theta +t/T,\sigma {e}^{(\lambda /T)t})$, where ${\varphi}_{t}$ is the flow associated to (1). See Fig. 1 for an illustration of the evolution of the variables $(\theta ,\sigma )$ along an orbit of the system.
Remark 2.1 In [8], we presented a computational method to compute the parameterization K defined in (6) numerically.
Given an analytic local diffeomorphism K satisfying (6), we know from Theorem 3.1 in [8] that the isochrons are the orbits of a vector field Y satisfying the Lie symmetry $[Y,X]=\mu Y$ with $\mu =\lambda /T$. That is,
Let us assume that a pulse of small modulus ϵ instantaneously displaces the trajectory in a direction given by the unit vector w. Mathematically, we consider
where $\u03f5\ll 1$ and $\delta (t)$ is the Dirac delta function. Then we define the phase response function (PRF) as the infinitesimal rate of change of the phase in the direction w of the perturbation, that is,
where Θ is the phase function defined in (3) and $\u3008\cdot ,\cdot \u3009$ denotes the dot product. In [8], we showed that
where ${({\partial}_{\sigma}K)}^{\mathrm{\perp}}=J({\partial}_{\sigma}K)$ and the matrix J is given by
We will use this notation for the rest of the paper.
In neuron models, the usual situation is $\mathbf{x}=(V,\dots )$ and $\mathbf{w}=(1,0,\dots ,0)$; thus, the phase response function (PRF) is defined as
where ${\partial}_{V}$ denotes partial derivative with respect to the variable V.
3 The Amplitude Response Function (ARF)
A pulse stimulation displaces the trajectory away from the limit cycle, producing a change both in the phase θ and the transversal variable σ, that we will refer to as the amplitude variable. In our notation, the amplitude variable is a distance measure defined by the time from the limit cycle along the orbits of the auxiliary vector field Y, transversal to X, defined in (8). In fact, the orbits of the vector field Y are the isochrons; see, for instance, the blue curve in Fig. 1. The phasereduction approach assumes that the amplitude decreases to zero before the next pulse arrives and, therefore, the amplitude is always zero at the stimulation time. However, if one wants to consider pulses that arrive before the trajectory relaxes back to the limit cycle, one needs to compute also the amplitude displacement in order to predict the coordinates of the point at the next stimulation time.
In this section, we introduce the amplitude function and Amplitude Response Function (ARF), the analogues of the phase function (3) and the PRF (12) for the variable σ. Finally, we provide a formula to compute them given the diffeomorphism K introduced in (5).
3.1 Definitions
Given an analytic local diffeomorphism K as in (5) satisfying (6), it follows that there exists a unique function Σ, defined in a neighborhood Ω of the limit cycle Γ,
such that
where ${\varphi}_{t}$ is the flow associated to the vector field X. The level curves of Σ are closed curves that we will call amplitude level curves or, in short, Acurves.
Analogous to the phase isochrons, it can be seen that given an analytic local diffeomorphism K, as in (5), satisfying (6), the Acurves are the orbits of a vector field Z, satisfying $[X,Z]=[Z,X]=0$; see the Appendix for a proof of this result. More specifically,
Expressed in the variables $(\theta ,\sigma )$ introduced in (5), the motion generated by Z is given by $\{\dot{\theta}=1,\dot{\sigma}=0\}$.
A pulsatile kick in the direction given by the unit vector w (see (9)) causes a change in the amplitude variable. Analogous to the PRF introduced in (10), we define the Amplitude Response Function (ARF) as the infinitesimal rate of change of the phase in the direction w of the perturbation, that is,
In neuron models, the ARF typically measures the change in amplitude under the action of a pulsatile kick in the direction of the voltage V, that is,
where ${\partial}_{V}$ denotes partial derivative with respect to the variable V.
3.2 Computation of the PRFs and the ARFs
In this section, we provide a formula to compute the functions ∇Θ and ∇Σ given the diffeomorphism K introduced in (5).
Using the parameterization K introduced in (5) and writing $K(x,y)=K(\Theta (x,y),\Sigma (x,y))=({K}_{x},{K}_{y})$, where Θ and Σ are the functions introduced in (3) and (13), respectively, we have that
and, therefore, $\mathrm{\nabla}\Theta =({\partial}_{x}\Theta ,{\partial}_{y}\Theta )$ and $\mathrm{\nabla}\Sigma =({\partial}_{x}\Sigma ,{\partial}_{y}\Sigma )$ are given by
Hence,
Using the vector field description given in (8) and (14), we can rewrite the expression above, using the relations ${\partial}_{\sigma}K=Y\circ K$ and ${\partial}_{\theta}K=Z\circ K$, as
By the invariance equation (6), we know that $X=\frac{1}{T}Z+\frac{\lambda}{T}\sigma Y$ and, therefore,
Remark 3.1 Notice that expression for ∇Σ in (16) might suggest that it has a singularity at $\sigma =0$. Nevertheless, the vanishing terms in the numerator and denominator cancel out at $\sigma =0$, and using that $Z(K(\theta ,0))={\partial}_{\theta}K(\theta ,0)=X(K(\theta ,0))$, the value at $\sigma =0$ is given by
where ${K}_{1}(\theta )={\partial}_{\sigma}K(\theta ,0)=Y(K(\theta ,0))$.
3.3 The Adjoint Method for the ARF
The most common method to compute the PRC, the socalled adjoint method, uses that the function ∇Θ evaluated on the limit cycle Γ is a periodic solution of some adjoint equation (see, for instance, [1]). In the generalization introduced in [8], it was shown that the adjoint method can be extended to compute ∇Θ for points in a neighborhood of the limit cycle, for which the periodicity condition is not satisfied. Indeed, $Q=\mathrm{\nabla}\Theta $ satisfies the equation
where $D{X}^{T}$ is the transpose of the real matrix DX. In this case, the method just requires an initial condition, so that it can be solved uniquely. The initial condition is provided by formula (15).
The same result can be extended to compute the change in the transversal variable σ due to a pulse stimulation. In the following proposition, we provide the differential equation satisfied by $\mathrm{\nabla}\Sigma (p)$ where $p=K(\theta ,\sigma )$ is a point in a neighborhood Ω of the limit cycle γ evolving under the flow of X.
Proposition 3.2 Let Γ be a hyperbolic Tperiodic orbit of a planar analytic vector field X parameterized by θ according to (2). Assume that there exists a change of coordinates K in a neighborhood Ω satisfying (6). Then the function ∇Σ along the orbits of the vector field X satisfies the adjoint equation
where ${\varphi}_{t}$ is the flow of the vector field X and λ is the characteristic multiplier of the periodic orbit, with the initial condition
where ${Z}^{\mathrm{\perp}}(K(\theta ,\sigma ))=J{\partial}_{\theta}K(\theta ,\sigma )$.
Proof We will show that the function ∇Σ evaluated along the orbits ${\varphi}_{t}(p)$ of X satisfies the adjoint equation (18). From expression (16), we have that
We now compute the derivative of $\mathrm{\nabla}\Sigma ({\varphi}_{t}(p))$ with respect to time. In order to simplify notation, we set $\mathbf{x}:={\varphi}_{t}(p)$. We will also use that ${Z}^{\mathrm{\perp}}=JZ$ where J is the matrix (11). Using that $\frac{d}{dt}Z(\mathbf{x})=DZ(\mathbf{x})X(\mathbf{x})$, we have from (20)
Using that $DXZ=DZX$, expression (20) and dot product properties (namely, $\u3008JZ(\mathbf{x}),DX(\mathbf{x})X(\mathbf{x})\u3009=\u3008DX{(\mathbf{x})}^{T}JZ(\mathbf{x}),X(\mathbf{x})\u3009$), we obtain
Using $JDX(\mathbf{x})+DX{(\mathbf{x})}^{T}J=trace(DX)(\mathbf{x})J$, and denoting $\tau (\mathbf{x}):=trace(DX)(\mathbf{x})$, we are led to
Finally, using again (20), we have
as we wanted to prove. □
4 Periodic PulseTrain Stimuli
The purpose of this section is to show the convenience of using the response functions away from the limit cycle to obtain accurate predictions of the ultimate phase advancement. To this end, we force a system with pulsetrains of period ${T}_{s}\ll {T}_{0}$ for trajectories near a limit cycle Γ of period ${T}_{0}$ and characteristic exponent λ.
Given an oscillator, assume that it is perturbed with an external instantaneous stimulus of amplitude ϵ in the voltage direction every ${T}_{s}$ time units, that is,
where $\mathbf{w}=(1,0)$, $\u03f5\ll 1$ and δ is the Dirac delta function. This system can represent, for example, a neuron which receives an idealized synaptic input from other neurons.
Remark 4.1 In the sequel, we will also use ${\omega}_{s}=1/{T}_{s}$, the frequency of the stimulus, and ${\omega}_{0}=1/{T}_{0}$, the frequency of the limit cycle Γ. Then the quotient ${\omega}_{s}/{\omega}_{0}$ indicates how many inputs the oscillator receives in one period.
In order to know the evolution of the perturbed oscillator after each time period ${T}_{s}$, it is enough to know how the variables θ and σ change. We recall that the variation of the variable θ produced by an external stimulus is given, to first order in the stimulus strength ϵ, by the PRF. Similarly, the variation of the variable σ is given to first order by the ARF. Hence, we can consider the following map, which approximates the position of the oscillator at the moment of the next kick:
Moreover, we can compare it with the map obtained by considering the classical PRC (see, for instance, Chap. 10 in [1]), which is
In the latter case, we are assuming that the perturbation happens always on the limit cycle and, therefore, ${\sigma}_{n}=0$ for all n. The possibility that this might not be a realistic assumption (for example, if the stimulus period ${T}_{s}$ is too small, the limit cycle is weakly hyperbolic or the strength of the stimulus ϵ is too large) has been already pointed out in the literature; see, for instance, [22] or Chap. 10 in [1]. However, other factors could play a role, for example, the geometry of the isochrons (curvature, transversality to the limit cycle, etc.). Our aim is to consider some examples and see in which cases the 1D map (23) gives a correct prediction or, on the contrary, one requires the 2D map (22) to correctly assess the true dynamics of the phase variable.
To quantify the longterm agreement or disagreement between the 1D and the 2D predictions, we compute an approximation of the rotation numbers after N iterations for both maps. More precisely, given an initial condition $({\theta}_{0},{\sigma}_{0})$, we compute
where $\tilde{\theta}$ denotes the lift of θ to ℝ. Then, for the 2dimensional map (22) and assuming N large enough, the rotation number can be approximated by
and by
for the 1dimensional map (23).
These approximate rotation numbers will be our main indicator to compare the dynamics predicted by the 1D map with that of the 2D map. In order to dissect the causes that create the eventual differences between the two maps and highlight the shortcomings of the phasereduction approach, we have first considered a “canonical” example in which the isochrons can be computed analytically. Next, we consider a conductancebased model, in which the isochrons have to be computed numerically and we obtain similar comparative results.
4.1 Examples
4.1.1 A Simple Canonical Model
We consider a simple model having a limit cycle with two parameters, α and a, that control the hyperbolicity of the limit cycle and the angle between the isochrons and the limit cycle, respectively. The system has the following expression in polar coordinates:
for $a,\alpha \in \mathbb{R}$, and the following one in Cartesian coordinates:
The limit cycle corresponds to $r=1$ and the dynamics on it are given by $\dot{\phi}=1+\alpha a$; therefore, $\phi (t)={\phi}_{0}+(1+\alpha a)tmod2\pi $. The period of the limit cycle Γ is ${T}_{0}=2\pi /(1+\alpha a)$. A parameterization of the limit cycle in terms of the phase $\theta =t/{T}_{0}$, for $\theta \in [0,1)$ is $\gamma (\theta )=(cos(2\pi \theta ),sin(2\pi \theta ))$.
Now, consider the vector field Y, given in the polar and Cartesian coordinates by
It is easy to check that Y satisfies $[X,Y]=2\alpha Y$. Then, using (8), we find that $\mu =2\alpha $ and
with $\theta \in [0,1)$ and $\sigma >1/(2\alpha )$.
Notice that the function K can be easily inverted using that ${r}^{2}={x}^{2}+{y}^{2}={(12\alpha \sigma )}^{1}$ and $arctan(\frac{y}{x})=2\pi \theta +\frac{1}{2}aln(12\alpha \sigma )$. Then ${K}^{1}(x,y)=(\Theta (x,y),\Sigma (x,y))$, where
Thus, the dynamics for $(\theta ,\sigma )$ are given by
The vector field Z, defined in (14), has the following expression in Cartesian coordinates and polar coordinates, respectively:
Therefore, we find that $\mathrm{\nabla}\Theta (p)=\frac{1}{2\pi {r}^{2}}(y+ax,x+ay)$, and, by the parameterization γ of the limit cycle, $\mathrm{\nabla}\Theta (\gamma (\theta ))=\frac{1}{2\pi}(sin(2\pi \theta )+acos(2\pi \theta ),cos(2\pi \theta )+asin(2\pi \theta ))$. Similarly, $\mathrm{\nabla}\Sigma (p)=(\frac{x}{\alpha {r}^{4}},\frac{y}{\alpha {r}^{4}})$, and $\mathrm{\nabla}\Sigma (\gamma (\theta ))=(cos(2\pi \theta ),sin(2\pi \theta ))$.
From the last equations, we can then obtain
and
In Fig. 2, we show the PRF and the ARF for a specific isochron for representative values of the parameters, $a=10$ and $\alpha =0.1$. An important remark is that the PRF is far from being constant along isochrons, whereas the ARF is clearly nonzero near the limit cycle ($\sigma =0$). These features will have a significant effect when comparing the predictions provided by the 1D map and the 2D map.
We want to stress the role of the parameters α and a. On one hand, the parameter α determines the hyperbolicity of the limit cycle, since its characteristic exponent is
Hence, for small values of α the contraction to the limit cycle will be weak, while as α goes to infinity λ tends to $4\pi /a$. On the other hand, the parameter a determines the transversality of the isochrons to the limit cycle. Indeed, denoting by β the angle between the isochron $\{p\in {\mathbb{R}}^{2}:\Theta (p)=\theta \}$ and the limit cycle at the point $\gamma (\theta )$, we have
Computing explicitly the righthand side of the equality, it is straightforward to verify that
In particular, note that β is independent of the variable θ. Moreover, for $a=0$ the isochrons are orthogonal to the limit cycle and, as a tends to infinity, they become to it (see Fig. 3).
4.1.2 Numerical Simulations
In this section, we use the analytic expressions obtained in the previous subsection for the PRF, ARF, and PRC to compute and compare the maps defined in (22) and (23). Moreover, as we also have an explicit formula for the parameterization K and its inverse ${K}^{1}$, we can integrate numerically system (28), perturb it periodically, and obtain a sequence $({x}_{n},{y}_{n})$. Then we can compute analytically
and compare it with the iterations obtained using the maps (22) and (23). In the following, we will call the approximation of the rotation number obtained by this method simply ρ, to distinguish it from ${\rho}_{2D}$ and ${\rho}_{1D}$ defined previously in (25) and (26), respectively. The following lemma gives a description of the dynamics expected in the 1dimensional map.
Lemma 4.2 For $k\in \mathbb{Z}$, let us denote
Then, the fixed points of the 1dimensional map (23) can be computed analytically and:

If$1+{a}^{2}+{C}_{k}^{2}<0$for all$k\in \mathbb{Z}$, the map (23) has no fixed points.

If there exists $k\in \mathbb{Z}$ such that $1+{a}^{2}+{C}_{k}^{2}<0$ and
$$\left\frac{a{C}_{k}+\sqrt{1+{a}^{2}{C}_{k}^{2}}}{1+{a}^{2}}\right\le 1,$$
the map (23) has the fixed point
Moreover, if $a\le {C}_{k}$ and
there exists also another fixed point
Proof The fixed points ${\theta}^{\ast}$ of map (23) must satisfy
for some $k\in \mathbb{Z}$, or equivalently
Substituting $PRC({\theta}^{\ast})$ in the above equation by expression (31) with $\sigma =0$ and rearranging terms we have
Taking squares of both sides of the equality and using trigonometric properties, we obtain
which is an equation of degree 2 in $cos(2\pi {\theta}^{\ast})$. Solving it, after some simplifications, we obtain
It is clear that for Eq. (34) to have real solutions, the righthand side must have modulus at most 1 and $1+{a}^{2}{C}_{k}\ge 0$. In this case, the solutions of (34) are
However, as we have taken squares in Eq. (33), we still have to check whether ${\theta}_{+}^{\ast}$ and ${\theta}_{}^{\ast}$ are solutions of (33). It is easy to check that ${\theta}_{+}^{\ast}$ always solves (33), while ${\theta}_{}$ is a solution only when $a\le {C}_{k}$. □
Remark 4.3 A natural question is whether the 2dimensional map (22) and the sequence (32) have the same qualitative behavior. As an example, let us take $\u03f5=0.03$, $\alpha =0.1$ and $a=10$. In this case, there exists just the fixed point ${\theta}_{+}^{\ast}$ for the 1dimensional map (23). So, let us take the initial condition $({\theta}_{0},{\sigma}_{0})=({\theta}_{+}^{\ast},0)$ and compute its iterates by the three different maps (22), (23), and (32). In Fig. 4, we plot the sequences $K({\theta}_{n},{\sigma}_{n})$ (for clarity, we have just plotted those with $n>200$). As one can see, map (23) fails to predict correctly the qualitative behavior of the solution, since (32) seems to be attracted to a quasiperiodic orbit and not a fixed point. On the contrary, map (22) correctly predicts this qualitative behavior.
From now on, we will take the initial condition to be $({\theta}_{0},{\sigma}_{0})=(0.8,0)$, that is, $({x}_{0},{y}_{0})\approx (0.30901,0.95106)$. In order to explore the effect of both the hyperbolicity and the transversality of the isochrons to the limit cycle, we will plot the different approximations of the rotation numbers ρ, ${\rho}_{2D}$, and ${\rho}_{1D}$ for different values of the parameters a and α.
First of all, we will take $\alpha =0.1$ and $a=10$. This corresponds to considering a weakly hyperbolic limit cycle with isochrons that are almost tangent to it. In Fig. 5, we show the rotation numbers obtained for different amplitudes and for two different stimulus periods ${T}_{s}$. In this case, in order to make the rotation number ${\rho}_{1D}$ stabilize, we have taken $N=1000$.
Observe also the agreement with the result in Lemma 4.2, which predicts the appearance of the fixed point of the 1D map when $1+{a}^{2}{C}_{k}^{2}=0$, that is, when ${C}_{k}^{2}=101$ or, equivalently after substituting ${T}_{s}={T}_{0}/m$, $\u03f5=2\pi /(\sqrt{101}m)$. The fixed point appears at $\u03f5\approx 0.0125$ for $m=50$ (panel (a) in Fig. 5) and $\u03f5\approx 0.0312$ for $m=20$ (panel (b) in Fig. 5); both values coincide with the downstroke of the corresponding values of ${\rho}_{1D}$.
One can see that the rotation number obtained with the 1dimensional map diverges from the analytical computation, while the one obtained with the 2dimensional map does not. This wrong prediction by the 1dimensional approach is consistent for all intermediate values of ${T}_{s}$ (not shown here). We point out that, although the difference between the 1dimensional approach and the other two seems rather small (it ranges from 10^{−3} to 10^{−2}), we can identify a wrong prediction of the qualitative behavior of the system by the 1dimensional map. Indeed, in the cases where ${\rho}_{1D}\approx 0$ but ${\rho}_{2D},\rho \ne 0$, the 1dimensional map (23) has a fixed point, while the other two do not (see Remark 4.3). For example, in Fig. 6, we plot in the phase space the first 100 iterates of the sequences $K({\theta}_{n},{\sigma}_{n})$, where $({\theta}_{n},{\sigma}_{n})$ are obtained, respectively, using the 2dimensional map (22), the 1dimensional map (23), and expression (32). While for the 1D map a fixed point is reached, for the 2D and the analytic approaches it seems that the dynamics are not so simple. Observe that this different qualitative behavior is obtained in spite of the initial condition being on the limit cycle.
Another visualization of the agreement or disagreement between the different approximations of the rotation numbers is provided in Figs. 7, 8, and 9. We show the differences between them depending on both ϵ (that is, the strength of the stimulus) and ${\omega}_{\mathrm{rel}}:={\omega}_{s}/{\omega}_{0}={T}_{0}/{T}_{s}$ (the ratio between the frequency of the stimulus and the frequency of the limit cycle). In Fig. 7, we plot the absolute difference between the rotation number obtained with the 2dimensional approach and the analytic one, namely ${\rho}_{2D}\rho $, whereas in Fig. 8, we plot the error when using the phasereduction hypothesis, namely ${\rho}_{1D}\rho $. Both errors are compared in Fig. 9, where the ratio ${\rho}_{2D}\rho /{\rho}_{1D}\rho $ is displayed. As expected, one can see in Figs. 7 and 8 that, fixing the stimulus period ${T}_{s}$, the worst approximations of ρ given respectively by ${\rho}_{2D}$ and ${\rho}_{1D}$ are obtained for high values of ϵ. However, fixing the strength of the stimulus ϵ, the results for both cases are different: while for the 2dimensional map the worst results are for high frequency ratios ${\omega}_{\mathrm{rel}}$, for the 1D approach the worst results are obtained, in general, for low ${\omega}_{\mathrm{rel}}$. Finally, as we also expected, in Fig. 9 we can appreciate that the 2D approach is always better than the 1D. Moreover, the difference between ${\rho}_{2D}$ and ρ is, in the worst case, two orders of magnitude smaller than the difference between ${\rho}_{1D}$ and ρ.
As we mentioned above, we use this example to help us understanding the effect of the hyperbolicity of the limit cycle and the transversality of the isochrons to it in the validity of the PRC approach. In Figs. 10, 11, and 12, we plot the different approximations of the rotation numbers varying the parameters α ($\alpha =0$ meaning loss of hyperbolicity) and a ($a=0$ meaning isochrons normal to the limit cycle). On one hand, when the limit cycle is strongly hyperbolic (for instance, $\alpha =10$ as in Figs. 11 and 12), all approximations give a very similar result. Hence, in these two cases (even when the isochrons are almost tangent to the limit cycle, which corresponds to Fig. 11), the use of PRFs and ARFs instead of PRCs seems not necessary. In fact, that is what one can expect intuitively: if the attraction to the limit cycle is very strong, the system relaxes back to the asymptotic state very quickly, so that at each kick we can assume that the state variables are on the limit cycle. Of course, this will depend also on the frequency of stimulation ${\omega}_{s}$.
On the other hand, in Fig. 10, where the contraction to the limit cycle is slow but the isochrons are almost orthogonal to the limit cycle, one can see that the 1D approach diverges from the 2D approach and the analytic one. However, for the range of ϵ and the two different stimulation periods ${T}_{s}$ (panels (a) and (b)) considered in Fig. 10, the 1D prediction still gives a fairly good approximation. Moreover, unlike the case where $\alpha =0.1$ and $a=10$ (see Fig. 5), the 1D approach predicts a similar qualitative behavior as the other two approaches. The results for $\u03f5=0.04$ in Fig. 10(a) raise another interesting question since the analytic rotation number ρ suddenly diverges from the 1D and the 2D rotation numbers. This is due to the fact that the iterates of the analytic map suddenly fail to encircle the critical point of the continuous system (located inside the limit cycle) while the iterates of the 1D and the 2D maps still do it. Thus, the rotation number for the analytic case may not give accurate information.
In conclusion, it seems that for the 2D map to represent a qualitative improvement with respect to the 1D it is necessary to have the combination of weak hyperbolicity of the limit cycle and “weak transversality” of isochrons to it. However, the role of hyperbolicity seems to be much more important, since in the presence of strong hyperbolicity the use of the 2D approach seems completely unnecessary, but for weak hyperbolicity the differences between the 1D and the 2D maps are present also when the isochrons are orthogonal to the limit cycle.
Remark 4.4 Of course, considering a stimulus strength ϵ large enough, both maps (22) and (23) will not give correct predictions, since they are based on firstorder approximations. In this case, one should consider PRFs of second (or higher) order to obtain a correct result; see, for instance, [23, 24] for higherorder PRCs. One has to distinguish between these higher order response functions in terms of the stimulus strength from the secondorder PRCs above mentioned (see [15] for instance) that relate to the second cycle after the stimulus.
In the next example, we apply the same methodology to a more biologically inspired case: a conductancebased model for a pointneuron with two types of ionic channels.
4.1.3 A ConductanceBased Model
We consider a reduced Hodgkin–Huxleylike system, with sodium and potassium currents, and only one gating variable:
where V represents the membrane potential, in mV, n is a nondimensional gating variable and the openstate probability functions are
The parameters of the system are ${C}_{m}=1\phantom{\rule{0.25em}{0ex}}\mathrm{\mu}{\text{F/cm}}^{2}$, ${g}_{\mathrm{Na}}=20{\text{mS/cm}}^{2}$, ${V}_{\mathrm{Na}}=60\text{mV}$, ${g}_{\mathrm{K}}=10{\text{mS/cm}}^{2}$, ${V}_{\mathrm{K}}=90\text{mV}$, ${g}_{L}=8{\text{mS/cm}}^{2}$, ${v}_{L}=80\text{mV}$, ${V}_{max,m}=20\text{mV}$, ${k}_{m}=15$, ${V}_{max,n}=25\text{mV}$, ${k}_{n}=5$.
Here, we will take ${I}_{\mathrm{app}}=190\phantom{\rule{0.25em}{0ex}}\mathrm{\mu}{\text{A/cm}}^{2}$. In this case, the system has a limit cycle with period ${T}_{0}\approx 1.3055442$, and its characteristic exponent is $\lambda \approx 0.6055956$. That is, the limit cycle is weakly hyperbolic, and hence we expect that the 2dimensional approach will give qualitatively different results with respect to the 1dimensional approach. Figure 13 shows the limit cycle and its isochrons.
In Fig. 14, we show the PRF and the ARF on the limit cycle ($\sigma =0$), panels (a) and (b), and for a specific isochron ($\theta =0$), panels (c) and (d).
Remark 4.5 We have chosen a value of the parameter ${I}_{\mathrm{app}}=190$ for which the system presents weak attraction to the limit cycle. However, for this value of ${I}_{\mathrm{app}}$, system (35) is not a model of a spiking neuron, but one with high voltage oscillations. Thus, this example is not intended to deal with a realistic setting of spike synchronization, but to illustrate how to deal with the tools introduced in this paper in the case where one does not explicitly have the parameterization K.
Remark 4.6 In order to compute the parameterization K and the PRFs we have used the methods proposed in [8]. The same ideas can be applied to compute the ARFs. Briefly, the method consists of two steps. First, to compute the value of a given ARF near the limit cycle, where the numeric approximation of the parameterization K is valid, expression (16) is used. Second, to compute the value of some ARF far from the limit cycle, we just integrate the adjoint system (18) backwards in time using an initial condition for ARF close to the limit cycle.
Again, we have computed the rotation numbers as defined in (25) and (26) varying the strength of the stimulus ϵ with fixed stimulation periods. We have taken $N=100$ and initial conditions ${\theta}_{0}=0.089$ and ${\sigma}_{0}=0$. The results, for two different stimuli periods ${T}_{s}$, are shown in Fig. 15. Again, note that although the dynamics begin on the limit cycle (since ${\sigma}_{0}=0$), the behavior of the 1dimensional approach and the 2dimensional approach are quite different. Moreover, for $\u03f5>0.4$ we find that ${\rho}_{1D}\approx 0$, while ${\rho}_{2D}\approx 0.02$. This can be interpreted, similarly to the previous example, as an indicator that the 1D map (23) has a fixed point, while the 2D map does not. Furthermore, this indicates that after 100 iterations of the 2D map (22), the state variables have turned approximately twice around the fixed point, as one can see from the plots of the sequences $K({\theta}_{n},{\sigma}_{n})$ computed using both maps (see Fig. 16).
5 Discussion
We have introduced general tools (the PRF and the ARF) to study the advance of both the phase and the amplitude variables for dynamical systems having a limit cycle attractor. These tools allow us to study variations of these variables under general perturbation hypotheses and extend the concept of infinitesimal PRCs which assumes the validity of the phasereduction and is only true under strong hyperbolicity of the limit cycle or under weak perturbations. In fact, the PRFs and ARFs are firstorder approximations of the actual variation of the phase and the amplitude, respectively, and so they are supposed to work mainly for weak perturbations; however, being an extension away from the limit cycle makes them more accurate than the PRCs even under strong perturbations. We thus claim that the phasereduction has to be used with caution since assuming it by default may lead to completely wrong predictions in synchronization problems. We are not dismissing phasereduction but trying to show the limits beyond which an extended scenario is required.
We have presented a computational analysis to understand the contribution of transient effects in firstorder predictions of the phase response, focusing on the importance of the hyperbolicity of the limit cycle, but also on the relative positions of the isochrons with respect to the limit cycle.
In the examples studied, subject to pulsetrain stimuli, we have compared the predictions obtained both with the new 2D map defined from the PRF and ARF and the 1D map defined from the classical PRC. Using rotation numbers, we have shown differences up to two orders of magnitude in favor of the 2D predictions, especially when the stimulation frequency is high or the stimulus is too strong. These results confirm previous numerical experiments with specific oscillators; see [22]. On the other hand, we have found that both weak hyperbolicity of the limit cycle and “weak transversality” of isochrons to it are important factors, although the role of hyperbolicity seems to be more crucial. In this paper, these achievements have been tested in a canonical model allowing comparisons with the exact solutions, and other numerical tests have been applied in a conductancebased model. The technique can be applied to other neuron models, and not necessarily for planar systems; ndimensional systems would only require an additional computational difficulty in computing the associated $(n1)$ ARFs.
We would like to emphasize the importance of having good methods to compute isochrons (see [8–12]) since they are the cornerstone to study these transient phenomena that we have observed. They can be useful, not only for the problem illustrated here, but for other purposes like testing how far the experimentally recorded phase variations are from the theoretically predicted ones. In fact, they are the key concept to be able to predict the exact phase variation since, theoretically, if we know the parameterization K that gives the isochrons, the problem reduces to solving, at each step, $(x,y)=K(\theta ,\sigma )$ and $({x}^{\prime},{y}^{\prime})=K({\theta}^{\prime},{\sigma}^{\prime})$, where $(x,y)$ is the point in the phase space where the pulse perturbation, ϵ w, is applied and $({x}^{\prime},{y}^{\prime})=(x,y)+\u03f5\mathbf{w}$. Indeed, the PRFs and ARFs can be computed knowing only the first order in K; in principle, then they are valid only for weak perturbations, but easier to compute. Other refinements could be obtained by computing second order PRFs and ARFs by using the secondorder approximations of the isochrons. Further extensions include also the possibility of computing response curves for long (in time) stimulus rather than pulsatile stimuli.
Appendix: The Vector Field for the ACurves
We prove here that given an analytic local diffeomorphism K, as in (5), satisfying (6), the Acurves are the orbits of a vector field Z, satisfying $[X,Z]=[Z,X]=0$.
This is equivalent to proving that $DXZ=DZX$.
Taking derivatives with respect to θ in Eq. (6), we get
and using (14), we get
By the chain rule,
and again, by the invariance equation (6), we obtain
as we wanted to prove.
References
 1.
Izhikevich EM Computational Neuroscience. In Dynamical Systems in Neuroscience: The Geometry of Excitability and Bursting. MIT Press, Cambridge; 2007.
 2.
Ermentrout B, Terman D: Mathematical Foundations of Neuroscience. Springer, New York; 2010.
 3.
Schultheiss NW, Prinz AA, Butera RJ Springer Series in Computational Neuroscience 6. In Phase Response Curves in Neuroscience Theory, Experiment, and Analysis. Springer, Berlin; 2012.
 4.
Gutkin BS, Ermentrout GB, Reyes AD: Phaseresponse curves give the responses of neurons to transient inputs. J Neurophysiol 2005, 94(2):1623–1635. 10.1152/jn.00359.2004
 5.
Ermentrout GB, Beverlin B, Troyer T, Netoff TI: The variance of phaseresetting curves. J Comput Neurosci 2011, 31(2):185–197. 10.1007/s1082701003059
 6.
Oh M, Matveev V: Nonweak inhibition and phase resetting at negative values of phase in cells with fastslow dynamics at hyperpolarized potentials. J Comput Neurosci 2011, 31: 31–42. 10.1007/s108270100292x
 7.
Winfree AT: Patterns of phase compromise in biological cycles. J Math Biol 1974/1975, 1: 73–95. 10.1007/BF02339491
 8.
Guillamon A, Huguet G: A computational and geometric approach to phase resetting curves and surfaces. SIAM J Appl Dyn Syst 2009, 8(3):1005–1042. 10.1137/080737666
 9.
Huguet G, de la Llave R: Computation of limit cycles and their isochrons: fast algorithms and their convergence. SIAM J Appl Dyn Syst 2013, in press. Huguet G, de la Llave R: Computation of limit cycles and their isochrons: fast algorithms and their convergence. SIAM J Appl Dyn Syst 2013, in press.
 10.
Osinga HM, Moehlis J: Continuationbased computation of global isochrons. SIAM J Appl Dyn Syst 2010, 9(4):1201–1228. [With online multimedia enhancements.] [With online multimedia enhancements.] 10.1137/090777244
 11.
Sherwood WE, Guckenheimer J: Dissecting the phase response of a model bursting neuron. SIAM J Appl Dyn Syst 2010, 9(3):659–703. 10.1137/090773519
 12.
Mauroy A, Mezić I: On the use of Fourier averages to compute the global isochrons of (quasi)periodic dynamics. Chaos 2012., 22: Article ID 033112 Article ID 033112
 13.
Ermentrout GB, Kopell N: Multiple pulse interactions and averaging in systems of coupled neural oscillators. J Math Biol 1991, 29(3):195–217. 10.1007/BF00160535
 14.
Brown E, Holmes P, Moehlis J: On the phase reduction and response dynamics of neural oscillator populations. Neural Comput 2004, 16: 673–715. 10.1162/089976604322860668
 15.
Oprisan SA, Canavier C: Stability analysis of rings of pulsecoupled oscillators: the effect of phase resetting in the second cycle after the pulse is important at synchrony and for long pulses. Differ Equ Dyn Syst 2001, 9: 243–258.
 16.
Oprisan SA, Prinz AA, Canavier CC: Phase resetting and phase locking in hybrid circuits of one model and one biological neuron. Biophys J 2004, 87(4):2283–2298. 10.1529/biophysj.104.046193
 17.
Maran S, Canavier C: Using phase resetting to predict 1:1 and 2:2 locking in two neuron networks in which firing order is not always preserved. J Comput Neurosci 2008, 24: 37–55. 10.1007/s108270070040z
 18.
Lin KK, Wedgwood KCA, Coombes S, Young LS: Limitations of perturbative techniques in the analysis of rhythms and oscillations. J Math Biol 2013, 66(1–2):139–161. 10.1007/s0028501205060
 19.
Ermentrout GB: Type I membranes, phase resetting curves, and synchrony. Neural Comput 1996, 8: 979–1001. 10.1162/neco.1996.8.5.979
 20.
Guckenheimer J: Isochrons and phaseless sets. J Math Biol 1974/1975, 1(3):259–273.
 21.
Cabré X, Fontich E, de la Llave R: The parameterization method for invariant manifolds. III. Overview and applications. J Differ Equ 2005, 218(2):444–515. 10.1016/j.jde.2004.12.003
 22.
Rabinovitch A, Friedman M: Fixed points of twodimensional maps obtained under rapid stimulations. Phys Lett A 2006, 355(4–5):319–325. 10.1016/j.physleta.2006.02.059
 23.
Takeshita D, Feres R: Higher order approximation of isochrons. Nonlinearity 2010, 23(6):1303–1323. 10.1088/09517715/23/6/004
 24.
Suvak O, Demir A: Quadratic approximations for the isochrons of oscillators: a general theory, advanced numerical methods and accurate phase computations. IEEE Trans ComputAided Des Integr Circuits Syst 2010, 29: 1215–1228.
Acknowledgements
Partially supported by the MCyT/FEDER grant MTM200906973 (DACOBIAN), MTM201231714 (DACOBIANO), and Generalitat de Catalunya grant number 2009SGR859. GH has been also supported by the iMath contrato flechado and the Swartz Foundation. OC has been also supported by the grant FIDGR 2011, cofunded by the Secretaria d’Universitats i Recerca (SUR) of the ECO of the Autonomous Government of Catalonia and the European Social Fund (ESF). AG and GH would like to thank the facilities of the Centre de Recerca Matemàtica. Part of this work was done while GH was holding a postdoctoral grant at the Centre de Recerca Matemàtica and AG was visiting it.
Author information
Additional information
Competing Interests
The authors declare that they have no competing interests.
Authors’ Contributions
The three authors have equally contributed.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 Rotation Number
 Adjoint Method
 Phase Response Curve
 Stimulus Strength
 Isochron