Given an integer $k \geq 5$, and a $C^k$ Anosov flow $Φ$ on some compact connected $3$-manifold preserving a smooth volume, we show that the measure of maximal entropy (MME) is the volume measure if and only if $Φ$ is $C^{k-\varepsilon}$-conjugate to an algebraic flow, for $\varepsilon>0$ arbitrarily small. Besides the rigidity, we also study the entropy flexibility, and show that the metric entropy with respect to the volume measure and the topological entropy of suspension flows over Anosov diffeomorphisms on the $2$-torus achieve all possible values subject to natural normalizations. Moreover, in the case of dispersing billiards, we show that if the measure of maximal entropy is the volume measure, then the Birkhoff Normal Form of regular periodic orbits with a homoclinic intersection is linear.
In this paper we study the singularity manifolds of multidimensional strictly dispersing billiards and show that the proof of the Fundamental theorem for dispersing billiards remain valid for a dense set of finitely smooth scatterers.
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.
It is known that the dynamics of planar billiards satisfies strong mixing properties (e.g. exponential decay of correlations) provided that some expansion condition on unstable curves is satisfied. This condition has been shown to always hold for smooth dispersing planar billiards, but it needed to be assumed separately in the case of dispersing planar billiards with corner points. We prove that this expansion condition holds for any dispersing planar billiard with corner points, no cusps and bounded horizon.
Local finiteness of the number of reflections in semi-dispersing Minkowski billiards
St. Petersburg Department of V. A. Steklov Mathematical Institute of the Russian Academy of Sciences（俄罗斯科学院V.A.斯捷克洛夫数学研究所圣彼得堡分部）；St. Petersburg State University（圣彼得堡国立大学）
We prove exponential correlation decay in dispersing billiard flows on the 2-torus assuming finite horizon and lack of corner points. With applications aimed at describing heat conduction, the highly singular initial measures are concentrated here on 1-dimensional submanifolds (given by standard pairs) and the observables are supposed to satisfy a generalized Hölder continuity property. The result is based on the exponential correlation decay bound of Baladi, Demers and Liverani obtained recentlyfor Hölder continuous observables in these billiards. The model dependence of the bounds is also di…
Dynamical billiards, or the behavior of a particle traveling in a planar region $D$ undergoing elastic collisions with the boundary, has been extensively studied and is used to model many physical phenomena such as a Boltzmann gas. Of particular interest are the dispersing billiards, where $D$ consists of a union of finitely many open convex regions. These billiard flows are known to be ergodic and to possess the $K$-property. However, Turaev and Rom-Kedar (1998) proved that for dispersing systems permitting singular periodic orbits, there exists a family of smooth Hamiltonian flows with regio…
We consider the class of dispersing billiard systems in the plane formed by removing three convex analytic scatterers satisfying the non-eclipse condition. The collision map in this system is conjugated to a subshift, providing a natural labeling of periodic points. We study the problem of marked length spectrum rigidity for this class of systems. We show that two such systems have the same marked length spectrum if and only if their collision maps are analytically conjugate to each other near a homoclinic orbit and that two scatterers and the marked length spectrum together uniquely determine…
This work results from our attempts to solve Boltzmann-Sinai's hypothesis about the ergodicity of hard ball gases. A crucial element in the studies of the dynamics of hard balls is the analysis of special hypersurfaces in the phase space consisting of degenerate trajectories (which lack complete hyperbolicity). We prove that if a flow-invariant hypersurface $J$ in the phase space of a semi-dispersing billiard has a negative Lyapunov function, then the volume of the forward image of $J$ grows at least linearly in time. Our proof is independent of the solution of the Boltzmann-Sinai hypothesis, …
We consider billiards obtained by removing three strictly convex obstacles satisfying the non-eclipse condition on the plane. The restriction of the dynamics to the set of non-escaping orbits is conjugated to a subshift on three symbols that provides a natural labeling of all periodic orbits. We study the following inverse problem: does the Marked Length Spectrum (i.e., the set of lengths of periodic orbits together with their labeling), determine the geometry of the billiard table? We show that from the Marked Length Spectrum it is possible to recover the curvature at periodic points of perio…
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…
In this paper we constructed a special family of semidispersing billiards bounded on a rectangle with a few dispersing scatters. We assume there exists a pair of flat points (with zero curvature) on the boundary of these scatters, whose tangent lines form a channel in the billiard table that is perpendicular to the vertical sides of the rectangle. The billiard can be induced to a Lorenz gas with infinite horizon when replacing the rectangle by a torus. We study the mixing rates of the one-parameter family of the semi-dispersing billiards and the Lorenz gas on a torus; and show that the correla…
Following recent work of Chernov, Markarian, and Zhang, it is known that the billiard map for dispersing billiards with zero angle cusps has slow decay of correlations with rate 1/n. Since the collisions inside a cusp occur in quick succession, it is reasonable to expect a much faster decay rate in continuous time. In this paper we prove that the flow is rapid mixing: correlations decay faster than any polynomial rate. A consequence is that the flow admits strong statistical properties such as the almost sure invariance principle, even though the billiard map does not. The techniques in this p…
Let $f: [0, +\infty) \to (0, +\infty)$ be a sufficiently smooth convex function, vanishing at infinity. Consider the planar domain $Q$ delimited by the positive $x$-semiaxis, the positive $y$-semiaxis, and the graph of $f$. Under certain conditions on $f$, we prove that the billiard flow in $Q$ has a hyperbolic structure and, for some examples, that it is also ergodic. This is done using the cross section corresponding to collisions with the dispersing part of the boundary. The relevant invariant measure for this Poincaré section is infinite, whence the need to surpass the existing results, de…
In this short note we consider the finite-dimensional distributions of sets of states generated by dispersing billiards with a random initial condition. We establish a functional correlation bound on the distance between the finite-dimensional distributions and corresponding product distributions. We demonstrate the usefulness of the bound by showing that it implies several limit theorems. The purpose of this note is to provide a tool facilitating the study of more general functionals of the billiard process.
We propose a model of Sinai billiards with moving scatterers, in which the locations and shapes of the scatterers may change by small amounts between collisions. Our main result is the exponential loss of memory of initial data at uniform rates, and our proof consists of a coupling argument for non-stationary compositions of maps similar to classical billiard maps. This can be seen as a prototypical result on the statistical properties of time-dependent dynamical systems.
Any smooth surface in R^3 may be flattened along the z-axis, and the flattened surface becomes close to a billiard table in R^2 . We show that, under some hypotheses, the geodesic flow of this surface converges locally uniformly to the billiard flow. Moreover, if the billiard is dispersive and has finite horizon, then the geodesic flow of the corresponding surface is Anosov. We apply this result to the theory of mechanical linkages and their dynamics: we provide a new example of a simple linkage whose physical behavior is Anosov. For the first time, the edge lengths of the mechanism are given …
We consider a billiard in the sphere S^2 with circular obstacles, and give a sufficient condition for its flow to be uniformly hyperbolic. We show that the billiard flow in this case is approximated by an Anosov geodesic flow on a surface in the ambiant space S^3. As an application, we show that every orientable surface of genus at least 11 admits an isometric embedding into S^3 (equipped with the standard metric) such that its geodesic flow is Anosov. Finally, we explain why this construction cannot provide examples of isometric embeddings of surfaces in the Euclidean R^3 with Anosov geodesic…
The Local Ergodic Theorem (also known as the `Fundamental Theorem') gives sufficient conditions under which a phase point has an open neighborhood that belongs (mod 0) to one ergodic component. This theorem is a key ingredient of many proofs of ergodicity for billiards and, more generally, for smooth hyperbolic maps with singularities. However the proof of that theorem relies upon a delicate assumption (Chernov-Sinai Ansatz), which is difficult to check for some physically relevant models, including gases of hard balls. Here we give a proof of the Local Ergodic Theorem for two dimensional bill…
We consider a class of planar dispersing billiards with a cusp at a point of vanishing curvature. Convergence to a stable law and to the corresponding Lévy process in the $\cM_1$ and $\cM_2$ Skorohod topologies has been studied in recent work. Here we show that certain sufficient conditions for $\cM_2$-convergence are also necessary.
For any finite horizon Sinai billiard map T on the two-torus, we find t_*>1 such that for each t in (0,t_*) there exists a unique equilibrium state $μ_t$ for $- t\log J^uT$, and $μ_t$ is T-adapted. (In particular, the SRB measure is the unique equilibrium state for $- \log J^uT$.) We show that $μ_t$ is exponentially mixing for Holder observables, and the pressure function $P(t)=\sup_μ\{h_μ-\int t\log J^uT d μ\}$ is analytic on (0,t_*). In addition, P(t) is strictly convex if and only if $\log J^uT$ is not $μ_t$ a.e. cohomologous to a constant, while, if there exist $t_a\ne t_b$ with $μ_{t_a}= …
We study limit theorems in the context of random perturbations of dispersing billiards in finite and infinite measure. In the context of a planar periodic Lorentz gas with finite horizon, we consider random perturbations in the form of movements and deformations of scatterers. We prove a Central Limit Theorem for the cell index of planar motion, as well as a mixing Local Limit Theorem for the cell index with piecewise Hölder continuous observables. In the context of the infinite measure random system, we prove limit theorems regarding visits to new obstacles and self-intersections, as well as …
We describe a one-parameter family of dispersing (hence hyperbolic, ergodic and mixing) billiards where the correlation function of the collision map decays as $1/n^a$ (here $n$ denotes the discrete time), in which the degree $a \in (1, \infty)$ changes continuously with the parameter of the family, $β$. We also derive an explicit relation between the degree $a$ and the family parameter $β$.
Uniform hyperbolicity is a strong chaotic property which holds, in particular, for Sinai billiards. In this paper, we consider the case of a nonflat billiard, that is, a Riemannian manifold with boundary. Each trajectory follows the geodesic flow in the interior of the billiard, and bounces when it meets the boundary. We give a sufficient condition for a nonflat billiard to be uniformly hyperbolic. As a particular case, we obtain a new criterion to show that a closed surface has an Anosov geodesic flow.
We show a rigidity result for 3-dimensional contact Axiom A flows: given two 3D contact Axiom A flows $Φ_1,Φ_2$ whose restrictions $Φ_1|_{Λ_1},Φ_2|_{Λ_2}$ to basic sets $Λ_1,Λ_2$ are orbit equivalent, we prove that if periodic orbits in correspondence have the same length, then the conjugacy is as regular as the flows and respects the contact structure, extending a previous result due to Feldman-Ornstein [21]. Some of the ideas are reminiscent of the work of Otal [51]. As an application, we show that the billiard maps of two open dispersing billiards without eclipse and with the same marked le…
