Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Exact Hausdorff measure and intervals of maximum density for Cantor sets

Authors: Elizabeth Ayer and Robert S. Strichartz
Journal: Trans. Amer. Math. Soc. 351 (1999), 3725-3741
MSC (1991): Primary 28A80, 28A78
Published electronically: January 26, 1999
MathSciNet review: 1433110
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Consider a linear Cantor set $K$, which is the attractor of a linear iterated function system (i.f.s.) $S_{j}x = \rho _{j}x+b_{j}$, $j = 1,\ldots ,m$, on the line satisfying the open set condition (where the open set is an interval). It is known that $K$ has Hausdorff dimension $\alpha $ given by the equation $\sum ^{m}_{j=1} \rho ^{\alpha }_{j} = 1$, and that $\mathcal{H}_{\alpha }(K)$ is finite and positive, where $\mathcal{H}_{\alpha }$ denotes Hausdorff measure of dimension $\alpha $. We give an algorithm for computing $\mathcal{H}_{\alpha }(K)$ exactly as the maximum of a finite set of elementary functions of the parameters of the i.f.s. When $\rho _{1} = \rho _{m}$ (or more generally, if $\log \rho _{1}$ and $\log \rho _{m}$ are commensurable), the algorithm also gives an interval $I$ that maximizes the density $d(I) = \mathcal{H}_{\alpha }(K \cap I)/|I|^{\alpha }$. The Hausdorff measure $\mathcal{H}_{\alpha }(K)$ is not a continuous function of the i.f.s. parameters. We also show that given the contraction parameters $\rho _{j}$, it is possible to choose the translation parameters $b_{j}$ in such a way that $\mathcal{H}_{\alpha }(K) = |K|^{\alpha }$, so the maximum density is one. Most of the results presented here were discovered through computer experiments, but we give traditional mathematical proofs.

References [Enhancements On Off] (What's this?)

  • [CV] P. M. Centore and E. R. Vrscay, Continuity of attractors and invariant measures for iterated function systems, Canad. Math. Bull. 37 (3) (1994), 315-329. MR 95g:58126
  • [F] K. J. Falconer, Fractal geometry: mathematical foundations and applications, John Wiley, 1990. MR 92j:28008
  • [M1] J. Marion, Mesure de Hausdorff d'un fractal à similitude interne, Ann. Sc. Math. Québec 10 (1986), 51-84. MR 87h:28009
  • [M2] J. Marion, Mesures de Hausdorff d'ensembles fractals, Ann. Sc. Math. Québec 11 (1987), 111-132. MR 88k:28011
  • [STZ] R. S. Strichartz, A. Taylor and T. Zhang, Densities of self-similar measures on the line, Experimental Math. 4 (1995), 101-128. MR 97c:28014.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 28A80, 28A78

Retrieve articles in all journals with MSC (1991): 28A80, 28A78

Additional Information

Elizabeth Ayer
Affiliation: Department of Mathematics, Duke University, Durham, North Carolina 27708
Address at time of publication: Churchill College, Cambridge, CB3 ODS, U.K.

Robert S. Strichartz
Affiliation: Department of Mathematics, Cornell University, Ithaca, New York 14853

Received by editor(s): July 28, 1995
Received by editor(s) in revised form: November 13, 1996
Published electronically: January 26, 1999
Additional Notes: Research supported by the National Science Foundation through the REU program (Ayer) and through Grant DMS–9303718 (Strichartz)
Article copyright: © Copyright 1999 American Mathematical Society

American Mathematical Society