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

DOI:
https://doi.org/10.1090/S0002-9947-01-02873-2

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.

**[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 -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 -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 ,*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 (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, 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**

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 98195-4350

Email:
solomyak@math.washington.edu

**M. Urbanski**

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

Email:
urbanski@unt.edu

DOI:
https://doi.org/10.1090/S0002-9947-01-02873-2

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