-
Periodic orbits for square and rectangular billiards
Authors:
Hongjia H. Chen,
Hinke M. Osinga
Abstract:
Mathematical billiards is much like the real game: a point mass, representing the ball, rolls in a straight line on a (perfectly friction-less) table, striking the sides according to the law of reflection. A billiard trajectory is then completely characterised by the number of elastic collisions. The rules of mathematical billiards may be simple, but the possible behaviours of billiard trajectorie…
▽ More
Mathematical billiards is much like the real game: a point mass, representing the ball, rolls in a straight line on a (perfectly friction-less) table, striking the sides according to the law of reflection. A billiard trajectory is then completely characterised by the number of elastic collisions. The rules of mathematical billiards may be simple, but the possible behaviours of billiard trajectories are endless. In fact, several fundamental theory questions in mathematics can be recast as billiards problems. A billiard trajectory is called a periodic orbit if the number of distinct collisions in the trajectory is finite. We classify all possible periodic orbits on square and rectangular tables. We show that periodic orbits on such billiard tables cannot have an odd number of distinct collisions. We also present a connection between the number of different classes of periodic orbits and Euler's totient function, which for any integer $N$ counts how many integers smaller than $N$ share no common divisor with $N$ other than $1$. We explore how to construct periodic orbits with a prescribed (even) number of distinct collisions, and investigate properties of inadmissible (singular) trajectories, which are trajectories that eventually terminate at a vertex (a table corner).
△ Less
Submitted 25 October, 2024; v1 submitted 23 October, 2024;
originally announced October 2024.
-
Characterising blenders via covering relations and cone conditions
Authors:
Maciej J. Capiński,
Bernd Krauskopf,
Hinke M. Osinga,
Piotr Zgliczyński
Abstract:
We present a characterisation of a blender based on the topological alignment of certain sets in phase space in combination with cone conditions. Importantly, the required conditions can be verified by checking properties of a single iterate of the diffeomorphism, which is achieved by finding finite series of sets that form suitable sequences of alignments. This characterisation is applicable in a…
▽ More
We present a characterisation of a blender based on the topological alignment of certain sets in phase space in combination with cone conditions. Importantly, the required conditions can be verified by checking properties of a single iterate of the diffeomorphism, which is achieved by finding finite series of sets that form suitable sequences of alignments. This characterisation is applicable in arbitrary dimension. Moreover, the approach naturally extends to establishing C1-persistent heterodimensional cycles. Our setup is flexible and allows for a rigorous, computer-assisted validation based on interval arithmetic.
△ Less
Submitted 14 October, 2024; v1 submitted 9 December, 2022;
originally announced December 2022.
-
Cascades of Global Bifurcations and Chaos near a Homoclinic Flip Bifurcation: A Case Study
Authors:
Andrus Giraldo,
Bernd Krauskopf,
Hinke M. Osinga
Abstract:
We study a homoclinic flip bifurcation of case~\textbf{C}, where a homoclinic orbit to a saddle equilibrium with real eigenvalues changes from being orientable to nonorientable. This bifurcation is of codimension two, and it is the lowest codimension for a homoclinic bifurcation of a real saddle to generate chaotic behavior in the form of (suspended) Smale horseshoes and strange attractors. We pre…
▽ More
We study a homoclinic flip bifurcation of case~\textbf{C}, where a homoclinic orbit to a saddle equilibrium with real eigenvalues changes from being orientable to nonorientable. This bifurcation is of codimension two, and it is the lowest codimension for a homoclinic bifurcation of a real saddle to generate chaotic behavior in the form of (suspended) Smale horseshoes and strange attractors. We present a detailed numerical case study of how global stable and unstable manifolds of the saddle equilibrium and of bifurcating periodic orbits interact close to such bifurcation. This is a step forward in understanding the generic cases of homoclinic flip bifurcations, which started with the study of the simpler cases \textbf{A} and \textbf{B}. In a three-dimensional vector field due to Sandstede, we compute relevant bifurcation curves in the two-parameter bifurcation diagram near the central codimension-two bifurcation in unprecedented detail. We present representative images of invariant manifolds, computed with a boundary value problem setup, both in phase space and as intersection sets with a suitable sphere. In this way, we are able to identify infinitely many cascades of homoclinic bifurcations that accumulate on specific codimension-one heteroclinic bifurcations between an equilibrium and various saddle periodic orbits. Our computations confirm what is known from theory but also show the existence of bifurcation phenomena that were not considered before. Specifically, we identify the boundaries of the Smale--horseshoe region in the parameter plane, one of which creates a strange attractor that resembles the Rössler attractor. The computation of a winding number reveals a complicated overall bifurcation structure in the wider parameter plane that involves infinitely many further homoclinic flip bifurcations associated with so-called homoclinic bubbles.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Saddle Invariant Objects and their Global Manifolds in a Neighborhood of a Homoclinic Flip Bifurcation of Case B
Authors:
Andrus Giraldo,
Bernd Krauskopf,
Hinke M. Osinga
Abstract:
When a real saddle equilibrium in a three-dimensional vector field undergoes a homoclinic bifurcation, the associated two-dimensional invariant manifold of the equilibrium closes on itself in an orientable or non-orientable way. We are interested in the interaction between global invariant manifolds of saddle equilibria and saddle periodic orbits for a vector field close to a codimension-two homoc…
▽ More
When a real saddle equilibrium in a three-dimensional vector field undergoes a homoclinic bifurcation, the associated two-dimensional invariant manifold of the equilibrium closes on itself in an orientable or non-orientable way. We are interested in the interaction between global invariant manifolds of saddle equilibria and saddle periodic orbits for a vector field close to a codimension-two homoclinic flip bifurcation, that is, the point of transition between having an orientable or non-orientable two-dimensional surface. Here, we focus on homoclinic flip bifurcations of case $\textbf{B}$, which is characterized by the fact that the codimension-two point gives rise to an additional homoclinic bifurcation, namely, a two-homoclinic orbit. To explain how the global manifolds organize phase space, we consider Sandstede's three-dimensional vector field model, which features inclination and orbit flip bifurcations. We compute global invariant manifolds and their intersection sets with a suitable sphere, by means of continuation of suitable two-point boundary problems, to understand their role as separatrices of basins of attracting periodic orbits. We show representative images in phase space and on the sphere, such that we can identify topological properties of the manifolds in the different regions of parameter space and at the homoclinic bifurcations involved. We find heteroclinic orbits between saddle periodic orbits and equilibria, which give rise to regions of infinitely many heteroclinic orbits. Additional equilibria exist in Sandstede's model and we compactify phase space to capture how equilibria may emerge from or escape to infinity. We present images of these bifurcation diagrams, where we outline different configurations of equilibria close to homoclinic flip bifurcations of case $\textbf{B}$; furthermore, we characterize the dynamics of Sandstede's model at infinity.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Computing connecting orbits to infinity associated with a homoclinic flip bifurcation
Authors:
Andrus Giraldo,
Bernd Krauskopf,
Hinke M. Osinga
Abstract:
We consider the bifurcation diagram in a suitable parameter plane of a quadratic vector field in $\mathbb{R}^3$ that features a homoclinic flip bifurcation of the most complicated type. This codimension-two bifurcation is characterized by a change of orientability of associated two-dimensional manifolds and generates infinite families of secondary bifurcations. We show that curves of secondary…
▽ More
We consider the bifurcation diagram in a suitable parameter plane of a quadratic vector field in $\mathbb{R}^3$ that features a homoclinic flip bifurcation of the most complicated type. This codimension-two bifurcation is characterized by a change of orientability of associated two-dimensional manifolds and generates infinite families of secondary bifurcations. We show that curves of secondary $n$-homoclinic bifurcations accumulate on a curve of a heteroclinic bifurcation involving infinity. We present an adaptation of the technique known as Lin's method that enables us to compute such connecting orbits to infinity. We first perform a weighted directional compactification of $\mathbb{R}^3$ with a subsequent blow-up of a non-hyperbolic saddle at infinity. We then set up boundary-value problems for two orbit segments from and to a common two-dimensional section: the first is to a finite saddle in the regular coordinates, and the second is from the vicinity of the saddle at infinity in the blown-up chart. The so-called Lin gap along a fixed one-dimensional direction in the section is then brought to zero by continuation. Once a connecting orbit has been found in this way, its locus can be traced out as a curve in a parameter plane.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Numerical continuation of spiral waves in heteroclinic networks of cyclic dominance
Authors:
Cris R. Hasan,
Hinke M. Osinga,
Claire M. Postlethwaite,
Alastair M. Rucklidge
Abstract:
Heteroclinic-induced spiral waves may arise in systems of partial differential equations that exhibit robust heteroclinic cycles between spatially uniform equilibria. Robust heteroclinic cycles arise naturally in systems with invariant subspaces and their robustness is considered with respect to perturbations that preserve these invariances. We make use of particular symmetries in the system to fo…
▽ More
Heteroclinic-induced spiral waves may arise in systems of partial differential equations that exhibit robust heteroclinic cycles between spatially uniform equilibria. Robust heteroclinic cycles arise naturally in systems with invariant subspaces and their robustness is considered with respect to perturbations that preserve these invariances. We make use of particular symmetries in the system to formulate a relatively low-dimensional spatial two-point boundary-value problem in Fourier space that can be solved efficiently in conjunction with numerical continuation. The standard numerical set-up is formulated on an annulus with small inner radius, and Neumann boundary conditions are used on both inner and outer radial boundaries. We derive and implement alternative boundary conditions that allow for continuing the inner radius to zero and so compute spiral waves on a full disk. As our primary example, we investigate the formation of heteroclinic-induced spiral waves in a reaction-diffusion model that describes the spatiotemporal evolution of three competing populations in a two-dimensional spatial domain--much like the Rock-Paper-Scissors game. We further illustrate the efficiency of our method with the computation of spiral waves in a larger network of cyclic dominance between five competing species, which describes the so-called Rock-Paper-Scissors-Lizard-Spock game.
△ Less
Submitted 15 November, 2021; v1 submitted 11 October, 2020;
originally announced October 2020.
-
A continuation approach to computing phase resetting curves
Authors:
Peter Langfield,
Bernd Krauskopf,
Hinke M. Osinga
Abstract:
Phase resetting is a common experimental approach to investigating the behaviour of oscillating neurons. Assuming repeated spiking or bursting, a phase reset amounts to a brief perturbation that causes a shift in the phase of this periodic motion. The observed effects not only depend on the strength of the perturbation, but also on the phase at which it is applied. The relationship between the cha…
▽ More
Phase resetting is a common experimental approach to investigating the behaviour of oscillating neurons. Assuming repeated spiking or bursting, a phase reset amounts to a brief perturbation that causes a shift in the phase of this periodic motion. The observed effects not only depend on the strength of the perturbation, but also on the phase at which it is applied. The relationship between the change in phase after the perturbation and the unperturbed old phase, the so-called phase resetting curve, provides information about the type of neuronal behaviour, although not all effects of the nature of the perturbation are well understood. In this chapter, we present a numerical method based on the continuation of a multi-segment boundary value problem that computes phase resetting curves in ODE models. Our method is able to deal effectively with phase sensitivity of a system, meaning that it is able to handle extreme variations in the phase resetting curve, including resets that are seemingly discontinuous. We illustrate the algorithm with two examples of planar systems, where we also demonstrate how qualitative changes of a phase resetting curve can be characterised and understood. A seven-dimensional example emphasises that our method is not restricted to planar systems, and illustrates how we can also deal with non-instantaneous, time-varying perturbations.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Spatiotemporal stability of periodic travelling waves in a heteroclinic-cycle model
Authors:
Cris R. Hasan,
Hinke M. Osinga,
Claire M. Postlethwaite,
Alastair M. Rucklidge
Abstract:
We study a Rock-Paper-Scissors model for competing populations that exhibits travelling waves in one spatial dimension and spiral waves in two spatial dimensions. A characteristic feature of the model is the presence of a robust heteroclinic cycle that involves three saddle equilibria. The model also has travelling fronts that are heteroclinic connections between two equilibria in a moving frame o…
▽ More
We study a Rock-Paper-Scissors model for competing populations that exhibits travelling waves in one spatial dimension and spiral waves in two spatial dimensions. A characteristic feature of the model is the presence of a robust heteroclinic cycle that involves three saddle equilibria. The model also has travelling fronts that are heteroclinic connections between two equilibria in a moving frame of reference, but these fronts are unstable. However, we find that large-wavelength travelling waves can be stable in spite of being made up of three of these unstable travelling fronts. In this paper, we focus on determining the essential spectrum (and hence, stability) of large-wavelength travelling waves in a cyclic competition model with one spatial dimension. We compute the curve of transitions from stability to instability with the continuation scheme developed by Rademacher et al. (2007 Physica D 229 166-83). We build on this scheme and develop a method for computing what we call belts of instability, which are indicators of the growth rate of unstable travelling waves. Our results from the stability analysis are verified by direct simulation for travelling waves as well as associated spiral waves. We also show how the computed growth rates accurately quantify the instabilities of the travelling waves.
△ Less
Submitted 13 November, 2021; v1 submitted 23 November, 2019;
originally announced November 2019.
-
Global manifold structure of a continuous-time heterodimensional cycle
Authors:
Andy Hammerlindl,
Bernd Krauskopf,
Gemma Mason,
Hinke M. Osinga
Abstract:
A heterodimensional cycle consists of a pair of heteroclinic connections between two saddle periodic orbits with unstable manifolds of different dimensions. Recent theoretical work on chaotic dynamics beyond the uniformly hyperbolic setting has shown that heterodimensional cycles may occur robustly in diffeomorphisms of dimension at least three. We study a concrete example of a heterodimensional c…
▽ More
A heterodimensional cycle consists of a pair of heteroclinic connections between two saddle periodic orbits with unstable manifolds of different dimensions. Recent theoretical work on chaotic dynamics beyond the uniformly hyperbolic setting has shown that heterodimensional cycles may occur robustly in diffeomorphisms of dimension at least three. We study a concrete example of a heterodimensional cycle in the continuous-time setting, specifically in a four-dimensional vector field model of intracellular calcium dynamics. By employing advanced numerical techniques, Zhang, Krauskopf and Kirk [Discr. Contin. Dynam. Syst. A 32(8) 2825--2851 (2012)] found that a heterodimensional cycle exists in this model.
We investigate the geometric structure of the associated stable and unstable manifolds in the neighbourhood of this heterodimensional cycle, consisting of a single connecting orbit of codimension one and an entire cylinder of structurally stable connecting orbits between two saddle periodic orbits. We employ a boundary-value problem set-up to compute their stable and unstable manifolds, which we visualize in different projections of phase space and as intersection sets with a suitable three-dimensional Poincaré section. We show that, locally near the intersection set of the heterodimensional cycle, the manifolds interact as described by the theory for three-dimensional diffeomorphisms. On the other hand, their global structure is more intricate, which is due to the fact that it is not possible to find a Poincaré section that is transverse to the flow everywhere. Our results show that the abstract concept of a heterodimensional cycle arises and can be studied in continuous-time models from applications.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Quantitative modeling and analysis of bifurcation-induced bursting
Authors:
J. E. Rubin,
B. Krauskopf,
H. M. Osinga
Abstract:
Modeling and parameter estimation for neuronal dynamics are often challenging because many parameters can range over orders of magnitude and are difficult to measure experimentally. Moreover, selecting a suitable model complexity requires a sufficient understanding of the model's potential use, such as highlighting essential mechanisms underlying qualitative behavior or precisely quantifying reali…
▽ More
Modeling and parameter estimation for neuronal dynamics are often challenging because many parameters can range over orders of magnitude and are difficult to measure experimentally. Moreover, selecting a suitable model complexity requires a sufficient understanding of the model's potential use, such as highlighting essential mechanisms underlying qualitative behavior or precisely quantifying realistic dynamics. We present a novel approach that can guide model development and tuning to achieve desired qualitative and quantitative solution properties. Our approach relies on the presence of disparate time scales and employs techniques of separating the dynamics of fast and slow variables, which are well known in the analysis of qualitative solution features. We build on these methods to show how it is also possible to obtain quantitative solution features by imposing designed dynamics for the slow variables in the form of specified two-dimensional paths in a bifurcation-parameter landscape.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
Bifurcation analysis of a smoothed model of a forced impacting beam and comparison with an experiment
Authors:
M. Elmegård,
B. Krauskopf,
H. M. Osinga,
J. Starke,
J. J. Thomsen
Abstract:
A piecewise-linear model with a single degree of freedom is derived from first principles for a driven vertical cantilever beam with a localized mass and symmetric stops. The resulting piecewise-linear dynamical system is smoothed by a switching function (nonlinear homotopy). For the chosen smoothing function it is shown that the smoothing can induce bifurcations in certain parameter regimes. Thes…
▽ More
A piecewise-linear model with a single degree of freedom is derived from first principles for a driven vertical cantilever beam with a localized mass and symmetric stops. The resulting piecewise-linear dynamical system is smoothed by a switching function (nonlinear homotopy). For the chosen smoothing function it is shown that the smoothing can induce bifurcations in certain parameter regimes. These induced bifurcations disappear when the transition of the switching is sufficiently and increasingly localized as the impact becomes harder. The bifurcation structure of the impact oscillator response is investigated via the one- and two-parameter continuation of periodic orbits in the driving frequency and/or forcing amplitude. The results are in good agreement with experimental measurements.
△ Less
Submitted 16 August, 2013;
originally announced August 2013.
