Bifurcations of piecewise smooth flows:perspectives, methodologies and open problems

In this paper, the theory of bifurcations in piecewise smooth flows is critically surveyed. The focus is on results that hold in arbitrarily (but finitely) many dimensions, highlighting significant areas where a detailed understanding is presently lacking. The clearest results to date concern equilibria undergoing bifurcations at switching boundaries, and limit cycles undergoing grazing and sliding bifurcations. After discussing fundamental concepts, such as topological equivalence of two piecewise smooth systems, discontinuity-induced bifurcations are defined for equilibria and limit cycles. Conditions for equilibria to exist in n-dimensions are given, followed by the conditions under which they generically undergo codimension-one bifurcations. The extent of knowledge of their unfoldings is also summarized. Codimension-one bifurcations of limit cycles and boundary-intersection crossing are described together with techniques for their classification. Codimension-two bifurcations are discussed with suggestions for further study

Discontinuity induced bifurcations of non-hyperbolic cycles in nonsmooth systems

We analyse three codimension-two bifurcations occurring in nonsmooth systems, when a non-hyperbolic cycle (fold, flip, and Neimark-Sacker cases, both in continuous- and discrete-time) interacts with one of the discontinuity boundaries characterising the system's dynamics. Rather than aiming at a complete unfolding of the three cases, which would require specific assumptions on both the class of nonsmooth system and the geometry of the involved boundary, we concentrate on the geometric features that are common to all scenarios. We show that, at a generic intersection between the smooth and discontinuity induced bifurcation curves, a third curve generically emanates tangentially to the former. This is the discontinuity induced bifurcation curve of the secondary invariant set (the other cycle, the double-period cycle, or the torus, respectively) involved in the smooth bifurcation. The result can be explained intuitively, but its validity is proven here rigorously under very general conditions. Three examples from different fields of science and engineering are also reported

Structural stability of the two-fold singularity

At a two-fold singularity, the velocity vector of a flow switches discontinuously across a codimension one switching manifold, between two directions that both lie tangent to the manifold. Particularly intricate dynamics arises when the local flow curves toward the switching manifold from both sides, a case referred to as the Teixeira singularity. The flow locally performs two different actions: it winds around the singularity by crossing repeatedly through, and passes through the singularity by sliding along, the switching manifold. The case when the number of rotations around the singularity is infinite has been analyzed in detail. Here we study the case when the flow makes a finite, but previously unknown, number of rotations around the singularity between incidents of sliding. We show that the solution is remarkably simple: the maximum and minimum numbers of rotations made anywhere in the flow differ only by one and increase incrementally with a single parameter -the angular jump in the flow direction across the switching manifold at the singularity

Canards and curvature: nonsmooth approximation by pinching

In multiple time-scale (singularly perturbed) dynamical systems, canards are counterintuitive solutions that evolve along both attracting and repelling invariant manifolds. In two dimensions, canards result in periodic oscillations whose amplitude and period grow in a highly nonlinear way: they are slowly varying with respect to a control parameter, except for an exponentially small range of values where they grow extremely rapidly. This sudden growth, called a canard explosion, has been encountered in many applications ranging from chemistry to neuronal dynamics, aerospace engineering and ecology. Canards were initially studied using nonstandard analysis, and later the same results were proved by standard techniques such as matched asymptotics, invariant manifold theory and parameter blow-up. More recently, canard-like behaviour has been linked to surfaces of discontinuity in piecewise-smooth dynamical systems. This paper provides a new perspective on the canard phenomenon by showing that the nonstandard analysis of canard explosions can be recast into the framework of piecewise-smooth dynamical systems. An exponential coordinate scaling is applied to a singularly perturbed system of ordinary differential equations. The scaling acts as a lens that resolves dynamics across all time-scales. The changes of local curvature that are responsible for canard explosions are then analyzed. Regions where different time-scales dominate are separated by hypersurfaces, and these are pinched together to obtain a piecewise-smooth system, in which curvature changes manifest as discontinuity-induced bifurcations. The method is used to classify canards in arbitrary dimensions, and to derive the parameter values over which canards form either small cycles (canards without head) or large cycles (canards with head)

On the use of blow up to study regularizations of singularities of piecewise smooth dynamical systems in R3\mathbb{R}^3

In this paper we use the blow up method of Dumortier and Roussarie \cite{dumortier_1991,dumortier_1993,dumortier_1996}, in the formulation due to Krupa and Szmolyan \cite{krupa_extending_2001}, to study the regularization of singularities of piecewise smooth dynamical systems \cite{filippov1988differential} in $\mathbb R^3$. Using the regularization method of Sotomayor and Teixeira \cite{Sotomayor96}, first we demonstrate the power of our approach by considering the case of a fold line. We quickly recover a main result of Bonet and Seara \cite{reves_regularization_2014} in a simple manner. Then, for the two-fold singularity, we show that the regularized system only fully retains the features of the singular canards in the piecewise smooth system in the cases when the sliding region does not include a full sector of singular canards. In particular, we show that every locally unique primary singular canard persists the regularizing perturbation. For the case of a sector of primary singular canards, we show that the regularized system contains a canard, provided a certain non-resonance condition holds. Finally, we provide numerical evidence for the existence of secondary canards near resonance.Comment: To appear in SIAM Journal of Applied Dynamical System