Coupled maps and analytic function spaces (Q4800370)

The author studies a possibly infinite product of expanding, real-analytic circle maps which are weakly coupled. It is shown that for a sufficiently weak real-analytic coupling there exists a unique ergodic invariant measure. This measure is natural in the sense that Birkhoff averages converge for Lebesgue-almost every point to the corresponding average with respect to the invariant measure. Moreover, time correlations decay exponentially. When the coupling can be associated with some metric, e.g. in the case of coupled map lattices, the spatial decay of the coupling leads to an analogous decay of the marginal densities of the invariant measure. The possible couplings are chosen from a Banach algebra of analytic functions in infinitely many variables which are also used as observables. The proof of the result uses perturbative expansion for the integral kernels of local Perron-Frobenius operators on finite-dimensional tori which can be extended to the full system. Using tree-structures uniform estimates for a global Perron-Frobenius type operator are derived. In an explicit example, the author is able to give a numerical bound for the size of the coupling. The paper is written in a clear way. To keep the article concise, several minor points are referred to the Appendix.