-
Elementary catastrophes underlying bifurcations of vector fields and PDEs
Authors:
Mike R Jeffrey
Abstract:
A practical method was proposed recently for finding local bifurcation points in an n-dimensional vector field F by seeking their 'underlying catastrophes'. Here we apply the idea to the homogeneous steady states of a partial differential equation as an example of the role that catastrophes can play in reaction diffusion. What are these 'underlying' catastrophes? We then show they essentially defi…
▽ More
A practical method was proposed recently for finding local bifurcation points in an n-dimensional vector field F by seeking their 'underlying catastrophes'. Here we apply the idea to the homogeneous steady states of a partial differential equation as an example of the role that catastrophes can play in reaction diffusion. What are these 'underlying' catastrophes? We then show they essentially define a restricted class of 'solvable' rather than 'all classifiable' singularities, by identifying degenerate zeros of a vector field F without taking into account its vectorial character. As a result they are defined by a minimal set of r analytic conditions that provide a practical means to solve for them, and a huge reduction from the calculations needed to classify a singularity, which we will also enumerate here. In this way, underlying catastrophes seem to allow us apply Thom's elementary catastrophes in much broader contexts.
△ Less
Submitted 7 June, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Catastrophe conditions for vector fields in $\mathbb R^n$
Authors:
Mike R. Jeffrey
Abstract:
Practical conditions are given here for finding and classifying high codimension intersection points of $n$ hypersurfaces in $n$ dimensions. By interpreting those hypersurfaces as the nullclines of a vector field in $\mathbb R^n$, we broaden the concept of Thom's catastrophes to find bifurcation points of (non-gradient) vector fields of any dimension. We introduce a family of determinants ${B}_j$,…
▽ More
Practical conditions are given here for finding and classifying high codimension intersection points of $n$ hypersurfaces in $n$ dimensions. By interpreting those hypersurfaces as the nullclines of a vector field in $\mathbb R^n$, we broaden the concept of Thom's catastrophes to find bifurcation points of (non-gradient) vector fields of any dimension. We introduce a family of determinants ${B}_j$, such that a codimension $r$ bifurcation point is found by solving the system ${B}_1=...={B}_r=0$, subject to certain non-degeneracy conditions. The determinants ${B}_j$ generalize the derivatives $\frac{\partial^j\;}{\partial x^j}F(x)$ that vanish at a catastrophe of a scalar function $F(x)$. We do not extend catastrophe theory or singularity theory themselves, but provide a means to apply them more readily to the multi-dimensional dynamical models that appear, for example, in the study of various engineered or living systems. For illustration we apply our conditions to locate butterfly and star catastrophes in a second order PDE.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
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.
-
Novel slow-fast behaviour in an oscillator driven by a frequency-switching force
Authors:
Carles Bonet,
Mike R. Jeffrey,
Pau MartÃn,
Josep M. Olm
Abstract:
When an oscillator switches abruptly between different frequencies, there is some ambiguity in deciding how the system should be modelled at the switch. Here we describe two seemingly natural models of a switch in a simple periodically-forced harmonic oscillator, which disagree starkly in their predictions of its long time behaviour. Attempting to resolve the disagreement by `regularizing' the swi…
▽ More
When an oscillator switches abruptly between different frequencies, there is some ambiguity in deciding how the system should be modelled at the switch. Here we describe two seemingly natural models of a switch in a simple periodically-forced harmonic oscillator, which disagree starkly in their predictions of its long time behaviour. Attempting to resolve the disagreement by `regularizing' the switch not only preserves the disagreement, but shows it increases with time. One of the models corresponds to a conventional `Filippov' description of a nonsmooth system, while the second exhibits a structure that irreversibly ages, develo** a number of novel multi-scale behaviours that we believe have not been reported before. These include slow-fast staircases, novel mixed-mode oscillations, and a synchronized canard explosion. These features are proven to exist using asymptotic analysis, but as they involve a slow-fast time-scale separation that increases with time, they lie beyond the reach of numerical methods.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Teaching computational thinking to space science students
Authors:
Robert M. Jeffrey,
Megan Lundy,
Deirdre Coffey,
Sheila McBreen,
Antonio Martin-Carrillo,
Lorraine Hanlon
Abstract:
Computational thinking is a key skill for space science graduates, who must apply advanced problem-solving skills to model complex systems, analyse big data sets, and develop control software for mission-critical space systems. We describe our work using Design Thinking to understand the challenges that students face in learning these skills. In the MSc Space Science & Technology at University Col…
▽ More
Computational thinking is a key skill for space science graduates, who must apply advanced problem-solving skills to model complex systems, analyse big data sets, and develop control software for mission-critical space systems. We describe our work using Design Thinking to understand the challenges that students face in learning these skills. In the MSc Space Science & Technology at University College Dublin, we have used insights from this process to develop new teaching strategies, including improved assessment rubrics, supported by workshops promoting collaborative programming techniques. We argue that postgraduate level space science courses play a valuable role in develo** more advanced computational skills in early-career space scientists.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
TupperSats: Thinking Inside the Box for Space Systems Engineering
Authors:
David Murphy,
Robert Jeffrey,
Deirdre Coffey,
Morgan Fraser,
Sheila McBreen,
Lorraine Hanlon
Abstract:
As part of University College Dublin's MSc in Space Science & Technology curriculum, student teams, over the course of a single term, design, build, launch (on a meteorological balloon), operate and recover their own payload on a standardised platform. Each 'TupperSat' must be built from, or contained within, a household plastic storage container, It must weigh less than 1kg, be able to determine…
▽ More
As part of University College Dublin's MSc in Space Science & Technology curriculum, student teams, over the course of a single term, design, build, launch (on a meteorological balloon), operate and recover their own payload on a standardised platform. Each 'TupperSat' must be built from, or contained within, a household plastic storage container, It must weigh less than 1kg, be able to determine location, altitude, internal and external temperature and air pressure, and be able to broadcast this information using an in-house communications system. Students must also design and build a scientific payload or novel technology demonstration to fly on their TupperSat. Notable examples include an earth observation vegetation sensor, particle sample return, gamma-ray detector, and air-bag landing system. The instructors play the role of customer and launch authority. The students are provided with a number of standard components including a Raspberry Pi single-board computer, a 5000 mAH battery, high-altitude-compatible GPS unit, temperature and pressure sensors and, a small low-power radio transceiver module developed specifically for the course based on the LoRa standard. Teams are given a budget of EUR 100 ($115) to purchase additional materials and to build their payload. The students learn space industry practices by full immersion in a typical space project development cycle. TupperSat design and payload concepts are pitched by the student teams at a Preliminary Design Review; plans are well developed before a Critical Design Review, and the team must pass a Flight Readiness Review before being granted permission to launch. Good project management is crucial in order to meet deadlines and secure a launch at the end of the term. As student participation has grown, the module has been modified to allow for more ambitious and challenging projects which further motivates the students.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Symmetries from mixtures: an algebra for gauge theories
Authors:
Mike R. Jeffrey
Abstract:
We present here a product between vectors and scalars that {\it mixes} them within their own space, using imaginaries to describe geometric products between vectors as complex vectors, rather than introducing higher order/dimensional vector objects. This is done by means of a {\it mixture tensor} that captures the rich geometries of geometric algebras, and simultaneously lends itself naturally to…
▽ More
We present here a product between vectors and scalars that {\it mixes} them within their own space, using imaginaries to describe geometric products between vectors as complex vectors, rather than introducing higher order/dimensional vector objects. This is done by means of a {\it mixture tensor} that captures the rich geometries of geometric algebras, and simultaneously lends itself naturally to tensor calculus. We use this to develop a notion of analyticity in higher dimensions based on the idea that a function can be made differentiable -- in a certain strong sense -- by permitting curvature of the underlying space, and we call this {\it analytic curvature}. To explore these ideas we use them to derive a few fundamental laws and operators of physics which, while considered somewhat lightly, have compelling features. The mixture, for instance, produces rich symmetries without adding dimensions beyond the familiar space-time, and its derivative produces familiar quantum field relations in which the field potentials are just derivatives of the coordinate basis. The symmetries of physical laws are seen to arise not directly from the bases, but from their mixtures.
△ Less
Submitted 23 January, 2023; v1 submitted 20 April, 2020;
originally announced April 2020.
-
Web application for galaxy-targeted follow-up of electromagnetic counterparts to gravitational wave sources
Authors:
L. Salmon,
L. Hanlon,
R. M. Jeffrey,
A. Martin-Carrillo
Abstract:
The Laser Interferometer Gravitational Wave Observatory (LIGO) and Virgo Collaboration's Observing Run 3 has demanded the development of widely-applicable tools for gravitational wave follow-up. These tools must address the main challenges of the multi-messenger era, namely covering large localisation regions and quickly identifying decaying transients. To address these challenges, we present a pu…
▽ More
The Laser Interferometer Gravitational Wave Observatory (LIGO) and Virgo Collaboration's Observing Run 3 has demanded the development of widely-applicable tools for gravitational wave follow-up. These tools must address the main challenges of the multi-messenger era, namely covering large localisation regions and quickly identifying decaying transients. To address these challenges, we present a public web interface to assist astronomers in conducting galaxy-targeted follow-up of gravitational wave events by offering a fast and public list of targets post-gravitational wave trigger. After a gravitational wave trigger, the back-end galaxy retrieval algorithm identifies and scores galaxies based on the LIGO and Virgo computed probabilities and properties of the galaxies taken from the Galaxy List for the Advanced Detector Era (GLADE) V2 galaxy catalogue. Within minutes, the user can retrieve, download, and limit ranked galaxy lists from the web application. The algorithm and website have been tested on past gravitational wave events, and execution times have been analysed. The algorithm is being triggered automatically during Observing Run 3 and its features will be extended if needed. The web application was developed using the Python based Flask web framework. The web application is freely available and publicly accessible at gwtool.watchertelescope.ie.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Complex geometry and fundamental physical law
Authors:
Mike R. Jeffrey
Abstract:
We present here a product between vectors and scalars that mixes them within their own space, using imaginaries to describe geometric products between vectors as complex vectors, rather than introducing higher order/dimensional vector objects. This is done by means of a mixture tensor that lends itself naturally to tensor calculus. We use this to develop a notion of analyticity in higher dimension…
▽ More
We present here a product between vectors and scalars that mixes them within their own space, using imaginaries to describe geometric products between vectors as complex vectors, rather than introducing higher order/dimensional vector objects. This is done by means of a mixture tensor that lends itself naturally to tensor calculus. We use this to develop a notion of analyticity in higher dimensions based on the idea that a function can be made differentiable -- in a certain strong sense -- by permitting curvature of the underlying space, and we call this analytic curvature. To explore these ideas we use them to derive a few fundamental laws of physics which, while considered somewhat lightly, have nevertheless compelling features. The mixture, for instance, produces rich symmetries without adding dimensions beyond the familiar space-time, and its derivative produces familiar quantum field relations in which the field potentials are just derivatives of the coordinate basis.
△ Less
Submitted 9 November, 2019; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Homoclinic boundary-saddle bifurcations in nonsmooth vector fields
Authors:
Kamila da Silva Andrade,
Mike R. Jeffrey,
Ricardo M. Martins,
Marco A. Teixeira
Abstract:
In a smooth dynamical system, a homoclinic connection is a closed orbit returning to a saddle equilibrium. Under perturbation, homoclinics are associated with bifurcations of periodic orbits, and with chaos in higher dimensions. Homoclinic connections in nonsmooth systems are complicated by their interaction with discontinuities in their vector fields. A connection may involve a regular saddle out…
▽ More
In a smooth dynamical system, a homoclinic connection is a closed orbit returning to a saddle equilibrium. Under perturbation, homoclinics are associated with bifurcations of periodic orbits, and with chaos in higher dimensions. Homoclinic connections in nonsmooth systems are complicated by their interaction with discontinuities in their vector fields. A connection may involve a regular saddle outside a discontinuity set, or a pseudo-saddle on a discontinuity set, with segments of the connection allowed to cross or slide along the discontinuity. Even the simplest case, that of connection to a regular saddle that hits a discontinuity as a parameter is varied, is surprisingly complex. Bifurcation diagrams are presented here for non-resonant saddles in the plane, including an example in a forced pendulum.
△ Less
Submitted 20 January, 2017;
originally announced January 2017.
-
A unified approach to explain contrary effects of hysteresis and smoothing in nonsmooth systems
Authors:
Carles Bonet-Reves,
Tere M. Seara,
Enric Fossas,
Mike R. Jeffrey
Abstract:
Piecewise smooth dynamical systems make use of discontinuities to model switching between regions of smooth evolution. This introduces an ambiguity in prescribing dynamics at the discontinuity: should it be given by a limiting value on one side or other of the discontinuity, or a member of some set containing those values? One way to remove the ambiguity is to regularize the discontinuity, the mos…
▽ More
Piecewise smooth dynamical systems make use of discontinuities to model switching between regions of smooth evolution. This introduces an ambiguity in prescribing dynamics at the discontinuity: should it be given by a limiting value on one side or other of the discontinuity, or a member of some set containing those values? One way to remove the ambiguity is to regularize the discontinuity, the most common being either to smooth out the discontinuity, or to introduce a hysteresis between switching in one direction or the other across the discontinuity. Here we show that the two can in general lead to qualitatively different dynamical outcomes. We then define a higher dimensional model with both smoothing and hysteresis, and study the competing limits in which hysteretic or smoothing effect dominate the behaviour, only the former of which correspond to Filippov's standard `sliding modes'.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
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.
-
Fast launch speeds in radio flares, from a new determination of the intrinsic motions of SS 433's jet bolides
Authors:
Robert M. Jeffrey,
Katherine M. Blundell,
Sergei A. Trushkin,
Amy J. Mioduszewski
Abstract:
We present new high-resolution, multi-epoch, VLBA radio images of the Galactic microquasar SS 433. We are able to observe plasma knots in the milliarcsecond-scale jets more than 50 days after their launch. This unprecedented baseline in time allows us to determine the bulk launch speed of the radio-emitting plasma during a radio flare, using a new method which we present here, and which is complet…
▽ More
We present new high-resolution, multi-epoch, VLBA radio images of the Galactic microquasar SS 433. We are able to observe plasma knots in the milliarcsecond-scale jets more than 50 days after their launch. This unprecedented baseline in time allows us to determine the bulk launch speed of the radio-emitting plasma during a radio flare, using a new method which we present here, and which is completely independent of optical spectroscopy. We also apply this method to an earlier sequence of 39 short daily VLBA observations, which cover a period in which SS 433 moved from quiescence into a flare. In both datasets we find, for the first time at radio wavebands, clear evidence that the launch speeds of the milliarcsecond-scale jets rise as high as 0.32c during flaring episodes. By comparing these images of SS 433 with photometric radio monitoring from the RATAN telescope, we explore further properties of these radio flares.
△ Less
Submitted 3 June, 2016;
originally announced June 2016.
-
Smoothing tautologies, hidden dynamics, and sigmoid asymptotics for piecewise smooth systems
Authors:
Mike R. Jeffrey
Abstract:
Switches in real systems take many forms, such as impacts, electronic relays, mitosis, and the implementation of decisions or control strategies. To understand what is lost, and what can be retained, when we model a switch as an instantaneous event, requires a consideration of so-called hidden terms. These are asymptotically vanishing outside the switch, but can be encoded in the form of nonlinear…
▽ More
Switches in real systems take many forms, such as impacts, electronic relays, mitosis, and the implementation of decisions or control strategies. To understand what is lost, and what can be retained, when we model a switch as an instantaneous event, requires a consideration of so-called hidden terms. These are asymptotically vanishing outside the switch, but can be encoded in the form of nonlinear switching terms. A general expression for the switch can be developed in the form of a series of sigmoid functions. We review the key steps in extending the Filippov's method of sliding modes to such systems. We show how even slight nonlinear effects can hugely alter the behaviour of an electronic control circuit, and lead to `hidden' attractors inside the switching surface.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
The ghosts of departed quantities in switches and transitions
Authors:
Mike R. Jeffrey
Abstract:
Transitions between steady dynamical regimes in diverse applications are often modelled using discontinuities, but doing so introduces problems of uniqueness. No matter how quickly a transition occurs, its inner workings can affect the dynamics of the system significantly. Here we discuss the way transitions can be reduced to discontinuities without trivializing them, by preserving so-called hidde…
▽ More
Transitions between steady dynamical regimes in diverse applications are often modelled using discontinuities, but doing so introduces problems of uniqueness. No matter how quickly a transition occurs, its inner workings can affect the dynamics of the system significantly. Here we discuss the way transitions can be reduced to discontinuities without trivializing them, by preserving so-called hidden terms. We review the fundamental methodology, its motivations, and where their study seems to be heading. We derive a prototype for piecewise smooth models from the asymptotics of systems with rapid transitions, sharpening Filippov's convex combinations by encoding the tails of asymptotic series into nonlinear dependence on a switching parameter. We present a few examples that illustrate the impact of these on our standard picture of smooth or only piecewise smooth dynamics.
△ Less
Submitted 25 July, 2017; v1 submitted 18 August, 2015;
originally announced August 2015.
-
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.
-
Fold singularities of nonsmooth and slow-fast dynamical systems -- equivalence by the hidden dynamics approach
Authors:
Mike R. Jeffrey
Abstract:
The {\it two-fold singularity} has played a significant role in our understanding of uniqueness and stability in piecewise smooth dynamical systems. When a vector field is discontinuous at some hypersurface, it can become tangent to that surface from one side or the other, and tangency from both sides creates a two-fold singularity. The flow this creates bears a superficial resemblance to so-calle…
▽ More
The {\it two-fold singularity} has played a significant role in our understanding of uniqueness and stability in piecewise smooth dynamical systems. When a vector field is discontinuous at some hypersurface, it can become tangent to that surface from one side or the other, and tangency from both sides creates a two-fold singularity. The flow this creates bears a superficial resemblance to so-called {\it folded singularities} in (smooth) slow-fast systems, which arise at the intersection of attractive and repelling branches of slow invariant manifolds, important in the local study of canards and mixed mode oscillations. Here we show that these two singularities are intimately related. When the discontinuity in a piecewise smooth system is blown up or smoothed out at a two-fold singularity, the resulting system can be mapped onto a folded singularity. The result is not obvious, however, since it requires the presence of nonlinear or `hidden' terms at the discontinuity, which turn out to be necessary for structural stability of the blow up (or smoothing), and necessary for map** to the folded singularity.
△ Less
Submitted 2 June, 2015;
originally announced June 2015.
-
Fold singularities of nonsmooth and slow-fast dynamical systems -- equivalence through regularization
Authors:
Mike R. Jeffrey
Abstract:
The two-fold singularity has played a significant role in our understanding of uniqueness and stability in piecewise smooth dynamical systems. When a vector field is discontinuous at some hypersurface, it can become tangent to that surface from one side or the other, and tangency from both sides creates a two-fold singularity. The local flow bears a superficial resemblance to so-called {\it folded…
▽ More
The two-fold singularity has played a significant role in our understanding of uniqueness and stability in piecewise smooth dynamical systems. When a vector field is discontinuous at some hypersurface, it can become tangent to that surface from one side or the other, and tangency from both sides creates a two-fold singularity. The local flow bears a superficial resemblance to so-called {\it folded singularities} in (smooth) slow-fast systems, which arise at the intersection of attractive and repelling branches of slow invariant manifolds, important in the local study of canards and mixed mode oscillations. Here we show that these two singularities are intimately related. When the discontinuity in a piecewise smooth system is regularized (smoothed out) at a two-fold singularity, the resulting system can be mapped onto a folded singularity. The result is not obvious since it requires the presence of nonlinear or `hidden' terms at the discontinuity, which turn out to be necessary for structural stability of the regularization (or smoothing) of the discontinuity, and necessary for map** to the folded singularity.
△ Less
Submitted 2 June, 2015;
originally announced June 2015.
-
Nonsmooth analogues of slow-fast dynamics -- pinching at a folded node
Authors:
Mathieu Desroches,
Mike R. Jeffrey
Abstract:
The folded node is a singularity associated with loss of normal hyperbolicity in systems where mixtures of slow and fast timescales arise due to singular perturbations. Canards are special solutions that reveal a counteractive feature of the local dynamics, namely trajectories that flow from attractive regions of space into repulsive regions. An alternative way to model switches between timescales…
▽ More
The folded node is a singularity associated with loss of normal hyperbolicity in systems where mixtures of slow and fast timescales arise due to singular perturbations. Canards are special solutions that reveal a counteractive feature of the local dynamics, namely trajectories that flow from attractive regions of space into repulsive regions. An alternative way to model switches between timescales is using piecewise-smooth differential equations. There is presently no adequate theory or method for relating slow-fast and piecewise-smooth models. Here we derive the analogous piecewise-smooth system for the folded node by pinching phase space to sharpen the switch between timescales. The corresponding piecewise-smooth system contains a so-called two-fold singularity, and exhibits the same topology and number of canards as the slow-fast system. Thus pinching provides a piecewise-smooth approximation to a slow-fast system.
△ Less
Submitted 2 June, 2015;
originally announced June 2015.
-
Regularization of hidden dynamics in piecewise smooth flows
Authors:
Douglas D. Novaes,
Mike R. Jeffrey
Abstract:
This paper studies the equivalence between differentiable and non-differentiable dynamics in Rn. Filippov's theory of discontinuous differential equations allows us to find flow solutions of dynamical systems whose vector fields undergo switches at thresholds in phase space. The canonical convex combination at the discontinuity is only the linear part of a nonlinear combination that more fully exp…
▽ More
This paper studies the equivalence between differentiable and non-differentiable dynamics in Rn. Filippov's theory of discontinuous differential equations allows us to find flow solutions of dynamical systems whose vector fields undergo switches at thresholds in phase space. The canonical convex combination at the discontinuity is only the linear part of a nonlinear combination that more fully explores Filippov's most general problem: the differential inclusion. Here we show how recent work relating discontinuous systems to singular limits of continuous (or regularized) systems extends to nonlinear combinations. We show that if sliding occurs in a discontinuous systems, there exists a differentiable slow-fast system with equivalent slow invariant dynamics. We also show the corresponding result for the pinching method, a converse to regularization which approximates a smooth system by a discontinuous one.
△ Less
Submitted 3 June, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
-
Non-deterministic dynamics of a mechanical system
Authors:
Robert Szalai,
Mike R. Jeffrey
Abstract:
A mechanical system is presented exhibiting a non-deterministic singularity, that is, a point in an otherwise deterministic system where forward time trajectories become non-unique. A Coulomb friction force applies linear and angular forces to a wheel mounted on a turntable. In certain configurations the friction force is not uniquely determined. When the dynamics evolves past the singularity and…
▽ More
A mechanical system is presented exhibiting a non-deterministic singularity, that is, a point in an otherwise deterministic system where forward time trajectories become non-unique. A Coulomb friction force applies linear and angular forces to a wheel mounted on a turntable. In certain configurations the friction force is not uniquely determined. When the dynamics evolves past the singularity and the mechanism slips, the future state becomes uncertain up to a set of possible values. For certain parameters the system repeatedly returns to the singularity, giving recurrent yet unpredictable behaviour that constitutes non-deterministic chaotic dynamics. The robustness of the phenomenon is such that we expect it to persist with more sophisticated friction models, manifesting as extreme sensitivity to initial conditions, and complex global dynamics attributable to a local loss of determinism in the limit of discontinuous friction.
△ Less
Submitted 14 February, 2014;
originally announced February 2014.
-
Non-Filippov dynamics arising from the smoothing of nonsmooth systems, and its robustness to noise
Authors:
Mike R. Jeffrey,
David J. W. Simpson
Abstract:
Switch-like behaviour in dynamical systems may be modelled by highly nonlinear functions, such as Hill functions or sigmoid functions, or alternatively by piecewise-smooth functions, such as step functions. Consistent modelling requires that piecewise-smooth and smooth dynamical systems have similar dynamics, but the conditions for such similarity are not well understood. Here we show that by smoo…
▽ More
Switch-like behaviour in dynamical systems may be modelled by highly nonlinear functions, such as Hill functions or sigmoid functions, or alternatively by piecewise-smooth functions, such as step functions. Consistent modelling requires that piecewise-smooth and smooth dynamical systems have similar dynamics, but the conditions for such similarity are not well understood. Here we show that by smoothing out a piecewise-smooth system one may obtain dynamics that is inconsistent with the accepted wisdom --- so-called Filippov dynamics --- at a discontinuity, even in the piecewise-smooth limit. By subjecting the system to white noise, we show that these discrepancies can be understood in terms of potential wells that allow solutions to dwell at the discontinuity for long times. Moreover we show that spurious dynamics will revert to Filippov dynamics, with a small degree of stochasticity, when the noise magnitude is sufficiently large compared to the order of smoothing. We apply the results to a model of a dry-friction oscillator, where spurious dynamics (inconsistent with Filippov's convention or with Coulomb's model of friction) can account for different coefficients of static and kinetic friction, but under sufficient noise the system reverts to dynamics consistent with Filippov's convention (and with Coulomb-like friction).
△ Less
Submitted 30 October, 2013;
originally announced October 2013.
-
Non-determinism in the limit of nonsmooth dynamics
Authors:
Mike R. Jeffrey
Abstract:
Discontinuous time derivatives are used to model threshold-dependent switching in such diverse applications as dry friction, electronic control, and biological growth. In a continuous flow, a discon- tinuous derivative can generate multiple outcomes from a single initial state. Here we show that well defined solution sets exist for flows that become multi-valued due to grazing a discontinuity. Los…
▽ More
Discontinuous time derivatives are used to model threshold-dependent switching in such diverse applications as dry friction, electronic control, and biological growth. In a continuous flow, a discon- tinuous derivative can generate multiple outcomes from a single initial state. Here we show that well defined solution sets exist for flows that become multi-valued due to grazing a discontinuity. Loss of determinism is used to quantify dynamics in the limit of infinite sensitivity to initial conditions, then applied to the dynamics of a superconducting resonator and a negatively damped oscillator.
△ Less
Submitted 16 June, 2013;
originally announced June 2013.
-
Canards and curvature: nonsmooth approximation by pinching
Authors:
Mathieu Desroches,
Mike R. Jeffrey
Abstract:
In multiple time-scale (singularly perturbed) dynamical systems, canards are counterintuitive solutions that evolve along both attracting and repelling invariant manifolds. In two dimensions, canards result in periodic oscillations whose amplitude and period grow in a highly nonlinear way: they are slowly varying with respect to a control parameter, except for an exponentially small range of value…
▽ More
In multiple time-scale (singularly perturbed) dynamical systems, canards are counterintuitive solutions that evolve along both attracting and repelling invariant manifolds. In two dimensions, canards result in periodic oscillations whose amplitude and period grow in a highly nonlinear way: they are slowly varying with respect to a control parameter, except for an exponentially small range of values where they grow extremely rapidly. This sudden growth, called a canard explosion, has been encountered in many applications ranging from chemistry to neuronal dynamics, aerospace engineering and ecology. Canards were initially studied using nonstandard analysis, and later the same results were proved by standard techniques such as matched asymptotics, invariant manifold theory and parameter blow-up. More recently, canard-like behaviour has been linked to surfaces of discontinuity in piecewise-smooth dynamical systems. This paper provides a new perspective on the canard phenomenon by showing that the nonstandard analysis of canard explosions can be recast into the framework of piecewise-smooth dynamical systems. An exponential coordinate scaling is applied to a singularly perturbed system of ordinary differential equations. The scaling acts as a lens that resolves dynamics across all time-scales. The changes of local curvature that are responsible for canard explosions are then analysed. Regions where different time-scales dominate are separated by hypersurfaces, and these are pinched together to obtain a piecewise-smooth system, in which curvature changes manifest as discontinuity-induced bifurcations. The method is used to classify canards in arbitrary dimensions, and to derive the parameter values over which canards form either small cycles (canards without head) or large cycles (canards with head).
△ Less
Submitted 4 June, 2015; v1 submitted 18 April, 2012;
originally announced April 2012.
-
Entangled Photon Polarimetry
Authors:
Joseph B. Altepeter,
Neal N. Oza,
Milja Medic,
Evan R. Jeffrey,
Prem Kumar
Abstract:
We construct an entangled photon polarimeter capable of monitoring a two-qubit quantum state in real time. Using this polarimeter, we record a nine frames-per-second video of a two-photon state's transition from separability to entanglement.
We construct an entangled photon polarimeter capable of monitoring a two-qubit quantum state in real time. Using this polarimeter, we record a nine frames-per-second video of a two-photon state's transition from separability to entanglement.
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
Maximally entangled mixed states: Creation and concentration
Authors:
Nicholas A. Peters,
Joseph B. Altepeter,
David A. Branning,
Evan R. Jeffrey,
Tzu-Chieh Wei,
Paul G. Kwiat
Abstract:
Using correlated photons from parametric downconversion, we extend the boundaries of experimentally accessible two-qubit Hilbert space. Specifically, we have created and characterized maximally entangled mixed states (MEMS) that lie above the Werner boundary in the linear entropy-tangle plane. In addition, we demonstrate that such states can be efficiently concentrated, simultaneously increasing…
▽ More
Using correlated photons from parametric downconversion, we extend the boundaries of experimentally accessible two-qubit Hilbert space. Specifically, we have created and characterized maximally entangled mixed states (MEMS) that lie above the Werner boundary in the linear entropy-tangle plane. In addition, we demonstrate that such states can be efficiently concentrated, simultaneously increasing both the purity and the degree of entanglement. We investigate a previously unsuspected sensitivity imbalance in common state measures, i.e., the tangle, linear entropy, and fidelity.
△ Less
Submitted 4 April, 2004; v1 submitted 31 July, 2003;
originally announced August 2003.