I announce a solution of the conjecture about the measure of periodic points for planar billiard tables. The theorem says that if $\Om\subset\R^2$ is a compact domain with piecewise $C^3$ boundary, then the set of periodic orbits for the billiard in $\Om$ has measure zero. Here I outline a proof. A complete version will appear elsewhere.
The bounce spectrum of a polygonal billiard table is the collection of all bi-infinite sequences of edge labels corresponding to billiard trajectories on the table. We give methods for reconstructing from the bounce spectrum of a polygonal billiard table both the cyclic ordering of its edge labels and the sizes of its angles. We also show that it is impossible to reconstruct the exact shape of a polygonal billiard table from any finite collection of finite words from its bounce spectrum.
In this paper, we show that any smooth one-parameter deformations of a strictly convex integrable billiard table $Ω_0$ preserving the integrability near the boundary have to be tangent to a finite dimensional space passing through $Ω_0$.
We introduce a class of billiards with chaotic unidirectional flows (or non-chaotic unidirectional flows with "vortices") which go around a chaotic or non-chaotic "core", where orbits can change their orientation. Moreover, the corresponding billiard tables are simply connected in difference with many attempts to build billiards with interesting and/or exotic dynamics by putting inside billiard tables various "scatterers" with funny shapes. Therefore the billiards in this new class are amenable to experimental studies in physics labs as well as to the rigorous mathematical ones, which may shed…
We introduce a new equivalence relation on the set of all polygonal billiards. We say that two billiards (or polygons) are order equivalent if each of the billiards has an orbit whose footpoints are dense in the boundary and the two sequences of footpoints of these orbits have the same combinatorial order. We study this equivalence relation with additional regularity conditions on the orbit.
The notion of a Radon transform is introduced for completely integrable billiard tables. In the case of Liouville billiard tables of dimension 3 we prove that the Radon transform is one-to-one on the space of continuous functions $K$ on the boundary which are invariant with respect to the corresponding group of symmetries. We prove also that the frequency map associated with a class of Liouville billiard tables is non-degenerate. This allows us to obtain spectral rigidity of the corresponding Laplace-Beltrami operator with Robin boundary conditions.
We classify the periodic digit strings which arise from periodic billiard orbits on the four convex $n$-gons $Δ$ which tile $\mathbb{R}^2$ under reflection, answering problem a posed by Baxter and Umble. $Δ$ is either an equilateral triangle, a $45-45-90$ triangle a $30-60-90$, triangle or a rectangle.
We compute the volumes of the eigenform loci in the moduli space of genus two Abelian differentials. From this, we obtain asymptotic formulas for counting closed billiards paths in certain L-shaped polygons with barriers.
We study, by numerical simulations and semi-rigorous arguments, a two-parameter family of convex, two-dimensional billiard tables, generalizing the one-parameter class of oval billiards of Benettin--Strelcyn [Phys. Rev. A 17, 773 (1978)]. We observe interesting dynamical phenomena when the billiard tables are continuously deformed from the integrable circular billiard to different versions of completely-chaotic stadia. In particular, we conjecture that a new class of ergodic billiard tables is obtained in certain regions of the two-dimensional parameter space, when the billiards are close to s…
We construct families of two-dimensional Sinai billiards whose transfer operators have Ruelle resonances arbitrarily close to 1. Our method involves taking a large enough cover of an initial billiard table, and relating the transfer operator of the covering table to twisted transfer operators of the initial table. We also study the distribution of these resonances which are close to 1.
We introduce a method to find differential equations for functions which define tables, such that associated billiard systems admit a local first integral. We illustrate this method in three situations: the case of (locally) integrable wire billiards, for finding surfaces in ${\mathbb R}^3$ with a first integral of degree one in velocities, and for finding a piece-wise smooth surface in ${\mathbb R}^3$ homeomorphic to a torus, being a table of an integrable billiard.
We identify a collection of periodic billiard orbits in a self-similar Sierpinski carpet billiard table. Based on a refinement of the result of Durand-Cartagena and Tyson regarding nontrivial line segments in a self-similar Sierpinski carpet, we construct what is called an eventually constant sequence of compatible periodic orbits of prefractal Sierpinski carpet billiard tables. The trivial limit of this sequence then constitutes a periodic orbit of a self-similar Sierpinski carpet billiard table. We also determine the corresponding translation surface for each prefractal billiard table, and s…
Since the seminal work of Sinai one studies chaotic properties of planar billiards tables. Among them is the study of decay of correlations for these tables. There are examples in the literature of tables with exponential and even polynomial decay. However, until now nothing is known about mixing properties for billiard tables with non-compact cusps. There is no consensual definition of mixing for systems with infinite invariant measure. In this paper we study geometric and ergodic properties of billiard tables with a non-compact cusp. The goal of this text is, using the definition of mixing p…
This article is a part of a project investigating the relationship between the dynamics of completely integrable or close to completely integrable billiard tables, the integral geometry on them, and the spectrum of the corresponding Laplace-Beltrami operators. It is concerned with new isospectral invariants and with the spectral rigidity problem for families of Laplace-Beltrami operators with Dirichlet, Neumann or Robin boundary conditions, associated with C^1 families of billiard tables. We introduce a notion of weak isospectrality for such deformations. The main dynamical assumption on the i…
We generalize the following simple geometric fact: the only centrally symmetric convex curve of constant width is a circle. Billiard interpretation of the condition of constant width reads: a planar curve has constant width, if and only if, the Birkhoff billiard map inside the planar curve has a rotational invariant curve of $2$-periodic orbits. We generalize this statement to curves that are invariant under a rotation by angle $\frac{2π}{k}$, for which the billiard map has a rotational invariant curve of $k$-periodic orbits. Similar result holds true also for Outer billiards and Symplectic bi…
We solve the longstanding problem of smoothing a stadium billiard. Besides our results demonstrate why there were no clear conjectures how much the stadium's boundary must be smoothened to destroy chaotic dynamics. To do that we needed to extend standard KAM theory to analyze stability of periodic orbits, because of the low smoothness of the system. In fact, the stadium has a $C^1$ boundary, and we show that $C^2$ smoothing results in appearance of elliptic periodic orbits.
We consider dispersing billiard tables whose boundary is piecewise smooth and the free flight function is unbounded. We also assume there are no cusps. Such billiard tables are called type D in the monograph of Chernov and Markarian. For a class of non-degenerate type D dispersing billiards, we prove exponential decay of correlation and several other statistical properties.
If D is a rational polygon, then the associated rational billiard table is given by Ω(D). Such a billiard table is well understood. If F is a closed fractal curve approximated by a sequence of rational polygons, then the corresponding fractal billiard table is denoted by Ω(F). In this paper, we survey many of the results from [LapNie1-3] for the Koch snowflake fractal billiard Ω(KS) and announce new results on two other fractal billiard tables, namely, the T-fractal billiard table Ω(T) (see [LapNie6]) and a self-similar Sierpinski carpet billiard table Ω(S_a) (see [CheNie]). We build a general…
E. Gutkin found a remarkable class of convex billiard tables in the plane which have a constant angle invariant curve. In this paper we prove that in dimension 3 only round sphere has such a property. For dimension greater than 3 it must be either a sphere or to have a very special geometric properties. In 2-dimensional case we prove a rigidity result for Gutkin billiard tables. This is done with the help of a new generating function introduced recently for billiards in our joint paper with A.E. Mironov. A formula for this generating function in higher dimensions is found.
In this paper we show that for a generic strictly convex domain, one can recover the eigendata corresponding to Aubry-Mather periodic orbits of the induced billiard map, from the (maximal) marked length spectrum of the domain.
Given a planar compact convex billiard table $T$, we give an algorithm to find the shortest generalised closed billiard orbits on $T$. (Generalised billiard orbits are usual billiard orbits if $T$ has smooth boundary.) This algorithm is finite if $T$ is a polygon and provides an approximation scheme in general. As an illustration, we show that the shortest generalised closed billiard orbit in a regular $n$-gon $R_n$ is 2-bounce for $n \ge 4$, with length twice the width of $R_n$. As an application we obtain an algorithm computing the Ekeland-Hofer-Zehnder capacity of the four-dimensional domai…
In this note we study caustic-free regions for convex billiard tables in the hyperbolic plane or the hemisphere. In particular, following a result by Gutkin and Katok in the Euclidean case, we estimate the size of such regions in terms of the geometry of the billiard table. Moreover, we extend to this setting a theorem due to Hubacher which shows that no caustics exist near the boundary of a convex billiard table whose curvature is discontinuous.
We give a complete characterization of the relationship between the shape of a Euclidean polygon and the symbolic dynamics of its billiard flow. We prove that the only pairs of tables that can have the same bounce spectrum are right-angled tables that differ by an affine map. The main tool is a new theorem that establishes that a flat cone metric is completely determined by the support of its Liouville current.
We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail.
Caustics are curves with the property that a billiard trajectory, once tangent to it, stays tangent after every reflection at the boundary of the billiard table. When the billiard table is an ellipse, any nonsingular billiard trajectory has a caustic, which can be either a confocal ellipse or a confocal hyperbola. Resonant caustics ---the ones whose tangent trajectories are closed polygons--- are destroyed under generic perturbations of the billiard table. We prove that none of the resonant elliptical caustics persists under a large class of explicit perturbations of the original ellipse. This…
Over the course of studying billiard dynamics, several questions were raised. One of the questions was, which surfaces satisfy the following property (which is called Veech's dichotomy): Any direction is either completely periodic or uniquely ergodic. In an important paper Veech gave a sufficient condition for this dichotomy. He showed that if the stabilizer of a translation surface is a lattice in $SL_2(\R)$, then the surface satisfies Veech's dichotomy. Later, Smillie and Weiss proved that this condition is not necessary. They constructed a translation surface which satisfies Veech's dichoto…
The Koch snowflake KS is a nowhere differentiable curve. The billiard table Omega(KS) with boundary KS is, a priori, not well defined. That is, one cannot a priori determine the minimal path traversed by a billiard ball subject to a collision in the boundary of the table. It is this problem which makes Omega(KS) such an interesting, yet difficult, table to analyze. In this paper, we approach this problem by approximating (from the inside) Omega(KS) by well-defined (prefractal) rational polygonal billiard tables Omega(KS_n). We first show that the flat surface S(KS_n) determined from the ration…
Recently were introduced physical billiards where a moving particle is a hard sphere rather than a point as in standard mathematical billiards. It has been shown that in the same billiard tables the physical billiards may have totally different dynamics than mathematical billiards. This difference appears if the boundary of a billiard table has visible singularities (internal corners if the billiard table is two-dimensional), i.e. the particle may collide with these singular points. Here, we consider the collision of a hard ball with a visible singular point and demonstrate that the motion of …
We consider a remarkable $C^2$-smooth billiard table introduced by Hans L.Fetter. It is obtained by the string construction from a regular hexagon for a special value of the length of the string. It was suggested as a possible counter-example to the Birkhoff-Poritsky conjecture. In this paper, we investigate numerically the behavior of this billiard and find chaotic regions near hyperbolic periodic orbits. They are very small since the billiard table is nearly circular.
This paper is devoted to the examination of the properties of the string construction for the Birkhoff billiard. Based on purely geometric considerations, string construction is suited to provide a table for the Birkhoff billiard, having the prescribed caustic. Exploiting this framework together with the properties of convex caustics, we give a geometric proof of a result by Innami first proved in 2002 by means of Aubry-Mather theory. In the second part of the paper we show that applying the string construction one can find a new collection of examples of $C^2$-smooth convex billiard tables wi…
We consider a random billiard map, the one in which the standard specular reflection rule is replaced by a random reflection given by a Markov operator. We exhibit an invariant measure for random billiards on general tables. In the special case of a circular table we show that almost every (random) orbit is dense in the boundary as well as in the circular ring formed between the circle boundary and the random caustic. We additionally prove Strong Knudsen's Law for a particular case of families of absolutely continuous measures with respect to Liouville.
In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric $C^2$-smooth convex planar billiards. We assume that the domain $\mathcal A$ between the invariant curve of $4$-periodic orbits and the boundary of the phase cylinder is foliated by $C^0$-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. For the original Birkhoff-Poritsky formulation we show that if a neighborhood of the boundary of billiard domain has a $C^1$-smooth foliation by convex caustics of rotation numbers in the interval (0; 1/4] then the boundary curve is an ellipse.…
We introduce and prove numerous new results about the orbits of the $T$-fractal billiard. Specifically, in Section 3, we give a variety of sufficient conditions for the existence of a sequence of compatible periodic orbits. In Section 4, we examine the limiting behavior of particular sequences of compatible periodic orbits and, more interesting, in Section 5, the limiting behavior of a particular sequence of compatible singular orbits. The latter seems to indicate that the classification of orbits may not be so straightforward. Additionally, sufficient conditions for the existence of particula…
Astute variations in the geometry of mathematical billiard tables have been and continue to be a source of understanding their wide range of dynamical behaviors, from regular to chaotic. Viewing standard specular billiards in the broader setting of no-slip (or rough) collisions, we show that an equally rich spectrum of dynamics can be called forth by varying the mass distribution of the colliding particle. We look at three two-parameter families of billiards varying both the geometry of the table and the particle, including as special cases examples of standard billiards demonstrating dynamics…
In this work we completely describe the dynamics of triangle tiling billiards. In the first part of this work, we propose a geometric approach of dynamics by introducing natural foliations associated to it. In the second part, we exploit the relationship between triangle tiling billiards and a family of fully flipped $3$-interval exchange transformations on the circle. We give a combinatorial approach of dynamics via renormalization. By uniting the two approaches, we prove several conjectures on the dynamics of triangle tiling billiards. First, we prove the Tree Conjecture and the 4n+2 Conject…
In this paper we are interested in the motion of a ball inside a billiard table bounded by a particular smooth curve. This table belongs to a family of billiards which can all be drawn by a common process: the so-called gardener's string construction. The classical elliptical billiard is, of course, the foremost member of this family. So it should come as no surprise that our hexagonal string billiard shares many basic properties with the latter, but, on the other hand, also exhibits some essential differences with it. We have gathered numerical evidence against the Birkhoff-Poritsky conjectur…
We call internal-wave billiard the dynamical system of a point particle that moves freely inside a planar domain (the table) and is reflected by its boundary according to this rule: reflections are standard Fresnel reflections but with the pretense that the boundary at any collision point is either horizontal or vertical (relative to a predetermined direction representing gravity). These systems are point particle approximations for the motion of internal gravity waves in closed containers, hence the name. For a class of tables similar to rectangular trapezoids, but with the slanted leg replac…
We give a criterion which allows to prove non-ergodicity for certain infinite periodic billiards and directional flows on Z-periodic translation surfaces. Our criterion applies in particular to a billiard in an infinite band with periodically spaced vertical barriers and to the Ehrenfest wind-tree model, which is a planar billiard with a $Z^2$-periodic array of rectangular obstacles. We prove that, in these two examples, both for a full measure set of parameters of the billiard tables and for tables with rational parameters, for almost every direction the corresponding billiard flow is not erg…
We interpret magnetic billiards as Finsler ones and describe an analog of the string construction for magnetic billiards. Finsler billiards for which the law "angle of incidence equals angle of reflection" are described. We characterize the Finsler metrics in the plane whose geodesics are circles of a fixed radius. This is a magnetic analog of Hilbert's fourth problem asking to describe the Finsler metrics whose geodesics are straight lines.
A polygon is called rational if the angle between each pair of sides is a rational multiple of $π.$ The main theorem we will prove is Theorem 1: For rational polygons, periodic points of the billiard flow are dense in the phase space of the billiard flow. This is a strengthening of Masur's theorem, who has shown that any rational polygon has ``many'' periodic billiard trajectories; more precisely, the set of directions of the periodic trajectories are dense in the set of velocity directions $§^1.$ We will also prove some refinements of Theorem 1: the ``well distribution'' of periodic orbits in…