Abstract
We study delayed loss of stability in a class of fast–slow systems with two fast variables and one slow one, where the linearisation of the fast vector field along a one-dimensional critical manifold has two real eigenvalues which intersect before the accumulated contraction and expansion are balanced along any individual eigendirection. That interplay between eigenvalues and eigendirections renders the use of known entry–exit relations unsuitable for calculating the point at which trajectories exit neighbourhoods of the given manifold. We illustrate the various qualitative scenarios that are possible in the class of systems considered here, and we propose novel formulae for the entry–exit functions that underlie the phenomenon of delayed loss of stability therein.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The phenomenon of delayed loss of stability in two-dimensional fast–slow systems of the form
with \(\varepsilon >0\) sufficiently small and \(Z:\mathbb {R}^3\rightarrow \mathbb {R}\) smooth, has been extensively studied [4, 5, 12, 20,21,22, 24, 25]. In particular, we assume here that the x-axis is invariant under the flow of (1), i.e., that \(Z(x,0;\varepsilon )=0\), and that it undergoes a change of stability at \(x=0\): specifically, we take the x-axis to be attracting and repelling for \(x<0\) and \(x>0\), respectively, with \(\partial _zZ(x,0;\varepsilon )<0\) for \(x<0\) and \(\partial _zZ(x,0;\varepsilon )>0\) for \(x>0\), respectively. Delayed loss of stability can then be characterised as follows: trajectories of (1) that enter a \( \delta \)-neighbourhood of the x-axis at a point with \(x=x_0<0\) and \(\delta \) sufficiently small evolve close thereto until the accumulated contraction is balanced by accumulated expansion instead of diverging immediately from the x-axis after crossing \(x=0\); cf. Fig. 1. Contraction and expansion are balanced at a point with \(x=x_1+o(1)\), where \(x_1\) is obtained by solving
Equation (2) is known as the entry–exit relation; correspondingly, the left-hand side therein is the way-in/way-out or entry–exit function, see [4, 5, 12, 20,21,22, 24, 25] for details.
In the language of geometric singular perturbation theory (GSPT) [9], Eq. (1) has a one-dimensional critical manifold
along which the stability changes from attracting to repelling. A subset of \(\mathcal {C}_0\) is called normally hyperbolic if \(\partial _zZ(x,z;0)\ne 0\). A normally hyperbolic portion of \(\mathcal {C}_0\) is attracting if \(\partial _zZ(x,z;0)<0\), and is denoted by \(\mathcal {C}_0^a\); correspondingly, it is repelling if \(\partial _zZ(x,z;0)>0\), and denoted by \(\mathcal {C}_0^r\). Therefore, for (1), we write
The origin is then a non-hyperbolic point, since it holds that \(\partial _zZ(0,0;0)=0\).
Trajectories of (1) with \(\varepsilon >0\) sufficiently small which, after crossing a neighbourhood of a non-hyperbolic point, evolve close to a repelling manifold for a considerable amount of time, are called canard trajectories [8, 15, 27]. Trajectories that experience delayed loss of stability along an invariant manifold of (1), as outlined above, are therefore canard trajectories. However, we emphasise that the above merely represents one example of a canard, and that a plethora of delicate canard phenomena can occur in other planar fast–slow systems with different singular geometries, for instance when the critical manifold features a fold [15].
In this paper, we focus on the following extension of (1):
where \(Z_1\) and \(Z_2\) are assumed to be sufficiently regular, that is, \(C^\infty \)-smooth in all of their arguments for simplicity, and where the critical manifold is given by \(\mathcal {C}_0 = \{z_1 = 0 = z_2\}\), and is invariant for \( \varepsilon >0 \). The linearisation of the fast subsystem {(3b),(3c)} along \(\mathcal {C}_0\) is two-dimensional; we write \( A(x;\varepsilon ) \) for its Jacobian matrix. In the singular limit of \( \varepsilon =0 \), we denote the eigenvalues of A(x; 0) by \( \xi ^{\pm }(x;0) \). The critical manifold \(\mathcal {C}_0\) is then normally hyperbolic where
with \(\Re \left\{ \cdot \right\} \) denoting the real part of its argument.
Specifically, we will be interested in the case where the eigenvalues \( \xi ^\pm (x;0) \) are realFootnote 1 and negative for \( x<x^* \), where \( x^*\in \mathbb {R} \), and where, moreover, \( \xi ^-(x^*;0) = \xi ^+(x^*;0) \), i.e., where the eigenvalues “collide” at \(x=x^*\). Importantly, we assume that this collision occurs at a point where the accumulated contraction and expansion have not been balanced in either eigendirection individually, in the sense of Eq. (2); these ideas will be made more precise in Sect. 2 below. Moreover, after their “collision” at a point with \(x = x^*\), at least one of the eigenvalues becomes positive as x increases. That is, for a given trajectory that enters a \( \delta \)-neighbourhood of \( \mathcal {C}_0 \) with \( x<x^* \), contraction and expansion are accumulated as x increases until the trajectory exits the \( \delta \)-neighbourhood when contraction and expansion are balanced, in analogy to (2). However, as at \(x = x^*\) the unique eigenvalue has algebraic multiplicity 2, and typically geometric multiplicity 1, the two attracting eigendirections in the fast subsystem {(3b),(3c)} are not linearly independent, with the corresponding point on \(\mathcal {C}_0\) at \(x = x^*\) an improper node for that subsystem. The resulting interaction between the subspaces of the linearisation about \(\mathcal {C}_0\) with varying x, which is illustrated in Fig. 2, makes an extension of the known entry–exit relation in (2) not straightforward. To the best of our knowledge, delayed loss of stability in this setting has not been studied before.
We will, therefore, propose novel, extended formulae for the entry–exit relation for (3), in analogy to Eq. (2) for (1), in order to calculate the exit point in the above setting. To that end, we will first express the fast subsystem {(3b),(3c)} in polar coordinates, exposing a two-dimensional fast–slow system of the form
in which x is again the slow variable and the angular coordinate \(\theta \) is the fast variable; crucially, equilibria of the \(\theta \)-equation correspond to angles of the eigendirections in the fast system {(3b),(3c)}. Then, depending on the properties of the critical manifold of this auxiliary system, i.e., on whether that manifold features a transcritical singularity [16] or whether it contains a portion which is invariant for \(\varepsilon >0\) [24], we track the eigenspaces that the trajectories “choose” to follow for varying x, which allows us to construct the entry–exit relation for each of these cases.
The paper is organised as follows. In Sect. 2, we formulate our main results for the general setting of Eq. (3) in the form of Theorem 1. In Sect. 3, we introduce a simple example, a system with one-way coupling, to demonstrate our methodology. Then, we modify that system to include an \(\varepsilon \)-dependence in the vector field, and we show that the conclusions reached differ from the \(\varepsilon \)-independent case, as predicted by Theorem 1. Finally, in the same section, we include an example with added nonlinearities in the vector field of our \(\varepsilon \)-dependent system, and we show that, in terms of delayed loss of stability, the behaviour of the latter is similar to that of our linear example. We conclude the paper in Sect. 4.
2 Extended Entry–Exit Formula
In this section, we derive our main result, Theorem 1; to that end, we first formulate a number of underlying assumptions. Crucially, we transform Eq. (3) to cylindrical coordinates, which will allow us to describe naturally the dynamics near \(x=x^*\).
2.1 Main Assumptions
We consider systems of the form
where the functions \(Z_1\) and \(Z_2\) are \(C^\infty \)-smooth in all of their arguments and the corresponding critical manifold is now given by
The linearisation of (4) about \(\mathcal {C}_0\) reads
where
with
We denote the eigenvalues of the matrix \( A(x; \varepsilon ) \) by
alternatively, we may denote them by
see Fig. 3 for an illustration. We note that the representation in (7) is potentially only \(C^0\)-smooth, i.e., continuous, at \(x=x^*\); however, it has the advantage of \(\xi ^+\) always being the “dominant” eigenvalue.
In this paper, we are concerned with the scenario where the following set of assumptions is satisfied:
Assumption 1
We consider an interval \( I\subset \mathbb {R} \), and we assume the following.
-
1.
The critical manifold \(\mathcal {C}_0\) is invariant for all \(\varepsilon >0\).
-
2.
The eigenvalues \(\xi ^{\pm }(x;0)\) in (7) are real and non-decreasing for \(x\in I\).
-
3.
There exists \( x_+ \in I\) such that \(\xi ^+(x_+;0)=0\) and/or \( x_- \in I\) such that \(\xi ^-(x_-;0)=0\); if \(x_+\) and/or \(x_-\) exist, they are unique.
-
4.
There exists a unique \( x^*\in I\) such that \(\xi ^+( x^*;0)=\xi ^-( x^*;0)\) holds.
-
5.
It holds that \( x^*<\min \left\{ x_1^{(1)}, x_1^{(2)}\right\} \), where \( x_1^{(1)}\) and \( x_1^{(2)} \) are such that
$$\begin{aligned} \int _{x_0}^{x_1^{(1)}} \mu _1(x;0)\text {d}x =0 \quad \text {and}\quad \int _{x_0}^{x_1^{(2)}} \mu _2(x;0)\text {d}x =0. \end{aligned}$$If one of the above two integral equations has no solution, we take \(x_i^{(1)}=+\infty \) (\(i=1,2\)).
-
6.
The eigenvalue \(\xi ^*:= \xi ^+(x^*;0)=\xi ^-(x^*;0)\) of the matrix \(A(x^*;0)\) has geometric multiplicity 1.
Note that the first item in Assumption 1 above implies that the critical manifold \(\mathcal {C}_0\) has no folds in the sense of [15]. From the second and third items, it follows that \(\mathcal {C}_0\) can be decomposed into attracting and repelling branches, as follows:
It is important for our analysis that the fast subsystem in (5b) undergoes no Hopf bifurcations along \(\mathcal {C}_0\); from the analysis in [14, 19], it follows that if either one of the manifolds given by \(Z_{1}(x,z_1,z_2;0)=0\) or \(Z_{2}(x,z_1,z_2;0)=0\) has a fold line, then \(\mathcal {C}_0\) has a fold point, with the fast subsystem (5b) undergoing a Hopf bifurcation close to that point. Moreover, from the third item in Assumption 1, each eigenvalue can become zero at at most one point which excludes, for instance, the case where one of the eigenvalues is constant and zero.
By the last three items in Assumption 1, at the point \(x=x^*\) where the eigenvalues \(\xi ^\pm \) intersect, the two corresponding eigenspaces “collide” into one, at a point where contraction and expansion have not been balanced along each eigendirection individually: in particular, these eigenvalues can attain either negative or positive values at their intersection; recall panels (a) and (b) of Fig. 3, respectively. We are therefore interested in how this interaction between the eigenspaces affects the overall dynamics of the system, in terms of its implications for the accumulated contraction and expansion and an entry–exit relation analogous to the one in (2). If at \(x=x^*\) the unique eigenvalue \(\xi ^*\) has geometric multiplicity 2, then the system is globally diagonalisable, and delayed loss of stability can be studied along each eigenspace separately.
Finally, our analysis here is local and focused on the phenomenon of delayed loss of stability along \(\mathcal {C}_0\); higher-order nonlinearities do not contribute, but can potentially play the role of a return mechanism that re-injects trajectories onto the attracting portion \(\mathcal {C}^a_0\) of \(\mathcal {C}_0\), forming closed trajectories that contain plateau segments; see [5, 7, 14, 17, 23] for examples of return mechanisms in three-dimensional fast–slow systems.
2.2 Polar Coordinates and “Hidden” Dynamics
The interaction and collision of eigendirections described above can be more easily studied by transforming the fast subsystem in (5b) into polar coordinates, which corresponds to the full system in (5) being written in cylindrical coordinates:
Lemma 1
In cylindrical coordinates \( (x, r, \theta ) \), with \(x=x\), \(z_1=r \cos \theta \), and \(z_2=r \sin \theta \), Eq. (5) reads
Proof
Direct calculations. \(\square \)
Note that the vector field in (9) is periodic in \(\theta \), with period \(\pi \). Hence, the \(\theta \)-variable therein can be restricted to the interval \(\bigg [-\dfrac{\pi }{2},\dfrac{\pi }{2}\bigg )\), with values outside that interval taken modulo \(\pi \). In the following, we will denote the right-hand side in (9c) by
for which, for future reference, we have
We observe that (9a) and (9c) are decoupled from (9b), and that the set \(\{r=0\}\), corresponding to the critical manifold \(\mathcal {C}_0\), is invariant. Since we are interested in delayed loss of stability along \(\mathcal {C}_0\), we will hence restrict our analysis to \(r=0\), and we will focus on the system
which is a two-dimensional fast–slow system in the standard form of GSPT. In terms of the variables \((x,\theta )\), the critical manifold for (11) reads
Lemma 2
The scalar problem (11b) \(_{\varepsilon =0}\), given by \(\theta ' = \Phi (x,\theta ;0)\), undergoes a transcritical bifurcation at \((x,\theta ) = (x^*,\theta ^*)\).
Proof
Expanding the function \(\Phi (x,\theta ;0)\) about \(\theta = \theta ^*\) gives
where the dots denote higher-order terms in \(\theta \) and, moreover,
The expression in (13) is the normal form of a transcritical bifurcation. \(\square \)
Lemma 2 implies that the critical manifold \(\mathcal {M}_0\) consists of two branches, \(\mathcal {S}_0\) and \(\mathcal {Z}_0\), which intersect and exchange stability at \((x,\theta )=(x^*,\theta ^*)\); cf. Fig. 4. Indeed, for any fixed x, the \( \theta \)-roots of \( \Phi (x,\theta ,0)=0 \) correspond to the angles of the eigenvectors of A(x; 0) with the positive x-axis. Moreover, for \(x\ne x^*\), the matrix A(x; 0) has two distinct eigenvalues, and hence two distinct eigendirections. In terms of their angles \(\theta \), the latter can be represented as graphs over x in the \((x,\theta )\)-plane, as a consequence of the implicit function theorem; by assumption, the two eigenvalues exist for every \(x\in {\mathbb {R}}\), and so do their directions, represented by the angular coordinate \(\theta \). We therefore denote by \(\theta _{i}(x)\) the angle of the eigendirection associated with \(\mu _{i}(x;0)\), where \(i=1,2\); recall (8). Correspondingly, we define the branches of \(\mathcal {M}_0 = \mathcal {S}_0\cup \mathcal {Z}_0\) by
respectively.
Regarding the stability properties of \(\mathcal {S}_0 \) and \(\mathcal {Z}_0 \), we have the following result:
Lemma 3
Fix \( x\ne x^* \). Then, for the scalar problem (11b) \(_{\varepsilon =0} \), the branch \(\mathcal {S}_0\) of the critical manifold \(\mathcal {M}_0\) is attracting (repelling) if \(x<x^*\) (\(x>x^*\)), whereas the branch \(\mathcal {Z}_0\) is repelling (attracting) if \(x<x^*\) (\(x>x^*\)).
Proof
For any \( x\ne x^* \), Eq. (6) is diagonalisable, and there exists a change of coordinates such that (5b) can be written as
In these coordinates, the eigenvector associated with \( \mu _1 \) is (1, 0) , with angle \( \omega _1 = 0 \), corresponding to \( \theta _1 \) in the original coordinates; similarly, the eigenvector associated with \( \mu _2 \) is (0, 1) , with angle \( \omega _2 = \frac{\pi }{2} \), corresponding to \( \theta _2 \).
In the notation of (5b) and (6), for (14) we have
In polar coordinates, it follows that
It is therefore apparent that \( \frac{\partial \Phi }{\partial \omega }(x,\omega _1,0)<0 \) and \(\frac{\partial \Phi }{\partial \omega }(x,\omega _2,0)>0 \) when \(x<x^*\), whereas \( \frac{\partial \Phi }{\partial \omega }(x,\omega _1,0)>0 \) and \(\frac{\partial \Phi }{\partial \omega }(x,\omega _2,0)<0 \) for \(x>x^*\), which gives the result. \(\square \)
In summary, we may therefore write \(\mathcal {S}_0 = \mathcal {S}_0^a\cup \left\{ (x^*,\theta ^*)\right\} \cup \mathcal {S}_0^r\) and \(\mathcal {Z}_0 = \mathcal {Z}_0^r\cup \left\{ (x^*,\theta ^*)\right\} \cup \mathcal {Z}_0^a\), where
Finally, for future reference, we highlight some of the properties of the function \(\Phi (x,\theta ,\varepsilon )\) which follow from the transcritical bifurcation at \((x,\theta ,\varepsilon )=(x^*,\theta ^*,0)\) in (11):
Corollary 1
Recall the definition of (11) and Lemma 2. Then, given Assumption 1, the following relations hold:
Proof
The statements follow from the fact that (11b)\(_{\varepsilon = 0}\) undergoes a transcritical bifurcation at \((x,\theta ) = (x^*,\theta ^*)\); cf. Lemma 2. \(\square \)
2.3 Main Result
We now present our main result. Throughout, we assume that a trajectory of the original system, Eq. (4), enters a \(\delta \)-neigbourhood of \(\mathcal {C}_0\), say a cylinder \(B_\delta \) of radius \(\delta \) around \(\mathcal {C}_0\), with \(\delta >0\) small, at a point with \(x=x_0\). Given that the eigenvalues of the linearisation about \(\mathcal {C}_0\) behave in accordance with Assumption 1, our aim is to find formulae that indicate how the accumulated contraction to, and expansion from, \(\mathcal {C}_0\) can be balanced in order to calculate the exit coordinate \(x_1\) at which the aforementioned trajectory exits the \(\delta \)-cylinder \(B_\delta \) about \(\mathcal {C}_0\).
Theorem 1
Assume that Assumption 1 holds for Eq. (5), and that a trajectory of (4) enters a \(\delta \)-cylinder \(B_\delta \) about \(\mathcal {C}_0\), for \(\delta >0\) sufficiently small, at some point with \(x = x_0<x^*\). Denote
as well as
-
1.
If \( \lambda \ne 1 \), or if \( \lambda =1 \) and \(\mathcal {Z}_0\) is invariant for (11) with \(\varepsilon >0\), then the given trajectory exits \(B_\delta \) at a point with \( x=x_1 +o(1)\), where \(x_1\) is obtained by solving
$$\begin{aligned} \int _{x_{0}}^{x^{*}} \mu _1(x) \text {d}x +\int _{x^{*}}^{x_{1}} \mu _2(x) \text {d}x =0. \end{aligned}$$(20) -
2.
If \( \lambda = 1 \) and \(\mathcal {S}_0\) is invariant for (11) with \(\varepsilon >0\), then the trajectory exits \(B_\delta \) at a point with \( x=x_1 + o(1)\), where \(x_1\) is obtained by solving
$$\begin{aligned} \int _{x_{0}}^{{\tilde{x}}} \mu _1(x) \text {d}x + \int _{{\tilde{x}}}^{x_1} \mu _2(x) \text {d}x =0, \end{aligned}$$(21)and where, moreover, \( {\tilde{x}} \) is found by solving
$$\begin{aligned} \int _{x_{0}}^{{\tilde{x}}} \dfrac{\partial \Phi }{\partial \theta }\left( x, \theta _1(x), 0\right) \text {d}x=0. \end{aligned}$$(22)
Proof
By Lemma 1, Eq. (4) gives a fast–slow system in polar coordinates of the form in (11). The latter has a critical manifold \( \mathcal {M}_0 = \mathcal {S}_0\cup \mathcal {Z}_0 \), given by (12), where \(\mathcal {S}_0 = \mathcal {S}_0^a\cup \left\{ (x^*,\theta ^*)\right\} \cup \mathcal {S}_0^r\) and \(\mathcal {Z}_0 = \mathcal {Z}_0^r\cup \left\{ (x^*,\theta ^*)\right\} \cup \mathcal {Z}_0^a\); recall (16). The branches \(\mathcal {S}_0\) and \(\mathcal {Z}_0\) intersect transversely and exchange stability at \( (x^*,\theta ^*) \); recall Lemma 3 and see Fig. 5 for an illustration.
-
1.
If \( \lambda \ne 1 \), then by [15], (11) can be locally written in the form of the transcritical singularity studied therein. Hence, for \( \varepsilon >0 \) sufficiently small, a trajectory of (11) that follows the attracting slow branch \( \mathcal {S}^a_\varepsilon \) will follow the attracting slow branch \( \mathcal {Z}^a_\varepsilon \) after crossing \( x=x^* \) regardless of whether \(\lambda <1\) or \(\lambda >1\), due to the equivalence relation implied by (12). If, on the other hand, \( \lambda =1 \) and \( \mathcal {Z}_0 \) is invariant for (11) with \(\varepsilon >0\) small, then trajectories will again follow the attracting branch \( \mathcal {S}^a_\varepsilon \) for \(x<x^*\) and the invariant attracting branch \( \mathcal {Z}^a_0 \) for \(x>x^*\). The above implies that, in the original system in (4) with \( \varepsilon >0 \), contraction is accumulated in the eigendirection of \( \theta _1(x) \) for \( x<x^* \), while contraction and expansion are accumulated in the eigendirection of \( \theta _2(x) \) for \( x>x^* \). The total contraction and expansion are therefore balanced in accordance with the entry–exit formula in (20).
-
2.
If \( \lambda =1 \) and \( \mathcal {S}_0 \) is invariant for (11) with \(\varepsilon >0\) small, then for \( \varepsilon >0 \) sufficiently small, a trajectory of (11) that follows the attracting branch \( \mathcal {S}^a_0 \) will experience bifurcation delay after crossing \( x=x^* \) and before “jumping” to follow an attracting slow branch \( \mathcal {Z}^a_\varepsilon \). The exit point \( {\tilde{x}} \) is calculated via (22) [24]. The above implies that, in (4) with \( \varepsilon >0 \), contraction is accumulated in the eigendirection of \( \theta _1(x) \) for \( x<{\tilde{x}} \), while contraction and expansion are accumulated in the eigendirection of \( \theta _2(x) \) for \( x>{\tilde{x}} \). The total contraction and expansion are therefore balanced in accordance with the entry–exit formula in (21).
\(\square \)
It is therefore evident that the reformulation of (5) in polar coordinates, as given by (11), is useful for identifying the eigendirection along which trajectories in a \(\delta \)-neighbourhood of \(\mathcal {C}_0\) accumulate contraction or expansion, for various values of x. We have shown that, depending on the properties of the auxiliary system in (11), we can distinguish between two cases: in the first case, trajectories of (5) switch the eigendirection they follow as soon as that eigendirection becomes repelling, as seen in Fig. 5a; in the second case, trajectories exhibit entry–exit behaviour along the eigendirection they were initially attracted to, before being attracted to the other eigendirection, as shown in Fig. 5b. This distinction indicates that the corresponding formulae for the accumulated contraction and expansion are given by (20) and (21), respectively. Finally, we remark that, in general, due to the rotation of the linear subspaces of (5b) along \(\mathcal {C}_0\), as indicated by the given expressions for \(\theta _{i}(x)\) (\(i=1,2\)), trajectories that enter the \(\delta \)-neighbourhood of \(\mathcal {C}_0\) at some point with \(z_1>0\) could potentially exit at some point with \(z_1<0\); recall Fig. 2. (A similar statement applies to the signs of \(z_2\).)
3 Examples
In this section, we present a number of examples that illustrate our main result, Theorem 1.
3.1 A One-Way Coupled System
As our first example, we consider the system
where we observe that the variables \( (x, z_1)\) are decoupled from \( z_2 \). The corresponding critical manifold for (23) is given by \(\mathcal {C}_0=\{z_1=0=z_2\}\), where the eigenvalues of the linearisation of the fast \((z_1,z_2)\)-subsystem in (23) along \( \mathcal {C}_0 \) read
At \( x^* = -1 \), it holds that
For \( x>-1 \), Eq. (23) is diagonalisable, with one eigendirection that changes stability from attracting to repelling, and an eigendirection that is always attracting. The corresponding eigenvalues in these directions are \( \mu _1(x) \) and \( \mu _2(x) \), respectively. Therefore, standard theory on delayed loss of stability can be employed by considering only the eigendirection along which the stability changes [4, 5], recall (2), and the entry–exit function is of the form
for \( x_0\in (-1,0) \). In the following, we consider the case where \( x_0<-1 \).
After transformation to polar coordinates, (23) reads
for \(r=0\); cf. (11). When \(\varepsilon =0\), the critical manifold \( \mathcal {M}_0 \) for (25) is given by (12); in particular, it consists of two branches in this case. The first branch \(\mathcal {S}_0\) is obtained from
whereas the second branch \(\mathcal {Z}_0\) is defined implicitly by
These branches intersect at \( (x,\theta )=(-1,-\frac{\pi }{2}) \); see Fig. 6 for an illustration. We note that the branch \(\mathcal {Z}_0\) can be represented as
where the extension with continuity is a consequence of our identification of the angular variable modulo \(\pi \). The explicit representation of \(\theta \) as a function of x naturally breaks down at \(x=-1\) due to the fact that (25) undergoes a transcritical bifurcation at \((x,\theta )=(-1,-\frac{\pi }{2})\).
We emphasise that the branch \(\mathcal {S}_0\) of \( \mathcal {M}_0 \) is invariant for Eq. (25) with \( \varepsilon >0 \), and we reiterate that the angle \( \theta _1(x) \) corresponds to the eigenvector (1, 0) in \((z_1,z_2)\)-coordinates, associated with the eigenvalue \(\mu _1(x)=-1\), whereas the angle \( \theta _2(x) \) corresponds to the eigenvector \((x,x+1)\), associated with the eigenvalue \(\mu _2(x)=x\).
From (10), we obtain
which implies that the branch \(\mathcal {S}_0\) is attracting for \(x<-1\) and repelling if \(x>-1\); correspondingly, \(\mathcal {Z}_0\) is repelling for \(x<-1\) and attracting when \(x>-1\), as illustrated again in Fig. 6.
For the parameters defined in Theorem 1, we calculate
which implies that
the corresponding entry–exit function is therefore given by (21), i.e., by
Here, the auxiliary coordinate \({\tilde{x}}\) is calculated via (22) as
Combining (29) and (30), we conclude
Hence, for \(\varepsilon >0\) sufficiently small, we observe a typical delayed loss of stability in (25) after \(x=-1\), with the attracting branch \( \theta = \theta _1(x) \) becoming repelling. It follows that, for \(x\in (x_0,{\tilde{x}})\), trajectories of (25) “choose” \(\theta = \theta _1(x)\), i.e., the eigenvalue \(\mu _1(x)=-1\) with corresponding eigendirection (0, 1) in (23), while for \(x>{\tilde{x}}\), trajectories “choose” \(\theta = \theta _2(x)\), i.e., the eigenvalue \(\mu _2(x)=x\) with eigendirection \((x,x+1)\). We remark that, in (23), the small parameter \(\varepsilon \) only changes the speed at which the slow variable x evolves; hence, orbits in the \((x,z_1)\)- and \((x,z_2)\)-planes are identical, up to a rescaling of the time variable, for different positive values of \(\varepsilon \). In particular, the exit point in (31) is independent of \( \varepsilon \) as long as \(\varepsilon \) is sufficiently small.
3.2 Coupled Systems with \(\varepsilon \)–Dependence
Next, we consider the system
where, in contrast to (23), the variables \( (z_1, z_2) \) are now two-way coupled for \(\varepsilon >0\). The corresponding critical manifold for (32) again reads \(\mathcal {C}_0=\{z_1=0=z_2\}\), where the eigenvalues of the linearisation of the fast \((z_1,z_2)\)-subsystem in (32) along \( \mathcal {C}_0 \) are given by (24), as before; hence, we again have \(\mu _1(x^*)=-1=\mu _2(x^*)\) at \( x^* = -1 \). In polar coordinates, (32) becomes
The critical manifold \( \mathcal {M}_0 \) of (33) is again defined as in (12) and consists of two branches given by (26) and (27), as before, which intersect at \( x=-1 \); see Fig. 7 for an illustration. We emphasise that the branches (26) and (27) of \( \mathcal {M}_0 \) are not invariant for (33) with \( \varepsilon >0 \). From (10), we again obtain (28), as before, which again implies that \(\mathcal {S}_0\) is attracting for \(x<-1\) and repelling if \(x>-1\), whereas \(\mathcal {Z}_0\) is repelling for \(x<-1\) and attracting when \(x>-1\).
For the parameters defined in Theorem 1, we calculate
which implies that
the entry–exit function is therefore given by (20), i.e., by
from which we calculate
We emphasise that, although Eqs. (23) and (32) differ in the \( \mathcal {O}(\varepsilon ) \)-terms of the \( z_1 \)-equation only, the corresponding exit points obtained via (31) and (35) are different. We further reiterate that the formula in (34) is valid for initial conditions with \( x_0<-1 \), as for \( x \in [-1,0)\), (32) is diagonalisable with one direction that is always attracting; therefore, delayed loss of stability can be studied solely in the other direction along which the stability changes from attracting to repelling. In Fig. 8, we compare our prediction for the exit point – which is given by (35) for \(x_0<-1\) and by \(x_1=-x_0\) for \(x_0 \in [-1,0)\) – with a numerical integration of (32), where \(\varepsilon =0.01\). The resulting figure highlights a very close match between the two curves. Moreover, in Fig. 9, we illustrate orbits of 32 for varying values of \(\varepsilon \), as indicated in the legend; the initial condition is set to \((x,z_1,z_2)(0)=(-2,1,1)\), meaning \(r(0)=\sqrt{2}\), throughout.
Finally, in order to demonstrate that higher-order terms in \(z_i\) (\(i=1,2\)) in the \( (z_1, z_2) \)-subsystem do not locally affect the delay phenomena studied here, we consider the system
for some \(a>0\). The corresponding critical manifold is now given by \({\mathcal {C}}_0:=\{ z_1 = 0 = z_2 \} \cup \{ z_1=a \ \text {and}\ z_2=a^2 \}\). Choosing \(a>0\) sufficiently large, we can focus on the first portion of \(\mathcal {C}_0\) and study the associated entry–exit function without considering the second, a-dependent portion. The eigenvalues of the linearisation of the \( (z_1, z_2) \)-subsystem in (36) about \(\left\{ z_1 = 0 = z_2\right\} \) for \(\varepsilon =0\) are again given by (24). Transformation to polar coordinates yields
where we consider \(r=0\) only, as above.
For the parameters in Theorem 1, we calculate \(\alpha =0\), \(\beta =-\frac{1}{2}\), \(\gamma =0\), and \(\delta =\frac{1}{2}\) which, by (19), implies \(\lambda = -1 \ne 1\); therefore, the entry–exit function is given by (20). The entry–exit formula in this example is hence again defined by (34), with the x-coordinate of the exit point explicitly given by (35). Indeed, for an entry point with \(x_0<-1\), the corresponding exit point satisfies \(x_1=\sqrt{-1-2x_0}\), as seen in Fig. 10, where we have chosen \(a=4\) and \((z_1,z_2)(0)=(0.5,0.5)\).
4 Conclusions and Outlook
In this paper, we have studied the phenomenon of delayed loss of stability along one-dimensional critical manifolds in fast–slow systems with two fast and one slow variables, where the linearisation of the corresponding fast subsystem about that manifold has two real eigenvalues. More precisely, we have focused on the scenario where two of these eigenvalues coincide for some value of the slow variable before at least one of them becomes positive; hence, the “leading” eigenvalue and the corresponding “stronger” eigendirection change along the critical manifold, which renders the use of previously known entry–exit formulae unsuitable.
Via a transformation to polar coordinates, we have uncovered the hidden structure of these systems, and we have proposed a methodology for deriving extended entry–exit formulae which cover different qualitative scenarios. We have illustrated our findings through several simple prototypical examples, and we have verified them by numerical simulation. Notably, our analysis shows that a leading-order linearisation of the vector field about the corresponding critical manifold is sufficient for constructing entry–exit formulae in a robust fashion and for estimating accurately the resulting exit points after a delayed loss of stability.
The phenomenon of “crossing” eigenvalues studied here is ubiquitous in systems with more than two fast variables. It may potentially occur also for more than one slow variable as in variants of the models studied in [3, 6, 7, 11, 13, 18]. We postulate that our construction can be extended to such systems, by careful consideration of each intersection of the eigenvalues along the corresponding critical manifold. We leave a potential classification and extension of entry–exit formulae in analogy to those derived in Theorem 1 in higher dimensions, as well as the investigation of alternatives to the polar coordinate transformation performed here, for future work.
References
Baer, S.M., Erneux, T., Rinzel, J.: The slow passage through a hopf bifurcation: delay, memory effects, and resonance. SIAM J. Appl. Math. 49(1), 55–71 (1989)
Benoît, E.: Dynamic bifurcations: proceedings of a conference held in Luminy, France, March 5–10, 1990. Springer (2006)
Boudjellaba, H., Sari, T.: Dynamic transcritical bifurcations in a class of slow-fast predator-prey models. J. Differ. Equ. 246(6), 2205–2225 (2009)
De Maesschalck, P.: Smoothness of transition maps in singular perturbation problems with one fast variable. J. Differ. Equ. 244(6), 1448–1466 (2008)
De Maesschalck, P., Schecter, S.: The entry-exit function and geometric singular perturbation theory. J. Differ. Equ. 260(8), 6697–6715 (2016)
Deng, B., Hines, G.: Food chain chaos due to transcritical point. Chaos Interdiscip. J. Nonlinear Sci. 13(2), 578–585 (2003)
Desroches, M., Guckenheimer, J., Krauskopf, B., Kuehn, C., Osinga, H.M., Wechselberger, M.: Mixed-mode oscillations with multiple time scales. SIAM Rev. 54(2), 211–288 (2012)
Dumortier, F., Roussarie, R., Roussarie, R.H.: Canard Cycles and Center Manifolds, vol. 577. American Mathematical Soc. (1996)
Fenichel, N.: Geometric singular perturbation theory for ordinary differential equations. J. Differ. Equ. 31(1), 53–98 (1979)
Hayes, M.G., Kaper, T.J., Szmolyan, P., Wechselberger, M.: Geometric desingularization of degenerate singularities in the presence of fast rotation: a new proof of known results for slow passage through Hopf bifurcations. Indag. Math. 27(5), 1184–1203 (2016)
Jardón-Kojakhmetov, H., Kuehn, C.: On fast-slow consensus networks with a dynamic weight. J. Nonlinear Sci. 30(6), 2737–2786 (2020)
Jardón-Kojakhmetov, H., Kuehn, C., Pugliese, A., Sensi, M.: A geometric analysis of the SIR, SIRS and SIRWS epidemiological models. Nonlinear Anal. Real World Appl. 58, 103220 (2021)
Jardón-Kojakhmetov, H., Kuehn, C., Pugliese, A., Sensi, M.: A geometric analysis of the SIRS epidemiological model on a homogeneous network. J. Math. Biol. 83(4), 1–38 (2021)
Kaklamanos, P., Popović, N., Kristiansen, K.U.: Bifurcations of mixed-mode oscillations in three-timescale systems: an extended prototypical example. Chaos Interdiscip. J. Nonlinear Sci. 32(1), 013108 (2022)
Krupa, M., Szmolyan, P.: Extending geometric singular perturbation theory to nonhyperbolic points–fold and canard points in two dimensions. SIAM J. Math. Anal. 33(2), 286–314 (2001)
Krupa, M., Szmolyan, P.: Extending slow manifolds near transcritical and pitchfork singularities. Nonlinearity 14(6), 1473 (2001)
Kuehn, C.: On decomposing mixed-mode oscillations and their return maps. Chaos Interdiscip. J. Nonlinear Sci. 21(3), 033107 (2011)
Kuehn, C., Szmolyan, P.: Multiscale geometry of the Olsen model and non-classical relaxation oscillations. J. Nonlinear Sci. 25(3), 583–629 (2015)
Letson, B., Rubin, J.E., Vo, T.: Analysis of interacting local oscillation mechanisms in three-timescale systems. SIAM J. Appl. Math. 77(3), 1020–1046 (2017)
Liu, W.: Exchange lemmas for singular perturbation problems with certain turning points. J. Differ. Equ. 167(1), 134–180 (2000)
Neishtadt, A.I.: Persistence of stability loss for dynamical bifurcations I. Differ. Equ. 23, 1385–1391 (1987)
Neishtadt, A.I.: Persistence of stability loss for dynamical bifurcations II. Differ. Equ. 24, 171–176 (1988)
Sadhu, S.: Complex oscillatory patterns near singular Hopf bifurcation in a two-timescale ecosystem. Discrete Contin. Dyn. Syst. B 26(10), 5251 (2021)
Schecter, S.: Persistent unstable equilibria and closed orbits of a singularly perturbed equation. J. Differ. Equ. 60(1), 131–141 (1985)
Schecter, S.: Exchange lemmas 2: general exchange lemma. J. Differ. Equ. 245(2), 411–441 (2008)
Su, J.Z.: Delayed oscillation phenomena in the FitzHugh Nagumo equation. J. Differ. Equ. 105(1), 180–215 (1993)
Szmolyan, P., Wechselberger, M.: Canards in R3. J. Differ. Equ. 177(2), 419–453 (2001)
Acknowledgements
The authors would like to thank Stephen Schecter for insightful discussions and relevant recommendations.
Funding
Open access funding provided by Politecnico di Torino within the CRUI-CARE Agreement. C. Kuehn thanks the VolkswagenStiftung for support via a Lichtenberg Professorship, and the DFG for support via a Sachbeihilfe Grant. Grant. M. Sensi was supported by the Italian Ministry for University and Research (MUR) through the PRIN 2020 project “Integrated Mathematical Approaches to Socio-Epidemiological Dynamics” (No. 2020JLWP23).
Author information
Authors and Affiliations
Contributions
PK and MS wrote the main manuscript and prepared the figures. NP and CK edited and proofread the manuscript multiple times. All authors reviewed the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The Authors have no competing interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kaklamanos, P., Kuehn, C., Popović, N. et al. Entry–Exit Functions in Fast–Slow Systems with Intersecting Eigenvalues. J Dyn Diff Equat (2023). https://doi.org/10.1007/s10884-023-10266-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10884-023-10266-2
Keywords
- Ordinary differential equations
- Fast–slow systems
- Entry–exit function
- Delayed loss of stability
- Transcritical bifurcation
- Geometric singular perturbation theory