Concentration of dimension in the Lagrange spectrum

Abstract

Let $φ$ be a smooth conservative diffeomorphism of a compact surface $S$ and let $Λ$ be a mixing horseshoe of $φ$. Given a smooth real function $f$ defined on $S$, we define for points $η$ in the unstable Cantor set of the pair $(φ,Λ)$, a generalization, $k_{φ,Λ,f}(η)$, of the best constant of Diophantine approximation for irrational numbers. We study the set of points $η$ for which the sets $k_{φ,Λ,f}^{-1}((-\infty,η])$ and $k_{φ,Λ,f}^{-1}(η)$ have the same Hausdorff dimension and when the Hausdorff dimension of $Λ$ is less than one, we describe generically the local Hausdorff dimension of the dynamical Lagrange spectrum, $\mathcal{L}_{φ,Λ,f}$, restricted to this set of points. Finally, we recover the same results for the classical Lagrange spectra.