No Arabic abstract
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 Schrodingers (or Hills) equation $ ddot x + q(t) x =0 $ in terms of rolling without slipping of curves in the hyperbolic plane.
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.
We establish a simple relation between curvatures of the group of volume-preserving diffeomorphisms and the lifespan of potential solutions to the inviscid Burgers equation before the appearance of shocks. We show that shock formation corresponds to a focal point of the group of volume-preserving diffeomorphisms regarded as a submanifold of the full diffeomorphism group and, consequently, to a conjugate point along a geodesic in the Wasserstein space of densities. This establishes an intrinsic connection between ideal Euler hydrodynamics (via Arnolds approach), shock formation in the multidimensional Burgers equation and the Wasserstein geometry of the space of densities.
A subject of recent interest in inverse problems is whether a corner must diffract fixed frequency waves. We generalize this question somewhat and study cones $[0,infty)times Y$ which do not diffract high frequency waves. We prove that if $Y$ is analytic and does not diffract waves at high frequency then every geodesic on $Y$ is closed with period $2pi$. Moreover, we show that if $dim Y=2$, then $Y$ is isometric to either the sphere of radius 1 or its $mathbb{Z}^2$ quotient, $mathbb{R}mathbb{P}^2$.
Billiard systems, broadly speaking, may be regarded as models of mechanical systems in which rigid parts interact through elastic impulsive (collision) forces. When it is desired or necessary to account for linear/angular momentum exchange in collisions involving a spherical body, a type of billiard system often referred to as no-slip has been used. In recent work, it has become apparent that no-slip billiards resemble non-holonomic mechanical systems in a number of ways. Based on an idea by Borisov, Kilin and Mamaev, we show that no-slip billiards very generally arise as limits of non-holonomic (rolling) systems, in a way that is akin to how ordinary billiards arise as limits of geodesic flows through a flattening of the Riemannian manifold.
We study the Schrodinger equation on a flat euclidean cone $mathbb{R}_+ times mathbb{S}^1_rho$ of cross-sectional radius $rho > 0$, developing asymptotics for the fundamental solution both in the regime near the cone point and at radial infinity. These asymptotic expansions remain uniform while approaching the intersection of the geometric front, the part of the solution coming from formal application of the method of images, and the diffractive front emerging from the cone tip. As an application, we prove Strichartz estimates for the Schrodinger propagator on this class of cones.