Multifractal structure of convolution of the Cantor measure (Q5953147)

Let \(\mu\) be a probability measure on \(\mathbb{R}\). For \(s \in \text{Supp } \mu\), the local upper and lower dimension of \(\mu\) at \(s\) is defined by \[ \overline{\alpha}(s) = \limsup_{h \to 0^+} {{\log \mu(B_h(s))}\over {\log h}}\quad \text{and}\quad \underline{\alpha}(s) = \liminf_{h \to 0^+} {{\log \mu(B_h(s))} \over {\log h}}, \] respectively. If \( \overline{\alpha}(s)= \underline{\alpha}(s)\), then the common value is called the local dimension of \(\mu\) at \(s\) and is denoted by \(\alpha(s)\). Let \(\nu\) be the standard Cantor measure. For \(m \geq 2\), let \(\mu\) be the \(m\)th convolution of \(\nu\), i.e., \(\mu = \nu \star \cdots \star \nu\) (\(m\) times). Then \(\nu\) is supported on \([0, {m \over 2}]\). It is known that for \(m = 2\), the multifractal formalism holds for \(\mu\). In this paper, the authors study the local dimension and multifractal structure of \(\mu\). They prove that, if \(m \geq 3\), then \[ \overline{\alpha} = \sup\{\overline{\alpha}(s): s \in \text{Supp } \mu\} = {{m \log 2} \over {\log 3}}, \] \(K(\overline{\alpha}) = \{0, {m \over 2}\}\) and \(K(\alpha) = \emptyset\) for all \(\alpha \in (\alpha^*,\overline{\alpha})\), where \(\alpha^*>0\) is an explicit constant and \(K(\alpha) = \{s \in \text{Supp } \mu: \alpha(s) = \alpha\}\). When \(m = 3\), the authors improve the above results by showing that there is an \(\widetilde{\alpha}< \alpha^*\) such that \(K(\alpha) = \emptyset\) for all \(\alpha \in (\widetilde{\alpha}, \overline{\alpha})\); and for any \(\alpha \in (\underline{\alpha},\widetilde{\alpha}),\) there is \(s \in (0, 1)\) such that \(\alpha(s) = \alpha\).