Second-order self-similar identities and multifractal decompositions

Motivated by the study of convolutions of the Canter measure, we set up a framework for computing the multifractal L-q-spectrum tau (q), q > 0, for certain overlapping self-similar measures which satisfy a family of second-order identities introduced by Strichartz et al. We apply our results to the family of iterated function systems S(j)x = (1/m)x + [(m - 1)m]/j j = 0, 1,..., nz, where nz is an odd integer, and obtain closed formulas defining tau (q), q > 0, for the associated self-similar measures. As a result, we can show that tau (q) is differentiable on (0, infinity) and justify the multifractal formalism in the region q > 0. Furthermore, expressions for the Hausdorff and entropy dimensions of these measures can also be derived. By letting m = 3, we obtain all these results for the 3-fold convolution of the standard Canter measure.