-
Symmetry Reduction and Rotation Numbers for Poncelet maps
Authors:
H. E. Lomeli,
J. D. Meiss
Abstract:
Poncelet maps are circle maps constructed geometrically for a pair of nested ellipses; they are related to the classic billiard map on an elliptical domain when the orbit has an elliptical caustic. Here we show how the rotation number of the elliptical billiard map can be obtained from a symmetry generated from the flow of a pendulum Hamiltonian system. When such a symmetry flow has a global cross…
▽ More
Poncelet maps are circle maps constructed geometrically for a pair of nested ellipses; they are related to the classic billiard map on an elliptical domain when the orbit has an elliptical caustic. Here we show how the rotation number of the elliptical billiard map can be obtained from a symmetry generated from the flow of a pendulum Hamiltonian system. When such a symmetry flow has a global cross section, we previously showed that there are coordinates in which the map takes a reduced, skew-product form on a covering space. In particular, for elliptic billiard map this gives an explicit form for the rotation number of each orbit.
We show that the family Poncelet maps on a pencil of ellipses is conjugate to a corresponding family of billiard maps, and thus the Poncelet maps inherit the one-parameter family of continuous symmetries. Such a pencil has a single parameter, the pencil eccentricity, which becomes the modulus of the Jacobi elliptic functions used to construct a covering space that simultaneously simplifies all of the Poncelet maps. The rotation number of the Poncelet map for any element of a pencil can then be written in terms of elliptic functions as well. An implication is that the rotation number of the pencil has a monotonicity property: it is monotone increasing as the caustic ellipse shrinks.
The resulting expression for the rotation number gives an explicit condition for Poncelet porisms, the parameters for which the rotation number is rational. For such parameters, an orbit of the corresponding Poncelet map is periodic: it forms a polygon for any initial point. These universal parameters also solve the inverse problem: given a rotation number, which member of a pencil has a Poncelet map with that rotation number? Explicit conditions are given for a general rotation numbers and we see how they are related to Cayley's classic porism theorem.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
On Hamiltonian flows whose orbits are straight lines
Authors:
Hans Koch,
Héctor E. Lomelí
Abstract:
We consider real analytic Hamiltonians whose flow depends linearly on time. Trivial examples are Hamiltonians $H(q,p)$ that do not depend on the coordinate $q$. By a theorem of Moser, every polynomial Hamiltonian of degree 3 reduces to such a $q$-independent Hamiltonian via a linear symplectic change of variables. We show that such a reduction is impossible, in general, for polynomials of degree 4…
▽ More
We consider real analytic Hamiltonians whose flow depends linearly on time. Trivial examples are Hamiltonians $H(q,p)$ that do not depend on the coordinate $q$. By a theorem of Moser, every polynomial Hamiltonian of degree 3 reduces to such a $q$-independent Hamiltonian via a linear symplectic change of variables. We show that such a reduction is impossible, in general, for polynomials of degree 4 or higher. But we give a condition that implies linear-symplectic conjugacy to another simple class of Hamiltonians. The condition is shown to hold for all nondegenerate Hamiltonians that are homogeneous of degree 4.
△ Less
Submitted 11 April, 2013;
originally announced April 2013.
-
Invariant manifolds for analytic difference equations
Authors:
Rafael de la Llave,
Hector E. Lomeli
Abstract:
We use a modification of the parameterization method to study invariant manifolds for difference equations. We establish existence, regularity, smooth dependence on parameters and study several singular limits, even if the difference equations do not define a dynamical system. This method also leads to efficient algorithms that we present with their implementations. The manifolds we consider inclu…
▽ More
We use a modification of the parameterization method to study invariant manifolds for difference equations. We establish existence, regularity, smooth dependence on parameters and study several singular limits, even if the difference equations do not define a dynamical system. This method also leads to efficient algorithms that we present with their implementations. The manifolds we consider include not only the classical strong stable and unstable manifolds but also manifolds associated to non-resonant spaces.
When the difference equations are the Euler-Lagrange equations of a discrete variational we present sharper results. Note that, if the Legendre condition fails, the Euler-Lagrange equations can not be treated as a dynamical system. If the Legendre condition becomes singular, the dynamical system may be singular while the difference equation remains regular.
We present numerical applications to several examples in the physics literature: the Frenkel-Kontorova model with long-range interactions and the Heisenberg model of spin chains with a perturbation. We also present extensions to finite differentiable difference equations.
△ Less
Submitted 17 May, 2012;
originally announced May 2012.
-
Canonical Melnikov theory for diffeomorphisms
Authors:
H. E. Lomelí,
J. D. Meiss,
R. Ramírez-Ros
Abstract:
We study perturbations of diffeomorphisms that have a saddle connection between a pair of normally hyperbolic invariant manifolds. We develop a first-order deformation calculus for invariant manifolds and show that a generalized Melnikov function or Melnikov displacement can be written in a canonical way. This function is defined to be a section of the normal bundle of the saddle connection.
W…
▽ More
We study perturbations of diffeomorphisms that have a saddle connection between a pair of normally hyperbolic invariant manifolds. We develop a first-order deformation calculus for invariant manifolds and show that a generalized Melnikov function or Melnikov displacement can be written in a canonical way. This function is defined to be a section of the normal bundle of the saddle connection.
We show how our definition reproduces the classical methods of Poincaré and Melnikov and specializes to methods previously used for exact symplectic and volume-preserving maps. We use the method to detect the transverse intersection of stable and unstable manifolds and relate this intersection to the set of zeros of the Melnikov displacement.
△ Less
Submitted 17 June, 2007;
originally announced June 2007.
-
Quadratic volume preserving maps
Authors:
Hector E. Lomeli,
James D. Meiss
Abstract:
We study quadratic, volume preserving diffeomorphisms whose inverse is also quadratic. Such maps generalize the Hénon area preserving map and the family of symplectic quadratic maps studied by Moser. In particular, we investigate a family of quadratic volume preserving maps in three space for which we find a normal form and study invariant sets. We also give an alternative proof of a theorem by…
▽ More
We study quadratic, volume preserving diffeomorphisms whose inverse is also quadratic. Such maps generalize the Hénon area preserving map and the family of symplectic quadratic maps studied by Moser. In particular, we investigate a family of quadratic volume preserving maps in three space for which we find a normal form and study invariant sets. We also give an alternative proof of a theorem by Moser classifying quadratic symplectic maps.
△ Less
Submitted 4 September, 1997;
originally announced September 1997.
-
Heteroclinic orbits and transport in a perturbed integrable standard map
Authors:
Hector E. Lomeli,
James D. Meiss
Abstract:
Explicit formulae are given for the saddle connection for an integrable family of standard maps studied by Suris. A generalization of Melnikov's method shows that, upon perturbation, this connection is destroyed. We give explicit formula for the first order approximation of the area of the lobes of the resultant turnstile. It is shown that the lobe area is exponentially small in the limit when t…
▽ More
Explicit formulae are given for the saddle connection for an integrable family of standard maps studied by Suris. A generalization of Melnikov's method shows that, upon perturbation, this connection is destroyed. We give explicit formula for the first order approximation of the area of the lobes of the resultant turnstile. It is shown that the lobe area is exponentially small in the limit when the Suris map approaches the trivial twist map.
△ Less
Submitted 2 April, 1996;
originally announced April 1996.
