Abstract
We consider piecewisesmooth dynamical systems, i.e., systems of ordinary differential equations switching between different sets of equations on distinct domains, separated by hypersurfaces. As is wellknown, when the solution approaches a discontinuity manifold, a classical solution may cease to exist. For this reason, starting with the pioneering work of Filippov, a concept of weak solution (also known as sliding mode) has been introduced and studied. Nowadays, the solution of piecewisesmooth dynamical systems in and close to discontinuity manifolds is well understood, if the manifold consists locally of a single discontinuity hypersurface or of the intersection of two discontinuity hypersurfaces. The present work presents partial results on the solution in and close to discontinuity manifolds of codimension 3 and higher.
1 Introduction
In this article, we consider piecewisesmooth dynamical systems, i.e., systems of ODEs which are characterized by a vector field that has jump discontinuities along certain hypersurfaces of the Euclidean space. As general references, we address the reader to [2, 13, 15] and—from a more computational perspective—to [1]. There are several examples of this kind of systems in the scientific literature. E.g., many biological systems are represented in terms of switching functions (see, e.g., [20, Section 6]), which describe the effect of a certain variable on another, based on the fact that a certain threshold is reached and activates the coupling. Switching functions are frequently described by sigmoid (continuous) functions, but in many cases it is convenient to consider them as step functions (i.e., discontinuous ones). Gene regulatory networks (see, e.g., [16, 19]), which are sets of genes (or parts of genes) that interact with each other to control a specific cell function, are also typically modeled by step functions that describe the switching interaction of this class of complex biological networks. Moreover, a strong interest in sliding mode control (see, e.g., [18]) has been shown in recent years, where the finitetime reaching of a certain discontinuity (sliding) manifold is the goal of a control system. Finally, when considering models based on statedependent differentialalgebraic delay equations, the manifolds are induced by the breaking points which characterize the solution [7]. The presence of discontinuities in all these models may give rise to termination or bifurcation phenomena. The lack of smoothness when the solution reaches one of the discontinuity hypersurfaces leads to difficulties in dealing with its analysis, because the classical theory does not apply.
To circumvent this problem, the concept of weak solution (sliding mode) has been introduced [6, 23]. Two methods have been proposed to analyze this situation: the regularization framework based on singular perturbation techniques (see, e.g., [22]) and the Filippovlike theory of differential inclusions. The theory developed by Filippov covers successfully the codimension1 case, which is determined when a classical solution meets a single discontinuity hypersurface. In such a case, it provides a concept of weak solution (a codimension1 motion called sliding mode) in those cases where a classical solution ceases to exist. However, Filippov theory is not able to treat the higher codimension case, where the analysis is increasingly more difficult when the solution approaches the intersection of 2 or more discontinuity hypersurfaces, which—even less common—can likely happen in the dynamical systems described above.
In some recent articles, the case has been considered, where a solution approaches the intersection of a pair of such discontinuity hypersurfaces, with the possible occurrence of codimension2 sliding modes. Due to the lack of uniqueness in classical Filippov theory, the analysis of the dynamics is nontrivial. It is based either on the analysis of regularizations of the piecewisesmooth dynamical system by a suitable singular perturbation or on the application of some specific selection principles. In [4] and [3], several possibilities have been proposed, based on some suitable criteria decided a priori, on how to select a Filippov sliding vector field on a codimension2 discontinuity surface. Differently, a complete taxonomy has been obtained in [8], based on the analysis of a natural regularization which replaces step functions by continuous functions. A common feature of regularization techniques (e.g., [8, 12, 14]) is that of obtaining two timescales for the dynamics, the faster of which describes the socalled hidden dynamics of the system and in many cases allows—passing to the limit with respect to the regularization parameter—to select a proper sliding mode. Based on the analysis of [8], a complete algorithm for the integration of piecewisesmooth dynamical systems with sliding modes of codimension at most 2 has been proposed in [10]. This algorithm is, up to our knowledge, the only one available to compute codimension1 and 2 sliding modes in the numerical integration of a piecewisesmooth dynamical system. This is preferrable to the direct integration of the regularized system, because the stiffness of the singularly perturbed problem and the possible presence of high oscillations make the numerical integration very challenging.
This article is devoted to the case of higher dimensional intersections and related higher codimension sliding modes. Unfortunately, the analysis of the hidden dynamics is much more complicated and a complete classification is not possible. Nevertheless, we are able to prove some interesting results and to analyze to some detail special cases which are important in applications. E.g., situations where the vector fields have specific geometric properties (like the socalled nodal attractivity [3]) and where the systems are characterized by certain properties (like cooperativity [11]).
Organization of the article. In Section 2, we introduce the main concepts (sliding modes, regularization, and hidden dynamics). The main part of the paper is devoted to the study of the hidden dynamics in codimension 3 and higher. The maximal number of stationary points (which corresponds to sliding modes of maximal codimension) is studied in Section 3 and an example with six stationary points in codimension 3 is presented. This is obtained by applying Bezout’s theory. Section 4 discusses the case of centrally symmetric vector fields and Section 5 the case of nodally attractive vector fields. An interesting class of examples shows that a vector field that is centrally symmetric and nodally attractive can have more than one stationary point. The study of the limit behaviour for \(\tau \to \infty \) of the solution of the hidden dynamics is very challenging for d ≥ 3, because geometric arguments (e.g., Poincaré–Bendixson theorem) are not available or difficult to apply. A positive convergence result for nodally attractive vector fields with a hidden dynamics that is strictly cooperative is given in the final Section 6.
2 Main concepts
We closely follow the notation of [10].

Piecewisesmooth dynamical systems.
We consider discontinuity hypersurfaces
where \(\alpha : {\mathbb R}^{n} \to {\mathbb R}^{d}\) (with d < n) is sufficiently differentiable and the hypersurfaces intersect transversally. They divide the phase space into 2^{d} open regions
where k = (k_{1},…,k_{d}) is a multiindex with k_{j} ∈{− 1,1}. The piecewisesmooth dynamical system is then given by
The smooth functions F^{k}(y) are assumed to be defined in a neighbourhood of the closure of \( {\mathcal R}^{{\mathbf k}}\). In the discontinuity set \(\bigcup _{j=1}^{d}{\Sigma }_{j} \), the righthand side of (3) is thus multivalued with values from the neighbouring domains.

Sliding modes.
We extend the concept of solution to the discontinuity set in the spirit of Filippov [5]. For an index vector k = (k_{1},…,k_{d}) with k_{j} ∈{− 1,0,1}, we consider
which is a discontinuity set, if at least one component k_{j} vanishes. It reduces to (2) if all components are nonzero. For k = (k_{1},…,k_{d}), we define \({\mathcal I}^{{\mathbf k}} = \{ j  k_{j} = 0 \}\), and we let
which collects the index vectors ℓ such that \({\mathcal R}^{\boldsymbol \ell }\) touches \({\mathcal R}^{{\mathbf k}}\). With this notation, we consider the differentialalgebraic equation (DAE)
with algebraic variables \(\lambda _{j}, j\in {\mathcal I}^{{\mathbf k}}\). For λ_{j} ∈ [− 1,1] the vector field in (5) is a convex combination of the vector fields F^{ℓ}(y) (with \({\boldsymbol \ell } \in {\mathcal N}^{{\mathbf k}}\)). The solution of (5) is therefore a Filippov solution of (3).

Regularization.
On the εneighbourhood
of the discontinuity set (4), we consider the differential equation
where the transition function π(u) is continuous, piecewisesmooth, and satisfies π(u) = − 1 for u ≤− 1 and π(u) = 1 for u ≥ 1. For ease of presentation, we assume in the following that π(u) = u for u≤ 1. This ordinary differential equation is on the set \( {\mathcal R}_{\varepsilon }^{} \) a regularization of the discontinuous problem (3).

Hidden dynamics
After entering an intersection of discontinuity hypersurfaces (say at \(y^{*}\in {\mathcal R}^{{\mathbf k}}\)), there are typically more than one Filippov solutions, and it is of interest to study which solution can be interpreted as the limit ε → 0 of the regularized differential equation. In the region \({\mathcal R}_{\varepsilon }^{{\mathbf k}}\), it follows from (7) that u_{i} = α_{i}(y)/ε satisfies
which is a singularly perturbed problem. For its study, we introduce the fast time τ = t/ε, we denote the derivative with respect to τ by a prime, and we substitute the constant vector y^{∗} for y. This yields
which is a regular dynamical system for \(u_{i}, i\in {\mathcal I}^{{\mathbf k}}\). It is called hidden dynamics (a term coined in [12]). We note that this definition and all results of the present work are of local nature, because they depend on the fixed vector y^{∗}.
The initial value for (9) is determined by the incoming solution at \(y^{*}\in {\mathcal R}^{{\mathbf k}}\). Let k^{−} be an index vector corresponding to a manifold of codimension one less, i.e., there is \(i^{*} \in {\mathcal I}^{{\mathbf k}} \), such that \(k_{j}^{} = k_{j}\) for j ∈{1,…,d}∖{i^{∗}}, and \(k_{i^{*}}^{}\in \{ 1,1\}\). Assuming that the solution lies in \( {\mathcal R}^{{\mathbf k}^{}}\) before entering \( {\mathcal R}^{{\mathbf k}}\) at y^{∗}, then the initial value for (9) is given by \(u_{i^{*}} (0) =k_{i^{*}}\), and the remaining u_{i}(0) are such that the righthand side of (9) vanishes for i≠i^{∗}.
The hidden dynamics gives us much insight into the kind of solution leaving y^{∗} (cf. [8, Section 5.2]). We have:  sliding in \( {\mathcal R}^{{\mathbf k}}\), if the solution of (9) converges, for \(\tau \to \infty \), to a stationary point with all components inside (− 1,1);  sliding in \( {\mathcal R}^{{\mathbf k}^{+}}\), where \(k_{i}^{+} = k_{i}\) for all i ∈{1,…,d} with the exception of those \(i \in {\mathcal I}^{{\mathbf k}}\) for which u_{i}(τ) either tends to \(\infty \) (then \(k_{i}^{+}= 1\)) or to \(+\infty \) (then \(k_{i}^{+} = 1\)). For the remaining \(i\in {\mathcal I}^{{\mathbf k}}\) the solution u_{i}(τ) has a limit in (− 1,1);  classical solution in \( {\mathcal R}^{{\mathbf k}^{+}}\), where \(k_{i}^{+} = k_{i}\) for \(i\not \in {\mathcal I}^{{\mathbf k}}\) and, for \(i\in {\mathcal I}^{{\mathbf k}}\), we have \(k_{i}^{+}=1\) or + 1, if u_{i}(τ) tends to \(\infty \) or \(+\infty \), respectively.
If all expressions \( \alpha _{i}^{\prime }(y)F^{{\boldsymbol \ell }} (y)\) are constant in a neighbourhood of y^{∗}, then the differential equations (9) are exact, and the above statements are obvious. The general case is less trivial, but we expect that the system (9) credibly describes the transient behaviour of the solution of the regularized differential equation. A rigorous treatment of the limit behaviour ε → 0 of the regularized solution is challenging, and even for the codimension 2 case it is still an open problem (see [9]).

Special case: codimension 3
Most of the present article deals with sliding modes of codimension 3. With the transition function π(u) = u for u ∈ [− 1,1] and for d = 3 the differential equations of the hidden dynamics (9) becomes (for i = 1,2,3 and u_{i} ∈ [− 1,1])
We use the notation \(f_{i}^{{\mathbf k}} = \alpha _{i}^{\prime } (y^{*}) F^{{\mathbf k}} (y^{*})\), and for the index vector k = (k_{1},k_{2},k_{3}) we only write the sign of k_{j}. The hidden dynamics is completely described by the eight 3dimensional vectors
Sometimes, it is convenient to write (10) as
with the multilinear polynomial
The coefficients of this polynomial representation are given by
In the following, we also consider the surfaces
on which the flow (12) is orthogonal to the u_{i}axis. The set of stationary points is \({\mathcal S} = {\Gamma }_{1} \cap {\Gamma }_{2} \cap {\Gamma }_{3}\).
3 Maximal number of sliding modes
In codimension 2 (intersection of two discontinuity hypersurfaces), there are at most two stationary points in the hidden dynamics—one unstable and the other stable. Here, we are interested in the maximal number of stationary points (i.e., sliding modes) in codimension three and higher. Without loss of generality we consider the transition function π(u) = u for u≤ 1. We also assume that the index set in (9) is \({\mathcal I}^{{\mathbf k}} = \{ 1, {\ldots } , d \}\).
Theorem 1
Without any assumptions on the vector fields, the hidden dynamics (9) in codimension d can have at most d! isolated stationary points in \({\mathbb R}^{d}\).
Proof
This bound is a consequence of Bézout’s Theorem (see [17], where a proof based on basic results in algebraic geometry [21] is indicated). Introducing additional variables u_{10},…,u_{d0}, substituting in the polynomial system (9) the variables π(u_{j}) = u_{j} by u_{j}/u_{j0}, and multiplying each equation by the product u_{10} ⋅… ⋅ u_{d0} yields homogeneous polynomials of degree 1 in the variables (u_{j},u_{j0}). Bézout’s Theorem as formulated in [17] states that there are at most d! isolated solutions of the polynomial system.
For convenience of the reader, we give an elementary proof in codimension d = 3 which is also useful for the construction of the stationary points. We consider the product u_{1}u_{2} as an independent variable, and we write the condition for a stationary point of (13) as
Solving this linear system by Cramer’s rule shows that
where p(u_{3}),q(u_{3}),r(u_{3}),d(u_{3}) are polynomials of degree 3. The necessary condition u_{1} ⋅ u_{2} = u_{1}u_{2} then yields the polynomial equation
of degree 6, which has at most 6 solutions. The stationary points of (13) are then (u_{1},u_{2},u_{3}), where u_{3} is a root of (16) and u_{1},u_{2} are given by (15). □
The following example shows that there exist problems having 6 stationary points in the unit cube.
Example 1
We let \({\Sigma }_{j} = \{ y \in {\mathbb R}^{3}  y_{j} =0 \}\) (for i = 1,2,3), so that f^{k} = F^{k}(y^{∗}). With y^{∗} at the origin, we assume that the eight vector fields (in the ordering of (11)) are given by
The corresponding hidden dynamics (12) has 6 stationary points, which are given by (rounded to 3 digits)
By checking the eigenvalues of the Jacobian matrix of (12), we find that only the last stationary point in this list is asymptotically stable (one real and a complex pair of eigenvalues in the left complex halfplane), all others are unstable.
For an illustration of the dynamics of (12), we consider the surfaces Γ_{i} of (14), and we note that the set of stationary points is \({\mathcal S} = {\Gamma }_{1} \cap {\Gamma }_{2} \cap {\Gamma }_{3}\). Figure 1 shows for 20 different values of u_{3} cross sections of the surfaces Γ_{1} (red), Γ_{2} (blue), Γ_{3} (black) with horizontal planes (constant u_{3}). They appear as hyperbolas with horizontal and vertical asymptotes. The projection of the stationary points to these planes is plotted as small circles. If a stationary point lies on such a horizontal plane, it is highlighted by a larger circle. Therefore, we have included the values u_{3} from (17) in the figure. The sign pattern of the vector field at the corners of the square in the (u_{1},u_{2})space with fixed u_{3} is included. Note that for some value of u_{3} close to − 0.7 (between the 3rd and 4th pictures if Fig. 1), the hyperbola corresponding to Γ_{3} (black curve) degenerates to the union of the two lines (its two asymptotes).
We are curious to see the behaviour of the solution of the regularized differential equation, when it enters the intersection of all three discontinuity surfaces. We use ε = 10^{− 3}, but due to the relative scaling any other value would give the same pictures in Fig. 2. With the initial value y(0) = (1,1,1)^{⊤}, the solution approaches Σ_{2} at (0.1875,0,0.5) for t = 0.625. It remains \({\mathcal O} (\varepsilon )\)close to it (which, in the limit ε → 0, is a codimension 1 sliding on Σ_{2}) until t ≈ 0.733. Then, the solution approaches Σ_{1} ∩Σ_{2} and remains \({\mathcal O} (\varepsilon )\)close to it (i.e., a codimension 2 sliding in the limit) until it approaches the intersection Σ_{1} ∩Σ_{2} ∩Σ_{3} slightly after t = 3, as can be seen in the left picture of Fig. 2. From there on, the solution stays \({\mathcal O} (\varepsilon )\)close to Σ_{1} ∩Σ_{2} ∩Σ_{3} (i.e., a codimension 3 sliding in the limit ε → 0).
The right pictures show the dynamics of the regularized problem close to the codimension 3 sliding. The scaled solution u_{i} = y_{i}/ε does not approach the stable stationary point (as could be expected), but it remains close to a periodic solution around the 4th stationary point of (17), which is unstable (one negative real eigenvalue and a complex pair of eigenvalues with positive real part).
4 Centrally symmetric vector fields
Sharper bounds on the maximal number of sliding modes (stationary points of the hidden dynamics) can be obtained, when the class of vector fields is restricted. A vector field is called centrally symmetric at \(y^{*} \in {\mathcal R}^{{\mathbf k}}\), if
(as in (10) we use the notation \(f_{i}^{\boldsymbol \ell } = \alpha _{i}^{\prime } (y^{*}) F^{\boldsymbol \ell } (y^{*})\)). This means that close to \(y^{*}\in {\mathcal R}^{{\mathbf k}}\) opposite vectors among \(\{ f^{\boldsymbol \ell }  {\boldsymbol \ell } \in {\mathcal N}^{{\mathbf k}} \}\) differ only in its sign. For the equations of the hidden dynamics, this implies that a substitution \({\boldsymbol \ell } \leftrightarrow {\boldsymbol \ell }\) is equivalent to substituting \(u_{j} \leftrightarrow u_{j}\) and multiplying the righthand side by − 1, so that only products with an odd number of factors can appear in a polynomial representation.
In codimension 3, the hidden dynamics thus becomes (12) with
with vectors a = (a_{1},a_{2},a_{3})^{⊤} and c_{j} = (c_{1j},c_{2j},c_{3j})^{⊤} given by the formulas after (13). For the statement of the following results, we consider the expression
Theorem 2
Let D be the expression of (20).

If D < 0, the origin is the only (real) stationary point of (19).

If D > 0, we have three stationary points, one is at the origin, and the other two are
$$ u_{3}=\pm \sqrt{D}, ~~ u_{1}= u_{3} \frac{\det (a,c_{2},c_{3})}{\det (a,c_{1},c_{2})}, ~~ u_{2}=  u_{3} \frac{\det (a,c_{1},c_{3})}{\det (a,c_{1},c_{2})} . $$(21)The nonzero stationary points can be in or outside the unit cube.
Proof
For a stationary point (u_{1},u_{2},u_{3}), the hidden dynamics (12) with (19) yields (see the proof of Theorem 1)
An application of Cramer’s rule gives the second and third relations of (21) and a formula for u_{1}u_{2}, which leads to \({u_{3}^{2}} = D\). □
For the study of stability of the dynamical system (12), we consider its Jacobian matrix
Theorem 3
Let \((u_{1}^{*},u_{2}^{*},u_{3}^{*})\in {\mathbb C}^{3}\) be a stationary point that is different from the origin. We then have
Proof
The determinant of the rankone perturbation (23) is given by the matrix determinant lemma as
where adj(J^{0}) is the adjugate matrix of J^{0} = J(0,0,0). At the nonzero stationary points, we have from (22)
The formula for the adjugate matrix of J^{0} yields
which proves the statement of the theorem.
□
As a consequence, there cannot exist three asymptotically stable stationary points in \({\mathbb R}^{3}\).
5 Nodally attractive vector fields
A vector field is called nodally attractive at \(y^{*} \in {\mathcal R}^{{\mathbf k}}\), if
This means that all neighbouring vector fields point towards y^{∗} (recall that \(f_{i}^{\boldsymbol \ell } = \alpha _{i}^{\prime }(y^{*}) F^{\boldsymbol \ell } (y^{*})\)). It is natural to consider such vector fields, because every solution of (3) entering such a y^{∗} has to continue as a sliding in \({\mathcal R}^{{\mathbf k}}\).
Theorem 4
Consider (10) for the hidden dynamics in codimension 3. If the vector field is nodally attractive, the hidden dynamics generically has 1, 3, or 5 stationary points, of which 1, 2, or 3 are asymptotically stable, respectively.
Proof
We consider the intersection Γ_{1} ∩Γ_{2}. Nodal attractivity implies that horizontal cross sections of Γ_{1} are parts of a hyperbola connecting the front and back faces of the cube, and those of Γ_{2} connect the left and right faces of the cube. Consequently, for every fixed u_{3} ∈ [− 1,1] there is a unique (u_{1},u_{2},u_{3}) ∈Γ_{1} ∩Γ_{2}.
Along the curve Γ_{1} ∩Γ_{2}, the vector field points vertically upwards or downwards according to g_{3}(u_{1},u_{2},u_{3}) > 0 or g_{3}(u_{1},u_{2},u_{3}) < 0, respectively. It changes the direction when crossing the surface Γ_{3}, which happens at stationary points.^{Footnote 1} By nodal attractivity, we have g_{3}(u_{1},u_{2},u_{3}) > 0 at the bottom face u_{3} = − 1, so that the lowest intersection with Γ_{3} is an asymptotically stable stationary point. Continuing along the curve Γ_{1} ∩Γ_{2}, the stability at stationary points alternates between asymptotically stable and unstable. Since (again by nodal attractivity) the last intersection with Γ_{3} in the cube is asymptotically stable, we must have an odd number of stationary points in the cube. □
Corollary 1
Assume nodal attractivity and central symmetry.

If the origin is the only stationary point in the cube, then it is asymptotically stable.

If there are 3 stationary points in the cube, then the origin is unstable, and the other two stationary points are asymptotically stable.
Proof
This is an immediate consequence of Theorems 2 and 4. □
Intuitively, it is not obvious that nodally attractive vector fields can have more than one stationary point. The constructive examples of Section 5.1 show that there exist nodally attractive vector fields having 3 stationary points. We are not aware of the existence of nodally attractive vector fields with 5 stationary points in the unit cube.
5.1 Construction of nodally attractive vector fields with 3 equilibria
The first example of a nodally attractive vector field with 3 equilibria has been communicated in 2010 by Douglas Ulmer to L. Dieci and N. Guglielmi. Here, we present a systematic way of constructing such examples. We investigate the possibility of achieving nodal attractivity among the centrally symmetric vector fields with three equilibria. We let
so that the expression D of (20) becomes D = α_{3}β/α_{1}α_{2}. Assuming D > 0 we have 3 equilibria by Theorem 2, which are
in addition to the origin. If β is small compared to the α_{j}, the equilibria are inside the unit cube. This is achieved by choosing (c_{1},c_{2},c_{3}) close to a singular matrix. We arbitrarily put
so that \(\det (c_{1},c_{2},c_{3}) = 0\) for δ = 0. Moreover, we put a_{j} = a for all j, where a is another parameter. For this choice of coefficients, we have
This yields D = −δ/a, so that the problem has 3 equilibria if a and δ have opposite sign. They are inside the unit cube if δ < a. Inspecting the values of g(u_{1},u_{2},u_{3}) (with components given by (13)) at the corners of the unit cube, one can see that the corresponding vector field is nodally attractive iff − 2 + δ < a < −δ.
In summary, we see that the problem is centrally symmetric and nodally attractive with three equilibria in the unit cube iff
E. g., for δ = 1/2 and a = − 1, we have equilibria at \(u_{1}=u_{2}=u_{3} = \pm 1 /\sqrt 2\), in addition to the one at the origin.
6 Limit behaviour of the solution of the hidden dynamics
The behaviour of the solution u(τ) of the hidden dynamics for \(\tau \to \infty \), corresponding to initial values \(u(0) \in \partial {\mathcal C}\) from the incoming solution, gives much insight into the discontinuous system (3). It is of high interest to study this limit. The system of Example 1 illustrates that in general it is very challenging or even impossible to predict the limit behaviour. We restrict the following analysis to simple (but important) situations in codimension 3.
When a codimension 2 sliding solution along Σ_{i} ∩Σ_{j} enters the intersection Σ_{i} ∩Σ_{j} ∩Σ_{k}, the initial value for the hidden dynamics (12) lies on the intersection of Γ_{i} ∩Γ_{j} with one of the faces u_{k} = ± 1, depending on the side from where the solution enters. We denote by \({\mathcal E}\) the set of all such initial values. In the case of a nodally attractive vector field, each face of the cube has exactly one element in \({\mathcal E}\).
6.1 Nodal attractivity with cooperative hidden dynamics
We consider nodally attractive vector fields and, in addition, we assume that the system (12) of the hidden dynamics is strictly cooperative on the cube \({\mathcal C}\), i.e.,
The dynamics of cooperative systems has been thoroughly studied by Hirsch [11]. It is shown that limit sets are invariant sets of systems in one dimension lower.
Theorem 5
Assume that the dynamical system (12) is strictly cooperative and corresponds to a nodally attractive vector field.
Then, the solution corresponding to an initial value \(u^{0}\in {\mathcal E}\) converges to the stationary point of (12) that is closest to the face on which the initial value lies.
The proof of this theorem is postponed to Section 6.3, because it is closely related to the monotonicity of solutions that we shall study next.
Remark 1
The example of Section 5.1 is nodally attractive, if the parameters satisfy (25). It is strictly cooperative on the whole cube \({\mathcal C}\), if a < 1. Hence, for 0 < δ < 1 and − 1 < a < −δ, the solution of (12) corresponding to an initial value \(u^{0} \in {\mathcal E}\) converges to the stationary point that is closest to the face on which the initial value lies.
6.2 Monotone convergence
We let \((u_{10},u_{20},u_{30})\in {\mathcal E}\) be an initial value of the hidden dynamics (12). Without loss of generality, we assume that
We define the signs σ_{1},σ_{2},σ_{3} ∈{+ 1,− 1} in such a way that
so that the solution of (12) with initial value (u_{10},u_{20},u_{30}) enters the cube \({\mathcal C}\) in the set
We further denote by \({\mathcal D}_{0}\) the connected component of \({\mathcal D}\) for which (u_{10},u_{20},u_{30}) lies on the closure of \({\mathcal D}_{0}\). Recall that \({\mathcal S}\) denotes the set of stationary points in \({\mathcal C}\).
Theorem 6
Assume that \(\partial {\mathcal D}_{0}\) has an empty intersection with the faces u_{1} = σ_{1}, u_{2} = σ_{2}, u_{3} = σ_{3} of the cube and that (for i = 1,2,3)
Then, the solution of (12) with initial value (27) stays in \({\mathcal D}_{0}\) and converges to a unique stationary point in the closure of \({\mathcal D}_{0} \).
Proof
By definition of σ_{1},σ_{2},σ_{3} the solution \(\Bigl (u_{1}(\tau ), u_{2}(\tau ), u_{3}(\tau )\Bigr )\) enters the set \({\mathcal D}_{0}\). As long as it stays there, each component is a monotonic function (increasing for σ_{i} = + 1 and decreasing for σ_{i} = − 1).
The border of \({\mathcal D}_{0}\) is composed of parts of the faces u_{1} = −σ_{1}, u_{2} = −σ_{2}, u_{3} = −σ_{3} of the cube \({\mathcal C}\), and of subsets of the surfaces Γ_{1},Γ_{2},Γ_{3}. We show that, with the exception of stationary points, the vector field (12) points on \(\partial {\mathcal D}_{0}\) into the interior of \({\mathcal D}_{0}\). At the faces of the cube this follows from the definition of \({\mathcal D}\). At a point \((u_{1},u_{2},u_{3}) \in (\partial {\mathcal D}_{0} \setminus {\mathcal S} ) \cap {\Gamma }_{i}\), this is a consequence of the fact that the inner product of σ_{i}g(u_{1},u_{2},u_{3}) with the gradient of g_{i} is positive. Therefore, the solution cannot leave \({\mathcal D}_{0}\).
Moreover, the assumption that \(\partial {\mathcal D}_{0}\) has an empty intersection with the faces u_{1} = σ_{1}, u_{2} = σ_{2}, u_{3} = σ_{3} implies that the solution cannot leave the cube \({\mathcal C}\). Due to the monotonicity of its components, we have convergence for \(\tau \to \infty \) to a stationary point of (12) that lies on the border of \({\mathcal D}_{0}\).
We still have to prove that there is only one stationary point on \(\partial {\mathcal D}_{0}\). Let u^{∗} be such a stationary point. We denote by \(B_{u^{*}} \) the subset of \({\mathcal D}_{0}\), which consists of those points that are mapped to u^{∗} by the flow of (12), i.e., φ_{τ}(u) → u^{∗} for \(\tau \to \infty \). We shall show that \(B_{u^{*}} \) is an open set. Take \(u\in B_{u^{*}} \) and let T > 0 be the time such that φ_{T}(u) is sufficiently close to u^{∗}. By asymptotic stability of u^{∗} there is a neighbourhood \(U\subset {\mathcal D}_{0}\) of φ_{T}(u) such that φ_{τ}(w) → u^{∗} for \(\tau \to \infty \) for all w ∈ U. The set \(\varphi _{T}^{1} (U) \cap {\mathcal D}_{0}\) is a neigbourhood of u that is entirely in \(B_{u^{*}}\). Consequently, \(B_{u^{*}}\) is an open set.
If there were more than one stationary points in \({\mathcal D}_{0}\), the set \({\mathcal D}_{0}\) could be written as the distinct union of open sets \(B_{u^{*}}\), which is in contradiction with the connectedness of \({\mathcal D}_{0}\). □
6.3 Proof of Theorem 5
We shall apply Theorem 6. Strict cooperativity of the system (12) implies the assumption on the gradient of g_{i}, and nodal attractivity implies an empty intersection of \(\partial {\mathcal D}_{0}\) with the faces u_{1} = σ_{1}, u_{2} = σ_{2}, u_{3} = σ_{3} of the cube \({\mathcal C}\) (see a few lines below). An application of Theorem 6 thus yields convergence of the solution of (12) to the unique stationary point in \({\mathcal D}_{0}\). This stationary point is the one that is closest to the face, where the initial value lies.
It follows from the proof of Theorem 4 that Γ_{i} ∩Γ_{j} is a curve that connects the faces u_{k} = − 1 and u_{k} = 1 (k is the index different from i and j) of the cube. By definition of \({\mathcal D}_{0}\) the segment of the curve between the initial value \(u^{0}\in {\mathcal E}\) and the first stationary point is entirely in \(\partial {\mathcal D}_{0}\). This completes the proof of Theorem 5.
7 Further remarks
The regularization (7) depends on the transition function π(u), and so does the differential equation (9) for the hidden dynamics which, in codimension 3 becomes
instead of (12). The results of the present article are restricted to the multilinear regularization (7), which implies that the vector field of the hidden dynamics is also multilinear.
Assuming that π(u) is strictly monotone on [− 1,1], so that \(u \leftrightarrow \pi (u)\) is a bijection on [− 1,1], Theorems 1, 2, 4, and Corollary1 remain true. One only has to replace u_{i} by π(u_{i}) in the proofs and in the formulas of (21) in Theorem 2. If π(u) is, in addition, continuously differentiable on [− 1,1], also Theorems 5 and 6 remain true.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
Note that “generically” the curve Γ_{1} ∩Γ_{2} crosses transversally the surface Γ_{3}.
References
Acary, V., Brogliato, B.: Numerical methods for nonsmooth dynamical systems: applications in mechanics and electronics. Lecture Notes in Applied and Computational Mechanics, vol. 35 SpringerVerlag (2008)
di Bernardo, M., Budd, C.J., Champneys, A.R., Kowalczyk, P.: Piecewisesmooth dynamical systems, vol. 163 of Applied Mathematical Sciences. SpringerVerlag London Ltd., London. Theory and applications (2008)
Dieci, L., Difonzo, F.: A comparison of Filippov sliding vector fields in codimension 2. J. Comput. Appl Math. 262, 161–179 (2014)
Dieci, L., Difonzo, F.: Minimum variation solutions for sliding vector fields on the intersection of two surfaces in \(\mathbb {R},^{3}\). J. Comput. Appl Math. 292, 732–745 (2016)
Filippov, A.F.: Differential equations with discontinuous righthand side. Mat. Sb. (N.S.) 51(93), 99–128 (1960). Amer. Math. Soc. Transl. Ser. 2, Vol. 42, pp. 199–231
Filippov, A.F.: Differential equations with discontinuous righthand sides, vol. 18 of Mathematics and its Applications (Soviet Series). Kluwer Academic Publishers Group, Dordrecht. Translated from the Russian (1988)
Guglielmi, N., Hairer, E.: Asymptotic expansions for regularized statedependent neutral delay equations. SIAM J. Math Anal. 44(4), 2428–2458 (2012)
Guglielmi, N., Hairer, E.: Classification of hidden dynamics in discontinuous dynamical systems. SIAM J. Appl. Dyn Syst. 14(3), 1454–1477 (2015)
Guglielmi, N., Hairer, E.: Solutions leaving a codimension2 sliding. Nonlinear Dyn. 88(2), 1427–1439 (2017)
Guglielmi, N., Hairer, E.: An efficient algorithm for solving piecewisesmooth dynamical systems. Numer Algorithms 89(3), 1311–1334 (2022)
Hirsch, M.W., Systems of differential equations: that are competitive or cooperative. V. Convergence in 3dimensional systems. J. Differential Equations 80(1), 94–106 (1989)
Jeffrey, MR: Hidden dynamics in models of discontinuity and switching. Phys. D 274–274, 34–45 (2014)
Jeffrey, M.R.: Hidden dynamics. Springer, Cham. The mathematics of switches, decisions and other discontinuous behaviour (2018)
Llibre, J., da Silva, P.R., Teixeira, M.A.: Study of singularities in nonsmooth dynamical systems via singular perturbation. SIAM J. Appl. Dyn Syst. 8(1), 508–526 (2009)
Llibre, J., da Silva, P.R., Teixeira, M.A.: Sliding vector fields for nonsmooth dynamical systems having intersecting switching manifolds. Nonlinearity 28(2), 493–507 (2015)
Machina, A., Ponosov, A.: Filippov solutions in the analysis of piecewise linear models describing gene regulatory networks. Nonlinear Anal. 74 (3), 882–900 (2011)
Morgan, A., Sommese, A.: A homotopy for solving general polynomial systems that respects mhomogeneous structures. Appl. Math Comput. 24(2), 101–113 (1987)
Pisano, A., Usai, E.: Sliding mode control: a survey with applications in math. Math. Comput. Simulation 81(5), 954–979 (2011)
Plahte, E., Kjøglum, S.: Analysis and generic properties of gene regulatory networks with graded response functions. Phys. D 201(12), 150–176 (2005)
Plahte, E., Mestl, T., Omholt, S.W.: A methodological basis for description and analysis of systems with complex switchlike interactions. J. Math. Biol. 36(4), 321–348 (1998)
Shafarevich, I.R.: Basic algebraic geometry. Springer Study Edition. SpringerVerlag, BerlinNew York, 1977. Translated from the Russian by K. A. Hirsch, Revised printing of Grundlehren der mathematischen Wissenschaften, vol. 213 (1974)
Sotomayor, J., Teixeira, M.A.: Regularization of discontinuous vector fields. In: International conference on differential equations (Lisboa, 1995), pp. 207–223. World Sci. Publ., River Edge, NJ (1998)
Utkin, V.I.: Sliding modes in control and optimization. Communications and Control Engineering Series. SpringerVerlag, Berlin, 1992. Translated and revised from the 1981 Russian original (1981)
Acknowledgements
We thank the anonymous reviewer for his/her careful reading of the manuscript and for the helpful comments.
Funding
Open access funding provided by University of Geneva. Nicola Guglielmi acknowledges that his research was supported by funds from the Italian MUR (Ministero dell’Università e della Ricerca) within the PRIN17 Project “Discontinuous dynamical systems: theory, numerics and applications”. Ernst Hairer acknowledges the support from the Fonds National Suisse, Project No. 200020159856.
Author information
Authors and Affiliations
Contributions
This is a joint work of both authors.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
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
Guglielmi, N., Hairer, E. Sliding modes of high codimension in piecewisesmooth dynamical systems. Numer Algor (2023). https://doi.org/10.1007/s11075023014999
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11075023014999
Keywords
 Piecewisesmooth systems
 Filippov solution
 Sliding modes in high codimension
 Regularization
 Hidden dynamics
Mathematics Subject Classification (2010)
 34A36
 34A60
 34C40