Dimension spectrum of axiom a diffeomorphisms. I. The Bowen-Margulis measure

We compute the dimension spectrumf() of the singularity sets of the Bowen-Margulis measure defined on a two-dimensional compact manifold and invariant with respect to aC² Axiom A diffeomorphism. It is proved thatf is the Legendre-Fenchel transform of a free energy function which is real analytic (linear in the degenerate case). The functionf is also real analytic on its definition domain (defined in one point in the degenerate case) and is related to the Hausdorff dimensions of Gibbs measures singular with respect to each other and whose supports are the singularity sets, and we decompose these sets.