Piecewise Smooth Dynamical Systems Theory: The Case of the Missing Boundary Equilibrium Bifurcations
 853 Downloads
 5 Citations
Abstract
We present two codimensionone bifurcations that occur when an equilibrium collides with a discontinuity in a piecewise smooth dynamical system. These simple cases appear to have escaped recent classifications. We present them here to highlight some of the powerful results from Filippov’s book Differential Equations with Discontinuous Righthand Sides (Kluwer, 1988). Filippov classified the socalled boundary equilibrium collisions without providing their unfolding. We show the complete unfolding here, for the first time, in the particularly interesting case of a node changing its stability as it collides with a discontinuity. We provide a prototypical model that can be used to generate all codimensionone boundary equilibrium collisions, and summarize the elements of Filippov’s work that are important in achieving a full classification.
Keywords
Dynamical systems Piecewise smooth Bifurcation Boundary equilibrium collisionMathematics Subject Classification
34A36 34C23 37G10 37E351 Introduction
What happens under typical conditions when an equilibrium of one of the smooth vector fields \(f^i\) collides with \(\Sigma \), as the parameter \(\alpha \) is varied? This is an elementary problem of piecewise smooth dynamical systems theory, termed a boundary equilibrium collision. In this paper we show that the problem has been incompletely addressed, even in planar systems, revealing the care needed in handling fundamental issues in piecewise smooth dynamics.
A classification of boundary equilibrium collisions in the system described by (2), (5) and (6) was given by Filippov (1988). They occur as oneparameter bifurcations; some of their unfoldings were described in Kuznetsov et al. (2003), Carvalho and Tonon (2014) [and extended to two parameters in Guardia et al. (2011)], but not all cases already found in Filippov (1988) were included. Our aim in this paper to highlight not only the overlooked results of Filippov (1988), but also the methods used to achieve them.
Although very widely cited in piecewise smooth systems theory, we have long suspected that Filippov’s book (1988) was not being fully read or appreciated, so recently we set out to read the book from cover to cover. We quickly found that some of the deepest results of the book have been overlooked, whilst others have been rediscovered, and not always as powerfully as Filippov had already achieved. There are good reasons for such omissions. The book is a challenging read, with an outdated structure, occasional repetition of ideas, and an ambiguous system of referencing. The material most relevant to modern dynamical systems appears late in the book, and hinges on a labyrinth of preceding theorems permeated with misprints or misleading translations.
In spite of this, it remains the most insightful and comprehensive work in the field, often more complete than some later works. We present an important example in this paper: two cases of oneparameter boundary equilibrium collisions in system (2) that are absent from recent classifications (Kuznetsov et al. 2003; Guardia et al. 2011; Carvalho and Tonon 2014; Bernardo et al. 2008).
We present Filippov’s methods in a modern context in Sect. 2 as far as they pertain to boundary equilibria. The simplicity and power of the ideas lie in identifying certain functions vital for a complete classification, and studying their singularities.
Although Filippov classified boundary equilibria, he did not unfold all of their bifurcations, and did not provide explicit ‘normal form’ equations for doing so. In Sect. 3 we present a suitable prototype system that produces all oneparameter boundary equilibrium collisions identified in Filippov (1988) (subsuming and correcting multiple expressions given elsewhere, in a single form). Table 1 presents the full classification and how they relate to classes given in Filippov (1988) and Kuznetsov et al. (2003). When we unfold these collisions, we obtain the bifurcations described in Kuznetsov et al. (2003), as well as two further cases, one that was fully unfolded in Filippov (1988), and another case that is presented here for the first time, in Sect. 3.3. Some closing remarks are made in Sect. 4.
2 Filippov’s Methodology
There are many different aspects to Filippov’s work (1988), and we describe the main elements for classifying boundary equilibria below. To help the reader access his work we give references in the format [§s.t p.u] referring to section s, subsection t, page u of the book. We keep to Filippov’s notation whenever possible.

the intersection of the sets \(P^+=0\) and \(Q^+=0\), or of \(P^=0\) and \(Q^=0\), is an equilibrium, its type determined by the signs of \(\sigma \), \(\Delta \), \(\sigma ^24\Delta \), where \(\sigma \) and \(\Delta \) are the trace and determinant of \({\partial (P^+,Q^+)}/{\partial (x,y)}\) (or \({\partial (P^,Q^)}/{\partial (x,y)}\) respectively) at the equilibrium;

the intersection of the set \(h=0\) and \(Q^+=0\) is a tangency (fold), curving away (visible) or toward (invisible) the switching surface as determined by whether \({\partial Q^+}/{\partial x}\) is positive or negative respectively (and conversely for an intersection of \(h=0\) and \(Q^=0\));

the intersection of the set \(h=0\) and \(f=0\) is a pseudoequilibrium, of node or saddle type determined by whether \(\mathrm {d}{f}/\mathrm {d}{x}\) is negative or positive, respectively (assuming the sliding region is attractive).
The second factor of the topological approach is separatrices, which are trajectories that form connections between singular points, whose definition is extended in [§17.1 p.190] to include all pointwise singularities of piecewise smooth systems. As for smooth systems, separatrices form boundaries in phase space between regions of trajectories with qualitatively different behavior. (The role of separatrices is also emphasized in the work of Teixeira (e.g., Guardia et al. 2011) and in global sliding bifurcations (Bernardo et al. 2008.)
In the rest of this section below, we describe in more detail how these principles are used to classify boundary equilibria.
2.1 Classifying Boundary Equilibria
Filippov begins the investigation of ‘singular points on a line of discontinuity’ in [§19 p.217]. He shows that there are six different types of singular points where \(Q^+(x,0),\) \(Q^(x,0)\) and \(P^0(x)\) can vanish, and his “type 4” singularities [§19.2 p.243] are our sole concern here. These describe collision with \(\Sigma \) of an equilibrium in \(y>0\), when the flow is simple in \(y<0\) (meaning the \((P^,Q^)\) system has no equilibria or tangencies with \(\Sigma \)).
In the generic case when \(Q^+_x(0,0) \ne 0\), the quantity \(Q^(x,0)Q^+(x,0)\) changes sign as x passes through \(x=0\). Hence there can only be sliding on one side of the singularity, either \(x<0\), \(y=0\), or \(x>0\), \(y=0\).
It follows immediately from \(Q^+(0,0)=0\), (5) and (6) that \(f(0)=0\), hence \((x,y)=(0,0)\) is also a pseudoequilibrium, since \(Q^(0,0)\ne 0\). The derivative \({f}^{\prime }(0)\) describes the variation of the sliding vector field across the singularity. If \({f}^{\prime }(0)<0\), then the sliding vector field and the vector field in \(y<0\) point either both toward or both away from (0, 0). If \({f}^{\prime }(0)>0\), then one of these fields points toward (0, 0) and the other away. The case \({f}^{\prime }(0)=0\) is degenerate, and not considered here.
Boundary equilibrium bifurcations
Bifurcation  \(\Delta \)  \(\sigma ^24\Delta \)  \({f}^{\prime }(0)\)  \(\sigma Q^(0,0)\)  Separatrix condition  Figure in Filippov (1988)  Label in Kuznetsov et al. (2003) 

\(\hbox {s}+\hbox {pn} \leftrightarrow \emptyset \)  −  \(+\)  −  Does not hit \(\Sigma \)  89  \(\textit{BS}_1\)  
\(\hbox {s}+\hbox {pn} \leftrightarrow \emptyset \)  −  \(+\)  −  Hits \(\Sigma \)  89  \(\textit{BS}_2\)  
\(\hbox {s} \leftrightarrow \hbox {ps}\)  −  \(+\)  \(+\)  90  \(\textit{BS}_3\)  
\(\hbox {n} \leftrightarrow \hbox {pn}\)  \(+\)  \(+\)  −  −  91  \(\textit{BN}_1\)  
\(\hbox {n} \leftrightarrow \hbox {pn}\)  \(+\)  \(+\)  −  \(+\)  92  –  
\(\hbox {n}+\hbox {ps} \leftrightarrow \emptyset \)  \(+\)  \(+\)  \(+\)  −  93  –  
\(\hbox {n}+\hbox {ps} \leftrightarrow \emptyset \)  \(+\)  \(+\)  \(+\)  \(+\)  94  \(\textit{BN}_2\)  
\(\hbox {f} \leftrightarrow \hbox {pn}\)  \(+\)  −  −  \(+\)  95  \(\textit{BF}_3\)  
\(\hbox {f} \leftrightarrow \hbox {pn}\)  \(+\)  −  −  −  95  \(\textit{BF}_4\)  
\(\hbox {f}+\hbox {ps} \leftrightarrow \emptyset \)  \(+\)  −  \(+\)  −  96  \(\textit{BF}_5\)  
\(\hbox {f}+\hbox {ps} \leftrightarrow \emptyset \)  \(+\)  −  \(+\)  \(+\)  Hits \(\Sigma \)  96  \(\textit{BF}_1\) 
\(\hbox {f}+\hbox {ps} \leftrightarrow \emptyset \)  \(+\)  −  \(+\)  \(+\)  Does not hit \(\Sigma \)  96  \(\textit{BF}_2\) 
When we consider the bifurcations formed by these singularities as \(\alpha \) passes through zero, we obtain further subclasses either due to the sign of \(\sigma Q^(0,0)\), or because a different arrangement of separatrices produces topologically different phase portraits when the singularity is perturbed. These give rise to the twelve different subclasses in Table 1.
To prove the completeness of the classification in Table 1 requires topological methods from Filippov’s book which we summarize in the next section, culminating in Theorem 2, which fully classifies boundary equilibrium bifurcations. Once these topological methods have been used to assure that all possible bifurcations have been accounted for, it is then simple to construct a prototype system that attains all different classes for different parameter values. We provide such an expression in Sect. 3.
2.2 Equivalence and Structural Stability
Most ideas about smooth dynamical systems need updating when dealing with a piecewise smooth system. For example, the notion of a trajectory needs extension, to account for finite time effects (see [§12.2 p.124]). Piecewise smooth systems exhibit nonuniqueness since many different trajectories can arrive at \(\Sigma \) and slide. To deal with this problem, Filippov [§16.3 p.184] modified the definition of topological equivalence. Two piecewise smooth systems are said to be (piecewise) topologically equivalent provided: (a) each trajectory arc (or stationary point) of the first system maps into a trajectory arc (or stationary point) of the second system, and (b) the inverse mapping maps each trajectory arc (or stationary point) of the second system into a trajectory arc (or stationary point) of the first system. The mapping may change the direction of motion along some trajectory segments and not others, as discussed with examples in [§16.3 p.184].
A point \((x,y) \in G_i\) is ordinary if a neighborhood of (x, y) contains no stationary points and is (piecewise) topologically equivalent to a neighborhood consisting of segments of parallel straight lines. The remaining points are singular points. These are sets of stationary points (x, y) where \(P^i(x,y)=Q^i(x,y)=0\) (an equilibrium), \(P^0(x)=0\) (a pseudoequilibrium), or tangencies on \(\Sigma \) (or its edges). If a set of singular points forms a line (segment), it is termed a linear singularity.
Piecewise smooth separatrices are defined in [§17.1 p.190]. The classical definition of a separatrix is any orbitally unstable halftrajectory (semipath) tending to an equilibrium. In piecewise smooth systems it is not only equilibrium states which can have separatrices, but also all pointwise singularities, including points of nonuniqueness, and these can be orbitally stable. For the purpose of our proof we only need to consider separatrices to pseudoequilibria in addition to the smooth separatrix definition.
We also need the notions of polytrajectory and double separatrix. A polytrajectory is a line consisting of arcs of trajectories, which does not pass through singular points and consists of no arcs of linear singularities. A trajectory, or polytrajectory, both end arcs of which are separatrices, is called a double separatrix.
A piecewise smooth system is structurally stable if it preserves its topological structure under any sufficiently small admissible perturbation. Filippov [§18.1 p.206] introduces systems of class \(C^p_*\), which are piecewise smooth systems (1) in which: \((P^i,Q^i)\) is \(C^p\) (p times differentiable) in \(\overline{G}_i\), \(\Sigma \) is \(C^{p+1}\) (\(p+1\) times differentiable), and \(\Sigma \) is the same for all systems in the class. Then we have the following theorem [§18.4 p.217]:
Theorem 1
For a planar piecewise smooth system (1) of class \({\mathcal {C}}^1_*\) to be structurally stable in a closed bounded domain D, it is necessary and sufficient that it has no double separatrices, only a finite number (possibly zero) of structurally stable point singularities, and only a finite number (possibly zero) of structurally stable closed polytrajectories.
This theorem (a generalization of the Andronov–Pontryagin theorem) was proved first by Kozlova (1984)^{1}.
Filippov then shows that oneparameter perturbations of the eight singularities form structurally stable systems, i.e., the singularities have codimension one. It is quite easy to show [§19.6 p.244–5 (Lemma 12)] that the equilibrium of \((P^+,Q^+)\) persists under perturbation, and that, provided \({\partial Q^+}/{\partial x}_{(0,0)}\ne 0\) and that considering \((P^+,Q^+)\) over the whole plane (not only in \(y>0\)), the equilibrium is structurally stable and its separatrices (stable/unstable manifolds) are locally transverse to the switching manifold, and remain so under perturbation.
Now we can prove the completeness of the classification in Table 1.
Theorem 2
The eight Filippov “type 4” boundary equilibria have a total of 12 unfoldings, as listed in Table 1.
Proof
When the equilibrium at (0, 0) is a node, we have \(\Delta >0\) and \(\sigma ^24\Delta >0\). According to Sect. 2.1, there are four topologically different cases at \(\alpha =0\) generated by the different signs of \({f}^{\prime }(0)\) and \(\sigma Q^(0,0)\) (describing respectively whether the sliding flow points toward or away from (0, 0), and whether the flow in \(y<0\) points toward or away from (0, 0)). Only two of these unfoldings were given in Kuznetsov et al. (2003), corresponding to cases \(BN_{1,2}\); we show the other two in Fig. 2 in Sect. 3.3.
For a saddle with \(\Delta <0\) (implying \(\sigma ^24\Delta >0\)), by Sect. 2.1 we have two cases to consider depending on the sign of \({f}^{\prime }(0)\). When \({f}^{\prime }(0)<0\), the saddle disappears in the bifurcation, and a pseudosaddle appears in its place. When \({f}^{\prime }(0)>0\) the saddle coexists with a pseudonode for \(\alpha >0\), and a double separatrix can form connecting the saddle and the pseudonode. Hence this case is further subdivided, depending on whether the separatrix of the pseudonode hits the crossing region or not. The two subcases are described in condition 4 of Theorem 5 in [§19.6 p.246–249]. This gives three unfoldings corresponding to cases \(BS_{1,2,3}\) from Kuznetsov et al. (2003).
For the focus we have \(\Delta >0\) and \(\sigma ^24\Delta <0\), and by Sect. 2.1 there are four cases to consider depending on the signs of \(\sigma Q^(0,0)\) and \({f}^{\prime }(0)\). When \({f}^{\prime }(0)>0\) the focus and a pseudonode exist for opposite signs of \(\alpha \), for \(\sigma Q^(0,0)<0\) these have the same attractivity, for \(\sigma Q^(0,0)>0\) these have opposite attractivity and the bifurcation involves the (dis)appearance of a limit cycle. These are cases \(BF_{3,4}\) in Kuznetsov et al. (2003). When \({f}^{\prime }(0)<0\) the focus and a pseudosaddle coexist for the same sign of \(\alpha \); for \(\sigma Q^(0,0)<0\) the trajectory through the visible fold misses the sliding region, and for \(\sigma Q^(0,0)>0\) the trajectory through the visible fold can connect to the pseudosaddle forming a double separatrix. This gives rise to two subcases when the separatrix of the pseudosaddle either hits the crossing region or spirals up to the focus. The two latter subcases are described in condition 5 of Theorem 5 in [§19.6 p.246–249], and the degenerate boundary focus condition in Kuznetsov et al. (2003). This generates the three cases \(BF_{5,1,2}\) from Kuznetsov et al. (2003). \(\square \)
3 A Prototype for Boundary Equilibrium Collisions
Rather than describe the unfoldings of the various bifurcations at length, in this section we provide a prototype system of equations that is sufficient to obtain all eight of the boundary equilibria in Fig. 1, and to obtain all 12 of their unfoldings as in Table 1. We will unfold two cases missed from recent classifications; the others can be found in Kuznetsov et al. (2003).
3.1 Dynamics for \(y>0\)
In the case of a focus (‘\(BF_{1,2}\)’), the separatrix that connects the tangency of the upper vector field with the switching surface to another point on the switching surface plays a similarly crucial role. The position of this connection is derived in Filippov (1988) and Kuznetsov et al. (2003).
3.2 Dynamics on \(y=0\)
3.3 Unfoldings of the Node
The analysis above is sufficient to unfold all codimensionone boundary equilibrium bifurcations in (10). The unfoldings take place as \(\alpha \) changes sign, and the 12 different cases occur in different welldefined open regions of (a, b, c) parameter space. The parameter values that give different arrangements of separatrices are found by seeking the values that give a double separatrix (a pseudosaddle that grazes \(\Sigma \) in case ‘\(BF_{1,2}\)’, a pseudonode that connects to a saddle in case ‘\(BS_{1,2}\)’); this is a lengthy exercise covered in Filippov (1988) and Kuznetsov et al. (2003), and we will not consider these cases in detail.
Varying the different quantities gives the complete boundary collision classification shown in Table 1.
The bifurcations that take place as \(\alpha \) changes sign are also illustrated in Fig. 2. An example of the unfolding shown in Fig. 2a is given by \(c=7\pi /5\), so \(\cos c=(1\sqrt{5})/4\), and an example of the unfolding shown in Fig. 2b is given by \(c=2\pi /5\), so \(\cos c=(1+\sqrt{5})/4\); in both cases \(\tan c=\sqrt{5+2\sqrt{5}}\).
The lower vector field points away from \(\Sigma \) at an angle \(c\pi /2=9\pi /10\) to the positive xaxis. The upper vector field has an attracting node at \((x,y)=(0,\alpha )\), which therefore only exists in (15) if \(\alpha >0\), where the Jacobian \(\left( {\begin{array}{cc}1&{}1/2\\ 1/2&{}1\end{array}}\right) \) has eigenvalues \(\lambda =1\pm \frac{1}{2}\) with eigenvectors \((\mp 1,1)\). At the point \((x,y)=(2\alpha ,0)\) the vector field has tangential contact with \(y=0\), the flow curving away from \(y=0\) (visible tangency) if \(\alpha >0\) and curving toward \(y=0\) (invisible tangency) if \(\alpha <0\).
The sliding vector field has a repelling pseudonode at \((x,y)=(x_{\text {p}},0)\) where \(x_{\text {p}}=\alpha (12\sqrt{5+2\sqrt{5}})\big /(2\sqrt{5+2\sqrt{5}})\). The sliding region exists only for \(x<2\alpha \), with \((\dot{x},\dot{y})=(3\alpha /2,0)\) at the boundary \(x=2\alpha \), i.e., at the tangency.
By putting these elements together, one can sketch the phase portraits in the neighborhood of the bifurcation at \(\alpha =0\), as shown in Fig. 2a. We have reversed time in the figure for ease of comparison with (b), in which the stability of the node at \((0,\alpha )\) for \(\alpha >0\) is reversed. The analysis for \(c=2\pi /5\) proceeds similarly and leads to the phase portraits shown in Fig. 2b.
4 Concluding Remarks
The bifurcations in Fig. 2 have not appeared in any recent study to our knowledge, despite existing under generic assumptions as a single parameter is varied, requiring no special conditions and constituting a nontrivial class of systems. We have deliberately avoided calling (10) a topological normal form, because the usage of normal forms in Kuznetsov et al. (2003), Guardia et al. (2011), Carvalho and Tonon (2014) has not assured the completeness of classifications, and topological methods remain at present more reliable. The singular cases (\(\alpha =0\)) depicted in Fig. 2 were given in Filippov (1988) via topological classification, yet were missing from studies of normal forms in Kuznetsov et al. (2003), Bernardo et al. (2008). Although mention was made in Guardia et al. (2011) of an omission from Kuznetsov et al. (2003), the missing cases were neither specified nor shown to provide anything distinct from the known cases.

the type of equilibrium of \((P^+(0,0),Q^+(0,0))\) (saddle, focus, attracting node, repelling node),

the sign of \(f^{\prime }(0)\).
Filippov also classifies in [§19.2 p.218] the other singular scenarios that arise due to multiple pseudoequilibria \(f=0\) coinciding, tangencies of one or both vector fields to the switching surface \(Q^\pm (x,0)=0\), and coincidence of an equilibrium of one vector field with a tangency or equilibrium of the other vector field at the switching surface. Furthermore, contrary to most recent treatments which proceed from generic scenarios to bifurcations of codimension one, codimension two, etc., Filippov discusses singular situations of arbitrary (including infinite) codimension. For \(n\geqslant 3\), Filippov makes a brief mention in [§23.4 p.285], but otherwise very little is known about these “type 4” singular points, or their bifurcations in higher dimensions. There is mileage yet in closer reading of Filippov (1988) as the local theory of piecewise smooth dynamical systems continues to develop.
Data Access Statement No new data were created during this study.
Footnotes
 1.
Filippov’s (1988) translator gives this paper, number 186 in the references, the title Structural Stability of Discontinuous Systems, and translates the original reference also. The cited article Kozlova (1984) appears in the English translation of the journal Vestnik Moskovskogo Universiteta, with a different title and pagination.
Notes
Acknowledgments
SJH and MRJ acknowledge funding from the UK Engineering and Physical Sciences Research Council (EP/I013717/1 and EP/J001317/2).
References
 de Carvalho, T., Tonon, D.J.: Normal forms for codimension one planar piecewise smooth vector fields. Int. J. Bifur. Chaos 24(7), 1450090 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 di Bernardo, M., Budd, C.J., Champneys, A.R., Kowalczyk, P.: PiecewiseSmooth Dynamical Systems: Theory and Applications. SpringerVerlag, London (2008)zbMATHGoogle Scholar
 Filippov, A.F.: Differential Equations with Discontinuous Righthand Sides. Kluwer Academic Publisher, Dordrecht (1988)CrossRefGoogle Scholar
 Guardia, M., Seara, T.M., Teixeira, M.A.: Generic bifurcations of low codimension of planar Filippov systems. J. Differ. Equ. 250(4), 1967–2023 (2011)Google Scholar
 Kozlova, V.S.: Roughness of a discontinuous system. Mosc. Univ. Math. Bull. 39(5), 22–28 (1984)zbMATHGoogle Scholar
 Kuznetsov, Yu A., Rinaldi, S., Gragnani, A.: Oneparameter bifurcations in planar Filippov systems. Int. J. Bifur. Chaos 13, 2157–2188 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.