Paper detail

On multifractal formalism for self-similar measures with overlaps

Let $μ$ be a self-similar measure generated by an IFS $Φ=\{ϕ_i\}_{i=1}^\ell$ of similarities on $\mathbb R^d$ ($d\ge 1$). When $Φ$ is dimensional regular (see Definition~1.1), we give an explicit formula for the $L^q$-spectrum $τ_μ(q)$ of $μ$ over $[0,1]$, and show that $τ_μ$ is differentiable over $(0,1]$ and the multifractal formalism holds for $μ$ at any $α\in [τ_μ'(1),τ_μ'(0+)]$. We also verify the validity of the multifractal formalism of $μ$ over $[τ_μ'(\infty),τ_μ'(0+)]$ for two new classes of overlapping algebraic IFSs by showing that the asymptotically weak separation condition holds. For one of them, the proof appeals to a recent result of Shmerkin on the $L^q$-spectrum of self-similar measures.