Density spectrum of Cantor measure

Abstract

Given ρ ∈ (0, 1/3], let µ be the Cantor measure satisfying µ = 1 2 µf −1 0 + 1 2 µf −1 1 , where fi(x) = ρx + i(1 − ρ) for i = 0, 1. The support of µ is a Cantor set C generated by the iterated function system {f0, f1}. Continuing the work of Feng et al. (2000) on the pointwise lower and upper densitieswhere s = − log 2/ log ρ is the Hausdorff dimension of C, we give a complete description of the sets D * and D * consisting of all possible values of the lower and upper densities, respectively. We show that both sets contain infinitely many isolated and infinitely many accumulation points, and they have the same Hausdorff dimension as the Cantor set C. Furthermore, we compute the Hausdorff dimension of the level sets of the lower and upper densities. Our proofs are based on recent progress on unique non-integer base expansions and ideas from open dynamical systems.