A direct proof of the existence of MME for finite horizon Sinai billiards

Jérôme Carrand

2024-03-20

Abstract:The Sinai billiard map $T$ on the two-torus, i.e., the periodic Lorentz gaz, is a discontinuous map. Assuming finite horizon and bounded complexity, we prove that the Kolmogorov--Sinai entropy map associated with the billiard map $T$ is upper semi-continuous, as well as the compactness of the set of $T$-invariant measures. In particular, for the potentials $g \equiv 0$ and $g = -h_{\rm top}(\Phi_1) \tau$, we recover the recent results of the existence of measures of maximal entropy (MME) for both the billiard map and flow $\Phi_t$, due to Baladi and Demers for $T$, jointly with Carrand for $\Phi_t$. For general finite horizon Sinai billiards, we provide bounds on the defect of upper semi-continuity of the entropy map and on the topological tail entropy. The bounded complexity condition is expected to hold generically.

Dynamical Systems

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove the existence of Measures of Maximal Entropy (MME) in the finite - horizon Sinai billiard system. Specifically, under the assumptions of finite - horizon and bounded complexity, the author proves that the Kolmogorov - Sinai entropy map associated with the billiard map \(T\) is upper - semicontinuous, and the set of \(T\)-invariant measures is compact. In particular, for the potential functions \(g \equiv 0\) and \(g=-h_{\text{top}}(\Phi_1)\tau\), the author reproves the recent results on the existence of MME for the billiard map and the flow \(\Phi_t\), which were obtained jointly by Baladi and Demers as well as Carrand.

Furthermore, for the general finite - horizon Sinai billiard, the author provides boundary estimates for the upper - semicontinuity defect of the entropy map and the topological tail entropy. The bounded complexity condition is expected to hold in general.

### Main contributions of the paper
1. **Proof of upper - semicontinuity**: The author proves that under the assumptions of finite - horizon and bounded complexity, the Kolmogorov - Sinai entropy map is upper - semicontinuous.
2. **Compactness of the set of invariant measures**: Proves that the set of \(T\)-invariant measures is compact.
3. **Existence of MME**: Reproves the existence of MME in the cases of \(g \equiv 0\) and \(g=-h_{\text{top}}(\Phi_1)\tau\).
4. **Boundary estimates**: Provides boundary estimates for the upper - semicontinuity defect of the entropy map and the topological tail entropy.

### Mathematical formulas
- **Kolmogorov - Sinai entropy**:
\[
h_\mu(T)=\lim_{n \to \infty}\frac{1}{n}H_\mu(P^n_0)
\]
where \(H_\mu(A)=-\sum_{A \in A}\mu(A)\log \mu(A)\) represents the static entropy of a partition \(A\).

- **Upper - semicontinuity**:
\[
\limsup_{\nu \Rightarrow \mu}h_\nu(T)\leq h_\mu(T)+\left(2\mu\left(\bigcup_{n \geq 0}S_n\right)+\mu(S_0)\right)h^*
\]

- **Topological tail entropy**:
\[
h^*(T)=\lim_{\epsilon \to 0}\lim_{\delta \to 0}\limsup_{n \to +\infty}\frac{1}{n}\sup_{x \in M}r(n,\delta,B(x,\epsilon,n))
\]

### Conclusion
Through these results, the author not only proves the existence of MME in the finite - horizon Sinai billiard system, but also provides detailed estimates for the upper - semicontinuity defect of the entropy map and the topological tail entropy, providing an important theoretical basis for understanding the dynamic properties of such systems.