Mixing Rates for Analytic Observables: Toral Endomorphisms and Anosov Blaschke Deformations
We analyze exponential mixing for analytic observables and show that mixing at a double exponential rate occurs for genuinely nonlinear systems. Neither its presence nor its sharp exponent is stable under arbitrarily small area-preserving perturbations in the real-analytic topology. We construct two families of area-preserving Anosov Blaschke product diffeomorphisms that converge in the real-analytic topology to the same hyperbolic toral automorphism. For nonzero parameters, both deformations are topologically conjugate to the linear model but not $C^1$-conjugate. For all nonzero parameter values, the maps in the first family are mixing at a double exponential rate with the same sharp exponent, strictly smaller than that of the linear map. The sharp exponent is therefore not lower semicontinuous at the linear map. In the second family, mixing at a double exponential rate is lost altogether, although the maps remain exponentially mixing. We also establish double exponential bounds for every ergodic toral endomorphism and uniform bounds of the same type for totally ergodic higher-rank toral actions. Our method combines the Fourier escape argument with Koopman operator estimates from a Hilbert space of analytic functions to its dual space of hyperfunctions.