On the measure of maximal entropy for finite horizon Sinai Billiard maps

DOI10.1090/JAMS/939MaRDI QIDQ5220195zbMATH OpenOpenAlexWikidataFDO

Publication date 11 March 2020

Published in Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.02330

Bowen-Margulis measure maximal entropy measure Sinai billiard map topological entropy transfer operator

Ergodicity, mixing, rates of mixing (37A25) Topological entropy (37B40) Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Functional analytic techniques in dynamical systems; zeta functions, (Ruelle-Frobenius) transfer operators, etc. (37C30) Periodic and quasi-periodic flows and diffeomorphisms (37C55) Dynamical systems with singularities (billiards, etc.) (37C83) Dynamical systems involving homeomorphisms and diffeomorphisms of planes and surfaces (37E30) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Linear operators on function spaces (general) (47B38)

Abstract: The Sinai billiard map

T

on the two-torus, i.e., the periodic Lorentz gas, is a discontinuous map. Assuming finite horizon, we propose a definition

h_{*}

for the topological entropy of

T

. We prove that

h_{*}

is not smaller than the value given by the variational principle, and that it is equal to the definitions of Bowen using spanning or separating sets. Under a mild condition of sparse recurrence to the singularities, we get more: First, using a transfer operator acting on a space of anisotropic distributions, we construct an invariant probability measure

m u_{*}

of maximal entropy for

T

(i.e.,

h_{m u_{*}} (T) = h_{*}

), we show that

m u_{*}

has full support and is Bernoulli, and we prove that

m u_{*}

is the unique measure of maximal entropy, and that it is different from the smooth invariant measure except if all non grazing periodic orbits have multiplier equal to

h_{*}

. Second,

h_{*}

is equal to the Bowen--Pesin--Pitskel topological entropy of the restriction of

T

to a non-compact domain of continuity. Last, applying results of Lima and Matheus, as upgraded by Buzzi, the map

T

has at least

C e^{n h_{*}}

periodic points of period

n

for all large enough

n i n m a t h b b N

.

Recommendations

Cites work

Cited in

(28)

This page was built for publication: On the measure of maximal entropy for finite horizon Sinai Billiard maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5220195)