-
The Lagrange top and the fifth Painlevé equation
Authors:
Holger R Dullin
Abstract:
We show that the Lagrange top with a linearly time-dependent moment of inertia is equivalent to the degenerate fifth Painlevé equation. More generally we show that the harmonic Lagrange top (the ordinary Lagrange top with a quadratic term added in the potential) is equivalent to the fifth Painlevé equation when the potential is made time-dependent in an appropriate way. Through this identification…
▽ More
We show that the Lagrange top with a linearly time-dependent moment of inertia is equivalent to the degenerate fifth Painlevé equation. More generally we show that the harmonic Lagrange top (the ordinary Lagrange top with a quadratic term added in the potential) is equivalent to the fifth Painlevé equation when the potential is made time-dependent in an appropriate way. Through this identification two of the parameters of the fifth Painlevé equation acquire the interpretation of global action variables. We discuss the relation to the confluent Heun equation, which is the Schrödinger equation of the Lagrange top, and discuss the dynamics of $P_V$ from the point of view of the Lagrange top.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Bounded orbits for 3 bodies in $\mathbb{R}^4$
Authors:
Alain Albouy,
Holger R. Dullin
Abstract:
We consider the Newtonian 3-body problem in dimension 4, and fix a value of the angular momentum which is compatible with this dimension. We show that the energy function cannot tend to its infimum on an unbounded sequence of states. Consequently the infimum of the energy is its minimum. This completes our previous work \cite{AD19} on the existence of Lyapunov stable relative periodic orbits in th…
▽ More
We consider the Newtonian 3-body problem in dimension 4, and fix a value of the angular momentum which is compatible with this dimension. We show that the energy function cannot tend to its infimum on an unbounded sequence of states. Consequently the infimum of the energy is its minimum. This completes our previous work \cite{AD19} on the existence of Lyapunov stable relative periodic orbits in the 3-body problem in $\mathbb{R}^4$.
△ Less
Submitted 29 February, 2024; v1 submitted 25 September, 2023;
originally announced September 2023.
-
Integrable Systems Arising from Separation of Variables on $S^{3}$
Authors:
Diana M. H. Nguyen,
Sean R. Dawson,
Holger R. Dullin
Abstract:
We show that the space of orthogonally separable coordinates on the sphere $S^3$ induces a natural family of integrable systems, which after symplectic reduction leads to a family of integrable systems on $S^2 \times S^2$. The generic member of the family corresponds to ellipsoidal coordinates. We use the theory of compatible Poisson structures to study the critical points and critical values of t…
▽ More
We show that the space of orthogonally separable coordinates on the sphere $S^3$ induces a natural family of integrable systems, which after symplectic reduction leads to a family of integrable systems on $S^2 \times S^2$. The generic member of the family corresponds to ellipsoidal coordinates. We use the theory of compatible Poisson structures to study the critical points and critical values of the momentum map. Interesting structure arises because the ellipsoidal coordinate system can degenerate in a variety of ways, and all possible orthogonally separable coordinate systems on $S^3$ (including degenerations) have the topology of the Stasheff polytope $K^4$, which is a pentagon. We describe how the generic integrable system degenerates, and how the appearance of global $SO(2)$ and $SO(3)$ symmetries is the main feature that organises the various degenerate systems. For the whole family we show that there is an action map whose image is an equilateral triangle. When higher symmetry is present, this triangle ``unfolds'' into a semi-toric polygon (when there is one global $S^1$-action) or a Delzant polygon (when there are two global $S^1$-actions). We believe that this family of integrable systems is a natural playground for theories of global symplectic classification of integrable systems.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
The Harmonic Lagrange Top and the Confluent Heun Equation
Authors:
Sean R. Dawson,
Holger R. Dullin,
Diana M. H. Nguyen
Abstract:
The harmonic Lagrange top is the Lagrange top plus a quadratic (harmonic) potential term. We describe the top in the space fixed frame using a global description with a Poisson structure on $T^*S^3$. This global description naturally leads to a rational parametrisation of the set of critical values of the energy-momentum map. We show that there are 4 different topological types for generic paramet…
▽ More
The harmonic Lagrange top is the Lagrange top plus a quadratic (harmonic) potential term. We describe the top in the space fixed frame using a global description with a Poisson structure on $T^*S^3$. This global description naturally leads to a rational parametrisation of the set of critical values of the energy-momentum map. We show that there are 4 different topological types for generic parameter values. The quantum mechanics of the harmonic Lagrange top is described by the most general confluent Heun equation (also known as the generalised spheroidal wave equation). We derive formulas for an infinite pentadiagonal symmetric matrix representing the Hamiltonian from which the spectrum is computed.
△ Less
Submitted 10 December, 2021; v1 submitted 28 November, 2021;
originally announced November 2021.
-
Self-stabilization of light sails by damped internal degrees of freedom
Authors:
M. Z. Rafat,
Holger R. Dullin,
Boris T. Kuhlmey,
Alessandro Tuniz,
Haoyuan Luo,
Dibyendu Roy,
Sean Skinner,
Tristram J. Alexander,
Michael S. Wheatland,
C. Martijn de Sterke
Abstract:
We consider the motion of a light sail that is accelerated by a powerful laser beam. We derive the equations of motion for two proof-of-concept sail designs with damped internal degrees of freedom. Using linear stability analysis we show that perturbations of the sail movement in all lateral degrees of freedom can be damped passively. This analysis also shows complicated behaviour akin to that ass…
▽ More
We consider the motion of a light sail that is accelerated by a powerful laser beam. We derive the equations of motion for two proof-of-concept sail designs with damped internal degrees of freedom. Using linear stability analysis we show that perturbations of the sail movement in all lateral degrees of freedom can be damped passively. This analysis also shows complicated behaviour akin to that associated with exceptional points in PT-symmetric systems in optics and quantum mechanics. The excess heat that is produced by the dam** mechanism is likely to be substantially smaller than the expected heating due to the partial absorption of the incident laser beam by the sail.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
On the $ C^{8/3} $-Regularisation of Simultaneous Binary Collisions in the Planar 4-Body Problem
Authors:
Nathan Duignan,
Holger R. Dullin
Abstract:
The dynamics of the 4-body problem allows for two binary collisions to occur simultaneously. It is known that in the collinear 4-body problem this simultaneous binary collision (SBC) can be block-regularised, but that the resulting block map is only $C^{8/3}$ differentiable. In this paper, it is proved that the $C^{8/3}$ differentiability persists for the SBC in the planar 4-body problem. The proo…
▽ More
The dynamics of the 4-body problem allows for two binary collisions to occur simultaneously. It is known that in the collinear 4-body problem this simultaneous binary collision (SBC) can be block-regularised, but that the resulting block map is only $C^{8/3}$ differentiable. In this paper, it is proved that the $C^{8/3}$ differentiability persists for the SBC in the planar 4-body problem. The proof uses several geometric tools, namely, blow-up, normal forms, dynamics near normally hyperbolic manifolds of equilibrium points, and Dulac maps.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
An Evans function for the linearised 2D Euler equations using Hill's determinant
Authors:
Holger R. Dullin,
Robert Marangell
Abstract:
We study the point spectrum of the linearisation of Euler's equation for the ideal fluid on the torus about a shear flow. By separation of variables the problem is reduced to the spectral theory of a complex Hill's equation. Using Hill's determinant an Evans function of the original Euler equation is constructed. The Evans function allows us to completely characterise the point spectrum of the lin…
▽ More
We study the point spectrum of the linearisation of Euler's equation for the ideal fluid on the torus about a shear flow. By separation of variables the problem is reduced to the spectral theory of a complex Hill's equation. Using Hill's determinant an Evans function of the original Euler equation is constructed. The Evans function allows us to completely characterise the point spectrum of the linearisation, and to count the isolated eigenvalues with non-zero real part. We prove that the number of discrete eigenvalues of he linearised operator for a specific shear flow is exactly twice the number of non-zero integer lattice points inside the so-called unstable disk.
△ Less
Submitted 5 May, 2023; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Relative equilibria of the 3-body problem in $\mathbb{R}^4$
Authors:
Alain Albouy,
Holger R. Dullin
Abstract:
The classical equations of the Newtonian 3-body problem do not only define the familiar 3-dimensional motions. The dimension of the motion may also be 4, and cannot be higher. We prove that in dimension 4, for three arbitrary positive masses, and for an arbitrary value (of rank 4) of the angular momentum, the energy possesses a minimum, which corresponds to a motion of relative equilibrium which i…
▽ More
The classical equations of the Newtonian 3-body problem do not only define the familiar 3-dimensional motions. The dimension of the motion may also be 4, and cannot be higher. We prove that in dimension 4, for three arbitrary positive masses, and for an arbitrary value (of rank 4) of the angular momentum, the energy possesses a minimum, which corresponds to a motion of relative equilibrium which is Lyapunov stable when considered as an equilibrium of the reduced problem. The nearby motions are nonsingular and bounded for all time. We also describe the full family of relative equilibria, and show that its image by the energy-momentum map presents cusps and other interesting features.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Monodromy in Prolate Spheroidal Harmonics
Authors:
Sean R. Dawson,
Holger R. Dullin,
Diana M. H. Nguyen
Abstract:
We show that spheroidal wave functions viewed as the essential part of the joint eigenfunction of two commuting operators of $L_2(S^2)$ has a defect in the joint spectrum that makes a global labelling of the joint eigenfunctions by quantum numbers impossible. To our knowledge this is the first explicit demonstration that quantum monodromy exists in a class of classically known special functions. U…
▽ More
We show that spheroidal wave functions viewed as the essential part of the joint eigenfunction of two commuting operators of $L_2(S^2)$ has a defect in the joint spectrum that makes a global labelling of the joint eigenfunctions by quantum numbers impossible. To our knowledge this is the first explicit demonstration that quantum monodromy exists in a class of classically known special functions. Using an analogue of the Laplace-Runge-Lenz vector we show that the corresponding classical Liouville integrable system is symplectically equivalent to the C. Neumann system. To prove the existence of this defect we construct a classical integrable system that is the semi-classical limit of the quantum integrable system of commuting operators. We show that this is a semi-toric system with a non-degenerate focus-focus point, such that there is monodromy in the classical and the quantum system.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
On the $ C^{8/3} $-Regularisation of Simultaneous Binary Collisions in the Collinear 4-Body Problem
Authors:
Nathan Duignan,
Holger R. Dullin
Abstract:
The singularity at a simultaneous binary collision is explored in the collinear 4-body problem. It is known that any attempt to remove the singularity via block regularisation will result in a regularised flow that is no more than $ C^{8/3} $ differentiable with respect to initial conditions. Through a blow-up of the singularity, this loss of differentiability is investigated and a new proof of th…
▽ More
The singularity at a simultaneous binary collision is explored in the collinear 4-body problem. It is known that any attempt to remove the singularity via block regularisation will result in a regularised flow that is no more than $ C^{8/3} $ differentiable with respect to initial conditions. Through a blow-up of the singularity, this loss of differentiability is investigated and a new proof of the $ C^{8/3} $ regularity is provided. In the process, it is revealed that the collision manifold consists of two manifolds of normally hyperbolic saddle singularities which are connected by a manifold of heteroclinics. By utilising recent work on transitions near such objects and their normal forms, an asymptotic series of the transition past the singularity is explicitly computed. It becomes remarkably apparent that the finite differentiability at $ 8/3 $ is due to the inability to construct a set of integrals local to the simultaneous binary collision. The finite differentiability is shown to be independent from a choice of initial condition or value of the masses.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
Symmetry reduction of the 3-body problem in $\mathbb{R}^4$
Authors:
Holger R. Dullin,
Jürgen Scheurle
Abstract:
The 3-body problem in $\mathbb{R}^4$ has 24 dimensions and is invariant under translations and rotations. We do the full symplectic symmetry reduction and obtain a reduced Hamiltonian in local symplectic coordinates on a reduced phase space with 8 dimensions. The Hamiltonian depends on two parameters $μ_1 > μ_2 \ge 0$, related to the conserved angular momentum. The limit $μ_2 \to 0$ corresponds to…
▽ More
The 3-body problem in $\mathbb{R}^4$ has 24 dimensions and is invariant under translations and rotations. We do the full symplectic symmetry reduction and obtain a reduced Hamiltonian in local symplectic coordinates on a reduced phase space with 8 dimensions. The Hamiltonian depends on two parameters $μ_1 > μ_2 \ge 0$, related to the conserved angular momentum. The limit $μ_2 \to 0$ corresponds to the 3-dimensional limit. We show that the reduced Hamiltonian has relative equilibria that are local minima and hence Lyapunov stable when $μ_2$ is sufficiently small. This proves the existence of balls of initial conditions of full dimension that do not contain any orbits that are unbounded.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Stability Theory of the 3-Dimensional Euler Equations
Authors:
Holger R. Dullin,
Joachim Worthington
Abstract:
The Euler equations on a three-dimensional periodic domain have a family of shear flow steady states. We show that the linearised system around these steady states decomposes into subsystems equivalent to the linearisation of shear flows in a two-dimensional periodic domain. To do so, we derive a formulation of the dynamics of the vorticity Fourier modes on a periodic domain and linearise around t…
▽ More
The Euler equations on a three-dimensional periodic domain have a family of shear flow steady states. We show that the linearised system around these steady states decomposes into subsystems equivalent to the linearisation of shear flows in a two-dimensional periodic domain. To do so, we derive a formulation of the dynamics of the vorticity Fourier modes on a periodic domain and linearise around the shear flows. The linearised system has a decomposition analogous to the two-dimensional problem, which can be significantly simplified. By appealing to previous results it is shown that some subset of the shear flows are spectrally stable, and another subset are spectrally unstable. For a dense set of parameter values the linearised operator has a nilpotent part, leading to linear instability. This is connected to the nonnormality of the linearised dynamics and the transition to turbulence. Finally we show that all shear flows in the family considered (even the linearly stable ones) are parametrically unstable.
△ Less
Submitted 24 March, 2019;
originally announced March 2019.
-
Poisson Structure of the Three-Dimensional Euler Equations in Fourier Space
Authors:
Holger R. Dullin,
James D. Meiss,
Joachim Worthington
Abstract:
We derive a simple Poisson structure in the space of Fourier modes for the vorticity formulation of the Euler equations on a three-dimensional periodic domain. This allows us to analyse the structure of the Euler equations using a Hamiltonian framework. The Poisson structure is valid on the divergence free subspace only, and we show that using a projection operator it can be extended to be valid i…
▽ More
We derive a simple Poisson structure in the space of Fourier modes for the vorticity formulation of the Euler equations on a three-dimensional periodic domain. This allows us to analyse the structure of the Euler equations using a Hamiltonian framework. The Poisson structure is valid on the divergence free subspace only, and we show that using a projection operator it can be extended to be valid in the full space. We then restrict the simple Poisson structure to the divergence-free subspace on which the dynamics of the Euler equations take place, reducing the size of the system of ODEs by a third. The projected and the restricted Poisson structures are shown to have the helicity as a Casimir invariant. We conclude by showing that periodic shear flows in three dimensions are equilibria that correspond to singular points of the projected Poisson structure, and hence that the usual approach to study their nonlinear stability through the Energy-Casimir method fails.
△ Less
Submitted 24 June, 2019; v1 submitted 23 December, 2018;
originally announced December 2018.
-
Quantum Monodromy in the Isotropic 3-Dimensional Harmonic Oscillator
Authors:
Irina Chiscop,
Holger R. Dullin,
Konstantinos Efstathiou,
Holger Waalkens
Abstract:
The isotropic harmonic oscillator in dimension 3 separates in several different coordinate systems. Separating in a particular coordinate system defines a system of three commuting operators, one of which is the Hamiltonian. We show that the joint spectrum of the Hamilton operator, the $z$ component of the angular momentum, and a quartic integral obtained from separation in prolate spheroidal coor…
▽ More
The isotropic harmonic oscillator in dimension 3 separates in several different coordinate systems. Separating in a particular coordinate system defines a system of three commuting operators, one of which is the Hamiltonian. We show that the joint spectrum of the Hamilton operator, the $z$ component of the angular momentum, and a quartic integral obtained from separation in prolate spheroidal coordinates has quantum monodromy for sufficiently large energies. This means that one cannot globally assign quantum numbers to the joint spectrum. The effect can be classically explained by showing that the corresponding Liouville integrable system has a non-degenerate focus-focus point, and hence Hamiltonian monodromy.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
Symplectic classification of coupled angular momenta
Authors:
Jaume Alonso,
Holger R. Dullin,
Sonja Hohloch
Abstract:
The coupled angular momenta are a family of completely integrable systems that depend on three parameters and have a compact phase space. They correspond to the classical version of the coupling of two quantum angular momenta and they constitute one of the fundamental examples of so-called semitoric systems. Pelayo & Vu Ngoc have given a classification of semitoric systems in terms of five symplec…
▽ More
The coupled angular momenta are a family of completely integrable systems that depend on three parameters and have a compact phase space. They correspond to the classical version of the coupling of two quantum angular momenta and they constitute one of the fundamental examples of so-called semitoric systems. Pelayo & Vu Ngoc have given a classification of semitoric systems in terms of five symplectic invariants. Three of these invariants have already been partially calculated in the literature for a certain parameter range, together with the linear terms of the so-called Taylor series invariant for a fixed choice of parameter values.
In the present paper we complete the classification by calculating the polygon invariant, the height invariant, the twisting-index invariant, and the higher-order terms of the Taylor series invariant for the whole family of systems. We also analyse the explicit dependence of the coefficients of the Taylor series with respect to the three parameters of the system, in particular near the Hopf bifurcation where the focus-focus point becomes degenerate.
△ Less
Submitted 17 August, 2018;
originally announced August 2018.
-
Scattering invariants in Euler's two-center problem
Authors:
Nikolay Martynchuk,
Holger R. Dullin,
Konstantinos Efstathiou,
Holger Waalkens
Abstract:
The problem of two fixed centers was introduced by Euler as early as in 1760. It plays an important role both in celestial mechanics and in the microscopic world. In the present paper we study the spatial problem in the case of arbitrary (both positive and negative) strengths of the centers. Combining techniques from scattering theory and Liouville integrability, we show that this spatial problem…
▽ More
The problem of two fixed centers was introduced by Euler as early as in 1760. It plays an important role both in celestial mechanics and in the microscopic world. In the present paper we study the spatial problem in the case of arbitrary (both positive and negative) strengths of the centers. Combining techniques from scattering theory and Liouville integrability, we show that this spatial problem has topologically non-trivial scattering dynamics, which we identify as scattering monodromy. The approach that we introduce in this paper applies more generally to scattering systems that are integrable in the Liouville sense.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
Using the Geometric Phase to Optimise Planar Somersaults
Authors:
William Tong,
Holger R. Dullin
Abstract:
We derive the equations of motion for the planar somersault, which consist of two additive terms. The first is the dynamic phase that is proportional to the angular momentum, and the second is the geometric phase that is independent of angular momentum and depends solely on the details of the shape change. Next, we import digitised footage of an elite athlete performing 3.5 forward somersaults off…
▽ More
We derive the equations of motion for the planar somersault, which consist of two additive terms. The first is the dynamic phase that is proportional to the angular momentum, and the second is the geometric phase that is independent of angular momentum and depends solely on the details of the shape change. Next, we import digitised footage of an elite athlete performing 3.5 forward somersaults off the 3m springboard, and use the data to validate our model. We show that reversing and reordering certain sections of the digitised dive can maximise the geometric phase without affecting the dynamic phase, thereby increasing the overall rotation achieved. Finally, we propose a theoretical planar somersault consisting of four shape changing states, where the optimisation lies in finding the shape change strategy that maximises the overall rotation of the dive. This is achieved by balancing the rotational contributions from the dynamic and geometric phases, in which we show the geometric phase plays a small but important role in the optimisation process.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
Taylor series and twisting-index invariants of coupled spin-oscillators
Authors:
Jaume Alonso,
Holger R. Dullin,
Sonja Hohloch
Abstract:
About six years ago, semitoric systems on 4-dimensional manifolds were classified by Pelayo & Vu Ngoc by means of five invariants. A standard example of such a system is the coupled spin-oscillator on $\mathbb{S}^2 \times \mathbb{R}^2$. Calculations of three of the five semitoric invariants of this system (namely the number of focus-focus singularities, the generalised semitoric polygon, and the h…
▽ More
About six years ago, semitoric systems on 4-dimensional manifolds were classified by Pelayo & Vu Ngoc by means of five invariants. A standard example of such a system is the coupled spin-oscillator on $\mathbb{S}^2 \times \mathbb{R}^2$. Calculations of three of the five semitoric invariants of this system (namely the number of focus-focus singularities, the generalised semitoric polygon, and the height invariant) already appeared in the literature, but the so-called twisting index was not yet computed and, of the so-called Taylor series invariant, only the linear terms were known.
In the present paper, we complete the list of invariants for the coupled spin-oscillator by calculating higher order terms of the Taylor series invariant and by computing the twisting index. Moreover, we prove that the Taylor series invariant has certain symmetry properties that make the even powers in one of the variables vanish and allow us to show superintegrability of the coupled spin-oscillator on the zero energy level.
△ Less
Submitted 15 October, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
A New Twisting Somersault - 513XD
Authors:
William Tong,
Holger R. Dullin
Abstract:
We present the mathematical framework of an athlete modelled as a system of coupled rigid bodies to simulate platform and springboard diving. Euler's equations of motion are generalised to non-rigid bodies, and are then used to innovate a new dive sequence that in principle can be performed by real world athletes. We begin by assuming shape changes are instantaneous so that the equations of motion…
▽ More
We present the mathematical framework of an athlete modelled as a system of coupled rigid bodies to simulate platform and springboard diving. Euler's equations of motion are generalised to non-rigid bodies, and are then used to innovate a new dive sequence that in principle can be performed by real world athletes. We begin by assuming shape changes are instantaneous so that the equations of motion simplify enough to be solved analytically, and then use this insight to present a new dive (513XD) consisting of 1.5 somersaults and 5 twists using realistic shape changes. Finally, we demonstrate the phenomenon of converting pure somersaulting motion into pure twisting motion by using a sequence of impulsive shape changes, which may have applications in other fields such as space aeronautics.
△ Less
Submitted 5 June, 2017; v1 submitted 19 December, 2016;
originally announced December 2016.
-
Twisting Somersault
Authors:
Holger R. Dullin,
William Tong
Abstract:
A complete description of twisting somersaults is given using a reduction to a time-dependent Euler equation for non-rigid body dynamics. The central idea is that after reduction the twisting motion is apparent in a body frame, while the somersaulting (rotation about the fixed angular momentum vector in space) is recovered by a combination of dynamic and geometric phase. In the simplest "kick-mode…
▽ More
A complete description of twisting somersaults is given using a reduction to a time-dependent Euler equation for non-rigid body dynamics. The central idea is that after reduction the twisting motion is apparent in a body frame, while the somersaulting (rotation about the fixed angular momentum vector in space) is recovered by a combination of dynamic and geometric phase. In the simplest "kick-model" the number of somersaults $m$ and the number of twists $n$ are obtained through a rational rotation number $W = m/n$ of a (rigid) Euler top. This rotation number is obtained by a slight modification of Montgomery's formula [9] for how much the rigid body has rotated. Using the full model with shape changes that take a realistic time we then derive the master twisting-somersault formula: An exact formula that relates the airborne time of the diver, the time spent in various stages of the dive, the numbers $m$ and $n$, the energy in the stages, and the angular momentum by extending a geometric phase formula due to Cabrera [3]. Numerical simulations for various dives agree perfectly with this formula where realistic parameters are taken from actual observations.
△ Less
Submitted 23 October, 2015;
originally announced October 2015.
-
The Diver with a Rotor
Authors:
Sudarsh Bharadwaj,
Nathan Duignan,
Holger R. Dullin,
Karen Leung,
William Tong
Abstract:
We present and analyse a simple model for the twisting somersault. The model is a rigid body with a rotor attached which can be switched on and off. This makes it simple enough to devise explicit analytical formulas whilst still maintaining sufficient complexity to preserve the shape-changing dynamics essential for twisting somersaults in springboard and platform diving. With `rotor on' and with `…
▽ More
We present and analyse a simple model for the twisting somersault. The model is a rigid body with a rotor attached which can be switched on and off. This makes it simple enough to devise explicit analytical formulas whilst still maintaining sufficient complexity to preserve the shape-changing dynamics essential for twisting somersaults in springboard and platform diving. With `rotor on' and with `rotor off' the corresponding Euler-type equations can be solved, and the essential quantities characterising the dynamics, such as the periods and rotation numbers, can be computed in terms of complete elliptic integrals. Thus we arrive at explicit formulas for how to achieve a dive with m somersaults and n twists in a given total time. This can be thought of as a special case of a geometric phase formula due to Cabrera 2007.
△ Less
Submitted 10 October, 2015;
originally announced October 2015.
-
Syzygies in the two center problem
Authors:
Holger R. Dullin,
Richard Montgomery
Abstract:
We give a complete symbolic dynamics description of the dynamics of Euler's problem of two fixed centers. By analogy with the 3-body problem we use the collinearities (or syzygies) of the three bodies as symbols. We show that motion without collision on regular tori of the regularised integrable system are given by so called Sturmian sequences. Sturmian sequences were introduced by Morse and Hedlu…
▽ More
We give a complete symbolic dynamics description of the dynamics of Euler's problem of two fixed centers. By analogy with the 3-body problem we use the collinearities (or syzygies) of the three bodies as symbols. We show that motion without collision on regular tori of the regularised integrable system are given by so called Sturmian sequences. Sturmian sequences were introduced by Morse and Hedlund in 1940. Our main theorem is that the periodic Sturmian sequences are in one to one correspondence with the periodic orbits of the two center problem. Similarly, finite Sturmian sequences correspond to collision-collision orbits.
△ Less
Submitted 17 September, 2015;
originally announced September 2015.
-
Instability of Equilibria for the 2D Euler Equations on the torus
Authors:
Joachim Worthington,
Holger R. Dullin,
Robert Marangell
Abstract:
We consider the hydrodynamics of an incompressible fluid on a 2D periodic domain. There exists a family of stationary solutions with vorticity given by $Ω^*=α\cos (\mathbf{p} \cdot \mathbf{x} )+β\sin (\mathbf{p} \cdot \mathbf{x} )$. This situation can be approximated as a structure preserving finite dimensional Hamiltonian system by a truncation introduced by Zeitlin (1990,2005) or by the more sta…
▽ More
We consider the hydrodynamics of an incompressible fluid on a 2D periodic domain. There exists a family of stationary solutions with vorticity given by $Ω^*=α\cos (\mathbf{p} \cdot \mathbf{x} )+β\sin (\mathbf{p} \cdot \mathbf{x} )$. This situation can be approximated as a structure preserving finite dimensional Hamiltonian system by a truncation introduced by Zeitlin (1990,2005) or by the more standard Galerkin style finite element method. We use these two truncations to analyse the linear stability of these solutions and analytical and numerical results are compared. Following the methods used by Li (2000) the problem is divided into subsystems and we prove that most subsystems are linearly stable. We derive a sufficient condition for a subsystem to be linearly unstable and derive an explicit lower bound for the associated real eigenvalues independent of the truncation size $N$. Then we show that the corresponding eigenvectors are in $\ell^2$. This together with known stability results for the 2D periodic Euler equations allows us to conclude that most of these stationary solutions are nonlinearly unstable. We confirm our results with a numerical computation of the spectrum for a large, finite truncation. Finally we discuss the essential spectrum of the full problem as the limit of the truncated problem.
△ Less
Submitted 2 May, 2016; v1 submitted 7 May, 2015;
originally announced May 2015.
-
Generating hyperbolic singularities in completely integrable systems
Authors:
Holger R. Dullin,
Álvaro Pelayo
Abstract:
Let $(M,Ω)$ be a connected symplectic 4-manifold and let $F=(J,H) : M \to \mathbb{R}^2$ be a completely integrable system on $M$ with only non-degenerate singularities and for which $J : M \to \mathbb{R}$ is a proper map. Assume that $F$ does not have singularities with hyperbolic blocks and that $p_1,...,p_n$ are the focus-focus singularities of $F$. For each subset $S=\{i_1,...,i_j\}$ we will sh…
▽ More
Let $(M,Ω)$ be a connected symplectic 4-manifold and let $F=(J,H) : M \to \mathbb{R}^2$ be a completely integrable system on $M$ with only non-degenerate singularities and for which $J : M \to \mathbb{R}$ is a proper map. Assume that $F$ does not have singularities with hyperbolic blocks and that $p_1,...,p_n$ are the focus-focus singularities of $F$. For each subset $S=\{i_1,...,i_j\}$ we will show how to modify $F$ locally around any $p_i, i \in S$, in order to create a new integrable system $\tilde{F}=(J, \tilde{H}) : M \to \mathbb{R}^2$ such that its classical spectrum $\tilde{F}(M)$ contains $j$ smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of $\tilde{F}$. Moreover the focus-focus singularities of $\tilde{F}$ are precisely $p_i$, $i \in \{1,...,n\} \setminus S$, and each of these $p_i$ is non-degenerate. The proof is based on Eliasson's linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
The Lie-Poisson Structure of the Symmetry Reduced Regularised n-Body Problem
Authors:
Suntharan Arunasalam,
Holger R. Dullin,
Diana M. H. Nguyen
Abstract:
This paper investigates the symmetry reduction of the regularised n-body problem. The three body problem, regularised through quaternions, is examined in detail. We show that for a suitably chosen symmetry group action the space of quadratic invariants is closed and the Hamiltonian can be written in terms of the quadratic invariants. The corresponding Lie-Poisson structure is isomorphic to the Lie…
▽ More
This paper investigates the symmetry reduction of the regularised n-body problem. The three body problem, regularised through quaternions, is examined in detail. We show that for a suitably chosen symmetry group action the space of quadratic invariants is closed and the Hamiltonian can be written in terms of the quadratic invariants. The corresponding Lie-Poisson structure is isomorphic to the Lie algebra u(3,3). Finally, we generalise this result to the n-body problem for n>3.
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
The Vanishing Twist in the Restricted Three Body Problem
Authors:
Holger R Dullin,
Joachim Worthington
Abstract:
This paper demonstrates the existence of twistless tori and the associated reconnection bifurcations and meandering curves in the planar circular restricted three-body problem. Near the Lagrangian equilibrium $\mathcal{L}_4$ a twistless torus is created near the tripling bifurcation of the short period family. Decreasing the mass ratio leads to twistless bifurcations which are particularly promine…
▽ More
This paper demonstrates the existence of twistless tori and the associated reconnection bifurcations and meandering curves in the planar circular restricted three-body problem. Near the Lagrangian equilibrium $\mathcal{L}_4$ a twistless torus is created near the tripling bifurcation of the short period family. Decreasing the mass ratio leads to twistless bifurcations which are particularly prominent for rotation numbers 3/10 and 2/7. This scenario is studied by numerically integrating the regularised Hamiltonian flow, and finding rotation numbers of invariant curves in a two-dimensional Poincaré map.
To corroborate the numerical results the Birkhoff normal form at $\mathcal{L}_4$ is calculated to eighth order. Truncating at this order gives an integrable system, and the rotation numbers obtained from the Birkhoff normal form agree well with the numerical results. A global overview for the mass ratio $μ\in (μ_4, μ_3)$ is presented by showing lines of constant energy and constant rotation number in action space.
△ Less
Submitted 5 September, 2013;
originally announced September 2013.
-
Semi-global symplectic invariants of the Euler top
Authors:
George Papadopoulos,
Holger R. Dullin
Abstract:
We compute the semi-global symplectic invariants near the hyperbolic equilibrium points of the Euler top. The Birkhoff normal form at the hyperbolic point is computed using Lie series. The actions near the hyperbolic point are found using Frobenius expansion of its Picard-Fuchs equation. We show that the Birkhoff normal form can also be found by inverting the regular solution of the Picard-Fuchs e…
▽ More
We compute the semi-global symplectic invariants near the hyperbolic equilibrium points of the Euler top. The Birkhoff normal form at the hyperbolic point is computed using Lie series. The actions near the hyperbolic point are found using Frobenius expansion of its Picard-Fuchs equation. We show that the Birkhoff normal form can also be found by inverting the regular solution of the Picard-Fuchs equation. Composition of the singular action integral with the Birkhoff normal form gives the semi-global symplectic invariant. Finally, we discuss the convergence of these invariants and show that in a neighbourhood of the separatrix the pendulum is not symplectically equivalent to any Euler top.
△ Less
Submitted 18 June, 2013; v1 submitted 24 October, 2012;
originally announced October 2012.
-
The Lie-Poisson structure of the reduced n-body problem
Authors:
Holger R. Dullin
Abstract:
The classical n-body problem in d-dimensional space is invariant under the Galilean symmetry group. We reduce by this symmetry group using the method of polynomial invariants. As a result we obtain a reduced system with a Lie-Poisson structure which is isomorphic to sp(2n-2), independently of d. The reduction preserves the natural form of the Hamiltonian as a sum of kinetic energy that depends on…
▽ More
The classical n-body problem in d-dimensional space is invariant under the Galilean symmetry group. We reduce by this symmetry group using the method of polynomial invariants. As a result we obtain a reduced system with a Lie-Poisson structure which is isomorphic to sp(2n-2), independently of d. The reduction preserves the natural form of the Hamiltonian as a sum of kinetic energy that depends on velocities only and a potential that depends on positions only. Hence we proceed to construct a Poisson integrator for the reduced n-body problem using a splitting method.
△ Less
Submitted 24 July, 2012;
originally announced July 2012.
-
The degenerate C. Neumann system I: symmetry reduction and convexity
Authors:
Holger R. Dullin,
Heinz Hanßmann
Abstract:
The C. Neumann system describes a particle on the sphere S^n under the influence of a potential that is a quadratic form. We study the case that the quadratic form has l+1 distinct eigenvalues with multiplicity. Each group of m_σequal eigenvalues gives rise to an O(m_σ)-symmetry in configuration space. The combined symmetry group G is a direct product of l+1 such factors, and its cotangent lift ha…
▽ More
The C. Neumann system describes a particle on the sphere S^n under the influence of a potential that is a quadratic form. We study the case that the quadratic form has l+1 distinct eigenvalues with multiplicity. Each group of m_σequal eigenvalues gives rise to an O(m_σ)-symmetry in configuration space. The combined symmetry group G is a direct product of l+1 such factors, and its cotangent lift has an Ad^*-equivariant Momentum map**. Regular reduction leads to the Rosochatius system on S^l, which has the same form as the Neumann system albeit for an additional effective potential.
To understand how the reduced systems fit together we use singular reduction to construct an embedding of the reduced Poisson space T^*{S^n}/G into R^{3l+3}$. The global geometry is described, in particular the bundle structure that appears as a result of the superintegrability of the system. We show how the reduced Neumann system separates in elliptical-spherical co-ordinates. We derive the action variables and frequencies as complete hyperelliptic integrals of genus l. Finally we prove a convexity result for the image of the Casimir map** restricted to the energy surface.
△ Less
Submitted 8 May, 2012;
originally announced May 2012.
-
Symmetry Reduction by Lifting for Maps
Authors:
H. R. Dullin,
H. E. Lomeli,
J. D. Meiss
Abstract:
We study diffeomorphisms that have one-parameter families of continuous symmetries. For general maps, in contrast to the symplectic case, existence of a symmetry no longer implies existence of an invariant. Conversely, a map with an invariant need not have a symmetry. We show that when a symmetry flow has a global Poincaré section there are coordinates in which the map takes a reduced, skew-produc…
▽ More
We study diffeomorphisms that have one-parameter families of continuous symmetries. For general maps, in contrast to the symplectic case, existence of a symmetry no longer implies existence of an invariant. Conversely, a map with an invariant need not have a symmetry. We show that when a symmetry flow has a global Poincaré section there are coordinates in which the map takes a reduced, skew-product form, and hence allows for reduction of dimensionality. We show that the reduction of a volume-preserving map again is volume preserving. Finally we sharpen the Noether theorem for symplectic maps. A number of illustrative examples are discussed and the method is compared with traditional reduction techniques.
△ Less
Submitted 22 November, 2011; v1 submitted 16 November, 2011;
originally announced November 2011.
-
The Equilateral Pentagon at Zero Angular Momentum: Maximal Rotation Through Optimal Deformation
Authors:
William Tong,
Holger R. Dullin
Abstract:
A pentagon in the plane with fixed side-lengths has a two-dimensional shape space. Considering the pentagon as a mechanical system with point masses at the corners we answer the question of how much the pentagon can rotate with zero angular momentum. We show that the shape space of the equilateral pentagon has genus 4 and find a fundamental region by discrete symmetry reduction with respect to sym…
▽ More
A pentagon in the plane with fixed side-lengths has a two-dimensional shape space. Considering the pentagon as a mechanical system with point masses at the corners we answer the question of how much the pentagon can rotate with zero angular momentum. We show that the shape space of the equilateral pentagon has genus 4 and find a fundamental region by discrete symmetry reduction with respect to symmetry group D_5. The amount of rotation Δθfor a loop in shape space at zero angular momentum is interpreted as a geometric phase and is obtained as an integral of a function B over the region of shape space enclosed by the loop. With a simple variational argument we determine locally optimal loops as the zero contours of the function B. The resulting shape change is represented as a Fourier series, and the global maximum of Δθ\approx 45\degree is found for a loop around the regular pentagram. We also show that restricting allowed shapes to convex pentagons the optimal loop is the boundary of the convex region and gives Δθ\approx 19\degree.
△ Less
Submitted 11 October, 2012; v1 submitted 4 November, 2011;
originally announced November 2011.
-
Semi-global symplectic invariants of the spherical pendulum
Authors:
Holger R. Dullin
Abstract:
We explicitly compute the semi-global symplectic invariants near the focus-focus point of the spherical pendulum. A modified Birkhoff normal form procedure is presented to compute the expansion of the Hamiltonian near the unstable equilibrium point in Eliasson-variables. Combining this with explicit formulas for the action we find the semi-global symplectic invariants near the focus-focus point in…
▽ More
We explicitly compute the semi-global symplectic invariants near the focus-focus point of the spherical pendulum. A modified Birkhoff normal form procedure is presented to compute the expansion of the Hamiltonian near the unstable equilibrium point in Eliasson-variables. Combining this with explicit formulas for the action we find the semi-global symplectic invariants near the focus-focus point introduced by Vu Ngoc 2003. We also show that the Birkhoff normal form is the inverse of a complete elliptic integral over a vanishing cycle. To our knowledge this is the first time that semi-global symplectic invariants near a focus-focus point have been computed explicitly. We close with some remarks about the pendulum, for which the invariants can be related to theta functions in a beautiful way.
△ Less
Submitted 24 August, 2011;
originally announced August 2011.
-
Resonances and Twist in Volume-Preserving Map**s
Authors:
H. R. Dullin,
J. D. Meiss
Abstract:
The phase space of an integrable, volume-preserving map with one action and $d$ angles is foliated by a one-parameter family of $d$-dimensional invariant tori. Perturbations of such a system may lead to chaotic dynamics and transport. We show that near a rank-one, resonant torus these map**s can be reduced to volume-preserving "standard maps." These have twist only when the image of the frequenc…
▽ More
The phase space of an integrable, volume-preserving map with one action and $d$ angles is foliated by a one-parameter family of $d$-dimensional invariant tori. Perturbations of such a system may lead to chaotic dynamics and transport. We show that near a rank-one, resonant torus these map**s can be reduced to volume-preserving "standard maps." These have twist only when the image of the frequency map crosses the resonance curve transversely. We show that these maps can be approximated---using averaging theory---by the usual area-preserving twist or nontwist standard maps. The twist condition appropriate for the volume-preserving setting is shown to be distinct from the nondegeneracy condition used in (volume-preserving) KAM theory.
△ Less
Submitted 3 September, 2011; v1 submitted 3 March, 2010;
originally announced March 2010.
-
Experimental demonstration of classical Hamiltonian monodromy in the 1:1:2 resonant elastic pendulum
Authors:
Noah J. Fitch,
Carrie A. Weidner,
L. Paul Parazzoli,
H. R. Dullin,
Heather J. Lewandowski
Abstract:
The 1:1:2 resonant elastic pendulum is a simple classical system that displays the phenomenon known as Hamiltonian monodromy. With suitable initial conditions, the system oscillates between nearly pure springing and nearly pure elliptical-swinging motions, with sequential major axes displaying a stepwise precession. The physical consequence of monodromy is that this stepwise precession is given…
▽ More
The 1:1:2 resonant elastic pendulum is a simple classical system that displays the phenomenon known as Hamiltonian monodromy. With suitable initial conditions, the system oscillates between nearly pure springing and nearly pure elliptical-swinging motions, with sequential major axes displaying a stepwise precession. The physical consequence of monodromy is that this stepwise precession is given by a smooth but multivalued function of the constants of motion. We experimentally explore this multivalued behavior. To our knowledge, this is the first experimental demonstration of classical monodromy.
△ Less
Submitted 16 June, 2009;
originally announced June 2009.
-
Dynamics near the p : -q Resonance
Authors:
Sven Schmidt,
Holger R. Dullin
Abstract:
We study the dynamics near the truncated p : +/- q resonant Hamiltonian equilibrium for p, q coprime. The critical values of the momentum map of the Liouville integrable system are found. The three basic objects reduced period, rotation number, and non-trivial action for the leading order dynamics are computed in terms of complete hyperelliptic integrals. A relation between the three functions t…
▽ More
We study the dynamics near the truncated p : +/- q resonant Hamiltonian equilibrium for p, q coprime. The critical values of the momentum map of the Liouville integrable system are found. The three basic objects reduced period, rotation number, and non-trivial action for the leading order dynamics are computed in terms of complete hyperelliptic integrals. A relation between the three functions that can be interpreted as a decomposition of the rotation number into geometric and dynamic phase is found. Using this relation we show that the p : -q resonance has fractional monodromy. Finally we prove that near the origin of the 1 : -q resonance the twist vanishes.
△ Less
Submitted 4 May, 2009;
originally announced May 2009.
-
Non-uniqueness of phase shift in central scattering due to monodromy
Authors:
Holger R. Dullin,
Holger Waalkens
Abstract:
Scattering at a central potential is completely characterized by the phase shifts which are the differences in phase between outgoing scattered and unscattered partial waves. In this letter it is shown that, for 2D scattering at a repulsive central potential, the phase shift cannot be uniquely defined due to a topological obstruction which is similar to monodromy in bound systems.
Scattering at a central potential is completely characterized by the phase shifts which are the differences in phase between outgoing scattered and unscattered partial waves. In this letter it is shown that, for 2D scattering at a repulsive central potential, the phase shift cannot be uniquely defined due to a topological obstruction which is similar to monodromy in bound systems.
△ Less
Submitted 15 July, 2008;
originally announced July 2008.
-
Quadratic Volume-Preserving Maps: Invariant Circles and Bifurcations
Authors:
Holger R. Dullin,
James D. Meiss
Abstract:
We study the dynamics of the five-parameter quadratic family of volume-preserving diffeomorphisms of R^3. This family is the unfolded normal form for a bifurcation of a fixed point with a triple-one multiplier and also is the general form of a quadratic three-dimensional map with a quadratic inverse. Much of the nontrivial dynamics of this map occurs when its two fixed points are saddle-foci wit…
▽ More
We study the dynamics of the five-parameter quadratic family of volume-preserving diffeomorphisms of R^3. This family is the unfolded normal form for a bifurcation of a fixed point with a triple-one multiplier and also is the general form of a quadratic three-dimensional map with a quadratic inverse. Much of the nontrivial dynamics of this map occurs when its two fixed points are saddle-foci with intersecting two-dimensional stable and unstable manifolds that bound a spherical ``vortex-bubble''. We show that this occurs near a saddle-center-Neimark-Sacker (SCNS) bifurcation that also creates, at least in its normal form, an elliptic invariant circle. We develop a simple algorithm to accurately compute these elliptic invariant circles and their longitudinal and transverse rotation numbers and use it to study their bifurcations, classifying them by the resonances between the rotation numbers. In particular, rational values of the longitudinal rotation number are shown to give rise to a string of pearls that creates multiple copies of the original spherical structure for an iterate of the map.
△ Less
Submitted 4 July, 2008;
originally announced July 2008.
-
A Poincaré section for the general heavy rigid body
Authors:
Sven Schmidt,
Holger R. Dullin,
Peter H. Richter
Abstract:
A general recipe is developed for the study of rigid body dynamics in terms of Poincaré surfaces of section. A section condition is chosen which captures every trajectory on a given energy surface. The possible topological types of the corresponding surfaces of section are determined, and their 1:1 projection to a conveniently defined torus is proposed for graphical rendering.
A general recipe is developed for the study of rigid body dynamics in terms of Poincaré surfaces of section. A section condition is chosen which captures every trajectory on a given energy surface. The possible topological types of the corresponding surfaces of section are determined, and their 1:1 projection to a conveniently defined torus is proposed for graphical rendering.
△ Less
Submitted 1 March, 2008;
originally announced March 2008.
-
The 1:+2 / 1:-2 resonance
Authors:
R. H. Cushman,
Holger R. Dullin,
Heinz Hanßmann,
Sven Schmidt
Abstract:
On the linear level elliptic equilibria of Hamiltonian systems are mere superpositions of harmonic oscillators. Non-linear terms can produce instability, if the ratio of frequencies is rational and the Hamiltonian is indefinite. In this paper we study the frequency ratio 1/2 and its unfolding. In particular we show that for the indefinite case (1:-2) the frequency ratio map in a neighbourhood of…
▽ More
On the linear level elliptic equilibria of Hamiltonian systems are mere superpositions of harmonic oscillators. Non-linear terms can produce instability, if the ratio of frequencies is rational and the Hamiltonian is indefinite. In this paper we study the frequency ratio 1/2 and its unfolding. In particular we show that for the indefinite case (1:-2) the frequency ratio map in a neighbourhood of the origin has a critical point, i.e. the twist condition is violated for one torus on every energy surface near the energy of the equilibrium. In contrast, we show that the frequency map itself is non-degenerate (i.e. the Kolmogorov non-degeneracy condition holds) for every torus in a neighbourhood of the equilibrium point. As a byproduct we are able to obtain another proof of fractional monodromy in the 1:-2 resonance.
△ Less
Submitted 18 January, 2008; v1 submitted 29 August, 2007;
originally announced August 2007.
-
Nilpotent normal form for divergence-free vector fields and volume-preserving maps
Authors:
H. R. Dullin,
J. D. Meiss
Abstract:
We study the normal forms for incompressible flows and maps in the neighborhood of an equilibrium or fixed point with a triple eigenvalue. We prove that when a divergence free vector field in $\mathbb{R}^3$ has nilpotent linearization with maximal Jordan block then, to arbitrary degree, coordinates can be chosen so that the nonlinear terms occur as a single function of two variables in the third…
▽ More
We study the normal forms for incompressible flows and maps in the neighborhood of an equilibrium or fixed point with a triple eigenvalue. We prove that when a divergence free vector field in $\mathbb{R}^3$ has nilpotent linearization with maximal Jordan block then, to arbitrary degree, coordinates can be chosen so that the nonlinear terms occur as a single function of two variables in the third component. The analogue for volume-preserving diffeomorphisms gives an optimal normal form in which the truncation of the normal form at any degree gives an exactly volume-preserving map whose inverse is also polynomial inverse with the same degree.
△ Less
Submitted 11 June, 2007;
originally announced June 2007.
-
Geodesic flow on three dimensional ellipsoids with equal semi-axes
Authors:
Chris M. Davison,
Holger R. Dullin
Abstract:
Following on from our previous study of the geodesic flow on three dimensional ellipsoid with equal middle semi-axes, here we study the remaining cases: Ellipsoids with two sets of equal semi-axes with $SO(2) \times SO(2)$ symmetry, ellipsoids with equal larger or smaller semi-axes with SO(2) symmetry, and ellipsoids with three semi-axes coinciding with SO(3) symmetry. All of these cases are Lio…
▽ More
Following on from our previous study of the geodesic flow on three dimensional ellipsoid with equal middle semi-axes, here we study the remaining cases: Ellipsoids with two sets of equal semi-axes with $SO(2) \times SO(2)$ symmetry, ellipsoids with equal larger or smaller semi-axes with SO(2) symmetry, and ellipsoids with three semi-axes coinciding with SO(3) symmetry. All of these cases are Liouville-integrable, and reduction of the symmetry leads to singular reduced systems on lower-dimensional ellipsoids. The critical values of the energy-momentum maps and their singular fibers are completely classified. In the cases with SO(2) symmetry there are corank 1 degenerate critical points; all other critical points are non-degenreate. We show that in the case with $SO(2) \times SO(2)$ symmetry three global action variables exist and the image of the energy surface under the energy-momentum map is a convex polyhedron. The case with SO(3) symmetry is non-commutatively integrable, and we show that the fibers over regular points of the energy-casimir map are $T^2$ bundles over $S^2$.
△ Less
Submitted 22 November, 2006;
originally announced November 2006.
-
On the analytic non-integrability of the Rattleback problem
Authors:
Holger R. Dullin,
Alexei Tsygvintsev
Abstract:
We establish the analytic non-integrability of the nonholonomic ellipsoidal rattleback model for a large class of parameter values. Our approach is based on the study of the monodromy group of the normal variational equations around a particular orbit. The embedding of the equations of the heavy rigid body into the rattleback model is discussed.
We establish the analytic non-integrability of the nonholonomic ellipsoidal rattleback model for a large class of parameter values. Our approach is based on the study of the monodromy group of the normal variational equations around a particular orbit. The embedding of the equations of the heavy rigid body into the rattleback model is discussed.
△ Less
Submitted 9 October, 2006;
originally announced October 2006.
-
Geodesics on the Ellipsoid and Monodromy
Authors:
Chris M. Davison,
Holger R. Dullin,
Alexey V. Bolsinov
Abstract:
The equations for geodesic flow on the ellipsoid are well known, and were first solved by Jacobi in 1838 by separating the variables of the Hamilton-Jacobi equation. In 1979 Moser investigated the case of the general ellipsoid with distinct semi-axes and described a set of integrals which weren't know classically. After reviewing the properties of geodesic flow on the three dimensional ellipsoid…
▽ More
The equations for geodesic flow on the ellipsoid are well known, and were first solved by Jacobi in 1838 by separating the variables of the Hamilton-Jacobi equation. In 1979 Moser investigated the case of the general ellipsoid with distinct semi-axes and described a set of integrals which weren't know classically. After reviewing the properties of geodesic flow on the three dimensional ellipsoid with distinct semi-axes, we investigate the three dimensional ellipsoid with the two middle semi-axes being equal, corresponding to a Hamiltonian invariant under rotations. The system is Liouville-integrable and thus the invariant manifolds corresponding to regular points of the energy momentum map are 3-dimensional tori. An analysis of the critical points of the energy momentum maps gives the bifurcation diagram. We find the fibres of the critical values of the energy momentum map, and carry out an analysis of the action variables. We show that the obstruction to the existence of single valued globally smooth action variables is monodromy.
△ Less
Submitted 26 September, 2006;
originally announced September 2006.
-
Normal Forms for Symplectic Maps with Twist Singularities
Authors:
H. R. Dullin,
A. V. Ivanov,
J. D. Meiss
Abstract:
We derive a normal form for a near-integrable, four-dimensional symplectic map with a fold or cusp singularity in its frequency map**. The normal form is obtained for when the frequency is near a resonance and the map** is approximately given by the time-$T$ map** of a two-degree-of freedom Hamiltonian flow. Consequently there is an energy-like invariant. The fold Hamiltonian is similar to…
▽ More
We derive a normal form for a near-integrable, four-dimensional symplectic map with a fold or cusp singularity in its frequency map**. The normal form is obtained for when the frequency is near a resonance and the map** is approximately given by the time-$T$ map** of a two-degree-of freedom Hamiltonian flow. Consequently there is an energy-like invariant. The fold Hamiltonian is similar to the well-studied, one-degree-of freedom case but is essentially nonintegrable when the direction of the singular curve in action does not coincide with curves of the resonance module. We show that many familiar features, such as multiple island chains and reconnecting invariant manifolds, are retained even in this case. The cusp Hamiltonian has an essential coupling between its two degrees of freedom even when the singular set is aligned with the resonance module. Using averaging, we approximately reduced this case to one degree of freedom as well. The resulting Hamiltonian and its perturbation with small cusp-angle is analyzed in detail.
△ Less
Submitted 19 August, 2005;
originally announced August 2005.
-
Extended phase diagram of the Lorenz model
Authors:
Holger R. Dullin,
Sven Schmidt,
Peter H. Richter,
Siegfried K. Grossmann
Abstract:
The parameter dependence of the various attractive solutions of the three variable nonlinear Lorenz model equations for thermal convection in Rayleigh-Bénard flow is studied. Its bifurcation structure has commonly been investigated as a function of r, the normalized Rayleigh number, at fixed Prandtl number σ. The present work extends the analysis to the entire (r,σ) parameter plane. An onion lik…
▽ More
The parameter dependence of the various attractive solutions of the three variable nonlinear Lorenz model equations for thermal convection in Rayleigh-Bénard flow is studied. Its bifurcation structure has commonly been investigated as a function of r, the normalized Rayleigh number, at fixed Prandtl number σ. The present work extends the analysis to the entire (r,σ) parameter plane. An onion like periodic pattern is found which is due to the alternating stability of symmetric and non-symmetric periodic orbits. This periodic pattern is explained by considering non-trivial limits of large r and σ. In addition to the limit which was previously analyzed by Sparrow, we identify two more distinct asymptotic regimes in which either σ/r or σ^2/r is constant. In both limits the dynamics is approximately described by Airy functions whence the periodicity in parameter space can be calculated analytically. Furthermore, some observations about sequences of bifurcations and coexistence of attractors, periodic as well as chaotic, are reported.
△ Less
Submitted 12 April, 2005;
originally announced April 2005.
-
Spectra of Sol-manifolds: arithmetic and quantum monodromy
Authors:
A. V. Bolsinov,
H. R. Dullin,
A. P. Veselov
Abstract:
The spectral problem of three-dimensional manifolds M_A admitting Sol-geometry in Thurston's sense is investigated. Topologically M_A are torus bundles over a circle with a unimodular hyperbolic gluing map A. The eigenfunctions of the corresponding Laplace-Beltrami operators are described in terms of the modified Mathieu functions. It is shown that the multiplicities of the eigenvalues are the s…
▽ More
The spectral problem of three-dimensional manifolds M_A admitting Sol-geometry in Thurston's sense is investigated. Topologically M_A are torus bundles over a circle with a unimodular hyperbolic gluing map A. The eigenfunctions of the corresponding Laplace-Beltrami operators are described in terms of the modified Mathieu functions. It is shown that the multiplicities of the eigenvalues are the same for generic values of the parameters in the metric and are directly related to the number of representations of an integer by a given indefinite binary quadratic form. As a result the spectral statistics is shown to disagree with the Berry-Tabor conjecture. The topological nature of the monodromy for both classical and quantum systems on Sol-manifolds is demonstrated.
△ Less
Submitted 17 March, 2005;
originally announced March 2005.
-
Symbolic Codes for Rotational Orbits
Authors:
Holger R. Dullin,
James D. Meiss,
David G. Sterling
Abstract:
Symbolic codes for rotational orbits and "islands-around-islands" are constructed for the quadratic, area-preserving Henon map. The codes are based upon continuation from an anti-integrable limit, or alternatively from the horseshoe. Given any sequence of rotation numbers we obtain symbolic sequences for the corresponding elliptic and hyperbolic rotational orbits. These are shown to be consisten…
▽ More
Symbolic codes for rotational orbits and "islands-around-islands" are constructed for the quadratic, area-preserving Henon map. The codes are based upon continuation from an anti-integrable limit, or alternatively from the horseshoe. Given any sequence of rotation numbers we obtain symbolic sequences for the corresponding elliptic and hyperbolic rotational orbits. These are shown to be consistent with numerical evidence. The resulting symbolic partition of the phase space consists of wedges constructed from images of the symmetry lines of the map.
△ Less
Submitted 6 August, 2004;
originally announced August 2004.
-
A new integrable system on the sphere
Authors:
Holger R. Dullin,
Vladimir S. Matveev
Abstract:
We present a new Liouville-integrable natural Hamiltonian system on the (cotangent bundle of the) two-dimensional sphere. The second integral is cubic in the momenta.
We present a new Liouville-integrable natural Hamiltonian system on the (cotangent bundle of the) two-dimensional sphere. The second integral is cubic in the momenta.
△ Less
Submitted 10 June, 2004;
originally announced June 2004.
-
On asymptotically equivalent shallow water wave equations
Authors:
H. R. Dullin,
G. A. Gottwald,
D. D. Holm
Abstract:
The integrable 3rd-order Korteweg-de Vries (KdV) equation emerges uniquely at linear order in the asymptotic expansion for unidirectional shallow water waves. However, at quadratic order, this asymptotic expansion produces an entire {\it family} of shallow water wave equations that are asymptotically equivalent to each other, under a group of nonlinear, nonlocal, normal-form transformations intr…
▽ More
The integrable 3rd-order Korteweg-de Vries (KdV) equation emerges uniquely at linear order in the asymptotic expansion for unidirectional shallow water waves. However, at quadratic order, this asymptotic expansion produces an entire {\it family} of shallow water wave equations that are asymptotically equivalent to each other, under a group of nonlinear, nonlocal, normal-form transformations introduced by Kodama in combination with the application of the Helmholtz-operator. These Kodama-Helmholtz transformations are used to present connections between shallow water waves, the integrable 5th-order Korteweg-de Vries equation, and a generalization of the Camassa-Holm (CH) equation that contains an additional integrable case. The dispersion relation of the full water wave problem and any equation in this family agree to 5th order. The travelling wave solutions of the CH equation are shown to agree to 5th order with the exact solution.
△ Less
Submitted 3 July, 2003;
originally announced July 2003.
-
Vanishing Twist near Focus-Focus Points
Authors:
Holger R. Dullin,
Vu Ngoc San
Abstract:
We show that near a focus-focus point in a Liouville integrable Hamiltonian system with two degrees of freedom lines of locally constant rotation number in the image of the energy-momentum map are spirals determined by the eigenvalue of the equilibrium. From this representation of the rotation number we derive that the twist condition for the isoenergetic KAM condition vanishes on a curve in the…
▽ More
We show that near a focus-focus point in a Liouville integrable Hamiltonian system with two degrees of freedom lines of locally constant rotation number in the image of the energy-momentum map are spirals determined by the eigenvalue of the equilibrium. From this representation of the rotation number we derive that the twist condition for the isoenergetic KAM condition vanishes on a curve in the image of the energy-momentum map that is transversal to the line of constant energy. In contrast to this we also show that the frequency map is non-degenerate for every point in a neighborhood of a focus-focus point.
△ Less
Submitted 27 June, 2003;
originally announced June 2003.