It is shown that the set of 4-period orbits in outer billiard with piecewise smooth convex boundary has an empty interior, provided that no four corners of the boundary form a parallelogram.
We present the first example of a hyperbolic outer billiard. More precisely we construct a one parameter family of examples which in some sense correspond to the Bunimovich billiards.
In this paper we prove two asymptotic estimates for pairs of closed trajectories for open billiards similar to those established by Pollicott and Sharp for closed geodesics on negatively curved compact surfaces. The first of these estimates holds for general open billiards in any dimension. The more intricate second estimate is established for open billiards satisfying the so called Dolgopyat type estimates. This class of billiards includes all open billiards in the plane and open billiards in $\R^N, N \geq 3$ satisfying some additional conditions.
The existence of an aperiodic orbit for an outer billiard outside a regular octagon is proved. Additionally, almost all orbits of such an outer billiard are proved to be periodic. All possible periods are explicitly listed.
In the class of projective billiards, which contains the usual billiards, we exhibit counter-examples to Ivrii's conjecture, which states that in any planar billiard with smooth boundary the set of periodic orbits has zero measure. The counter-examples are polygons admitting a $2$-parameters family of $n$-periodic orbits, with $n$ being either $3$ or any even number grower than $4$.
We study dissipative polygonal outer billiards, i.e. outer billiards about convex polygons with a contractive reflection law. We prove that dissipative outer billiards about any triangle and the square are asymptotically periodic, i.e. they have finitely many global attracting periodic orbits. A complete description of the bifurcations of the periodic orbits as the contraction rates vary is given. For the square billiard, we also show that the asymptotic periodic behavior is robust under small perturbations of the vertices and the contraction rates. Finally, we describe some numerical experime…
This paper had a serious error. In fixing the error the emphasis of the paper has changed completely, thus meriting a new name: ``Periodic orbits in right triangles''. I have made a new submission to arXiv with this name.
In this paper we establish a kind of bijection between the orbits of a polygonal outer billiards system and the orbits of a related (and simpler to analyze) system called the pinwheel map. One consequence of the result is that the outer billiards system has unbounded orbits if and only if the pinwheel map has unbounded orbits. As the pinwheel map is much easier to analyze directly, we think that this bijection will be helpful in attacking some of the main questions about polyonal outer billiards.
Instituto de Matemáticas, Universidad Nacional Autónoma de México(墨西哥国立自治大学数学研究所);Department of Mathematics, Instituto Tecnológico Autónomo de México(墨西哥自治理工学院数学系)
In this paper, we discuss rotation number on the invariant curve of a one parameter family of outer billiard tables. Given a convex polygon $η$, we can construct an outer billiard table $T$ by cutting out a fixed area from the interior of $η$. $T$ is piece-wise hyperbolic and the polygon $η$ is an invariant curve of $T$ under the billiard map $ϕ$. We will show that, if $β$ is a periodic point under the outer billiard map with rational rotation number $τ= p / q$, then the $n$th iteration of the billiard map is not the local identity at $β$. This proves that the rotation number $τ$ as a function…
In this paper, outer billiards outside regular octagon are studied in details. We described all periodic points and their periods; also, we proved that the periodic points form a set of full measure outside the octagon and found an aperiodic point.
We show that for almost every $(P,λ)$ where $P$ is a convex polygon and $λ\in(0,1)$, the corresponding outer billiard about $P$ with contraction $λ$ is asymptotically periodic, i.e., has a finite number of periodic orbits and every orbit is attracted to one of them.
Following a recent paper by Baryshnikov and Zharnitskii, we consider outer billiards in the plane possessing invariant curves consisting of periodic orbits. We prove the existence and abundance of such tables using tools from sub-Riemannian geometry. We also prove that the set of 3-periodic outer billiard orbits has zero measure.
We study outer billiards with contraction outside regular polygons. For regular $n$-gons with $n = 3, 4, 5, 6, 8$, and $12$, we show that as the contraction rate approaches $1$, dynamics of the system converges, in a certain sense, to that of the usual outer billiards map. These are precisely the values of $n \geq 3$ with $[\mathbb{Q}(e^{2πi/n}):\mathbb{Q}] \leq 2$. Then we discuss how such convergence may fail in the case of $n=7$.
We give a simple proof of our previous result with V. Zharnitsky that the set of period 4 orbits in planar outer billiard with piecewise smooth convex boundary has empty interior, provided that no four corners of the boundary form a parallelogram. We also obtain results on period 5 and 6 orbits.
In this paper outer, or dual, billiards outside regular polygons are studied; in particular, periodic points for cases of strictly convex "tables" and for regular n-gons with n = 3,4,6,8,12 are discussed. The main results of the paper are: 1) proof of an existence of aperiodic points for outer billiards outside regular octagon and dodecagon; 2) proof of the fact that for regular octagon, set of periodic points is of full measure; 3) list of all possible periods for case of regular octagon.
In this paper we present new results regarding the periodicity of outer billiards in the hyperbolic plane around polygonal tables which are tiles in regular two-piece tilings of the hyperbolic plane.
Outer billiards is a simple dynamical system based on a convex planar shape. The Moser-Neumann question, first posed by B.H. Neumann around 1960, asks if there exists a planar shape for which outer billiards has an unbounded orbit. The first half of this monograph proves that outer billiards has an unbounded orbit defined relative to any irrational kite. The second half of the monograph gives a very sharp description of the set of unbounded orbits, both in terms of the dynamics and the Hausdorff dimension. The analysis in both halves reveals a close connection between outer billiards on kites …
An existence of an aperiodic point for outer billiard outside regular dodecagon is proved. Additionally, almost all orbits of such an outer billiard are proved to be periodic, and all possible periods are listed explicitly. The proof is based on facts established with computer program implemented by author. All calculations of a program has been made with absolute accuracy; these calculations can be done "by hands" but it this case, amount of calculations would be too large.
In this paper, we give detailed analysis and description of periodic trajectories of the billiard system within an ellipsoid in the 3-dimensional Minkowski space, taking into account all possibilities for the caustics. The conditions for periodicity are derived in algebro-geometric, analytic, and polynomial form.
We consider outer billiard outside regular convex polygons. We deal with the case of regular polygons with $\{3,4,5,6,10\}$ sides, and we describe the symbolic dynamics of the map and compute the complexity of the language.
Outer billiards is a basic dynamical system, defined relative to a planar convex shape. This system was introduced in the 1950's by B.H. Neumann and later popularized in the 1970's by J. Moser. All along, one of the central questions has been: is there an outer billiards system with an unbounded orbit. We answer this question by proving that outer billiards defined relative to the Penrose Kite has an unbounded orbit. The Penrose kite is the quadrilateral that appears in the famous Penrose tiling. We also analyze some of the finer orbit structure of outer billiards on the penrose kite. This ana…
We study the size of the set of ergodic directions for the directional billiard flows on the infinite band $\R\times [0,h]$ with periodically placed linear barriers of length $0<λ<h$. We prove that the set of ergodic directions is always uncountable. Moreover, if $λ/h\in(0,1)$ is rational the Hausdorff dimension of the set of ergodic directions is greater than 1/2. In both cases (rational and irrational) we construct explicitly some sets of ergodic directions.
We give a beautiful explicit example of a convex plane curve such that the outer billiard has a given finite number of invariant curves. Moreover, the dynamics on these curves is a standard shift. This example can be considered as an outer analog of the so-called Gutkin billiard tables. We test total integrability of these billiards, in the region between the two invariant curves. Next, we provide computer simulations on the dynamics in this region. At first glance, the dynamics looks regular but by magnifying the picture we see components of chaotic behavior near the hyperbolic periodic orbit…
We study combinatorics of billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in d-dimensional Euclidean and pseudo-Euclidean spaces. Such partitions uniquely codify the sets of caustics, up to their types, which generate periodic trajectories. The period of a periodic trajectory is the largest part while the winding numbers are the remaining summands of the corresponding partition. In order to take into account the types of caustics as well, we introduce weighted partitions. We provide closed forms for the generating functions of these…
We consider the outer billiards map with contraction outside polygons. We construct a 1-parameter family of systems such that each system has an open set in which the dynamics is reduced to that of a piecewise contraction on the interval. Using the theory of rotation numbers, we deduce that every point inside the open set is asymptotic to either a single periodic orbit (rational case) or a Cantor set (irrational case). In particular, we deduce existence of an attracting Cantor set for certain parameter values. Moreover, for a different choice of a 1-parameter family, we prove that the system i…
Let $v$ be a unit vector field on a complete, umbilic (but not totally geodesic) hypersurface $N$ in a space form; for example on the unit sphere $S^{2k-1} \subset \mathbb{R}^{2k}$, or on a horosphere in hyperbolic space. We give necessary and sufficient conditions on $v$ for the rays with initial velocities $v$ (and $-v$) to foliate the exterior $U$ of $N$. We find and explore relationships among these vector fields, geodesic vector fields, and contact structures on $N$. When the rays corresponding to each of $\pm v$ foliate $U$, $v$ induces an outer billiard map whose billiard table is $U$. …
This paper is the third in a series which explores a combinatorial method for generating lattice polygons in the plane. I call this method the plaid model. In this paper I prove the main result I had been aiming for since the beginning, which is to show that there is a coarse isomorphism between the plaid model and the so-called arithmetic graph for outer billiards on kites. The content of the theorem is that the plaid model predicts the symbolic dynamics of the outer billiards orbits, up to an error of one unit. This result combines with the work in the other papers to give a second proof tha…
There is an open set of right triangles such that for each irrational triangle in this set (i) periodic billiards orbits are dense in the phase space, (ii) there is a unique nonsingular perpendicular billiard orbit which is not periodic, and (iii) the perpendicular periodic orbits fill the corresponding invariant surface.
We study the stability of periodic trajectories of planar inverse magnetic billiards, a dynamical system whose trajectories are straight lines inside a connected planar domain $Ω$ and circular arcs outside $Ω$. Explicit examples are calculated in circles, ellipses, and the one parameter family of curves $x^{2k}+y^{2k}=1$. Comparisons are made to the linear stability of periodic billiard and magnetic billiard trajectories.
In this long paper we give a fairly complete analysis of outer billiards on the Penrose kite. Our analysis reveals that this 2-dimensional non-compact system has a 3-dimensional compactification, a certain polyhedron exchange map, and that this compactification has a renormalization scheme. These two features allow us to make some sharp statements concerning the distribution, large-scale geometry, fine-scale geometry, and hidden algebraic symmetries of the orbits. For instance, one of our results is that the union of the unbounded orbits has Hausdorff dimension 1. We give a computer-aided proo…
We introduce a new notion of stability for periodic orbits in polygonal billiards. We say that a periodic orbit of a polygonal billiard is $λ$-stable if there is a periodic orbit for the corresponding pinball billiard which converges to it as $λ$ $\rightarrow$ 1. This notion of stability is unrelated to the notion introduced by Galperin, Stepin and Vorobets. We give sufficient and necessary conditions for a periodic orbit to be $λ$-stable and prove that the set of d-gons having at most finite number of $λ$-stable periodic orbits is dense is the space of d-gons. Moreover, we also determine comp…
In any periodic direction on the regular pentagon billiard table, there exists two combinatorially different billiard paths, with one longer than the other. For each periodic direction, McMullen asked if one could determine whether the periodic trajectory through a given point is long, short, or a saddle connection. In this paper we present an algorithm resolving this question for trajectories emanating from the midpoints of the pentagon.
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…
Non-Birkhoff periodic orbits in symmetric billiards
Heriot-Watt University(赫瑞瓦特大学);Loughborough University(拉夫堡大学);Vrije Universiteit Amsterdam - Faculty of Science(阿姆斯特丹自由大学理学院);Università degli Studi di Trento(特伦托大学);Politecnico di Torino(都灵理工大学);Centre Inria d’Université Côte d’Azur(法国国家信息与自动化研究所蔚蓝海岸大学中心)
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…
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.