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)

 
 

 

Absolute continuity of self-similar measures, their projections and convolutions


Authors: Pablo Shmerkin and Boris Solomyak
Journal: Trans. Amer. Math. Soc. 368 (2016), 5125-5151
MSC (2010): Primary 28A78, 28A80; Secondary 37A45, 42A38
DOI: https://doi.org/10.1090/tran6696
Published electronically: June 24, 2015
MathSciNet review: 3456174
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We show that in many parametrized families of self-similar measures, their projections, and their convolutions, the set of parameters for which the measure fails to be absolutely continuous is very small--of co-dimension at least 1 in parameter space. This complements an active line of research concerning similar questions for dimension. Moreover, we establish some regularity of the density outside this small exceptional set, which applies in particular to Bernoulli convolutions; along the way, we prove some new results about the dimensions of self-similar measures and the absolute continuity of the convolution of two measures. As a concrete application, we obtain a very strong version of Marstrand's projection theorem for planar self-similar sets.


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

  • [1] Xin-Rong Dai, De-Jun Feng, and Yang Wang, Refinable functions with non-integer dilations, J. Funct. Anal. 250 (2007), no. 1, 1-20. MR 2345903 (2008i:42069), https://doi.org/10.1016/j.jfa.2007.02.005
  • [2] Gerald A. Edgar, Integral, probability, and fractal measures, Springer-Verlag, New York, 1998. MR 1484412 (99c:28024)
  • [3] Paul Erdös, On a family of symmetric Bernoulli convolutions, Amer. J. Math. 61 (1939), 974-976. MR 0000311 (1,52a)
  • [4] Kenneth Falconer, Fractal geometry, Mathematical foundations and applications, 2nd ed., John Wiley & Sons, Inc., Hoboken, NJ, 2003. MR 2118797 (2006b:28001)
  • [5] Kenneth J. Falconer and Xiong Jin, Exact dimensionality and projections of random self-similar measures and sets, J. Lond. Math. Soc. (2) 90 (2014), no. 2, 388-412. MR 3263957, https://doi.org/10.1112/jlms/jdu031
  • [6] Ai-Hua Fan, Ka-Sing Lau, and Hui Rao, Relationships between different dimensions of a measure, Monatsh. Math. 135 (2002), no. 3, 191-201. MR 1897575 (2003g:28014), https://doi.org/10.1007/s006050200016
  • [7] Ábel Farkas,
    Projections and other images of self-similar sets with no separation condition,
    Israel J. Math., to appear, 2015.
  • [8] De-Jun Feng and Huyi Hu, Dimension theory of iterated function systems, Comm. Pure Appl. Math. 62 (2009), no. 11, 1435-1500. MR 2560042 (2010i:37049), https://doi.org/10.1002/cpa.20276
  • [9] Jonathan Fraser and Pablo Shmerkin.
    On the dimensions of a family of overlapping self-affine carpets,
    Ergodic Theory Dynam. Systems, to appear, 2015.
  • [10] Alex Furman, On the multiplicative ergodic theorem for uniquely ergodic systems, Ann. Inst. H. Poincaré Probab. Statist. 33 (1997), no. 6, 797-815 (English, with English and French summaries). MR 1484541 (98i:28018), https://doi.org/10.1016/S0246-0203(97)80113-6
  • [11] Michael Hochman, On self-similar sets with overlaps and inverse theorems for entropy, Ann. of Math. (2) 180 (2014), no. 2, 773-822. MR 3224722, https://doi.org/10.4007/annals.2014.180.2.7
  • [12] Michael Hochman, On self-similar sets with overlaps and sumset phenomena for entropy in $ \mathbb{R}^d$, Preprint, available at http://arxiv.org/abs/1503.09043.
  • [13] Michael Hochman and Pablo Shmerkin, Local entropy averages and projections of fractal measures, Ann. of Math. (2) 175 (2012), no. 3, 1001-1059. MR 2912701, https://doi.org/10.4007/annals.2012.175.3.1
  • [14] Xiaoyu Hu and S. James Taylor, Fractal properties of products and projections of measures in $ {\bf R}^d$, Math. Proc. Cambridge Philos. Soc. 115 (1994), no. 3, 527-544. MR 1269937 (95f:28013), https://doi.org/10.1017/S0305004100072285
  • [15] Brian R. Hunt and Vadim Yu. Kaloshin, How projections affect the dimension spectrum of fractal measures, Nonlinearity 10 (1997), no. 5, 1031-1046. MR 1473372 (98k:28010), https://doi.org/10.1088/0951-7715/10/5/002
  • [16] J.-P. Kahane, Sur la distribution de certaines séries aléatoires, Colloque de Théorie des Nombres (Univ. Bordeaux, Bordeaux, 1969), Bull. Soc. Math. France, Mém. No. 25, Soc. Math. France Paris, 1971, pp. 119-122 (French). MR 0360498 (50 #12946)
  • [17] Pertti Mattila, Geometry of sets and measures in Euclidean spaces, Fractals and rectifiability, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995. MR 1333890 (96h:28006)
  • [18] Fedor Nazarov, Yuval Peres, and Pablo Shmerkin, Convolutions of Cantor measures without resonance, Israel J. Math. 187 (2012), 93-116. MR 2891700, https://doi.org/10.1007/s11856-011-0164-8
  • [19] Tuomas Orponen, On the distance sets of self-similar sets, Nonlinearity 25 (2012), no. 6, 1919-1929. MR 2929609, https://doi.org/10.1088/0951-7715/25/6/1919
  • [20] 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), https://doi.org/10.1215/S0012-7094-00-10222-0
  • [21] Yuval Peres, Wilhelm Schlag, and Boris Solomyak, Sixty years of Bernoulli convolutions, Fractal geometry and stochastics, II (Greifswald/Koserow, 1998) Progr. Probab., vol. 46, Birkhäuser, Basel, 2000, pp. 39-65. MR 1785620 (2001m:42020)
  • [22] Yuval Peres and Pablo Shmerkin, Resonance between Cantor sets, Ergodic Theory Dynam. Systems 29 (2009), no. 1, 201-221. MR 2470633 (2010a:28015), https://doi.org/10.1017/S0143385708000369
  • [23] Yuval Peres and Boris Solomyak, Existence of $ L^q$ dimensions and entropy dimension for self-conformal measures, Indiana Univ. Math. J. 49 (2000), no. 4, 1603-1621. MR 1838304 (2002f:28012), https://doi.org/10.1512/iumj.2000.49.1851
  • [24] Rolf Riedi, An improved multifractal formalism and self-similar measures, J. Math. Anal. Appl. 189 (1995), no. 2, 462-490. MR 1312056 (95k:28021), https://doi.org/10.1006/jmaa.1995.1030
  • [25] Pablo Shmerkin, On the exceptional set for absolute continuity of Bernoulli convolutions, Geom. Funct. Anal. 24 (2014), no. 3, 946-958. MR 3213835, https://doi.org/10.1007/s00039-014-0285-4
  • [26] Pablo Shmerkin and Boris Solomyak, Absolute continuity of complex Bernoulli convolutions, Preprint, available at http://arxiv.org/abs/1504.00631.
  • [27] Boris Solomyak, On the random series $ \sum \pm \lambda ^n$ (an Erdős problem), Ann. of Math. (2) 142 (1995), no. 3, 611-625. MR 1356783 (97d:11125), https://doi.org/10.2307/2118556
  • [28] Boris Solomyak and Hui Xu, On the `Mandelbrot set' for a pair of linear maps and complex Bernoulli convolutions, Nonlinearity 16 (2003), no. 5, 1733-1749. MR 1999577 (2004g:28012), https://doi.org/10.1088/0951-7715/16/5/311
  • [29] Toshiro Watanabe, Asymptotic properties of Fourier transforms of $ b$-decomposable distributions, J. Fourier Anal. Appl. 18 (2012), no. 4, 803-827. MR 2984370, https://doi.org/10.1007/s00041-012-9222-9

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 28A78, 28A80, 37A45, 42A38

Retrieve articles in all journals with MSC (2010): 28A78, 28A80, 37A45, 42A38


Additional Information

Pablo Shmerkin
Affiliation: Department of Mathematics and Statistics, Torcuato di Tella University, and CONICET, Av. Figueroa Alcorta 7350 (1425), Buenos Aires, Argentina
Email: pshmerkin@utdt.edu

Boris Solomyak
Affiliation: Department of Mathematics, University of Washington, Box 354350, Seattle, Washington 98195-4350
Email: solomyak@math.washington.edu

DOI: https://doi.org/10.1090/tran6696
Keywords: Absolute continuity, self-similar measures, Hausdorff dimension, convolutions
Received by editor(s): June 29, 2014
Published electronically: June 24, 2015
Additional Notes: The first author was supported in part by Project PICT 2011-0436 (ANPCyT)
The second author was supported in part by NSF grant DMS-0968879 and by the Forschheimer Fellowship and grant ERC AdG 267259 at the Hebrew University of Jerusalem
Article copyright: © Copyright 2015 American Mathematical Society

American Mathematical Society