Get Complete Project Material File(s) Now! »

**Saddle Slow Manifold: Definition and Computation**

The results in this chapter have appeared in [39]. As was explained in chapter 1, slow manifolds in slow-fast systems are perturbations of the associated invariant manifolds of the fast subsystem. The slow manifolds together with invariant manifolds of equilibria and periodic orbits organise the local and global dynamics. For instance, it is well known that the interaction of attracting and repelling slow manifolds can lead to canard explosions [8, 69, 96]. More recently, it has been estab-lished that saddle slow manifolds (SSMs) and their stable and unstable manifolds can play important roles in the dynamics of a system: the number of spikes in a bursting periodic orbit is organised by the intersection of the stable and unstable manifolds of an SSM [46]. In [84], the e↵ect of changing a parameter on the number of spikes in the response of a system is investigated when a short-time stimulus is applied with fixed amplitude; a transition between solutions with di↵erent numbers of spikes occurs in an exponentially small parameter interval, and SSMs and their stable manifolds are an integral part of the mechanism for spike adding. Hence, the ability to compute accurate approximations to slow manifolds, including SSMs and their stable and unstable manifolds, is of significant interest. Slow manifolds experience extremely strong attraction or repulsion because of the fast dynamics normal to the manifolds. Hence, their numerical approximation is a challenge, and shooting methods are often unhelpful, because small errors in the initial conditions grow exponentially quickly. The computation of SSMs is perhaps even more challeng-ing because these manifolds have both repelling and attracting properties. There are well-established numerical methods for computing attracting and repelling slow mani-folds [22, 23, 25, 45] but methods for the approximation of SSMs are scarce. The first method for the computation of an SSM and its associated (un)stable manifolds was pre-sented in 2009 by Guckenheimer and Kuehn [46]. There, the SSM is approximated using a collocation method; the corresponding stable (unstable) manifold is then computed as the union of trajectory segments integrated backward (forward) in time starting a small distance from the computed SSM in the direction of the stable (unstable) eigenvectors of the corresponding branch of equilibria of the fast subsystem. This idea is the same as in [24] and defines the (un)stable manifold of the SSM in terms of the corresponding manifold in the singular limit » = 0. Kristiansen [68] introduces an iterative method for computing slow manifolds and particularly an SSM by enforcing the invariance condition of a slow manifold as an algebraic equation and solving it from an initial guess. The asso-ciated (un)stable manifold of an SSM is computed by another iterative method through a projection onto the SSM. Basically, the computations are split into two nonsti ↵ parts: one on the SSM and the other as the connection to and from the SSM. The method has some advantages; for example, one only needs to know the vector field and its Jacobian, but its convergence is guaranteed only for small enough « . In this thesis, we compute an approximation of an SSM using pseudo-arclength continuation in Auto [27, 29] which is similar to the collocation method in [46]. Our method for computing the associated (un)stable manifold of the SSM is based on a two-point boundary value problem (2PBVP) approach in the full system and does not rely on information from the fast subsystem. This is quite di↵erent from the methods presented in [24, 46]. Our method is fast and very accurate because of the set-up in Auto. In this chapter, we assume that the critical manifold is folded twice, resulting in a middle branch that is of saddle type. Corresponding to this saddle branch, there will be family of one-dimensional SSMs each with a corresponding family of two-dimensional stable and unstable manifolds [41]. A trajectory started on such a stable manifold in a small neighbourhood of the SSM converges very quickly towards the SSM, follows it for time interval of O(1) on the slow time scale, and then diverges from the SSM along an unstable manifold, again very quickly [59]. We approximate the stable manifold of an SSM as a one-parameter family of trajectory segments. The method is implemented in the software package Auto [27, 29] using pseudo-arclength continuation and a 2PBVP set-up. This chapter is organised as follows. In section 4.1, we define an approximation of an SSM and its stable and unstable manifolds. The implementation of the 2PBVP set-up for the computation of the stable manifold of an SSM in Auto is explained in section 4.2. We validate the computed stable manifold of an SSM of a polynomial example model [98] against the definition of these manifolds in section 4.3. Here, we also discuss the accuracy of the computed manifold in terms of its convergence properties as » ! 0.

**Saddle slow manifolds and their (un)stable man-ifolds**

If the critical manifold (1.5) is normally hyperbolic, Fenichel theory [40, 41] guarantees that C_{} perturbs to a family of locally invariant manifolds with compatible stability properties, each of which is C^{r} and lies in an O(« )-neighbourhood of C_{} for » suﬃciently small. Typically, C_{} has folds with respect to the slow variable z, which means that there exist values of z for which the fast subsystem exhibits a saddle-node bifurcation. At such points, C_{} is not normally hyperbolic, but we can divide C_{} into several isolated branches, so that each of these branches is normally hyperbolic and gives rise to a corresponding family of slow manifolds. We are interested in branches of C_{} that are of saddle type. We define a compact, connected submanifold S_{} of C_{} extending from z = z_{in} to z = z_{out}, where we choose z_{in} < z_{out} and assume that > 0 in (1.1) for all points p_{} 2 S_{}. Note that each point p_{} 2 S_{} is a hyperbolic saddle equilibrium of the fast subsystem with fixed z_{} 2 [z_{in}, z_{out}], and p_{} has exactly one negative and one positive eigenvalue. Hence, in the fast subsystem, p_{} has a one-dimensional stable manifold, denoted W ^{s}(p_{}), consisting of two trajectories that converge to p_{} in forward time. Similarly, p_{} has a one-dimensional unstable manifold, Figure 4.1(b) shows a sketch of S_{}, together with (local) manifolds W ^{s}(S_{}) and W ^{u}(S_{}). The Stable Manifold Theorem and the smoothness of system (1.2) guarantee that W ^{s}(S_{}) and W ^{u}(S_{}) are also C^{r}-smooth; see [40, 58, 60]. Associated with S_{}, provided » is small enough, Fenichel theory guarantees the ex-istence of a family of SSMs S_{« } that are each locally invariant. Local invariance means that a solution started from a point in S_{« } with z-coordinate z_{} 2 (z_{in}, z_{out}) stays in S_{« } until z = z_{out}. While the theory does not guarantee uniqueness of S_{« }, all manifolds in the family are exponentially close to one another [41, 70]. Fenichel theory [40, 41, 60, 70] also implies the existence of locally invariant C^{r}-smooth stable and unstable manifolds, denoted W ^{s}(S_{« }) and W ^{u}(S_{« }), associated with W ^{s}(S_{}) and W ^{u}(S_{}), respectively. Locally near S_{« }, these manifolds lie in an O(« )-neighbourhood of their unperturbed counterparts. The (un)stable manifolds W ^{s}(S_{« }) and W ^{u}(S_{« }) are also not unique and exist as families of manifolds that lie exponentially close to one another. As mentioned in the introduction, each chosen pair W ^{s}(S_{« }) and W ^{u}(S_{« }) intersect in an SSM S_{« } [59]. Furthermore, there are trajectories that enter a small neighbourhood of each S_{« } close to W ^{s}(S_{« }), and follow S_{« } for a certain length of time, after which they leave close to W ^{u}(S_{« }). We approximate W ^{s}(S_{« }) by selecting a one-parameter family from those trajectories that follow S_{« } up to z = z_{out}; the unstable manifold W ^{u}(S_{« }) can be approximated in the same way by reversing time and considering z = z_{in}. Figure 4.2 is a sketch of the local stable and unstable manifolds of S_{« }. These surfaces are perturbations of the stable and unstable manifolds of S_{} in Figure 4.1(b). For ease of visualization, we show just one sheet of each of W ^{s}(S_{« }) and W ^{u}(S_{« }). As indicated, solutions on W ^{s}(S_{« }) approach S_{« } very fast at di↵erent values of the slow variable z along S_{« }. The same thing happens for trajectories on W ^{u}(S_{« }) in reversed time.

**Selecting a saddle slow manifold**

We first provide a suitable definition of S_{« } as a trajectory segment along S_{}. Here, we are inspired by the theory of nonautonomous systems. We used [33, 103] as references, but see also the first papers on the subject [79, 92, 93, 95]. Let B_{δ} (z_{}) denote a two-dimensional closed disk in the plane z = z_{} with radius δ and centre (x_{}, z_{}) 2 S_{}. Here, δ is small, but it must be at least of order « . We define which is a tubular compact set around S_{}; see Figure 4.3(a). For » small enough, the intersection between B_{δ} (S_{}) and the family of SSMs, which lies O(« ) from S_{}, is not empty. Moreover, we can choose δ such that there is a set of trajectories, including S_{« }, that enter B_{δ} (S_{}) at z_{in}, and leave B_{δ} (S_{}) at z_{out}. This is illustrated in Figure 4.3(a), where two such trajectories are sketched inside B_{δ} (S_{}). We approximate S_{« } \ B_{δ} (S_{}) by the specific trajectory from this set that spends the longest time in B_{δ} (S_{}); we denote this approximation by S_{« }^{x}. It is possible that there exists more than one trajectory with this property; we simply choose one of them. Note that, by definition, S_{« }^{x} can be parameterised by z 2 [z_{in}, z_{out}].

**The (un)stable manifold of S**_{« }^{x}

_{« }

^{x}

We now proceed with defining the approximation W ^{s}(S_{« }^{x}) of W ^{s}(S_{« }). Note that we only approximate one sheet of W ^{s}(S_{« }); the approximation of the other sheet is similar. As shown in Figure 4.3(b), we define a tubular neighbourhood of S_{« }^{x} similar to the way we defined B_{δ} (S_{}). Specifically, we define where B (z_{« }) is now a disk of radius centred at a point (x_{« }, z_{« }) = (x_{« }(z_{« }), z_{« }) 2 S_{« }^{x} and is small. We formulate a definition of W ^{s}(S_{« }^{x}) as follows. The distance between a hyperbolic trajectory and the orbits on its stable (unstable) manifold goes to 0 as t ! 1 (t !1 ); see for example [103]. For a finite-time trajectory, the stable (unstable) manifold is nonuniquely defined as the family of orbits with a strictly decreasing (increasing) distance to the trajectory in a small neighbourhood [33]. Hence, the family of stable manifolds of S_{« }^{x} corresponds to the set of trajectories that enter B (S_{« }^{x}) (not necessarily from z_{in}) and, as long as they are in the -neighbourhood of S_{« }^{x}, come closer to S_{« }^{x}. In other words, a trajectory φ^{t}(z_{« }) that enters B (S_{« }^{x}) at z_{« } 2 [z_{in}, z_{out}) lies on a member of the family of stable manifolds if d_{z}(‘^{t}(z_{« }), S_{« }^{x}), the Euclidean distance between the intersections with the plane z = constant of ‘^{t}(z_{« }) and S_{« }^{x}, decreases in forward time (increasing z) until φ^{t}(z_{« }) reaches the disk z = z_{out}. We refer to such a trajectory as a converging trajectory. We emphasise that this definition also embraces all trajectories that enter B (S_{« }^{x}) from z_{in}. Since we assume that the vector field is C^{r}-smooth, the distance function is also C^{r}-smooth, which is important for our definition of W ^{s}(S_{« }^{x}). We approximate a representative W ^{s}(S_{« }^{x}) of the stable manifold family of S_{« }^{x} as follows. We consider all the converging trajectories that enter B (S_{« }^{x}) at some fixed z-value, say z = z_{« }, with z_{in} < z_{« } < z_{out}. Of all these trajectories, φ^{t}(z_{« }) is chosen such that d_{z}(φ^{t}(z_{« }), S_{« }^{x}) at z = z_{out} is minimal, that is, at z = z_{out}, the converging trajectory φ^{t}(z_{« }) lies closest to S_{« }^{x}. As for the definition of S_{« }^{x}, it is possible that there is more than one trajectory with the minimum distance; here, we also select only one of them. The union of all of these trajectories over di↵erent values of z_{« } gives the manifold W ^{s}(S_{« }^{x}). The C^{r}-smoothness of the vector field enables us to choose the minimum-distance trajectory for di↵erent z_{« }-values in a continuous manner. The extension of the selected trajectories Remark 4.1.1 We remark that we can define both sheets of W ^{s}(S_{« }^{x}) and S_{« }^{x} together as a single surface if we also include trajectories on W ^{s}(S_{« }^{x}) that enter B (S_{« }^{x}) from the disk z = z_{in}. For example, this is possible by including all trajectories ‘^{t}(z_{in}, r), r 2 [0, ), that enter B (S_{« }^{x}) at z = z_{in} with distance r to S_{« }^{x}, and have minimal d_{z}(‘^{t}(z_{in}, r), S_{« }^{x}) at z = z_{out}. As we will see in the next section, this extension is convenient from a computational perspective, because it means that W ^{s}(S_{« }^{x}) can be computed in its entirety as a single computation run.

**The algorithm**

When approximating W ^{s}(S_{« }^{x}), we would like to avoid the dependence on the choice of z_{in} and z_{out} and base the computations on a maximal possible interval [z_{in}, z_{out}]. In what follows, we begin with a set-up that follows the definition as given in section 4.1, but our final selection of trajectory segments that lie on W ^{s}(S_{« }^{x}) is determined by a maximum in total integration time, rather than a minimum in distance with respect to z_{out}; this approach is similar to the numerical methods presented in chapter 3 for the detection of spike onset in the bursting patterns of neurons [82, 84]. Specifically, this means that we do not need to fix z_{out}. Furthermore, z_{in} is e↵ectively used to define a particular region of interest. We compute an approximation to W ^{s}(S_{« }^{x}) with the pseudo-arclength continuation package Auto [27, 29]. To this end, we set up a 2PBVP in section 4.2.1 that achieves the required approximation in three steps. In section 4.3, we show that our numerical approach leads to a good approximation of W ^{s}(S_{« }^{x}) as defined in section 4.1.

**1 Introduction **

1.1 Background on geometric singular perturbation theory

1.2 Numerical methods for slow-fast systems

1.3 Examples of spike adding: an overview

1.4 Outline of the thesis

**2 Background on spike adding **

**3 Spike-adding mechanisms in a polynomial model **

3.1 Introduction

3.2 The model and the transient response

3.3 Bifurcation analysis

3.4 The organisation of curves of spike onset

3.5 Spike-adding mechanism in the presence of extra equilibria

3.6 E↵ect of the injected current and its duration

3.7 Spike adding in another bursting pattern

3.8 Discussion and remarks

**4 Saddle Slow Manifold:Definition and Computation **

4.1 Saddle slow manifolds and their (un)stable manifolds

4.2 The algorithm

4.3 Accuracy of the method

4.4 Discussion and remarks

**5 Numerical examples **

5.1 A polynomial model

5.2 A thalamic neuron model

5.3 Chay–Cook model

5.4 Bursting periodic orbits in the Morris–Lecar model

5.5 Discussion and remarks

**6 Conclusions and outlook**

GET THE COMPLETE PROJECT

A thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics, the University of Auckland, 2017.