Published online by Cambridge University Press: 06 November 2002
Let Si: ℝd → ℝd for i = 1, …, n be contracting similarities, and let (p1, …, pn) be a probability vector. Let K and μ be the self-similar set and the self-similar measure associated with (Si,pi)i. For q ∈ ℝ and r > 0, define the qth covering moment and the qth packing moment of μ by
[formula here]
where the infimum is taken over all r-spanning subsets E of K, and the supremum is taken over all r-separated subsets F of K. If the Open Set Condition (OSC) is satisfied then it is well known that
[formula here]
where β(q) is defined by [sum ]ipqirβi(q) = 1 (here ri denotes the Lipschitz constant of Si). Assuming the OSC, we determine the exact rate of convergence in (*): there exist multiplicatively periodic functions πq, Πq: (0,∞) → ℝ such that
[formula here]
where ε(r) → 0 as r[searr ]0. As an application of (**) we show that the empirical multi-fractal moment measures converges weakly:
[formula here]
where, for each positive r, Er is a (suitable) minimal r-spanning subset of K and Fr is a (suitable) maximal r-separated subset of K, and [Hscr ]q,β(q)μ and [Pscr ]q,β(q)μ are the multifractal Hausdorff measure and the multifractal packing measure, respectively.