Invariant measures for parabolic IFS with overlaps and random continued fractions
Authors:
K. Simon, B. Solomyak and M. Urbanski
Journal:
Trans. Amer. Math. Soc. 353 (2001), 51455164
MSC (2000):
Primary 37L30; Secondary 60G30
Published electronically:
July 12, 2001
MathSciNet review:
1852098
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We study parabolic iterated function systems (IFS) with overlaps on the real line. An ergodic shiftinvariant measure with positive entropy on the symbolic space induces an invariant measure on the limit set of the IFS. The Hausdorff dimension of this measure equals the ratio of entropy over Lyapunov exponent if the IFS has no ``overlaps.'' We focus on the overlapping case and consider parameterized families of IFS, satisfying a transversality condition. Our main result is that the invariant measure is absolutely continuous for a.e. parameter such that the entropy is greater than the Lyapunov exponent. If the entropy does not exceed the Lyapunov exponent, then their ratio gives the Hausdorff dimension of the invariant measure for a.e. parameter value, and moreover, the local dimension of the exceptional set of parameters can be estimated. These results are applied to a family of random continued fractions studied by R. Lyons. He proved singularity above a certain threshold; we show that this threshold is sharp and establish absolute continuity for a.e. parameter in some interval below the threshold.
 [BL]
Philippe
Bougerol and Jean
Lacroix, Products of random matrices with applications to
Schrödinger operators, Progress in Probability and Statistics,
vol. 8, Birkhäuser Boston, Inc., Boston, MA, 1985. MR 886674
(88f:60013)
 [Eg]
H.
G. Eggleston, The fractional dimension of a set defined by decimal
properties, Quart. J. Math., Oxford Ser. 20 (1949),
31–36. MR
0031026 (11,88e)
 [E]
Paul
Erdös, On a family of symmetric Bernoulli convolutions,
Amer. J. Math. 61 (1939), 974–976. MR 0000311
(1,52a)
 [F1]
Kenneth
Falconer, Fractal geometry, John Wiley & Sons, Ltd.,
Chichester, 1990. Mathematical foundations and applications. MR 1102677
(92j:28008)
 [F2]
Kenneth
Falconer, Techniques in fractal geometry, John Wiley &
Sons, Ltd., Chichester, 1997. MR 1449135
(99f:28013)
 [H]
B. Hunt, Dimensions of attractors of nonlinear iterated function systems, Preprint.
 [Ka]
Robert
Kaufman, On Hausdorff dimension of projections, Mathematika
15 (1968), 153–155. MR 0248779
(40 #2030)
 [KP]
John
R. Kinney and Tom
S. Pitcher, The dimension of some sets defined in terms of
𝑓expansions, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete
4 (1965/1966), 293–315. MR 0198515
(33 #6670)
 [L]
F.
Ledrappier, Quelques propriétés des exposants
caractéristiques, École d’été de
probabilités de SaintFlour, XII—1982, Lecture Notes in
Math., vol. 1097, Springer, Berlin, 1984, pp. 305–396
(French). MR
876081 (88b:58081), http://dx.doi.org/10.1007/BFb0099434
 [Ly]
R. Lyons, Singularity of some random continued fractions, J. Theor. Prob. 13 (2000), 535545. CMP 2000:17
 [Ma]
Ricardo
Mañé, The Hausdorff dimension of invariant
probabilities of rational maps, Dynamical systems, Valparaiso 1986,
Lecture Notes in Math., vol. 1331, Springer, Berlin, 1988,
pp. 86–117. MR 961095
(90j:58073), http://dx.doi.org/10.1007/BFb0083068
 [Mn]
Anthony
Manning, A relation between Lyapunov exponents, Hausdorff dimension
and entropy, Ergodic Theory Dynamical Systems 1
(1981), no. 4, 451–459 (1982). MR 662737
(84h:58084)
 [Mat]
Pertti
Mattila, Geometry of sets and measures in Euclidean spaces,
Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge
University Press, Cambridge, 1995. Fractals and rectifiability. MR 1333890
(96h:28006)
 [MU]
D. Mauldin and M. Urbanski, Parabolic iterated function systems, Ergodic Th. and Dynam. Sys. 20 (2000), 14231447. CMP 2001:02
 [PSc]
Yuval
Peres and Wilhelm
Schlag, Smoothness of projections, Bernoulli convolutions, and the
dimension of exceptions, Duke Math. J. 102 (2000),
no. 2, 193–251. MR 1749437
(2001d:42013), http://dx.doi.org/10.1215/S0012709400102220
 [PSo1]
Yuval
Peres and Boris
Solomyak, Absolute continuity of Bernoulli convolutions, a simple
proof, Math. Res. Lett. 3 (1996), no. 2,
231–239. MR 1386842
(97f:28006), http://dx.doi.org/10.4310/MRL.1996.v3.n2.a8
 [PSo2]
Yuval
Peres and Boris
Solomyak, Selfsimilar measures and
intersections of Cantor sets, Trans. Amer.
Math. Soc. 350 (1998), no. 10, 4065–4087. MR 1491873
(98m:26009), http://dx.doi.org/10.1090/S0002994798022922
 [Pi]
Steve
Pincus, Singular stationary measures are not always fractal,
J. Theoret. Probab. 7 (1994), no. 1, 199–208.
MR
1256399 (94j:60128), http://dx.doi.org/10.1007/BF02213368
 [PoS]
Mark
Pollicott and Károly
Simon, The Hausdorff dimension of
𝜆expansions with deleted digits, Trans. Amer. Math. Soc. 347 (1995), no. 3, 967–983. MR 1290729
(95h:11080), http://dx.doi.org/10.1090/S00029947199512907290
 [SY]
Timothy
D. Sauer and James
A. Yorke, Are the dimensions of a set and its image equal under
typical smooth functions?, Ergodic Theory Dynam. Systems
17 (1997), no. 4, 941–956. MR 1468109
(98f:58127), http://dx.doi.org/10.1017/S0143385797086252
 [SSo]
K. Simon and B. Solomyak, Hausdorff dimension for horseshoes in , Ergodic Th. and Dynam. Sys. 19 (1999), 13431363. CMP 2000:04
 [SSU1]
K. Simon, B. Solomyak, and M. Urbanski, Hausdorff dimension of limit sets for parabolic IFS with overlaps, Pacific J. Math., to appear.
 [SSU2]
K. Simon, B. Solomyak, and M. Urbanski, Parabolic iterated function systems with overlaps II: invariant measures, Preprint.
 [So1]
Boris
Solomyak, On the random series ∑±𝜆ⁿ (an
Erdős problem), Ann. of Math. (2) 142 (1995),
no. 3, 611–625. MR 1356783
(97d:11125), http://dx.doi.org/10.2307/2118556
 [So2]
Boris
Solomyak, Measure and dimension for some fractal families,
Math. Proc. Cambridge Philos. Soc. 124 (1998), no. 3,
531–546. MR 1636589
(99e:28016), http://dx.doi.org/10.1017/S0305004198002680
 [SU]
B. Solomyak and M. Urbanski, densities for measures associated with parabolic IFS with overlaps, Indiana Univ. Math. J., to appear.
 [U]
Mariusz
Urbański, Parabolic Cantor sets, Fund. Math.
151 (1996), no. 3, 241–277. MR 1424576
(98f:58076)
 [Y]
Lai
Sang Young, Dimension, entropy and Lyapunov exponents, Ergodic
Theory Dynamical Systems 2 (1982), no. 1,
109–124. MR
684248 (84h:58087)
 [BL]
 P. Bougerol and F. Lacroix, Products of random matrices with applications to Schrödinger operators. Progress in Probability and Statistics 8, Birkhäuser, Boston, 1985. MR 88f:60013
 [Eg]
 H. Eggleston, The fractional dimension of a set defined by decimal properties, Quart. J. Math. Oxford, Ser. 20 (1949), 3136. MR 11:88e
 [E]
 P. Erdos, On a family of symmetric Bernoulli convolutions, American J. Math. 61 (1939), 974975. MR 1:52a
 [F1]
 K. Falconer, Fractal Geometry: Mathematical Foundations and Applications, John Wiley and Sons, 1990. MR 92j:28008
 [F2]
 K. Falconer, Techniques in Fractal Geometry, John Wiley and Sons, 1997. MR 99f:28013
 [H]
 B. Hunt, Dimensions of attractors of nonlinear iterated function systems, Preprint.
 [Ka]
 R. Kaufman, On Hausdorff dimension of projections, Mathematika 15 (1968), 153155. MR 40:2030
 [KP]
 J. Kinney and T. Pitcher, The dimension of some sets defined in terms of expansions, Zeit. für Wahr. 4 (1966), 293315. MR 33:6670
 [L]
 F. Ledrappier, Quelques propriétés des exposants caractéristiques, Springer Lecture Notes in Math. 1097 (1984), 305396. MR 88b:58081
 [Ly]
 R. Lyons, Singularity of some random continued fractions, J. Theor. Prob. 13 (2000), 535545. CMP 2000:17
 [Ma]
 R. Mañe, The Hausdorff dimension of invariant probabilities of rational maps, Springer Lecture Notes in Math. 1331 (1988), 86117. MR 90j:58073
 [Mn]
 A. Manning, A relation between Lyapunov exponents, Hausdorff dimension and entropy, Ergodic Th. and Dynam. Sys. 1 (1981), 451459. MR 84h:58084
 [Mat]
 P. Mattila, Geometry of sets and measures in Euclidean spaces, C.U.P., Cambridge, 1995. MR 96h:28006
 [MU]
 D. Mauldin and M. Urbanski, Parabolic iterated function systems, Ergodic Th. and Dynam. Sys. 20 (2000), 14231447. CMP 2001:02
 [PSc]
 Y. Peres and W. Schlag, Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions, Duke Math. J. 102 (2000), 193251. MR 2001d:42013
 [PSo1]
 Y. Peres and B. Solomyak, Absolute continuity of Bernoulli convolutions, a simple proof, Math. Research Letters 3:2 (1996), 231239. MR 97f:28006
 [PSo2]
 Y. Peres and B. Solomyak, Selfsimilar measures and intersections of Cantor sets, Trans. Amer. Math. Soc. 350, no. 10 (1998), 40654087. MR 98m:26009
 [Pi]
 S. Pincus, Singular stationary measures are not always fractal, J. Theor. Prob. 7:1, (1994), 199208. MR 94j:60128
 [PoS]
 M. Pollicott and K. Simon, The Hausdorff dimension of expansions with deleted digits, Trans. Amer. Math. Soc. 347 (1995), 967983. MR 95h:11080
 [SY]
 T. Sauer and J. Yorke, Are the dimensions of a set and its image equal under typical smooth functions?, Ergodic Th. and Dynam. Sys. 17 (1997), 941956. MR 98f:58127
 [SSo]
 K. Simon and B. Solomyak, Hausdorff dimension for horseshoes in , Ergodic Th. and Dynam. Sys. 19 (1999), 13431363. CMP 2000:04
 [SSU1]
 K. Simon, B. Solomyak, and M. Urbanski, Hausdorff dimension of limit sets for parabolic IFS with overlaps, Pacific J. Math., to appear.
 [SSU2]
 K. Simon, B. Solomyak, and M. Urbanski, Parabolic iterated function systems with overlaps II: invariant measures, Preprint.
 [So1]
 B. Solomyak, On the random series (an Erdos problem), Annals of Math. 142 (1995), 611625. MR 97d:11125
 [So2]
 B. Solomyak, Measure and dimension for some fractal families, Math. Proc. Cambridge Phil. Soc. 124, no. 3 (1998), 531546. MR 99e:28016
 [SU]
 B. Solomyak and M. Urbanski, densities for measures associated with parabolic IFS with overlaps, Indiana Univ. Math. J., to appear.
 [U]
 M. Urbanski, Parabolic Cantor sets, Fundamenta Math. 151 (1996), 241277. MR 98f:58076
 [Y]
 L.S. Young, Dimension, entropy and Lyapunov exponents, Ergodic Th. and Dynam. Sys. 2 (1982), 109124. MR 84h:58087
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
37L30,
60G30
Retrieve articles in all journals
with MSC (2000):
37L30,
60G30
Additional Information
K. Simon
Affiliation:
Department of Stochastics, Institute of Mathematics, Technical University of Budapest, P.O. Box 91, 1521 Budapest, Hungary
Email:
simonk@math.bme.hu
B. Solomyak
Affiliation:
Department of Mathematics, Box 354350, University of Washington, Seattle, Washington 981954350
Email:
solomyak@math.washington.edu
M. Urbanski
Affiliation:
Department of Mathematics, University of North Texas, Denton, Texas 762031430
Email:
urbanski@unt.edu
DOI:
http://dx.doi.org/10.1090/S0002994701028732
PII:
S 00029947(01)028732
Keywords:
Iterated function systems,
parabolic maps,
random continued fractions
Received by editor(s):
January 17, 2000
Received by editor(s) in revised form:
December 18, 2000
Published electronically:
July 12, 2001
Additional Notes:
Research of Simon was supported in part by the OTKA foundation grant F019099. Research of Solomyak was supported in part by the Fulbright foundation and the NSF grant DMS 9800786. Research of Urbański was supported in part by the NSF grant DMS 9801583
Article copyright:
© Copyright 2001
American Mathematical Society
