-
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.
-
On resolving singularities of piecewise-smooth discontinuous vector fields via small perturbations
Authors:
David J. W. Simpson
Abstract:
A two-fold singularity is a point on a discontinuity surface of a piecewise-smooth vector field at which the vector field is tangent to the surface on both sides. Due to the double tangency, forward evolution from a two-fold is typically ambiguous. This is an especially serious issue for two-folds that are reached by the forward orbits of a non-zero measure set of initial points. The purpose of th…
▽ More
A two-fold singularity is a point on a discontinuity surface of a piecewise-smooth vector field at which the vector field is tangent to the surface on both sides. Due to the double tangency, forward evolution from a two-fold is typically ambiguous. This is an especially serious issue for two-folds that are reached by the forward orbits of a non-zero measure set of initial points. The purpose of this paper is to explore the concept of perturbing the vector field so that forward evolution is well-defined, and characterising the perturbed dynamics in the limit that the size of the perturbation tends to zero. This concept is applied to a two-fold in two dimensions. Three forms of perturbation: hysteresis, time-delay, and noise, are analysed individually. In each case, the limit leads to a novel probabilistic notion of forward evolution from the two-fold.
△ Less
Submitted 15 April, 2013;
originally announced April 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.
-
The Positive Occupation Time of Brownian Motion with Two-Valued Drift and Asymptotic Dynamics of Sliding Motion with Noise
Authors:
David J. W. Simpson,
Rachel Kuske
Abstract:
We derive the probability density function of the positive occupation time of one-dimensional Brownian motion with two-valued drift. Long time asymptotics of the density are also computed. We use the result to describe the transitional probability density function of a general N-dimensional system of stochastic differential equations representing stochastically perturbed sliding motion of a discon…
▽ More
We derive the probability density function of the positive occupation time of one-dimensional Brownian motion with two-valued drift. Long time asymptotics of the density are also computed. We use the result to describe the transitional probability density function of a general N-dimensional system of stochastic differential equations representing stochastically perturbed sliding motion of a discontinuous, piecewise-smooth vector field on short time frames. A description of the density at larger times is obtained via an asymptotic expansion of the Fokker-Planck equation.
△ Less
Submitted 4 June, 2013; v1 submitted 26 April, 2012;
originally announced April 2012.
-
Stochastically Perturbed Sliding Motion in Piecewise-Smooth Systems
Authors:
David J. W. Simpson,
Rachel Kuske
Abstract:
Sliding motion is evolution on a switching manifold of a discontinuous, piecewise-smooth system of ordinary differential equations. In this paper we quantitatively study the effects of small-amplitude, additive, white Gaussian noise on stable sliding motion. For equations that are static in directions parallel to the switching manifold, the distance of orbits from the switching manifold approaches…
▽ More
Sliding motion is evolution on a switching manifold of a discontinuous, piecewise-smooth system of ordinary differential equations. In this paper we quantitatively study the effects of small-amplitude, additive, white Gaussian noise on stable sliding motion. For equations that are static in directions parallel to the switching manifold, the distance of orbits from the switching manifold approaches a quasi-steady-state density. From this density we calculate the mean and variance for the near sliding solution. Numerical results of a relay control system reveal that the noise may significantly affect the period and amplitude of periodic solutions with sliding segments.
△ Less
Submitted 25 April, 2012;
originally announced April 2012.
-
Dynamics of Simple Balancing Models with State Dependent Switching Control
Authors:
David J. W. Simpson,
Rachel Kuske,
Yue-Xian Li
Abstract:
Time-delayed control in a balancing problem may be a nonsmooth function for a variety of reasons. In this paper we study a simple model of the control of an inverted pendulum by either a connected movable cart or an applied torque for which the control is turned off when the pendulum is located within certain regions of phase space. Without applying a small angle approximation for deviations about…
▽ More
Time-delayed control in a balancing problem may be a nonsmooth function for a variety of reasons. In this paper we study a simple model of the control of an inverted pendulum by either a connected movable cart or an applied torque for which the control is turned off when the pendulum is located within certain regions of phase space. Without applying a small angle approximation for deviations about the vertical position, we see structurally stable periodic orbits which may be attracting or repelling. Due to the nonsmooth nature of the control, these periodic orbits are born in various discontinuity-induced bifurcations. Also we show that a coincidence of switching events can produce complicated periodic and aperiodic solutions.
△ Less
Submitted 7 April, 2011;
originally announced April 2011.
-
Mixed-Mode Oscillations in a Stochastic, Piecewise-Linear System
Authors:
David J. W. Simpson,
Rachel Kuske
Abstract:
We analyze a piecewise-linear FitzHugh-Nagumo model. The system exhibits a canard near which both small amplitude and large amplitude periodic orbits exist. The addition of small noise induces mixed-mode oscillations (MMOs) in the vicinity of the canard point. We determine the effect of each model parameter on the stochastically driven MMOs. In particular we show that any parameter variation (such…
▽ More
We analyze a piecewise-linear FitzHugh-Nagumo model. The system exhibits a canard near which both small amplitude and large amplitude periodic orbits exist. The addition of small noise induces mixed-mode oscillations (MMOs) in the vicinity of the canard point. We determine the effect of each model parameter on the stochastically driven MMOs. In particular we show that any parameter variation (such as a modification of the piecewise-linear function in the model) that leaves the ratio of noise amplitude to time-scale separation unchanged typically has little effect on the width of the interval of the primary bifurcation parameter over which MMOs occur. In that sense, the MMOs are robust. Furthermore we show that the piecewise-linear model exhibits MMOs more readily than the classical FitzHugh-Nagumo model for which a cubic polynomial is the only nonlinearity. By studying a piecewise-linear model we are able to explain results using analytical expressions and compare these with numerical investigations.
△ Less
Submitted 7 October, 2010;
originally announced October 2010.
-
Aspects of Bifurcation Theory for Piecewise-Smooth, Continuous Systems
Authors:
D. J. W. Simpson,
J. D. Meiss
Abstract:
Systems that are not smooth can undergo bifurcations that are forbidden in smooth systems. We review some of the phenomena that can occur for piecewise-smooth, continuous maps and flows when a fixed point or an equilibrium collides with a surface on which the system is not smooth. Much of our understanding of these cases relies on a reduction to piecewise linearity near the border-collision. We al…
▽ More
Systems that are not smooth can undergo bifurcations that are forbidden in smooth systems. We review some of the phenomena that can occur for piecewise-smooth, continuous maps and flows when a fixed point or an equilibrium collides with a surface on which the system is not smooth. Much of our understanding of these cases relies on a reduction to piecewise linearity near the border-collision. We also review a number of codimension-two bifurcations in which nonlinearity is important.
△ Less
Submitted 21 June, 2010;
originally announced June 2010.
-
Resonance near Border-Collision Bifurcations in Piecewise-Smooth, Continuous Maps
Authors:
D. J. W. Simpson,
J. D. Meiss
Abstract:
Mode-locking regions (resonance tongues) formed by border-collision bifurcations of piecewise-smooth, continuous maps commonly exhibit a distinctive sausage-like geometry with pinch points called "shrinking points". In this paper we extend our unfolding of the piecewise-linear case [{\em Nonlinearity}, 22(5):1123-1144, 2009] to show how shrinking points are destroyed by nonlinearity. We obtain a…
▽ More
Mode-locking regions (resonance tongues) formed by border-collision bifurcations of piecewise-smooth, continuous maps commonly exhibit a distinctive sausage-like geometry with pinch points called "shrinking points". In this paper we extend our unfolding of the piecewise-linear case [{\em Nonlinearity}, 22(5):1123-1144, 2009] to show how shrinking points are destroyed by nonlinearity. We obtain a codimension-three unfolding of this shrinking point bifurcation for $N$-dimensional maps. We show that the destruction of the shrinking points generically occurs by the creation of a curve of saddle-node bifurcations that smooth one boundary of the sausage, leaving a kink in the other boundary.
△ Less
Submitted 10 February, 2010;
originally announced February 2010.
-
Simultaneous Border-Collision and Period-Doubling Bifurcations
Authors:
David J. W. Simpson,
James D. Meiss
Abstract:
We unfold the codimension-two simultaneous occurrence of a border-collision bifurcation and a period-doubling bifurcation for a general piecewise-smooth, continuous map. We find that, with sufficient non-degeneracy conditions, a locus of period-doubling bifurcations emanates non-tangentially from a locus of border-collision bifurcations. The corresponding period-doubled solution undergoes a bord…
▽ More
We unfold the codimension-two simultaneous occurrence of a border-collision bifurcation and a period-doubling bifurcation for a general piecewise-smooth, continuous map. We find that, with sufficient non-degeneracy conditions, a locus of period-doubling bifurcations emanates non-tangentially from a locus of border-collision bifurcations. The corresponding period-doubled solution undergoes a border-collision bifurcation along a curve emanating from the codimension-two point and tangent to the period-doubling locus here. In the case that the map is one-dimensional local dynamics are completely classified; in particular, we give conditions that ensure chaos.
△ Less
Submitted 22 May, 2009;
originally announced May 2009.
-
Shrinking Point Bifurcations of Resonance Tongues for Piecewise-Smooth, Continuous Maps
Authors:
D. J. W. Simpson,
J. D. Meiss
Abstract:
Resonance tongues are mode-locking regions of parameter space in which stable periodic solutions occur; they commonly occur, for example, near Neimark-Sacker bifurcations. For piecewise-smooth, continuous maps these tongues typically have a distinctive lens-chain (or sausage) shape in two-parameter bifurcation diagrams. We give a symbolic description of a class of "rotational" periodic solutions…
▽ More
Resonance tongues are mode-locking regions of parameter space in which stable periodic solutions occur; they commonly occur, for example, near Neimark-Sacker bifurcations. For piecewise-smooth, continuous maps these tongues typically have a distinctive lens-chain (or sausage) shape in two-parameter bifurcation diagrams. We give a symbolic description of a class of "rotational" periodic solutions that display lens-chain structures for a general $N$-dimensional map. We then unfold the codimension-two, shrinking point bifurcation, where the tongues have zero width. A number of codimension-one bifurcation curves emanate from shrinking points and we determine those that form tongue boundaries.
△ Less
Submitted 20 September, 2008;
originally announced September 2008.
-
Discontinuity Induced Bifurcations in a Model of Saccharomyces cerevisiae
Authors:
D. J. W. Simpson,
D. S. Kompala,
J. D. Meiss
Abstract:
We perform a bifurcation analysis of the mathematical model of Jones and Kompala [K.D. Jones and D.S. Kompala, Cybernetic model of the growth dynamics of Saccharomyces cerevisiae in batch and continuous cultures, J. Biotech., 71:105-131, 1999]. Stable oscillations arise via Andronov-Hopf bifurcations and exist for intermediate values of the dilution rate as has been noted from experiments previo…
▽ More
We perform a bifurcation analysis of the mathematical model of Jones and Kompala [K.D. Jones and D.S. Kompala, Cybernetic model of the growth dynamics of Saccharomyces cerevisiae in batch and continuous cultures, J. Biotech., 71:105-131, 1999]. Stable oscillations arise via Andronov-Hopf bifurcations and exist for intermediate values of the dilution rate as has been noted from experiments previously. A variety of discontinuity induced bifurcations arise from a lack of global differentiability. We identify and classify discontinuous bifurcations including several codimension-two scenarios. Bifurcation diagrams are explained by a general unfolding of these singularities.
△ Less
Submitted 1 July, 2008;
originally announced July 2008.
-
Unfolding a Codimension-Two, Discontinuous, Andronov-Hopf Bifurcation
Authors:
D. J. W. Simpson,
J. D. Meiss
Abstract:
We present an unfolding of the codimension-two scenario of the simultaneous occurrence of a discontinuous bifurcation and an Andronov-Hopf bifurcation in a piecewise-smooth, continuous system of autonomous ordinary differential equations in the plane. We find the Hopf cycle undergoes a grazing bifurcation that may be very shortly followed by a saddle-node bifurcation of the orbit. We derive scal…
▽ More
We present an unfolding of the codimension-two scenario of the simultaneous occurrence of a discontinuous bifurcation and an Andronov-Hopf bifurcation in a piecewise-smooth, continuous system of autonomous ordinary differential equations in the plane. We find the Hopf cycle undergoes a grazing bifurcation that may be very shortly followed by a saddle-node bifurcation of the orbit. We derive scaling laws for the bifurcation curves that emanate from the codimension-two bifurcation.
△ Less
Submitted 18 April, 2008;
originally announced April 2008.
-
Andronov-Hopf Bifurcations in Planar, Piecewise-Smooth, Continuous Flows
Authors:
D. J. W. Simpson,
J. D. Meiss
Abstract:
An equilibrium of a planar, piecewise-$C^1$, continuous system of differential equations that crosses a curve of discontinuity of the Jacobian of its vector field can undergo a number of discontinuous or border-crossing bifurcations. Here we prove that if the eigenvalues of the Jacobian limit to $λ_L \pm {\rm i} ω_L$ on one side of the discontinuity and $-λ_R \pm {\rm i} ω_R$ on the other, with…
▽ More
An equilibrium of a planar, piecewise-$C^1$, continuous system of differential equations that crosses a curve of discontinuity of the Jacobian of its vector field can undergo a number of discontinuous or border-crossing bifurcations. Here we prove that if the eigenvalues of the Jacobian limit to $λ_L \pm {\rm i} ω_L$ on one side of the discontinuity and $-λ_R \pm {\rm i} ω_R$ on the other, with $λ_L, λ_R >0$, and the quantity $
Λ= λ_L / ω_L -λ_R / ω_R $ is nonzero, then a periodic orbit is created or destroyed as the equilibrium crosses the discontinuity. This bifurcation is analogous to the classical Andronov-Hopf bifurcation, and is supercritical if $Λ< 0$ and subcritical if $Λ>0$.
△ Less
Submitted 17 January, 2007;
originally announced January 2007.
