Some exceptional phenomena in multifractal formalism. II (Q2493480)

Let \(\mu\) be the probability measure satisfying the self-similarity identity \[ \mu = \sum_{j=0}^3 p_j \mu \circ S_j^{-1}, \] where \(S_j(x) = \frac 1 3 \, (x + 2j)\) for \(j \in \{0, 1, 2, 3\}\) and \([p_0, p_1, p_2, p_3] = [\frac 1 8, \frac 3 8, \frac 3 8, \frac 1 8]\). In an earlier paper, \textit{K.-S. Lau} and \textit{X.-Y. Wang} [Asian J. Math. 9, No. 2, 275--294 (2005; Zbl 1116.28010)] showed that the \(L^q\)-spectrum \(\tau(q)\) of \(\mu\) has a non-differentiable point at \(q_0 < 0\) (\(q_0 \approx -1.149\)), which implies that the standard multifractal formalism does not hold for \(\mu\). This paper under review is a continuation of Lau and Wang (loc. cit.). The authors overcome the problem of non-differentiability of \(\tau(q)\) at \(q_0\) by considering the restrictions of \(\mu\) over subsets of the support of \(\mu\) (supp\(\mu = [0, 3]\)), i.e., \(\mu_m = \mu| _{[3^{-m}, \, 3- 3^{-m}]}\). Among other things, the authors prove the following results: (i)\, The \(L^q\)-spectrum of \(\mu_m\) is independent of \(m\) and is given by \(\tilde{\tau}(q) = \log_3 r(q)\) (\(q \in {\mathbb R}\)), where \(r(q)\) is a real analytic function; (ii)\, A modified multifractal formalism hods for \(\mu\). More precisely, denote by \(\alpha(x)\) the local dimension of \(\mu\) at \(x\). It is known that \[ \big\{\alpha: \alpha =\alpha (x) \;\text{\;for some }\;x \in \text{ supp} \mu \big\} = [\underline{\alpha}, \tilde{\alpha}] \cup \{\overline \alpha\}, \] where \(\underline{\alpha} < \tilde{\alpha} < \overline \alpha\) are explicit constants. The authors prove that for every \(\alpha \in (\underline{\alpha}, \tilde{\alpha})\), \[ \dim_{\text{H}} \big\{x \in \text{supp} \mu: \alpha(x) = \alpha \big\} = \tilde{\tau}^*(\alpha), \] where \(\tilde{\tau}^*(\alpha)\) is the Legendre transform of \(\tilde{\tau}(q)\).