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)



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), 5145-5164
MSC (2000): Primary 37L30; Secondary 60G30
Published electronically: July 12, 2001
MathSciNet review: 1852098
Full-text PDF

Abstract | References | Similar Articles | Additional Information


We study parabolic iterated function systems (IFS) with overlaps on the real line. An ergodic shift-invariant 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.

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

  • [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), 31-36. MR 11:88e
  • [E] P. Erdos, On a family of symmetric Bernoulli convolutions, American J. Math. 61 (1939), 974-975. 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), 153-155. MR 40:2030
  • [KP] J. Kinney and T. Pitcher, The dimension of some sets defined in terms of $f$-expansions, Zeit. für Wahr. 4 (1966), 293-315. MR 33:6670
  • [L] F. Ledrappier, Quelques propriétés des exposants caractéristiques, Springer Lecture Notes in Math. 1097 (1984), 305-396. MR 88b:58081
  • [Ly] R. Lyons, Singularity of some random continued fractions, J. Theor. Prob. 13 (2000), 535-545. CMP 2000:17
  • [Ma] R. Mañe, The Hausdorff dimension of invariant probabilities of rational maps, Springer Lecture Notes in Math. 1331 (1988), 86-117. MR 90j:58073
  • [Mn] A. Manning, A relation between Lyapunov exponents, Hausdorff dimension and entropy, Ergodic Th. and Dynam. Sys. 1 (1981), 451-459. 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), 1423-1447. CMP 2001:02
  • [PSc] Y. Peres and W. Schlag, Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions, Duke Math. J. 102 (2000), 193-251. MR 2001d:42013
  • [PSo1] Y. Peres and B. Solomyak, Absolute continuity of Bernoulli convolutions, a simple proof, Math. Research Letters 3:2 (1996), 231-239. MR 97f:28006
  • [PSo2] Y. Peres and B. Solomyak, Self-similar measures and intersections of Cantor sets, Trans. Amer. Math. Soc. 350, no. 10 (1998), 4065-4087. MR 98m:26009
  • [Pi] S. Pincus, Singular stationary measures are not always fractal, J. Theor. Prob. 7:1, (1994), 199-208. MR 94j:60128
  • [PoS] M. Pollicott and K. Simon, The Hausdorff dimension of $\lambda$-expansions with deleted digits, Trans. Amer. Math. Soc. 347 (1995), 967-983. 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), 941-956. MR 98f:58127
  • [SSo] K. Simon and B. Solomyak, Hausdorff dimension for horseshoes in $\mathbb{R}^3$, Ergodic Th. and Dynam. Sys. 19 (1999), 1343-1363. 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 $\sum\pm\lambda^i$ (an Erdos problem), Annals of Math. 142 (1995), 611-625. MR 97d:11125
  • [So2] B. Solomyak, Measure and dimension for some fractal families, Math. Proc. Cambridge Phil. Soc. 124, no. 3 (1998), 531-546. MR 99e:28016
  • [SU] B. Solomyak and M. Urbanski, $L^q$ 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), 241-277. MR 98f:58076
  • [Y] L.-S. Young, Dimension, entropy and Lyapunov exponents, Ergodic Th. and Dynam. Sys. 2 (1982), 109-124. 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

B. Solomyak
Affiliation: Department of Mathematics, Box 354350, University of Washington, Seattle, Washington 98195-4350

M. Urbanski
Affiliation: Department of Mathematics, University of North Texas, Denton, Texas 76203-1430

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

American Mathematical Society