-
Uncountably many cases of Filippov's sewed focus
Authors:
Paul Glendinning,
S. John Hogan,
Martin Homer,
Mike R. Jeffrey,
Robert Szalai
Abstract:
The sewed focus is one of the singularities of planar piecewise smooth dynamical systems. Defined by Filippov in his book 'Differential Equations with Discontinuous Righthand Sides' (Kluwer, 1988), it consists of two invisible tangencies either side of the switching manifold. In the case of analytic focus-like behaviour, Filippov showed that the approach to the singularity is in infinite time. For…
▽ More
The sewed focus is one of the singularities of planar piecewise smooth dynamical systems. Defined by Filippov in his book 'Differential Equations with Discontinuous Righthand Sides' (Kluwer, 1988), it consists of two invisible tangencies either side of the switching manifold. In the case of analytic focus-like behaviour, Filippov showed that the approach to the singularity is in infinite time. For the case of non-analytic focus-like behaviour, we show that the approach to the singularity can be in finite time. For the non-analytic sewed centre-focus, we show that there are uncountably many different topological types of local dynamics, including cases with infinitely many stable periodic orbits, and show how to create systems with periodic orbits intersecting any bounded symmetric closed set.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
The rocking can: a reduced equation of motion and a matched asymptotic solution
Authors:
B. W. Collins,
C. L. Hall,
S. J. Hogan
Abstract:
The rocking can problem consists of a empty drinks can standing upright on a horizontal plane which, when tipped back to a single contact point and released, rocks down towards the flat and level state. At the bottom of the motion, the contact point moves quickly around the rim of the can. The can then rises up again, having rotated through some finite angle of turn $Δψ$. We recast the problem as…
▽ More
The rocking can problem consists of a empty drinks can standing upright on a horizontal plane which, when tipped back to a single contact point and released, rocks down towards the flat and level state. At the bottom of the motion, the contact point moves quickly around the rim of the can. The can then rises up again, having rotated through some finite angle of turn $Δψ$. We recast the problem as a second order ODE and find a Frobenius solution. We then use this Frobenius solution to derive a reduced equation of motion. The rocking can exhibits two distinct phenomena: behaviour very similar to an inverted pendulum, and dynamics with the angle of turn. This distinction allows us to use matched asymptotic expansions to derive a uniformly valid solution that is in excellent agreement with numerical calculations of the reduced equation of motion. The solution of the inner problem was used to investigate of the angle of turn phenomenon. We also examine the motion of the contact locus $\underline{x}_l$ and see a range of different trajectories, from circular to petaloid motion and even cusp-like behaviour. Finally, we obtain an approximate lower bound for the required coefficient of friction to avoid slip.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
The effects of delay on the HKB model of human motor coordination
Authors:
Lara I. Allen,
Tamas G. Molnar,
Zoltan Dombovari,
S. John Hogan
Abstract:
In this paper, we analyse the celebrated Haken-Kelso-Bunz (HKB) model, describing the dynamics of bimanual coordination, in the presence of delay. We study the linear dynamics, stability, nonlinear behaviour and bifurcations of this model by both theoretical and numerical analysis. We calculate in-phase and anti-phase limit cycles as well as quasi-periodic solutions via double Hopf bifurcation ana…
▽ More
In this paper, we analyse the celebrated Haken-Kelso-Bunz (HKB) model, describing the dynamics of bimanual coordination, in the presence of delay. We study the linear dynamics, stability, nonlinear behaviour and bifurcations of this model by both theoretical and numerical analysis. We calculate in-phase and anti-phase limit cycles as well as quasi-periodic solutions via double Hopf bifurcation analysis and centre manifold reduction. Moreover, we uncover further details on the global dynamic behaviour by numerical continuation, including the occurrence of limit cycles in phase quadrature and 1-1 locking of quasi-periodic solutions.
△ Less
Submitted 8 August, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
The Geometry of the Painlevé paradox
Authors:
Noah Cheesman,
S. John Hogan,
Kristian Uldall Kristiansen
Abstract:
Painlevé showed that there can be inconsistency and indeterminacy in solutions to the equations of motion of a 2D rigid body moving on a sufficiently rough surface. The study of Painlevé paradoxes in 3D has received far less attention. In this paper, we highlight the pivotal role in the dynamics of the azimuthal angular velocity Psi by proving the existence of three critical values of Psi, one of…
▽ More
Painlevé showed that there can be inconsistency and indeterminacy in solutions to the equations of motion of a 2D rigid body moving on a sufficiently rough surface. The study of Painlevé paradoxes in 3D has received far less attention. In this paper, we highlight the pivotal role in the dynamics of the azimuthal angular velocity Psi by proving the existence of three critical values of Psi, one of which occurs independently of any paradox. We show that the 2D problem is highly singular and uncover a rich geometry in the 3D problem which we use to explain recent numerical results.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Regularisation of isolated codimension-2 discontinuity sets
Authors:
Noah Cheesman,
Kristian Uldall Kristiansen,
S. J. Hogan
Abstract:
Work on standard piecewise-smooth (PWS) dynamical systems, with codimension-1 discontinuity sets, relies on the Filippov framework, which does not always readily generalise to systems with higher codimension discontinuities. These higher order degeneracies occur in applications, with spatial Coulomb friction being the prominent example.
In this work, we consider PWS systems with isolated codimen…
▽ More
Work on standard piecewise-smooth (PWS) dynamical systems, with codimension-1 discontinuity sets, relies on the Filippov framework, which does not always readily generalise to systems with higher codimension discontinuities. These higher order degeneracies occur in applications, with spatial Coulomb friction being the prominent example.
In this work, we consider PWS systems with isolated codimension-2 discontinuity sets using regularization and blowup to study the dynamics. We present a general framework and give specific results for the local dynamics in a class of problems, and generalising Filippov sliding, crossing and sliding vector fields.
△ Less
Submitted 27 May, 2021; v1 submitted 26 May, 2021;
originally announced May 2021.
-
A dynamical systems model of unorganised segregation in two neighbourhoods
Authors:
D. J. Haw,
S. J. Hogan
Abstract:
We present a complete analysis of the Schelling dynamical system [Haw2018] of two connected neighbourhoods, with or without population reservoirs, for different types of linear and nonlinear tolerance schedules. We show that stable integration is only possible when the minority is small and combined tolerance is large. Unlike the case of the single neighbourhood, limiting one population does not n…
▽ More
We present a complete analysis of the Schelling dynamical system [Haw2018] of two connected neighbourhoods, with or without population reservoirs, for different types of linear and nonlinear tolerance schedules. We show that stable integration is only possible when the minority is small and combined tolerance is large. Unlike the case of the single neighbourhood, limiting one population does not necessarily produce stable integration and may destroy it. We conclude that a growing minority can only remain integrated if the majority increases its own tolerance. Our results show that an integrated single neighbourhood may not remain so when a connecting neighbourhood is created.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Le canard de Painlevé
Authors:
K. Uldall Kristiansen,
S. J. Hogan
Abstract:
We consider the problem of a slender rod slipping along a rough surface. Painlevé \cite{Painleve1895, Painleve1905a,Painleve1905b} showed that the governing rigid body equations for this problem can exhibit multiple solutions (the {\it indeterminate} case) or no solutions at all (the {\it inconsistent} case), provided the coefficient of friction $μ$ exceeds a certain critical value $μ_P$. Subseque…
▽ More
We consider the problem of a slender rod slipping along a rough surface. Painlevé \cite{Painleve1895, Painleve1905a,Painleve1905b} showed that the governing rigid body equations for this problem can exhibit multiple solutions (the {\it indeterminate} case) or no solutions at all (the {\it inconsistent} case), provided the coefficient of friction $μ$ exceeds a certain critical value $μ_P$. Subsequently Génot and Brogliato \cite{GenotBrogliato1999} proved that, from a consistent state, the rod cannot reach an inconsistent state through slipping. Instead there is a special solution for $μ>μ_C>μ_P$, with $μ_C$ a new critical value of the coefficient of friction, where the rod continues to slip until it reaches a singular `$0/0$' point $P$. Even though the rigid body equations can not describe what happens to the rod beyond the singular point $P$, it is possible to extend the special solution into the region of indeterminacy. This extended solution is very reminiscent of a {\it canard} \cite{Benoit81}. To overcome the inadequacy of the rigid body equations beyond $P$, the rigid body assumption is relaxed in the neighbourhood of the point of contact of the rod with the rough surface. Physically this corresponds to assuming a small compliance there. It is natural to ask what happens to both the point $P$ and the special solution under this regularization, in the limit of vanishing compliance. In this paper, we prove the existence of a canard orbit in a reduced $4D$ slow-fast phase space, connecting a $2D$ focus-type slow manifold with the stable manifold of a $2D$ saddle-type slow manifold. The proof combines several methods from local dynamical system theory, including blowup. The analysis is not standard, since we only gain ellipticity rather than hyperbolicity with our initial blowup.
△ Less
Submitted 27 September, 2018; v1 submitted 22 March, 2017;
originally announced March 2017.
-
On the regularization of impact without collision: the Painlevé paradox and compliance
Authors:
S. J. Hogan,
K. Uldall Kristiansen
Abstract:
We consider the problem of a rigid body, subject to a unilateral constraint, in the presence of Coulomb friction. We regularize the problem by assuming compliance (with both stiffness and damping) at the point of contact, for a general class of normal reaction forces. Using a rigorous mathematical approach, we recover impact without collision (IWC) in both the inconsistent and indeterminate Painle…
▽ More
We consider the problem of a rigid body, subject to a unilateral constraint, in the presence of Coulomb friction. We regularize the problem by assuming compliance (with both stiffness and damping) at the point of contact, for a general class of normal reaction forces. Using a rigorous mathematical approach, we recover impact without collision (IWC) in both the inconsistent and indeterminate Painlevé paradoxes, in the latter case giving an exact formula for conditions that separate IWC and lift-off. We solve the problem for arbitrary values of the compliance damping and give explicit asymptotic expressions in the limiting cases of small and large damping, all for a large class of rigid bodies.
△ Less
Submitted 2 March, 2017; v1 submitted 1 October, 2016;
originally announced October 2016.
-
Resolution of the piecewise smooth visible-invisible two-fold singularity in $\mathbb{R}^3$ using regularization and blowup
Authors:
Kristian Uldall Kristiansen,
S. John Hogan
Abstract:
Two-fold singularities in a piecewise smooth (PWS) dynamical system in $\mathbb{R}^3$ have long been the subject of intensive investigation. The interest stems from the fact that trajectories which enter the two-fold are associated with forward non-uniqueness. The key questions are: How do we continue orbits forward in time? Are there orbits that are distinguished among all the candidates?
We ad…
▽ More
Two-fold singularities in a piecewise smooth (PWS) dynamical system in $\mathbb{R}^3$ have long been the subject of intensive investigation. The interest stems from the fact that trajectories which enter the two-fold are associated with forward non-uniqueness. The key questions are: How do we continue orbits forward in time? Are there orbits that are distinguished among all the candidates?
We address these questions by regularizing the PWS dynamical system for the case of the visible-invisible two-fold. Within this framework, we consider a regularization function outside the class of Sotomayor and Teixera. We then undertake a rigorous investigation, using geometric singular perturbation theory and blowup. We show that there is indeed a forward orbit $U$ that is distinguished amongst all the possible forward orbits leaving the two-fold. Working with a normal form of the visible-invisible two-fold, we show that attracting limit cycles can be obtained (due to the contraction towards $U$), upon composition with a global return mechanism. We provide some illustrative examples.
△ Less
Submitted 27 September, 2018; v1 submitted 2 February, 2016;
originally announced February 2016.
-
Regularizations of two-fold bifurcations in planar piecewise smooth systems using blow up
Authors:
K. Uldall Kristiansen,
S. J. Hogan
Abstract:
We use blowup to study the regularization of codimension one two-fold singularities in planar piecewise smooth (PWS) dynamical systems. We focus on singular canards, pseudo-equlibria and limit cycles that can occur in the PWS system. Using the regularization of Sotomayor and Teixeira \cite{Sotomayor96}, we show rigorously how singular canards can persist and how the bifurcation of pseudo-equilibri…
▽ More
We use blowup to study the regularization of codimension one two-fold singularities in planar piecewise smooth (PWS) dynamical systems. We focus on singular canards, pseudo-equlibria and limit cycles that can occur in the PWS system. Using the regularization of Sotomayor and Teixeira \cite{Sotomayor96}, we show rigorously how singular canards can persist and how the bifurcation of pseudo-equilibria is related to bifurcations of equilibria in the regularized system. We also show that PWS limit cycles are connected to Hopf bifurcations of the regularization. In addition, we show how regularization can create another type of limit cycle that does not appear to be present in the original PWS system. For both types of limit cycle, we show that the criticality of the Hopf bifurcation that gives rise to periodic orbits is strongly dependent on the precise form of the regularization. Finally, we analyse the limit cycles as locally unique families of periodic orbits of the regularization and connect them, when possible, to limit cycles of the PWS system. We illustrate our analysis with numerical simulations and show how the regularized system can undergo a canard explosion phenomenon.
△ Less
Submitted 24 July, 2015; v1 submitted 22 February, 2015;
originally announced February 2015.
-
On the use of blow up to study regularizations of singularities of piecewise smooth dynamical systems in $\mathbb{R}^3$
Authors:
K. Uldall Kristiansen,
S. J. Hogan
Abstract:
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{Sotomayor…
▽ More
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.
△ Less
Submitted 16 December, 2014; v1 submitted 4 August, 2014;
originally announced August 2014.
-
The scattering map in two coupled piecewise-smooth systems, with numerical application to rocking blocks
Authors:
A. Granados,
S. J. Hogan,
T. M. Seara
Abstract:
We consider a non-autonomous dynamical system formed by coupling two piecewise-smooth systems in $\RR^2$ through a non-autonomous periodic perturbation. We study the dynamics around one of the heteroclinic orbits of one of the piecewise-smooth systems. In the unperturbed case, the system possesses two $C^0$ normally hyperbolic invariant manifolds of dimension two with a couple of three dimensional…
▽ More
We consider a non-autonomous dynamical system formed by coupling two piecewise-smooth systems in $\RR^2$ through a non-autonomous periodic perturbation. We study the dynamics around one of the heteroclinic orbits of one of the piecewise-smooth systems. In the unperturbed case, the system possesses two $C^0$ normally hyperbolic invariant manifolds of dimension two with a couple of three dimensional heteroclinic manifolds between them. These heteroclinic manifolds are foliated by heteroclinic connections between $C^0$ tori located at the same energy levels. By means of the {\em impact map} we prove the persistence of these objects under perturbation. In addition, we provide sufficient conditions of the existence of transversal heteroclinic intersections through the existence of simple zeros of Melnikov-like functions. The heteroclinic manifolds allow us to define the {\em scattering map}, which links asymptotic dynamics in the invariant manifolds through heteroclinic connections. First order properties of this map provide sufficient conditions for the asymptotic dynamics to be located in different energy levels in the perturbed invariant manifolds. Hence we have an essential tool for the construction of a heteroclinic skeleton which, when followed, can lead to the existence of Arnol'd diffusion: trajectories that, on large time scales, destabilize the system by further accumulating energy. We validate all the theoretical results with detailed numerical computations of a mechanical system with impacts, formed by the linkage of two rocking blocks with a spring.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Stochastic Regular Grazing Bifurcations
Authors:
David J. W. Simpson,
S. J. Hogan,
Rachel Kuske
Abstract:
A grazing bifurcation corresponds to the collision of a periodic orbit with a switching manifold in a piecewise-smooth ODE system and often generates complicated dynamics. The lowest order terms of the induced Poincare map expanded about a regular grazing bifurcation constitute a Nordmark map. In this paper we study a normal form of the Nordmark map in two dimensions with additive Gaussian noise o…
▽ More
A grazing bifurcation corresponds to the collision of a periodic orbit with a switching manifold in a piecewise-smooth ODE system and often generates complicated dynamics. The lowest order terms of the induced Poincare map expanded about a regular grazing bifurcation constitute a Nordmark map. In this paper we study a normal form of the Nordmark map in two dimensions with additive Gaussian noise of amplitude, epsilson [e]. We show that this particular noise formulation arises in a general setting and consider a harmonically forced linear oscillator subject to compliant impacts to illustrate the accuracy of the map. Numerically computed invariant densities of the stochastic Nordmark map can take highly irregular forms, or, if there exists an attracting period-n solution when e = 0, be well approximated by the sum of n Gaussian densities centred about each point of the deterministic solution, and scaled by 1/n, for sufficiently small e > 0. We explain the irregular forms and calculate the covariance matrices associated with the Gaussian approximations in terms of the parameters of the map. Close to the grazing bifurcation the size of the invariant density may be proportional to the square-root of e, as a consequence of a square-root singularity in the map. Sequences of transitions between different dynamical regimes that occur as the primary bifurcation parameter is varied have not been described previously.
△ Less
Submitted 12 July, 2012; v1 submitted 11 July, 2012;
originally announced July 2012.
-
Control of spatiotemporal patterns in the Gray-Scott model
Authors:
Y. N. Kyrychko,
K. B. Blyuss,
S. J. Hogan,
E. Schoell
Abstract:
This paper studies the effects of a time-delayed feedback control on the appearance and development of spatiotemporal patterns in a reaction-diffusion system. Different types of control schemes are investigated, including single-species, diagonal, and mixed control. This approach helps to unveil different dynamical regimes, which arise from chaotic state or from traveling waves. In the case of spa…
▽ More
This paper studies the effects of a time-delayed feedback control on the appearance and development of spatiotemporal patterns in a reaction-diffusion system. Different types of control schemes are investigated, including single-species, diagonal, and mixed control. This approach helps to unveil different dynamical regimes, which arise from chaotic state or from traveling waves. In the case of spatiotemporal chaos, the control can either stabilize uniform steady states or lead to bistability between a trivial steady state and a propagating traveling wave. Furthermore, when the basic state is a stable traveling pulse, the control is able to advance stationary Turing patterns or yield the above-mentioned bistability regime. In each case, the stability boundary is found in the parameter space of the control strength and the time delay, and numerical simulations suggest that diagonal control fails to control the spatiotemporal chaos.
△ Less
Submitted 30 January, 2012;
originally announced January 2012.
-
The Melnikov method and subharmonic orbits in a piecewise smooth system
Authors:
A. Granados,
S. J. Hogan,
T. M. Seara
Abstract:
In this work we consider a two-dimensional piecewise smooth system, defined in two domains separated by the switching manifold $x=0$. We assume that there exists a piecewise-defined continuous Hamiltonian that is a first integral of the system. We also suppose that the system possesses an invisible fold-fold at the origin and two heteroclinic orbits connecting two hyperbolic critical points on eit…
▽ More
In this work we consider a two-dimensional piecewise smooth system, defined in two domains separated by the switching manifold $x=0$. We assume that there exists a piecewise-defined continuous Hamiltonian that is a first integral of the system. We also suppose that the system possesses an invisible fold-fold at the origin and two heteroclinic orbits connecting two hyperbolic critical points on either side of $x=0$. Finally, we assume that the region closed by these heteroclinic connections is fully covered by periodic orbits surrounding the origin, whose periods monotonically increase as they approach the heteroclinic connection. When considering a non-autonomous ($T$-periodic) Hamiltonian perturbation of amplitude $\varepsilon$, using an impact map, we rigorously prove that, for every $n$ and $m$ relatively prime and $\varepsilon>0$ small enough, there exists a $nT$-periodic orbit impacting $2m$ times with the switching manifold at every period if a modified subharmonic Melnikov function possesses a simple zero. We also prove that, if the orbits are discontinuous when they cross $x=0$, then all these orbits exist if the relative size of $\varepsilon>0$ with respect to the magnitude of this jump is large enough. We also obtain similar conditions for the splitting of the heteroclinic connections.
△ Less
Submitted 26 January, 2012;
originally announced January 2012.
-
Dynamics of symmetric dynamical systems with delayed switching
Authors:
J. Sieber,
P. Kowalczyk,
S. J. Hogan,
M. di Bernardo
Abstract:
We study dynamical systems that switch between two different vector fields depending on a discrete variable and with a delay. When the delay reaches a problem-dependent critical value so-called event collisions occur. This paper classifies and analyzes event collisions, a special type of discontinuity induced bifurcations, for periodic orbits. Our focus is on event collisions of symmetric period…
▽ More
We study dynamical systems that switch between two different vector fields depending on a discrete variable and with a delay. When the delay reaches a problem-dependent critical value so-called event collisions occur. This paper classifies and analyzes event collisions, a special type of discontinuity induced bifurcations, for periodic orbits. Our focus is on event collisions of symmetric periodic orbits in systems with full reflection symmetry, a symmetry that is prevalent in applications. We derive an implicit expression for the Poincare map near the colliding periodic orbit. The Poincare map is piecewise smooth, finite-dimensional, and changes the dimension of its image at the collision. In the second part of the paper we apply this general result to the class of unstable linear single-degree-of-freedom oscillators where we detect and continue numerically collisions of invariant tori. Moreover, we observe that attracting closed invariant polygons emerge at the torus collision.
△ Less
Submitted 2 April, 2008;
originally announced April 2008.
