ERGODICITY, UNIDIMENSIONALITY AND MULTIFRACTALITY OF SELF-SIMILAR MEASURES (Q4351503)

Given a locally compact and complete metric space \((X,d)\), \(W=(w_1,\ldots, w_m)\) a set of continuous transformations of \(X\), and \(P=(p_1,\ldots, p_m)\) a positive probability vector, the triple \((X,W,P)\) is called a system, and a probability measure defined by the functional equation \[ \mu=\sum_{j=1}^m p_j(\mu\circ w_j^{-1}) \] is called a self-similar measure of the system. A compact set \(A\subset X\) satisfying \(A=\bigcup_{j=1}^m w_j(A)\) is called self-similar set, while if it verifies only the inclusion \(A\supset\bigcup_{j=1}^m w_j(A)\), it is called quasi-self-similar set. In the paper under review it is proved that there is an invariant measure iff there is a quasi-self-similar set associated to the system. Moreover, the compact support of such a measure is self-similar. An invariant measure \(\mu\) is said to be ergodic if it is trivial on invariant sets: \(B=w_j^{-1}(B)\), \(j\in\{1\ldots.m\}\). It is proved an ergodic theorem with respect to an invariant measure and it is discussed the dimension of an ergodic measure. Namely, it is proved that if the system is such that \(\dim_H(w_j(B)\geq \dim_H(B)\), where \(\dim_H(B)\) denotes the Hausdorff dimension of \(B\), then every ergodic invariant measure is \(\alpha\)-dimensional, for some \(\alpha\geq 0\). The author also presents a multifractal analysis of two measures: the invariant measure of a symbolic system and the invariant measure of a system associated to \({\mathbb R}^d\), whose transformations \(w_j\) are contractive similarities and the unique self-similar set is the totally disconnected.