Showing 1–50 of 61 results for author: Simpson, D J

A piecewise-linear fixed point theorem

Authors: David J. W. Simpson

Abstract: We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important consequences to the bifurcation theory of nonsmooth dynamical systems, yet the proof requires only elementary linear algebra. We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important consequences to the bifurcation theory of nonsmooth dynamical systems, yet the proof requires only elementary linear algebra. △ Less

Submitted 15 December, 2024; originally announced December 2024.

MSC Class: 37C25; 39A28

Three forms of dimension reduction for border-collision bifurcations

Authors: David J. W. Simpson

Abstract: For dynamical systems that switch between different modes of operation, parameter variation can cause periodic solutions to lose or acquire new switching events. When this causes the eigenvalues (stability multipliers) associated with the solution to change discontinuously, we show that if one eigenvalue remains continuous then all local invariant sets of the leading-order approximation to the sys… ▽ More For dynamical systems that switch between different modes of operation, parameter variation can cause periodic solutions to lose or acquire new switching events. When this causes the eigenvalues (stability multipliers) associated with the solution to change discontinuously, we show that if one eigenvalue remains continuous then all local invariant sets of the leading-order approximation to the system occur on a lower dimensional manifold. This allows us to analyse the dynamics with fewer variables, which is particularly helpful when the dynamics is chaotic. We compare this to two other codimension-two scenarios for which dimension reduction can be achieved. △ Less

Submitted 15 December, 2024; originally announced December 2024.

MSC Class: 39A28; 34C45; 37G35

Robust chaos in $\mathbb{R}^n$

Authors: Indranil Ghosh, David J. W. Simpson

Abstract: We treat $n$-dimensional piecewise-linear continuous maps with two pieces, each of which has exactly one unstable direction, and identify an explicit set of sufficient conditions for the existence of a chaotic attractor. The conditions correspond to an open set within the space of all such maps, allow all $n \ge 2$, and allow all possible values for the unstable eigenvalues in the limit that all s… ▽ More We treat $n$-dimensional piecewise-linear continuous maps with two pieces, each of which has exactly one unstable direction, and identify an explicit set of sufficient conditions for the existence of a chaotic attractor. The conditions correspond to an open set within the space of all such maps, allow all $n \ge 2$, and allow all possible values for the unstable eigenvalues in the limit that all stable eigenvalues tend to zero. To prove an attractor exists we use the stable manifold of a fixed point to construct a trapping region; to prove the attractor is chaotic we use the unstable directions to construct an invariant expanding cone for the derivatives of the pieces of the map. We also show the chaotic attractor is persistent under nonlinear perturbations, thus when such an attractor is created locally in a border-collision bifurcation of a general piecewise-smooth system, it persists and is chaotic for an interval of parameter values beyond the bifurcation. △ Less

Submitted 29 October, 2024; originally announced October 2024.

MSC Class: 37G35; 39A28

The two-dimensional border-collision normal form with a zero determinant

Authors: David J. W. Simpson

Abstract: The border-collision normal form is a piecewise-linear family of continuous maps that describe the dynamics near border-collision bifurcations. Most prior studies assume each piece of the normal form is invertible, as is generic from an abstract viewpoint, but in applied problems one piece of the map often has degenerate range, corresponding to a zero determinant. This provides simplification, yet… ▽ More The border-collision normal form is a piecewise-linear family of continuous maps that describe the dynamics near border-collision bifurcations. Most prior studies assume each piece of the normal form is invertible, as is generic from an abstract viewpoint, but in applied problems one piece of the map often has degenerate range, corresponding to a zero determinant. This provides simplification, yet even in two dimensions the dynamics can be incredibly rich. The purpose of this paper is to determine broadly how the dynamics of the two-dimensional border-collision normal form with a zero determinant differs for different values of its parameters. We identify parameter regions of period-adding, period-incrementing, mode-locking, and component doubling of chaotic attractors, and characterise the dominant bifurcation boundaries. The intention is for the results to enable border-collision bifurcations in mathematical models to be analysed more easily and effectively, and we illustrate this with a flu epidemic model and two stick-slip friction oscillator models. We also describe three novel bifurcation structures that remain to be explored. △ Less

Submitted 8 August, 2024; originally announced August 2024.

MSC Class: 39A28; 37G15

Extended normal forms for one-dimensional border-collision bifurcations

Authors: P. A. Glendinning, D. J. W. Simpson

Abstract: The border-collision normal form describes the local dynamics in continuous systems with switches when a fixed point intersects a switching surface. For one-dimensional cases where the bifurcation creates or destroys only fixed points and period-two orbits, we show that the standard local equivalence of normal forms, topological conjugacy, can be replaced by differentiable conjugacy provided an ex… ▽ More The border-collision normal form describes the local dynamics in continuous systems with switches when a fixed point intersects a switching surface. For one-dimensional cases where the bifurcation creates or destroys only fixed points and period-two orbits, we show that the standard local equivalence of normal forms, topological conjugacy, can be replaced by differentiable conjugacy provided an extra term is added to the normal form. In these cases topological conjugacy is so weak that a range of values can be used for the coefficients in the normal form. The extension to differentiable conjugacy explains why the usual choice of slopes in the standard normal form is privileged. This highlights the importance of differentiable conjugacies and the need for extended normal forms. △ Less

Submitted 23 July, 2024; originally announced July 2024.

MSC Class: 39A28; 37G15

Nonsmooth folds as tipping points

Authors: D. J. W. Simpson

Abstract: A nonsmooth fold is where an equilibrium or limit cycle of a nonsmooth dynamical system hits a switching manifold and collides and annihilates with another solution of the same type. We show that beyond the bifurcation the leading-order truncation to the system in general has no bounded invariant set. This is proved for boundary equilibrium bifurcations of Filippov systems, hybrid systems, and con… ▽ More A nonsmooth fold is where an equilibrium or limit cycle of a nonsmooth dynamical system hits a switching manifold and collides and annihilates with another solution of the same type. We show that beyond the bifurcation the leading-order truncation to the system in general has no bounded invariant set. This is proved for boundary equilibrium bifurcations of Filippov systems, hybrid systems, and continuous piecewise-smooth ODEs, and grazing-type events for which the truncated form is a continuous piecewise-linear map. The omitted higher-order terms are expected to be incapable of altering the local dynamics qualitatively, implying the system has no local invariant set on one side of a nonsmooth fold, and we demonstrate this with an example. Thus if the equilibrium or limit cycle is attracting the bifurcation causes the local attractor of the system to tip to a new state. The results also help explain global aspects of the bifurcation structures of the truncated systems. △ Less

Submitted 23 January, 2025; v1 submitted 6 June, 2024; originally announced June 2024.

MSC Class: 37G35; 37G15

The bifurcation structure within robust chaos for two-dimensional piecewise-linear maps

Authors: Indranil Ghosh, Robert I. McLachlan, David J. W. Simpson

Abstract: We study two-dimensional, two-piece, piecewise-linear maps having two saddle fixed points. Such maps reduce to a four-parameter family and are well known to have a chaotic attractor throughout open regions of parameter space. The purpose of this paper is to determine where and how this attractor undergoes bifurcations. We explore the bifurcation structure numerically by using Eckstein's greatest c… ▽ More We study two-dimensional, two-piece, piecewise-linear maps having two saddle fixed points. Such maps reduce to a four-parameter family and are well known to have a chaotic attractor throughout open regions of parameter space. The purpose of this paper is to determine where and how this attractor undergoes bifurcations. We explore the bifurcation structure numerically by using Eckstein's greatest common divisor algorithm to estimate from sample orbits the number of connected components in the attractor. Where the map is orientation-preserving the numerical results agree with formal results obtained previously through renormalisation. Where the map is orientation-reversing or non-invertible the same renormalisation scheme appears to generate the bifurcation boundaries, but here we need to account for the possibility of some stable low-period solutions. Also the attractor can be destroyed in novel heteroclinic bifurcations (boundary crises) that do not correspond to simple algebraic constraints on the parameters. Overall the results reveal a broadly similar component-doubling bifurcation structure in the orientation-reversing and non-invertible settings, but with some additional complexities. △ Less

Submitted 7 February, 2024; originally announced February 2024.

The necessity of the sausage-string structure for mode-locking regions of piecewise-linear maps

Authors: David J. W. Simpson

Abstract: Piecewise-smooth maps are used as discrete-time models of dynamical systems whose evolution is governed by different equations under different conditions (e.g.~switched control systems). By assigning a symbol to each region of phase space where the map is smooth, any period-$p$ solution of the map can be associated to an itinerary of $p$ symbols. As parameters of the map are varied, changes to thi… ▽ More Piecewise-smooth maps are used as discrete-time models of dynamical systems whose evolution is governed by different equations under different conditions (e.g.~switched control systems). By assigning a symbol to each region of phase space where the map is smooth, any period-$p$ solution of the map can be associated to an itinerary of $p$ symbols. As parameters of the map are varied, changes to this itinerary occur at border-collision bifurcations (BCBs) where one point of the periodic solution collides with a region boundary. It is well known that BCBs conform broadly to two cases: {\em persistence}, where the symbolic itinerary of a periodic solution changes by one symbol, and a {\em nonsmooth-fold}, where two solutions differing by one symbol collide and annihilate. This paper derives new properties of periodic solutions of piecewise-linear continuous maps on $\mathbb{R}^n$ to show that under mild conditions BCBs of mode-locked solutions on invariant circles must be nonsmooth-folds. This explains why Arnold tongues of piecewise-linear maps exhibit a sausage-string structure whereby changes to symbolic itineraries occur at codimension-two pinch points instead of codimension-one persistence-type BCBs. But the main result is based on the combinatorical properties of the itineraries, so the impossibility of persistence-type BCBs also holds when the periodic solution is unstable or there is no invariant circle. △ Less

Submitted 6 December, 2023; originally announced December 2023.

MSC Class: 39A28; 37G35

How to compute multi-dimensional stable and unstable manifolds of piecewise-linear maps

Authors: D. J. W. Simpson

Abstract: For piecewise-linear maps the stable and unstable manifolds of hyperbolic periodic solutions are themselves piecewise-linear. Hence compact subsets of these manifolds can be represented using polytopes (i.e. polygons, in the case of two-dimensional manifolds). Such representations are efficient and exact so for computational purposes are superior to representations that use a large number of point… ▽ More For piecewise-linear maps the stable and unstable manifolds of hyperbolic periodic solutions are themselves piecewise-linear. Hence compact subsets of these manifolds can be represented using polytopes (i.e. polygons, in the case of two-dimensional manifolds). Such representations are efficient and exact so for computational purposes are superior to representations that use a large number of points on some mesh (as is usually done in the smooth setting). We introduce a method for computing convex polytope representations of stable and unstable manifolds. For an unstable manifold we iterate a suitably small subset of the local unstable manifold and prior to each iteration subdivide polytopes where they intersect the switching manifold of the map. We prove the output converges to the (entire) unstable manifold and use it to visualise attractors and bifurcations of the three-dimensional border-collision normal form: we identify a heterodimensional-cycle, a two-dimensional unstable manifold whose closure appears to be a unique attractor, and a piecewise-linear analogue of a first homoclinic tangency where an attractor appears to be destroyed. △ Less

Submitted 15 October, 2023; originally announced October 2023.

MSC Class: 39A28; 34C45

Robust chaos in orientation-reversing and non-invertible two-dimensional piecewise-linear maps

Authors: Indranil Ghosh, Robert I. McLachlan, David J. W. Simpson

Abstract: This paper concerns the two-dimensional border-collision normal form -- a four-parameter family of piecewise-linear maps generalising the Lozi family and relevant to diverse applications. The normal form was recently shown to exhibit a chaotic attractor throughout an open region of parameter space. This was achieved by constructing a trapping region in phase space and an invariant expanding cone i… ▽ More This paper concerns the two-dimensional border-collision normal form -- a four-parameter family of piecewise-linear maps generalising the Lozi family and relevant to diverse applications. The normal form was recently shown to exhibit a chaotic attractor throughout an open region of parameter space. This was achieved by constructing a trapping region in phase space and an invariant expanding cone in tangent space, but only allowed parameter combinations for which the normal form is invertible and orientation-preserving. This paper generalises the construction to include the non-invertible and orientation-reversing cases. This provides a more complete and unified picture of robust chaos by revealing its presence to be disassociated from the global topological properties of the map. We identify a region of parameter space in which the map exhibits robust chaos, and show that part of the boundary of this region consists of bifurcation points at which the chaotic attractor is destroyed. △ Less

Submitted 11 July, 2023; originally announced July 2023.

MSC Class: Primary: 37G35; Secondary: 39A28

Differentiable conjugacies for one-dimensional maps

Authors: P. A. Glendinning, D. J. W. Simpson

Abstract: Differentiable conjugacies link dynamical systems that share properties such as the stability multipliers of corresponding orbits. It provides a stronger classification than topological conjugacy, which only requires qualitative similarity. We describe some of the techniques and recent results that allow differentiable conjugacies to be defined for standard bifurcations, and explain how this leads… ▽ More Differentiable conjugacies link dynamical systems that share properties such as the stability multipliers of corresponding orbits. It provides a stronger classification than topological conjugacy, which only requires qualitative similarity. We describe some of the techniques and recent results that allow differentiable conjugacies to be defined for standard bifurcations, and explain how this leads to a new class of normal forms. Closed-form expressions for differentiable conjugacies exist between some chaotic maps, and we describe some of the constraints that make it possible to recognise when such conjugacies arise. This paper focuses on the consequences of the existence of differentiable conjugacies rather than the conjugacy classes themselves. △ Less

Submitted 28 February, 2023; originally announced March 2023.

MSC Class: 37C15; 39A28

Unstable dimension variability, heterodimensional cycles, and blenders in the border-collision normal form

Authors: P. A. Glendinning, D. J. W. Simpson

Abstract: Chaotic attractors commonly contain periodic solutions with unstable manifolds of different dimensions. This allows for a zoo of dynamical phenomena not possible for hyperbolic attractors. The purpose of this Letter is to demonstrate these phenomena in the border-collision normal form. This is a continuous, piecewise-linear family of maps that is physically relevant as it captures the dynamics cre… ▽ More Chaotic attractors commonly contain periodic solutions with unstable manifolds of different dimensions. This allows for a zoo of dynamical phenomena not possible for hyperbolic attractors. The purpose of this Letter is to demonstrate these phenomena in the border-collision normal form. This is a continuous, piecewise-linear family of maps that is physically relevant as it captures the dynamics created in border-collision bifurcations in diverse applications. Since the maps are piecewise-linear they are relatively amenable to an exact analysis and we are able to explicitly identify parameter values for heterodimensional cycles and blenders. For a one-parameter subfamily we identify bifurcations involved in a transition through unstable dimension variability. This is facilitated by being able to compute periodic solutions quickly and accurately, and the piecewise-linear form should provide a useful test-bed for further study. △ Less

Submitted 10 November, 2022; originally announced November 2022.

MSC Class: 37G35; 39A28

A synopsis of the non-invertible, two-dimensional, border-collision normal form with applications to power converters

Authors: Hammed Olawale Fatoyinbo, David J. W. Simpson

Abstract: The border-collision normal form is a canonical form for two-dimensional, continuous maps comprised of two affine pieces. In this paper we provide a guide to the dynamics of this family of maps in the non-invertible case where the two pieces fold onto the same half-plane. We identify parameter regimes for the occurrence of key bifurcation structures, such as period-incrementing, period-adding, and… ▽ More The border-collision normal form is a canonical form for two-dimensional, continuous maps comprised of two affine pieces. In this paper we provide a guide to the dynamics of this family of maps in the non-invertible case where the two pieces fold onto the same half-plane. We identify parameter regimes for the occurrence of key bifurcation structures, such as period-incrementing, period-adding, and robust chaos. We then apply the results to a classic model of a boost converter for adjusting the voltage of direct current. It is known that for one combination of circuit parameters the model exhibits a border-collision bifurcation that mimics supercritical period-doubling and is non-invertible due to the switching mechanism of the converter. We find that over a wide range of parameter values, even though the dynamics created in border-collision bifurcations is in general extremely diverse, the bifurcation in the boost converter can only mimic period-doubling, although it can be subcritical. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 11 figures

Normal forms for saddle-node bifurcations: Takens' coefficient and applications in climate models

Authors: P. A. Glendinning, D. J. W. Simpson

Abstract: We show that a one-dimensional differential equation depending on a parameter $μ$ with a saddle-node bifurcation at $μ=0$ can be modelled by an extended normal form $\dot y = ν(μ)-y^2+a(μ)y^3$, where the functions $ν$ and $a$ are solutions to equations that can be written down explicitly. The equivalence to the original equations is a local differentiable conjugacy on the basins of attraction and… ▽ More We show that a one-dimensional differential equation depending on a parameter $μ$ with a saddle-node bifurcation at $μ=0$ can be modelled by an extended normal form $\dot y = ν(μ)-y^2+a(μ)y^3$, where the functions $ν$ and $a$ are solutions to equations that can be written down explicitly. The equivalence to the original equations is a local differentiable conjugacy on the basins of attraction and repulsion of stationary points in the parameter region for which these exist, and is a differentiable conjugacy on the whole local interval otherwise. (Recall that in standard approaches local equivalence is topological rather than differentiable.) The value $a(0)$ is Takens' coefficient from normal form theory. The results explain the sense in which normal forms extend away from the bifurcation point and provide a new and more detailed characterisation of the saddle-node bifurcation. The one-dimensional system can be derived from higher dimensional equations using centre manifold theory. We illustrate this using two examples from climate science and show how the functions $ν$ and $a$ can be determined analytically in some settings and numerically in others. △ Less

Submitted 20 August, 2022; originally announced August 2022.

MSC Class: 37G05; 37G10; 86A08

Border-collision bifurcations from stable fixed points to any number of coexisting chaotic attractors

Authors: David J. W. Simpson

Abstract: In diverse physical systems stable oscillatory solutions devolve into more complicated dynamical behaviour through border-collision bifurcations. Mathematically these occur when a stable fixed point of a piecewise-smooth map collides with a switching manifold as parameters are varied. The purpose of this paper is to highlight the extreme complexity possible in the subsequent dynamics. We perturb i… ▽ More In diverse physical systems stable oscillatory solutions devolve into more complicated dynamical behaviour through border-collision bifurcations. Mathematically these occur when a stable fixed point of a piecewise-smooth map collides with a switching manifold as parameters are varied. The purpose of this paper is to highlight the extreme complexity possible in the subsequent dynamics. We perturb instances of the border-collision normal form in $n \ge 2$ dimensions for which the $n^{\rm th}$ iterate is a direct product of identical skew tent maps that have chaotic attractors comprised of $k \ge 2$ disjoint intervals. The resulting maps have coexisting attractors and we use Burnside's lemma to count the number of mutually disjoint trapping regions produced by taking unions of Cartesian products of slight enlargements of the disjoint intervals. The attractors are shown to be chaotic by demonstrating that some iterate of the map is piecewise-expanding. The resulting transition from a stable fixed point to many coexisting chaotic attractors is shown to occur throughout open subsets of parameter space and not destroyed by adding higher order terms to the normal form, hence can be expected to arise generically in mathematical models. △ Less

Submitted 20 July, 2022; originally announced July 2022.

MSC Class: 37G35; 39A28

Normal forms, differentiable conjugacies and elementary bifurcations of maps

Authors: Paul A. Glendinning, David J. W. Simpson

Abstract: We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with coefficients determined by algebraic equations. These extended normal forms are differentiably conjugate to the original maps on basins of attraction and repulsion… ▽ More We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with coefficients determined by algebraic equations. These extended normal forms are differentiably conjugate to the original maps on basins of attraction and repulsion of fixed points or periodic orbits. This reflects common assumptions about the additional information in normal forms despite standard bifurcation theorems being formulated only in terms of topological equivalence. △ Less

Submitted 9 June, 2022; originally announced June 2022.

MSC Class: 37C25; 37G05; 37G10

Robust Devaney chaos in the two-dimensional border-collision normal form

Authors: Indranil Ghosh, David J. W. Simpson

Abstract: The collection of all non-degenerate, continuous, two-piece, piecewise-linear maps on $\mathbb{R}^2$ can be reduced to a four-parameter family known as the two-dimensional border-collision normal form. We prove that throughout an open region of parameter space this family has an attractor satisfying Devaney's definition of chaos. This strengthens existing results on the robustness of chaos in piec… ▽ More The collection of all non-degenerate, continuous, two-piece, piecewise-linear maps on $\mathbb{R}^2$ can be reduced to a four-parameter family known as the two-dimensional border-collision normal form. We prove that throughout an open region of parameter space this family has an attractor satisfying Devaney's definition of chaos. This strengthens existing results on the robustness of chaos in piecewise-linear maps. We further show that the stable manifold of a saddle fixed point, despite being a one-dimensional object, densely fills an open region containing the attractor. Finally we identify a heteroclinic bifurcation, not described previously, at which the attractor undergoes a crisis and may be destroyed. △ Less

Submitted 24 November, 2021; originally announced November 2021.

MSC Class: 37G35; 39A28

Inclusion of higher-order terms in the border-collision normal form: persistence of chaos and applications to power converters

Authors: David J. W. Simpson, Paul A. Glendinning

Abstract: The dynamics near a border-collision bifurcation are approximated to leading order by a continuous, piecewise-linear map. The purpose of this paper is to consider the higher-order terms that are neglected when forming this approximation. For two-dimensional maps we establish conditions under which a chaotic attractor created in a border-collision bifurcation persists for an open interval of parame… ▽ More The dynamics near a border-collision bifurcation are approximated to leading order by a continuous, piecewise-linear map. The purpose of this paper is to consider the higher-order terms that are neglected when forming this approximation. For two-dimensional maps we establish conditions under which a chaotic attractor created in a border-collision bifurcation persists for an open interval of parameters beyond the bifurcation. We apply the results to a prototypical power converter model to prove the model exhibits robust chaos. △ Less

Submitted 23 November, 2021; originally announced November 2021.

MSC Class: 39A28; 37G35

Pattern Formation in a Spatially-Extended Model of Pacemaker Dynamics in Smooth Muscle Cells

Authors: H. O. Fatoyinbo, R. G. Brown, D. J. W. Simpson, B. van Brunt

Abstract: Spatiotemporal patterns are common in biological systems. For electrically-coupled cells previous studies of pattern formation have mainly used external forcing as the main bifurcation parameter. The purpose of this paper is to show that spatiotemporal patterns in electrically-coupled smooth muscle cells occur even in the absence of forcing. We study a reaction-diffusion system with the Morris-Lec… ▽ More Spatiotemporal patterns are common in biological systems. For electrically-coupled cells previous studies of pattern formation have mainly used external forcing as the main bifurcation parameter. The purpose of this paper is to show that spatiotemporal patterns in electrically-coupled smooth muscle cells occur even in the absence of forcing. We study a reaction-diffusion system with the Morris-Lecar equations and observe a wide range of spatiotemporal patterns for different values of the model parameters. Some aspects of these patterns are explained via a bifurcation analysis of the system without coupling -- in particular Type I and Type II excitability both occur. We show the patterns are not due to a Turing instability and use travelling wave coordinates to analyse travelling waves. △ Less

Submitted 29 October, 2021; originally announced November 2021.

MSC Class: 39A28; 37N25; 74H60; 7M20; 37C75; 92C30

Renormalisation of the two-dimensional border-collision normal form

Authors: Indranil Ghosh, David J. W. Simpson

Abstract: We study the two-dimensional border-collision normal form (a four-parameter family of continuous, piecewise-linear maps on $\mathbb{R}^2$) in the robust chaos parameter region of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052, 1998]. We use renormalisation to partition this region by the number of connected components of a chaotic Milnor attractor. This reve… ▽ More We study the two-dimensional border-collision normal form (a four-parameter family of continuous, piecewise-linear maps on $\mathbb{R}^2$) in the robust chaos parameter region of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052, 1998]. We use renormalisation to partition this region by the number of connected components of a chaotic Milnor attractor. This reveals previously undescribed bifurcation structure in a succinct way. △ Less

Submitted 19 September, 2021; originally announced September 2021.

MSC Class: 37G35; 39A28

Unfolding globally resonant homoclinic tangencies

Authors: Sishu Shankar Muni, Robert I. McLachlan, David J. W. Simpson

Abstract: Global resonance is a mechanism by which a homoclinic tangency of a smooth map can have infinitely many asymptotically stable, single-round periodic solutions. To understand the bifurcation structure one would expect to see near such a tangency, in this paper we study one-parameter perturbations of typical globally resonant homoclinic tangencies. We assume the tangencies are formed by the stable a… ▽ More Global resonance is a mechanism by which a homoclinic tangency of a smooth map can have infinitely many asymptotically stable, single-round periodic solutions. To understand the bifurcation structure one would expect to see near such a tangency, in this paper we study one-parameter perturbations of typical globally resonant homoclinic tangencies. We assume the tangencies are formed by the stable and unstable manifolds of saddle fixed points of two-dimensional maps. We show the perturbations display two infinite sequences of bifurcations, one saddle-node the other period-doubling, between which single-round periodic solutions are asymptotically stable. Generically these scale like $|λ|^{2 k}$, as $k \to \infty$, where $-1 < λ< 1$ is the stable eigenvalue associated with the fixed point. If the perturbation is taken tangent to the surface of codimension-one homoclinic tangencies, they instead scale like $\frac{|λ|^k}{k}$. We also show slower scaling laws are possible if the perturbation admits further degeneracies. △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 19 pages, 7 figures

Chaos in the border-collision normal form: A computer-assisted proof using induced maps and invariant expanding cones

Authors: P. A. Glendinning, D. J. W. Simpson

Abstract: In some maps the existence of an attractor with a positive Lyapunov exponent can be proved by constructing a trapping region in phase space and an invariant expanding cone in tangent space. If this approach fails it may be possible to adapt the strategy by considering an induced map (a first return map for a well-chosen subset of phase space). In this paper we show that such a construction can be… ▽ More In some maps the existence of an attractor with a positive Lyapunov exponent can be proved by constructing a trapping region in phase space and an invariant expanding cone in tangent space. If this approach fails it may be possible to adapt the strategy by considering an induced map (a first return map for a well-chosen subset of phase space). In this paper we show that such a construction can be applied to the two-dimensional border-collision normal form (a continuous piecewise-linear map) if a certain set of conditions are satisfied and develop an algorithm for checking these conditions. The algorithm requires relatively few computations, so it is a more efficient method than, for example, estimating the Lyapunov exponent from a single orbit in terms of speed, numerical accuracy, and rigor. The algorithm is used to prove the existence of an attractor with a positive Lyapunov exponent numerically in an area of parameter space where the map has strong rotational characteristics and the consideration of an induced map is critical for the proof of robust chaos. △ Less

Submitted 12 August, 2021; originally announced August 2021.

MSC Class: 37G35; 39A28

On the stability of boundary equilibria in Filippov systems

Authors: David J. W. Simpson

Abstract: The leading-order approximation to a Filippov system $f$ about a generic boundary equilibrium $x^*$ is a system $F$ that is affine one side of the boundary and constant on the other side. We prove $x^*$ is exponentially stable for $f$ if and only if it is exponentially stable for $F$ when the constant component of $F$ is not tangent to the boundary. We then show exponential stability and asymptoti… ▽ More The leading-order approximation to a Filippov system $f$ about a generic boundary equilibrium $x^*$ is a system $F$ that is affine one side of the boundary and constant on the other side. We prove $x^*$ is exponentially stable for $f$ if and only if it is exponentially stable for $F$ when the constant component of $F$ is not tangent to the boundary. We then show exponential stability and asymptotic stability are in fact equivalent for $F$. We also show exponential stability is preserved under small perturbations to the pieces of $F$. Such results are well known for homogeneous systems. To prove the results here additional techniques are required because the two components of $F$ have different degrees of homogeneity. The primary function of the results is to reduce the problem of the stability of $x^*$ from the general Filippov system $f$ to the simpler system $F$. Yet in general this problem remains difficult. We provide a four-dimensional example of $F$ for which orbits appear to converge to $x^*$ in a chaotic fashion. By utilising the presence of both homogeneity and sliding motion the dynamics of $F$ can in this case be reduced to the combination of a one-dimensional return map and a scalar function. △ Less

Submitted 11 January, 2021; originally announced January 2021.

MSC Class: 34A36; 37G10

Detecting invariant expanding cones for generating word sets to identify chaos in piecewise-linear maps

Authors: David J. W. Simpson

Abstract: We show how the existence of three objects, $Ω_{\rm trap}$, ${\bf W}$, and $C$, for a continuous piecewise-linear map $f$ on $\mathbb{R}^N$, implies that $f$ has a topological attractor with a positive Lyapunov exponent. First, $Ω_{\rm trap} \subset \mathbb{R}^N$ is trapping region for $f$. Second, ${\bf W}$ is a finite set of words that encodes the forward orbits of all points in $Ω_{\rm trap}$.… ▽ More We show how the existence of three objects, $Ω_{\rm trap}$, ${\bf W}$, and $C$, for a continuous piecewise-linear map $f$ on $\mathbb{R}^N$, implies that $f$ has a topological attractor with a positive Lyapunov exponent. First, $Ω_{\rm trap} \subset \mathbb{R}^N$ is trapping region for $f$. Second, ${\bf W}$ is a finite set of words that encodes the forward orbits of all points in $Ω_{\rm trap}$. Finally, $C \subset T \mathbb{R}^N$ is an invariant expanding cone for derivatives of compositions of $f$ formed by the words in ${\bf W}$. We develop an algorithm that identifies these objects for two-dimensional homeomorphisms comprised of two affine pieces. The main effort is in the explicit construction of $Ω_{\rm trap}$ and $C$. Their existence is equated to a set of computable conditions in a general way. This results in a computer-assisted proof of chaos throughout a relatively large regime of parameter space. We also observe how the failure of $C$ to be expanding can coincide with a bifurcation of $f$. Lyapunov exponents are evaluated using one-sided directional derivatives so that forward orbits that intersect a switching manifold (where $f$ is not differentiable) can be included in the analysis. △ Less

Submitted 16 October, 2020; originally announced October 2020.

MSC Class: 39A28; 37G35

Homoclinic tangencies with infinitely many asymptotically stable single-round periodic solutions

Authors: S. S. Muni, R. I. McLachlan, D. J. W. Simpson

Abstract: We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical theory, this requires $f$ to have a homoclinic tangency. We show it also necessary for $f$ to satisfy a `global resonance' condition and for the eigenvalues asso… ▽ More We consider a homoclinic orbit to a saddle fixed point of an arbitrary $C^\infty$ map $f$ on $\mathbb{R}^2$ and study the phenomenon that $f$ has an infinite family of asymptotically stable, single-round periodic solutions. From classical theory, this requires $f$ to have a homoclinic tangency. We show it also necessary for $f$ to satisfy a `global resonance' condition and for the eigenvalues associated with the fixed point, $λ$ and $σ$, to satisfy $|λσ| = 1$. The phenomenon is codimension-three in the case $λσ= -1$, but codimension-four in the case $λσ= 1$ because here the coefficients of the leading-order resonance terms associated with $f$ at the fixed point must add to zero. We also identify conditions sufficient for the phenomenon to occur, illustrate the results for an abstract family of maps, and show numerically computed basins of attraction. △ Less

Submitted 8 December, 2020; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 25 pages, 9 figures

MSC Class: 37G25 (Primary) 37G15; 39A23 (Secondary)

Numerical Bifurcation Analysis of Pacemaker Dynamics in a Model of Smooth Muscle Cells

Authors: Hammed O. Fatoyinbo, Richard G. Brown, David J. W. Simpson, Bruce van Brunt

Abstract: Evidence from experimental studies shows that oscillations due to electro-mechanical coupling can be generated spontaneously in smooth muscle cells. Such cellular dynamics are known as \textit{pacemaker dynamics}. In this article we address pacemaker dynamics associated with the interaction of $\text{Ca}^{2+}$ and $\text{K}^+$ fluxes in the cell membrane of a smooth muscle cell. First we reduce a… ▽ More Evidence from experimental studies shows that oscillations due to electro-mechanical coupling can be generated spontaneously in smooth muscle cells. Such cellular dynamics are known as \textit{pacemaker dynamics}. In this article we address pacemaker dynamics associated with the interaction of $\text{Ca}^{2+}$ and $\text{K}^+$ fluxes in the cell membrane of a smooth muscle cell. First we reduce a pacemaker model to a two-dimensional system equivalent to the reduced Morris-Lecar model and then perform a detailed numerical bifurcation analysis of the reduced model. Existing bifurcation analyses of the Morris-Lecar model concentrate on external applied current whereas we focus on parameters that model the response of the cell to changes in transmural pressure. We reveal a transition between Type I and Type II excitabilities with no external current required. We also compute a two-parameter bifurcation diagram and show how the transition is explained by the bifurcation structure. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Comments: 29 pages, 34 figures

MSC Class: 37N25; 74H60; 37M20; 37C75; 92C30

Journal ref: Bull Math Biol 82, 95 (2020)

Chaotic attractors from border-collision bifurcations: stable border fixed points and determinant-based Lyapunov exponent bounds

Authors: D. J. W. Simpson

Abstract: The collision of a fixed point with a switching manifold (or border) in a piecewise-smooth map can create many different types of invariant sets. This paper explores two techniques that, combined, establish a chaotic attractor is created in a border-collision bifurcation in $\mathbb{R}^d$ $(d \ge 1)$. First, asymptotic stability of the fixed point at the bifurcation is characterised and shown to i… ▽ More The collision of a fixed point with a switching manifold (or border) in a piecewise-smooth map can create many different types of invariant sets. This paper explores two techniques that, combined, establish a chaotic attractor is created in a border-collision bifurcation in $\mathbb{R}^d$ $(d \ge 1)$. First, asymptotic stability of the fixed point at the bifurcation is characterised and shown to imply a local attractor is created. Second, a lower bound on the maximal Lyapunov exponent is obtained from the determinants of the one-sided Jacobian matrices associated with the fixed point. Special care is taken to accommodate points whose forward orbits intersect the switching manifold as such intersections can have a stabilising effect. The results are applied to the two-dimensional border-collision normal form focusing on parameter values for which the map is piecewise area-expanding. △ Less

Submitted 11 November, 2019; originally announced November 2019.

MSC Class: 37G35; 39A30; 37A05

Unfolding codimension-two subsumed homoclinic connections in two-dimensional piecewise-linear maps

Authors: David J. W. Simpson

Abstract: For piecewise-linear maps, the phenomenon that a branch of a one-dimensional unstable manifold of a periodic solution is completely contained in its stable manifold is codimension-two. Unlike codimension-one homoclinic corners, such `subsumed' homoclinic connections can be associated with stable periodic solutions. The purpose of this paper is to determine the dynamics near a generic subsumed homo… ▽ More For piecewise-linear maps, the phenomenon that a branch of a one-dimensional unstable manifold of a periodic solution is completely contained in its stable manifold is codimension-two. Unlike codimension-one homoclinic corners, such `subsumed' homoclinic connections can be associated with stable periodic solutions. The purpose of this paper is to determine the dynamics near a generic subsumed homoclinic connection in two dimensions. Assuming the eigenvalues associated with the periodic solution satisfy $0 < |λ| < 1 < σ< \frac{1}{|λ|}$, in a two-parameter unfolding there exists an infinite sequence of roughly triangular regions within which the map has a stable single-round periodic solution. The result applies to both discontinuous and continuous maps, although these cases admit different characterisations for the border-collision bifurcations that correspond to boundaries of the regions. The result is illustrated with a discontinuous map of Mira and the two-dimensional border-collision normal form. △ Less

Submitted 4 July, 2019; originally announced July 2019.

MSC Class: 37G25; 39A23; 39A28

Robust Chaos and the Continuity of Attractors

Authors: Paul A. Glendinning, David J. W. Simpson

Abstract: As the parameters of a map are varied an attractor may vary continuously in the Hausdorff metric. The purpose of this paper is to explore the continuation of chaotic attractors. We argue that this is not a helpful concept for smooth unimodal maps for which periodic windows fill parameter space densely, but that for piecewise-smooth maps it provides a way to delineate structure within parameter reg… ▽ More As the parameters of a map are varied an attractor may vary continuously in the Hausdorff metric. The purpose of this paper is to explore the continuation of chaotic attractors. We argue that this is not a helpful concept for smooth unimodal maps for which periodic windows fill parameter space densely, but that for piecewise-smooth maps it provides a way to delineate structure within parameter regions of robust chaos and form a stronger notion of robustness. We obtain conditions for the continuity of an attractor and demonstrate the results with coupled skew tent maps, the Lozi map, and the border-collision normal form. △ Less

Submitted 27 June, 2019; originally announced June 2019.

MSC Class: 37G35; 39A28; 37A05

Constructing robust chaos: invariant manifolds and expanding cones

Authors: Paul A. Glendinning, David J. W. Simpson

Abstract: Chaotic attractors in the two-dimensional border-collision normal form (a piecewise-linear map) can persist throughout open regions of parameter space. Such robust chaos has been established rigorously in some parameter regimes. Here we provide formal results for robust chaos in the original parameter regime of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052,… ▽ More Chaotic attractors in the two-dimensional border-collision normal form (a piecewise-linear map) can persist throughout open regions of parameter space. Such robust chaos has been established rigorously in some parameter regimes. Here we provide formal results for robust chaos in the original parameter regime of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052, 1998]. We first construct a trapping region in phase space to prove the existence of a topological attractor. We then construct an invariant expanding cone in tangent space to prove that tangent vectors expand and so no invariant set can have only negative Lyapunov exponents. Under additional assumptions we also characterise an attractor as the closure of the unstable manifold of a fixed point. △ Less

Submitted 27 June, 2019; originally announced June 2019.

MSC Class: 37G35; 39A28

Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems

Authors: David J. W. Simpson

Abstract: For many physical systems the transition from a stationary solution to sustained small amplitude oscillations corresponds to a Hopf bifurcation. For systems involving impacts, thresholds, switches, or other abrupt events, however, this transition can be achieved in fundamentally different ways. This paper reviews 20 such `Hopf-like' bifurcations for two-dimensional ODE systems with state-dependent… ▽ More For many physical systems the transition from a stationary solution to sustained small amplitude oscillations corresponds to a Hopf bifurcation. For systems involving impacts, thresholds, switches, or other abrupt events, however, this transition can be achieved in fundamentally different ways. This paper reviews 20 such `Hopf-like' bifurcations for two-dimensional ODE systems with state-dependent switching rules. The bifurcations include boundary equilibrium bifurcations, the collision or change of stability of equilibria or folds on switching manifolds, and limit cycle creation via hysteresis or time delay. In each case a stationary solution changes stability and possibly form, and emits one limit cycle. Each bifurcation is analysed quantitatively in a general setting: we identify quantities that govern the onset, criticality, and genericity of the bifurcation, and determine scaling laws for the period and amplitude of the resulting limit cycle. Complete derivations based on asymptotic expansions of Poincare maps are provided. Many of these are new, done previously only for piecewise-linear systems. The bifurcations are collated and compared so that dynamical observations can be matched to geometric mechanisms responsible for the creation of a limit cycle. The results are illustrated with impact oscillators, relay control, automated balancing control, predator-prey systems, ocean circulation, and the McKean and Wilson-Cowan neuron models. △ Less

Submitted 3 May, 2019; originally announced May 2019.

MSC Class: 37G15; 34A36; 37G35

Hopf-like boundary equilibrium bifurcations involving two foci in Filippov systems

Authors: David J. W. Simpson

Abstract: This paper concerns two-dimensional Filippov systems --- ordinary differential equations that are discontinuous on one-dimensional switching manifolds. In the situation that a stable focus transitions to an unstable focus by colliding with a switching manifold as parameters are varied, a simple sufficient condition for a unique local limit cycle to be created is established. If this condition is v… ▽ More This paper concerns two-dimensional Filippov systems --- ordinary differential equations that are discontinuous on one-dimensional switching manifolds. In the situation that a stable focus transitions to an unstable focus by colliding with a switching manifold as parameters are varied, a simple sufficient condition for a unique local limit cycle to be created is established. If this condition is violated, three nested limit cycles may be created simultaneously. The result is achieved by constructing a Poincaré map and generalising analytical arguments that have been employed for continuous systems. Necessary and sufficient conditions for the existence of pseudo-equilibria (equilibria of sliding motion on the switching manifold) are also determined. For simplicity only piecewise-linear systems are considered. △ Less

Submitted 9 December, 2018; originally announced December 2018.

MSC Class: 37G15; 34A36

Characterisation and classification of signatures of spanning trees of the $n$-cube

Authors: Howida A. Al Fran, David J. W. Simpson, Christopher P. Tuffley

Abstract: The signature of a spanning tree $T$ of the $n$-cube $Q_n$ is the $n$-tuple $\mathrm{sig}(T)=(a_1,a_2,\dots,a_n)$ such that $a_i$ is the number of edges of $T$ in the $i$th direction. We characterise the $n$-tuples that can occur as the signature of a spanning tree, and classify a signature $\mathcal{S}$ as reducible or irreducible according to whether or not there is a proper nonempty subset $R$… ▽ More The signature of a spanning tree $T$ of the $n$-cube $Q_n$ is the $n$-tuple $\mathrm{sig}(T)=(a_1,a_2,\dots,a_n)$ such that $a_i$ is the number of edges of $T$ in the $i$th direction. We characterise the $n$-tuples that can occur as the signature of a spanning tree, and classify a signature $\mathcal{S}$ as reducible or irreducible according to whether or not there is a proper nonempty subset $R$ of $[n]$ such that restricting $\mathcal{S}$ to the indices in $R$ gives a signature of $Q_{|R|}$. If so, we say moreover that $\mathcal{S}$ and $T$ reduce over $R$. We show that reducibility places strict structural constraints on $T$. In particular, if $T$ reduces over a set of size $r$ then $T$ decomposes as a sum of $2^r$ spanning trees of $Q_{n-r}$, together with a spanning tree of a contraction of $Q_n$ with underlying simple graph $Q_r$. Moreover, this decomposition is realised by an isomorphism of edge slide graphs, where the edge slide graph of $Q_n$ is the graph $\mathcal{E}(Q_n)$ on the spanning trees of $Q_n$, with an edge between two trees if and only if they are related by an edge slide. An edge slide is an operation on spanning trees of the $n$-cube given by ``sliding'' an edge of a spanning tree across a $2$-dimensional face of the cube to get a second spanning tree. The signature of a spanning tree is invariant under edge slides, so the subgraph $\mathcal{E}(\mathcal{S})$ of $\mathcal{E}(Q_n)$ induced by the trees with signature $\mathcal{S}$ is a union of one or more connected components of $\mathcal{E}(Q_n)$. Reducible signatures may be further divided into strictly reducible and quasi-irreducible signatures, and as an application of our results we show that $\mathcal{E}(\mathcal{S})$ is disconnected if $\mathcal{S}$ is strictly reducible. We conjecture that the converse is also true. △ Less

Submitted 3 October, 2019; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 34 pages, 6 figures. v2: changes in response to referees' reports

MSC Class: 05C05

Journal ref: Australas. J. Combin., 75(3):259-295, 2019

A general framework for boundary equilibrium bifurcations of Filippov systems

Authors: D. J. W. Simpson

Abstract: As parameters are varied a boundary equilibrium bifurcation (BEB) occurs when an equilibrium collides with a discontinuity surface in a piecewise-smooth system of ODEs. Under certain genericity conditions, at a BEB the equilibrium either transitions to a pseudo-equilibrium (on the discontinuity surface) or collides and annihilates with a coexisting pseudo-equilibrium. These two scenarios are disti… ▽ More As parameters are varied a boundary equilibrium bifurcation (BEB) occurs when an equilibrium collides with a discontinuity surface in a piecewise-smooth system of ODEs. Under certain genericity conditions, at a BEB the equilibrium either transitions to a pseudo-equilibrium (on the discontinuity surface) or collides and annihilates with a coexisting pseudo-equilibrium. These two scenarios are distinguished by the sign of a certain inner product. Here it is shown that this sign can be determined from the number of unstable directions associated with the two equilibria by using techniques developed by Feigin. A new normal form is proposed for BEBs in systems of any number of dimensions. The normal form involves a companion matrix, as does the leading order sliding dynamics, and so the connection to the stability of the equilibria is explicit. In two dimensions the parameters of the normal form distinguish, in a simple way, the eight topologically distinct cases for the generic local dynamics at a BEB. A numerical exploration in three dimensions reveals that BEBs can create multiple attractors and chaotic attractors, and that the equilibrium at the BEB can be unstable even if both equilibria are stable. The developments presented here stem from seemingly unutilised similarities between BEBs in discontinuous systems (specifically Filippov systems as studied here) and BEBs in continuous systems for which analogous results are, to date, more advanced. △ Less

Submitted 29 April, 2018; originally announced April 2018.

MSC Class: 34A36; 37G10; 37G35

A Compendium of Hopf-Like Bifurcations in Piecewise-Smooth Dynamical Systems

Authors: D. J. W. Simpson

Abstract: This Letter outlines 20 geometric mechanisms by which limit cycles are created locally in two-dimensional piecewise-smooth systems of ODEs. These include boundary equilibrium bifurcations of hybrid systems, Filippov systems, and continuous systems, and limit cycles created from folds and by the addition of hysteresis or time-delay. Scaling laws for the amplitude and period of the limit cycles are… ▽ More This Letter outlines 20 geometric mechanisms by which limit cycles are created locally in two-dimensional piecewise-smooth systems of ODEs. These include boundary equilibrium bifurcations of hybrid systems, Filippov systems, and continuous systems, and limit cycles created from folds and by the addition of hysteresis or time-delay. Scaling laws for the amplitude and period of the limit cycles are compared to (classical) Hopf bifurcations. △ Less

Submitted 29 April, 2018; originally announced April 2018.

MSC Class: 37G15; 34A36; 37G35

Dimension reduction for slow-fast, piecewise-smooth, continuous systems of ODEs

Authors: David J. W. Simpson

Abstract: The limiting slow dynamics of slow-fast, piecewise-linear, continuous systems of ODEs occurs on critical manifolds that are piecewise-linear. At points of non-differentiability, such manifolds are not normally hyperbolic and so the fundamental results of geometric singular perturbation theory do not apply. In this paper it is shown that if the critical manifold is globally stable then the system i… ▽ More The limiting slow dynamics of slow-fast, piecewise-linear, continuous systems of ODEs occurs on critical manifolds that are piecewise-linear. At points of non-differentiability, such manifolds are not normally hyperbolic and so the fundamental results of geometric singular perturbation theory do not apply. In this paper it is shown that if the critical manifold is globally stable then the system is forward invariant in a neighbourhood of the critical manifold. It follows that in this neighbourhood the dynamics is given by a regular perturbation of the dynamics on the critical manifold and so dimension reduction can be achieved. If the attraction is instead non-global, additional dynamics involving canards may be generated. For boundary equilibrium bifurcations of piecewise-smooth, continuous systems, the results are used to establish a general methodology by which such bifurcations can be analysed. This approach is illustrated with a three-dimensional model of ocean circulation. △ Less

Submitted 14 January, 2018; originally announced January 2018.

MSC Class: 34E13; 34E15; 34C45

Grazing-sliding bifurcations creating infinitely many attractors

Authors: David J. W. Simpson

Abstract: As the parameters of a piecewise-smooth system of ODEs are varied, a periodic orbit undergoes a bifurcation when it collides with a surface where the system is discontinuous. Under certain conditions this is a grazing-sliding bifurcation. Near grazing-sliding bifurcations structurally stable dynamics are captured by piecewise-linear continuous maps. Recently it was shown that maps of this class ca… ▽ More As the parameters of a piecewise-smooth system of ODEs are varied, a periodic orbit undergoes a bifurcation when it collides with a surface where the system is discontinuous. Under certain conditions this is a grazing-sliding bifurcation. Near grazing-sliding bifurcations structurally stable dynamics are captured by piecewise-linear continuous maps. Recently it was shown that maps of this class can have infinitely many asymptotically stable periodic solutions of a simple type. Here this result is used to show that at a grazing-sliding bifurcation an asymptotically stable periodic orbit can bifurcate into infinitely many asymptotically stable periodic orbits. For an abstract ODE system the periodic orbits are continued numerically revealing subsequent bifurcations at which they are destroyed. △ Less

Submitted 30 May, 2017; originally announced May 2017.

MSC Class: 37G15; 37G35; 34A36

The structure of mode-locking regions of piecewise-linear continuous maps: II. Skew sawtooth maps

Authors: David J. W. Simpson

Abstract: In two-parameter bifurcation diagrams of piecewise-linear continuous maps on $\mathbb{R}^N$, mode-locking regions typically have points of zero width known as shrinking points. Near any shrinking point, but outside the associated mode-locking region, a significant proportion of parameter space can be usefully partitioned into a two-dimensional array of nearly-hyperbolic annular sectors. The purpos… ▽ More In two-parameter bifurcation diagrams of piecewise-linear continuous maps on $\mathbb{R}^N$, mode-locking regions typically have points of zero width known as shrinking points. Near any shrinking point, but outside the associated mode-locking region, a significant proportion of parameter space can be usefully partitioned into a two-dimensional array of nearly-hyperbolic annular sectors. The purpose of this paper is to show that in these sectors the dynamics is well-approximated by a three-parameter family of skew sawtooth circle maps, where the relationship between the skew sawtooth maps and the $N$-dimensional map is fixed within each sector. The skew sawtooth maps are continuous, degree-one, and piecewise-linear, with two different slopes. They approximate the stable dynamics of the $N$-dimensional map with an error that goes to zero with the distance from the shrinking point. The results explain the complicated radial pattern of periodic, quasi-periodic, and chaotic dynamics that occurs near shrinking points. △ Less

Submitted 12 December, 2016; originally announced December 2016.

MSC Class: 37G15; 37G35; 39A23

The stability of fixed points on switching manifolds of piecewise-smooth continuous maps

Authors: David J. W. Simpson

Abstract: This paper concerns piecewise-smooth maps on $\mathbb{R}^d$ that are continuous but not differentiable on switching manifolds (where the functional form of the map changes). The stability of fixed points on switching manifolds is investigated in scenarios for which one-sided derivatives are locally bounded. The lack of differentiability allows fixed points to be Milnor attractors despite being uns… ▽ More This paper concerns piecewise-smooth maps on $\mathbb{R}^d$ that are continuous but not differentiable on switching manifolds (where the functional form of the map changes). The stability of fixed points on switching manifolds is investigated in scenarios for which one-sided derivatives are locally bounded. The lack of differentiability allows fixed points to be Milnor attractors despite being unstable. For this reason a measure-theoretic notion of stability is considered in addition to standard notions of stability. Locally the map is well approximated by a piecewise-linear map that is linearly homogeneous when the fixed point is at the origin. For the class of continuous, linearly homogeneous maps, and $o({\bf x})$ perturbations of these maps, a sufficient condition for the exponential stability of the origin is obtained. It is shown how the stability of the origin can be determined by analysing invariant probability measures of a map on $\mathbb{S}^{d-1}$. The results are illustrated for the two-dimensional border-collision normal form. The fixed point may be asymptotically stable even if both smooth components of the map are area-expanding, and unstable even if it is the $ω$-limit set of almost all points in $\mathbb{R}^d$. △ Less

Submitted 9 December, 2016; originally announced December 2016.

MSC Class: 39A30; 37G10; 37A05

Subsumed homoclinic connections and infinitely many coexisting attractors in piecewise-linear maps

Authors: David J. W. Simpson, Christopher P. Tuffley

Abstract: We establish an equivalence between infinitely many asymptotically stable periodic solutions and subsumed homoclinic connections for $N$-dimensional piecewise-linear continuous maps. These features arise as a codimension-three phenomenon. The periodic solutions are single-round: they each involve one excursion away from a central saddle-type periodic solution. The homoclinic connection is subsumed… ▽ More We establish an equivalence between infinitely many asymptotically stable periodic solutions and subsumed homoclinic connections for $N$-dimensional piecewise-linear continuous maps. These features arise as a codimension-three phenomenon. The periodic solutions are single-round: they each involve one excursion away from a central saddle-type periodic solution. The homoclinic connection is subsumed in the sense that one branch of the unstable manifold of the saddle solution is contained entirely within its stable manifold. The results are proved by using exact expressions for the periodic solutions and components of the stable and unstable manifolds which are available because the maps are piecewise-linear. We also describe a practical approach for finding this phenomenon in the parameter space of a map and illustrate the results with the three-dimensional border-collision normal form. △ Less

Submitted 31 October, 2016; originally announced November 2016.

MSC Class: 37G25; 37G15

Jitter in Dynamical Systems with Intersecting Discontinuity Surfaces

Authors: Mike R. Jeffrey, Georgios Kafanas, David J. W. Simpson

Abstract: Mathematical models involving switches --- in the form of differential equations with discontinuities --- can accomodate real-world non-idealities through perturbations by hysteresis, time-delay, discretization, and noise. These are used to model the processes associated with switching in electronic control, mechanical contact, predator-prey preferences, and genetic or cellular regulation. The eff… ▽ More Mathematical models involving switches --- in the form of differential equations with discontinuities --- can accomodate real-world non-idealities through perturbations by hysteresis, time-delay, discretization, and noise. These are used to model the processes associated with switching in electronic control, mechanical contact, predator-prey preferences, and genetic or cellular regulation. The effect of such perturbations on rapid switching dynamics about a single switch are somewhat benign: in the limit that the size of the perturbation goes to zero the dynamics is given by Filippov's sliding solution. When multiple switches are involved, however, perturbations can have complicated effects, as shown in this paper. In the zero-perturbation limit, hysteresis, time-delay, and discretization cause erratic variation or `jitter' for stable sliding motion, whilst noise generates a relatively regular sliding solution similar to the canopy solution (an extension of Filippov's solution to multiple switches). We illustrate the results with a model of a switched power circuit, and showcase a variety of complex phenomena that perturbations can generate, including chaotic dynamics, exit selection, and coexisting sliding solutions. △ Less

Submitted 13 October, 2016; originally announced October 2016.

MSC Class: 34A36

The instantaneous local transition of a stable equilibrium to a chaotic attractor in piecewise-smooth systems of differential equations

Authors: D. J. W. Simpson

Abstract: An attractor of a piecewise-smooth continuous system of differential equations can bifurcate from a stable equilibrium to a more complicated invariant set when it collides with a switching manifold under parameter variation. Here numerical evidence is provided to show that this invariant set can be chaotic. The transition occurs locally (in a neighbourhood of a point) and instantaneously (for a si… ▽ More An attractor of a piecewise-smooth continuous system of differential equations can bifurcate from a stable equilibrium to a more complicated invariant set when it collides with a switching manifold under parameter variation. Here numerical evidence is provided to show that this invariant set can be chaotic. The transition occurs locally (in a neighbourhood of a point) and instantaneously (for a single critical parameter value). This phenomenon is illustrated for the normal form of a boundary equilibrium bifurcation in three dimensions using parameter values adapted from of a piecewise-linear model of a chaotic electrical circuit. The variation of a secondary parameter reveals a period-doubling cascade to chaos with windows of periodicity. The dynamics is well approximated by a one-dimensional unimodal map which explains this bifurcation structure. The robustness of the attractor is also investigated by studying the influence of nonlinear terms. △ Less

Submitted 31 May, 2016; originally announced June 2016.

MSC Class: 37G35; 37D45

Unfolding homoclinic connections formed by corner intersections in piecewise-smooth maps

Authors: David J. W. Simpson

Abstract: The stable and unstable manifolds of an invariant set of a piecewise-smooth map are themselves piecewise-smooth. Consequently, as parameters of a piecewise-smooth map are varied, an invariant set can develop a homoclinic connection when its stable manifold intersects a non-differentiable point of its unstable manifold (or vice-versa). This is a codimension-one bifurcation analogous to a homoclinic… ▽ More The stable and unstable manifolds of an invariant set of a piecewise-smooth map are themselves piecewise-smooth. Consequently, as parameters of a piecewise-smooth map are varied, an invariant set can develop a homoclinic connection when its stable manifold intersects a non-differentiable point of its unstable manifold (or vice-versa). This is a codimension-one bifurcation analogous to a homoclinic tangency of a smooth map, referred to here as a homoclinic corner. This paper presents an unfolding of generic homoclinic corners for saddle fixed points of planar piecewise-smooth continuous maps. It is shown that a sequence of border-collision bifurcations limits to a homoclinic corner and that all nearby periodic solutions are unstable. △ Less

Submitted 15 March, 2016; originally announced March 2016.

MSC Class: 37G25 37G15 37E30

The structure of mode-locking regions of piecewise-linear continuous maps

Authors: David J. W. Simpson

Abstract: The mode-locking regions of a dynamical system are the subsets of the parameter space of the system within which there exists an attracting periodic solution. For piecewise-linear continuous maps, these regions have a curious chain structure with points of zero width called shrinking points. In this paper we perform a local analysis about an arbitrary shrinking point. This is achieved by studying… ▽ More The mode-locking regions of a dynamical system are the subsets of the parameter space of the system within which there exists an attracting periodic solution. For piecewise-linear continuous maps, these regions have a curious chain structure with points of zero width called shrinking points. In this paper we perform a local analysis about an arbitrary shrinking point. This is achieved by studying the symbolic itineraries of periodic solutions in nearby mode-locking regions and performing an asymptotic analysis on one-dimensional slow manifolds in order to build a comprehensive theoretical framework for the local dynamics. We obtain leading-order quantitative descriptions for the shape of nearby mode-locking regions, the location of nearby shrinking points, and the key properties of these shrinking points. We apply the results to the three-dimensional border-collision normal form, nonsmooth Neimark-Sacker-like bifurcations, and grazing-sliding bifurcations in a model of a dry friction oscillator. △ Less

Submitted 5 October, 2015; originally announced October 2015.

MSC Class: 37G15; 37G35; 39A28

Fast phase randomisation via two-folds

Authors: D. J. W. Simpson, M. R. Jeffrey

Abstract: A two-fold is a singular point on the discontinuity surface of a piecewise-smooth vector field, at which the vector field is tangent to the discontinuity surface on both sides. If an orbit passes through an invisible two-fold (also known as a Teixeira singularity) before settling to regular periodic motion, then the phase of that motion cannot be determined from initial conditions, and in the pres… ▽ More A two-fold is a singular point on the discontinuity surface of a piecewise-smooth vector field, at which the vector field is tangent to the discontinuity surface on both sides. If an orbit passes through an invisible two-fold (also known as a Teixeira singularity) before settling to regular periodic motion, then the phase of that motion cannot be determined from initial conditions, and in the presence of small noise the asymptotic phase of a large number of sample solutions is highly random. In this paper we show how the probability distribution of the asymptotic phase depends on the global nonlinear dynamics. We also show how the phase of a smooth oscillator can be randomised by applying a simple discontinuous control law that generates an invisible two-fold. We propose that such a control law can be used to desynchronise a collection of oscillators, and that this manner of phase randomisation is fast compared to existing methods (which use fixed points as phase singularities) because there is no slowing of the dynamics near a two-fold. △ Less

Submitted 21 July, 2015; originally announced July 2015.

Comments: submitted to Proc R Soc A

MSC Class: 37E99; 34H05; 37H99

The influence of localised randomness on regular grazing bifurcations with applications to impacting dynamics

Authors: David J. W. Simpson, Rachel Kuske

Abstract: This paper concerns stochastic perturbations of piecewise-smooth ODE systems relevant for vibro-impacting dynamics, where impact events constitute the primary source of randomness. Such systems are characterised by the existence of switching manifolds that divide the phase space into regions where the system is smooth. The initiation of impacts is captured by a grazing bifurcation, at which a peri… ▽ More This paper concerns stochastic perturbations of piecewise-smooth ODE systems relevant for vibro-impacting dynamics, where impact events constitute the primary source of randomness. Such systems are characterised by the existence of switching manifolds that divide the phase space into regions where the system is smooth. The initiation of impacts is captured by a grazing bifurcation, at which a periodic orbit describing motion without impacts develops a tangential intersection with a switching manifold. Oscillatory dynamics near regular grazing bifurcations are described by piecewise-smooth maps involving a square-root singularity, known as Nordmark maps. We consider three scenarios where coloured noise only affects impacting dynamics, and derive three two-dimensional stochastic Nordmark maps with the noise appearing in different nonlinear or multiplicative ways, depending on the source of the noise. Consequently the stochastic dynamics differs between the three noise sources, and is fundamentally different to that of a Nordmark map with additive noise. This critical dependence on the nature of the noise is illustrated with a prototypical one-degree-of-freedom impact oscillator. △ Less

Submitted 9 February, 2015; originally announced February 2015.

Comments: Submitted to: Nonlinear Dyn

MSC Class: 37G15; 34F05; 39A50

On the relative coexistence of fixed points and period-two solutions near border-collision bifurcations

Authors: David J. W. Simpson

Abstract: At a border-collision bifurcation a fixed point of a piecewise-smooth map intersects a surface where the functional form of the map changes. Near a generic border-collision bifurcation there are two fixed points, each of which exists on one side of the bifurcation. A simple eigenvalue condition indicates whether the fixed points exist on different sides of the bifurcation (this case can be interpr… ▽ More At a border-collision bifurcation a fixed point of a piecewise-smooth map intersects a surface where the functional form of the map changes. Near a generic border-collision bifurcation there are two fixed points, each of which exists on one side of the bifurcation. A simple eigenvalue condition indicates whether the fixed points exist on different sides of the bifurcation (this case can be interpreted as the persistence of a single fixed point), or on the same side of the bifurcation (in which case the bifurcation is akin to a saddle-node bifurcation). A similar eigenvalue condition indicates whether or not there exists a period-two solution on one side of the bifurcation. Previously these conditions have been combined to obtain five distinct scenarios for the existence and relative coexistence of fixed points and period-two solutions near border-collision bifurcations. In this Letter, it is shown that one of these scenarios, namely that two fixed points exist on one side of the bifurcation and a period-two solution exists on the other side of the bifurcation, cannot occur. The remaining four scenarios are feasible. Therefore there are exactly four distinct scenarios for fixed points and period-two solutions near border-collision bifurcations. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 8 pages, 1 figure, submitted to Appl. Math. Lett

MSC Class: 39A28; 37G99

Stochastic Perturbations of Periodic Orbits with Sliding

Authors: David J. W. Simpson, Rachel Kuske

Abstract: Vector fields that are discontinuous on codimension-one surfaces are known as Filippov systems and can have attracting periodic orbits involving segments that are contained on a discontinuity surface of the vector field. In this paper we consider the addition of small noise to a general Filippov system and study the resulting stochastic dynamics near such a periodic orbit. Since a straight-forward… ▽ More Vector fields that are discontinuous on codimension-one surfaces are known as Filippov systems and can have attracting periodic orbits involving segments that are contained on a discontinuity surface of the vector field. In this paper we consider the addition of small noise to a general Filippov system and study the resulting stochastic dynamics near such a periodic orbit. Since a straight-forward asymptotic expansion in terms of the noise amplitude is not possible due to the presence of discontinuity surfaces, in order to quantitatively determine the basic statistical properties of the dynamics, we treat different parts of the periodic orbit separately. Dynamics distant from discontinuity surfaces is analyzed by the use of a series expansion of the transitional probability density function. Stochastically perturbed sliding motion is analyzed through stochastic averaging methods. The influence of noise on points at which the periodic orbit escapes a discontinuity surface is determined by zooming into the transition point. We combine the results to quantitatively determine the effect of noise on the oscillation time for a three-dimensional canonical model of relay control. For some parameter values of this model, small noise induces a significantly large reduction in the average oscillation time. By interpreting our results geometrically, we are able to identify four features of the relay control system that contribute to this phenomenon. △ Less

Submitted 27 April, 2014; originally announced April 2014.

Comments: 44 pages, 9 figures, submitted to: J Nonlin. Sci

MSC Class: 34F05; 37H99

Scaling laws for large numbers of coexisting attracting periodic solutions in the border-collision normal form

Authors: David J. W. Simpson

Abstract: A wide variety of intricate dynamics may be created at border-collision bifurcations of piecewise-smooth maps, where a fixed point collides with a surface at which the map is nonsmooth. For the border-collision normal form in two dimensions, a codimension-three scenario was described in previous work at which the map has a saddle-type periodic solution and an infinite sequence of stable periodic s… ▽ More A wide variety of intricate dynamics may be created at border-collision bifurcations of piecewise-smooth maps, where a fixed point collides with a surface at which the map is nonsmooth. For the border-collision normal form in two dimensions, a codimension-three scenario was described in previous work at which the map has a saddle-type periodic solution and an infinite sequence of stable periodic solutions that limit to a homoclinic orbit of the saddle-type solution. This paper introduces an alternate scenario of the same map at which there is an infinite sequence of stable periodic solutions due to the presence of a repeated unit eigenvalue in the linearization of some iterate of the map. It is shown that this scenario is codimension-four and that the sequence of periodic solutions is unbounded, aligning with eigenvectors corresponding to the unit eigenvalue. Arbitrarily many attracting periodic solutions coexist near either scenario. It is shown that if $K$ denotes the number of attracting periodic solutions, and $\varepsilon$ denotes the distance in parameter space from one of the two scenarios, then in the codimension-three case $\varepsilon$ scales with $λ^{-K}$, where $λ> 1$ denotes the unstable stability multiplier associated with the saddle-type periodic solution, and in the codimension-four case $\varepsilon$ scales with $K^{-2}$. Since $K^{-2}$ decays significantly slower than $λ^{-K}$, large numbers of attracting periodic solutions coexist in open regions of parameter space extending substantially further from the codimension-four scenarios than the codimension-three scenarios. △ Less

Submitted 18 March, 2014; originally announced March 2014.

Comments: 37 pages, 5 figures, submitted to: Int. J. Bifurcation Chaos

MSC Class: 37G25 37G15 37E30

Sequences of Periodic Solutions and Infinitely Many Coexisting Attractors in the Border-Collision Normal Form

Authors: David J. W. Simpson

Abstract: The border-collision normal form is a piecewise-linear continuous map on $\mathbb{R}^N$ that describes dynamics near border-collision bifurcations of nonsmooth maps. This paper studies a codimension-three scenario at which the border-collision normal form with $N=2$ exhibits infinitely many attracting periodic solutions. In this scenario there is a saddle-type periodic solution with branches of st… ▽ More The border-collision normal form is a piecewise-linear continuous map on $\mathbb{R}^N$ that describes dynamics near border-collision bifurcations of nonsmooth maps. This paper studies a codimension-three scenario at which the border-collision normal form with $N=2$ exhibits infinitely many attracting periodic solutions. In this scenario there is a saddle-type periodic solution with branches of stable and unstable manifolds that are coincident, and an infinite sequence of attracting periodic solutions that converges to an orbit homoclinic to the saddle-type solution. Several important features of the scenario are shown to be universal, and three examples are given. For one of these examples infinite coexistence is proved directly by explicitly computing periodic solutions in the infinite sequence. △ Less

Submitted 9 December, 2013; originally announced December 2013.

Comments: 23 pages, 5 figures

MSC Class: 37G25; 37G15; 37E30