arXiv Science⌕ Search

arXiv subjects

Mark Levi

Publications and source records attributed to Mark Levi.

15 recordsLinked to original sources
arXiv2026

Horns in Billiards

We show that, like cusps, horns in billiards expel every trajectory after finitely many collisions. We further produce an adiabatic invariant.

math.DS↗
arXiv2024

Thick Arnold tongues

We introduce and study a physically motivated problem that exhibits interesting and perhaps unexpected mathematical features. A cellular flow is a two-dimensional Hamiltonian flow of the Hamiltonian $H(x, y) = \cos(x) \cos(y)$. We study a simple model of the dynamics of an inertial particle carried by such a flow, subject to viscous drag and to an additional constant external force $(b, a)$. In the limiting case of zero inertia particles the dynamics is Hamiltonian with $H(x, y) = \cos(x) \cos(y) - ax + by$. For small but nonzero $a, \ b $ there appear ``channels" of trajectories that wind their way to infinity, of small relative measure, while most trajectories remain periodic. By contrast, for nonzero inertia, no matter how small, almost all particle trajectories drift to infinity. Moreover, the asymptotic direction of this drift no longer coincides with the direction of forcing, and rather becomes Cantor-like function of the forcing direction $a/b$, and with an unexpected feature: the plateaus of this function occupy a set of full measure. Moreover, the complement to this set has zero Hausdorff dimension. In a two-parameter representation (one parameter being the forcing direction $a/b$, the other the drag coefficient), this gives rise to Arnold tongues, the tongues corresponding to rational slopes of drift. However, unlike Arnold's example, the complement to the union of all tongues has zero measure. This is explained by the behavior of rotation number for monotone families of circle maps with flat spots.

math.DS↗
arXiv2022

Arnold Tongues in Area-Preserving Maps

In the early 60's J. B. Keller and D. Levy discovered a fundamental property: the instability tongues in Mathieu-type equations lose sharpness with the addition of higher-frequency harmonics in the Mathieu potentials. 20 years later V. Arnold rediscovered a similar phenomenon on sharpness of Arnold tongues in circle maps (and rediscovered the result of Keller and Levy). In this paper we find a third class of objects where a similarly flavored behavior takes place: area-preserving maps of the cylinder. Speaking loosely, we show that periodic orbits of standard maps are extra fragile with respect to added drift (i.e. non-exactness) if the potential of the map is a trigonometric polynomial. That is, higher-frequency harmonics make periodic orbits more robust with respect to ``drift". The observation was motivated by the study of traveling waves in the discretized sine-Gordon equation which in turn models a wide variety of physical systems.

math.DS↗
arXiv2021

Spectral asymptotics and Lam\'e spectrum for coupled particles in periodic potentials

We make two observations on the motion of coupled particles in a periodic potential. Coupled pendula, or the space-discretized sine-Gordon equation is an example of this problem. Linearized spectrum of the synchronous motion turns out to have a hidden asymptotic periodicity in its dependence on the energy; this is the gist of the first observation. Our second observation is the discovery of a special property of the purely sinusoidal potentials: the linearization around the synchronous solution is equivalent to the classical Lam\`e equation. As a consequence, {\it all but one instability zones of the linearized equation collapse to a point for the one-harmonic potentials}. This provides a new example where Lam\'e's finite zone potential arises in the simplest possible setting.

math.DS↗
arXiv2019

Hill's equation, tire tracks and rolling cones

Louis Poinsot has shown in 1854 that the motion of a rigid body, with one of its points fixed, can be described as the rolling without slipping of one cone, the 'body cone', along another, the 'space cone', with their common vertex at the fixed point. This description has been further refined by the second author in 1996, relating the geodesic curvatures of the spherical curves formed by intersecting the cones with the unit sphere in Euclidean $\mathbb{R}^3$, thus enabling a reconstruction of the motion of the body from knowledge of the space cone together with the (time dependent) magnitude of the angular velocity vector. In this article we show that a similar description exists for a time dependent family of unimodular $ 2 \times 2 $ matrices in terms of rolling cones in 3-dimensional Minkowski space $\mathbb{R}^{2,1}$ and the associated 'pseudo spherical' curves, in either the hyperbolic plane $H^2$ or its Lorentzian analog $H^{1,1}$. In particular, this yields an apparently new geometric interpretation of Schr\"odinger's (or Hill's) equation $ \ddot x + q(t) x =0 $ in terms of rolling without slipping of curves in the hyperbolic plane.

math.DG↗
arXiv2017

The ponderomotive Lorentz force

This paper describes a curious phenomenon: a particle in a rapidly varying potential is subject to an effective magnetic-like force. This force is in addition to the well-known ponderomotive force, but it has not been shown to exist before except for the linear case of a rapidly rotating quadratic saddle potential. We show that this is a universal phenomenon: the magnetic-like force arises generically in potential force fields with rapid periodic time dependence, including but not limited to rotational dependence.

math.DS↗
arXiv2017

Tire tracks and integrable curve evolution

We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes another mechanical device, the hatchet planimeter. Here is a sampler of our results. We express the linearized flow of the bicycle equation in terms of the geometry of the rear track; in dimension three, for closed front and rear tracks, this is a version of the Berry phase formula. We show that in all dimensions a sufficiently long bicycle also serves as a planimeter: it measures, approximately, the area bivector defined by the closed front track. We prove that the bicycle equation also describes rolling, without slipping and twisting, of hyperbolic space along Euclidean space. We relate the bicycle problem with two completely integrable systems: the AKNS (Ablowitz, Kaup, Newell and Segur) system and the vortex filament equation. We show that "bicycle correspondence" of space curves (front tracks sharing a common back track) is a special case of a Darboux transformation associated with the AKNS system. We show that the filament hierarchy, encoded as a single generating equation, describes a 3-dimensional bike of imaginary length. We show that a series of examples of "ambiguous" closed bicycle curves (front tracks admitting self bicycle correspondence), found recently F. Wegner, are buckled rings, or solitons of the planar filament equation. As a case study, we give a detailed analysis of such curves, arising from bicycle correspondence with multiply traversed circles.

math.DG↗
arXiv2017

Stability interchanges in a curved Sitnikov problem

We consider a curved Sitnikov problem, in which an infinitesimal particle moves on a circle under the gravitational influence of two equal masses in Keplerian motion within a plane perpendicular to that circle. There are two equilibrium points, whose stability we are studying. We show that one of the equilibrium points undergoes stability interchanges as the semi-major axis of the Keplerian ellipses approaches the diameter of that circle. To derive this result, we first formulate and prove a general theorem on stability interchanges, and then we apply it to our model. The motivation for our model resides with the $n$-body problem in spaces of constant curvature.

math.DS↗
arXiv2016

Gaussian curvature and gyroscopes

We relate Gaussian curvature to the gyroscopic force, thus giving a mechanical interpretation of the former and a geometrical interpretation of the latter. We do so by considering the motion of a spinning disk constrained to be tangent to a curved surface. It is shown that the spin gives rise to a force on the disk which is equal to the magnetic force on a point charge moving in a magnetic field normal to the surface, of magnitude equal to the Gaussian curvature, and of charge equal to the disk's axial spin. In a special case, this demonstrates that the precession of Lagrange's top is due to the curvature of a sphere determined by the parameters of the top.

math.DS↗
arXiv2015

Rotating saddle trap: A Coriolis force in an inertial frame

Particles in rotating saddle potentials exhibit precessional motion which, up to now, has been explained by explicit computation. We show that this precession is due to a hidden Coriolis-like force which, unlike the standard Coriolis force, is present in the inertial frame. We do so by finding a hodograph-like "guiding center" transformation using the method of normal form.

math-ph↗
arXiv2015

Rotating saddle trap as Foucault's pendulum

One of the many surprising results found in the mechanics of rotating systems is the stabilization of a particle in a rapidly rotating planar saddle potential. Besides the counterintuitive stabilization, an unexpected precessional motion is observed. In this note we show that this precession is due to a Coriolis-like force caused by the rotation of the potential. To our knowledge this is the first example where such force arises in an inertial reference frame. We also propose an idea of a simple mechanical demonstration of this effect.

physics.class-ph↗
arXiv2011

Arnold diffusion in a pendulum lattice

The main model studied in this paper is a lattice of nearest neighbors coupled pendula. For certain localized coupling we prove existence of energy transfer and estimate its speed.

math.DS↗
arXiv1998

Parametrically forced sine-Gordon equation and domain walls dynamics in ferromagnets

A parametrically forced sine-Gordon equation with a fast periodic {\em mean-zero} forcing is considered. It is shown that $π$-kinks represent a class of solitary-wave solutions of the equation. This result is applied to quasi-one-dimensional ferromagnets with an easy plane anisotropy, in a rapidly oscillating magnetic field. In this case the $π$-kink solution we have introduced corresponds to the uniform ``true'' domain wall motion, since the magnetization directions on opposite sides of the wall are anti-parallel. In contrast to previous work, no additional anisotropy is required to obtain a true domain wall. Numerical simulations showed good qualitative agreement with the theory.

patt-sol↗