Isoperimetric Estimates on Sierpinski Gasket Type Fractals
Author:
Robert S. Strichartz
Journal:
Trans. Amer. Math. Soc. 351 (1999), 17051752
MSC (1991):
Primary 28A80; Secondary 51M16
Published electronically:
January 26, 1999
MathSciNet review:
1433127
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: For a compact Hausdorff space that is pathwise connected, we can define the connectivity dimension to be the infimum of all such that all points in can be connected by a path of Hausdorff dimension at most . We show how to compute the connectivity dimension for a class of selfsimilar sets in that we call point connected, meaning roughly that is generated by an iterated function system acting on a polytope such that the images of intersect at single vertices. This class includes the polygaskets, which are obtained from a regular gon in the plane by contracting equally to all vertices, provided is not divisible by 4. (The Sierpinski gasket corresponds to .) We also provide a separate computation for the octogasket (), which is not point connected. We also show, in these examples, that , where the infimum is taken over all paths connecting and , and denotes Hausdorff measure, is equivalent to the original metric on . Given a compact subset of the plane of Hausdorff dimension and connectivity dimension , we can define the isoperimetric profile function to be the supremum of , where is a region in the plane bounded by a Jordan curve (or union of Jordan curves) entirely contained in , with . The analog of the standard isperimetric estimate is . We are particularly interested in finding the best constant and identifying the extremal domains where we have equality. We solve this problem for polygaskets with . In addition, for we find an entirely different estimate for as , since the boundary of has infinite measure. We find that the isoperimetric profile function is discontinuous, and that the extremal domains have relatively simple polygonal boundaries. We discuss briefly the properties of minimal paths for the Sierpinski gasket, and the isodiametric problem in the intrinsic metric.
 [AS]
E. Ayer and R. S. Strichartz, Exact Hausdorff measure and intervals of maximum density for Cantor measures, Trans. Amer. Math. Soc. (to appear)
 [BK]
Christoph
Bandt and Thomas
Kuschel, Selfsimilar sets. VIII. Average interior distance in some
fractals, Rend. Circ. Mat. Palermo (2) Suppl. 28
(1992), 307–317. Measure theory (Oberwolfach, 1990). MR 1183058
(94c:28010)
 [BS]
C. Bandt and J. Stahnke, Selfsimilar sets 6. Interior distance on determinatic fractals, preprint, Greifswald 1990.
 [B]
Michael
Barnsley, Fractals everywhere, Academic Press, Inc., Boston,
MA, 1988. MR
977274 (90e:58080)
 [F]
Kenneth
Falconer, Fractal geometry, John Wiley & Sons, Ltd.,
Chichester, 1990. Mathematical foundations and applications. MR 1102677
(92j:28008)
 [HB]
S. Havlin and D. BenAvraham, Duffision in disordered media, Advances in Physics 36 (1987), 695798.
 [H]
John
E. Hutchinson, Fractals and selfsimilarity, Indiana Univ.
Math. J. 30 (1981), no. 5, 713–747. MR 625600
(82h:49026), http://dx.doi.org/10.1512/iumj.1981.30.30055
 [K]
Jun
Kigami, Harmonic calculus on p.c.f.\
selfsimilar sets, Trans. Amer. Math. Soc.
335 (1993), no. 2,
721–755. MR 1076617
(93d:39008), http://dx.doi.org/10.1090/S00029947199310766171
 [Ma1]
Jacques
Marion, Mesure de Hausdorff d’un fractal à similitude
interne, Ann. Sci. Math. Québec 10 (1986),
no. 1, 51–84 (French). MR 841120
(87h:28009)
 [Ma2]
Jacques
Marion, Mesures de Hausdorff d’ensembles fractals, Ann.
Sci. Math. Québec 11 (1987), no. 1,
111–132 (French, with English summary). MR 912166
(88k:28011)
 [MW]
R.
Daniel Mauldin and S.
C. Williams, Hausdorff dimension in graph directed
constructions, Trans. Amer. Math. Soc.
309 (1988), no. 2,
811–829. MR
961615 (89i:28003), http://dx.doi.org/10.1090/S00029947198809616154
 [M]
Umberto
Mosco, Variational metrics on selfsimilar fractals, C. R.
Acad. Sci. Paris Sér. I Math. 321 (1995),
no. 6, 715–720 (English, with English and French summaries). MR 1354712
(96h:28013)
 [O]
Robert
Osserman, The isoperimetric inequality,
Bull. Amer. Math. Soc. 84 (1978),
no. 6, 1182–1238. MR 0500557
(58 #18161), http://dx.doi.org/10.1090/S000299041978145534
 [S]
R. S. Strichartz, Piecewise linear wavelets on Sierpinski gasket type fractals, J. Fourier Anal. Appl. 3 (1997), 387416. CMP 97:17
 [AS]
 E. Ayer and R. S. Strichartz, Exact Hausdorff measure and intervals of maximum density for Cantor measures, Trans. Amer. Math. Soc. (to appear)
 [BK]
 C. Bandt and T. Kuschel, Selfsimilar sets 8. Average interior distance in some fractals, Rend. Circ. Math. Palermo Sup. 28 (1992), 307317. MR 94c:28010
 [BS]
 C. Bandt and J. Stahnke, Selfsimilar sets 6. Interior distance on determinatic fractals, preprint, Greifswald 1990.
 [B]
 M. Barnsley, Fractals Everywhere, Academic Press, Boston, 1988. MR 90e:58080
 [F]
 K. J. Falconer, Fractal Geometry: Mathematical Foundations and Applications, John Wiley & Sons, New York, 1990. MR 92j:28008
 [HB]
 S. Havlin and D. BenAvraham, Duffision in disordered media, Advances in Physics 36 (1987), 695798.
 [H]
 J. E. Hutchinson, Fractals and selfsimilarity, Indiana Univ. Math. J. 30 (1981), 713747. MR 82h:49026
 [K]
 J. Kigami, Harmonic calculus on p.c.f. selfsimilar spaces, Trans. Amer. Math. Soc. 335 (1993), 721755. MR 93d:39008
 [Ma1]
 J. Marion, Mesure de Hausdorff d'un fractal à similitude interne, Ann. Sc. Math. Québec 10 (1986), 5184. MR 87h:28009
 [Ma2]
 J. Marion, Mesures de Hausdorff d'ensembles fractals, Ann. Sc. Math. Québec 11 (1987), 111132. MR 88k:28011
 [MW]
 R. D. Mauldin and S. C. Williams, Hausdorff dimension in graph directed constructions, Trans. Amer. Math. Soc. 309 (1988), 811829. MR 89i:28003
 [M]
 U. Mosco, Variational metrics on selfsimilar fractals, C.R. Acad. Sci. Paris Sér. I Math. 321 (1995), 715720. MR 96h:28013
 [O]
 R. Osserman, The isoperimetric inequality, Bull. Amer. Math. Soc. 84 (1978), 11821238. MR 58:18161
 [S]
 R. S. Strichartz, Piecewise linear wavelets on Sierpinski gasket type fractals, J. Fourier Anal. Appl. 3 (1997), 387416. CMP 97:17
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (1991):
28A80,
51M16
Retrieve articles in all journals
with MSC (1991):
28A80,
51M16
Additional Information
Robert S. Strichartz
Affiliation:
Department of Mathematics, White Hall, Cornell University, Ithaca, New York 14853
Email:
str@math.cornell.edu
DOI:
http://dx.doi.org/10.1090/S0002994799019996
PII:
S 00029947(99)019996
Keywords:
Isoperimetric estimates,
Sierpinski gasket,
fractals,
connectivity dimension
Received by editor(s):
May 14, 1996
Received by editor(s) in revised form:
November 25, 1996
Published electronically:
January 26, 1999
Additional Notes:
Research supported in part by the National Science Foundation, Grant DMS9623250
Article copyright:
© Copyright 1999
American Mathematical Society
